Autour du th�or�me de Roth

A note on Roth's Theorem

This chapter develops tools for a more penetrating study of algebraic number theory than was possible in Chapter V and concludes by formulating two of the main three theorems of Chapter V in the modern setting of “adeles” and “ideles” commonly used in the subject.Sections 1–5 introduce discrete valuations, absolute values, and completions for fields, always paying attention to implications for number fields and for certain kinds of function fields. Section 1 contains a prototype for all these notions in the construction of the fieldQp of p-adic numbers formed out of the rationals. Discrete valuations in Section 2 are a generalization of the order-of-vanishing function about a point in the theory of one complex variable. Absolute values in Section 3 are real-valued multiplicative functions that give a metric on a field, and the pair consisting of a field and an absolute value is called a valued field. Inequivalent absolute values have a certain independence property that is captured by the Weak Approximation Theorem. Completions in Section 4 are functions mapping valued fields into their metric-space completions. Section 5 concerns Hensel’s Lemma, which in its simplest form allows one to lift roots of polynomials over finite prime fields Fp to roots of corresponding polynomials over p-adic fields Qp.Section 6 contains the main theorem for investigating the fundamental question of how prime ideals split in extensions. Let K be a finite separable extension of a field F, let R be a Dedekind domain with field of fractions F, and let T be the integral closure of R in K. The question concerns the factorization of an ideal pT in T when p is a nonzero prime ideal in R. If Fp denotes the completion of F with respect to p, the theorem explains how the tensor product K ⊗F Fp splits uniquely as a direct sum of completions of valued fields. The theorem in effect reduces the question of the splitting of pT in T to the splitting of Fp in a complete field in which only one of the prime factors of pT plays a role.Section 7 is a brief aside mentioning additional conclusions one can draw when the extension K/F is a Galois extension.Section 8 applies the main theorem of Section 6 to an analysis of the different of K/F and ultimately to the absolute discriminant of a number field. With the new sharp tools developed in the present chapter, including a Strong Approximation Theorem that is proved in Section 8, a complete proof is given for the Dedekind Discriminant Theorem; only a partial proof had been accessible in Chapter V.Sections 9–10 specialize to the case of number fields and to function fields that are finite separable extensions of Fq (X), where Fq is a finite field. The adele ring and the idele group are introduced for each of these kinds of fields, and it is shown how the original field embeds discretely in the adeles and how the multiplicative group embeds discretely in the ideles. The main theorems are compactness theorems about the quotient of the adeles by the embedded field and about the quotient of the normalized ideles by the embedded multiplicative group. Proofs are given only for number fields. In the first case the compactness encodes the Strong Approximation Theorem of Section 8 and the Artin product formula of Section 9. In the second case the compactness encodes both the finiteness of the class number and the Dirichlet Unit Theorem.KeywordsPrime IdealValuation RingBasic AlgebraDedekind DomainFractional IdealThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Reflection principles for class groups

On the Number of Generators and Composition Length of Finite Linear Groups

Third homology of SL2 over number fields: The norm-Euclidean quadratic imaginary case

