<p>In Part I, we presented the CMS-criterion giving a sufficient condition for bigness of the cotangent bundle of a birational class <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> of surfaces of general type. The CMS-criterion has the term <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(Lh^1_\Omega ({\mathscr {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <msubsup> <mi>h</mi> <mi mathvariant="normal">Ω</mi> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> coming from the singularities of the canonical model of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation>, where each singularity contributes with <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\({h}_\Omega ^1(y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>h</mi> <mi mathvariant="normal">Ω</mi> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the first cohomological <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>-asymptotics of the singularity <i>y</i>. We give a method to find the invariant <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\({h}_\Omega ^1(A_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>h</mi> <mi mathvariant="normal">Ω</mi> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>A</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <i>y</i> is an <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> singularity, and obtain a closed formula in <i>n</i> that allows us to understand the range of the CMS-criterion. To find <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\({h}_\Omega ^1(A_n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>h</mi> <mi mathvariant="normal">Ω</mi> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>A</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, we give a complete answer to the (holomorphic) extension problem along <i>E</i> for symmetric <i>m</i>-differentials on the complement <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq9.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\widetilde{U}}}_{A_n}{\setminus }\hspace{1.111pt}E\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover accent="true"> <mi>U</mi> <mo stretchy="true">~</mo> </mover> <msub> <mi>A</mi> <mi>n</mi> </msub> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mspace width="1.111pt" /> <mi>E</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq10.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\widetilde{U}}}_{A_n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover accent="true"> <mi>U</mi> <mo stretchy="true">~</mo> </mover> <msub> <mi>A</mi> <mi>n</mi> </msub> </msub> </math></EquationSource> </InlineEquation> is the resolution of a germ of an <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(A_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> singularity and <i>E</i> its exceptional locus. We show that, for fixed <i>n</i>, the function <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq12.gif" Format="GIF" Height="30" Rendition="HTML" Resolution="72" Type="Linedraw" Width="411" /> </InlineMediaObject> <EquationSource Format="TEX">\(\hslash ^0(A_n,m)=\dim \hspace{0.55542pt}[H^0(\widetilde{U}_{A_n}{\setminus }\hspace{1.111pt}E,S^m\Omega ^1_{{\tilde{U}}_{A_n}})/H^0(\widetilde{U}_{A_n},S^m\Omega ^1_{{\tilde{U}}_{A_n}})]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ℏ</mi> <mn>0</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>A</mi> <mi>n</mi> </msub> <mo>,</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mo>dim</mo> <mspace width="0.55542pt" /> <mrow> <mo stretchy="false">[</mo> <msup> <mi>H</mi> <mn>0</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mover accent="true"> <mi>U</mi> <mo stretchy="true">~</mo> </mover> <msub> <mi>A</mi> <mi>n</mi> </msub> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mspace width="1.111pt" /> <mi>E</mi> <mo>,</mo> <msup> <mi>S</mi> <mi>m</mi> </msup> <msubsup> <mi mathvariant="normal">Ω</mi> <msub> <mover accent="true"> <mi>U</mi> <mo stretchy="false">~</mo> </mover> <msub> <mi>A</mi> <mi>n</mi> </msub> </msub> <mn>1</mn> </msubsup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mi>H</mi> <mn>0</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mover accent="true"> <mi>U</mi> <mo stretchy="true">~</mo> </mover> <msub> <mi>A</mi> <mi>n</mi> </msub> </msub> <mo>,</mo> <msup> <mi>S</mi> <mi>m</mi> </msup> <msubsup> <mi mathvariant="normal">Ω</mi> <msub> <mover accent="true"> <mi>U</mi> <mo stretchy="false">~</mo> </mover> <msub> <mi>A</mi> <mi>n</mi> </msub> </msub> <mn>1</mn> </msubsup> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a quasi-polynomial in <i>m</i> of degree 3 with constant cubic and quadratic coefficients, for which we give a formula. We also determine the precise extent to which the poles along <i>E</i> of the symmetric differentials on <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40879_2025_810_Article_IEq9.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\widetilde{U}}}_{A_n}{\setminus }\hspace{1.111pt}E\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover accent="true"> <mi>U</mi> <mo stretchy="true">~</mo> </mover> <msub> <mi>A</mi> <mi>n</mi> </msub> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mspace width="1.111pt" /> <mi>E</mi> </mrow> </math></EquationSource> </InlineEquation> are milder than logarithmic poles.</p>

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

Surface quotient singularities and bigness of the cotangent bundle: Part II

  • Yohannes D. Asega,
  • Bruno De Oliveira,
  • Michael L. Weiss

摘要

In Part I, we presented the CMS-criterion giving a sufficient condition for bigness of the cotangent bundle of a birational class \({\mathscr {X}}\) X of surfaces of general type. The CMS-criterion has the term \(Lh^1_\Omega ({\mathscr {X}})\) L h Ω 1 ( X ) coming from the singularities of the canonical model of \({\mathscr {X}}\) X , where each singularity contributes with \({h}_\Omega ^1(y)\) h Ω 1 ( y ) , the first cohomological \(\Omega \) Ω -asymptotics of the singularity y. We give a method to find the invariant \({h}_\Omega ^1(A_n)\) h Ω 1 ( A n ) , where y is an \(A_n\) A n singularity, and obtain a closed formula in n that allows us to understand the range of the CMS-criterion. To find \({h}_\Omega ^1(A_n)\) h Ω 1 ( A n ) , we give a complete answer to the (holomorphic) extension problem along E for symmetric m-differentials on the complement \({{\widetilde{U}}}_{A_n}{\setminus }\hspace{1.111pt}E\) U ~ A n \ E , where \({{\widetilde{U}}}_{A_n}\) U ~ A n is the resolution of a germ of an \(A_n\) A n singularity and E its exceptional locus. We show that, for fixed n, the function \(\hslash ^0(A_n,m)=\dim \hspace{0.55542pt}[H^0(\widetilde{U}_{A_n}{\setminus }\hspace{1.111pt}E,S^m\Omega ^1_{{\tilde{U}}_{A_n}})/H^0(\widetilde{U}_{A_n},S^m\Omega ^1_{{\tilde{U}}_{A_n}})]\) 0 ( A n , m ) = dim [ H 0 ( U ~ A n \ E , S m Ω U ~ A n 1 ) / H 0 ( U ~ A n , S m Ω U ~ A n 1 ) ] is a quasi-polynomial in m of degree 3 with constant cubic and quadratic coefficients, for which we give a formula. We also determine the precise extent to which the poles along E of the symmetric differentials on \({{\widetilde{U}}}_{A_n}{\setminus }\hspace{1.111pt}E\) U ~ A n \ E are milder than logarithmic poles.