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.

     

The averaging lemma

Averaging lemmas deduce smoothness of velocity averages, such as

from properties of . A canonical example is that is in the Sobolev space whenever and are in . The present paper shows how techniques from Harmonic Analysis such as maximal functions, wavelet decompositions, and interpolation can be used to prove versions of the averaging lemma. For example, it is shown that implies that is in the Besov space , . Examples are constructed using wavelet decompositions to show that these averaging lemmas are sharp. A deeper analysis of the averaging lemma is made near the endpoint .

     

Green currents for holomorphic automorphisms of compact Kähler manifolds

Let be a holomorphic automorphism of a compact Kähler manifold of dimension . We study the convex cones of positive closed -currents , which satisfy a functional relation

1,\end{displaymath}">

and some regularity condition (PB, PC). Under appropriate assumptions on dynamical degrees we introduce closed finite dimensional cones, not reduced to zero, of such currents. In particular, when the topological entropy of is positive, then for some , there is a positive closed -current which satisfies the relation

Moreover, every quasi-p.s.h. function is integrable with respect to the trace measure of . When the dynamical degrees of are all distinct, we construct an invariant measure as an intersection of closed currents. We show that this measure is mixing and gives no mass to pluripolar sets and to sets of small Hausdorff dimension.

     

Plurisubharmonic domination

For a large class of separable Banach spaces we prove the following. Given a pseudoconvex open and that is locally bounded above, there is a plurisubharmonic such that . We also discuss applications of this result.

     

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.

     

boundedness of discrete singular Radon transforms

We prove that if is a Calderón-Zygmund kernel and is a polynomial of degree with real coefficients, then the discrete singular Radon transform operator

extends to a bounded operator on , . This gives a positive answer to an earlier conjecture of E. M. Stein and S. Wainger.

     

Sieving by large integers and covering systems of congruences

An old question of Erdos asks if there exists, for each number , a finite set of integers greater than and residue classes for whose union is . We prove that if is bounded for such a covering of the integers, then the least member of is also bounded, thus confirming a conjecture of Erdos and Selfridge. We also prove a conjecture of Erdos and Graham, that, for each fixed number , the complement in of any union of residue classes , for distinct , has density at least for sufficiently large. Here is a positive number depending only on . Either of these new results implies another conjecture of Erdos and Graham, that if is a finite set of moduli greater than , with a choice for residue classes for which covers , then the largest member of cannot be . We further obtain stronger forms of these results and establish other information, including an improvement of a related theorem of Haight.

     

Zeta function of representations of compact -adic analytic groups

Let be an FAb compact -adic analytic group and suppose that 2$"> or and is uniform. We prove that there are natural numbers and functions rational in such that

     

Homological methods for hypergeometric families

We analyze the behavior of the holonomic rank in families of holonomic systems over complex algebraic varieties by providing homological criteria for rank-jumps in this general setting. Then we investigate rank-jump behavior for hypergeometric systems  arising from a integer matrix  and a parameter . To do so we introduce an Euler-Koszul functor for hypergeometric families over  , whose homology generalizes the notion of a hypergeometric system, and we prove a homology isomorphism with our general homological construction above. We show that a parameter is rank-jumping for if and only if lies in the Zariski closure of the set of -graded degrees  where the local cohomology of the semigroup ring supported at its maximal graded ideal  is nonzero. Consequently, has no rank-jumps over  if and only if is Cohen-Macaulay of dimension .

     

Hilbert schemes, polygraphs and the Macdonald positivity conjecture

We study the isospectral Hilbert scheme , defined as the reduced fiber product of with the Hilbert scheme of points in the plane , over the symmetric power . By a theorem of Fogarty, is smooth. We prove that is normal, Cohen-Macaulay and Gorenstein, and hence flat over . We derive two important consequences.

(1) We prove the strong form of the conjecture of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients . This establishes the Macdonald positivity conjecture, namely that .

(2) We show that the Hilbert scheme is isomorphic to the -Hilbert scheme of Nakamura, in such a way that is identified with the universal family over . From this point of view, describes the fiber of a character sheaf at a torus-fixed point of corresponding to .

The proofs rely on a study of certain subspace arrangements , called polygraphs, whose coordinate rings carry geometric information about . The key result is that is a free module over the polynomial ring in one set of coordinates on . This is proven by an intricate inductive argument based on elementary commutative algebra.

     

