Pith. sign in

REVIEW 3 major objections 3 minor 22 references

The Asai--Flach Euler system in $p$-adic families

T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read The Asai–Flach Euler system varies p-adically in Hida families, with the classical classes recovered as explicit scalar specializations of one Iwasawa class.

desk verdict A solid, important interpolation result whose main caveat is a deferred proof of the split-prime p-stabilization relation, not the overall strategy. read the letter →

arxiv 2506.19673 v1 pith:D7EUFYLW submitted 2025-06-24 math.NT

David Loeffler , Arshay Sheth This is my paper · ORCID
classification math.NT MSC 11F3311F4111F8011R2314G35
keywords AsairepresentationEulersystemsHidafamiliesHilbertmodularformsp-adicinterpolationIwasawacohomologyp-stabilizationBloch–Katoconjecture
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 claims that the Asai–Flach Euler system for Hilbert modular forms over a real quadratic field is p-adically interpolable: as the eigenform moves in a Hida family (a p-adic analytic family of ordinary Hilbert modular forms), the whole compatible system of cohomology classes can be packaged into one Iwasawa cohomology class. The main result produces a family of Galois representations $M(\Pi)^*$, free of rank $4$ over the weight space, whose specializations are the Asai representations of the individual forms, and a class $c_{\mathrm{AF}}(\Pi)$ in $H^1_{\mathrm{Iw}}(\mathbb{Q}(\mu_{p^\infty}),M(\Pi)^*)$ that specializes to the classical Asai–Flach classes multiplied by explicitly known scalars. A reader would care because this turns a collection of classes attached to isolated eigenforms into a single p-adic analytic object that follows the deformation, and the paper states that this object is the input used in proofs of the Bloch–Kato conjecture in analytic rank zero for Asai representations. The paper also establishes a derived control theorem for ordinary Iwasawa cohomology of Hilbert modular varieties with nontrivial central character.

What carries the argument

The machinery has three layers. First, the ordinary Iwasawa cohomology module $e'_{\mathrm{ord}}H^*_{\mathrm{Iw}}(Y_G(K_\infty)_{\overline{\mathbb{Q}}},\mathcal{O})$ over $\Lambda=\mathcal{O}[[S]]$, where $S$ is the diagonal-torus quotient, together with moment maps $\mathrm{mom}^\lambda_n$ into étale cohomology with coefficient sheaves $\mathcal{H}[\lambda]$; Theorem A's Tor spectral sequence describes exactly when these maps are isomorphisms. Second, the class $z_\infty$, obtained by pushing forward the Asai–Flach class of [LLZ18] from the $G^*$-Shimura variety to the $G$-Shimura variety; projecting to an ordinary Hecke eigenspace gives $c_{\mathrm{AF}}(\Pi)$. Third, the p-stabilization relation (Theorem 4.1.3), whose Euler factor $R(X)$ records the change of the Asai–Flach class under p-refinement; the proof of that relation in the split-prime case identifies the motivic functional $Z_{\mathrm{mot},j}$ with the analytic Rankin–Selberg functional $Z_{\mathrm{an},j}$ using the one-dimensionality of the space of equivariant linear forms.

What would settle it

For a concrete real quadratic field, a split prime $p$, and a concrete ordinary Hilbert modular form of known Hecke eigenvalues, compute the specialization of $c_{\mathrm{AF}}(\Pi)$ at an algebraic weight and compare the scalar with the formula in Theorem 5.4.3; a discrepancy by a non-unit in the p-stabilization factor $R(p^{-1-h})$ would falsify the interpolation claim.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem C: for an ordinary family $\Pi$ over an affinoid disc $\mathcal{C}$ in weight space, there is a Galois representation $M(\Pi)^*$ over $\mathcal{C}$, free of rank $4$ and equipped with a Hecke action, whose specialization at every algebraic weight $\lambda\in\mathcal{C}$ is canonically isomorphic to the Asai representation attached to the specialized Hilbert modular form $\Pi[\lambda]$. With it comes an Iwasawa cohomology class $c_{\mathrm{AF}}(\Pi)\in H^1_{\mathrm{Iw}}(\mathbb{Q}(\mu_{p^\infty}),M(\Pi)^*)$ whose evaluation at $(\lambda,h)$ is an explicit scalar multiple of the prime-to-$p$ Asai–Flach class $\mathrm{AF}[\Pi,j]_{\acute{e}t}$; the scalar is built from the p-stabilization Euler factor $R(p^{-1-h})$ of Theorem 4.1.3. The paper also proves the intermediate Theorem B, which realizes the Asai–Flach elements in ordinary Iwasawa cohomology, and Theorem A, a Tor spectral sequence controlling specializations of ordinary cohomology with general central character.

