On the factorization of twisted $L$-values and $11$-descents over $C_5$-number fields

C\'eline Maistret; Himanshu Shukla

REVIEW 2 major objections 5 minor 4 references

On the factorization of twisted $L$-values and $11$-descents over $C_5$-number fields

T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For an elliptic curve and a primitive Dirichlet character of squarefree order, the p-part of the normalized twisted L-value is conjectured to equal a product of minimal polynomials attached to the Galois eigenspaces of the p-torsion of…

desk verdict New Galois-module refinement of BSD plus a genuinely practical p-descent method; Theorem 1.6 overstates what is verified by leaning on BSD. read the letter →

arxiv 2501.09515 v1 pith:572G3PAT submitted 2025-01-16 math.NT

Céline Maistret , Himanshu Shukla This is my paper · ORCID

classification math.NT MSC 11G0511Y9911G40

keywords Tate-ShafarevichgrouptwistedL-valuesGaloismodulestructure11-descentcomplexmultiplicationDirichletcharactersC5-numberfields

topics Birch and Swinnerton-Dyer

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proposes a precise bridge between the analytic and algebraic sides of the Birch–Swinnerton-Dyer story: for an elliptic curve $E/\mathbb{Q}$ and a primitive Dirichlet character $\chi$ of squarefree order $d$, the prime-$p$ part of the ideal generated by the normalized twisted L-value $L(E,\chi,1)$ should equal, as an ideal in $\mathbb{Z}[\zeta_d]$, a product of minimal polynomials $h_\theta$ evaluated at the character value, one factor for each irreducible Galois eigenspace of the $p$-torsion of the Tate–Shafarevich group $\Sha(E/K_\chi)$. If true, the ideal factorization of twisted L-values becomes a computable Galois-module invariant rather than a transcendental computation. The paper verifies the conjecture in the first nontrivial case — order-5 characters and 11-torsion — for nine complex-multiplication curves over the real cyclotomic field $\mathbb{Q}(\zeta_{11})^+$, assuming GRH, and for one further curve by visualization. To do so it develops a practical algorithm for 11-descent over $C_5$ number fields, reducing the needed class-group and unit-group computations from degree 600 to degree-20 subfields.

What carries the argument

The carrying object is the 11-descent algorithm over a $C_5$ field. It uses the Schaefer–Stoll embedding of the Selmer group into $L^\times/(L^\times)^p$ for the étale algebra $L$ attached to the 11-torsion, reduces to the CM case so that $[L:\mathbb{Q}] = 2(p-1) = 20$, and then uses norm relations to compute the S-unit and S-class groups of $q$ subfields $F_i$ of degree 20 instead of the degree-100 compositum. Proposition 3.10 locates each Galois eigenspace in a specific subfield $F_i$, and Proposition 3.14 uses the Cassels–Tate pairing to force eigenvalues to appear in reciprocal pairs $\alpha, \alpha^{-1}$ with equal multiplicity, halving the search space. The output is the list of minimal polynomials $h_\theta = t - \alpha_\theta$ together with the eigenspace dimensions, to be compared with the ideal factorization of $L(E,\chi)$.

What would settle it

For the curve $y^2 = x^3 - 262395x + 51731946$, run Algorithm 2 over $\mathbb{Q}(\zeta_{11})^+$ and enumerate the full 11-Selmer group from the computed degree-20 unit and class groups, without imposing the analytic order $11^2$ from the BSD formula. Conjecture 1.3 predicts exactly the eigenspace polynomials $x-3$ and $x-4$; an additional Selmer element with an eigenvalue outside $\{3,4,3^{-1},4^{-1}\}$, or a total order different from $11^2$, would falsify the conjecture and expose the hidden BSD input.

Watch

Extended reading notes

Core claim

The central assertion is Conjecture 1.3: for an odd prime $p$, a primitive Dirichlet character $\chi$ of squarefree order $d$ with conductor coprime to the conductor of $E$, and an embedding $\iota$ of $\mathbb{Q}(\zeta_d)$ into $\mathbb{C}$, the $p$-part of the principal ideal generated by the normalized value $\iota^{-1}(L(E,\chi))$ is predicted to be $\prod_\theta (h_\theta(\chi(\tau)^{d/d_\theta}), p)$, where $\tau$ generates $\mathrm{Gal}(K_\chi/\mathbb{Q})$, $d_\theta$ is the order of the roots of $h_\theta$, and $h_\theta$ is the minimal polynomial of the matrix giving the action of $\tau$ on the $\theta$-isotypic component of $\Sha(E/K_\chi)[p]$. The paper's supporting results include Theorem 2.2, showing that $p$ divides the normalized L-value of one of two $p$-congruent curves when the other's twisted L-value vanishes, and Corollary 2.3, transferring this to the eigenspace product under BSD and a visualization hypothesis; this verifies Conjecture 1.3 for the curve 9450du1. For the CM curves, Theorem 1.6 records the GRH-conditional verification for nine curves with $p=11$ and all primitive Dirichlet characters factoring through $\mathbb{Q}(\zeta_{11})^+$. In the worked example with the curve $y^2 = x^3 - 262395x + 51731946$, the algorithm outputs eigenspace polynomials $x-3$ and $x-4$, matching the computed factorization $\mathfrak{p}_1\overline{\mathfrak{p}}_1$ of the L-value ideal.

