<p>Let <i>X</i> be a compact connected Kähler manifold. We consider the category <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}^\textrm{EC}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mtext>EC</mtext> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of flat holomorphic connections <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\((E,\, \nabla ^E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo>,</mo> <mspace width="0.166667em" /> <msup> <mi mathvariant="normal">∇</mi> <mi>E</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> over <i>X</i> satisfying the condition that the underlying holomorphic vector bundle <i>E</i> admits a filtration of holomorphic subbundles preserved by the connection <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nabla ^E\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="normal">∇</mi> <mi>E</mi> </msup> </math></EquationSource> </InlineEquation> such that the monodromy of the induced connection on each successive quotient has finite image. The category <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}^\textrm{EC}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mtext>EC</mtext> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, equipped with the neutral fiber functor that sends any object <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq2.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\((E,\, \nabla ^E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>E</mi> <mo>,</mo> <mspace width="0.166667em" /> <msup> <mi mathvariant="normal">∇</mi> <mi>E</mi> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> to the fiber <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_{x_0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <msub> <mi>x</mi> <mn>0</mn> </msub> </msub> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_0\, \in \, X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>x</mi> <mn>0</mn> </msub> <mspace width="0.166667em" /> <mo>∈</mo> <mspace width="0.166667em" /> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> is a fixed point, defines a neutral Tannakian category over <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">C</mi> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq9.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varpi ^{\textrm{EC}}(X,\, x_0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ϖ</mi> <mtext>EC</mtext> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mspace width="0.166667em" /> <msub> <mi>x</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the affine group scheme corresponding to this neutral Tannakian category <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}^\textrm{EC}(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mtext>EC</mtext> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi ^{\textrm{EN}}(X,\, x_0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>π</mi> <mtext>EN</mtext> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mspace width="0.166667em" /> <msub> <mi>x</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be an extension of the Nori fundamental group scheme over <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">C</mi> </math></EquationSource> </InlineEquation> [<CitationRef CitationID="CR8">8</CitationRef>]. We show that <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi ^{\textrm{EN}}(X,\, x_0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>π</mi> <mtext>EN</mtext> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mspace width="0.166667em" /> <msub> <mi>x</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a closed subgroup scheme of <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq9.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varpi ^{\textrm{EC}}(X,\, x_0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ϖ</mi> <mtext>EC</mtext> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mspace width="0.166667em" /> <msub> <mi>x</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Finally, we discuss an example illustrating that if <i>X</i> is not Kähler, then the natural homomorphism <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_843_Article_IEq15.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="209" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pi ^{\textrm{EN}}(X,\, x_0)\, \longrightarrow \, \varpi ^{\textrm{EC}}(X,\, x_0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>π</mi> <mtext>EN</mtext> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mspace width="0.166667em" /> <msub> <mi>x</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mo stretchy="false">⟶</mo> <mspace width="0.166667em" /> <msup> <mi>ϖ</mi> <mtext>EC</mtext> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mspace width="0.166667em" /> <msub> <mi>x</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> might fail to be an embedding.</p>

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

On the semi-finite vector bundles with connection over Kähler manifolds

  • Sanjay Amrutiya,
  • Indranil Biswas

摘要

Let X be a compact connected Kähler manifold. We consider the category \(\mathcal {C}^\textrm{EC}(X)\) C EC ( X ) of flat holomorphic connections \((E,\, \nabla ^E)\) ( E , E ) over X satisfying the condition that the underlying holomorphic vector bundle E admits a filtration of holomorphic subbundles preserved by the connection \(\nabla ^E\) E such that the monodromy of the induced connection on each successive quotient has finite image. The category \(\mathcal {C}^\textrm{EC}(X)\) C EC ( X ) , equipped with the neutral fiber functor that sends any object \((E,\, \nabla ^E)\) ( E , E ) to the fiber \(E_{x_0}\) E x 0 , where \(x_0\, \in \, X\) x 0 X is a fixed point, defines a neutral Tannakian category over \(\mathbb {C}\) C . Let \(\varpi ^{\textrm{EC}}(X,\, x_0)\) ϖ EC ( X , x 0 ) denote the affine group scheme corresponding to this neutral Tannakian category \(\mathcal {C}^\textrm{EC}(X)\) C EC ( X ) . Let \(\pi ^{\textrm{EN}}(X,\, x_0)\) π EN ( X , x 0 ) be an extension of the Nori fundamental group scheme over \(\mathbb {C}\) C [8]. We show that \(\pi ^{\textrm{EN}}(X,\, x_0)\) π EN ( X , x 0 ) is a closed subgroup scheme of \(\varpi ^{\textrm{EC}}(X,\, x_0)\) ϖ EC ( X , x 0 ) . Finally, we discuss an example illustrating that if X is not Kähler, then the natural homomorphism \(\pi ^{\textrm{EN}}(X,\, x_0)\, \longrightarrow \, \varpi ^{\textrm{EC}}(X,\, x_0)\) π EN ( X , x 0 ) ϖ EC ( X , x 0 ) might fail to be an embedding.