Embedded desingularization for arithmetic surfaces – toward a parallel implementation

Frühbis-Krüger, Anne; Ristau, Lukas; Schober, Bernd

doi:10.1090/mcom/3624

Embedded desingularization for arithmetic surfaces – toward a parallel implementation
HTML articles powered by AMS MathViewer

by Anne Frühbis-Krüger, Lukas Ristau and Bernd Schober HTML | PDF

Math. Comp. 90 (2021), 1957-1997 Request permission

Abstract:

We present an algorithmic embedded desingularization of arithmetic surfaces bearing in mind implementability. Our algorithm is based on work by Cossart-Jannsen-Saito, though our variant uses a refinement of the order instead of the Hilbert-Samuel function as a measure for the complexity of the singularity. We particularly focus on aspects arising when working in mixed characteristics. Furthermore, we exploit the algorithm’s natural parallel structure rephrasing it in terms of Petri nets for use in the parallelization environment GPI-Space with Singular as computational back-end.

References

Shreeram Shankar Abhyankar, Resolution of singularities of embedded algebraic surfaces, Pure and Applied Mathematics, Vol. 24, Academic Press, New York-London, 1966. MR 0217069
Angélica Benito and Orlando E. Villamayor U., Techniques for the study of singularities with applications to resolution of 2-dimensional schemes, Math. Ann. 353 (2012), no. 3, 1037–1068. MR 2923956, DOI 10.1007/s00208-011-0709-5
Edward Bierstone and Pierre D. Milman, Uniformization of analytic spaces, J. Amer. Math. Soc. 2 (1989), no. 4, 801–836. MR 1001853, DOI 10.1090/S0894-0347-1989-1001853-2
Edward Bierstone and Pierre D. Milman, Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Invent. Math. 128 (1997), no. 2, 207–302. MR 1440306, DOI 10.1007/s002220050141
Edward Bierstone and Pierre D. Milman, Desingularization of toric and binomial varieties, J. Algebraic Geom. 15 (2006), no. 3, 443–486. MR 2219845, DOI 10.1090/S1056-3911-06-00430-9
Rocío Blanco, Desingularization of binomial varieties in arbitrary characteristic. Part I. A new resolution function and their properties, Math. Nachr. 285 (2012), no. 11-12, 1316–1342. MR 2959962, DOI 10.1002/mana.201100108
Rocío Blanco, Desingularization of binomial varieties in arbitrary characteristic. Part II: Combinatorial desingularization algorithm, Q. J. Math. 63 (2012), no. 4, 771–794. MR 2999984, DOI 10.1093/qmath/har019
Gábor Bodnár and Josef Schicho, A computer program for the resolution of singularities, Resolution of singularities (Obergurgl, 1997) Progr. Math., vol. 181, Birkhäuser, Basel, 2000, pp. 231–238. MR 1748621, DOI 10.1007/978-3-0348-8399-3_{7}
J. Böhm, W. Decker, A. Frühbis-Krüger, F.-J. Pfreundt, M.Rahn, and L. Ristau, Towards massively parallel computations in algebraic geometry, Found. Comput. Math. (2020), DOI 10.1007/s10208-020-09464-x.
Janko Böhm, Wolfram Decker, Santiago Laplagne, Gerhard Pfister, Andreas Steenpaß, and Stefan Steidel, Parallel algorithms for normalization, J. Symbolic Comput. 51 (2013), 99–114. MR 3005784, DOI 10.1016/j.jsc.2012.07.002
Janko Böhm and Anne Frühbis-Krüger, A smoothness test for higher codimensions, J. Symbolic Comput. 86 (2018), 153–165. MR 3725218, DOI 10.1016/j.jsc.2017.05.001
Ana María Bravo, Santiago Encinas, and Orlando Villamayor U., A simplified proof of desingularization and applications, Rev. Mat. Iberoamericana 21 (2005), no. 2, 349–458. MR 2174912, DOI 10.4171/RMI/425
A. Bravo and O. E. Villamayor U., On the behavior of the multiplicity on schemes: stratification and blow ups, The resolution of singular algebraic varieties, Amer. Math. Soc., Providence, RI, 2014, pp. 81–207. MR 3328580
Vincent Cossart, Jean Giraud, and Ulrich Orbanz, Resolution of surface singularities, Lecture Notes in Mathematics, vol. 1101, Springer-Verlag, Berlin, 1984. With an appendix by H. Hironaka. MR 775681, DOI 10.1007/BFb0072258
Vincent Cossart, Desingularization of embedded excellent surfaces, Tohoku Math. J. (2) 33 (1981), no. 1, 25–33. MR 613106, DOI 10.2748/tmj/1178229492
V. Cossart, U. Jannsen, and S. Saito, Desingularization: invariants and strategy. Applications to dimension 2, Lecture Notes in Mathematics, vol. 2270, Springer, Cham, 2020. With an appendix by B. Schober.
V. Cossart ; O. Piltant, ‘Resolution of singularities of threefolds in positive characteristic I’, Journal of Algebra 320 (2008) 1051–1081.
Vincent Cossart and Olivier Piltant, Resolution of singularities of threefolds in positive characteristic. II, J. Algebra 321 (2009), no. 7, 1836–1976. MR 2494751, DOI 10.1016/j.jalgebra.2008.11.030
Vincent Cossart and Olivier Piltant, Resolution of singularities of threefolds in mixed characteristic: case of small multiplicity, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 108 (2014), no. 1, 113–151. MR 3183110, DOI 10.1007/s13398-012-0103-5
Vincent Cossart and Olivier Piltant, Resolution of singularities of arithmetical threefolds, J. Algebra 529 (2019), 268–535. MR 3942183, DOI 10.1016/j.jalgebra.2019.02.017
Vincent Cossart and Bernd Schober, A strictly decreasing invariant for resolution of singularities in dimension two, Publ. Res. Inst. Math. Sci. 56 (2020), no. 2, 217–280. MR 4082904, DOI 10.4171/prims/56-2-1
Steven Dale Cutkosky, Resolution of singularities, Graduate Studies in Mathematics, vol. 63, American Mathematical Society, Providence, RI, 2004. MR 2058431, DOI 10.1090/gsm/063
Steven Dale Cutkosky, Resolution of singularities for 3-folds in positive characteristic, Amer. J. Math. 131 (2009), no. 1, 59–127. MR 2488485, DOI 10.1353/ajm.0.0036
Steven Dale Cutkosky, A skeleton key to Abhyankar’s proof of embedded resolution of characteristic p surfaces, Asian J. Math. 15 (2011), no. 3, 369–416. MR 2838213, DOI 10.4310/AJM.2011.v15.n3.a4
W. Decker, G.-M. Greuel, G. Pfister, and H. Schönemann, Singular4-0-1 A computer algebra system for polynomial computations, 2016, http://www.singular.uni-kl.de.
B. Dietel, A refinement of Hironaka’s additive group schemes for an extended invariant, Dissertation, Universität Regensburg, 2015, http://epub.uni-regensburg.de/31359/.
Santiago Encinas and Herwig Hauser, Strong resolution of singularities in characteristic zero, Comment. Math. Helv. 77 (2002), no. 4, 821–845. MR 1949115, DOI 10.1007/PL00012443
Fraunhofer ITWM, Competence Center High Performance Computing, GPI-Space, September 2020, http://www.gpi-space.de/.
Anne Frühbis-Krüger, Computational aspects of singularities, Singularities in geometry and topology, World Sci. Publ., Hackensack, NJ, 2007, pp. 253–327. MR 2311490, DOI 10.1142/9789812706812_{0}008
Anne Frühbis-Krüger, An application of resolution of singularities: computing the topological $\zeta$-function of isolated surface singularities in $(\Bbb C^3,0)$, Singularity theory, World Sci. Publ., Hackensack, NJ, 2007, pp. 577–591. MR 2342929, DOI 10.1142/9789812707499_{0}023
A. Frühbis-Krüger ; G. Pfister, Singular Library resolve.lib for Resolution of Singularities, 2004–2007.
A. Frühbis-Krüger ; G. Pfister, Singular Library reszeta.lib for topological Zeta-function and some other applications of desingularization, 2005–2007.
Anne Frühbis-Krüger and Gerhard Pfister, Some applications of resolution of singularities from the practical point of view, Computational commutative and non-commutative algebraic geometry, NATO Sci. Ser. III Comput. Syst. Sci., vol. 196, IOS, Amsterdam, 2005, pp. 104–117. MR 2179194
Anne Frühbis-Krüger and Gerhard Pfister, Algorithmic resolution of singularities, Singularities and computer algebra, London Math. Soc. Lecture Note Ser., vol. 324, Cambridge Univ. Press, Cambridge, 2006, pp. 157–183. MR 2228230, DOI 10.1017/CBO9780511526374.009
Anne Frühbis-Krüger and Stefan Wewers, Desingularization of arithmetic surfaces: algorithmic aspects, Algorithmic and experimental methods in algebra, geometry, and number theory, Springer, Cham, 2017, pp. 231–252. MR 3792728
Jean Giraud, Étude locale des singularités, Publications Mathématiques d’Orsay, No. 26, Université Paris XI, U.E.R. Mathématique, Orsay, 1972. Cours de 3ème cycle, 1971–1972. MR 0409458
Jean Giraud, Contact maximal en caractéristique positive, Ann. Sci. École Norm. Sup. (4) 8 (1975), no. 2, 201–234 (French). MR 384799
Gert-Martin Greuel, Santiago Laplagne, and Frank Seelisch, Normalization of rings, J. Symbolic Comput. 45 (2010), no. 9, 887–901. MR 2661161, DOI 10.1016/j.jsc.2010.04.002
Gert-Martin Greuel and Gerhard Pfister, A Singular introduction to commutative algebra, Second, extended edition, Springer, Berlin, 2008. With contributions by Olaf Bachmann, Christoph Lossen and Hans Schönemann; With 1 CD-ROM (Windows, Macintosh and UNIX). MR 2363237
A. Grothendieck and J. A. Dieudonné, Éléments de géométrie algébrique. I, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 166, Springer-Verlag, Berlin, 1971 (French). MR 3075000
Heisuke Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II, Ann. of Math. (2) 79 (1964), 109–203; ibid. (2) 79 (1964), 205–326. MR 0199184, DOI 10.2307/1970547
Heisuke Hironaka, Characteristic polyhedra of singularities, J. Math. Kyoto Univ. 7 (1967), 251–293. MR 225779, DOI 10.1215/kjm/1250524227
H. Hironaka, Desingularization of excellent surfaces, Adv. Sci. Sem. in Alg. Geo, Bowdoin College, Summer 1967. Notes by Bruce Bennett, appendix of [14] (1984).
Theo de Jong, An algorithm for computing the integral closure, J. Symbolic Comput. 26 (1998), no. 3, 273–277. MR 1633931, DOI 10.1006/jsco.1998.0211
Hiraku Kawanoue and Kenji Matsuki, Resolution of singularities of an idealistic filtration in dimension 3 after Benito-Villamayor, Minimal models and extremal rays (Kyoto, 2011) Adv. Stud. Pure Math., vol. 70, Math. Soc. Japan, [Tokyo], 2016, pp. 115–214. MR 3617780, DOI 10.2969/aspm/07010115
János Kollár, Lectures on resolution of singularities, Annals of Mathematics Studies, vol. 166, Princeton University Press, Princeton, NJ, 2007. MR 2289519
János Kollár, Partial resolution by toroidal blow-ups, Tunis. J. Math. 1 (2019), no. 1, 3–12. MR 3907731, DOI 10.2140/tunis.2019.1.3
Joseph Lipman, Desingularization of two-dimensional schemes, Ann. of Math. (2) 107 (1978), no. 1, 151–207. MR 491722, DOI 10.2307/1971141
A. Raschke, Praktische Bestimmung der Stratifikation nach der Hilbert-Samuel Funktion, Diploma thesis, Diplomarbeit, TU Kaiserslautern, 2008.
Bernd Schober, Partial local resolution by characteristic zero methods, Results Math. 73 (2018), no. 1, Paper No. 48, 39. MR 3768886, DOI 10.1007/s00025-018-0808-7
Orlando Villamayor, Constructiveness of Hironaka’s resolution, Ann. Sci. École Norm. Sup. (4) 22 (1989), no. 1, 1–32. MR 985852, DOI 10.24033/asens.1573
Jarosław Włodarczyk, Simple Hironaka resolution in characteristic zero, J. Amer. Math. Soc. 18 (2005), no. 4, 779–822. MR 2163383, DOI 10.1090/S0894-0347-05-00493-5
Oscar Zariski, The concept of a simple point of an abstract algebraic variety, Trans. Amer. Math. Soc. 62 (1947), 1–52. MR 21694, DOI 10.1090/S0002-9947-1947-0021694-1