Conformal restriction: The chordal case

We characterize and describe all random subsets of a given simply connected planar domain (the upper half-plane , say) which satisfy the ``conformal restriction' property, i.e., connects two fixed boundary points ( and , say) and the law of conditioned to remain in a simply connected open subset of is identical to that of , where is a conformal map from onto with and . The construction of this family relies on the stochastic Loewner evolution processes with parameter and on their distortion under conformal maps. We show in particular that SLE is the only random simple curve satisfying conformal restriction and we relate it to the outer boundaries of planar Brownian motion and SLE.     

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.

     

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 .

     

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 .

     

Topology of symplectomorphism groups of rational ruled surfaces

Let be either or the one point blow-up of . In both cases carries a family of symplectic forms , where -1$"> determines the cohomology class . This paper calculates the rational (co)homology of the group of symplectomorphisms of as well as the rational homotopy type of its classifying space . It turns out that each group contains a finite collection , of finite dimensional Lie subgroups that generate its homotopy. We show that these subgroups ``asymptotically commute", i.e. all the higher Whitehead products that they generate vanish as . However, for each fixed there is essentially one nonvanishing product that gives rise to a ``jumping generator" in and to a single relation in the rational cohomology ring . An analog of this generator was also seen by Kronheimer in his study of families of symplectic forms on -manifolds using Seiberg-Witten theory. Our methods involve a close study of the space of -compatible almost complex structures on .

     

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.

     

Multivariable cochain operations and little -cubes

In this paper we construct a small chain operad which acts naturally on the normalized cochains of a topological space. We also construct, for each , a suboperad which is quasi-isomorphic to the normalized singular chains of the little -cubes operad. The case leads to a substantial simplification of our earlier proof of Deligne's Hochschild cohomology conjecture.

     

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 .

     

The essentially tame local Langlands correspondence, I

Let be a non-Archimedean local field (of characteristic or ) with finite residue field of characteristic . An irreducible smooth representation of the Weil group of is called essentially tame if its restriction to wild inertia is a sum of characters. The set of isomorphism classes of irreducible, essentially tame representations of dimension is denoted . The Langlands correspondence induces a bijection of with a certain set of irreducible supercuspidal representations of . We consider the set of isomorphism classes of certain pairs , called ``admissible', consisting of a tamely ramified field extension of degree and a quasicharacter of . There is an obvious bijection of with . Using the classification of supercuspidal representations and tame lifting, we construct directly a canonical bijection of with , generalizing and simplifying a construction of Howe (1977). Together, these maps give a canonical bijection of with . We show that one obtains the Langlands correspondence by composing the map with a permutation of of the form , where is a tamely ramified character of depending on . This answers a question of Moy (1986). We calculate the character in the case where is totally ramified of odd degree.

     

Fuglede-Kadison determinants and entropy for actions of discrete amenable groups

In 1990, Lind, Schmidt, and Ward gave a formula for the entropy of certain -dynamical systems attached to Laurent polynomials , in terms of the (logarithmic) Mahler measure of . We extend the expansive case of their result to the noncommutative setting where gets replaced by suitable discrete amenable groups. Generalizing the Mahler measure, Fuglede-Kadison determinants from the theory of group von Neumann algebras appear in the entropy formula.