Load-bearing premise

The numerical evidence assumes, beyond the stated GRH hypothesis, that the analytic order of the 11-torsion of the Tate–Shafarevich group supplied by the BSD formula is the true order $11^2$; if BSD fails for any of the tested curves, the descent search could be incomplete and the match with the L-value factorization would not be established.

Editorial extensions

If this is right

Conjecture 1.3, if proved, turns the $p$-part of a transcendental L-value into a purely algebraic object: one can compute it by determining the Galois eigenspace decomposition of $\Sha(E/K_\chi)[p]$ via descent.
The descent procedure is not tied to $p=11$: it works in principle for any prime $p$ splitting in the CM order with $q \mid p-1$, and the authors expect 31-descent over a $C_5$ field to become feasible with more computational power.
The visualization theorem constrains what the L-value can look like: when Sha torsion is fully visible, Remark 2.5 shows the ideal must be a power of a single prime $(p)^n$, so examples with richer factorization require descent rather than visualization.
The Cassels–Tate pairing forces the eigenspace decomposition to be symmetric under $\alpha \leftrightarrow \alpha^{-1}$; Conjecture 1.3 therefore automatically respects complex conjugation of the L-value ideal.
For the nine CM curves, the matching of $(h_\theta(\chi(\tau)^{d/d_\theta}), p)$ with the factorized L-value gives new numerical evidence that BSD-type formulas for Artin twists see the full Galois module structure of Sha, not just its order.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A reader should note that the GRH-conditional verification also relies on the Birch–Swinnerton-Dyer conjecture: the worked examples take the analytic order of $\Sha(E/K_\chi)[11]$ to be $11^2$, and if BSD failed for one of the nine curves the descent search could be incomplete.
Because all tested characters factor through $\mathbb{Q}(\zeta_{11})^+$, every eigenvalue is a fifth root of unity in $\mathbb{F}_{11}$; the genuinely higher-degree case $d_\theta > 1$ of Conjecture 1.3 remains untested, and the pairing argument would need the field-extension version sketched in Remark 3.16.
The norm-relations reduction to degree-20 subfields is a general mechanism: the same strategy could make $p$-descent practical for other cyclic extensions and for Jacobians of cyclic covers, not only CM elliptic curves, which would give a larger family of test cases.
If the conjecture is true, the correspondence gives a new way to predict Selmer ranks: for rank-zero curves the factor $(h_\theta(\chi(\tau)^{d/d_\theta}),p)$ records both the eigenvalues and multiplicities, so the order $|\Sha(E/K_\chi)[p]|$ is the product of the degrees of these factors.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper is worth reading for two reasons. First, Conjecture 1.3 is a real refinement of the BSD philosophy: instead of predicting only the size of X(E/K), it predicts the Galois module structure through the p-part of the factorization of L(E, chi, 1). That is new and goes beyond DEW21 Remark 43. Second, the p-descent procedure in Section 3 is a genuine technical advance: by using CM and norm relations from Biasse-Fieker-Hofmann-Page, the authors reduce degree 600 class group and unit computations to degree 20 fields and make 11-descent over a C5 field practical. The code is on GitHub, and the numerical evidence for nine curves is substantial. Theorem 2.2 is a clean congruence argument using Greenberg-Vatsal, and Corollary 2.3 is honest about what is needed to get from divisibility by p to the eigenspace factorization. The main weakness is in the statement of Theorem 1.6. The theorem says assuming GRH, but the verification in Section 3.5 uses more than GRH. For 7056.bg1 the text says Xan(E/K_chi) is isomorphic to F_11^2 plus F_31^2 using ConjecturalSha(), and then uses |X(E/K)[11]| = 11^2 to decide which candidate eigenspace represents a Selmer element. ConjecturalSha() computes the BSD-predicted order, so the completeness of the descent search is conditional on BSD, not just GRH. If BSD fails for these curves, the Galois module structure could be different, and the stated verification does not establish Conjecture 1.3. This is a scope/rigor gap, not an internal contradiction; the conjecture itself and the descent method are independent of this issue. Still, the hypotheses of Theorem 1.6 need to be corrected to include BSD, or the authors should provide an unconditional bound on the Selmer group that does not rely on the analytic order. There are also small presentation issues: the labels in Theorem 1.6 (6400.a1, 57600.ch1) differ from the final table (6400.r1, 57600.ch2), and Conjecture 1.3 repeats the condition E(K)[p^infty]=E(Q)[p^infty] twice. Minor, but should be fixed. Who this is for: arithmetic geometers working on BSD, Galois module structure, or explicit descent; also people who need to actually compute Selmer groups over number fields. I would send this to a serious referee. The numerical evidence needs tightening, but the conjecture and the computational method deserve attention.

