<p>To a smooth variety <i>X</i> with simple normal crossings divisor <i>D</i>, we associate a sheaf of vertex algebras on <i>X</i>, denoted <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1627_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^{ch}_{X}(\operatorname {log}D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>X</mi> <mrow> <mi mathvariant="italic">ch</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mo>log</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, whose conformal weight 0 subspace is the algebra <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1627_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega _{X}(\operatorname {log}D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Ω</mi> <mi>X</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mo>log</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of forms with log poles along <i>D</i>. We prove various basic structural results about <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1627_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^{ch}_{X}(\operatorname {log}D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>X</mi> <mrow> <mi mathvariant="italic">ch</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mo>log</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In particular, if <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1627_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(X^{*}=X\setminus D\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mmultiscripts> <mi>X</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo>=</mo> <mi>X</mi> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi>D</mi> </mrow> </math></EquationSource> </InlineEquation> has a volume form then we show that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1627_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^{ch}_{X}(\operatorname {log}D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>X</mi> <mrow> <mi mathvariant="italic">ch</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mo>log</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> admits a topological structure of rank <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1627_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(d=\operatorname {dim}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>=</mo> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, which is enhanced to an extended topological structure if <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1627_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(D\sim -K_{X}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mo>∼</mo> <mo>-</mo> <msub> <mi>K</mi> <mi>X</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> is in fact anticanonical. In this latter case, we also show that the resulting (<i>q</i>,&#xa0;<i>y</i>) character <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1627_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {Ell}(X,D)(q,y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>Ell</mo> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>D</mi> <mo stretchy="false">)</mo> <mo stretchy="false">(</mo> <mi>q</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a section of the line bundle <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1627_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Theta ^{\otimes d}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">Θ</mi> <mrow> <mo>⊗</mo> <mi>d</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> on the elliptic curve <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1627_Article_IEq10.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(E=\textbf{C}^{*}/q^{\textbf{Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>E</mi> <mo>=</mo> <mmultiscripts> <mi mathvariant="bold">C</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">/</mo> <msup> <mi>q</mi> <mi mathvariant="bold">Z</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. We further show how <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1627_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^{ch}_{X}(\operatorname {log}D)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="normal">Ω</mi> <mi>X</mi> <mrow> <mi mathvariant="italic">ch</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mo>log</mo> <mi>D</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> can be understood in terms of a simple birational modification of the space of jets into <i>X</i>.</p>

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

Logarithmic Jets and the Chiral de Rham Complex of a Pair

  • Emile Bouaziz

摘要

To a smooth variety X with simple normal crossings divisor D, we associate a sheaf of vertex algebras on X, denoted \(\Omega ^{ch}_{X}(\operatorname {log}D)\) Ω X ch ( log D ) , whose conformal weight 0 subspace is the algebra \(\Omega _{X}(\operatorname {log}D)\) Ω X ( log D ) of forms with log poles along D. We prove various basic structural results about \(\Omega ^{ch}_{X}(\operatorname {log}D)\) Ω X ch ( log D ) . In particular, if \(X^{*}=X\setminus D\) X = X \ D has a volume form then we show that \(\Omega ^{ch}_{X}(\operatorname {log}D)\) Ω X ch ( log D ) admits a topological structure of rank \(d=\operatorname {dim}(X)\) d = dim ( X ) , which is enhanced to an extended topological structure if \(D\sim -K_{X}\) D - K X is in fact anticanonical. In this latter case, we also show that the resulting (qy) character \(\operatorname {Ell}(X,D)(q,y)\) Ell ( X , D ) ( q , y ) is a section of the line bundle \(\Theta ^{\otimes d}\) Θ d on the elliptic curve \(E=\textbf{C}^{*}/q^{\textbf{Z}}\) E = C / q Z . We further show how \(\Omega ^{ch}_{X}(\operatorname {log}D)\) Ω X ch ( log D ) can be understood in terms of a simple birational modification of the space of jets into X.