On a correspondence between cuspidal representations of

Let be an irreducible, automorphic, self-dual, cuspidal representation of , where is the adele ring of a number field . Assume that has a pole at and that . Given a nontrivial character of , we construct a nontrivial space of genuine and globally -generic cusp forms on -the metaplectic cover of . is invariant under right translations, and it contains all irreducible, automorphic, cuspidal (genuine) and -generic representations of , which lift (``functorially, with respect to ") to . We also present a local counterpart. Let be an irreducible, self-dual, supercuspidal representation of , where is a -adic field. Assume that has a pole at . Given a nontrivial character of , we construct an irreducible, supercuspidal (genuine) -generic representation of , such that has a pole at , and we prove that is the unique representation of satisfying these properties.

     

Homoclinic points of algebraic -actions

Let be an action of by continuous automorphisms of a compact abelian group . A point in is called homoclinic for if as . We study the set of homoclinic points for , which is a subgroup of . If is expansive, then is at most countable. Our main results are that if is expansive, then (1) is nontrivial if and only if has positive entropy and (2) is nontrivial and dense in if and only if has completely positive entropy. In many important cases is generated by a fundamental homoclinic point which can be computed explicitly using Fourier analysis. Homoclinic points for expansive actions must decay to zero exponentially fast, and we use this to establish strong specification properties for such actions. This provides an extensive class of examples of -actions to which Ruelle's thermodynamic formalism applies. The paper concludes with a series of examples which highlight the crucial role of expansiveness in our main results.

     

Order -adic field

Let be an algebraically closed field of characteristic the ring of Witt vectors and a complete discrete valuation ring dominating and containing a primitive -th root of unity. Let denote a uniformizing parameter for We study order automorphisms of the formal power series ring which are defined by a series

The set of fixed points of is denoted by and we suppose that they are -rational and that for Let be the minimal semi-stable model of the -adic open disc over in which specializes to distinct smooth points. We study the differential data that can be associated to each irreducible component of the special fibre of Using this data we show that if , then the fixed points are equidistant, and that there are only a finite number of conjugacy classes of order automorphisms in which are not the identity

     

Double Bruhat cells and total positivity

We study the totally nonnegative variety in a semisimple algebraic group . These varieties were introduced by G. Lusztig, and include as a special case the variety of unimodular matrices of a given order whose all minors are nonnegative. The geometric framework for our study is provided by intersecting with double Bruhat cells (intersections of cells of the two Bruhat decompositions of with respect to opposite Borel subgroups).

     

Periods of automorphic forms

Let be a quadratic extension of number fields and , where is a reductive group over . We define the integral (in general, non-convergent) of an automorphic form on over via regularization. This regularized integral is used to derive a formula for the integral over of a truncated Eisenstein series on . More explicit results are obtained in the case . These results will find applications in the expansion of the spectral side of the relative trace formula.

     

Computing roadmaps of semi-algebraic sets on a variety

We consider a semi-algebraic set defined by polynomials in variables which is contained in an algebraic variety . The variety is assumed to have real dimension the polynomial and the polynomials defining have degree at most . We present an algorithm which constructs a roadmap on . The complexity of this algorithm is . We also present an algorithm which, given a point of defined by polynomials of degree at most , constructs a path joining this point to the roadmap. The complexity of this algorithm is These algorithms easily yield an algorithm which, given two points of defined by polynomials of degree at most , decides whether or not these two points of lie in the same semi-algebraically connected component of and if they do computes a semi-algebraic path in connecting the two points.

     

Pythagoras numbers of fields

A field of characteristic is said to have finite Pythagoras number if there exists an integer such that each nonzero sum of squares in can be written as a sum of squares, in which case the Pythagoras number of is defined to be the least such integer. As a consequence of Pfister's results on the level of fields, of a nonformally real field is always of the form or , and all integers of such type can be realized as Pythagoras numbers of nonformally real fields. Prestel showed that values of the form , , and can always be realized as Pythagoras numbers of formally real fields. We will show that in fact to every integer there exists a formally real field with . As a refinement, we will show that if and are integers such that , then there exists a uniquely ordered field with and (resp. ), where (resp. ) denotes the supremum of the dimensions of anisotropic forms over which are torsion in the Witt ring of (resp. which are indefinite with respect to each ordering on ).

     

Principe local-global pour les zéro-cycles sur les surfaces réglées

Let be a number field, a smooth projective curve, and a smooth projective surface which is a conic bundle over . Let be the relative Chow group, which is the kernel of the projection map on Chow groups of zero-cycles. For each place of , one may consider the relative Chow group . Under minor assumptions, we identify the diagonal image of in the product of all as the kernel of the natural pairing with the Brauer group of . When is an elliptic curve with finite Tate-Shafarevich group, under minor assumptions, we show that the Brauer-Manin obstruction to the existence of a zero-cycle of degree one on is the only obstruction.

     

Cyclotomic integers and finite geometry

We obtain an upper bound for the absolute value of cyclotomic integers which has strong implications on several combinatorial structures including (relative) difference sets, quasiregular projective planes, planar functions, and group invariant weighing matrices. Our results are of broader applicability than all previously known nonexistence theorems for these combinatorial objects. We will show that the exponent of an abelian group containing a -difference set cannot exceed where is the number of odd prime divisors of and is a number-theoretic parameter whose order of magnitude usually is the squarefree part of . One of the consequences is that for any finite set of primes there is a constant such that for any abelian group containing a Hadamard difference set whose order is a product of powers of primes in . Furthermore, we are able to verify Ryser's conjecture for most parameter series of known difference sets. This includes a striking progress towards the circulant Hadamard matrix conjecture. A computer search shows that there is no Barker sequence of length with . Finally, we obtain new necessary conditions for the existence of quasiregular projective planes and group invariant weighing matrices including asymptotic exponent bounds for cases which previously had been completely intractable.

     

Purity of the stratification by Newton polygons

Let be a variety in characteristic . Suppose we are given a nondegenerate -crystal over , for example the th relative crystalline cohomology sheaf of a family of smooth projective varieties over . At each point of we have the Newton polygon associated to the action of on the fibre of the crystal at . According to a theorem of Grothendieck the Newton polygon jumps up under specialization. The main theorem of this paper is that the jumps occur in codimension on (the Purity Theorem). As an application we prove some results on deformations of iso-simple -divisible groups.

     

On the image of the -adic Abel-Jacobi map for a variety over the algebraic closure of a finite field

Let be a smooth projective variety of dimension at most 4 defined over the algebraic closure of a finite field of characteristic . It is shown that the Tate conjecture implies the surjectivity of the -adic Abel-Jacobi map, , for all and almost all . For a special class of threefolds the surjectivity of is proved without assuming any conjectures.

     

The number of Reidemeister moves needed for unknotting

There is a positive constant such that for any diagram representing the unknot, there is a sequence of at most Reidemeister moves that will convert it to a trivial knot diagram, where is the number of crossings in . A similar result holds for elementary moves on a polygonal knot embedded in the 1-skeleton of the interior of a compact, orientable, triangulated 3-manifold . There is a positive constant such that for each , if consists of tetrahedra and is unknotted, then there is a sequence of at most elementary moves in which transforms to a triangle contained inside one tetrahedron of . We obtain explicit values for and .

     

Fractional isoperimetric inequalities and subgroup distortion

It is shown that there exist infinitely many non-integers such that the Dehn function of some finitely presented group is . Explicit examples of such groups are constructed. For each rational number pairs of finitely presented groups are constructed so that the distortion of in is .

     

A converse to a theorem of Adamyan, Arov and Krein

A well known theorem of Akhiezer, Adamyan, Arov and Krein gives a criterion (in terms of the signature of a certain Hermitian matrix) for interpolation by a meromorphic function in the unit disc with at most poles subject to an -norm bound on the unit circle. One can view this theorem as an assertion about the Hardy space of analytic functions on the disc and its reproducing kernel. A similar assertion makes sense (though it is not usually true) for an arbitrary Hilbert space of functions. One can therefore ask for which spaces the assertion is true. We answer this question by showing that it holds precisely for a class of spaces closely related to .

     

Parametrization of local CR automorphisms by finite jets and applications

For any real-analytic hypersurface , which does not contain any complex-analytic subvariety of positive dimension, we show that for every point the local real-analytic CR automorphisms of fixing can be parametrized real-analytically by their jets at . As a direct application, we derive a Lie group structure for the topological group . Furthermore, we also show that the order of the jet space in which the group embeds can be chosen to depend upper-semicontinuously on . As a first consequence, it follows that given any compact real-analytic hypersurface in , there exists an integer depending only on such that for every point germs at of CR diffeomorphisms mapping into another real-analytic hypersurface in are uniquely determined by their -jet at that point. Another consequence is the following boundary version of H. Cartan's uniqueness theorem: given any bounded domain with smooth real-analytic boundary, there exists an integer depending only on such that if is a proper holomorphic mapping extending smoothly up to near some point with the same -jet at with that of the identity mapping, then necessarily .

Our parametrization theorem also holds for the stability group of any essentially finite minimal real-analytic CR manifold of arbitrary codimension. One of the new main tools developed in the paper, which may be of independent interest, is a parametrization theorem for invertible solutions of a certain kind of singular analytic equations, which roughly speaking consists of inverting certain families of parametrized maps with singularities.

     

Two-primary algebraic -theory of rings of integers in number fields

We relate the algebraic -theory of the ring of integers in a number field to its étale cohomology. We also relate it to the zeta-function of when is totally real and Abelian. This establishes the -primary part of the ``Lichtenbaum conjectures.' To do this we compute the -primary -groups of and of its ring of integers, using recent results of Voevodsky and the Bloch-Lichtenbaum spectral sequence, modified for finite coefficients in an appendix. A second appendix, by M. Kolster, explains the connection to the zeta-function and Iwasawa theory.

     

Curvature and injectivity radius estimates for Einstein 4-manifolds

Let denote an Einstein -manifold with Einstein constant, , normalized to satisfy . For , a metric ball, we prove a uniform estimate for the pointwise norm of the curvature tensor on , under the assumption that the -norm of the curvature on is less than a small positive constant, which is independent of , and which in particular, does not depend on a lower bound on the volume of . In case , we prove a lower injectivity radius bound analogous to that which occurs in the theorem of Margulis, for compact manifolds with negative sectional curvature, . These estimates provide key tools in the study of singularity formation for -dimensional Einstein metrics. As one application among others, we give a natural compactification of the moduli space of Einstein metrics with negative Einstein constant on a given .

     

On the equation and application to control of phases

The main result is the following. Let be a bounded Lipschitz domain in , . Then for every with , there exists a solution of the equation div in , satisfying in addition on and the estimate

where depends only on . However one cannot choose depending linearly on .

Our proof is constructive, but nonlinear--which is quite surprising for such an elementary linear PDE. When there is a simpler proof by duality--hence nonconstructive.

     

Sharp thresholds of graph properties, and the -sat problem

Given a monotone graph property , consider , the probability that a random graph with edge probability will have . The function is the key to understanding the threshold behavior of the property . We show that if is small (corresponding to a non-sharp threshold), then there is a list of graphs of bounded size such that can be approximated by the property of having one of the graphs as a subgraph. One striking consequence of this result is that a coarse threshold for a random graph property can only happen when the value of the critical edge probability is a rational power of .

As an application of the main theorem we settle the question of the existence of a sharp threshold for the satisfiability of a random -CNF formula.

An appendix by Jean Bourgain was added after the first version of this paper was written. In this appendix some of the conjectures raised in this paper are proven, along with more general results.

     

The enumerative geometry of surfaces and modular forms

Let be a surface, and let be a holomorphic curve in representing a primitive homology class. We count the number of curves of geometric genus with nodes passing through generic points in in the linear system for any and satisfying .

When , this coincides with the enumerative problem studied by Yau and Zaslow who obtained a conjectural generating function for the numbers. Recently, Göttsche has generalized their conjecture to arbitrary in terms of quasi-modular forms. We prove these formulas using Gromov-Witten invariants for families, a degeneration argument, and an obstruction bundle computation. Our methods also apply to blown up at 9 points where we show that the ordinary Gromov-Witten invariants of genus constrained to points are also given in terms of quasi-modular forms.