Load-bearing premise

The load-bearing premise is that the geometric construction of the Asai–Flach class and the analytic Rankin–Selberg integral computation agree exactly, with no missing constant; if that constant were wrong, the explicit scalar factors in the main theorem would no longer match the classical classes.

Editorial extensions

If this is right

  • Every classical Asai–Flach class in the family is a specialization of one global class, so arithmetic invariants computed from the Euler system can be studied as functions on weight space.
  • The explicit scalar $R(p^{-1-h})$ pins down how the class changes when the level is p-stabilized, which is what lets the interpolated class be compared with the prime-to-$p$ classes of [LLZ18].
  • The rank-4 family $M(\Pi)^*$ gives a deformation of the four-dimensional Asai Galois representations over the weight disc, the object needed for Selmer-group and Bloch–Kato arguments over the family.
  • The control theorem recovers exact control of ordinary cohomology at maximal ideals with non-solvable residual image under weaker hypotheses than previous results, and applies to coefficient systems with nontrivial central character.
  • According to the paper, this interpolated Euler system is a required input for the proof of the Bloch–Kato conjecture in analytic rank zero for the Asai representation.

Reading between the lines

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

  • A direct numerical check on a small real quadratic field and a split prime would verify the p-stabilization scalar $R(p^{-1-h})$, effectively testing the one-dimensionality argument without building a new theory.
  • The same derived control theorem should apply to any Shimura-variety Euler system whose coefficient sheaves have central character through the norm map, so the interpolation mechanism is probably not specific to Asai representations.
  • The $(\lambda,h)$ redundancy identified in Remark 5.4.4 suggests a cleaner formulation: fix the central-character weight and let only the cyclotomic variable move, which may make the family class directly comparable with p-adic L-functions.
  • If the ordinary projector is replaced by a nearly-ordinary one, the construction should interpolate p-stabilized classes for forms that are only nearly ordinary at $p$, as hinted in Remark 3.3.4.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 3 minor

Summary. This paper concerns the p-adic variation of the Asai–Flach Euler system for Hilbert modular forms over a real quadratic field. The authors define an Iwasawa cohomology class z∞ in the ordinary part of the inverse-limit cohomology of a Hilbert modular variety tower, and then, after fixing an ordinary Hida family Π, they construct a class c_AF(Π) valued in a rank-4 family of Galois representations M(Π)^*. Their main result, Theorem 5.4.3, asserts that at algebraic weight characters (λ,h) this class specializes to an explicit scalar multiple of the classical Asai–Flach class AF[Π,j] of Lei–Loeffler–Zerbes. The proof scheme is: prove/adapt control theorems from [She25] to produce the ordinary cohomology module; construct z∞ via pushforward from a G* Shimura variety; prove a compatibility of moment maps; and finally relate the p-stabilized and newform-level Asai–Flach classes via a p-stabilization relation (Theorem 4.1.3). The last step, for split primes, is the most delicate and is treated in Section 6.

