Moduli scheme: Difference between revisions

Revision as of 14:41, 24 December 2020

Revision as of 02:38, 19 September 2022

Line 6:

The result is then a ''coarse moduli scheme''. Its lack of refinement is, roughly speaking, that it doesn't guarantee for families of objects what is inherent in the fine moduli scheme. As Mumford pointed out in his book ''[[Geometric Invariant Theory]]'', one might want to have the fine version, but there is a technical issue ([[level structure (algebraic geometry)|level structure]] and other 'markings') that must be addressed to get a question with a chance of having such an answer.

[[Teruhisa Matsusaka]] proved a result, now known as [[Matsusaka's big theorem]], establishing a necessary condition on a [[moduli problem]] for the existence of a coarse moduli scheme.<ref>{{cite book |first=S.J. |last=Kovács |chapter=Young person’s guide to moduli of higher dimensional varieties |chapter-url={{GBurl|gkyDAwAAQBAJ|p=711}} |title=Algebraic Geometry, Seattle 2005: 2005 Summer Research Institute, July 25-August 12, 2005, University of Washington |publisher=American Mathematical Society |date=2009 |isbn=978-0-8218-4703-9 |pages=711–743 }} p. [https://sites.math.washington.edu/~kovacs/2013/papers/Kovacs__YPG_to_moduli.pdf S. J. Kovacs, ''Young person's guide to moduli13] of higher dimensional varieties'' (PDF)]</ref>

at p. 13</ref>

==Examples==

Mumford proved that if ''g'' > 1, there exists a coarse moduli scheme of smooth curves of genus ''g'', which is [[quasi-projective]].<ref>{{cite book |chapter=10.4 Coarse moduli schemes |chapter-url=https://books.google.com/books?id=ByTyBwAAQBAJ&pg=PA83|title=Resolution of Singularities: A research textbook in tribute to Oscar Zariski Based on the courses given at the Working Week in Obergurgl, Austria, September 7–14, 1997|last1=Hauser|first1=Herwig|last2=Lipman|first2=Joseph|last3=Oort|first3=Frans|last4=Quirós|first4=Adolfo|date=2012-12-06|publisher=Birkhäuser|isbn=9783034883993|page=83|access-date=22 August 2017}}</ref> According to a recent survey by [[János Kollár]], it "has a rich and intriguing intrinsic geometry which is related to major questions in many branches of mathematics and theoretical physics."<ref>[{{cite book |first=János |last=Kollár |chapter=1.1. Short History Of Moduli Problems: Theorem 1.14 |title=Families of varieties of general type |date=July 20, 2017 |pages=11 |url=https://web.math.princeton.edu/~kollar/book/modbook20170720.pdf ''Moduli of Surfaces'', draft (PDF)] at p. 11}}</ref> Braungardt has posed the question whether [[Belyi's theorem]] can be generalised to varieties of higher dimension over the [[field of algebraic numbers]], with the formulation that they are generally birational to a finite [[étale covering]] of a moduli space of curves.<ref>[https://01416e54-a-62cb3a1a-s-sites.googlegroups.com/site/wushijig/unifyingthemessuggestedbybelyistheoremseptember2009.pdf?attachauth=ANoY7cpkNGR-KDdDjRekRK7MEadxsUUvCndH6yK-itIDzVXBvjDrJQ46EEXIqOk_jqOIrF8r0Q7_Y2Rbk87bgDvJweodlyBDh33pxldtHWsF0M4AdbQRbdIYnHEfPINbeAA69lnICUcYqSmxUVTRlDxSNo9F7Gi6pd8D4nbiLcvWGuDBWrVxh_fCgTIgQglpLUOPONgnR1itnIEaVQfrsfndpvZy2bNco9-Sw8c6zreXDR138DLMUGeUwiK25e6BbeP33swnshqx&attredirects=0{{cite Wushibook |first=W. |last=Goldring, ''|chapter=Unifying Themesthemes Suggestedsuggested by Belyi’s Theorem'' (PDF)]|chapter-url= at|title=Number Theory, Analysis and Geometry |publisher=Springer |date=2012 |isbn=978-1-4614-1260-1 |pages=181–214 See p. 22203|doi=10.1007/978-1-4614-1260-1_10}}</ref>

Using the notion of [[stable vector bundle]], coarse moduli schemes for the vector bundles on any smooth [[complex variety]] have been shown to exist, and to be quasi-projective: the statement uses the concept of [[semistable vector bundle|semistability]].<ref>{{cite book|last=BlochHarris |first=SpencerJoe |title=Algebraic Geometry: Bowdoin 1985 |chapter=Curves and their moduli |chapter-url=https://books.google.com/books?id=50IECAAAQBAJ&pg=PA103|access-date=22 August 2017|year=1987|publisher=American Mathematical Soc.|isbn=9780821814802978-0-8218-1480-2 |pagepages=99–143 See p. 103}}</ref> It is possible to identify the coarse moduli space of special [[instanton bundle]]s, in mathematical physics, with objects in the classical geometry of conics, in certain cases.<ref>{{cite book |first1=W. |DUPLICATE_last1=Böhmer |first2=G. |last1=Trautman |chapter=Special Instanton bundles and Poncelet curves |pages=325–336 |doi=10.1007/BFb0078852 |editor1-last=Greuel|first1editor1-first=Gert-Martin|last2editor2-last=Trautmann|first2editor2-first=Günther|title=Singularities, Representation of Algebras, and Vector Bundles: Proceedings of a Symposium held in Lambrecht/Pfalz, Fed.Rep. of Germany, Dec. 13-17, 1985|series=Lecture Notes in Mathematics |chapter-url=https://books.google.com/books?id=Ukh6CwAAQBAJ&pg=PA336 |access-date=22 August2006 2017|datevolume=2006-11-151273 |publisher=Springer|isbn=9783540478515|page=336978-3-540-47851-5 }}</ref>

==References==