Agashe–Stein Construction

• Agashe–Stein Construction is a method in arithmetic geometry that uses Weil restriction to make Shafarevich–Tate elements visible in minimal abelian varieties.
• It employs field extensions of degree 2 or 3 to trivialize cohomology classes and leverages explicit algorithms and representation theory.
• The framework connects Galois cohomology, exact sequences, and minimality conditions to facilitate practical computations in elliptic curve visibility problems.

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 $\Sha(E/K)$0 of degree $\Sha(E/K)$1 trivializing $\Sha(E/K)$2. The framework connects cohomological properties of $\Sha(E/K)$3 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 (Banwait et al., 29 Jan 2026).

1. Visibility Category and Minimality

Mazur's visibility category $\Sha(E/K)$4 underpins the conceptual context for the Agashe–Stein construction. Its objects are pairs $\Sha(E/K)$5, where $\Sha(E/K)$6 is an abelian variety and $\Sha(E/K)$7 is an injective homomorphism such that $\Sha(E/K)$8 maps to zero in $\Sha(E/K)$9. Equivalently, $E/K$0 lies in the kernel of the induced map $E/K$1, rendering $E/K$2 "visible" in $E/K$3. Morphisms are homomorphisms between abelian varieties compatible with the map from $E/K$4. Minimality is defined by the property that any morphism from another object in this category into $E/K$5 must be an isomorphism, ensuring that $E/K$6 contains no proper abelian subvariety through which $E/K$7 remains visible (Banwait et al., 29 Jan 2026).

2. Construction via Restriction of Scalars

For $E/K$8 of order $E/K$9, classical results (Cassels/O'Neil) assure the existence of a finite extension $A$0 of degree $A$1 with $A$2 in $A$3. The Agashe–Stein construction forms the Weil restriction $A$4 over $A$5, an abelian variety of dimension $A$6. A canonical closed immersion $A$7 arises from the universal property of the Weil restriction. Shapiro's Lemma provides an identification $A$8, ensuring that the pushforward $A$9 is the cohomological restriction, making $E$0 by design (Banwait et al., 29 Jan 2026). This guarantees that $E$1 belongs to the visibility category $E$2.

3. Cohomological Sequences and Diagrams

The construction fits into an exact sequence of group schemes, as Weil restriction is exact on the fppf site: $E$3 where $E$4 is an abelian variety of dimension $E$5. Galois cohomology yields a long exact sequence: $E$6 The map $E$7 factors through $E$8 and annihilates $E$9. The essential commutative diagram situates $\sigma$0 in the desired kernel, underpinning its visibility in $\sigma$1 (Banwait et al., 29 Jan 2026).

4. Minimality Results for Orders 2 and 3

Minimality for the Agashe–Stein construction at orders $\sigma$2 and $\sigma$3 hinges on the structure of the Galois closure $\sigma$4 of $\sigma$5. If $\sigma$6 and $\sigma$7, then $\sigma$8, with the permutation representation splitting as $\sigma$9 where $\sigma$0 is the standard $\sigma$1-dimensional $\sigma$2-representation. Thus, $\sigma$3 is isogenous to $\sigma$4, with $\sigma$5 a $\sigma$6-simple abelian variety of dimension $\sigma$7. No proper abelian subvariety containing $\sigma$8 suffices for visibility, establishing minimality.

For $\sigma$9, $n=2$0 is an abelian surface isogenous to $n=2$1, prohibiting proper intermediate subvarieties containing $n=2$2. For $n=2$3, $n=2$4 is an abelian threefold isogenous to $n=2$5, again ensuring minimality (Banwait et al., 29 Jan 2026).

5. Dimension and Endomorphism Algebra

The dimension of $n=2$6 is $n=2$7 by construction, scaling with the extension degree. Over the normal closure $n=2$8, $n=2$9, and $3$0 contains $3$1 with Galois-permutation operators. Over $3$2, the endomorphism algebra is the quotient $3$3, where $3$4 cuts out the permutation representation, yielding $3$5, reflecting the isogeny decomposition.

6. Explicit Algorithms for Cases $3$6 and $3$7

The construction is completely explicit for $3$8 and $3$9:

• Case $A = \mathrm{Res}_{L/K}(E_L)$0. Given $A = \mathrm{Res}_{L/K}(E_L)$1 represented by a binary quartic $A = \mathrm{Res}_{L/K}(E_L)$2, form the $A = \mathrm{Res}_{L/K}(E_L)$3-cover $A = \mathrm{Res}_{L/K}(E_L)$4. The discriminant $A = \mathrm{Res}_{L/K}(E_L)$5 defines the quadratic extension $A = \mathrm{Res}_{L/K}(E_L)$6, ensuring visibility in $A = \mathrm{Res}_{L/K}(E_L)$7. The minimal dimension is ensured by verifying Galois group $A = \mathrm{Res}_{L/K}(E_L)$8. An explicit genus $A = \mathrm{Res}_{L/K}(E_L)$9 curve $\Sha(E/K)$00 can be constructed, whose Jacobian is isomorphic to $\Sha(E/K)$01 (Banwait et al., 29 Jan 2026).
• Case $\Sha(E/K)$02. For $\Sha(E/K)$03 represented by a smooth plane cubic $\Sha(E/K)$04, choose a $\Sha(E/K)$05-rational line $\Sha(E/K)$06 so that the intersection cubic $\Sha(E/K)$07 yields a cubic extension $\Sha(E/K)$08 with normal closure Galois group $\Sha(E/K)$09. The abelian threefold $\Sha(E/K)$10 thus constructed is minimal, as ensured by the irreducibility of the standard two-dimensional $\Sha(E/K)$11-representation. All steps are explicit and can be implemented in computational packages such as Magma or Sage (Banwait et al., 29 Jan 2026).

7. Significance and Practical Implementation

The Agashe–Stein construction provides minimal abelian varieties visualizing $\Sha(E/K)$12- and $\Sha(E/K)$13-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)$14 and visibility phenomena. The cohomological and representation-theoretic framework underlines deep connections between Galois theory, Weil restriction, and the arithmetic of elliptic curves (Banwait et al., 29 Jan 2026).