Pith. sign in

REVIEW 5 major objections 5 minor 3 references

Bessel periods and Selmer groups over ordinary Rankin--Selberg eigenvariety

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

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

Pith's one-line read This paper proves an eigenvariety-level Iwasawa divisibility: where the Bessel period is nonzero on a component, the Selmer group vanishes or is torsion, and its characteristic divisor is bounded by twice the period's vanishing divisor.

desk verdict A substantial, honest conditional upgrade of the anticyclotomic Iwasawa main conjecture to the eigenvariety level; the main theorem is clearly flagged as resting on an unpublished manuscript and an unproved hypothesis. read the letter →

arxiv 2412.18881 v1 pith:RWB7JIEK submitted 2024-12-25 math.NT

Yifeng Liu This is my paper · ORCID
classification math.NT MSC 11F3311G0511G1811G4011R34
keywords ordinarydistributionseigenvarietyRankin-SelbergBesselperiodSelmergroupsIwasawamainconjecturecharacteristicdivisorunitary
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 lifts Iwasawa's main conjecture from a single anticyclotomic tower to the whole ordinary eigenvariety attached to a Rankin–Selberg product of unitary groups of ranks $n$ and $n+1$. The author introduces 'ordinary distributions'—the continuous duals of nearly ordinary automorphic forms—and uses them to rebuild the ordinary eigenvariety. The Bessel period is constructed as a canonical element of this distribution space in the definite case, and as an element of a Selmer group (the Galois-cohomology classes satisfying specified local conditions) in the indefinite case. The conjecture pairs the vanishing divisor of the period with the characteristic divisor of the Selmer group of the associated Galois module, with a factor of $2$; the paper proves one side of the divisibility. Under the stated hypotheses, the paper proves the control side of the conjecture: in the definite case nonvanishing of the period makes the Selmer group vanish and the dual Selmer module torsion, while in the indefinite case it forces generic rank one and the same divisibility for the torsion part.

What carries the argument

The engine of the paper is the space $D_J(\xi,V)_\gamma$ of $J$-invariant ordinary distributions: the inverse limit, over open compact subgroups, of continuous duals of nearly ordinary automorphic forms on $U(n)\times U(n+1)$, whose endomorphism ring $E_J(\xi,V)_\gamma$ cuts out the integral ordinary eigenvariety $\mathrm{Spec}\,E_J(\xi,V)_\gamma$. The Bessel period $\lambda_J(V)$ is a compatible family of period sums over the diagonal subgroup $H$, interpolating the classical Bessel periods at interlacing classical points; in the indefinite case the analogue is a Selmer-class $\kappa_J(V)$. The Selmer module $X_J(\xi,V)_\gamma$ is the Pontryagin dual of the Selmer group of the Rankin–Selberg Galois module $R_J(\xi,V)_\gamma$, a module of rank $n(n+1)$ interpolating the standard Galois representations of the two unitary groups. The comparison invariant is the characteristic divisor, a sum of lengths at codimension-one points. The proof is carried by a bipartite Euler system—a graph of congruence modules over sets of auxiliary primes joined by two explicit reciprocity laws—which matches the period with Selmer classes at level-raising primes.

What would settle it

A single interlacing classical point on a tempered component where the Bessel period is nonzero but the Selmer group has positive rank would disprove Theorem 11.5(1a); equivalently, computing the two divisors at a codimension-one point and finding $2\,\mathrm{char}_{E'}(D_J^H/\lambda_J(V))-\mathrm{char}_{E'}(X_J)$ not effective would disprove the divisibility.

Watch

Extended reading notes

Core claim

The central result, Theorem 11.5, is a divisibility between two codimension-one invariants on the ordinary eigenvariety. For a residual Galois representation satisfying the paper's Assumption 4.7, an interlacing Fontaine–Laffaille regular weight (ordering and $p$-smallness conditions on the weights that make the Bessel period well defined and the local representations crystalline), and $p > 2(n_0+1)$, the paper proves that on an irreducible component $E'$ of the tempered locus (an open dense subset of the normal locus containing all classical points), nonvanishing of the Bessel period $\lambda_J(V)$ implies (a) the Selmer group $H^1_f(F,R_J(\xi,V)_\gamma)$ vanishes over $E'$, (b) the dual Selmer module $X_J(\xi,V)_\gamma$ is torsion over $E'$, and (c) the divisor $2\,\mathrm{char}_{E'}(D_J(\xi,V)_\gamma^H/\lambda_J(V))-\mathrm{char}_{E'}(X_J(\xi,V)_\gamma)$ is effective. An analogous statement holds in the indefinite case: nonvanishing of the cohomological period class $\kappa_J(V)$ forces generic rank one for the Selmer group and its dual, and gives the corresponding effective divisibility for the torsion part of the dual Selmer module. The proof proceeds through two explicit reciprocity laws that relate the period to Selmer classes at auxiliary primes, organized into a bipartite Euler system over the eigenvariety, and then specializes to closed points to compare lengths and divisors.

