On Rankin-Selberg integral structures and Euler systems for GL₂times GL₂
Pith reviewed 2026-05-23 23:30 UTC · model grok-4.3
The pith
Local Euler factors in motivic Rankin-Selberg Euler systems for products of modular forms are integrally optimal.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using a representation-theoretic framework that examines the interaction between Rankin-Selberg periods, distinction problems, and integral structures on spherical Whittaker type representations, the paper proves that the local Euler factors in the motivic Rankin-Selberg Euler system for a product of modular forms are integrally optimal. This means that for any choice of integral input data in the Loeffler-Skinner-Zerbes recipe, the local factors appearing in the tame norm relations at p are integrally divisible by P_p'(Frob_p^{-1}) modulo p-1. The result is also interpreted as an integrality statement for the unramified part of the period associated to the Rankin-Selberg convolution of two
What carries the argument
Representation-theoretic framework tracking how Rankin-Selberg periods and distinction problems interact with integral structures on spherical Whittaker type representations, which forces the local Euler factors to satisfy the stated divisibility for every integral input.
If this is right
- Every possible construction of the motivic Rankin-Selberg Euler system yields local factors satisfying the same integral divisibility at p.
- The unramified part of the Rankin-Selberg period attached to the convolution of two modular forms is integral.
- The tame norm relations at p hold with the predicted Euler factor divisibility regardless of the chosen integral data.
- The conjecture of Loeffler on integral optimality is settled for this class of Euler systems.
Where Pith is reading between the lines
- The same optimality criterion may apply to Euler systems attached to other pairs of automorphic representations beyond GL2 times GL2.
- Stronger control over denominators in the associated p-adic L-functions or Selmer groups could follow from the integral optimality.
- Explicit computations for pairs of low-weight modular forms at small primes p could provide numerical checks of the divisibility.
- The framework might extend to give analogous statements when the base field is varied or when additional ramification is introduced.
Load-bearing premise
The representation-theoretic framework correctly models the interaction of periods, distinction, and integral structures so that the divisibility statements apply to every possible integral input in the Loeffler-Skinner-Zerbes recipe.
What would settle it
An explicit choice of integral input data in the Loeffler-Skinner-Zerbes recipe for which the local factor at some prime p appearing in the tame norm relations fails to be divisible by P_p'(Frob_p^{-1}) modulo p-1.
read the original abstract
We study how Rankin-Selberg periods and distinction problems interact with integral structures in spherical Whittaker type representations. Using this representation-theoretic framework, we settle a conjecture of Loeffler by showing that the local Euler factors appearing in the construction of the motivic Rankin-Selberg Euler system for a product of modular forms are integrally optimal; i.e. any construction of this type with any choice of integral input data in the recipe of Loeffler-Skinner-Zerbes, would give local factors appearing in tame norm relations at $p$, which are integrally divisible by the Euler factor $\mathcal{P}_p^{'}(\mathrm{Frob}_p^{-1})$ modulo $p-1$. We also interpret this as an integrality result on the unramified part of the period associated to the Rankin-Selberg convolution of two modular forms.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a representation-theoretic framework analyzing the interaction of Rankin-Selberg periods and distinction problems with integral structures on spherical Whittaker representations for GL_2 × GL_2. It uses this to prove that the local Euler factors arising in the motivic Rankin-Selberg Euler system for products of modular forms are integrally optimal: for any choice of integral input data in the Loeffler-Skinner-Zerbes recipe, the factors appearing in the tame norm relations at p are integrally divisible by P_p'(Frob_p^{-1}) modulo p-1. The result also yields an integrality statement for the unramified part of the associated Rankin-Selberg period and settles a conjecture of Loeffler.
Significance. If the central claim holds, the result supplies a universal integrality statement that strengthens Euler-system constructions for Rankin-Selberg convolutions and may facilitate applications to main conjectures or Selmer-group bounds. The explicit treatment of arbitrary integral structures via representation theory, rather than case-by-case analysis, is a methodological advance that could extend to other settings.
major comments (2)
- [§4, Theorem 4.5] §4, Theorem 4.5 (and the surrounding discussion of the Loeffler-Skinner-Zerbes recipe): the universality claim that the divisibility holds for every possible integral input requires showing that the spherical Whittaker model and distinction analysis exhaust all admissible lattices, including those obtained by scaling by units outside the spherical Hecke algebra; the current argument appears to treat only the standard normalization, leaving open whether non-standard integral structures could produce weaker divisibility.
- [§3.2] §3.2, the definition of the unramified period and its relation to the tame norm relations: the reduction of the mod-(p-1) divisibility to the representation-theoretic period statement is stated without an explicit check that the local components at p remain spherical after the integral choices; if the framework permits ramified perturbations under certain scalings, the norm-relation integrality may fail to follow.
minor comments (2)
- [Introduction] The notation P_p' is introduced only in the abstract and §1; an explicit local definition (including its relation to the standard Euler factor) should appear before the statement of the main theorem.
- Several citations to Loeffler-Skinner-Zerbes results are given by paper title only; adding theorem or proposition numbers would improve traceability of the external inputs.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for identifying points where the arguments can be clarified. We address each major comment below and indicate the revisions we will make.
read point-by-point responses
-
Referee: [§4, Theorem 4.5] §4, Theorem 4.5 (and the surrounding discussion of the Loeffler-Skinner-Zerbes recipe): the universality claim that the divisibility holds for every possible integral input requires showing that the spherical Whittaker model and distinction analysis exhaust all admissible lattices, including those obtained by scaling by units outside the spherical Hecke algebra; the current argument appears to treat only the standard normalization, leaving open whether non-standard integral structures could produce weaker divisibility.
Authors: The representation-theoretic framework of the paper is formulated for arbitrary integral structures on spherical Whittaker representations of GL_2 × GL_2. The distinction analysis and the resulting period computations are performed at the level of these models and are unaffected by scaling the lattice by units outside the spherical Hecke algebra, since such scalings multiply both sides of the relevant divisibility by the same unit and therefore preserve the claimed relation modulo p-1. The spherical Whittaker model already parametrizes all admissible lattices up to this equivalence. To make the coverage explicit we will insert a short clarifying paragraph after Theorem 4.5. revision: yes
-
Referee: [§3.2] §3.2, the definition of the unramified period and its relation to the tame norm relations: the reduction of the mod-(p-1) divisibility to the representation-theoretic period statement is stated without an explicit check that the local components at p remain spherical after the integral choices; if the framework permits ramified perturbations under certain scalings, the norm-relation integrality may fail to follow.
Authors: Section 3.2 defines the unramified period using the spherical Whittaker models at p that arise from the Loeffler-Skinner-Zerbes input data. By construction these data are chosen so that the local components at p remain spherical; any integral structure is taken inside the spherical model, and the tame norm relations are stated in that spherical setting. Consequently the reduction to the representation-theoretic statement carries no ramified perturbations. We will add a brief sentence in §3.2 confirming that the local components stay spherical under the admissible integral choices. revision: yes
Circularity Check
No circularity; central claim rests on external representation theory and L-S-Z recipe
full rationale
The paper develops a representation-theoretic framework for Rankin-Selberg periods and distinction on spherical Whittaker representations, then applies it to prove that local Euler factors in the Loeffler-Skinner-Zerbes motivic Euler system construction are integrally optimal for arbitrary integral input data. This rests on standard facts from representation theory (external to the paper) and the existing L-S-Z recipe rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation chain. No equation or step inside the manuscript reduces the target divisibility statement to a quantity defined by the paper's own inputs; the universality claim is therefore not forced by construction.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard properties of spherical Whittaker representations and their integral structures
- domain assumption The Loeffler-Skinner-Zerbes recipe for motivic Rankin-Selberg Euler systems
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.