---
title: Agashe–Stein Construction
url: https://www.emergentmind.com/topics/agashe-stein-construction
type: topic
---

# Agashe–Stein Construction

The Agashe–Stein construction is a method in arithmetic geometry that associates to a nontrivial element $\sigma$ of the Shafarevich–Tate group $\Sha(E/K)$ of an elliptic curve $E/K$ a minimal abelian variety $A$ into which $E$ admits an injection and in which $\sigma$ becomes visible. This construction, applicable when $\sigma$ has order $n=2$ or $3$, produces the Weil restriction $A = \mathrm{Res}_{L/K}(E_L)$ for a suitable field extension $L/K$ of degree $n$ trivializing $\sigma$. The framework connects cohomological properties of $\Sha(E/K)$ to explicit abelian varieties, providing a sharp tool for the study of the so-called visibility problem in the theory of elliptic curves and their Mordell–Weil groups [2601.21519].

## 1. Visibility Category and Minimality

Mazur's visibility category $\mathcal{V}(E/K, \sigma)$ underpins the conceptual context for the Agashe–Stein construction. Its objects are pairs $(B, \iota)$, where $B/K$ is an abelian variety and $\iota: E \to B$ is an injective homomorphism such that $\sigma$ maps to zero in $H^1(K, B)$. Equivalently, $\sigma$ lies in the kernel of the induced map $\iota_*: H^1(K, E) \to H^1(K, B)$, rendering $\sigma$ "visible" in $B$. Morphisms are homomorphisms between abelian varieties compatible with the map from $E$. Minimality is defined by the property that any morphism from another object in this category into $(B, \iota)$ must be an isomorphism, ensuring that $B$ contains no proper abelian subvariety through which $\sigma$ remains visible [2601.21519].

## 2. Construction via Restriction of Scalars

For $\sigma \in \Sha(E/K)$ of order $n \in \{2,3\}$, classical results (Cassels/O'Neil) assure the existence of a finite extension $L/K$ of degree $n$ with $\text{res}_{L/K}(\sigma)=0$ in $H^1(L, E)$. The Agashe–Stein construction forms the Weil restriction $A = \mathrm{Res}_{L/K}(E_L)$ over $K$, an abelian variety of dimension $n$. A canonical closed immersion $\iota: E \to A$ arises from the universal property of the Weil restriction. Shapiro's Lemma provides an identification $H^1(K, A) \simeq H^1(L, E)$, ensuring that the pushforward $\iota_*: H^1(K, E) \rightarrow H^1(K, A)$ is the cohomological restriction, making $\sigma \in \ker(\iota_*)$ by design [2601.21519]. This guarantees that $(A, \iota)$ belongs to the visibility category $\mathcal{V}(E/K, \sigma)$.

## 3. Cohomological Sequences and Diagrams

The construction fits into an exact sequence of group schemes, as Weil restriction is exact on the fppf site:
\[
0 \to E \to \mathrm{Res}_{L/K}(E_L) \to Q \to 0,
\]
where $Q$ is an abelian variety of dimension $n-1$. Galois cohomology yields a long exact sequence:
\[
0 \to E(K) \to A(K) \to Q(K) \to H^1(K, E) \to H^1(K, A) \to \ldots
\]
The map $H^1(K, E) \to H^1(K, A)$ factors through $H^1(L, E)$ and annihilates $\sigma$. The essential commutative diagram situates $\sigma$ in the desired kernel, underpinning its visibility in $A$ [2601.21519].

## 4. Minimality Results for Orders 2 and 3

Minimality for the Agashe–Stein construction at orders $2$ and $3$ hinges on the structure of the Galois closure $M$ of $L/K$. If $G = \operatorname{Gal}(M/K) \simeq S_n$ and $H = \operatorname{Gal}(M/L) \simeq S_{n-1}$, then $A_M \simeq \prod_{\tau \in G/H} E_M$, with the permutation representation splitting as $1 \oplus V_{\text{std}}$ where $V_{\text{std}}$ is the standard $(n-1)$-dimensional $S_n$-representation. Thus, $A$ is isogenous to $E \times B$, with $B$ a $K$-simple abelian variety of dimension $n-1$. No proper abelian subvariety containing $E$ suffices for visibility, establishing minimality.

For $n=2$, $A$ is an abelian surface isogenous to $E \times E'$, prohibiting proper intermediate subvarieties containing $E$. For $n=3$, $A$ is an abelian threefold isogenous to $E \times B$, again ensuring minimality [2601.21519].

## 5. Dimension and Endomorphism Algebra

The dimension of $A$ is $n$ by construction, scaling with the extension degree. Over the normal closure $M$, $A_M \simeq E_M^n$, and $\operatorname{End}_M(A)$ contains $M_n(\operatorname{End}_M(E))$ with Galois-permutation operators. Over $K$, the endomorphism algebra is the quotient $\mathbb{Q}[S_n]/I$, where $I$ cuts out the permutation representation, yielding $\operatorname{End}_K(A) \otimes \mathbb{Q} \simeq \mathbb{Q} \times \operatorname{End}_K(B) \otimes \mathbb{Q}$, reflecting the isogeny decomposition.

## 6. Explicit Algorithms for Cases $n=2$ and $n=3$

The construction is completely explicit for $n=2$ and $n=3$:

- **Case $n=2$.** Given $\sigma \in \Sha(E/K)[2]$ represented by a binary quartic $f(x,z)$, form the $2$-cover $C : y^2 = f(x,1)$. The discriminant $\Delta = b^2 - 4ac$ defines the quadratic extension $L = K(\sqrt{\Delta})$, ensuring visibility in $A = \mathrm{Res}_{L/K}(E_L)$. The minimal dimension is ensured by verifying Galois group $S_2$. An explicit genus $2$ curve $C_2: y^2 = f((b^2 - 4ac - x^2) / (4a))$ can be constructed, whose Jacobian is isomorphic to $A$ [2601.21519].

- **Case $n=3$.** For $\sigma \in \Sha(E/K)[3]$ represented by a smooth plane cubic $f(x,y,z)=0$, choose a $K$-rational line $\ell$ so that the intersection cubic $g_{\alpha,\beta}(x)$ yields a cubic extension $L = K[x]/(g_{\alpha,\beta})$ with normal closure Galois group $S_3$. The abelian threefold $A = \mathrm{Res}_{L/K}(E_L)$ thus constructed is minimal, as ensured by the irreducibility of the standard two-dimensional $S_3$-representation. All steps are explicit and can be implemented in computational packages such as Magma or Sage [2601.21519].

## 7. Significance and Practical Implementation

The Agashe–Stein construction provides minimal abelian varieties visualizing $2$- and $3$-torsion elements of the Shafarevich–Tate group, offering a comprehensive, algorithmic solution to the visibility problem for such classes. The explicit nature of the construction permits practical computation, facilitating explorations of the structure of $\Sha(E/K)$ and visibility phenomena. The cohomological and representation-theoretic framework underlines deep connections between Galois theory, Weil restriction, and the arithmetic of elliptic curves [2601.21519].

Source: https://www.emergentmind.com/topics/agashe-stein-construction