×

On the groups of birational transformations of surfaces. (Sur les groupes de transformations birationnelles des surfaces.) (French. English summary) Zbl 1233.14011

Let \(S\) be a complex compact Kähler surface and denote by \(\text{Bir}(S)\) the group of birational transformations of \(S\); when \(S\) is not projective it admits a unique minimal model \(S_0\) and \(\text{Bir}(S)=\operatorname{Aut}(S_0)\) is the automorphism group of \(S_0\). In the paper under review the author investigates properties of subgroups in \(\text{Bir}(S)\). He obtains (essentially) three main results.
First he proves that if \(\Gamma\subset \text{Bir}(S)\) is a countable subgroup and every action of \(\Gamma\) by affine isometries on a Hilbert space admits a fixed point, i.e., if \(\Gamma\) satisfies the so-called Kazhdan (T) property, then either \(\Gamma\) is finite or there exists a birational map \(S \dashrightarrow \mathbb P^2\) which conjugates \(\Gamma\) to a subgroup of automorphisms of the complex projective plane (Theorem A in the paper). As a corollary, he obtains an analogue of the Zimmer conjecture on lattices in real Lie groups acting on compact manifolds, in the case where actions are birational and manifolds are compact Kähler surfaces.
Secondly, for an element \(f\in\text{Bir}(S)\) whose first dynamical degree (e.g. when \(S\) is the complex projective plane it is the limit of the sequence \(\sqrt[n]{\deg(f^n)}\), where \(\deg\) means algebraic degree) is greater than 1, he proves that if \(G\subset\text{Bir}(S)\) is a subgroup whose elements commute with \(f\), then it is an extension of a torsion group by a multiplicative subgroup of positive real numbers; moreover, this last subgroup is cyclic when \(G\) is finitely generated. In particular he deduces that if \(g\in\text{Bir}(S)\) commutes with \(f\) then there exist integers \(m>0\) and \(n\) such that \(g^m=f^n\) (Theorem B in the paper).
Finally, the author proves the so-called Tits alternative for \(\text{Bir}(S)\), that is, he shows that every finitely generated subgroup of \(\text{Bir}(S)\) contains either a non abelian free subgroup or a soluble subgroup of finite index (Theorem C in the paper). As a corollary he deduces, among other things, that every finitely generated torsion subgroup of \(\text{Bir}(S)\) is finite.
The reader may also consult [Astérisque 332, 11–43, Exp. No. 998 (2010; Zbl 1210.14015)] by C. Favre.

MSC:

14E07 Birational automorphisms, Cremona group and generalizations
32M05 Complex Lie groups, group actions on complex spaces
20E36 Automorphisms of infinite groups
20F28 Automorphism groups of groups
37F10 Dynamics of complex polynomials, rational maps, entire and meromorphic functions; Fatou and Julia sets

Citations:

