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

     

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.

     

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.

     

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 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.

     

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.

     

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.

     

A new proof of D. Popescu's theorem on smoothing of ring homomorphisms

We give a new proof of D. Popescu's theorem which says that if is a regular homomorphism of noetherian rings, then is a filtered inductive limit of smooth finite type -algebras. We strengthen Popescu's theorem in two ways. First, we show that a finite type -algebra , mapping to , has a desingularization which is smooth wherever possible (roughly speaking, above the smooth locus of ). Secondly, we give sufficient conditions for to be a filtered inductive limit of its smooth finite type -subalgebras. We also give counterexamples to the latter statement in cases when our sufficient conditions do not hold.

     

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 .

     

Global wellposedness of defocusing critical nonlinear Schrödinger equation in the radial case

We establish global wellposedness and scattering for the -critical defocusing NLS in 3D

assuming radial data , . In particular, it proves global existence of classical solutions in the radial case. The same result is obtained in 4D for the equation

     

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.

     

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 Dolbeault complex in infinite dimensions II

We study the equation on a ball , and prove that it is solvable if is a Lipschitz continuous, closed -form.

     

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.

     

Integral crystalline cohomology over very ramified valuation rings

We explain how to set up an integral version ( as opposed to ) of Fontaine's comparison between crystalline and étale cohomology, over -adic fields with arbitrary ramification index. The main results then are that Fontaine's map respects integrality of Tate-cycles, and a construction of versal deformations of -divisible groups with Tate-cycles. An appendix deals with finite generation of crystalline cohomology.

     

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).

     

The strange duality conjecture for generic curves

Let be a smooth connected projective algebraic curve of genus . The strange duality conjecture connects non-abelian theta functions of rank and level and those of rank and level on (for and , respectively). In this paper we prove this conjecture for generic in the moduli space of curves of genus .

     

An A Bailey lemma and Rogers-Ramanujan-type identities

Using new -functions recently introduced by Hatayama et al. and by (two of) the authors, we obtain an A version of the classical Bailey lemma. We apply our result, which is distinct from the A Bailey lemma of Milne and Lilly, to derive Rogers-Ramanujan-type identities for characters of the W algebra.

     

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 .