Significance. If the theorems are correct, this is a valuable and timely contribution: it gives a p-adic interpolation of an Euler system in the Hilbert modular setting with explicit interpolation factors, and it is already used as input in Grossi–Loeffler–Zerbes' recent work on the Bloch–Kato conjecture for Asai representations. The main theorems are stated with precision, and Theorem 5.4.3 in particular is a concrete, checkable identity. The paper is a natural sequel to [She25] and [LLZ18] and is clearly organized. The main difficulty is that two load-bearing ingredients—the generalized control theorem and the split-prime p-stabilization relation—are not fully proved here but are delegated to prior work, with the split-prime part resting on normalization-sensitive constructions that are not pinned down in the text.

major comments (3)
  1. [§6.2, Proposition 6.2.1 and Theorem 4.1.3] The split-prime case of the p-stabilization relation is load-bearing for Theorem 5.4.3, because the factor R(p^{-1-h}) in Theorem C comes from Theorem 4.1.3. However, the existence and normalization of the motivic functional Z_mot,j is not proved in the manuscript; the proof says that the construction 'amounts to nothing more than carefully keeping track of all the choices' and refers to [LZ24] and [Gro20]. A reader cannot verify from the present text that the second equality in Proposition 6.2.1 holds with the factor (p^2-1)^{-1} or that the spherical normalization Z_mot,j(W_sph, ch(Z_p^2)) = AF[Π,j] is free of a unit. Since Lemma 6.2.2 only shows that the space of such functionals is at most one-dimensional, any undetected unit error in either normalization would change the scalar in Theorem 5.4.3 by that unit and break the advertised compatibility with the [LLZ18] classes. I request that the proof of Proposition 6.2.1 be included, or at minimum that the precise statements from [LZ24] and [Gro20] that imply it be quoted and their hypotheses checked.
  2. [§6.2, Lemma 6.2.2] The proof of Lemma 6.2.2 asserts without proof that Z_an,j(W_sph, ch(Z_p^2)) = 1 and that the Rankin–Selberg integral is non-zero on spherical data. The value of this integral is normalization-sensitive: it depends on the choice of Haar measure on N(Q_p)\GL_2(Q_p), the additive character defining the Whittaker model, and the Godement–Siegel section f_Φ. Since the final formula R(p^{-1-h}) is obtained by comparing this value with the computed value on the p-stabilized vector W_α and ch((0,1)+pZ_p^2), a different normalization convention would alter the displayed scalar in Theorem 5.4.3. The manuscript should either give the computation or cite a precise statement in the literature that fixes the same conventions as [LLZ18].
  3. [§3.2, Theorem 3.2.1 and §3.3, Definition 3.3.1] Theorem 3.2.1 is the foundation for the construction of M(Π)^* and for the specialization step in Theorem 5.4.3, but its proof is delegated: 'This is proved in exactly the same way as Corollary 3.14 of [She25]'. The new feature here is that the coefficient sheaves have non-trivial central character factoring through the norm map, and the subgroups K_{n,p} are defined using E_K(p). Since the moment-map compatibility (†) and the Tor spectral sequence are asserted for this more general setting, the paper should state which parts of [She25] carry over unchanged and where the central-character condition is used. As written, a reader cannot check that the spectral sequence has the claimed abutment.
minor comments (3)
  1. [§5.4, Theorem 5.4.2] The symbol k' in \binom{k}{j}\binom{k'}{j} is not defined; presumably k and k' are k_1 and k_2, but this should be stated explicitly.
  2. [§5.4, Theorem 5.4.2] The phrase 'As before write and h=t_1+t_2+j' appears to have a missing word before 'and'; probably 'write h=t_1+t_2+j'.
  3. [§3.3, Definition 3.3.1] The notation H^d_et(Y_G(K∞)_Q,O) is used for cohomology of the inverse-limit tower, while §3.1 defines H^i_Iw for this object. The notation should be harmonized or explained.

Circularity Check

0 steps flagged · score 0.0 of 10

No equation in the paper reduces to its own output; the interpolation theorems are structural extensions of the externally constructed LLZ18 Euler system, so the circularity score is 0.

full rationale

