<p>In this article we study the endomorphism algebras of abelian varieties <i>A</i> defined over a given number field <i>K</i> with large cyclic 2-torsion fields. A key step in doing so is to provide criteria for all the endomorphisms of <i>A</i> to be defined over <i>K</i>(<i>A</i>[2]), the field extension generated by its 2-torsion. When <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(K= \mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>=</mo> <mi mathvariant="double-struck">Q</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textrm{Gal}(\mathbb {Q}(A[2])/\mathbb {Q})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Gal</mtext> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">[</mo> <mn>2</mn> <mo stretchy="false">]</mo> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is cyclic of prime order <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p = 2 \dim (A) +1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we prove that there are only finitely many possibilities for the geometric endomorphism algebra <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textrm{End}(A) \otimes \mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>End</mtext> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>⊗</mo> <mi mathvariant="double-struck">Q</mi> </mrow> </math></EquationSource> </InlineEquation>. In fact, when <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\dim (A) \not \in \{3,5,9,21,33,81\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>∉</mo> <mo stretchy="false">{</mo> <mn>3</mn> <mo>,</mo> <mn>5</mn> <mo>,</mo> <mn>9</mn> <mo>,</mo> <mn>21</mn> <mo>,</mo> <mn>33</mn> <mo>,</mo> <mn>81</mn> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, we show <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\textrm{End}(A) \otimes \mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>End</mtext> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>⊗</mo> <mi mathvariant="double-struck">Q</mi> </mrow> </math></EquationSource> </InlineEquation> is a proper subfield of the <i>p</i>-th cyclotomic field. In particular, when <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(g=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textrm{End}(A) \otimes \mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>End</mtext> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>⊗</mo> <mi mathvariant="double-struck">Q</mi> </mrow> </math></EquationSource> </InlineEquation> is isomorphic to either <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">Q</mi> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {Q}(\sqrt{5})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mo stretchy="false">(</mo> <msqrt> <mn>5</mn> </msqrt> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Endomorphism algebras of abelian varieties with large cyclic 2-torsion field over a given field

  • Pip Goodman

摘要

In this article we study the endomorphism algebras of abelian varieties A defined over a given number field K with large cyclic 2-torsion fields. A key step in doing so is to provide criteria for all the endomorphisms of A to be defined over K(A[2]), the field extension generated by its 2-torsion. When \(K= \mathbb {Q}\) K = Q and \(\textrm{Gal}(\mathbb {Q}(A[2])/\mathbb {Q})\) Gal ( Q ( A [ 2 ] ) / Q ) is cyclic of prime order \(p = 2 \dim (A) +1\) p = 2 dim ( A ) + 1 , we prove that there are only finitely many possibilities for the geometric endomorphism algebra \(\textrm{End}(A) \otimes \mathbb {Q}\) End ( A ) Q . In fact, when \(\dim (A) \not \in \{3,5,9,21,33,81\}\) dim ( A ) { 3 , 5 , 9 , 21 , 33 , 81 } , we show \(\textrm{End}(A) \otimes \mathbb {Q}\) End ( A ) Q is a proper subfield of the p-th cyclotomic field. In particular, when \(g=2\) g = 2 , \(\textrm{End}(A) \otimes \mathbb {Q}\) End ( A ) Q is isomorphic to either \(\mathbb {Q}\) Q or \(\mathbb {Q}(\sqrt{5})\) Q ( 5 ) .