Abstract <p> Given a Fano type log Calabi–Yau fibration <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\((X,B)\to Z\)</EquationSource> </InlineEquation> with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((X,B)\)</EquationSource> </InlineEquation> being <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon\)</EquationSource> </InlineEquation>-lc, the first author in 2023 proved that the generalised pair <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="101" /> </InlineMediaObject> <EquationSource Format="TEX">\((Z,B_Z+M_Z)\)</EquationSource> </InlineEquation> given by the canonical bundle formula is generalised <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta\)</EquationSource> </InlineEquation>-lc, where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta&gt;0\)</EquationSource> </InlineEquation> depends only on <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq9.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="111" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim X-\dim Z\)</EquationSource> </InlineEquation>, which confirmed a conjecture of Shokurov. In this paper, we prove the above result under a weaker assumption. Instead of requiring <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((X,B)\)</EquationSource> </InlineEquation> to be <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon\)</EquationSource> </InlineEquation>-lc, we assume that <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((X,B)\)</EquationSource> </InlineEquation> is <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon\)</EquationSource> </InlineEquation>-lc vertically over <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(Z\)</EquationSource> </InlineEquation>, that is, the log discrepancy of <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(E\)</EquationSource> </InlineEquation> with respect to <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((X,B)\)</EquationSource> </InlineEquation> is <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq17.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\({\geq}\,\epsilon\)</EquationSource> </InlineEquation> for any prime divisor <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(E\)</EquationSource> </InlineEquation> over <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq19.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\)</EquationSource> </InlineEquation> whose centre on <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq19.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\)</EquationSource> </InlineEquation> is vertical over <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11501_2025_8532_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(Z\)</EquationSource> </InlineEquation>. </p>

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

Singularities on Vertical \(\epsilon\)-Log Canonical Fano Fibrations

  • Caucher Birkar,
  • Bingyi Chen

摘要

Abstract

Given a Fano type log Calabi–Yau fibration \((X,B)\to Z\) with \((X,B)\) being \(\epsilon\) -lc, the first author in 2023 proved that the generalised pair \((Z,B_Z+M_Z)\) given by the canonical bundle formula is generalised \(\delta\) -lc, where \(\delta>0\) depends only on \(\epsilon\) and \(\dim X-\dim Z\) , which confirmed a conjecture of Shokurov. In this paper, we prove the above result under a weaker assumption. Instead of requiring \((X,B)\) to be \(\epsilon\) -lc, we assume that \((X,B)\) is \(\epsilon\) -lc vertically over \(Z\) , that is, the log discrepancy of \(E\) with respect to \((X,B)\) is \({\geq}\,\epsilon\) for any prime divisor \(E\) over \(X\) whose centre on \(X\) is vertical over \(Z\) .