<p>Let <i>X</i> be a compact normal complex space of dimension <i>n</i> and <i>L</i> be a holomorphic line bundle on <i>X</i>. Suppose that <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="120" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma =(\Sigma _1,\ldots ,\Sigma _\ell )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Σ</mi> <mo>=</mo> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Σ</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi mathvariant="normal">Σ</mi> <mi>ℓ</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is an <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-tuple of distinct irreducible proper analytic subsets of <i>X</i>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="109" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau =(\tau _1,\ldots ,\tau _\ell )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo>=</mo> <mo stretchy="false">(</mo> <msub> <mi>τ</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>τ</mi> <mi>ℓ</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is an <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-tuple of positive real numbers, and let <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^0_0(X,L^p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mn>0</mn> <mn>0</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> be the space of holomorphic sections of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p:=L^{\otimes p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mo>:</mo> <mo>=</mo> <msup> <mi>L</mi> <mrow> <mo>⊗</mo> <mi>p</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> that vanish to order at least <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau _jp\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>τ</mi> <mi>j</mi> </msub> <mi>p</mi> </mrow> </math></EquationSource> </InlineEquation> along <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Sigma _j\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Σ</mi> <mi>j</mi> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq9.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\le j\le \ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>j</mi> <mo>≤</mo> <mi>ℓ</mi> </mrow> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(Y\subset X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Y</mi> <mo>⊂</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> is an irreducible analytic subset of dimension <i>m</i>, we consider the space <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^0_0 (X|Y, L^p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mn>0</mn> <mn>0</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">|</mo> <mi>Y</mi> <mo>,</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of holomorphic sections of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p|_Y\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <msub> <mrow> <mo stretchy="false">|</mo> </mrow> <mi>Y</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> that extend to global holomorphic sections in <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^0_0(X,L^p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mn>0</mn> <mn>0</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Assuming that the triplet <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\((L,\Sigma ,\tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi mathvariant="normal">Σ</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is big in the sense that <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq15.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="144" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim H^0_0(X,L^p)\sim p^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <msubsup> <mi>H</mi> <mn>0</mn> <mn>0</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∼</mo> <msup> <mi>p</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, we give a general condition on <i>Y</i> to ensure that <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq16.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="164" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim H^0_0(X|Y,L^p)\sim p^m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <msubsup> <mi>H</mi> <mn>0</mn> <mn>0</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">|</mo> <mi>Y</mi> <mo>,</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>∼</mo> <msup> <mi>p</mi> <mi>m</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. When <i>L</i> is endowed with a continuous Hermitian metric, we show that the Fubini-Study currents of the spaces <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq17.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^0_0(X|Y,L^p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mn>0</mn> <mn>0</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">|</mo> <mi>Y</mi> <mo>,</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> converge to a certain equilibrium current on <i>Y</i>. We apply this to the study of the equidistribution of zeros in <i>Y</i> of random holomorphic sections in <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq18.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^0_0(X|Y,L^p)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mn>0</mn> <mn>0</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">|</mo> <mi>Y</mi> <mo>,</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3706_Article_IEq19.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Restricted spaces of holomorphic sections vanishing along subvarieties

  • Dan Coman,
  • George Marinescu,
  • Viêt-Anh Nguyên

摘要

Let X be a compact normal complex space of dimension n and L be a holomorphic line bundle on X. Suppose that \(\Sigma =(\Sigma _1,\ldots ,\Sigma _\ell )\) Σ = ( Σ 1 , , Σ ) is an \(\ell \) -tuple of distinct irreducible proper analytic subsets of X, \(\tau =(\tau _1,\ldots ,\tau _\ell )\) τ = ( τ 1 , , τ ) is an \(\ell \) -tuple of positive real numbers, and let \(H^0_0(X,L^p)\) H 0 0 ( X , L p ) be the space of holomorphic sections of \(L^p:=L^{\otimes p}\) L p : = L p that vanish to order at least \(\tau _jp\) τ j p along \(\Sigma _j\) Σ j , \(1\le j\le \ell \) 1 j . If \(Y\subset X\) Y X is an irreducible analytic subset of dimension m, we consider the space \(H^0_0 (X|Y, L^p)\) H 0 0 ( X | Y , L p ) of holomorphic sections of \(L^p|_Y\) L p | Y that extend to global holomorphic sections in \(H^0_0(X,L^p)\) H 0 0 ( X , L p ) . Assuming that the triplet \((L,\Sigma ,\tau )\) ( L , Σ , τ ) is big in the sense that \(\dim H^0_0(X,L^p)\sim p^n\) dim H 0 0 ( X , L p ) p n , we give a general condition on Y to ensure that \(\dim H^0_0(X|Y,L^p)\sim p^m\) dim H 0 0 ( X | Y , L p ) p m . When L is endowed with a continuous Hermitian metric, we show that the Fubini-Study currents of the spaces \(H^0_0(X|Y,L^p)\) H 0 0 ( X | Y , L p ) converge to a certain equilibrium current on Y. We apply this to the study of the equidistribution of zeros in Y of random holomorphic sections in \(H^0_0(X|Y,L^p)\) H 0 0 ( X | Y , L p ) as \(p\rightarrow \infty \) p .