Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-23T17:41:29.342Z Has data issue: false hasContentIssue false
  • English
  • Français

Orbifoldes géométriques spéciales et classification biméromorphe des variétés kählériennes compactes

Part of: Birational geometry Arithmetic algebraic geometry Compact analytic spaces

Published online by Cambridge University Press:  28 May 2010

Frédéric Campana
Frédéric Campana
Affiliation:
Département de Mathématiques, Université Nancy 1, BP 239, F-54506 Vandoeuvre-lès-Nancy, Cedex, France ([email protected])
Get access Rights & Permissions [Opens in a new window]

Résumé

Le présent texte, suite de l'article paru en 2004 aux Annales de l'Institut Fourier, définit et établit les propriétés de base des orbifoldes géométriques, essentielles pour la compréhension de la structure birationnelle des variétés projectives ou Kählériennes compactes, et qui permettent d'en donner une vue synthétique globale très simple. Les démonstrations données reposent cependant sur les techniques usuelles de la géométrie algébrique/analytique. De nombreuses questions ou conjectures sont également formulées à leur sujet.

Bien que les orbifoldes géométriques ne soient autres que les paires (X|Δ) du LMMP (avec éX compacte et Kähler), leur origine et leurs motivations initiales sont entièrement différentes : le diviseur orbifolde Δ, analogue à un diviseur de ramification, encode les fibres multiples d'une fibration de base X, et (X|Δ) apparait comme un revêtement de X qui ramifie exactement (multiplicités comprises) au-dessus de Δ, et élimine les fibres multiples en codimension 1, par changement de base virtuel. Cette origine géométrique permet de munir naturellement les orbifoldes géométriques des invariants usuels des variétés : morphismes et applications biméromorphes, formes différentielles, groupe fondamental et revêtement universel, pseudométrique de Kobayashi, corps de définition et points rationnels. On s'attend à ce que leur géométrie qualitative soit la même que celle des variétés ayant des invariants similaires. Les plus élémentaires de ces propriétés géométriques sont établies ici, par adaptation directe des arguments utilisés pour les variétés

Les fibrations possédent, dans la catégorie biméromorphe des orbifoldes géométriques, des propriétés d'extension (ou « d'additivité ») non satisfaites dans la catégorie des variétés sans structure orbifolde, ce qui permet d'exprimer certains invariants de l'espace total comme extension (ou « somme ») de ceux de la fibre générale orbifolde, et de la base orbifolde. Par exemple, la suite des groupes fondamentaux est toujours exacte dans la catégorie orbifolde. De même, l'espace total d'une fibration est spéciale (voir ci-dessous) si la fibre orbifolde générique et la base orbifode le sont. En fait, les orbifoldes géométriques ont été initialement introduites précisément pour remédier à ce défaut d'additivité.

Une conséquence naturelle de ces constructions est l'introduction d'une classe nouvelle : les orbifoldes géométriques spéciales, qui sont celles qui ne dominent méromorphiquement aucune orbifolde géométrique de type général et de dimension positive. Ces orbifoldes spéciales sont exactement celles qui sont (canoniquement) décomposées (conditionnellement en une variante orbifolde de la conjecture Cn,m) en tours de fibrations ayant des fibres telles que, ou bien κ = 0, ou bien κ+ = −∞. Ces dernières sont celles ne dominant pas d'orbifolde de dimension strictement positive et telle que κ ≥ 0. Conjecturalement, ce sont celles qui sont rationnellement connexes dans la catégorie orbifolde. La connexité rationnelle est définie de la façon habituelle, une fois les courbes rationnelles orbifoldes définies.

Cette décomposition permet de relever aux orbifoldes spéciales certaines propriétés connues ou conjecturées pour les orbifoldes telles que κ+ = −∞ ou κ = 0, et elle conduit à conjecturer, entre autres, que le fait d'être spéciale est la caractérisation exacte de certaines propriétés importantes (telles que la densité potentielle ou l'annulation de la pseudométrique de Kobayashi). Elles jouent conjecturalement un rôle central dans d'autres problèmes, tels que les espaces de paramètre des familles de variétés canoniquement polarisées.

Enfin, nous construisons, sur toute orbifolde géométrique (X|Δ), une unique fibration caractérisée par le fait que ses fibres orbifoldes sont spéciales, et sa base orbifolde de type général. Cette fibration scinde donc l'orbifolde en ses parties antithétiques: spéciale (les fibres) et de type général (la base) au niveau géométrique, mais aussi conjecturalement aux niveaux arithmétique et hyperbolique.