Referee Report

2 major / 5 minor

Summary. The paper proposes Conjecture 1.3, which predicts the ideal factorization of the normalized twisted L-value L(E,χ) in terms of the minimal polynomials of the Galois eigenspaces of X(E/Kχ)[p]. The authors prove Theorem 2.2, a congruence-based result showing that, under p-congruence and Greenberg–Vatsal hypotheses, the ideal (p) divides the twisted L-value; Corollary 2.3 connects this to the product of eigen-polynomials. They then develop an 11-descent algorithm over C5-fields for CM elliptic curves, using norm relations to reduce the computation to degree-20 fields, and apply it to nine LMFDB curves, claiming in Theorem 1.6 that Conjecture 1.3 is verified for p=11 and all primitive characters through Q(ζ11)+, assuming GRH.

Significance. If Conjecture 1.3 is correct, it gives a very concrete Galois-module refinement of BSD-type formulas for twisted L-values, going beyond the norm-level predictions in earlier work. Theorem 2.2 is a clean and valuable consequence of the Greenberg–Vatsal congruences. The descent method in Section 3 is a substantial computational contribution: it makes 11-descent over a C5-field practical for CM curves, and the code is publicly available. However, the numerical verification is not as unconditional as Theorem 1.6 suggests, because the computation uses BSD-type predictions in two load-bearing places.

major comments (2)

[§3.5 and Theorem 1.6] Theorem 1.6 is stated under GRH alone, but the verification in §3.5 uses additional conjectural input. For 7056.bg1 the text says '|Xan(E/Q)| = 1 and Xan(E/Kχ) ≃ F_11^2 ⊕ F_31^2 (using ConjecturalSha())' and then 'Since |X(E/K)[11]| = 11^2, Proposition 3.14 also shows that only one of u1 or u2 represents an element Sel_11(E/Kχ)[11].' ConjecturalSha() computes the order predicted by the BSD formula, so the equality between the analytic and algebraic Tate–Shafarevich groups is exactly Conjecture 1.1(2), not a consequence of GRH. This equality is load-bearing: without it the descent computation gives only a lower bound on Sel_11(E/Kχ), and the absence of the conjugate eigenspace is not established. In addition, the norm computation 'By Theorem 1.7' uses the BSD-type formula of Theorem 1.7, which also assumes the Stevens Manin constant conjecture and BSD for E over Q and Kχ. Remark 3.17 already says 'if we are ready to assume the BSD-conjecture', so the theorem statement should either include these hypotheses or be phrased as a conditional verification.
[Theorem 1.6 and final table in §3.5] The list of curves in Theorem 1.6 does not match the final table: the theorem names '6400.a1' and '57600.ch1', whereas the table lists '6400.r1' and '57600.ch2'. The prose in §3.5 also refers to 6400.a1. Since the numerical claim is attached to specific LMFDB labels, this discrepancy must be resolved before the theorem can be reproduced from its statement.

minor comments (5)