Load-bearing premise

The load-bearing premise is an unproved standing hypothesis, stated as Hypothesis 2.2.5 in the companion paper [LTXZZ1], that for both unitary groups in the pair the relevant automorphic Galois representations exist and are controlled by the Hecke algebra at every dominant weight; the author notes the results are conditional when the base field is $\mathbb{Q}$ and $n>2$.

Editorial extensions

If this is right

  • In the definite case, nonvanishing of the Bessel period over a tempered component forces the Selmer group of the Rankin–Selberg Galois module to vanish over that component.
  • In the indefinite case, the same nonvanishing forces the Selmer group and its dual to have generic rank one over the component, with the torsion part of the dual controlled by the period divisor.
  • The theorem recovers the earlier anticyclotomic Iwasawa main conjecture and the earlier rank-zero and rank-one results as special cases, now for arbitrary interlacing Fontaine–Laffaille regular weights and without requiring the deformation places to split.
  • The proven divisibility is the upper-bound half of the proposed main conjecture: it shows the Selmer group cannot be larger than what the vanishing of the Bessel period allows.
  • The paper's ordinary-distribution definition of the eigenvariety works without choosing an open compact subgroup at the p-adic deformation places, which may simplify future constructions.

Reading between the lines

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

  • If the opposite divisibility were established, the vanishing divisor of the Bessel period would exactly compute the characteristic divisor of the Selmer group along each component, turning the period into a p-adic regulator on the eigenvariety.
  • The same ordinary-distribution formalism could be applied to other period functionals of the same shape, yielding analogous eigenvariety-level Selmer divisibilities.
  • A testable strengthening is to prove that the tempered locus equals the full normal locus in the cases the paper notes where their difference is empty, which would remove the one geometric restriction in the theorem.
  • Removing the unproved standing hypothesis would make the results unconditional over the rational base field when $n>2$, since the author states the conditionality arises precisely from that input.
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.

Referee Report

5 major / 5 minor

Summary. The paper introduces a notion of ordinary distributions for unitary groups and their Rankin--Selberg products, uses it to (re)construct ordinary eigenvarieties in both definite and indefinite settings, and defines Bessel periods as elements of these distribution spaces (definite case) or of Selmer groups (indefinite case). It then formulates an Iwasawa-type main conjecture over the ordinary Rankin--Selberg eigenvariety relating the vanishing divisor of the Bessel period to the characteristic divisor of a Selmer group, and proves one side of the divisibility under Assumption 4.7 plus Fontaine--Laffaille and interlacing conditions (Theorem 11.5; variant Theorem 11.6). The proof builds a bipartite Euler system over the eigenvariety using two explicit reciprocity laws and an R=T theorem for ordinary distributions.

Significance. If the result is correct, this is a substantial extension of the Iwasawa theory of [LTX] and [LTXZZ1] from anticyclotomic twists to the full ordinary eigenvariety, and the framework of ordinary distributions is a new and potentially useful tool. The paper is commendably explicit about its conditionalities: the main theorem is conditional on [LTXZZ1, Hypothesis 2.2.5] and on the unpublished manuscript [LSb], and many key lemmas are delegated to 'the same argument as' in prior work. The construction of the Bessel period is independent of the Selmer side, and no parameter is fitted, so there is no circularity in the argument. However, because the foundational distribution spaces and the reciprocity laws depend on unavailable or unproved external inputs, the paper does not yet provide a fully verifiable proof of its main theorem.