De nombreux problèmes essentiels relatifs à l'équivalence biméromorphe dans cette catégorie orbifolde restent néammoins ouverts (en particulier, leur extension aux orbifoldes Log-terminales ou Log-canoniques).

On trouvera dans l'article à paraitre dans les proceedings de la conférence de Schiermonnikoog une version abrégée en anglais du présent texte, ainsi que des compléments sur les relations avec le LMMP.

Abstract

The present text, a continuation of the article that appeared in 2004 in Annales de l'Institut Fourier, defines and establishes the basic properties of new objects, the geometric orbifolds, which play an essential role in understanding the bimeromorphic structure of compact Kähler or complex projective varieties, and allows us to describe them in a very simple and synthetic way. The proofs rest however on standard methods of complex analytic/algebraic methods. Numerous questions and conjectures are formulated about these orbifolds.

Although these geometric orbifolds are nothing more than the pairs (X|) of the LMMP (with X compact Kähler), their origin and motivations are entirely different: the orbifold divisor Δ, similar to a ramification divisor, indeed encodes the multiple fibres of a fibration over X, and (X|Δ) appears as a virtual cover of X ramifying exactly (multiplicities included) over Δ, and eliminating by a virtual base-change the multiple fibres in codimension 1. This geometric origin naturally permits us to equip geometric orbifolds with the usual invariants of varieties: morphisms and bimeromorphic maps, differential forms, fundamental groups and universal covers, Kobayashi pseudometrics, fields of definition and rational points. The general expectation is that their geometry is qualitatively the same as that of manifolds with similar invariants. The most elementary of such geometric properties are established here, by direct adaptation of the arguments used in the case of varieties.

Fibrations possess in the orbifold category extension (or additivity) properties not satisfied in the category of varieties, which permits to expresssome invariants of the total orbifold as extension (or sum) of these invariants for the generic orbifold fibre and the orbifold base of the fibration. For example, the natural sequence of fundamental groups always becomes exact in the orbifold category. Also the total space of a fibration is special (see right below) if so are the generic orbifold fibre and the orbifold base. In fact, geometric orbifolds were initially introduced precisely to remedy this last lack of additivity.

These construction naturally lead to the introduction of a new class of orbifolds: the special orbifolds. By definition, these are the ones not dominating meromorphically any positive-dimensional orbifold of general type. These special orbifolds are also exactly the ones which can be (conditionally in an orbifold variant of the Cn,m conjecture) decomposed (canonically) as towers of fibrations having fibres either with κ = 0, or κ+ = −∞. The property κ+ = −∞ means that the orbifold under consideration does not dominate any positive-dimensional orbifold with κ ≥ 0. Conjecturally, κ+ = −∞ also means rationally connected in the orbifold category. Rational connectedness being defined as usual, once orbifold rational curves are defined.

This decomposition permits to lift to special orbifolds properties known or conjectured to hold for orbifolds having either κ+ = −∞ or κ = 0. And leads to expect that specialness is the exact geometric characterization of some important properties (such as potential density or vanishing of the Kobayashi pseudometric). They also play conjecturally a central role in other problems, such as parameter spaces of canonically polarized manifolds.

We also construct, on any (compact Kähler) orbifold, a unique fibration, its core map, characterized by having special orbifold fibres and general type orbifold base. This fibration thus splits the orbifold into its two antithetic parts: special versus general type at the geometric level, but also conjecturally at the arithmetic and complex hyperbolic levels.

Many essential problems about bimeromorphic equivalence in the orbifold category are here left open, in particular, the extension to the log-terminal or log-canonical orbifolds.

A survey in English with some additional results on relationships with the LMMP will appear in the volume of the Schiermonnikoog Conference.

Keywords

classification birationnelleorbifolde spécialecoeurcourbe orbifolde rationnellebirational classificationspecial orbifoldcore fibrationorbifold rational curve

MSC classification