Zbl 1210.14015
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] H. Bass and A. Lubotzky, ”Automorphisms of groups and of schemes of finite type,” Israel J. Math., vol. 44, iss. 1, pp. 1-22, 1983. · Zbl 0517.14015 · doi:10.1007/BF02763168
[2] A. Beauville, ”\(p\)-elementary subgroups of the Cremona group,” J. Algebra, vol. 314, iss. 2, pp. 553-564, 2007. · Zbl 1126.14017 · doi:10.1016/j.jalgebra.2005.07.040
[3] E. Bedford and J. Diller, ”Energy and invariant measures for birational surface maps,” Duke Math. J., vol. 128, iss. 2, pp. 331-368, 2005. · Zbl 1076.37031 · doi:10.1215/S0012-7094-04-12824-6
[4] E. Bedford, M. Lyubich, and J. Smillie, ”Polynomial diffeomorphisms of \({\mathbf C}^2\). IV. The measure of maximal entropy and laminar currents,” Invent. Math., vol. 112, iss. 1, pp. 77-125, 1993. · Zbl 0792.58034 · doi:10.1007/BF01232426
[5] E. Bedford, M. Lyubich, and J. Smillie, ”Polynomial diffeomorphisms of \({\mathbf C}^2\). IV. The measure of maximal entropy and laminar currents,” Invent. Math., vol. 112, iss. 1, pp. 77-125, 1993. · Zbl 0792.58034 · doi:10.1007/BF01232426
[6] M. Bestvina, M. Feighn, and M. Handel, ”The Tits alternative for \({ Out}(F_n)\). II. A Kolchin type theorem,” Ann. of Math., vol. 161, iss. 1, pp. 1-59, 2005. · Zbl 1139.20026 · doi:10.4007/annals.2005.161.1
[7] S. Boucksom, C. Favre, and M. Jonsson, ”Degree growth of meromorphic surface maps,” Duke Math. J., vol. 141, iss. 3, pp. 519-538, 2008. · Zbl 1185.32009 · doi:10.1215/00127094-2007-004
[8] M. R. Bridson and A. Haefliger, Metric Spaces of Non-positive Curvature, New York: Springer-Verlag, 1999, vol. 319. · Zbl 0988.53001
[9] M. Brunella, Birational Geometry of Foliations, Rio de Janeiro: Instituto de Matemática Pura e Aplicada (IMPA), 2004. · Zbl 1082.32022
[10] S. Cantat, ”Dynamique des automorphismes des surfaces \(K3\),” Acta Math., vol. 187, iss. 1, pp. 1-57, 2001. · Zbl 1045.37007 · doi:10.1007/BF02392831
[11] S. Cantat, ”Version kählérienne d’une conjecture de Robert J. Zimmer,” Ann. Sci. École Norm. Sup., vol. 37, iss. 5, pp. 759-768, 2004. · Zbl 1072.22006 · doi:10.1016/j.ansens.2004.04.003
[12] S. Cantat, Sur les groupes de transformations birationnelles du plan (version longue), 2006.
[13] S. Cantat, Transformations rationnelles: existence, exemples et rigidité, 2006.
[14] S. Cantat and D. Cerveau, ”Analytic actions of mapping class groups on surfaces,” J. Topol., vol. 1, iss. 4, pp. 910-922, 2008. · Zbl 1219.57025 · doi:10.1112/jtopol/jtn028
[15] S. Cantat and C. Favre, ”Symétries birationnelles des surfaces feuilletées,” J. Reine Angew. Math., vol. 561, pp. 199-235, 2003. · Zbl 1070.32022 · doi:10.1515/crll.2003.066
[16] S. Cantat and S. Lamy, ”Groupes d’automorphismes polynomiaux du plan,” Geom. Dedicata, vol. 123, pp. 201-221, 2006. · Zbl 1115.14055 · doi:10.1007/s10711-007-9126-z
[17] P. Cherix, M. Cowling, P. Jolissaint, P. Julg, and A. Valette, Groups with the Haagerup Property, Basel: Birkhäuser, 2001, vol. 197. · Zbl 1030.43002
[18] J. L. Coolidge, A Treatise on Algebraic Plane Curves, New York: Dover Publications, 1959. · Zbl 0085.36403
[19] K. Corlette, ”Archimedean superrigidity and hyperbolic geometry,” Ann. of Math., vol. 135, iss. 1, pp. 165-182, 1992. · Zbl 0768.53025 · doi:10.2307/2946567
[20] C. W. Curtis and I. Reiner, Representation Theory of Finite Groups and Associative Algebras, New York: John Wiley & Sons, 1988. · Zbl 0634.20001
[21] P. de la Harpe and A. Valette, ”La propriété \((T)\) de Kazhdan pour les groupes localement compacts (avec un appendice de Marc Burger),” Astérisque, vol. 175, p. 158, 1989. · Zbl 0759.22001
[22] M. Demazure, ”Sous-groupes algébriques de rang maximum du groupe de Cremona,” Ann. Sci. École Norm. Sup., vol. 3, pp. 507-588, 1970. · Zbl 0223.14009
[23] J. Déserti, ”Groupe de Cremona et dynamique complexe: une approche de la conjecture de Zimmer,” Int. Math. Res. Not., vol. 2006, p. I, 2006. · Zbl 1119.22007 · doi:10.1155/IMRN/2006/71701
[24] J. Déserti, ”Sur les automorphismes du groupe de Cremona,” Compos. Math., vol. 142, iss. 6, pp. 1459-1478, 2006. · Zbl 1109.14015 · doi:10.1112/S0010437X06002478
[25] J. Diller and C. Favre, ”Dynamics of bimeromorphic maps of surfaces,” Amer. J. Math., vol. 123, iss. 6, pp. 1135-1169, 2001. · Zbl 1112.37308 · doi:10.1353/ajm.2001.0038
[26] T. Dinh and N. Sibony, ”Groupes commutatifs d’automorphismes d’une variété kählérienne compacte,” Duke Math. J., vol. 123, iss. 2, pp. 311-328, 2004. · Zbl 1065.32012 · doi:10.1215/S0012-7094-04-12323-1
[27] I. V. Dolgachev, ”Rational surfaces with a pencil of elliptic curves,” Izv. Akad. Nauk SSSR Ser. Mat., vol. 30, pp. 1073-1100, 1966.
[28] I. V. Dolgachev and D. Zhang, ”Coble rational surfaces,” Amer. J. Math., vol. 123, iss. 1, pp. 79-114, 2001. · Zbl 1056.14054 · doi:10.1353/ajm.2001.0002
[29] R. Dujardin, ”Laminar currents and birational dynamics,” Duke Math. J., vol. 131, iss. 2, pp. 219-247, 2006. · Zbl 1099.37037 · doi:10.1215/S0012-7094-06-13122-8
[30] J. Faraut and K. Harzallah, ”Distances hilbertiennes invariantes sur un espace homogène,” Ann. Inst. Fourier \((\)Grenoble\()\), vol. 24, iss. 3, p. xiv, 171-217, 1974. · Zbl 0265.43013 · doi:10.5802/aif.525
[31] B. Farb and P. Shalen, ”Real-analytic actions of lattices,” Invent. Math., vol. 135, iss. 2, pp. 273-296, 1999. · Zbl 0954.22007 · doi:10.1007/s002220050286
[32] C. Favre, ”Points périodiques d’applications birationnelles de \(\mathbb P^2\),” Ann. Inst. Fourier \((\)Grenoble\()\), vol. 48, iss. 4, pp. 999-1023, 1998. · Zbl 0924.58083 · doi:10.5802/aif.1646
[33] C. Favre and M. Jonsson, The Valuative Tree, New York: Springer-Verlag, 2004, vol. 1853. · Zbl 1064.14024 · doi:10.1007/b100262
[34] C. Favre and M. Jonsson, ”Eigenvaluations,” Ann. Sci. École Norm. Sup., vol. 40, iss. 2, pp. 309-349, 2007. · Zbl 1135.37018 · doi:10.1016/j.ansens.2007.01.002
[35] E. Formanek and C. Procesi, ”The automorphism group of a free group is not linear,” J. Algebra, vol. 149, iss. 2, pp. 494-499, 1992. · Zbl 0780.20023 · doi:10.1016/0021-8693(92)90029-L
[36] &. Ghys, ”Sur les groupes engendrés par des difféomorphismes proches de l’identité,” Bol. Soc. Brasil. Mat., vol. 24, iss. 2, pp. 137-178, 1993. · Zbl 0809.58004 · doi:10.1007/BF01237675
[37] &. Ghys, ”Groups acting on the circle,” Enseign. Math., vol. 47, iss. 3-4, pp. 329-407, 2001. · Zbl 1044.37033
[38] &. Ghys and P. H. de la Harpe, Sur les Groupes Hyperboliques d’après Mikhael Gromov, Boston, MA: Birkhäuser Boston Inc., 1990, vol. 83. · Zbl 0731.20025
[39] M. H. Gizatullin and V. I. Danilov, ”Automorphisms of affine surfaces. I,” Izv. Akad. Nauk SSSR Ser. Mat., vol. 39, iss. 3, pp. 523-565, 703, 1975. · Zbl 0311.14002
[40] M. H. Gizatullin, ”Rational \(G\)-surfaces,” Izv. Akad. Nauk SSSR Ser. Mat., vol. 44, iss. 1, pp. 110-144, 239, 1980. · Zbl 0428.14022
[41] M. Gromov, ”Asymptotic invariants of infinite groups,” in Geometric Group Theory, Vol. 2, Cambridge, 1993, pp. 1-295. · Zbl 0841.20039
[42] J. Hubbard, P. Papadopol, and V. Veselov, ”A compactification of Hénon mappings in \({\mathbf C}^2\) as dynamical systems,” Acta Math., vol. 184, iss. 2, pp. 203-270, 2000. · Zbl 0987.37035 · doi:10.1007/BF02392629
[43] J. Hubbard and P. Papadopol, ”Newton’s method applied to two quadratic equations in \(\mathbb C^2\) viewed as a global dynamical system,” Mem. Amer. Math. Soc., vol. 191, iss. 891, p. vi, 2008. · Zbl 1133.37018
[44] V. A. Iskovskikh and I. R. Shafarevich, ”Algebraic surfaces,” in Algebraic Geometry, II, New York: Springer-Verlag, 1996, vol. 35, pp. 127-262. · Zbl 0733.14015
[45] N. V. Ivanov, ”Mapping class groups,” in Handbook of Geometric Topology, Amsterdam: North-Holland, 2002, pp. 523-633. · Zbl 1002.57001
[46] G. A. Jones and D. Singerman, Complex Functions. An Algebraic and Geometric Viewpoint, Cambridge: Cambridge Univ. Press, 1987. · Zbl 0608.30001
[47] A. Katok, ”Lyapunov exponents, entropy and periodic orbits for diffeomorphisms,” Inst. Hautes Études Sci. Publ. Math., iss. 51, pp. 137-173, 1980. · Zbl 0445.58015 · doi:10.1007/BF02684777
[48] S. Lamy, ”L’alternative de Tits pour \({ Aut}[{\mathbb C}^2]\),” J. Algebra, vol. 239, iss. 2, pp. 413-437, 2001. · Zbl 1040.37031 · doi:10.1006/jabr.2000.8701
[49] R. Lazarsfeld, Positivity in Algebraic Geometry. I, New York: Springer-Verlag, 2004, vol. 48. · Zbl 1093.14501
[50] D. I. Lieberman, ”Compactness of the Chow Scheme: Applications to Automorphisms and Deformations of Kähler Manifolds,” in Fonctions de plusieurs variables complexes, III, New York, 1978, pp. 140-186. · Zbl 0391.32018
[51] W. Magnus, ”Rings of Fricke characters and automorphism groups of free groups,” Math. Z., vol. 170, iss. 1, pp. 91-103, 1980. · Zbl 0433.20033 · doi:10.1007/BF01214715
[52] Y. I. Manin, Cubic Forms, Second ed., Amsterdam: North-Holland Publishing Co., 1986, vol. 4. · Zbl 0582.14010
[53] G. A. Margulis, Discrete Subgroups of Semisimple Lie Groups, New York: Springer-Verlag, 1991, vol. 17. · Zbl 0732.22008
[54] C. T. McMullen, Gallery: Dynamics on blowups of \({{\mathbbP}}^2\), 2005.
[55] J. W. Morgan, ”\(\Lambda\)-trees and their applications,” Bull. Amer. Math. Soc., vol. 26, iss. 1, pp. 87-112, 1992. · Zbl 0767.05054 · doi:10.1090/S0273-0979-1992-00237-9
[56] D. R. Morrison, ”On \(K3\) surfaces with large Picard number,” Invent. Math., vol. 75, iss. 1, pp. 105-121, 1984. · Zbl 0509.14034 · doi:10.1007/BF01403093
[57] K. Oguiso, ”Tits alternative in hypekähler manifolds,” Math. Res. Lett., vol. 13, iss. 2-3, pp. 307-316, 2006. · Zbl 1107.14013 · doi:10.4310/MRL.2006.v13.n2.a10
[58] I. Pays and A. Valette, ”Sous-groupes libres dans les groupes d’automorphismes d’arbres,” Enseign. Math., vol. 37, iss. 1-2, pp. 151-174, 1991. · Zbl 0744.20024
[59] F. Ronga and T. Vust, ”Birational diffeomorphisms of the real projective plane,” Comment. Math. Helv., vol. 80, iss. 3, pp. 517-540, 2005. · Zbl 1080.14020
[60] J. Serre, Arbres, Amalgames, \({ SL}_2\), Paris: Société Mathématique de France, 1977, vol. 46. · Zbl 0369.20013
[61] D. Wright, ”Abelian subgroups of \({ Aut}_k(k[X,\,Y])\) and applications to actions on the affine plane,” Illinois J. Math., vol. 23, iss. 4, pp. 579-634, 1979. · Zbl 0461.20011
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.