major comments (5)
  1. [§3, Construction 3.2 and Definition 3.6] The central objects D_J(ξ_N,V_N,K_N) and the ordinary eigenvariety are built from the poset k_I and the transfer maps recalled from the unpublished manuscript [LSb, §2.5]. Since [LSb] is not available, the existence and properties of these distributions, including the cofinality Lemma 3.4 and the weight-independence arguments in Proposition 3.8, cannot be independently verified. This is load-bearing: the later Bessel period λ_J(V) of §6 and the main theorem concern exactly these D_J. The author should either incorporate the necessary statements and proofs from [LSb] into the paper or make them precise and explicit assumptions.
  2. [Remark 1.4 and Lemma 4.14] The Galois module R_J(ξ,V)_γ of Remark 4.12 and the eigenvariety E_J(ξ,V)_γ are constructed under [LTXZZ1, Hypothesis 2.2.5] for all dominant weights N=n,n+1. Lemma 4.14 explicitly invokes this hypothesis via [Sch18]. If Hypothesis 2.2.5 fails, the module R_J may not exist and the Selmer groups of §5 are undefined, so Theorem 11.5 would have no content. The paper acknowledges this only in a remark; the theorem statements should carry the hypothesis explicitly rather than relegating it to Remark 1.4.
  3. [§9, Lemmas 9.2–9.5 and Theorem 9.7] The first explicit reciprocity law, which is a key input to the bipartite Euler system of §13, is proved by asserting that the arguments of [LTXZZ1, Lemma 6.2.2, Theorem 6.2.3, Proposition 6.3.1, Theorem 6.3.4, Lemma 7.2.5, Theorem 7.2.8, Proposition 7.2.7] carry over 'in the same way' to ordinary distributions over the eigenvariety with coefficients Z^∨_ξ/p^m. The necessary new ingredients—such as the behavior of the weight spectral sequence and Gysin maps for the nonconstant local system under the ordinary projector—are not presented. Since Theorem 13.13(1) depends on Theorem 9.7, this gap is load-bearing for the proof of Theorem 11.5.
  4. [§10, Theorem 10.1] The second explicit reciprocity law is proved by indicating that the argument of [LTX, Theorem 4.3.6] (essentially [LTXZZ1, Theorem 4.6.2]) applies. In particular, the proof relies on the invertibility of the Hecke operators (T^{⋆′}_{nα,l})_{rα} and on compatibility of the ordinary projection with the inverse limits defining D_J(ξ,V)_γ. These compatibilities are not shown in the manuscript. Since Theorem 10.1 is used directly in Theorem 13.13(2), this is a second load-bearing point in the Euler-system construction.
  5. [§14, §15] The final step from the pointwise statements of Proposition 14.2 to the divisibility of characteristic divisors uses Lemma 14.3, whose proof contains a claim about limits of lengths of Tor modules that is only sketched ('for the claim, we may assume that φ is either injective or surjective...'). In addition, the appendix R=T theorem (Theorem 15.2) is asserted by 'running the same argument' as [LTXZZ2, Theorem 3.38] after replacing the base ring; the global Taylor–Wiles patching with the filtered local deformation problems D^fil_v is not carried out. Since Lemma 13.8 and Proposition 13.7 depend on Theorem 15.2, the bipartite Euler system is not fully verified without these details.
minor comments (5)
  1. [Remark 4.11] The sentence 'In fact, We conjecture that...' has an erroneous capital 'W' after the comma; it should read 'we conjecture'.
  2. [§9, after Definition 9.1] The phrase 'we will only discuss the (much harder) case where n0 ≥ 4 (hence n1 ≥ 3) and leave the (much easier) case where n0 = 2 to the readers as an exercise' is too informal for a journal article; the n0=2 case either needs a proof or a precise reference.
  3. [Notation 13.1(2)] The phrase 'for l ∈ L0 whose underlying rational prime is coprime to n' is ambiguous since n is a set of primes; it should say 'coprime to the product of the underlying rational primes of the elements of n'.
  4. [Lemma 3.4(2)] In the displayed line 'H(Sh(G_N, K_N I), Z_{ξ_N}/p^m)' the notation 'K_N I' is not defined before; it would be clearer to write the open compact subgroup as a product or define it explicitly.
  5. [§1, Remark 1.3(1)] The phrase 'then one recovers [LTXZZ1, Theorem 1.1.1 & Theorem 1.1.7] (and their rank one analogues)' would benefit from stating whether the recovery is as an equality of divisors or only as the one-sided divisibility proved here.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the theorem is conditional on unproved hypotheses and relies on same-author prior work, but the target divisibility is not an input to any construction, and the Bessel period is built independently of the Selmer group.

full rationale

The central result, Theorem 11.5, is not derived from its own conclusion. The Bessel period λ_J(V) in the definite case is constructed in Section 6 from period sums over the diagonal subgroup, directly from automorphic forms and the ξ-distinction, with no Selmer-group input. In the indefinite case, κ_J(V) is constructed in Section 7 from Abel–Jacobi images of diagonal cycles. The Selmer module X_J(ξ,V)_γ is defined independently in Sections 4–5 from the pseudo-character Galois representation R_J(ξ,V)_γ and Bloch–Kato Selmer conditions. The divisibility proof proceeds through the bipartite Euler system of Section 13, whose two explicit reciprocity laws (Theorems 9.7 and 10.1) are proved from level-raising and duality statements, not from the main conjecture. The proof of Theorem 11.5 is explicitly 'completely parallel to that of [LTX, Theorem 5.1.3]', but parallelism to a prior proof is not circular reduction, and [LTX] proves an Iwasawa-level special case rather than assuming the eigenvariety divisibility. The paper is candid about its heavier assumptions: Remark 1.4 states that the results are conditional on the unproved [LTXZZ1, Hypothesis 2.2.5] for all dominant weights N=n,n+1, and explicitly says the results remain conditional when F^+=Q and n>2. The constructions also depend on the unpublished manuscript [LSb] for the foundational theory of ordinary distributions and for the interpolation of Bessel periods. These are genuine support gaps and external-verifiability concerns, but they are not instances of a parameter fitted to the Selmer group, a theorem equivalent by definition to its input, or a load-bearing self-citation that asserts the target divisibility. No equation in the paper reduces to its own input by construction, so the appropriate circularity score is 0.

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

