On Linear Independence of Theta Values

We prove a linear independence result for the values of theta series and Tschakaloff functions T_q(z) with different values of q.The first named author was supported in part by Grant-in-Aid for Scientific Research (No. 13640007), The Ministry of Education, Science, Sports, Culture of Japan.     

On the irrationality measure for certain series

Let K be either the rational number field or an imaginary quadratic field. We give irrationality results for the number , where q (∣q∣ > 1) is an integer in K, r∈ K ^× (∣r∣ < ∣q∣), and with q ⁿ ≠ r ^l (n ≥ 1). Authors’ addresses: Kenji Amano, NS solutions Corporation, 2-27-1 Shinkawa, Chuo-ku, Tokyo 104-0033, Japan; Yohei Tachiya, Department of Mathematics, Keio University, Hiyoshi, Kohoku-ku, Yokohama 223-8522, Japan     

Quantitative linear independence of an infinite product and its derivatives

We establish measures for the rational linear independence of 1 and the values of the product and its derivatives at finitely many rational points, q ≠ 0,±1 being a fixed integer. This is a quantitative improvement upon Bézivin’s very recent result in this journal. In contrast to his procedure, we use the method of Padé approximations of the second kind to get the above-mentioned improvement, some generalizations, and several irrationality measures.     

Period relations and p-adic measures

Let (π,σ) be a pair of cuspidal automorphic representations of GL ⁿ × GL ^{n −1} over the adele ring of ℚ having non-vanishing cohomology with constant coefficients. The p-adic distribution interpolating the critical values of the twisted corresponding Rankin–Selberg convolution is shown to be p-adically bounded thus leading to an associated p-adic L-function. Received: 18 October 2000 / Revised version: 27 July 2001     

Weakly Gibbsian representations for joint measures of quenched lattice spin models

Can the joint measures of quenched disordered lattice spin models (with finite range) on the product of spin-space and disorder-space be represented as (suitably generalized) Gibbs measures of an “annealed system”? - We prove that there is always a potential (depending on both spin and disorder variables) that converges absolutely on a set of full measure w.r.t. the joint measure (“weak Gibbsianness”). This “positive” result is surprising when contrasted with the results of a previous paper [K6], where we investigated the measure of the set of discontinuity points of the conditional expectations (investigation of “a.s. Gibbsianness”). In particular we gave natural “negative” examples where this set is even of measure one (including the random field Ising model). Further we discuss conditions giving the convergence of vacuum potentials and conditions for the decay of the joint potential in terms of the decay of the disorder average over certain quenched correlations. We apply them to various examples. From this one typically expects the existence of a potential that decays superpolynomially outside a set of measure zero. Our proof uses a martingale argument that allows to cut (an infinite-volume analogue of) the quenched free energy into local pieces, along with generalizations of Kozlov's constructions. Received: 11 November 1999 / Revised version: 18 April 2000 / Published online: 22 November 2000 RID="*" ID="*" Work supported by the DFG Schwerpunkt `Wechselwirkende stochastische Systeme hoher Komplexit?t'     

Algebraic Independence of Reciprocal Sums of Binary Recurrences II

 Algebraic independence of the numbers for various d and l, where is a periodic sequence of algebraic numbers and is a sequence of integers satisfying a binary linear recurrence relation, is studied by Mahler’s method. Received 25 August 2000; in revised form 8 January 2002     

Palindromic Prefixes and Diophantine Approximation

This article is devoted to simultaneous approximation to ξ and ξ² by rational numbers with the same denominator, where ξ is an irrational non-quadratic real number. We focus on an exponent β₀(ξ) that measures the regularity of the sequence of all exceptionally precise such approximants. We prove that β₀(ξ) takes the same set of values as a combinatorial quantity that measures the abundance of palindromic prefixes in an infinite word w. This allows us to give a precise exposition of Roy’s palindromic prefix method. The main tools we use are Davenport-Schmidt’s sequence of minimal points and Roy’s bracket operation.     

Non-crossed products over function fields

Noncrossed product division algebras are constructed over all function fields and iterated power series fields over global fields, using Hilbert's Irreducibility Theorem and the construction of [B]. Minimum indexes obtained are p ² for odd p and 2³ otherwise. Examples are obtained with large index to exponent ratio. Received: 12 February 2001 / Revised version: 26 November 2001     

Elliptic equations for measures on infinite dimensional spaces and applications

We introduce and study a new concept of a weak elliptic equation for measures on infinite dimensional spaces. This concept allows one to consider equations whose coefficients are not globally integrable. By using a suitably extended Lyapunov function technique, we derive a priori estimates for the solutions of such equations and prove new existence results. As an application, we consider stochastic Burgers, reaction-diffusion, and Navier-Stokes equations and investigate the elliptic equations for the corresponding invariant measures. Our general theorems yield a priori estimates and existence results for such elliptic equations. We also obtain moment estimates for Gibbs distributions and prove an existence result applicable to a wide class of models. Received: 23 January 2000 / Revised version: 4 October 2000 / Published online: 5 June 2001     