Minkowski's conjecture, well-rounded lattices and topological dimension

Let be the diagonal subgroup, and identify with the space of unimodular lattices in . In this paper we show that the closure of any bounded orbit

meets the set of well-rounded lattices. This assertion implies Minkowski's conjecture for and yields bounds for the density of algebraic integers in totally real sextic fields.

The proof is based on the theory of topological dimension, as reflected in the combinatorics of open covers of and .

     

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.     

Représentations -adiques et normes universelles I. Le cas cristallin

Let be a crystalline -adic representation of the absolute Galois group of an finite unramified extension of , and let be a lattice of stable by . We prove the following result: Let be the maximal sub-representation of with Hodge-Tate weights strictly positive and . Then, the projective limit of is equal up to torsion to the projective limit of . So its rank over the Iwasawa algebra is .

     

Locally analytic distributions and

In this paper we study continuous representations of locally -analytic groups in locally convex -vector spaces, where is a finite extension of and is a spherically complete nonarchimedean extension field of . The class of such representations includes both the smooth representations of Langlands theory and the finite dimensional algebraic representations of , along with interesting new objects such as the action of on global sections of equivariant vector bundles on -adic symmetric spaces. We introduce a restricted category of such representations that we call ``strongly admissible' and we show that, when is compact, our category is anti-equivalent to a subcategory of the category of modules over the locally analytic distribution algebra of . As an application we prove the topological irreducibility of generic members of the -adic principal series for . Our hope is that our definition of strongly admissible representation may be used as a foundation for a general theory of continuous -valued representations of locally -analytic groups.

     

Long arithmetic progressions in sumsets: Thresholds and bounds

For a set of integers, the sumset consists of those numbers which can be represented as a sum of elements of :

Closely related and equally interesting notion is that of , which is the collection of numbers which can be represented as a sum of different elements of :

The goal of this paper is to investigate the structure of and , where is a subset of . As application, we solve two conjectures by Erdös and Folkman, posed in 1960s.

     

Isoperimetric inequalities in crystallography

Given a cubic space group (viewed as a finite group of isometries of the torus ), we obtain sharp isoperimetric inequalities for -invariant regions. These inequalities depend on the minimum number of points in an orbit of and on the largest Euler characteristic among nonspherical -symmetric surfaces minimizing the area under volume constraint (we also give explicit estimates of this second invariant for the various crystallographic cubic groups ). As an example, we prove that any surface dividing into two equal volumes with the same (orientation-preserving) symmetries as the A. Schoen minimal Gyroid has area at least (the conjectured minimizing surface in this case is the Gyroid itself whose area is ).

     

Compatibility of local and global Langlands correspondences

We prove the compatibility of local and global Langlands correspondences for , which was proved up to semisimplification in M. Harris and R. Taylor, The Geometry and Cohomology of Some Simple Shimura Varieties, Ann. of Math. Studies 151, Princeton Univ. Press, Princeton-Oxford, 2001. More precisely, for the -dimensional -adic representation of the Galois group of an imaginary CM-field attached to a conjugate self-dual regular algebraic cuspidal automorphic representation of , which is square integrable at some finite place, we show that Frobenius semisimplification of the restriction of to the decomposition group of a place of not dividing corresponds to by the local Langlands correspondence. If is square integrable for some finite place we deduce that is irreducible. We also obtain conditional results in the case .

     

Maximal properties of the normalized Cauchy transform

We study the normalized Cauchy transform in the unit disk. Our goal is to find an analog of the classical theorem by M. Riesz for the case of arbitrary weights.

Let be a positive finite measure on the unit circle of the complex plane and . Denote by and the Cauchy integrals of the measures and , respectively. The normalized Cauchy transform is defined as . We prove that is bounded as an operator in for but is unbounded (in general) for 2$">. The associated maximal non-tangential operator is bounded for and has weak type but is unbounded for 2$">.

     

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 .

     

Hilbert's Tenth Problem and Mazur's Conjecture for large subrings of

We give the first examples of infinite sets of primes such that Hilbert's Tenth Problem over has a negative answer. In fact, we can take to be a density 1 set of primes. We show also that for some such there is a punctured elliptic curve over such that the topological closure of in has infinitely many connected components.