In this paper, we prove a weak form of the conjecture generalised to algebraic number fields. Given integers satisfying , Stewart and Yu were able to give an exponential bound in terms of the radical over the integers (Stewart and Yu [Math. Ann. 291 (1991), 225–230], Stewart and Yu [Duke Math. J. 108 (2001), no. 1, 169–181]), whereas Győry was able to give an exponential bound in the algebraic number field case for the projective height in terms of the radical for algebraic numbers (Győry [Acta Arith. 133 (2008), 281–295]). We generalise Stewart and Yu's method to give an improvement on Győry's bound for algebraic integers over the Hilbert Class Field of the initial number field K. Given algebraic integers in a number field K satisfying , we give an upper bound for the logarithm of the projective height in terms of norms of prime ideals dividing , where L is the Hilbert Class Field of K. In many cases, this allows us to give a bound in terms of the modified radical as given by Masser (Proc. Amer. Math. Soc. 130 (2002), no. 11, 3141–3150). Furthermore, by employing a recent bound of Győry (Publ. Math. Debrecen 94 (2019), 507–526) on the solutions of S‐unit equations, our estimates imply the upper bound where is an effectively computable constant. Further, given conditions on the largest prime ideal dividing , we obtain a sub‐exponential bound for in terms of the radical. Independently, as a direct application of his bounds on the solutions of S‐unit equations(Győry ([Publ. Math. Debrecen 94 (2019), 507–526]), Győry (Publ. Math. Debrecen 100 (2022), 499–511) also attains results mentioned above, including the above inequality, but over the base field K, as discussed in Section 6. As a consequence of our results, we will give an application to the effective Skolem–Mahler–Lech problem and give an improvement to a result by Lagarias and Soundararajan (J. Théor. Nombres Bordeaux 23 (2011), no. 1, 209–234) on the XYZ conjecture.

Given a fixed number field K, we give non-trivial lower bounds for the distance between the conjugates of any number a from K in terms of the Mahler measure M(a) of a. In the case that K is a cubic field, our bound is best possible in terms of M(a). Our proof is based on Roth's theorem.

On ring class eigenspaces of Mordell–Weil groups of elliptic curves over global function fields

The generalized Rédei-matrix for function fields

On elementary estimates of arithmetic sums for polynomial rings over finite fields

Let K be a number field. It is well known that the set of recurrencesequences with entries in K is closed under component-wise operations, and so it can be equipped with a ring structure. We try to understand the structure of this ring, in particular to understand which algebraic equations have a solution in the ring. For the case of cyclic equations a conjecture due to Pisot states the following: assume {an} is a recurrence sequence and suppose that all the an have a d th root in the field K ; then (after possibly passing to a finite extension of K ) one can choose a sequence of such d th roots that satisfies a recurrence itself. This was proved true in a preceding paper of the second author. In this article we generalize this result to more general monic equations; the former case can be recovered for g(X, Y ) = Xd − Y = 0. Combining this with the Hadamard quotient theorem by Pourchet and Van der Poorten, we are able to get rid of the monic restriction, and have a theorem that generalizes both results. Mathematics Subject Classification (2000): 11B37 (primary); 12E25, 13F25 (secondary).

We prove that the sign of the functional equation of the L-function of an orthogonal motive of even weight is always positive, if we admit the conjecture of the product formula for the epsilon factor of Deligne [D3] (5.2). More precisely, we define the sign independently of any conjecture by using the product formula as the definition and by working with one chosen "good" prime f and we prove its positivity. The positivity has been established for the Artin motives [Fr-Q][D2], for the symmetric square of a modular elliptic curve [C-Sc] and in positive characteristic by Serre [Fr-Q]. As in the proof in [D2], we consider the second Stiefel-Whitney class in zBr(K) of an orthogonal representation of the absolute Galois group G~: of an algebraic number field K. The positivity of the sign is then a consequence of the reciprocity law of the square residue symbol. Fixing a "good" prime f, we work with an f-adic representation and compare the local epsilon factor and the local Stiefel-Whitney class. For a prime vXr it is a theorem of Deligne [D2]. For a prime vie , we compute the Stiefel-Whitney class assuming the representation is cristalline (Theorem 2) using a generalization of a theorem of Fr6hlich [Fr] to f-adic representation of Hodge-Tate type (Theorem 1). By combining them with an elementary computation for the Hodge structures at r iot , we conclude that the sign is positive (Theorem 3). The crucial step in the proof of Theorem 2, given in section 1, is the determination by Fontaine and Lafaille [Fo-L] of the action of the tame inertia on the semisimplification of reduction modulo p of a cristalline representation. The theory of orthogonal representations of Galois group including a proof of Fr6hlich's theorem is reviewed in a preliminary section 0.

The obvious way to compute the continued fraction of a real number α > 1 is to compute a very accurate numerical approximation of α, and then to iterate the well-known truncate-and-invert step which computes the next partial quotient a = bαc and the next complete quotient α′ = 1/(α − a). This method is called the basic method. In the course of this process precision is lost, and one has to take precautions to stop before the partial quotients become incorrect. Lehmer [6] gives a safe stopping-criterion, and a trick to reduce the amount of multi-length arithmetic. Schonhage [12] describes an algorithm for computing the greatest common divisor of u and v and the related continued fraction expansion of u/v in O(n log n log log n) steps if both u and v do not exceed 2. A disadvantage of this approach is that if we wish to extend the list of partial quotients computed from an initial approximation of α, we have to compute a more accurate initial approximation of α, compute the new complete quotient using this new approximation and the partial quotients already computed from the old approximation, and then extend the list of partial quotients using that new complete quotient (we notice that Shiu in [13, p.1312] incorrectly states that all the previous calculations have to be repeated, but the partial quotients computed so far don’t have to be recomputed). Bombieri and Van der Poorten [1], and Shiu [13] have recently proposed a remedy for this problem. They give a formula for computing a rational approximation of the next complete convergent from the first n partial quotients. From that complete convergent about n new partial quotients can be computed. So each step gives an approximate doubling of the number of partial quotients. To start the method, a few partial quotients have to be computed with the basic or indirect method. In [1] this method is proposed for algebraic numbers (which are zeros of polynomials) of degree ≥ 3, whereas Shiu also applies it to more general numbers, namely to transcendental numbers that can be defined as the zero of a function for which the logarithmic derivative at a rational point can be computed with arbitrary precision. This includes numbers like π, log π, and log 2. For each of thirteen different numbers, Shiu computes 10000 partial quotients. Their frequency distributions are compared with the one which almost all numbers should obey, according to the Khintchine– Levy theory [3, 7]. No significant deviations from this theory are reported. Shiu calls his method the direct method. Curiously, Shiu does not refer to what we would call the polynomial method for algebraic numbers [2, 5, 11] of degree ≥ 3, which computes the partial quotients of α using only the coefficients of its defining polynomial. Moreover, Shiu gives neither implementational

We prove a certain Riemann–Roch-type formula for symmetric powers of Galois modules on Dedekind schemes which, in the number field or function field case, specializes to a formula of Burns and Chinburg for Cassou–Noguès–Taylor operations.

It is well known that if, in a continued fractionthere is a subsequence of the an which increases very rapidly, then ξ is a transcendental number. A result of this kind follows from Liouville's Theorem on rational approximations to algebraic numbers, but the most precise result so far established is that which was deduced from Roth's Theorem by Davenport and Roth [1]. They proved (Theorem 3) that if ξ is algebraic, thenwhere qn is the denominator of the nth convergent to (1). Thus ifξ is transcendental.