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

     

Analytic continuation of overconvergent eigenforms

Let be an overconvergent -adic eigenform of level , , with non-zero -eigenvalue. We show how may be analytically continued to a subset of containing, for example, all the supersingular locus. Using these results we extend the main theorem of our earlier work with R. Taylor to many ramified cases.

     

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 .

     

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.

     

Functoriality for the exterior square of

In this paper we prove the functoriality of the exterior square of cusp forms on as automorphic forms on and the symmetric fourth of cusp forms on as automorphic forms on . We prove these by applying a converse theorem of Cogdell and Piatetski-Shapiro to analytic properties of certain -functions obtained by the Langlands-Shahidi method. We give several applications: First, we prove the weak Ramanujan property of cuspidal representations of and the absolute convergence of the exterior square -functions of . Second, we prove that the fourth symmetric power -functions of cuspidal representations of are entire, except for those of dihedral and tetrahedral type. Third, we prove the bound for Hecke eigenvalues of Maass forms over any number field.

     

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.     

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.

     

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.

     

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 .

     

General elephants of three-fold divisorial contractions

We treat three-fold divisorial contractions whose exceptional divisors contract to Gorenstein points. We prove that a general element in the anti-canonical system around the exceptional divisor has at worst Du Val singularities. As application to classification, we describe divisorial contractions to compound points, and moreover, we deduce that any divisorial contraction to a compound or point has discrepancy .

     

On the size of -fold sum and product sets of integers

In this paper, we show that for all 1$"> there is a positive integer such that if is an arbitrary finite set of integers, 2$">, then either N^{b}$"> or N^{b}$">. Here (resp. ) denotes the -fold sum (resp. product) of . This fact is deduced from the following harmonic analysis result obtained in the paper. For all 2$"> and 0$">, there is a 0$"> such that if satisfies , then the -constant of (in the sense of W. Rudin) is at most .

     

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 .

     

The classification problem for torsion-free abelian groups of finite rank

We prove that for each , the classification problem for torsion-free abelian groups of rank is not Borel reducible to that for torsion-free abelian groups of rank .

     

Potentially semi-stable deformation rings

Let be a finite extension and the absolute Galois group of . For a complete local ring with finite residue and a finite free -module equipped with an action of , we show that has a maximal quotient over which the representation is semi-stable with Hodge-Tate weights in a given range. We show an analogous result for representations which are potentially semi-stable of fixed Galois type and -adic Hodge type.

If is the universal deformation of , then we compute the dimension of and we show that these rings are sometimes smooth.

Finally we apply this theory to show, in some new cases, the compatibility of the -adic Galois representation attached to a Hilbert modular form with the local Langlands correspondence at .

     

Random polynomials having few or no real zeros

Consider a polynomial of large degree whose coefficients are independent, identically distributed, nondegenerate random variables having zero mean and finite moments of all orders. We show that such a polynomial has exactly real zeros with probability as through integers of the same parity as the fixed integer . In particular, the probability that a random polynomial of large even degree has no real zeros is . The finite, positive constant is characterized via the centered, stationary Gaussian process of correlation function . The value of depends neither on nor upon the specific law of the coefficients. Under an extra smoothness assumption about the law of the coefficients, with probability one may specify also the approximate locations of the zeros on the real line. The constant is replaced by in case the i.i.d. coefficients have a nonzero mean.

     

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.

     

Simple homogeneous models

Geometrical stability theory is a powerful set of model-theoretic tools that can lead to structural results on models of a simple first-order theory. Typical results offer a characterization of the groups definable in a model of the theory. The work is carried out in a universal domain of the theory (a saturated model) in which the Stone space topology on ultrafilters of definable relations is compact. Here we operate in the more general setting of homogeneous models, which typically have noncompact Stone topologies. A structure equipped with a class of finitary relations is strongly -homogeneous if orbits under automorphisms of have finite character in the following sense: Given an ordinal and sequences , from , if and have the same orbit, for all and , then for some automorphism of . In this paper strongly -homogeneous models in which the elements of induce a symmetric and transitive notion of independence with bounded character are studied. This notion of independence, defined using a combinatorial condition called ``dividing', agrees with forking independence when is saturated. A concept central to the development of stability theory for saturated structures, namely parallelism, is also shown to be well-behaved in this setting. These results broaden the scope of the methods of geometrical stability theory.

     

On the geometric Langlands conjecture

Let be a smooth, complete, geometrically connected curve over a field of characteristic . The geometric Langlands conjecture states that to each irreducible rank local system on one can attach a perverse sheaf on the moduli stack of rank bundles on (irreducible on each connected component), which is a Hecke eigensheaf with respect to . In this paper we derive the geometric Langlands conjecture from a certain vanishing conjecture. Furthermore, using recent results of Lafforgue, we prove this vanishing conjecture, and hence the geometric Langlands conjecture, in the case when the ground field is finite.

     

The homotopy theory of fusion systems

We define and characterize a class of -complete spaces which have many of the same properties as the -completions of classifying spaces of finite groups. For example, each such has a Sylow subgroup , maps for a -group are described via homomorphisms , and is isomorphic to a certain ring of ``stable elements' in . These spaces arise as the ``classifying spaces' of certain algebraic objects which we call ``-local finite groups'. Such an object consists of a system of fusion data in , as formalized by L. Puig, extended by some extra information carried in a category which allows rigidification of the fusion data.

     

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.