The central assertion, Theorem C, is a compatibility statement: the family class c_AF(Π) is defined as the image of z∞, and z∞ is the pushforward of the Asai–Flach class c_AF_{1,Np,a} constructed in [LLZ18]. Its specialization formula is obtained by combining (i) the moment-map compatibility in Theorem 5.3.2, (ii) the interpolation property of the LLZ18 classes (Theorem 9.1.2 of that paper), and (iii) the p-stabilization relation in Theorem 4.1.3. None of these ingredients is fitted to the output. No parameter is estimated from the data whose interpolation is claimed; the scalar factors are explicit products of Euler factors, roots of Hecke polynomials, and congruence factors, and they are verified by comparing two independent constructions, namely the motivic Euler-system functional and the analytic Rankin–Selberg integral. The split-prime proof of Theorem 4.1.3 is not fully written out: Proposition 6.2.1 delegates the construction of Z_mot,j to [LZ24] and [Gro20], saying it 'amounts to nothing more than carefully keeping track of all the choices made during the construction of the Euler system class.' This is a completeness risk, and the citations include a preprint by one of the authors, but the paper does not exhibit any reduction in which the asserted specialization formula is recovered from its own conclusion. The control theorems are imported from [She25], but that is prior work whose content is not the target theorem. Heavy self-citation alone is not circularity per the review standards; no equation was found equal to an input by construction. Therefore score 0.

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

No empirical parameters are fitted; this is a pure mathematics proof that imports a body of prior theorems ([She25], [LLZ18], [CT23], [LSZ22], [HS01], [Gro20], [LZ24]) rather than fitting data. No new particles, forces, or physical entities are postulated; all constructed objects, such as M(Pi)* and c_AF(Pi), live in existing cohomological and Iwasawa-theoretic frameworks.

assumptions (6)
  • domain assumption F is totally real, p is odd and unramified in F, and the tame level K is sufficiently small.
    This is the standing setup for smooth Hilbert modular varieties and for the control theorems; it restricts the theorems to unramified ordinary situations.
  • domain assumption All weights are pure: k_i + 2t_i = w is independent of i, and central characters factor through the norm map.
    The coefficient sheaves and Asai Galois representations are only constructed for this class of weights; the theorem does not cover general algebraic weights.
  • domain assumption The ordinary projector e'_ord associated to U'_p is well behaved and the p-refinements have simple unit roots.
    Ordinarity is essential for Hida-theoretic control and for the p-stabilization formulas involving 1 - p^h/alpha_p; without simple roots some quotients would not be direct summands.
  • domain assumption Localized ordinary cohomology vanishes outside the middle degree and is projective, using vanishing results of Caraiani-Tamiozzo.
    Invoked in Remark 3.2.2 and in Theorem 3.3.2 to force the localized module M(Pi)* to be free of rank 2^d.
  • domain assumption The Asai-Flach classes of [LLZ18] exist, satisfy the stated interpolation property in Theorem 9.1.2, and satisfy the norm/Hecke relations used in Section 6.
    The present paper interpolates these classes and uses their properties as external theorems; they are not re-proved here.
  • domain assumption The motivic functional Z_mot,j of Proposition 6.2.1 is proportional to the analytic Rankin-Selberg functional Z_an,j, with nonvanishing constant computed by the spherical-data evaluation.
    This proportionality is the content of the split-prime p-stabilization proof; the paper argues via multiplicity-one and references [Gro20] and [LZ24] for the construction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Asai--Flach Euler system in $p$-adic families." pith.science (2026). https://pith.science/paper/D7EUFYLW

@misc{pith2026250619673,
  author       = {Pith},
  title        = {Pith review of: The Asai--Flach Euler system in $p$-adic families},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/D7EUFYLW}},
  note         = {Machine review of arXiv:2506.19673}
}
abstract

