Ultrametric properties for valuation spaces of normal surface singularities
HTML articles powered by AMS MathViewer
- by Evelia R. García Barroso, Pedro D. González Pérez, Patrick Popescu-Pampu and Matteo Ruggiero PDF
- Trans. Amer. Math. Soc. 372 (2019), 8423-8475 Request permission
Abstract:
Let $L$ be a fixed branch – that is, an irreducible germ of curve – on a normal surface singularity $X$. If $A,B$ are two other branches, define $u_{L}(A,B) := \dfrac {(L \cdot A) \> (L \cdot B)}{A \cdot B}$, where $A \cdot B$ denotes the intersection number of $A$ and $B$. Call $X$ arborescent if all the dual graphs of its good resolutions are trees. In a previous paper, the first three authors extended a 1985 theorem of Płoski by proving that whenever $X$ is arborescent, the function $u_{L}$ is an ultrametric on the set of branches on $X$ different from $L$. In the present paper we prove that, conversely, if $u_{L}$ is an ultrametric, then $X$ is arborescent. We also show that for any normal surface singularity, one may find arbitrarily large sets of branches on $X$, characterized uniquely in terms of the topology of the resolutions of their sum, in restriction to which $u_L$ is still an ultrametric. Moreover, we describe the associated tree in terms of the dual graphs of such resolutions. Then we extend our setting by allowing $L$ to be an arbitrary semivaluation on $X$ and by defining $u_{L}$ on a suitable space of semivaluations. We prove that any such function is again an ultrametric if and only if $X$ is arborescent, and without any restriction on $X$ we exhibit special subspaces of the space of semivaluations in restriction to which $u_{L}$ is still an ultrametric.References
- W. L. Ayres, Concerning Continuous Curves in Metric Space, Amer. J. Math. 51 (1929), no. 4, 577–594. MR 1507913, DOI 10.2307/2370583
- Hans-Jürgen Bandelt and Michael Anthony Steel, Symmetric matrices representable by weighted trees over a cancellative abelian monoid, SIAM J. Discrete Math. 8 (1995), no. 4, 517–525. MR 1361386, DOI 10.1137/S0895480191201759
- Sebastian Böcker and Andreas W. M. Dress, Recovering symbolically dated, rooted trees from symbolic ultrametrics, Adv. Math. 138 (1998), no. 1, 105–125. MR 1645064, DOI 10.1006/aima.1998.1743
- J. A. Bondy and U. S. R. Murty, Graph theory, Graduate Texts in Mathematics, vol. 244, Springer, New York, 2008. MR 2368647, DOI 10.1007/978-1-84628-970-5
- Sébastien Boucksom, Charles Favre, and Mattias Jonsson, Degree growth of meromorphic surface maps, Duke Math. J. 141 (2008), no. 3, 519–538. MR 2387430, DOI 10.1215/00127094-2007-004
- Sébastien Boucksom, Charles Favre, and Mattias Jonsson, A refinement of Izumi’s theorem, Valuation theory in interaction, EMS Ser. Congr. Rep., Eur. Math. Soc., Zürich, 2014, pp. 55–81. MR 3329027
- Peter Buneman, A note on the metric properties of trees, J. Combinatorial Theory Ser. B 17 (1974), 48–50. MR 363963, DOI 10.1016/0095-8956(74)90047-1
- Ana Belén de Felipe, Topology of spaces of valuations and geometry of singularities, Trans. Amer. Math. Soc. 371 (2019), no. 5, 3593–3626. MR 3896123, DOI 10.1090/tran/7441
- Patrick Du Val, On absolute and non absolute singularities of algebraic surfaces, Rev. Fac. Sci. Univ. Istanbul (A) 11 (1944), 159–215 (1946) (English, with Turkish summary). MR 31286
- Lawrence Ein, Robert Lazarsfeld, and Karen E. Smith, Uniform approximation of Abhyankar valuation ideals in smooth function fields, Amer. J. Math. 125 (2003), no. 2, 409–440. MR 1963690, DOI 10.1353/ajm.2003.0010
- Lorenzo Fantini, Normalized non-Archimedean links and surface singularities, C. R. Math. Acad. Sci. Paris 352 (2014), no. 9, 719–723 (English, with English and French summaries). MR 3258263, DOI 10.1016/j.crma.2014.06.010
- Lorenzo Fantini, Normalized Berkovich spaces and surface singularities, Trans. Amer. Math. Soc. 370 (2018), no. 11, 7815–7859. MR 3852450, DOI 10.1090/tran/7209
- Charles Favre, Holomorphic self-maps of singular rational surfaces, Publ. Mat. 54 (2010), no. 2, 389–432. MR 2675930, DOI 10.5565/PUBLMAT_{5}4210_{0}6
- Charles Favre and Mattias Jonsson, The valuative tree, Lecture Notes in Mathematics, vol. 1853, Springer-Verlag, Berlin, 2004. MR 2097722, DOI 10.1007/b100262
- Charles Favre and Mattias Jonsson, Eigenvaluations, Ann. Sci. École Norm. Sup. (4) 40 (2007), no. 2, 309–349 (English, with English and French summaries). MR 2339287, DOI 10.1016/j.ansens.2007.01.002
- Charles Favre and Mattias Jonsson, Dynamical compactifications of $\textbf {C}^2$, Ann. of Math. (2) 173 (2011), no. 1, 211–248. MR 2753603, DOI 10.4007/annals.2011.173.1.6
- Robert L. Foote, A unified Pythagorean theorem in Euclidean, spherical, and hyperbolic geometries, Math. Mag. 90 (2017), no. 1, 59–69. MR 3608701, DOI 10.4169/math.mag.90.1.59
- T. Gallai, Elementare Relationen bezüglich der Glieder und trennenden Punkte von Graphen, Magyar Tud. Akad. Mat. Kutató Int. Közl. 9 (1964), 235–236 (German, with Russian summary). MR 169231
- Evelia R. García Barroso, Pedro D. González Pérez, and Patrick Popescu-Pampu, Ultrametric spaces of branches on arborescent singularities, Singularities, algebraic geometry, commutative algebra, and related topics, Springer, Cham, 2018, pp. 55–106. MR 3839791
- William Gignac and Matteo Ruggiero, Growth of attraction rates for iterates of a superattracting germ in dimension two, Indiana Univ. Math. J. 63 (2014), no. 4, 1195–1234. MR 3263927, DOI 10.1512/iumj.2014.63.5286
- W. Gignac and M. Ruggiero, Local dynamics of non-invertible maps near normal surface singularities, 2018, Mem. Amer. Math. Soc. (to appear). Preprint available at http://arxiv.org/abs/1704.04726, 2017.
- Frank Harary, An elementary theorem on graphs, Amer. Math. Monthly 66 (1959), 405–407. MR 104229, DOI 10.2307/2308754
- Frank Harary, Graph theory, Addison-Wesley Publishing Co., Reading, Mass.-Menlo Park, Calif.-London 1969. MR 0256911, DOI 10.21236/AD0705364
- Frank Harary and Geert Prins, The block-cutpoint-tree of a graph, Publ. Math. Debrecen 13 (1966), 103–107. MR 211918
- Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157, DOI 10.1007/978-1-4757-3849-0
- Ehud Hrushovski, François Loeser, and Bjorn Poonen, Berkovich spaces embed in Euclidean spaces, Enseign. Math. 60 (2014), no. 3-4, 273–292. MR 3342647, DOI 10.4171/LEM/60-3/4-4
- Shuzo Izumi, Linear complementary inequalities for orders of germs of analytic functions, Invent. Math. 65 (1981/82), no. 3, 459–471. MR 643564, DOI 10.1007/BF01396630
- Shuzo Izumi, A measure of integrity for local analytic algebras, Publ. Res. Inst. Math. Sci. 21 (1985), no. 4, 719–735. MR 817161, DOI 10.2977/prims/1195178926
- Mattias Jonsson, Dynamics of Berkovich spaces in low dimensions, Berkovich spaces and applications, Lecture Notes in Math., vol. 2119, Springer, Cham, 2015, pp. 205–366. MR 3330767, DOI 10.1007/978-3-319-11029-5_{6}
- Veerabhadra R. Kulli, The block-point tree of a graph, Indian J. Pure Appl. Math. 7 (1976), no. 6, 620–624. MR 505715
- K. Kuratowski and G. T. Whyburn. Sur les éléments cycliques et leurs applications, Fund. Math., 16 (1930), no. 1, 305–331.
- B. Lehman, Cyclic element theory in connected and locally connected Hausdorff spaces, Canadian J. Math. 28 (1976), no. 5, 1032–1050. MR 420575, DOI 10.4153/CJM-1976-101-7
- Joseph Lipman, Rational singularities, with applications to algebraic surfaces and unique factorization, Inst. Hautes Études Sci. Publ. Math. 36 (1969), 195–279. MR 276239, DOI 10.1007/BF02684604
- Paolo Maraner, A spherical Pythagorean theorem, Math. Intelligencer 32 (2010), no. 3, 46–50. MR 2721310, DOI 10.1007/s00283-010-9152-9
- B. L. McAllister, Cyclic elements in topology, a history, Amer. Math. Monthly 73 (1966), 337–350. MR 200894, DOI 10.2307/2315392
- Byron L. McAllister, A survey of cyclic element theory and recent developments, General topology and modern analysis (Proc. Conf., Univ. California, Riverside, Calif., 1980) Academic Press, New York-London, 1981, pp. 255–263. MR 619050
- Mohammad Moghaddam, On Izumi’s theorem on comparison of valuations, Kodai Math. J. 34 (2011), no. 1, 16–30. MR 2786777, DOI 10.2996/kmj/1301576758
- David Mumford, The topology of normal singularities of an algebraic surface and a criterion for simplicity, Inst. Hautes Études Sci. Publ. Math. 9 (1961), 5–22. MR 153682, DOI 10.1007/BF02698717
- J. Nikiel, H. M. Tuncali, and E. D. Tymchatyn, Continuous images of arcs and inverse limit methods, Mem. Amer. Math. Soc. 104 (1993), no. 498, viii+80. MR 1148017, DOI 10.1090/memo/0498
- Arkadiusz Płoski, Remarque sur la multiplicité d’intersection des branches planes, Bull. Polish Acad. Sci. Math. 33 (1985), no. 11-12, 601–605 (1986) (French, with English and Russian summaries). MR 849408
- P. Popescu-Pampu, Ultrametric spaces of branches on arborescent singularities, Math. Forsch. Oberwolfach Report, 46 (2016), 2655–2658.
- V. V. Prasolov and V. M. Tikhomirov, Geometry, Translations of Mathematical Monographs, vol. 200, American Mathematical Society, Providence, RI, 2001. Translated from the 1997 Russian original by O. V. Sipacheva. MR 1833867, DOI 10.1090/mmono/200
- T. Radó and P. Reichelderfer, Cyclic transitivity, Duke Math. J. 6 (1940), 474–485. MR 1918, DOI 10.1215/S0012-7094-40-00638-X
- John G. Ratcliffe, Foundations of hyperbolic manifolds, 2nd ed., Graduate Texts in Mathematics, vol. 149, Springer, New York, 2006. MR 2249478
- David Rees, Izumi’s theorem, Commutative algebra (Berkeley, CA, 1987) Math. Sci. Res. Inst. Publ., vol. 15, Springer, New York, 1989, pp. 407–416. MR 1015531, DOI 10.1007/978-1-4612-3660-3_{2}2
- G. Rond and M. Spivakovsky, The analogue of Izumi’s theorem for Abhyankar valuations, J. Lond. Math. Soc. (2) 90 (2014), no. 3, 725–740. MR 3291797, DOI 10.1112/jlms/jdu045
- V. V. Shokurov, Prelimiting flips, Tr. Mat. Inst. Steklova 240 (2003), no. Biratsion. Geom. Lineĭn. Sist. Konechno Porozhdennye Algebry, 82–219; English transl., Proc. Steklov Inst. Math. 1(240) (2003), 75–213. MR 1993750
- Amaury Thuillier, Géométrie toroïdale et géométrie analytique non archimédienne. Application au type d’homotopie de certains schémas formels, Manuscripta Math. 123 (2007), no. 4, 381–451 (French, with English summary). MR 2320738, DOI 10.1007/s00229-007-0094-2
- W. T. Tutte, Connectivity in graphs, Mathematical Expositions, No. 15, University of Toronto Press, Toronto, Ont.; Oxford University Press, London, 1966. MR 0210617, DOI 10.3138/9781487584863
- Glen Van Brummelen, Heavenly mathematics, Princeton University Press, Princeton, NJ, 2013. The forgotten art of spherical trigonometry. MR 3012466
- Michel Vaquié, Valuations, Resolution of singularities (Obergurgl, 1997) Progr. Math., vol. 181, Birkhäuser, Basel, 2000, pp. 539–590 (French). MR 1748635
- Tadé Ważewski, Sur les courbes de Jordan ne renfermant aucune courbe simple fermée de Jordan, NUMDAM, [place of publication not identified], 1923 (French). MR 3532906
- Hassler Whitney, Non-separable and planar graphs, Trans. Amer. Math. Soc. 34 (1932), no. 2, 339–362. MR 1501641, DOI 10.1090/S0002-9947-1932-1501641-2
- G. T. Whyburn, Cyclicly connected continuous curves, Proc. Natl. Acad. Sci. U.S.A., 13 (1927), no. 2, 31–38.
- G. T. Whyburn, What is a curve?, Amer. Math. Monthly 49 (1942), 493–497. MR 7109, DOI 10.2307/2302854
- Gordon T. Whyburn, Cut points in general topological spaces, Proc. Nat. Acad. Sci. U.S.A. 61 (1968), 380–387. MR 242129, DOI 10.1073/pnas.61.2.380
- Oscar Zariski, The reduction of the singularities of an algebraic surface, Ann. of Math. (2) 40 (1939), 639–689. MR 159, DOI 10.2307/1968949
- Oscar Zariski, The theorem of Riemann-Roch for high multiples of an effective divisor on an algebraic surface, Ann. of Math. (2) 76 (1962), 560–615. MR 141668, DOI 10.2307/1970376
Additional Information
- Evelia R. García Barroso
- Affiliation: Departamento Matemáticas, Estadística e Investigación Operativa, Universidad de La Laguna, 38271 La Laguna Islas Canarias, Spain
- Email: ergarcia@ull.es
- Pedro D. González Pérez
- Affiliation: Departamento Álgebra, Geometría y Topología, Universidad Complutense de Madrid, 28040 Madrid, Spain
- Email: pgonzalez@mat.ucm.es
- Patrick Popescu-Pampu
- Affiliation: Laboratoire Paul Painlevé, Université de Lille, 59655 Villeneuve-d’Ascq, France
- MR Author ID: 695298
- Email: patrick.popescu-pampu@univ-lille.fr
- Matteo Ruggiero
- Affiliation: Institut de Mathématiques de Jussieu-Paris Rive Gauche, Université Paris Diderot - Université de Paris, 75013 Paris, France
- MR Author ID: 974797
- Email: matteo.ruggiero@imj-prg.fr
- Received by editor(s): December 5, 2018
- Received by editor(s) in revised form: March 12, 2019
- Published electronically: August 1, 2019
- Additional Notes: This research was partially supported by the French grants ANR-12-JS01-0002-01 SUSI, ANR-17-CE40-0023-02 LISA, ANR-17-CE40-0002-01 Fatou, and Labex CEMPI (ANR-11-LABX-0007-01), and also by the Spanish Projects MTM2016-80659-P and MTM2016-76868-C2-1-P
- © Copyright 2019 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 372 (2019), 8423-8475
- MSC (2010): Primary 14B05; Secondary 14J17, 32S25
- DOI: https://doi.org/10.1090/tran/7854
- MathSciNet review: 4029701