An inverse function theorem in Fréchet-Spaces

AbstractA technical inverse function theorem of Nash-Moser type is proved for maps between Fréchet spaces allowing smoothing operators. A counterexample shows that the growth requirements on the rightinverse of the linearized map needed are minimal

The Quantum McKay Correspondence for polyhedral singularities

Let G be a polyhedral group, namely a finite subgroup of SO(3). Nakamura's G-Hilbert scheme provides a preferred Calabi-Yau resolution Y of the polyhedral singularity C^3/G. The classical McKay correspondence describes the classical geometry of Y in terms of the representation theory of G. In this paper we describe the quantum geometry of Y in terms of R, an ADE root system associated to G. Namely, we give an explicit formula for the Gromov-Witten partition function of Y as a product over the positive roots of R. In terms of counts of BPS states (Gopakumar-Vafa invariants), our result can be stated as a correspondence: each positive root of R corresponds to one half of a genus zero BPS state. As an application, we use the crepant resolution conjecture to provide a full prediction for the orbifold Gromov-Witten invariants of [C^3/G].Comment: Introduction rewritten. Issue regarding non-uniqueness of conifold resolution clarified. Version to appear in Inventione

Proof of the Hyperplane Zeros Conjecture of Lagarias and Wang

We prove that a real analytic subset of a torus group that is contained in its image under an expanding endomorphism is a finite union of translates of closed subgroups. This confirms the hyperplane zeros conjecture of Lagarias and Wang for real analytic varieties. Our proof uses real analytic geometry, topological dynamics and Fourier analysis.Comment: 25 page

Differential Forms on Log Canonical Spaces

The present paper is concerned with differential forms on log canonical varieties. It is shown that any p-form defined on the smooth locus of a variety with canonical or klt singularities extends regularly to any resolution of singularities. In fact, a much more general theorem for log canonical pairs is established. The proof relies on vanishing theorems for log canonical varieties and on methods of the minimal model program. In addition, a theory of differential forms on dlt pairs is developed. It is shown that many of the fundamental theorems and techniques known for sheaves of logarithmic differentials on smooth varieties also hold in the dlt setting. Immediate applications include the existence of a pull-back map for reflexive differentials, generalisations of Bogomolov-Sommese type vanishing results, and a positive answer to the Lipman-Zariski conjecture for klt spaces.Comment: 72 pages, 6 figures. A shortened version of this paper has appeared in Publications math\'ematiques de l'IH\'ES. The final publication is available at http://www.springerlink.co

Sur les exposants de Lyapounov des applications meromorphes

Let f be a dominating meromorphic self-map of a compact Kahler manifold. We give an inequality for the Lyapounov exponents of some ergodic measures of f using the metric entropy and the dynamical degrees of f. We deduce the hyperbolicity of some measures.Comment: 27 pages, paper in french, final version: to appear in Inventiones Mat