Étude du cas rationnel de la théorie des formes linéaires de logarithmes

We establish new measures of linear independence of logarithms on commutative algebraic groups in the so-called rational case. More precisely, let k be a number field and v₀ be an arbitrary place of k. Let G be a commutative algebraic group defined over k and H be a connected algebraic subgroup of G. Denote by Lie(H) its Lie algebra at the origin. Let u∈Lie(G(Cv₀)) a logarithm of a point p∈G(k). Assuming (essentially) that p is not a torsion point modulo proper connected algebraic subgroups of G, we obtain lower bounds for the distance from u to Lie(H)k_⊗Cv₀. For the most part, they generalize the measures already known when G is a linear group. The main feature of these results is to provide a better dependence in the height loga of p, removing a polynomial term in logloga. The proof relies on sharp estimates of sizes of formal subschemes associated to H (in the sense of Bost) obtained from a lemma by Raynaud as well as an absolute Siegel lemma and, in the ultrametric case, a recent interpolation lemma by Roy.     

The 3-Sylow subgroup of the tame kernel of real number fields

Let F be a cubic cyclic field with exactly one ramified prime p,p>7, or , a real quadratic field with . In this paper, we study the 3-primary part of K₂O_F. If 3 does not divide the class number of F, we get some results about the 9-rank of K₂O_F. In particular, in the case of a cubic cyclic field F with only one ramified prime p>7, we prove that four conclusions concerning the 3-primary part of K₂O_F, obtained by J. Browkin by numerical computations for primes p, 7≤p≤5000, are true in general.     

Linear independence of digamma function and a variant of a conjecture of Rohrlich

Let ψ(x) denote the digamma function. We study the linear independence of ψ(x) at rational arguments over algebraic number fields. We also formulate a variant of a conjecture of Rohrlich concerning linear independence of the log gamma function at rational arguments and report on some progress. We relate these conjectures to non-vanishing of certain L-series.     

Irrationality results for values of generalized Tschakaloff series II

The study of irrationality properties of values of the generalized Tschakaloff series f(x) defined by (1.2) below was initiated by Duverney (Portugal. Math. 53(2) (1996) 229; Period. Math. Hungar. 35 (1997) 149), and continued by the authors (J. Number Theory 77 (1999) 155). The present paper proceeds to extend our previous result (Amou and Katsurada, 1999, Theorem). The irrationality of f(α) for any is proved in a quantitative form under fairly general growth conditions on the coefficients of f(x) (Theorem 1), while the same result is shown in a certain ‘limiting’ situation of Theorem 1, at the cost of loosing a quantitative aspect (Theorem 2). The linear independence of certain values of a system of f(x) is also obtained (Theorem 3). The key idea in proving our previous result is a Mahler's transcendence method, due to Loxton and van der Poorten (in: A. Baker, D.W. Masser (Eds.), Transcendence Theory: Advances and Applications, Academic Press, San Diego, 1977, pp. 211-226), applied to an appropriate sequence of functions (see (2.4) and (2.5)). In order to establish Theorems 1 and 2, this method is enhanced by a certain technique which allows us to improve zero estimates for the remainder terms of Padé-type approximations (see Lemmas 3 and 4).     

Algebraic independence of arithmetic gamma values and Carlitz zeta values

We consider the values at proper fractions of the arithmetic gamma function and the values at positive integers of the zeta function for Fq[θ] and provide complete algebraic independence results for them.     

Rational functions over finite fields having continued fraction expansions with linear partial quotients

Let F be a finite field with q elements and let g be a polynomial in F[X] with positive degree less than or equal to q/2. We prove that there exists a polynomial f∈F[X], coprime to g and of degree less than g, such that all of the partial quotients in the continued fraction of g/f have degree 1. This result, bounding the size of the partial quotients, is related to a function field equivalent of Zaremba's conjecture and improves on a result of Blackburn [S.R. Blackburn, Orthogonal sequences of polynomials over arbitrary fields, J. Number Theory 6 (1998) 99-111]. If we further require g to be irreducible then we can loosen the degree restriction on g to deg(g)?q.     

On the variation of Tate-Shafarevich groups of elliptic curves over hyperelliptic curves

Let E be an elliptic curve over F=F_q(t) having conductor (p)·∞, where (p) is a prime ideal in F_q[t]. Let d∈F_q[t] be an irreducible polynomial of odd degree, and let . Assume (p) remains prime in K. We prove the analogue of the formula of Gross for the special value L(E⊗_FK,1). As a consequence, we obtain a formula for the order of the Tate-Shafarevich group Ш(E/K) when L(E⊗_FK,1)≠0.     

Arithmetical properties of linear recurrent sequences

Let F(z)∈R[z] be a polynomial with positive leading coefficient, and let α>1 be an algebraic number. For r=degF>0, assuming that at least one coefficient of F lies outside the field Q(α) if α is a Pisot number, we prove that the difference between the largest and the smallest limit points of the sequence of fractional parts {F(n)αn}_n=1,2,3,… is at least 1/?(Pr+1), where ? stands for the so-called reduced length of a polynomial.     

On the transcendence and algebraic independence of certain continued fractions