A Survey of Diophantine Approximationin Fields of Power Series

 The fields of power series (or perhaps better called formal numbers) are analogues of the field of real numbers. Many questions in number theory which have been studied in the setting of the real numbers can be transposed to the setting of the power series. The study of rational approximation to algebraic real numbers has been intensively developped starting from the middle of the nineteenth century with the work of Liouville up to the celebrated theorem of Roth established in 1955. In the last thirty years, several mathematicians have studied diophantine approximation in fields of power series. We present here a summary of the present knowledge on this subject, emphasizing the analogies and differences with the situation in the real numbers case. (Received 20 January 2000)     

Siegel modular forms and representations

This paper explicitly describes the procedure of associating an automorphic representation of PGSp(2n,?) with a Siegel modular form of degree n for the full modular group Γ _n =Sp(2n,ℤ), generalizing the well-known procedure for n=1. This will show that the so-called “standard” and ldquo;spinor”L-functions associated with such forms are obtained as Langlands L-functions. The theory of Euler products, developed by Langlands, applied to a Levi subgroup of the exceptional group of type F _<4, is then used to establish meromorphic continuation for the spinor L-function when n=3. Received: 28 March 2000 / Revised version: 25 October 2000     

Sur la torsion de la distribution ordinaire universelle attachée à un corps de nombres

We study the torsion subgroup of the universal ordinary distribution related to a general number field. We describe a way to control this subgroup. We apply this method to the special case of an imaginary quadratic field, and we give examples of such fields where these torsion subgroups are non-trivial. Received: 4 January 2001 / Revised version: 17 May 2001     

Generalization of a problem of Lehmer

Given a prime number p, Lehmer raised the problem of investigating the number of integers for which a and are of opposite parity, where is such that . We replace the pair by a point lying on a more general irreducible curve defined mod p and instead of the parity conditions on the coordinates more general congruence conditions are considered. An asymptotic result is then obtained for the number of such points. Received: 12 July 2000 / Revised version: 7 November 2000     

On the genus of a maximal curve

The upper limit and the first gap in the spectrum of genera of -maximal curves are known, see [34], [16], [35]. In this paper we determine the second gap. Both the first and second gaps are approximately constant times , but this does not hold true for the third gap which is just 1 for while (at most) constant times q for This suggests that the problem of determining the third gap which is the object of current work on -maximal curves could be intricate. Here, we investigate a relevant related problem namely that of characterising those -maximal curves whose genus is equal to the third (or possible the forth) largest value in the spectrum. Our results also provide some new evidence on -maximal curves in connection with Castelnuovo's genus bound, Halphen's theorem, and extremal curves. Received: 1 January 2001 / Revised version: 30 July 2001 / Published online: 23 May 2002     

Pseudo-Eisenstein forms and cohomology¶of arithmetic groups. I

Let ψ be a compactly supported closed differential form on the e[P] of the Borel–Serre boundary of an arithmetically defined locally symmetric space S. A closed compactly supported differential form E (ψ) on S is defined by a pseudo-Eisenstein series attached to ψ. Its degree is the degree of ψ shifted by the codimension of e[P] in S. Non-vanishing results for the cohomology class [E(ψ)] represented by E(ψ) are obtained by use of Poincaré duality and results on cohomology classes represented by ordinary Eisenstein series. Received: 21 July 2001 / Revised version: 17 September 2001     

Special points on products of two Shimura curves

Let S ₁ and S ₂ be two Shimura curves over ℚ attached to rational indefinite quaternion algebras B _{1 ℚ} and B _{1 ℚ} with maximal orders B ₁ and B ₂ respectively. We consider an irreducible closed algebraic curve C in the product (S ₁×S ₂)_ℂ such that C(ℂ) ∩ (S ₁×S ₂)(ℂ) contains infinitely many complex multiplication points. We prove, assuming the Generalized Riemann Hypothesis (GRH) for imaginary quadratic fields, that C is of Hodge type. Received: 3 January 2000 / Revised version: 2 October 2000     

Optimal interior partial regularity¶for nonlinear elliptic systems: the method of A-harmonic approximation

We consider nonlinear elliptic systems of divergence type. We provide a new method for proving partial regularity for weak solutions, based on a generalization of the technique of harmonic approximation. This method is applied to both homogeneous and inhomogeneous systems, in the latter case with inhomogeneity obeying the natural growth condition. Our methods extend previous partial regularity results, directly establishing the optimal H?lder exponent for the derivative of a weak solution on its regular set. We also indicate how the technique can be applied to further simplify the proof of partial regularity for quasilinear elliptic systems. Received: 22 July 1999 / Revised version: 23 May 2000     

Nombres de Tamagawa des groupes réductifs quasi-connexes

We define Tamagawa numbers for quasi-connected linear algebraic groups. This category of non-connected linear algebraic groups occurs naturally in the stabilization of the Arthur-Selberg trace formula. An expression for their Tamagawa numbers, needed for the stabilization process, is given in term of cohomological invariants generalizing results of Ono, Sansuc, Kottwitz and Kottwitz & Shestad. Received: 7 March 2000     

On kth-order embeddings of K3 surfaces and Enriques surfaces

We give necessary and sufficient conditions for a big and nef line bundle L of any degree on a K3 surface or on an Enriques surface S to be k-very ample and k-spanned. Furthermore, we give necessary and sufficient conditions for a spanned and big line bundle on a K3 surface S to be birationally k-very ample and birationally k-spanned (our definition), and relate these concepts to the Clifford index and gonality of smooth curves in |L| and the existence of a particular type of rank 2 bundles on S. Received: 28 March 2000 / Revised version: 20 October 2000