We show that the Euler system for the Asai representation corresponding to a Hilbert modular eigenform over a real quadratic field, constructed by Lei, Loeffler and Zerbes (2018), can be interpolated $p$-adically as the Hilbert modular form varies in a Hida family. This work is used as an important input in recent work of Grossi, Loeffler and Zerbes (2025) on the proof of the Bloch--Kato conjecture in analytic rank zero for the Asai representation.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [1]

    Bertolini, H

    M. Bertolini, H. Darmon, and V. Rotger , Beilinson–Flach elements and Euler systems I: syntomic regulators and p-adic Rankin L-series https://www.ams.org/journals/jag/2015-24-02/S1056-3911-2014-00670-6/, J. Algebraic Geom. 24 (2015), no. 2, 355–378

    work page 2015

  2. [2]

    Bertolini, H

    M. Bertolini, H. Darmon, and V. Rotger , https://www.ams.org/journals/jag/2015-24-03/S1056-3911-2015-00675-0/ Beilinson–Flach elements and Euler systems II: the Birch and Swinnerton-Dyer conjecture for Hasse--Weil--Artin L-functions , J. Algebraic Geom. 24 (2015), no. 3, 569–604

    work page 2015

  3. [3]

    Caraiani and M

    A. Caraiani and M. Tamiozzo , On the \'etale cohomology of Hilbert modular varieties with torsion coefficients https://doi.org/10.1112/S0010437X23007431, Compos. Math. 159 (2023), no. 11, 2279--2325

    work page doi:10.1112/s0010437x23007431 2023

  4. [4]

    Dimitrov , On Ihara's lemma for Hilbert modular varieties https://intlpress.com/site/pub/files/_fulltext/journals/cjm/2017/0005/0001/CJM-2017-0005-0001-a001.pdf, Compos

    M. Dimitrov , On Ihara's lemma for Hilbert modular varieties https://intlpress.com/site/pub/files/_fulltext/journals/cjm/2017/0005/0001/CJM-2017-0005-0001-a001.pdf, Compos. Math. 145 (2009), no. 5, 1114–1146. MR 255199

    work page 2009

  5. [5]

    Dimitrov , Automorphic symbols, p-adic L-functions and ordinary cohomology of Hilbert modular varieties https://doi.org/10.1353/ajm.2013.0035, Amer

    M. Dimitrov , Automorphic symbols, p-adic L-functions and ordinary cohomology of Hilbert modular varieties https://doi.org/10.1353/ajm.2013.0035, Amer. J. Math 135 (2013), no. 4, 1117--1155

    work page arXiv 2013

  6. [6]

    Graham and S.W.A

    A. Graham and S.W.A. Shah ,

    work page

  7. [7]

    Grossi , On norm relations for Asai–Flach classes https://doi.org/10.1142/S1793042120501183 On norm relations for Asai--Flach classes , Int

    G. Grossi , On norm relations for Asai–Flach classes https://doi.org/10.1142/S1793042120501183 On norm relations for Asai--Flach classes , Int. J. Number Theory 16 (2020), no. 1, 2311-2377

    work page doi:10.1142/s1793042120501183 2020

  8. [8]

    Asai-Flach classes, p-adic L-functions and the Bloch-Kato conjecture for GO(4)

    G. Grossi, D. Loeffler, and S. Zerbes , https://arxiv.org/abs/2407.17055 Asai-Flach classes, p -adic L -functions and the Bloch--Kato conjecture for GO _4 , preprint, 2025

    work page Pith review arXiv 2025