The central claim does not fit any numerical data, so there are no free parameters in the empirical sense. The inputs are number-theoretic data: CM field, weights, level structures, and a residual Galois representation. The main burden is the large list of technical hypotheses that the theorem assumes, including the unproved Hypothesis 2.2.5 of [LTXZZ1] and the unpublished construction in [LSb]. No new physical entities are introduced; the new mathematical objects are internal definitions.

assumptions (5)
  • domain assumption CM field F/F+ with p unramified and sets ♠+, ♢+ fixed
    Throughout, the setup is a CM extension and a p-adic deformation family at places in ♢+ (Introduction and Notation 2.1).
  • ad hoc to paper Assumption 4.7(G1-G8): absolute irreducibility, cohomological genericity, Taylor-Wiles style conditions, minimal ramification, ordinary Fontaine-Laffaille weights
    These are imposed in §4 and are needed for the pseudo-character construction, Selmer finite generation, and the R=T input.
  • ad hoc to paper Interlacing and Fontaine-Laffaille regularity of weights (Definitions 3.1 and 4.1)
    These conditions are needed for the existence of xi-distinctions and for the local Selmer computations.
  • ad hoc to paper [LTXZZ1, Hypothesis 2.2.5] for all dominant weights N = n, n+1
    Explicitly assumed in Remark 1.4; the results are conditional when F+ = Q and n > 2.
  • ad hoc to paper The unpublished manuscript [LSb] supplies the poset k_I and relative completed cohomology constructions
    Construction 3.2 cites [LSb, §2.5 and Lemma 2.14, 3.3]; the current paper does not reproduce these foundations.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bessel periods and Selmer groups over ordinary Rankin--Selberg eigenvariety." pith.science (2026). https://pith.science/paper/RWB7JIEK

@misc{pith2026241218881,
  author       = {Pith},
  title        = {Pith review of: Bessel periods and Selmer groups over ordinary Rankin--Selberg eigenvariety},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RWB7JIEK}},
  note         = {Machine review of arXiv:2412.18881}
}
read the original abstract

We introduce the notion of ordinary distributions for unitary groups and their Rankin--Selberg products, based on which we (re)define the ordinary eigenvarieties. In both definite and indefinite cases, we construct the Bessel period on the Rankin--Selberg eigenvariety as an ordinary distribution and as an element in the Selmer group of ordinary distributions, respectively. We then propose an Iwasawa type conjecture relating the vanishing divisor of the Bessel period and the characteristic divisor of the Selmer group of the associated Rankin--Selberg Galois module over the eigenvariety, and prove one side of the divisibility under certain conditions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages

  1. [1]

    Be ˘ılinson, Height pairing between algebraic cycles , Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985), Contemp

    [Be˘ı87] A. Be ˘ılinson, Height pairing between algebraic cycles , Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985), Contemp. Math., vol. 67, Amer. Math. Soc., Providence, RI, 1987, pp. 1–24. MR902590↑1 [BC09] J. Bellaïche and G. Chenevier, Families of Galois representations and Selmer groups, Astérisque 324 (2009), xii+314 (Englis...

    work page 2009

  2. [1989]

    Translated from the Japanese by M. Reid. MR1011461↑15 [MR04] B. Mazur and K. Rubin, Kolyvagin systems, Mem. Amer. Math. Soc. 168 (2004), no. 799, viii+96, DOI 10.1090/memo/0799. MR2031496↑41, 50 [Nek93] J. Neková ˇr, On p-adic height pairings, Séminaire de Théorie des Nombres, Paris, 1990–91, Progr. Math., vol. 108, Birkhäuser Boston, Boston, MA, 1993, pp...

    work page doi:10.1090/memo/0799 2004

  3. [1998]

    Anti-cyclotomic Euler system of diagonal cycles

    Trans- lated from the French; Reprint of the 1989 English translation. MR1727221↑51 [Car14] A. Caraiani, Monodromy and local-global compatibility for l = p, Algebra Number Theory 8 (2014), no. 7, 1597–1646, DOI 10.2140/ant.2014.8.1597. MR3272276↑21 [CHT08] L. Clozel, M. Harris, and R. Taylor, Automorphy for some l-adic lifts of automorphic mod l Galois re...

    work page Pith review arXiv 2014

Pith tools

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