Abstract
It is an open problem to describe the Ext and Tor groups for two torus-invariant Weil divisors on a toric variety, using only the combinatorial data of the underlying objects from toric geometry. We will give a survey on this description for the case of two-dimensional cyclic quotient singularities, in particular how this description is related with the continued fraction associated to a cyclic quotient singularity. Furthermore, we will elaborate on the applications of these modules and expectations of how to generalize the results to higher dimensions, highlighted by examples.
Studying the above problems sparked software development in polymake and Singular, heavily using the interface between the systems. Examples are accompanied by code snippets to demonstrate the functionality added and to illustrate how one may approach similar problems in toric geometry using these software packages.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
K. Altmann, The versal deformation of an isolated toric Gorenstein singularity. Invent. Math. 128(3), 443–479 (1997) (English)
K. Altmann, P-resolutions of cyclic quotients from the toric viewpoint, in Singularities. The Brieskorn Anniversary Volume. Proceedings of the Conference Dedicated to Egbert Brieskorn on his 60th Birthday, Oberwolfach, July 1996 (Birkhäuser, Basel, 1998), pp. 241–250 (English)
K. Altmann, J. Kollár, The dualizing sheaf on first-order deformations of toric surface singularities (2016, to appear in Crelle). arXiv:1601.07805v2. https://doi.org/10.1515/crelle-2016-0063
D. Avis, G. Roumanis, A portable parallel implementation of the lrs vertex enumeration code, in Combinatorial Optimization and Applications (Springer, Heidelberg, 2013), pp. 414–429
W. Bruns, J. Gubeladze, Polytopes, Rings, and K-Theory (Springer, New York, NY, 2009) (English)
W. Bruns, B. Ichim, T. Römer, R. Sieg, C. Söger, Normaliz. algorithms for rational cones and affine monoids. Available at https://www.normaliz.uni-osnabrueck.de
R.-O. Buchweitz, Maximal Cohen-Macaulay modules and Tate-cohomology over Gorenstein rings.
J.A. Christophersen, On the components and discriminant of the versal base space of cyclic quotient singularities., Symmetric Lagrangian singularities and Gauss maps of theta divisors (1991), pp. 81–92 (English)
D.A. Cox, J.B. Little, H.K. Schenck, Toric Varieties (American Mathematical Society (AMS), Providence, RI, 2011) (English)
W. Decker, G.-M. Greuel, G. Pfister, H. Schönemann, Singular 4-0-2 – A computer algebra system for polynomial computations (2015). http://www.singular.uni-kl.de
D. Eisenbud, Homological algebra on a complete intersection, with an application to group representations. Trans. Am. Math. Soc. 260(1), 35–64 (1980)
K. Fukuda, The CDD Program. Available from World Wide Web (http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html) (2003)
W. Fulton, Introduction to Toric Varieties. The 1989 William H. Roever lectures in Geometry (Princeton University Press, Princeton, NJ, 1993) (English)
E. Gawrilow, M. Joswig, polymake: a framework for analyzing convex polytopes, in Polytopes – Combinatorics and Computation, ed. by G. Kalai, G.M. Ziegler (Birkhäuser, Basel, 2000), pp. 43–74
G.-M. Greuel, B. Martin, C. Lossen, homolog.lib. a singular 4.0.3 library for procedures for homological algebra
N.O. Ilten, Calculating Milnor numbers and versal component dimensions from p-resolution fans (2008). arxiv preprint arXiv:0801.2900
A.N. Jensen, GFan, a software system for Gröbner fans and tropical varieties, version 0.5 (2011). Available at http://home.imf.au.dk/jensen/software/gfan/gfan.html
L. Kastner, \( \mathop {Ext}\) on affine toric varieties, Ph.D. thesis. Freie Universität Berlin (2015). Available at http://www.diss.fu-berlin.de/diss/receive/FUDISS_thesis_000000101520
L. Kastner, Ext and Tor on two-dimensional cyclic quotient singularities. ArXiv e-prints (2016)
J. Kollár, N.I. Shepherd-Barron, Threefolds and deformations of surface singularities. Invent. Math. 91(2), 299–338 (1988) (English)
E. Miller, B. Sturmfels, Combinatorial Commutative Algebra (Springer, New York, NY, 2005) (English)
O. Riemenschneider, Zweidimensionale Quotientensingularitaeten: Gleichungen und Syzygien. Arch. Math. 37, 406–417 (1981) (German)
J. Stevens, On the versal deformation of cyclic quotient singularities. Symmetric Lagrangian singularities and Gauss maps of theta divisors (1991), pp. 302–319 (English)
M. Wemyss, The \(\mathrm {GL}(2,{\mathbb {C}}\)) McKay correspondence. Math. Ann. 350(3), 631–659 (2011) (English)
J. Wunram, Reflexive modules on cyclic quotient surface singularities, in Singularities, Representation of Algebras, and Vector Bundles (Springer, Berlin, 1987), pp. 221–231
J. Wunram, Reflexive modules on quotient surface singularities. Math. Ann. 279(4), 583–598 (1988) (English)
Y. Yoshino, Maximal Cohen-Macaulay Modules Over Cohen-Macaulay Rings, vol. 146 (Cambridge University Press, Cambridge, 1990)
4ti2 team, 4ti2—a software package for algebraic, geometric and combinatorial problems on linear spaces. Available at www.4ti2.de
Acknowledgements
The author is supported by the DFG (German research foundation) priority program SPP 1489 ‘Computeralgebra’ and the thematic program ‘Combinatorial Algebraic Geometry’ of The Fields Institute in Toronto.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Kastner, L. (2017). Toric Ext and Tor in polymake and Singular: The Two-Dimensional Case and Beyond. In: Böckle, G., Decker, W., Malle, G. (eds) Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory. Springer, Cham. https://doi.org/10.1007/978-3-319-70566-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-70566-8_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-70565-1
Online ISBN: 978-3-319-70566-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)