<p>We prove several results about integral versions of Fourier duality for abelian schemes, making use of Pappas’s results on an integral version of Grothendieck–Riemann–Roch. If <i>S</i> is smooth quasi-projective of dimension&#xa0;<i>d</i> over a field and <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\pi :X\rightarrow S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>π</mi> <mo>:</mo> <mi>X</mi> <mo stretchy="false">→</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation> is a <i>g</i>-dimensional abelian scheme, we prove, under very mild assumptions on&#xa0;<i>X</i>/<i>S</i>, that all classical results about Fourier duality, including the existence of a Beauville decomposition, are valid for the Chow ring <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textrm{CH}(X;\Lambda )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>CH</mtext> <mo stretchy="false">(</mo> <mi>X</mi> <mo>;</mo> <mi mathvariant="normal">Λ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with coefficients in the ring <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Lambda = \mathbb {Z}[1/(2g+d+1)!]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Λ</mi> <mo>=</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">[</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mi>g</mi> <mo>+</mo> <mi>d</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>!</mo> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. If <i>X</i> admits a polarization&#xa0;<InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation> of degree&#xa0;<InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\nu (\theta )^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ν</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> we further construct an <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathfrak {sl}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">sl</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation>-action on <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textrm{CH}(X;\Lambda _\theta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>CH</mtext> <mo stretchy="false">(</mo> <mi>X</mi> <mo>;</mo> <msub> <mi mathvariant="normal">Λ</mi> <mi>θ</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Lambda _\theta = \Lambda [1/\nu (\theta )]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Λ</mi> <mi>θ</mi> </msub> <mo>=</mo> <mi mathvariant="normal">Λ</mi> <mrow> <mo stretchy="false">[</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mi>ν</mi> <mrow> <mo stretchy="false">(</mo> <mi>θ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and we show that <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\textrm{CH}(X;\Lambda _\theta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>CH</mtext> <mo stretchy="false">(</mo> <mi>X</mi> <mo>;</mo> <msub> <mi mathvariant="normal">Λ</mi> <mi>θ</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a sum of copies of the symmetric powers <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\textrm{Sym}^n(\textrm{St})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mtext>Sym</mtext> <mi>n</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mtext>St</mtext> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of the 2-dimensional standard representation, for <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(n=0,\ldots ,g\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>g</mi> </mrow> </math></EquationSource> </InlineEquation>. For an abelian variety over an algebraically closed field, we use our results to produce torsion classes in&#xa0;<InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\textrm{CH}^i(X;\Lambda _\theta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mtext>CH</mtext> <mi>i</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>;</mo> <msub> <mi mathvariant="normal">Λ</mi> <mi>θ</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for every <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(i\in \{1,\ldots ,g\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>∈</mo> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>g</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Integral aspects of Fourier duality for abelian varieties

  • Junaid Hasan,
  • Hazem Hassan,
  • Milton Lin,
  • Marcella Manivel,
  • Lily McBeath,
  • Ben Moonen

摘要

We prove several results about integral versions of Fourier duality for abelian schemes, making use of Pappas’s results on an integral version of Grothendieck–Riemann–Roch. If S is smooth quasi-projective of dimension d over a field and \(\pi :X\rightarrow S\) π : X S is a g-dimensional abelian scheme, we prove, under very mild assumptions on X/S, that all classical results about Fourier duality, including the existence of a Beauville decomposition, are valid for the Chow ring \(\textrm{CH}(X;\Lambda )\) CH ( X ; Λ ) with coefficients in the ring \(\Lambda = \mathbb {Z}[1/(2g+d+1)!]\) Λ = Z [ 1 / ( 2 g + d + 1 ) ! ] . If X admits a polarization  \(\theta \) θ of degree  \(\nu (\theta )^2\) ν ( θ ) 2 we further construct an \(\mathfrak {sl}_2\) sl 2 -action on \(\textrm{CH}(X;\Lambda _\theta )\) CH ( X ; Λ θ ) with \(\Lambda _\theta = \Lambda [1/\nu (\theta )]\) Λ θ = Λ [ 1 / ν ( θ ) ] , and we show that \(\textrm{CH}(X;\Lambda _\theta )\) CH ( X ; Λ θ ) is a sum of copies of the symmetric powers \(\textrm{Sym}^n(\textrm{St})\) Sym n ( St ) of the 2-dimensional standard representation, for \(n=0,\ldots ,g\) n = 0 , , g . For an abelian variety over an algebraically closed field, we use our results to produce torsion classes in  \(\textrm{CH}^i(X;\Lambda _\theta )\) CH i ( X ; Λ θ ) for every \(i\in \{1,\ldots ,g\}\) i { 1 , , g } .