{"entities":{"Q2895542":{"pageid":2906267,"ns":120,"title":"Item:Q2895542","lastrevid":58051101,"modified":"2026-04-03T14:54:33Z","type":"item","id":"Q2895542","labels":{"en":{"language":"en","value":"GIT constructions of log canonical models of \\(\\overline Mg\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052325"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895542$8D0388E5-59B4-4A49-B599-FF929694362E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82b4896e8ffca4843bfa9551e28451c4b3598554","datavalue":{"value":"1271.14033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895542$D8D19D93-BDA0-4C67-902F-C9BD2AD91D18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89054a991224f0c238afa25c35502bc1c0aa127d","datavalue":{"value":{"entity-type":"item","numeric-id":846895,"id":"Q846895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895542$40FD08E9-F2BA-4A4E-89A4-AB08238F1E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ac1c23bd3ee404573e24dcd102349b697dee7c3","datavalue":{"value":{"entity-type":"item","numeric-id":415296,"id":"Q415296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895542$580BEDD9-9130-4BA3-AD4F-1312A41E442B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2895542$BABB86D6-13B4-4857-A566-3E04AB05CA85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e444e96f2ac2455559d4e319799c407636120f7","datavalue":{"value":"https://arxiv.org/abs/1109.2173","type":"string"},"datatype":"url"},"type":"statement","id":"Q2895542$33CC53DB-2B0B-4869-AB3E-9F7BF0B3A088","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4033640730fa5f082c04324ad7ab004dff8623e9","datavalue":{"value":"14H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895542$D03FA15C-13BE-46B2-8785-D001B864A476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3d79f49f65b23d8f77b14c11b083ba7ba2726d","datavalue":{"value":"14D23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895542$9244CDA7-15FB-41D1-8082-6059D309ADCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0d4936beb5b9e5d9cf380653bfee9a42bcf8e0","datavalue":{"value":"14E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895542$EF0676E9-D1A4-4D2F-90E5-171E46E967B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42b931248b35f27feab055327448c621f56fb644","datavalue":{"value":"14L24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895542$331F9CCF-1C80-4E8C-B6EA-D6C3173FF956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"403ee22691507b1aa74bb33015cf9d696b792e61","datavalue":{"value":"6052325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895542$AA4738A5-FE7E-4FC4-B934-53F99B238040","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e26e88d4e0836a71e3ea2e42e45976233f80acf","datavalue":{"value":"moduli spaces of curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895542$65EE0824-9CEC-41AF-862D-545DA6FEE5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7c165991be9fb4dabf5120cfee03efd9f7e5464","datavalue":{"value":"log canonical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895542$31D036D1-4639-499D-9507-9DC91A1DF11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"215a32a0d9f868abbbb083f633ac028f051f6a29","datavalue":{"value":"finite Hilbert stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895542$FBD8E107-DF72-4429-AD88-17F3A94109D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"592c7f58e7b2aac6235dde2c35731fb0ff50c194","datavalue":{"value":{"entity-type":"item","numeric-id":19287,"id":"Q19287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895542$5CB6AA39-2DB8-4E42-820B-6756A5ACBE6E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895542$1A949C1B-DB2E-44CA-B4F3-C4E348A718A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06c03725d96a1ac7299b8814c407267d8228eb25","datavalue":{"value":{"text":"GIT constructions of log canonical models of \\(\\overline Mg\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2895542$2D099B94-52BB-490C-A069-9CD479C72B87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af930332ea40aa1d75e655d23ceb51a85062b331","datavalue":{"value":"Let \\(C \\subset {\\mathbb P}^N\\) be a projective curve and let \\(m \\geq 2\\) be an integer such that \\(\\text{H}^0({\\mathbb P}^N, {\\mathcal O}_{{\\mathbb P}^N}(l)) \\rightarrow \\text{H}^0(C, {\\mathcal O}_C(l))\\) is surjective for \\(l \\geq m - 1\\) and \\(\\text{H}^1(C, {\\mathcal O}_C(l)) = 0\\) for \\(l \\geq m\\). Let \\(P(l) = \\chi(C, {\\mathcal O}_C(l))\\) be the Hilbert polynomial of \\(C\\). One says that \\(C\\) is \\(m\\)-\\textit{Hilbert stable} if the point \\([C]_m\\) of \\({\\mathbb P}\\left(\\overset{P(m)}\\bigwedge \\text{H}^0({\\mathbb P}^N, {\\mathcal O}_{{\\mathbb P}^N}(m))\\right)\\) deduced from the surjection \\(\\text{H}^0({\\mathbb P}^N, {\\mathcal O}_{{\\mathbb P}^N}(m)) \\rightarrow \\text{H}^0(C, {\\mathcal O}_C(m))\\) is stable with respect to the action of \\(\\text{SL}(N + 1)\\). If this happens for any \\(m >> 0\\), one says that \\(C\\) is \\textit{asymptotically Hilbert stable}.NEWLINENEWLINED. Giesecker's GIT construction of the compactification \\(\\overline{M}_g\\) of the moduli space of genus \\(g \\geq 2\\) curves is based on proving that the curves whose \\(n\\)-canonical models, \\(n \\geq 5\\), are asymptotically Hilbert stable are exactly the Deligne-Mumford stable curves (as it is well-known, these curves have only nodes as singularities and each nonsingular rational component intersects the rest of the curve in at least three points). The curves whose 3-canonical models are asymptotically Hilbert stable are exactly the \\textit{pseudostable} curves of \\textit{D. Schubert} [Compos. Math. 78, No. 3, 297--313 (1991; Zbl 0735.14022)] (they can have ordinary cusps but no elliptic tail is allowed), and the same is true for 4-canonical models, as shown by \\textit{D. Hyeon} and \\textit{I. Morrison} [Math. Res. Lett. 17, No. 4, 721--729 (2010; Zbl 1271.14065)]. Moreover, the curves of genus \\(g \\geq 4\\) whose bicanonical models are aymptotically Hilbert stable were identified by \\textit{B. Hassett} and \\textit{D. Hyeon} [Ann. Math. (2) 177, No. 3, 911--968 (2013; Zbl 1273.14034)]; they were called \\textit{h-semistable} and can have nodes, cusps and tacnodes but certain chains of elliptic curves are excluded.NEWLINENEWLINEOn the other hand, the study, for small \\(m\\), of the \\(m\\)-Hilbert stability of bicanonical (resp., tricanonical if \\(g = 2\\)) models of curves can be, conjecturally, used to accomplish the log minimal model program for \\(\\overline{M}_g\\) (known also as the ``Hassett-Keel program''). This program aims to realize the various log canonical models: NEWLINE\\[NEWLINE \\overline{\\mathcal M}_g(\\alpha) = \\text{Proj}\\left({ \\bigoplus_{l\\geq 0} \\Gamma(\\overline{\\mathcal M}_g, l(K_{\\overline{\\mathcal M}_g} + \\alpha \\delta))} \\right) \\, , NEWLINE\\]NEWLINE for certain values of \\(\\alpha \\in [0,1]\\), as moduli spaces.NEWLINENEWLINEIn the paper under review, the authors treat several examples, illustrating various technical aspects occuring in the above mentioned study. Firstly, they show, using a method developed by \\textit{I. Morrison} and \\textit{D. Swinarski} [Exp. Math. 20, No. 1, 34--56 (2011; Zbl 1267.14059)] based on a result of \\textit{G. R. Kempf} [Ann. Math. (2) 108, No. 2, 299--316 (1978; Zbl 0406.14031)], that the curve \\(C \\subset {\\mathbb P}^4\\) parametrized by NEWLINE\\[NEWLINE \\nu \\, : \\, {\\mathbb P}^1 \\longrightarrow {\\mathbb P}^4,\\;[s,t] \\mapsto [s^6, s^4t^2, s^3t^3, s^2t^4, t^6] NEWLINE\\]NEWLINE is 2-Hilbert semistable. \\(C\\) is a tricanonical genus 2 curve with two ordinary cusps and played an important role in the construction of \\(\\overline{M}_2^{ps}\\) by \\textit{D. Hyeon} and \\textit{Y. Lee} [Math. Ann. 337, No. 2, 479--488 (2007; Zbl 1111.14017)].NEWLINENEWLINEThen, they show that a curve \\(C \\subset {\\mathbb P}^N\\) contained in the \\(r\\)th thickening of a hyperplane \\(H \\subset {\\mathbb P}^N\\) is \\(m\\)-Hilbert unstable for \\(m > (N+1)(r-1)\\).NEWLINENEWLINENext, the authors illustrate a method developed in the above mentioned papers of D. Hyeon et al., based on the notion of \\textit{basin of attraction} of a point fixed by the action of a one parameter subgroup, by proving that if \\(C = D \\cup_p R\\) is a bicanonical genus \\(g\\) curve, with \\(R\\) a curve of genus 2 meeting \\(D\\) in a node \\(p\\) such that \\(p\\) is a Weierstrass of \\(R\\), then \\(C\\) is \\(m\\)-Hilbert unstable for \\(m \\leq 5\\) and at best strictly semistable for \\(m = 6\\). Notice that \\(C\\) is Deligne-Mumford stable.NEWLINENEWLINEFinally, the authors take a closer look at the flip: NEWLINE\\[NEWLINE \\overline{\\mathcal M}_g\\left(\\frac{7}{10}+\\varepsilon \\right) \\overset{\\Psi}\\longrightarrow \\overline{\\mathcal M}_g\\left(\\frac{7}{10}\\right) \\overset{\\Psi^+}\\longleftarrow \\overline{\\mathcal M}_g\\left(\\frac{7}{10}-\\varepsilon \\right) NEWLINE\\]NEWLINE defined in the above mentioned paper of Hassett and Hyeon. Hassett and Hyeon showed that \\(\\overline{\\mathcal M}_g\\left(\\frac{7}{10}+\\varepsilon \\right)\\) can be identified with Schubert's 3-canonical quotient \\(\\overline{M}_g^{ps}\\), that \\(\\overline{\\mathcal M}_g\\left(\\frac{7}{10}-\\varepsilon \\right)\\) can be identified with \\(\\overline{M}_g^{hs}\\), and that \\(\\overline{\\mathcal M}_g\\left(\\frac{7}{10}\\right)\\) is the quotient of the Chow variety of Chow-stable bicanonical curves. Using the results of \\textit{J. Alper, D. I. Smyth} and \\textit{F. van der Wyck} [``Weakly proper moduli stacks of curves'', e-print, \\url{arXiv:1012.0538} (2010)], the authors of the paper under review analyse the above flip locally (in the \u00e9tale topology) arround the point \\(D \\cup R_1 \\cup R_2\\) of \\(\\overline{M}_g^{cs}\\), where \\(D\\) is a smooth curve of genus \\(g - 2\\), and \\(R_1\\), \\(R_2\\) are rational curves meeting each other in a tacnode \\(p\\) and meeting \\(D\\) in nodes \\(q_1\\), \\(q_2\\). They also show that \\(\\overline{M}_g^{\\mathrm{hs}}\\) is not \\(\\mathbb Q\\)-factorial for \\(g \\geq 7\\) and propose, conjecturally, a way to eliminate this pathology.NEWLINENEWLINEFor the entire collection see [Zbl 1236.14001].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895542$0D8C83FE-E982-4DFF-BEC0-E4E2F8EBB779","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6a118350568ebdfec93a096c53aa8fb5a6c148c","datavalue":{"value":{"entity-type":"item","numeric-id":243912,"id":"Q243912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895542$5368B59F-9784-42F0-B9D8-D41722CEB33F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cdba8db7326df9b097d8df255b078e2ff0038fd","datavalue":{"value":{"entity-type":"item","numeric-id":1955947,"id":"Q1955947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca969dc3f9ab95e66f92a262407fd249ec2dcd99","datavalue":{"value":{"amount":"+0.9079615473747252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2895542$32929D71-7C20-439B-B367-40B49A925F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d12bdb3fe4c3e027fe46a9f820e97922b1ab9ae","datavalue":{"value":{"entity-type":"item","numeric-id":2225024,"id":"Q2225024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b47592c6c33fa1a90a6342ad6f80320e2661e9d","datavalue":{"value":{"amount":"+0.8531302213668823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2895542$F0EF2E48-448E-4E34-AB73-ABCD3D4875B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6273ab331c49a0a87ad98bd994bb419a6560d16","datavalue":{"value":{"entity-type":"item","numeric-id":2922504,"id":"Q2922504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee60cd2739deb3fa471bf93b1df3ab5490354c2","datavalue":{"value":{"amount":"+0.8509358763694763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2895542$352DA13F-43FB-4702-94BA-EF0F8197AF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80c49ad49e897c5fdb9f7f58d2af901d0a48dee","datavalue":{"value":{"entity-type":"item","numeric-id":4978612,"id":"Q4978612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02aebb6049504753d501efd76766c3f983987caa","datavalue":{"value":{"amount":"+0.8392326831817627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2895542$92BFCF1B-BBD4-4879-A796-939D1A9CF948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea91b740dcf9a49291adb82d373ae3f428d1da6","datavalue":{"value":{"entity-type":"item","numeric-id":3560938,"id":"Q3560938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79830f29571f07002bb4c3e3172918e4dddbc029","datavalue":{"value":{"amount":"+0.8142305612564087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2895542$BBDAFF4D-A1DB-4CA7-A071-D0C7E6AEE7ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2895542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2895542"}}}}}