REVIEW
Euler systems for self-dual Hecke characters over biquadratic fields with applications
Number Theory · Submitted 20 Oct 2026 · 299 references
Pith's verdict: The Euler system construction is real and the norm relations are written out; the applications hinge on an unpublished JNS framework whose hypotheses are asserted, not verified.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper builds a new Euler system for self-dual Hecke characters over imaginary biquadratic fields and derives Bloch–Kato rank-0, 1, and 2 results plus the Iwasawa main conjecture.
The reading
What carries the argument
The load-bearing object is the diagonal cycle class in the triple product of modular curves, pushed through the norm-compatible isomorphisms $\nu_n: \mathcal{O}[H^{(p)}_n] \otimes_{\mathbb{T}'(N),\phi_n} H^1_{\mathrm{et}}(Y_1(N)_{\overline{\mathbb{Q}}}, \mathbb{Z}_p(1)) \cong \mathrm{Ind}^{\mathbb{Q}}_{K(n)} \mathcal{O}(\psi_P^{-1})$ of Theorem 2.3.2. These isomorphisms convert the cycle into classes over ring class fields of $K_0$, and Shapiro's lemma then splits the resulting representation into two one-dimensional self-dual pieces $\psi$ and $\chi$ (equation (3.5)). The norm relation is extracted by a congruence at primes $\ell \equiv 1 \pmod p$ split in $K_0$: the four-way prime decomposition makes the displayed combination of Hecke character values collapse modulo $(\ell-1)$ to $(1 - \psi^{-1}(L_4)\mathrm{Frob}_{L_4})(1 - \chi^{-1}(L_4)\mathrm{Frob}_{L_4})$, and the mod $p$ distinction between $\psi$ and $\chi$ at inertia (Assumption 3.1) lets the unwanted $\chi$ factor be inverted away following the cited Loeffler–Zerbes result. Extending from weights $(2,2,2)$ to arbitrary weights is carried out inside Hida families, which produces the wild norm relations over the anticyclotomic $\mathbb{Z}_p^2$-extension.
Extended reading notes
Core claim
The central claim is Theorem 3.3.3: there is a collection of Iwasawa cohomology classes $c_{z_{\mu_3,\chi}} \in H^1_{\mathrm{Iw}}(K_0[\mu_3 p^\infty], O_\chi)$, indexed by squarefree ideals $\mu_3$ of $\mathcal{O}_{K_3}$ whose rational norms are squarefree and split in $K_0$, such that for every auxiliary prime $\lambda_3$ of norm $\ell$ the corestriction from level $\mu_3\lambda_3$ to level $\mu_3$ sends $c_{z_{\mu_3\lambda_3,\chi}}$ to $P_{L_4}(\mathrm{Frob}_{L_4})(c_{z_{\mu_3,\chi}})$, where $P_{L_4}(X) = \det(1 - X\,\mathrm{Frob}_{L_4} \mid O_{\chi^{-1}}(1))$ is the local Euler factor at the prime $L_4$ above $\ell$. The construction proceeds in two stages: a tame norm relation is proven in weight $(2,2,2)$ by a congruence computation with explicit Hecke character values, and the general weights follow by varying the diagonal cycles inside Hida families, giving the wild norm relations over the anticyclotomic $\mathbb{Z}_p^2$-extension. The paper then shows the $\chi$-classes land in the Greenberg-type Selmer group $\mathrm{Sel}^{\emptyset,0,\emptyset,0}$ (Proposition 6.3.1), and that a non-torsion base class forces the associated Selmer groups to have rank one and yields the Iwasawa divisibility of Theorem 6.4.2. The explicit reciprocity law of Theorem 6.1.1 links the base class to the $g$-unbalanced triple product $p$-adic $L$-function, and the factorization of Proposition 6.6.6 splits that $p$-adic $L$-function into the $\psi$ and $\chi$ anticyclotomic Katz-type factors, converting the structural statements into the Bloch–Kato and Iwasawa main conjecture theorems.
Load-bearing premise
The theorems rest on the applicability of the unpublished Jetchev–Nekovář–Skinner Euler-system machinery to the anticyclotomic tower over the biquadratic field with one-dimensional coefficients $\psi$ and $\chi$, a property that Section 6.4 asserts but does not verify hypothesis by hypothesis.
Editorial extensions
If this is right
- If $L(\chi,0) \neq 0$, then $\mathrm{Sel}^{\mathrm{BK}}(K_0, V_\chi) = 0$, so the Bloch–Kato conjecture holds in analytic rank 0 for $\chi$ (Theorem 6.5.1).
- In the balanced range, a non-torsion base class forces $\dim_F \mathrm{Sel}^{\mathrm{BK}}(K_0, V_\chi) \geq 1$, with equality when the class remains non-torsion after projection to the finite level (Theorem 6.8.1 and Remark 6.8.2).
- Under the sign and ramification hypotheses of Assumption 6.3, the characteristic ideal of the anticyclotomic Iwasawa Selmer group equals the ideal generated by the anticyclotomic $p$-adic $L$-function $L_{K_0}^{P_1,P_4,\chi}$, i.e. the full Iwasawa–Greenberg main conjecture (Theorem 6.7.1).
- For $k_2 = 1$, even $k'_1$, and $k_1 = k'_1 + 1$, a non-torsion base class for a CM-abelian-surface character with $L(\chi,0) = 0$ and sign $+1$ forces $\dim_F \mathrm{Sel}^{\mathrm{BK}}(K_0, V_\chi) = 2$ (Theorem 6.8.5).
Reading between the lines
- The same diagonal-cycle template suggests a route to Euler systems over composita of three or more imaginary quadratic fields, or over CM fields with several imaginary quadratic subfields, whenever the base-changed representation splits into distinct self-dual one-dimensional characters; the mod $p$ separation condition of Assumption 3.1 would be the natural obstruction to watch there.
- The inversion step removing the factor $(1 - \chi^{-1}(L'_4)\mathrm{Fr}_{L'_4})$ is only licit while $\psi$ and $\chi$ remain distinct modulo $p$, which predicts a sharp boundary at primes $p \leq k'_1$ where the construction should visibly fail; this is a concrete place to test the method's limits in small examples.
- If the Jetchev–Nekovář–Skinner hypotheses were verified directly over $\mathbb{Z}_p^2$-extensions of biquadratic fields, the divisibility of Theorem 6.4.2 would hold unconditionally for every constructed class, rather than only for classes whose base class is provably non-torsion via the reciprocity law.
Original abstract
We construct a new Euler system attached to a self-dual Hecke character $\chi$ over an imaginary biquadratic field $K_0$. The Euler system is anticyclotomic in the sense of Jetchev--Nekov\'a{\v r}--Skinner. As arithmetic applications, we deduce instances of the Bloch--Kato conjecture in analytic ranks $0$, $1$, and $2$ (the last one for certain CM abelian surfaces). In addition, we establish the full Iwasawa--Greenberg main conjecture for $\chi$ over $K_0$. In this biquadratic setting, our work generalizes Rubin's work on the Iwasawa main conjectures for imaginary quadratic fields using Euler systems of elliptic units, while complementing known results of Hida and Hsieh for general CM fields.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We construct a new Euler system attached to a self-dual Hecke character $\chi$ over an imaginary biquadratic field $K_0$. The Euler system is anticyclotomic in the sense of Jetchev--Nekov\'a{\v r}--Skinner. As arithmetic applications, we deduce instances of the Bloch--Kato conjecture in analytic ranks $0$, $1$, and $2$ (the last one for certain CM abelian surfaces). In addition, we establish the full Iwasawa--Greenberg main conjecture for $\chi$ over $K_0$. In this biquadratic setting, our work generalizes Rubin's work on the Iwasawa main conjectures for imaginary quadratic fields using Euler systems of elliptic units, while complementing known results of Hida and Hsieh for general CM fields.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We construct a new Euler system attached to a self-dual Hecke character $\chi$ over an imaginary biquadratic field $K_0$. | contribution 1.00 | 0.97 | 0.26 | asserted 1.00 |
| s1 | The Euler system is anticyclotomic in the sense of Jetchev--Nekov\'a{\v r}--Skinner. | contribution 0.73 | 0.61 | 0.07 | asserted 1.00 |
| s2 | As arithmetic applications, we deduce instances of the Bloch--Kato conjecture in analytic ranks $0$, $1$, and $2$ (the last one for certain CM abelian surfaces). | result 0.96 | 0.96 | 0.27 | asserted 1.00 |
| s3 | In addition, we establish the full Iwasawa--Greenberg main conjecture for $\chi$ over $K_0$. | result 0.91 | 0.96 | 0.33 | asserted 1.00 |
| s4 | In this biquadratic setting, our work generalizes Rubin's work on the Iwasawa main conjectures for imaginary quadratic fields using Euler systems of elliptic units, while complementing known results of Hida and Hsieh for general CM fields. | interpretation 0.64 | 0.69 | 0.08 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.