Abstract
In Raynaud and Gruson (Invent Math 13:1–89, 1971) and Raynaud (Compos Math 24:11–31, 1972) developed the theory of blowing-up an algebraic variety X along a coherent sheaf M . However, not much is known about the singularities of the blow-up. In this article, we prove that if X is a normal surface singularity and M is a reflexive \({\mathcal {O}}_{X}\)-module, then such a blow-up arises naturally from the theory of McKay correspondence. We show that the normalization of the blow-up of Raynaud and Gruson is obtained by a resolution of X such that the full sheaf \(\mathcal {M}\) associated to M (i.e., the reflexive hull of the pull-back of M) is globally generated and then contracting all the components of the exceptional divisor not intersecting the first Chern class of \(\mathcal {M}\). Moreover, we prove that if X is Gorenstein and M is special in the sense of Wunram (Math Ann 279(4):583–598, 1988) and Riemenschneider (Compos Math 24:11–31, 1972) (generalized in Fernández de Bobadilla and Romano-Velázquez (Reflexive Modules on Normal Gorenstein Stein Surfaces, Their Deformations and Moduli, arXiv:1812.06543, 2018)), then the blow-up of Raynaud and Gruson is normal. Finally, we use the theory of matrix factorization developed by Eisenbud, to give concrete examples of such blow-ups.
Similar content being viewed by others
Data Availability
Not applicable.
Code Availability
Not applicable.
References
Abramovich, D., Karu, K., Matsuki, K., Włodarczyk, J.: Torification and factorization of birational maps. J. Am. Math. Soc. 15, 531–572 (2002)
Artin, M., Verdier, J.L.: Reflexive modules over rational double points. Mathematische Annalen 270, 79–82 (1985)
Behnke, K.: On Auslander modules of normal surface singularities. Manuscr. Math. 66, 205–223 (1989)
Bruns, W., Herzog, H.J.: Cohen-Macaulay Rings. Cambridge Studies in Advanced Mathematics, vol. 39. Cambridge University Press, Cambridge (1993)
Campana, F.: Orbifolds, special varieties and classification theory. Ann. Inst. Fourier 54(3), 499–630 (2004)
Curto, C., Morrison, D.R.: Threefold flops via matrix factorization. J. Algebr. Geom. 22(4), 599–627 (2013)
Decker, W., Greuel, G. M., Pfister, G., Schönemann, H.: Singular 4-1-2—a computer algebra system for polynomial computations. http://www.singular.uni-kl.de (2019)
Eisenbud, D.: Homological algebra on a complete intersection, with an application to group representations. Trans. Am. Math. Soc. 260, 35–64 (1980)
Esnault, H.: Reflexive modules on quotient surface singularities. J. Reine Angew. Math. 362, 63–71 (1985)
Esnault, H., Knörrer, H.: Reflexive modules over rational double points. Math. Ann. 272, 545–548 (1985)
Fernández de Bobadilla, J., Romano-Velázquez, A.: Reflexive Modules on Normal Gorenstein Stein Surfaces, Their Deformations and Moduli. ArXiv preprint arXiv:1812.06543, (2018)
Fruehbis-Krueger, A., Pfister, G.: resolve.lib: A Singular 4-1-2 library for the resolution of singularities (Desingularization) Algorithm of Villamayor
González-Sprinberg, G., Verdier, J.L.: Construction geometrique de la correspondance de McKay. Ann. Sci. Ec. Norm. Super. 16, 409–449 (1983)
Grauert, H.: Über Modifikationen und exzeptionelle analytischen Mengen. Math. Ann. 146, 331–368 (1962)
Greuel, G.M., Martin, B.: sing.lib . A Singular 4-1-2 library of invariants of Singularities
Gruson, L., Raynaud, M.: Critères de platitude et de projectivité. Techniques de “platification’’ d’un module. Invent. Math. 13, 1–89 (1971)
Gustavsen, T.S., Ile, R.: Deformations of rational surface singularities and reflexive modules with an application to flops. Adv. Math. 340, 1108–1140 (2018)
Hartshorne, R.: Residues and Duality. Lecture Notes in Mathematics, vol. 20. Springer, New York (1966)
Hartshorne, R.: Stable reflexive sheaves. Math. Ann. 254, 121–176 (1980)
Ishii, S.: Introduction to Singularities, 2nd edn. Springer, Tokyo (2018)
Hara, N., Sawada, T., Yasuda, T.: \(F\)-blowups of normal surface singularities. Algebra Number Theory 7(3), 733–763 (2013)
Hassett, B., Hyeon, D.: Log canonical models for the moduli space of curves: the first divisorial contraction. Trans. Am. Math. Soc. 361(8), 4471–4489 (2009)
Hironaka, H.: Flattening theorem in complex-analytic geometry. Am. J. Math. 97, 503–547 (1975)
Kahn, C.: Reflexive modules on minimally elliptic singularities. Math. Ann. 285(1), 141–160 (1989)
Kajiura, H., Saito, K., Takahashi, A.: Matrix factorizations and representations of quivers. II: type ADE case. Adv. Math. 211(1), 327–362 (2007)
Laza, R., Pfister, G., Popescu, D.: Maximal Cohen-Macaulay modules over the cone of an elliptic curve. J. Algebra 253(2), 209–236 (2002)
Laza, R., O’Carroll, L., Popescu, D.: Maximal Cohen-Macaulay modules over \(Y_1^3+\dots +Y_n^3\) with few generators. Rep. Buchar. 3(53), No. 2, 177–185 (2001)
Lipman, J.: Rational singularities, with applications to algebraic surfaces and unique factorization. Publ. Math. Inst. Hautes Étud. Sci. 36, 195–279 (1969)
McKay, J.: Graphs, singularities and finite groups. In: Finite groups, Santa Cruz. Proc. Symp. Pure Math, vol. 37, pp 183–186, (1980)
Nemethi, A.: Five lectures on normal surface singularities. Proceedings of the Summer School, Bolyai Society Mathematical Studies, vol. 8, Low Dimensional Topology, pp. 269–351, (1999)
Raynaud, M.: Flat modules in algebraic geometry. Compos. Math. 24, 11–31 (1972)
Reid, M.: Minimal Models of Canonical 3-Folds. Algebraic Varieties and Analytic Varieties, pp. 131–180. Mathematical Society of Japan, Tokyo (1983)
Riemenschneider, O.: Special representations and the two-dimensional McKay correspondence. Hokkaido Math. J. 32(2), 317–333 (2003)
Rossi, H.: Picard variety of an isolated singular point. Rice Univ. Stud. 54, 63–73 (1968)
Villamayor, O.: On flattening of coherent sheaves and of projective morphisms. J. Algebra 295(1), 119–140 (2006)
Wunram, J.: Reflexive modules on quotient surface singularities. Math. Ann. 279(4), 583–598 (1988)
Yasuda, T.: Higher Nash blowups. Compos. Math. 143(6), 1493–1510 (2007)
Yasuda, T.: Universal flattening of Frobenius. Am. J. Math. 134(2), 349–378 (2012)
Yoshino, Y.: Cohen-Macaulay Modules Over Cohen-Macaulay Rings. London mathematical society lecture notes series, vol. 146. Cambridge University Press, Cambridge (1990)
Yoshino, Y., Kawamoto, T.: The fundamental module of a normal local domain of dimension \(2\). Trans. Am. Math. Soc. 309(1), 425–431 (1988)
Acknowledgements
We would like to thank Javier Fernández de Bobadilla and Ananyo Dan for helpful discussions during the course of this work. We also thank Takehiko Yasuda for his comments in a previous version of this article. We thank the anonymous referee for the careful reading of our paper.
Funding
The author is partially supported by European Research Council Executive Agency 615655 NMST Consolidator Grant, Consejo Nacional de Ciencia y Tecnología CB 2016-1 Num. 286447, Consejo Nacional de Ciencia y Tecnología 253506, Fondo Institucional de Fomento Regional para el Desarrollo Científico, Tecnológico y de Innovación 265667 and by Tata Institute of Fundamental Research Visiting Fellow.
Author information
Authors and Affiliations
Contributions
Not applicable.
Corresponding author
Ethics declarations
Conflict of interest
The author declares that he has no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author is partially supported by European Research Council Executive Agency 615655 NMST Consolidator Grant, Consejo Nacional de Ciencia y Tecnología CB 2016-1 Num. 286447, Consejo Nacional de Ciencia y Tecnología 253506, Fondo Institucional de Fomento Regional para el Desarrollo Científico, Tecnológico y de Innovación 265667 and by Tata Institute of Fundamental Research Visiting Fellow.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Romano-Velázquez, A. On the blow-up of a normal singularity at maximal Cohen–Macaulay modules. Math. Z. 303, 6 (2023). https://doi.org/10.1007/s00209-022-03152-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-022-03152-y
Keywords
- Maximal Cohen–Macaulay module
- Flatifying blowing-up
- Gorenstein surface singularity
- Matrix factorization