Show all 22 references
  1. [9]

    Harris and A.J

    M. Harris and A.J. Scholl , A note on trilinear forms for reducible representations and Beilinson’s conjectures https://doi.org/10.1007/s100970000026, J. Eur. Math. Soc. 3 (2001), 93--104

    2001 doi

  2. [10]

    Hida , https://eudml.org/doc/143381 Galois representations into _2( Z_p[[X]]) attached to ordinary cusp forms , Invent

    H. Hida , https://eudml.org/doc/143381 Galois representations into _2( Z_p[[X]]) attached to ordinary cusp forms , Invent. Math. 85 (1986), 545–613

    1986

  3. [11]

    Hida , https://www.jstor.org/stable/1971444 On p-adic Hecke algebras for GL2 over totally real fields , Ann

    H. Hida , https://www.jstor.org/stable/1971444 On p-adic Hecke algebras for GL2 over totally real fields , Ann. of Math. (2) 128 (1988), no. 2, 295–384

    1988

  4. [12]

    Kings, D

    G. Kings, D. Loeffler, and S. Zerbes , https://intlpress.com/site/pub/files/_fulltext/journals/cjm/2017/0005/0001/CJM-2017-0005-0001-a001.pdf Rankin– E isenstein classes and explicit reciprocity laws , Cambridge J. Math. 5 (2017), no. 1, 1–122

    2017

  5. [13]

    Kings, D

    G. Kings, D. Loeffler, and S. Zerbes , https://muse.jhu.edu/article/746675 Rankin– E isenstein classes for modular forms . Amer. J. Math. 142 (2020), no. 1, 79–138

    2020

  6. [14]

    A. Lei, D. Loeffler, and S. Zerbes , https://annals.math.princeton.edu/wp-content/uploads/annals-v180-n2-p06-p.pdf Euler systems for R ankin– S elberg convolutions of modular forms , Ann. of Math. (2) 180 (2014), no. 2, 653–771

    2014

  7. [15]

    A. Lei, D. Loeffler, and S. Zerbes , https://www.cambridge.org/core/journals/forum-of-mathematics-sigma/article/euler-systems-for-hilbert-modular-surfaces/8324DC3C4B9CF4447D0739667293DBF5 Euler systems for H ilbert modular surfaces , Forum Math Sigma (6) (2018), no. e.23

    2018

  8. [16]

    Loeffler, R

    D. Loeffler, R. Rockwood and S. Zerbes , https://arxiv.org/abs/2106.16082 S pherical varieties and p -adic families of cohomology classes , to appear in Elliptic curves and modular forms in arithmetic geometry – celebrating Massimo Bertolini's 60th birthday

    arXiv

  9. [17]

    Loeffler, C

    D. Loeffler, C. Skinner and S. Zerbes , Euler systems for GSp(4) https://ems.press/journals/jems/articles/2227766, Journal of the European Mathematical Society 24 (2022), no.2, 669-733

    2022

  10. [18]

    Loeffler and S

    D. Loeffler and S. Zerbes , https://arxiv.org/abs/2411.12576 A universal Euler system for GSp (4) , preprint, 2024, arXiv:2411.12576

    2024 arXiv

  11. [19]

    Mauger , https://eudml.org/doc/82629 Algèbres de Hecke quasi-ordinaires universelles , Ann

    D. Mauger , https://eudml.org/doc/82629 Algèbres de Hecke quasi-ordinaires universelles , Ann. Sci. École Norm. Sup. (4) 37 (2004), no. 2, 171–222

    2004

  12. [20]

    Milne , https://www.jmilne.org/math/xnotes/svi.pdf Introduction to Shimura varieties , lecture notes, 2017

    J. Milne , https://www.jmilne.org/math/xnotes/svi.pdf Introduction to Shimura varieties , lecture notes, 2017

    2017

  13. [21]

    M. Ohta , https://www.cambridge.org/core/journals/compositio-mathematica/article/ordinary-padic-etale-cohomology-groups-attached-to-towers-of-elliptic-modular-curves/6C6C1E540EF2C3FE4E3B0A66E78AC7BC Ordinary p -adic \'e tale cohomology groups attached to towers of elliptic mod...

    1999

  14. [22]

    A. Sheth , Control theorems for Hilbert modular varieties https://www.cambridge.org/core/journals/canadian-mathematical-bulletin/article/control-theorems-for-hilbert-modular-varieties/51D6176D0E4E26C431DB90B84DD3BA1A, Canad. Math. Bull 68 (2025), no.2, 530-549

    2025

Pith tools

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