The transcendence of continued fractions =[a ₀;a ₁,a ₂,...] is proved under growth conditions involving the denominatorsq _n of the convergents and shifted partial quotientsa _n+k . Extending this idea, conditions for the algebraic independence of several continued fractions are given. The proofs use the approximation properties of continued fractions in combination with the Thue-Siegel-Roth Theorem or a criterion for algebraic independence of Bundschuh.     

A note on the paper by Bugeaud and Laurent “Minoration effective de la distance p-adique entre puissances de nombres algébriques”

We shall make a slight improvement to a result of p-adic logarithms, which gives a nontrivial upper bound for the exponent of p dividing the Fermat quotient xp−1−1.     

Algebraic Independence Results Related to 〈q, r〉-Number Systems

We define 〈q, r〉-linear arithmetical functions attached to the 〈q, r〉-number systems and give a necessary and sufficient condition for their generating power series to be algebraically independent over . We also deduce algebraic independence of the functions values at a nonzero algebraic number in the circle of convergence.     

Transcendence of certain infinite products

We prove the transcendence results for the infinite product , where Ek(x), Fk(x) are polynomials, α is an algebraic number, and r?2 is an integer. As applications, we give necessary and sufficient conditions for transcendence of and , where Fn and Ln are Fibonacci numbers and Lucas numbers respectively, and {ak}_k?0 is a sequence of algebraic numbers with log‖ak‖=o(rk).     

The Rubin-Stark conjecture for a special class of function field extensions

We prove a strong form of the Brumer-Stark Conjecture and, as a consequence, a strong form of Rubin's integral refinement of the abelian Stark Conjecture, for a large class of abelian extensions of an arbitrary characteristic p global field k. This class includes all the abelian extensions K/k contained in the compositum k_p∞?k_p·k_∞ of the maximal pro-p abelian extension k_p/k and the maximal constant field extension k_∞/k of k, which happens to sit inside the maximal abelian extension k^ab of k with a quasi-finite index. This way, we extend the results obtained by the present author in (Comp. Math. 116 (1999) 321-367).     

Transcendence of certain series involving binary linear recurrences

Duverney and Nishioka [D. Duverney, Ku. Nishioka, An inductive method for proving the transcendence of certain series, Acta Arith. 110 (4) (2003) 305-330] studied the transcendence of , where Ek(z), Fk(z) are polynomials, α is an algebraic number, and r is an integer greater than 1, using an inductive method. We extend their inductive method to the case of several variables. This enables us to prove the transcendence of , where Rn is a binary linear recurrence and {ak} is a sequence of algebraic numbers.     

On the Values of Heine Series at Algebraic Points

The paper considers linear independence measures of the values of certain q–hypergeometric series and their derivatives at algebraic points. The results are given both in the archimedean and p–adic case.     

On additive polynomials and certain maximal curves

We show that a maximal curve over F_q² given by an equation A(X)=F(Y), where A(X)∈F_q²[X] is additive and separable and where F(Y)∈F_q²[Y] has degree m prime to the characteristic p, is such that all roots of A(X) belong to F_q². In the particular case where F(Y)=Y^m, we show that the degree m is a divisor of q+1.     

Prime analogues of the Erd?s-Kac theorem for elliptic curves

Let E/Q be an elliptic curve. For a prime p of good reduction, let E(Fp) be the set of rational points defined over the finite field Fp. We denote by ω(#E(Fp)), the number of distinct prime divisors of #E(Fp). We prove that the quantity (assuming the GRH if E is non-CM)

     

Newtonian and Schinzel sequences in a domain

A Schinzel or F sequence in a domain is such that, for every ideal I with norm q, its first q terms form a system of representatives modulo I, and a Newton or N sequence such that the first q terms serve as a test set for integer-valued polynomials of degree less than q. Strong F and strong N sequences are such that one can use any set of q consecutive terms, not only the first ones, finally a very well F ordered sequence, for short, a V.W.F sequence, is such that, for each ideal I with norm q, and each integer s,{u_sq,…,u_(s+1)q−1} is a complete set of representatives modulo I. In a quasilocal domain, V.W.F sequences and N sequences are the same, so are strong F and strong N sequences. Our main result is that a strong N sequence is a sequence which is locally a strong F sequence, and an N sequence a sequence which is locally a V.W.F. sequence. We show that, for F sequences there is a bound on the number of ideals of a given norm. In particular, a sequence is a strong F sequence if and only if it is a strong N sequence and for each prime p, there is at most one prime ideal with finite residue field of characteristic p. All results are refined to sequences of finite length.     

Fractals related to Pascal's triangle

A precise definition of a fractalF _p ^{r 1} derived from Pascal's triangle modulop ^r (p prime) is given. The number of nonzero terms in the firstp ^s lines of Pascal's triangle modulop ^r is computed. From this result the Hausdorff dimension and Hausdorff measure ofF _p ^{r 1} are deduced. The nonself-similarty ofF _p ^{r 1},r2, is also discussed.     

DFT for cyclic code overF p +uF p + ··· +u k-1 F p

The transform domain characterization of cyclic codes over finite fields using Discrete Fourier Transform(DFT) over an appropriate extension field is well known. In this paper, we extend this transform domain characterization for cyclic codes overF _p +uF _p + ··· +u ^k-1 F _p . We give a way to characterize cyclic codes overF _p +uF _p + ··· +u ^k-1 F _p by Mattson-Solomon polynomials and multiple defining sets.