Skip to main content
deleted 109 characters in body
Source Link
David Lampert
  • 2.7k
  • 1
  • 14
  • 12

1.Theorem (Shimura 1971, "On the Field of Rationality for an Abelian Variety"): If $g$ = dim $A$ is odd and $Aut(A)=\{\pm1\}$ then $A$ has a model over its field of moduli. Proof: $\{1\} = H^1(\overline{\mathbb{Q}}^*) \rightarrow H^2(\pm1) \rightarrow H^2(\overline{\mathbb{Q}}^*)$ and $\{\pm1\}$ acts faithfully on $H^0(A_{\overline{\mathbb{Q}}}, \Omega^g) = \overline{\mathbb{Q}}$ since $g$ is odd, so the image of the obstruction in $H^2(Aut(H^0(A_{\overline{\mathbb{Q}}}, \Omega^g))) = H^2(\overline{\mathbb{Q}}^*)$ can be identified as the obstruction to the descent of a one-dimenstional $\overline{\mathbb{Q}}$ vector space to $\mathbb{Q}$, which is therefore trivial.

2.If $l \geq 3$ then $Aut(A)$ acts faithfully on $A[l]$ so this gives descent to $K$ of bounded degree.

3.Of interest:

Maus 1973, "On the Field of Moduli of an Abelian Variety with Complex Multiplication"

Shimura 1982, "Models of an Abelian Variety with Complex Multiplication Multiplication over Small Fields"

Shioda 1977, "Some Remarks on Abelian Varieties"

1.Theorem (Shimura 1971, "On the Field of Rationality for an Abelian Variety"): If $g$ = dim $A$ is odd and $Aut(A)=\{\pm1\}$ then $A$ has a model over its field of moduli. Proof: $\{1\} = H^1(\overline{\mathbb{Q}}^*) \rightarrow H^2(\pm1) \rightarrow H^2(\overline{\mathbb{Q}}^*)$ and $\{\pm1\}$ acts faithfully on $H^0(A_{\overline{\mathbb{Q}}}, \Omega^g) = \overline{\mathbb{Q}}$ since $g$ is odd, so the image of the obstruction in $H^2(Aut(H^0(A_{\overline{\mathbb{Q}}}, \Omega^g))) = H^2(\overline{\mathbb{Q}}^*)$ can be identified as the obstruction to the descent of a one-dimenstional $\overline{\mathbb{Q}}$ vector space to $\mathbb{Q}$, which is therefore trivial.

2.If $l \geq 3$ then $Aut(A)$ acts faithfully on $A[l]$ so this gives descent to $K$ of bounded degree.

3.Of interest:

Maus 1973, "On the Field of Moduli of an Abelian Variety with Complex Multiplication"

Shimura 1982, "Models of an Abelian Variety with Complex Multiplication Multiplication over Small Fields"

Shioda 1977, "Some Remarks on Abelian Varieties"

1.Theorem (Shimura 1971, "On the Field of Rationality for an Abelian Variety"): If $g$ = dim $A$ is odd and $Aut(A)=\{\pm1\}$ then $A$ has a model over its field of moduli. Proof: $\{1\} = H^1(\overline{\mathbb{Q}}^*) \rightarrow H^2(\pm1) \rightarrow H^2(\overline{\mathbb{Q}}^*)$ and $\{\pm1\}$ acts faithfully on $H^0(A_{\overline{\mathbb{Q}}}, \Omega^g) = \overline{\mathbb{Q}}$ since $g$ is odd, so the image of the obstruction in $H^2(Aut(H^0(A_{\overline{\mathbb{Q}}}, \Omega^g))) = H^2(\overline{\mathbb{Q}}^*)$ can be identified as the obstruction to the descent of a one-dimenstional $\overline{\mathbb{Q}}$ vector space to $\mathbb{Q}$, which is therefore trivial.

2.Of interest:

Maus 1973, "On the Field of Moduli of an Abelian Variety with Complex Multiplication"

Shimura 1982, "Models of an Abelian Variety with Complex Multiplication Multiplication over Small Fields"

Shioda 1977, "Some Remarks on Abelian Varieties"

Source Link
David Lampert
  • 2.7k
  • 1
  • 14
  • 12

1.Theorem (Shimura 1971, "On the Field of Rationality for an Abelian Variety"): If $g$ = dim $A$ is odd and $Aut(A)=\{\pm1\}$ then $A$ has a model over its field of moduli. Proof: $\{1\} = H^1(\overline{\mathbb{Q}}^*) \rightarrow H^2(\pm1) \rightarrow H^2(\overline{\mathbb{Q}}^*)$ and $\{\pm1\}$ acts faithfully on $H^0(A_{\overline{\mathbb{Q}}}, \Omega^g) = \overline{\mathbb{Q}}$ since $g$ is odd, so the image of the obstruction in $H^2(Aut(H^0(A_{\overline{\mathbb{Q}}}, \Omega^g))) = H^2(\overline{\mathbb{Q}}^*)$ can be identified as the obstruction to the descent of a one-dimenstional $\overline{\mathbb{Q}}$ vector space to $\mathbb{Q}$, which is therefore trivial.

2.If $l \geq 3$ then $Aut(A)$ acts faithfully on $A[l]$ so this gives descent to $K$ of bounded degree.

3.Of interest:

Maus 1973, "On the Field of Moduli of an Abelian Variety with Complex Multiplication"

Shimura 1982, "Models of an Abelian Variety with Complex Multiplication Multiplication over Small Fields"

Shioda 1977, "Some Remarks on Abelian Varieties"