Secondary: 11G05: Elliptic curves over global fields 14E30: Minimal model program (Mori theory, extremal rays) 32J25: Transcendental methods of algebraic geometry
Type
Research Article
Information
Journal of the Institute of Mathematics of Jussieu , Volume 10 , Issue 4 , October 2011 , pp. 809 - 934
Copyright
Copyright © Cambridge University Press 2010

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1.Abramovich, D., Birational geometry for number theorists, preprint (math.AG/0701105v2; 2007).Google Scholar
2.Abramovich, D. et Vistoli, A., Compactifying the space of stable maps, preprint (math.AG/9811059; 1998).Google Scholar
3.Barlet, D., Espace analytique réduit des cycles analytiques complexes compacts d'un espace analytique de dimension finie, Lecture Notes in Mathematics, Volume 482, pp. 1–158 (Springer, 1975).Google Scholar
4.Beukers, F., Ternary forms equations, J. Number Theory 54 (1995), 113–133.CrossRefGoogle Scholar
5.Birkar, C., Cascini, P., Hacon, C. et McKernan, J., Existence of minimal models for varieties of log general type, preprint (math.AG/0610203; 2006).Google Scholar
6.Bogomolov, F., Holomorphic tensors and vector bundles on projective varieties, Math. USSR Izv. 13 (1979), 499–555.CrossRefGoogle Scholar
7.Campana, F., Espaces de twisteurs de la classe C, J. Diff. Geom. 33 (1991), 541–549.Google Scholar
8.Campana, F., Connexité rationnelle des variétés de Fano, Annales Scient. Éc. Norm. Sup. 25 (1992), 539–545.CrossRefGoogle Scholar
9.Campana, F., Remarques sur les groupes de Kähler nilpotents, Annales Scient. Éc. Norm. Sup. 28 (1993), 307–316.CrossRefGoogle Scholar
10.Campana, F., Remarques sur le revêtement universel des variétés Kählériennes compactes, Bull. Soc. Math. France 122 (1994), 255–284.CrossRefGoogle Scholar
11.Campana, F., -connectedness of compact Kähler manifolds, Contemp. Math. 241 (1999), 85–97.CrossRefGoogle Scholar
12.Campana, F., Special varieties and classification theory, preprint (math.AG/0110151; 2001).Google Scholar
13.Campana, F., Orbifoldes à première classe de Chern nulle, dans The Fano Conference, University of Turin, 2004, pp. 339–351.Google Scholar
14.Campana, F., Orbifolds, special varieties and classification theory, Annales Inst. Fourier 54 (2004), 499–665.CrossRefGoogle Scholar
15.Campana, F., Fibres multiples sur les surfaces, Manuscr. Math. 117 (2005), 429–461.CrossRefGoogle Scholar
16.Campana, F., Quotients résolubles ou nilpotents des groupes de Kähler orbifoldes, preprint (arXiv: 0903.0560; 2009).Google Scholar
17.Campana, F., Special orbifolds and classification theory: a survey, preprint (arXiv: 1001.3763; 2010).CrossRefGoogle Scholar
18.Campana, F. et Păun, M., Variétés faiblement spéciales à courbes entières dégénérées, Compositio Math. 143 (2007), 95–111.CrossRefGoogle Scholar
19.Campana, F. et Peternell, T., Geometric stability of the cotangent bundle and the universal cover of a projective manifold, preprint (arXiv: math/0405093; 2006).Google Scholar
20.Campana, F. et Winkelmann, J., A Brody theorem for orbifolds, Manuscr. Math., à paraître.Google Scholar
21.Claudon, B., Invariance for multiples of the twisted canonical bundle, Annales Inst. Fourier 57 (2007), 289–300.CrossRefGoogle Scholar
22.Claudon, B., Gamma-reduction for smooth orbifolds, Manuscr. Math. 127 (2008), 521–532.CrossRefGoogle Scholar
23.Darmon, H. et Granville, A., On the equations zm = F(x, y) and Axp + Byq = Czr, Bull. Lond. Math. Soc. 27 (1995), 513–543.CrossRefGoogle Scholar
24.Deligne, P., Théorie de Hodge, II, Publ. Math. IHES 40 (1972), 5–57.CrossRefGoogle Scholar
25.Deligne, P., Le groupe fondamental du complémentaire d'une courbe plane n'ayant que des points doubles ordinaires est abélien, Exposé Bourbaki 543 (Novembre 1979), Tome 22, Lecture Notes in Mathematics, Volume 842, 1–10 (Springer, 1981).Google Scholar
26.Delzant, T., L'invariant de Bieri-Neuman-Strebel des groupes fondamentaux des variétés Kählériennes, preprint (arXiv: math.DG/0603038; 2006).Google Scholar
27.Fujita, T., On Kähler fibre spaces over curves, J. Math. Soc. Jpn 30 (1978), 779–794.CrossRefGoogle Scholar
28.Graber, T., Harris, J. et Starr, J., Families of rationally connected varieties, J. Am. Math. Soc. 16 (2003), 57–67.CrossRefGoogle Scholar
29.Greb, D., Kebekus, S. et Kovàcs, S., Extension theorems for differential forms and Bogomolov-Sommese vanishing on log-canonical varieties, preprint (arXiv: 0808.3647; 2008).Google Scholar
30.Hassett, B. et Tschinkel, Y., Weak approximation over function fields, Invent. Math. 163 (2006), 171–190.CrossRefGoogle Scholar
31.Jabbush, K. et Kebekus, S., Families over special base manifolds and a conjecture of Campana, preprint (arXiv: 0905.1746; 2009).Google Scholar
32.Kawamata, Y., Characterisation of Abelian varieties, Compositio Math. 43 (1981), 253–276.Google Scholar
33.Kawamata, Y., Subadjunction of log-canonical divisors, II, Am. J. Math. 120 (1998), 893–899.CrossRefGoogle Scholar
34.Kebekus, S. et Kovàcs, S., Families of canonically polarized varieties over surfaces, Invent. Math., à paraître.Google Scholar
35.Keel, S. et McKernan, J., Rational curves on quasi-projective surfaces, Memoirs of the American Mathematical Society, Volume 669 (American Mathematical Society, Providence, RI, 1999).Google Scholar
36.Kollár, J., Shafarevitch maps and plurigenera of algebraic varieties, Invent. Math. 113 (1993), 177–215.CrossRefGoogle Scholar
37.Kollár, J., Miyaoka, Y. et Mori, S., Rationally connected varieties, J. Alg. Geom. 1 (1992), 429–448.Google Scholar
38.Kovàcs, S., Smooth families over rational and elliptic curves, J. Alg. Geom. 5 (1996), 369–385.Google Scholar
39.Kovàcs, S., Algebraic hyperbolicity of fine moduli spaces, J. Alg. Geom. 9 (2000), 169–174.Google Scholar
40.Lang, S., Hyperbolic and Diophantine analysis, Bull. Am. Math. Soc. 14 (1986), 159–205.CrossRefGoogle Scholar
41.Lieberman, D., Compactness of the Chow scheme, Lecture Notes in Mathematics, Volume 670, pp. 140–186 (Springer, 1975).Google Scholar
42.Lu, S., A refined Kodaira dimension and its canonical fibration, preprint (math.AG/0211029; 2002).Google Scholar
43.Miyaoka, Y., Deformation of a morphism along a foliation, Proc. Symp. Pure Math. 46 (1987), 245–268.CrossRefGoogle Scholar
44.Miyaoka, Y. et Mori, S., A numerical criterion for uniruledness, Annals Math.124 (1986), 65–69.CrossRefGoogle Scholar
45.Namba, M., Branched coverings and algebraic functions, Pitman Research Notes in Mathematics, Volume 161 (Longman Scientific and Technical, 1987).Google Scholar
46.Pacienza, G. et Rousseau, E., On the logarithmic Kobayashi conjecture, preprint (arXiv: math/0603712; 2006).CrossRefGoogle Scholar
47.Păun, M., Siu's invariance of plurigenera: a one-tower proof, J. Diff. Geom., à paraître.Google Scholar
48.Raynaud, M., Flat modules in algebraic geometry, Compositio Math. 24 (1972), 11–31.Google Scholar
49.Rousseau, E., Hyperbolicity of geometric orbifolds, preprint (arXiv: 08091356; 2008).Google Scholar
50.Sakai, F., Degeneracy of holomorphic maps with ramifications, Invent. Math. 28 (1974), 213–229.CrossRefGoogle Scholar
51.Shepherd-Barron, N., Miyaoka's theorem on the semi-negativity of TX, Astérisque 211 (1992), 103–114.Google Scholar
52.Siu, Y. T., Extension of twisted pluricanonical sections with plurisubharmonic weights, in Complex Geometry, Göttingen, 2000, pp. 223–277 (Springer, 2002).Google Scholar
53.Stoppino, L., Genus 2 fibrations of general type on surfaces, preprint (arXiv: 1002.2782; 2006).Google Scholar
54.Takayama, S., Simple connectedness of weak Fano varieties, J. Alg. Geom. 9 (2000), 403–407.Google Scholar
55.Ueno, K., Classification theory of complex analytic manifolds, Lecture Notes in Mathematics, Volume 439 (Springer, 1975).Google Scholar
56.Viehweg, E., Weak positivity and the additivity of the Kodaira dimension for certain fibre spaces, Adv. Stud. Pure Math. 1 (1983), 329–353.CrossRefGoogle Scholar
57.Viehweg, E. et Zuo, K., Base spaces of non-isotrivial families of smooth minimal models, in Complex Geometry, Göttingen, 2000, pp. 279–328 (Springer, 2002).Google Scholar
58.Winkelmann, J., Quasi-projective varieties admitting Zariski dense entire holomorphic curves, preprint (arXiv: 0910.2536; 2008).Google Scholar