[Conjecture 1.3] The hypothesis list contains the condition 'E(K)[p∞] = E(Q)[p∞]' twice; the duplicate should be removed.
[Proof of Theorem 2.2] The expression 'Lp(E2, χ, 1) = 0' is not defined in the proof; it should presumably be 'L(E2, χ, 1) = 0' or 'LΣ(E2, χ, 1) = 0'.
[§3.5 and Remark 3.19] The notation in Remark 3.19 is confusing: if X(E/Kχ)[11] ≃ (Z/11^2 Z)^2, then its 11-torsion has order 11^2, while the surrounding text discusses an order of 11^4; the intended group and notation should be clarified.
[§2.2 and Theorem 2.1] The text says the pair (E1,E2) satisfies the conditions of Theorem 2.1, but Theorem 2.1 assumes Ei(K)/pEi(K) = 0, while E2(Kχ) has rank 4 and hence E2(Kχ)/11E2(Kχ) is nonzero; the index in the hypothesis of Theorem 2.1 needs to be stated correctly.
[§3.5 numerical verification] The verification for 'all primitive Dirichlet characters' is only described for one embedding and one displayed matching of hθ to p1 or p̄1; a short per-character table would make the claim transparent.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation: Conjecture 1.3's L-value side and Galois-module side are computed by independent descent/analytic methods; the unstated BSD dependence in Theorem 1.6 is a rigor gap, not a circular reduction.

full rationale

Conjecture 1.3 compares the p-primary ideal factorization of the algebraic twisted L-value with the product of minimal polynomials attached to eigenspaces of X(E/Kχ)[p]. In the visualization evidence (§2.2), the L-value factorization is obtained from Theorem 1.7 and Theorem 2.2, while the eigenvalue data are obtained from E2(Kχ)/11E2(Kχ) and the visualization injection; neither object is defined in terms of the other. In the p-descent evidence (§3.5), the hθ and eigenspaces are computed from explicit S-unit and S-class-group data via Algorithm 2, independently of the L-value. The one substantive caveat is that Theorem 1.6 states only GRH, but §3.5 uses Magma's ConjecturalSha(), i.e. the BSD formula, to fix |X(E/Kχ)[11]| = 11^2 and then uses that size with Proposition 3.14 to discard one of two candidate eigenspaces. That is an unstated additional hypothesis and makes the theorem statement stronger than the computation proves; it is not a circular step because BSD is an external conjecture about the coarse order of X, and the refined Galois-module eigenvalue content (which hθ occurs) is not an input to ConjecturalSha(). No fitted parameters, no author-uniqueness theorem, and no ansatz-smuggling self-citations are load-bearing. The two sides of the conjecture remain independently computed, so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted. The descent machinery constructs étale algebras and auxiliary fields F_i from the curve data rather than postulating new objects. The main inputs are standard conjectures and prior results, and the central conjecture itself is the object under test, not an input.

assumptions (5)

domain assumption Birch and Swinnerton-Dyer conjecture is used to compute the analytic order |X_an(E/Kχ)| via ConjecturalSha() in Magma.
Section 3.5 states |X_an(E/Kχ)| = 11^2 using ConjecturalSha(), which assumes the BSD formula; this size is used to confirm that the descent search found the full Selmer group.
domain assumption Generalized Riemann Hypothesis is used for class group and unit group computations in high-degree fields.
Theorem 1.6 and Section 3.5 rely on GRH to make S-class group and S-unit group computations in the degree 20 fields feasible; without GRH the verification is not complete.
domain assumption The condition X(E/Kχ)[11∞] = X(E/Kχ)[11] holds for the nine verified curves.
This hypothesis is required by Proposition 3.14 and Conjecture 1.3; the paper only explicitly documents the check for 207025.by1, leaving it implicit for the others.
domain assumption Steven's Manin constant conjecture is assumed when importing Theorem 1.7 from DEW21 for normalized L-value computations.
Theorem 1.7 is used to compute the integral normalized L-value; the authors note that integrality can follow unconditionally from WW22 instead, but the specific normalization choices still depend on this conjecture.
standard math Standard results of Schaefer-Stoll and Poonen-Schaefer on explicit descent are used without reproof.
The paper invokes [SS03] Theorem 8.1 and [PS97] Proposition 12.6 as black boxes for the p-descent framework, which are established results in the literature.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the factorization of twisted $L$-values and $11$-descents over $C_5$-number fields." pith.science (2026). https://pith.science/paper/572G3PAT

@misc{pith2026250109515,
  author       = {Pith},
  title        = {Pith review of: On the factorization of twisted $L$-values and $11$-descents over $C_5$-number fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/572G3PAT}},
  note         = {Machine review of arXiv:2501.09515}
}

abstract

We investigate the Galois module structure of the Tate-Shafarevich group of elliptic curves. For a Dirichlet character $\chi$, we give an explicit conjecture relating the ideal factorization of $L(E,\chi,1)$ to the Galois module structure of the Tate-Shafarevich group of $E/K$, where $\chi$ factors through the Galois group of $K/\mathbb{Q}$. We provide numerical evidence for this conjecture using the methods of visualization and $p$-descent. For the latter, we present a procedure that makes performing an $11$-descent over a $C_5$ number field practical for an elliptic curve $E/\mathbb{Q}$ with complex multiplication. We also expect that our method can be pushed to perform higher descents (e.g. $31$-descent) over a $C_5$ number field given more computational power.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

