REVIEW 3 major objections 5 minor 11 references
New perspectives on $p$-adic regulator formulae
T0 review · 3 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash
Pith's one-line read This paper proves that the p-adic Asai regulator formula extends from ordinary to finite-slope Hilbert modular forms, and that the same pullback construction recovers the diagonal regulator formula, by replacing finite-polynomial cohomology
desk verdict The finite-slope Asai regulator formula is a genuine new result, but the admitted k1!k2! factorial mismatch with the ordinary case means the main theorem is not yet established as stated. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is the mapping fibre (mapping cone) of the Clebsch-Gordan pullback. For a representation V_l ⊗ V_m over Y^2, the Clebsch-Gordan map CG^*_{r-k}: V_l ⊗ V_m → V_k(k-r) induces a map of cohomology complexes, and the Asai-Flach and diagonal classes appear as extension classes in the long exact sequence attached to the triangle completing this map. The key technical lemmas are Lemma 2.2, a snake-lemma comparison identifying a connecting map with minus the triangle differential, and Proposition 3.7, an abstract formula for the Bloch-Kato logarithm of an extension in terms of a Frobenius polynomial P(φ) and a rigid primitive. Together they let the logarithm of the pushed-forwar
What would settle it
Compute the two Frobenius actions explicitly on a Hilbert modular surface at a split prime (or on its dagger ordinary locus) and exhibit a class where the Hyodo-Kato Frobenius and the crystalline Frobenius differ; Theorem 5.11 and hence Theorem A would collapse, since all S(φ) manipulations assume this identification. A less drastic test is to verify the identification in Remark 5.6(3) directly for the good-reduction case.
Extended reading notes
Core claim
The paper's central claim is that two regulator formulae—the Asai regulator formula for Hilbert modular forms and the diagonal/triple-product regulator formula—can both be proved by a single cone-and-pullback construction. For a Hilbert modular form Π over a real quadratic field with a small-slope p1-stabilisation α1, Theorem A constructs a de Rham class η_dR in Fil^0 D_dR(V_{p,As}(1+j)) such that the pairing of η_dR with the Bloch-Kato logarithm of the Asai-Flach class AF^j_ét(Π) equals an explicit rational factor times the p-adic Asai L-value L^imp_{p,As}(Π)(1+j). Proposition 6.2 realizes the diagonal class as an extension class coming from the long exact sequence of the Clebsch-Gordan pul
Load-bearing premise
The proof relies on the unverified identification, noted in Remark 5.6(3), that the Hyodo-Kato cohomology used in the comparison theorem coincides with usual log-crystalline cohomology in their good-reduction setting; if that Frobenius comparison fails, the regulator formula would compute a different quantity.
Editorial extensions
If this is right
- If Theorem A is correct, the Asai regulator formula holds for finite-slope (not necessarily ordinary) Hilbert modular forms, removing the ordinarity assumption of earlier work.
- The same argument shows the Bloch-Kato logarithm of the Asai-Flach class is computed by the syntomic pushforward of the de Rham Eisenstein class, with no finite-polynomial cohomology or partial compact support rigid cohomology.
- The pullback reconstruction of the diagonal class gives a new proof of the known diagonal regulator formula, reducing the computation to a rigid primitive over the ordinary locus of a modular curve.
- The authors state the method should extend to other settings—such as twisted triple product/Hirzebruch-Zagier classes and possibly ramified-at-p representations—whenever the p-adic L-function is built from a coherent class on a good-reduction dagger affinoid.
Reading between the lines
- If the Hyodo-Kato/crystalline comparison flagged in Remark 5.6(3) is verified, the same mapping-fibre formalism should produce regulator formulae for other spherical pairs, including the balanced Asai case over a cubic field, where the paper identifies the relevant coherent cohomology group for a future p-adic L-function.
- The paper's shift away from finite-polynomial cohomology suggests that regulator formulae for other Euler-system classes, such as Beilinson-Flach or GSp(4) classes, could be reproved by the same snake-lemma comparison whenever the relevant de Rham Eisenstein class satisfies the same Frobenius-killing condition.
- The unverified comparison in Remark 5.6(3) is the natural target for a follow-up: a direct proof of that identification, or an explicit counterexample, would settle the status of Theorem A.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes new proofs and some generalizations of p-adic regulator formulae for Asai–Flach classes and diagonal classes. For the Asai case, working over a real quadratic field with a split prime p, the authors prove a finite-slope regulator formula (Theorem A / Theorem 5.36) relating the Bloch–Kato logarithm of the Asai–Flach class, paired with a de Rham class η_dR, to the imprimitive p-adic Asai L-function of [KL25]. The proof avoids finite-polynomial cohomology by using cone/mapping-fibre constructions, derived de Rham comparison results of [DN18], and reductions to the (partial) ordinary dagger locus. For diagonal classes, the paper gives a pullback reconstruction of the diagonal extension class (Proposition 6.2) and uses it to give a new derivation of the known diagonal regulator formula (Theorem 6.4). The novelty is explicitly claimed to lie in the proofs and in the finite-slope Asai generalization.
Significance. If fully correct, the paper would be a valuable contribution: it removes finite-polynomial cohomology from a technically heavy regulator computation, extends the Asai regulator formula beyond the ordinary case, and gives a clean categorical explanation of the diagonal class via mapping fibres. The homological Lemmas 2.1–2.2 and the reduction to coherent pairings on dagger ordinary loci are elegant and likely to be reusable. However, the central Asai formula contains an admitted factorial discrepancy with the previously established ordinary formula, and this must be resolved before the main theorem can be regarded as proved. The paper is therefore significant but currently not fully sound.
major comments (3)
- [Remark 5.37; Theorem 5.36] The final Asai regulator formula is stated with a specific rational factor, but Remark 5.37 admits an unresolved factor-k1!k2! discrepancy with [GLZ25, Thm 9.6.4]. This is not cosmetic: every intermediate identity (Theorem 5.30, Corollary 5.34, Lemma 5.35) is an equality of explicit cohomology classes, so an extra factorial in the final constant has to enter somewhere in the normalization of η_{1-ord} (Definition 5.12), the q-expansion computation in Lemma 5.35, the p-depletion Lemma 5.32, or the [KL25] p-adic L-function. Since the finite-slope formula should specialise to the ordinary formula as α1 approaches the unit root, this is checkable in the ordinary limit. As written, the central claim of Theorem A is not established.
- [Remark 5.6(3); Theorem 5.5; Theorem 5.11] The proof of the syntomic identification in Theorem 5.11 relies on comparison functoriality of pro-étale, de Rham, and rigid/Hyodo–Kato cohomology. Remark 5.6(3) states that the Hyodo–Kato cohomologies 'should coincide' with log-crystalline cohomology but that this has not been verified. The paper's actual use of Grosse-Klonne rigid cohomology with a Frobenius known to match crystalline Frobenius makes this plausible, but the manuscript should either verify the required comparison or state a precise weaker assumption. Because all S(φ) and P(φ) manipulations feed into the regulator formula, this assumption should be explicit and justified rather than left as a remark.
- [§6.2, final paragraph after Eq. (6.12)] The diagonal regulator proof is presented as a new method, but the final step is outsourced: 'one can proceed exactly as explained in [BSV20, pp. 1023-1024]' after identifying CG_{r-k} with the determinant element. The claimed equality of pairings is where the constant, including the Euler factor E_p(f,g,h) and the Petersson inner-product ratio, is determined. The manuscript should spell out, or at least verify in detail, that the BSV20 computation applies unchanged in the present setup; otherwise Theorem 6.4 rests on an unexamined black box.
minor comments (5)
- [Introduction, Theorem A vs Theorem 5.36] The abstract and introduction state Theorem A only as 'can be expressed in terms of the p-adic Asai L-value'; the precise rational factor, including the factorial ambiguity, appears only in Theorem 5.36. Stating the exact factor in the introduction would help readers see the claimed normalization.
- [Proposition 5.4 proof] The use of 'G' both for the reductive group Res_{F/Q} GL_{2,F} and for the functor υ_{proét,*} is flagged by the authors but remains confusing; suggest renaming one of them.
- [Remark 6.5 and References] The text cites '[Mar2026]', but the reference list contains [Mar24] and [Mar25]; please reconcile the citation key and give the precise reference.
- [Definition 5.1] The notation N(n) in the imprimitive Asai L-series is not defined; the later explanation about omitting Euler factors at primes dividing N is not sufficient to make the summands unambiguous for all n.
- [General] There are several minor typographical issues, e.g., 'Münster J. Math.' is abbreviated inconsistently, and in Remark 6.3 'The fact that this linear functional' is missing a 'that'. These are harmless but should be cleaned up.
Circularity Check
No significant circularity: the regulator identity relates independently defined quantities; cited overlapping-author works are external inputs, and the admitted factorial mismatch is a correctness gap, not a circular step.
full rationale
The central regulator identity (Theorem 5.36) relates two independently defined objects: the Bloch–Kato logarithm of the Asai–Flach class, constructed via pro-étale pushforward of an Eisenstein class (Proposition 5.4, Section 3), and the p-adic Asai L-function constructed in [KL25, Definition 7.1] as a coherent pairing with an Eisenstein family and required to interpolate critical L-values. The paper does not define the L-function as the regulator pairing; instead it reduces the regulator side to a coherent pairing (Theorem 5.30, Corollary 5.34) and then identifies the resulting p-depleted Eisenstein series with the one appearing in the L-function by explicit q-expansion (Lemma 5.35, with the note that 1/(k2−j)!∇^{−1−(k2−j)}F^{t+2,[p]}_{0,1/N} is the Eisenstein series in the L-function formula). This is a genuine computation, not a renaming or a definitional identity. The heavy use of works with overlapping authors ([KL25], [GLZ25], [Hua24], [HK25]) is external dependence: those results are stated with their own assumptions, are not fitted to the present conclusion, and do not reduce the argument to an unverified self-citation. Remark 5.37 explicitly acknowledges an unresolved factorial mismatch with [GLZ25, Theorem 9.6.4]; that is a correctness gap about the constant factor, not evidence that the claimed equality holds by construction. Likewise, Remark 5.6(3) flags an unverified Hyodo–Kato identification, but the paper says it instead uses Grosse-Klönne rigid cohomology, so the load-bearing comparison is not being smuggled in as a tautology. Overall, no step in the derivation chain is circular by the paper's own equations or by self-citation alone.
Assumptions & free parameters
free parameters (3)
- α1, β1 =
roots of the p1-Hecke polynomial; v_p(α1) < k1+1
- α2, β2 =
roots of the p2-Hecke polynomial
- normalization of η_dR (and η_rig^{1-ord}) =
unspecified
assumptions (5)
- standard math Derived de Rham and semistable comparison theorems with coefficients (Theorem 5.5, [DN18, §4.15])
- domain assumption Hyodo-Kato cohomology coincides with log-crystalline/rigid cohomology with matching Frobenius (Remark 5.6(3))
- domain assumption Vanishing of the Hecke-localised target cohomology, H^3_ét(Y_G,...)^{G_Q} = 0 on the Π_f^∨-eigenspace ([GLZ25, Note 6.1.1])
- standard math Spherical-pair multiplicity one for GL2 in GL2 × GL2 gives uniqueness of the Clebsch-Gordan map CG_{r-k} (Prop 6.2(1))
- ad hoc to paper The final pairing computation in the diagonal regulator formula is exactly the one performed in [BSV20, pp. 1023-1024]
Cite this review
Pith. "Pith review of New perspectives on $p$-adic regulator formulae." pith.science (2026). https://pith.science/paper/JMNLSEHZ
@misc{pith2026260105406,
author = {Pith},
title = {Pith review of: New perspectives on $p$-adic regulator formulae},
year = {2026},
howpublished = {\url{https://pith.science/paper/JMNLSEHZ}},
note = {Machine review of arXiv:2601.05406}
}
abstract
Inspired by the pullback method in the recent work of Sangiovanni-Vincentelli--Skinner, we reconstruct the diagonal class of Darmon--Rotger. Moreover, we reinterpret the computation of the $p$-adic regulator formula.
Reference graph
Works this paper leans on
-
[1]
Triple productp-adicL-functions associated to finite slopep-adic families of modular forms
[AI21] Fabrizio Andreatta and Adrian Iovita. “Triple productp-adicL-functions associated to finite slopep-adic families of modular forms”. In:Duke Math. J.170.9 (2021), pp. 1989–2083.doi:10.1215/00127094-2020-0076(cit. on pp. 28, 29). [Anc15] Giuseppe Ancona. “D´ ecomposition de motifs ab´ eliens”. In:Manuscripta Math.146.3-4 (2015), pp. 307–328.issn: 002...
-
[5]
Hida families andp-adic triple productL-functions
arXiv:2501.17474 [math.NT](cit. on p. 4). [Hsi21] Ming-Lun Hsieh. “Hida families andp-adic triple productL-functions”. In:Amer. J. Math.143.2 (2021), pp. 411– 532.issn: 0002-9327.doi:10.1353/ajm.2021.0011(cit. on p. 33). [Hua24] Ting-Han Huang. “Triple productp-adicL-functions for finite slope families of modular forms and ap-adic Gross–Zagier formula”. P...
arXiv 2021
-
[7]
Rankin-Eisenstein classes for modular forms
arXiv:2504.12066 [math.NT](cit. on pp. 3, 4, 13, 16, 26). [KLZ20] Guido Kings, David Loeffler, and Sarah Livia Zerbes. “Rankin-Eisenstein classes for modular forms”. In:Amer. J. Math.142.1 (2020), pp. 79–138.issn: 0002-9327,1080-6377.doi:10.1353/ajm.2020.0002(cit. on pp. 2, 16). [LLZ18] Antonio Lei, David Loeffler, and Sarah Livia Zerbes. “Euler systems f...
arXiv 2020
-
[9]
[Mar25] Luca Marannino.Explicit reciprocity laws for diagonal classes: higher level cases
arXiv:2312.06565 [math.NT]. [Mar25] Luca Marannino.Explicit reciprocity laws for diagonal classes: higher level cases
-
[10]
Onp-adic height pairings
arXiv:2402 . 13648 [math.NT](cit. on p. 29). [Nek93] Jan Nekov´ aˇ r. “Onp-adic height pairings”. In:S´ eminaire de Th´ eorie des Nombres, Paris, 1990–91. Vol
1990
-
[108]
On the image ofp-adic regulators
Progr. Math. Birkh¨ auser Boston, Boston, MA, 1993, pp. 127–202.isbn: 0-8176-3684-6.doi:10.1007/s10107- 005-0696-y(cit. on pp. 3, 8, 9, 10). [Niz97] Wieslawa Nizio l. “On the image ofp-adic regulators”. In:Invent. Math.127.2 (1997), pp. 375–400.issn: 0020- 9910,1432-1297.doi:10.1007/s002220050125(cit. on p. 3). [NN16] Jan Nekov´ aˇ r and Wies lawa Nizio l...
doi:10.1007/s10107- 1993
-
[434]
Onp-adic absolute Hodge cohomology and syntomic coefficients. I
Heegner points, Stark-Heegner points, and diagonal classes. 2022, pp. 77–174.isbn: 978-2-85629-959-3 (cit. on pp. 2, 3, 29, 30). [DN18] Fr´ ed´ eric D´ eglise and Wies lawa Nizio l. “Onp-adic absolute Hodge cohomology and syntomic coefficients. I”. In: Comment. Math. Helv.93.1 (2018), pp. 71–131.issn: 0010-2571,1420-8946.doi:10.4171/CMH/430(cit. on pp. 3,...
-
[1400]
With appendices by S
Lecture Notes in Mathematics. With appendices by S. Bloch and C. Schoen. Springer-Verlag, Berlin, 1990, pp. xiv+246.isbn: 3-540-52260-3.doi:10 . 1007 / BFb0085080(cit. on p. 6). [KL25] Ananyo Kazi and David Loeffler.p-adic Asai and twisted triple productL-functions for finite slope families
1990
Show all 11 references
-
[2021]
Higher Hida theory for Siegel modular forms
arXiv:2110.10251 [math.NT](cit. on pp. 3, 16). [BP25] George Boxer and Vincent Pilloni. “Higher Hida theory for Siegel modular forms”. In:Inventiones mathematicae (2025).doi:10.1007/s00222-025-01393-2(cit. on p. 3). [BSV20] Massimo Bertolini, Marco Adamo Seveso, and Rodolfo Ve...
2025 arXiv
-
[2024]
Plectic structures inp-adic de Rham cohomology
arXiv:2003 . 05960 [math.NT](cit. on p. 2). [LZ25] David Loeffler and Sarah Livia Zerbes. “Plectic structures inp-adic de Rham cohomology”. In:J. Number Theory 270 (2025), pp. 238–259.issn: 0022-314X,1096-1658.doi:10.1016/j.jnt.2023.10.016(cit. on pp. 21, 22, 24). [Mar24] Luca...
2003 doi
-
[2025]
Rigid analytic spaces with overconvergent structure sheaf
arXiv:2407.17055 [math.NT](cit. on pp. 2, 3, 15, 17, 20, 21, 27, 29). [Gro00] Elmar Grosse-Kl¨ onne. “Rigid analytic spaces with overconvergent structure sheaf”. In:J. Reine Angew. Math. 519 (2000), pp. 73–95.issn: 0075-4102,1435-5345.doi:10.1515/crll.2000.018(cit. on p. 16). ...
2000 arXiv
Reviewed August 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.