Smooth surfaces have finitely generated canonical rings and projective canonical models. For normal surfaces, however, the graded ring of multicanonical sections is possibly nonnoetherian, such that the corresponding homogeneous spectrum is noncompact. I construct a canonical compactification by adding finitely many non-ℚ-Gorenstein points at infinity, provided that each Weil divisor is numerically equivalent to a ℚ-Cartier divisor. Similar results hold for arbitrary Weil divisors instead of the canonical class.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
M. Artin, Some numerical criteria for contractability of curves on algebraic surfaces,Am. J. Math. 84 (1962), 485–496.
—, Algebraization of formal moduli II: Existence of modifications,Annals of Math. 91 (1970), 88–135.
T. Fujita, Semipositive line bundles,J. Fac. Sci. Univ. Tokyo 30 (1983), 353–378.
J. Giraud, Improvement of Grauert-Riemenschneider’s theorem for a normal surface,Ann. Inst. Fourier 32 (1982), 13–23.
A. Grothendieck, Éléments de géométrie algébriqueIII: Étude cohomologique des faiscaux cohérent.Publ. Math., Inst. Hautes Étud. Sci. 11 (1961).
D. Knutson,Algebraic spaces. Lect. Notes Math.203. Springer, Berlin, 1971.
G. Laumon andL. Moret-Bailly,Champs algebriques. Ergeb. Math. Grenzgebiete39, Springer, Berlin, 2000.
D. Mumford, The topology of an normal surface singularity of an algebraic variety and criterion for simplicity.Publ. Math., Inst. Hautes Étud. Sci. 9 (1961), 5–22.
S. Schröer, On contractible curves on normal surfaces.J. Reine Angew. Math. 524 (2000), 1–15.
O. Zariski, The theorem of Riemann-Roch for high multiples of an effective divisor on an algebraic surface.Ann. Math. (2)76 (1962), 560–615.
About this article
Cite this article
Schröer, S. What is missing in canonical models for proper normal algebraic surfaces?. Abh.Math.Semin.Univ.Hambg. 71, 257–268 (2001). https://doi.org/10.1007/BF02941475
- Irreducible Component
- Rational Singularity
- Algebraic Surface
- Canonical Model
- Cartier Divisor