E Cremona, T

[CFO+08] J. E Cremona, T. A Fisher, C. O’Neil, D. Simon, and M. Stoll , Explicit n-descent on elliptic curves, I. Algebra , Journal für die reine und angewandte Mathematik 2008 (2008), no. 615, 121–155, DOI doi:10.1515/CRELLE.2008.012. ↑ [BFHP22] Jean-François Biasse, Claus Fieker, Tommy Hofman n, and Aurel Page, Norm relations and computational problems ...

work page doi:10.1515/crelle.2008.012 2008
[3]

↑5, 7, 15, 16 [Sto12] Michael Stoll, Descent on Elliptic Curves , Panoramas et Synthèses 36 (2012), 151–179

https://github.com/highshukla/Gal_Sha. ↑5, 7, 15, 16 [Sto12] Michael Stoll, Descent on Elliptic Curves , Panoramas et Synthèses 36 (2012), 151–179. ↑ [Dok04] Tim Dokchitser, Computing Special Values of Motivic L-Functions , Experimental Mathematics 13 (2004), no. 2, 137 –

work page 2012
[150]

2, 397–419

↑2 [Vat99] Vinayak Vatsal, Canonical periods and conjgruence formulae , Duke Mathematical Journal 78 (1999), no. 2, 397–419. ↑ 18 MAISTRET, C. AND SHUKLA, H. [WW22] Hanneke Wiersema and Christian Wuthrich, Integrality of twisted L-values of elliptic curves , Documenta Mathematica 27 (2022), 2041-2066. ↑5 Depar tment of Ma thema tics, University of Bristol...

work page 1999
[2024]

↑2 [PS97] Bjorn Poonen and Edward F

[Online; ac- cessed 12 November 2024]. ↑2 [PS97] Bjorn Poonen and Edward F. Schaefer, Explicit descent for Jacobians of cyclic coevers of the projective line., Journal für die reine und angewandte Mathematik 488 (1997), 141-188. ↑10 [PS99] Bjorn Poonen and Michael Stoll, Cassels-Tate pairing on principally polarized abelian var ieties, Annals of Mathemati...

work page 1997

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.

[1] [1]

E Cremona, T

[CFO+08] J. E Cremona, T. A Fisher, C. O’Neil, D. Simon, and M. Stoll , Explicit n-descent on elliptic curves, I. Algebra , Journal für die reine und angewandte Mathematik 2008 (2008), no. 615, 121–155, DOI doi:10.1515/CRELLE.2008.012. ↑ [BFHP22] Jean-François Biasse, Claus Fieker, Tommy Hofman n, and Aurel Page, Norm relations and computational problems ...

work page doi:10.1515/crelle.2008.012 2008

[2] [3]

↑5, 7, 15, 16 [Sto12] Michael Stoll, Descent on Elliptic Curves , Panoramas et Synthèses 36 (2012), 151–179

https://github.com/highshukla/Gal_Sha. ↑5, 7, 15, 16 [Sto12] Michael Stoll, Descent on Elliptic Curves , Panoramas et Synthèses 36 (2012), 151–179. ↑ [Dok04] Tim Dokchitser, Computing Special Values of Motivic L-Functions , Experimental Mathematics 13 (2004), no. 2, 137 –

work page 2012

[3] [150]

2, 397–419

↑2 [Vat99] Vinayak Vatsal, Canonical periods and conjgruence formulae , Duke Mathematical Journal 78 (1999), no. 2, 397–419. ↑ 18 MAISTRET, C. AND SHUKLA, H. [WW22] Hanneke Wiersema and Christian Wuthrich, Integrality of twisted L-values of elliptic curves , Documenta Mathematica 27 (2022), 2041-2066. ↑5 Depar tment of Ma thema tics, University of Bristol...

work page 1999

[4] [2024]

↑2 [PS97] Bjorn Poonen and Edward F

[Online; ac- cessed 12 November 2024]. ↑2 [PS97] Bjorn Poonen and Edward F. Schaefer, Explicit descent for Jacobians of cyclic coevers of the projective line., Journal für die reine und angewandte Mathematik 488 (1997), 141-188. ↑10 [PS99] Bjorn Poonen and Michael Stoll, Cassels-Tate pairing on principally polarized abelian var ieties, Annals of Mathemati...

work page 1997