<p>Using representations of affine Lie algebras, we describe line bundles on a broad class of contractions of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\overline{\textrm{M}}_{0,n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover> <mtext>M</mtext> <mo>¯</mo> </mover> <mrow> <mn>0</mn> <mo>,</mo> <mi>n</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, the moduli space of stable <i>n</i>-pointed rational curves, and show a variant of the cone and contraction theorem for these morphisms. These include the celebrated constructions of Kapranov, Keel, and Knudsen. Our main result suggests that while many so-called F-curves are not <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(K_X\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>K</mi> <mi>X</mi> </msub> </math></EquationSource> </InlineEquation>-negative, they exhibit behavior similar to <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(K_X\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>K</mi> <mi>X</mi> </msub> </math></EquationSource> </InlineEquation>-negative curves. This reveals a distinguished property of Knudsen’s construction <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(f_{\textrm{Knu}}:\overline{\textrm{M}}_{0,n}\rightarrow \overline{\textrm{M}}_{0,n-1}\hspace{1.111pt}{\times }_{\overline{\textrm{M}}_{0,n-2}}\hspace{1.111pt}\overline{\textrm{M}}_{0,n-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mtext>Knu</mtext> </msub> <mo>:</mo> <msub> <mover> <mtext>M</mtext> <mo>¯</mo> </mover> <mrow> <mn>0</mn> <mo>,</mo> <mi>n</mi> </mrow> </msub> <mo stretchy="false">→</mo> <msub> <mover> <mtext>M</mtext> <mo>¯</mo> </mover> <mrow> <mn>0</mn> <mo>,</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mspace width="1.111pt" /> <msub> <mo>×</mo> <msub> <mover> <mtext>M</mtext> <mo>¯</mo> </mover> <mrow> <mn>0</mn> <mo>,</mo> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </msub> </msub> <mspace width="1.111pt" /> <msub> <mover> <mtext>M</mtext> <mo>¯</mo> </mover> <mrow> <mn>0</mn> <mo>,</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation>, allowing for the classification of all possible factorizations of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(f_{\textrm{Knu}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>f</mi> <mtext>Knu</mtext> </msub> </math></EquationSource> </InlineEquation>, as well as further applications.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Line bundles on contractions of \(\overline{\textrm{M}}_{0,n}\) via coinvariant divisors

  • Daebeom Choi

摘要

Using representations of affine Lie algebras, we describe line bundles on a broad class of contractions of \(\overline{\textrm{M}}_{0,n}\) M ¯ 0 , n , the moduli space of stable n-pointed rational curves, and show a variant of the cone and contraction theorem for these morphisms. These include the celebrated constructions of Kapranov, Keel, and Knudsen. Our main result suggests that while many so-called F-curves are not \(K_X\) K X -negative, they exhibit behavior similar to \(K_X\) K X -negative curves. This reveals a distinguished property of Knudsen’s construction \(f_{\textrm{Knu}}:\overline{\textrm{M}}_{0,n}\rightarrow \overline{\textrm{M}}_{0,n-1}\hspace{1.111pt}{\times }_{\overline{\textrm{M}}_{0,n-2}}\hspace{1.111pt}\overline{\textrm{M}}_{0,n-1}\) f Knu : M ¯ 0 , n M ¯ 0 , n - 1 × M ¯ 0 , n - 2 M ¯ 0 , n - 1 , allowing for the classification of all possible factorizations of \(f_{\textrm{Knu}}\) f Knu , as well as further applications.