On completeness of local intertwining periods
Pith reviewed 2026-05-23 00:49 UTC · model grok-4.3
The pith
For unimodular tempered reductive symmetric pairs, regularized intertwining periods generate the space of H-invariant forms on parabolically induced representations precisely when the inducing representation is square-integrable.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For certain tempered reductive symmetric pairs (G,H) that are unimodular over a local field of characteristic zero, the space of H-invariant linear forms on a parabolically induced representation of G is generated by the regularized intertwining periods attached to admissible parabolic orbits in G/H, as defined in prior work, whenever the inducing representation is square-integrable. Under this hypothesis the same space is also generated by the corresponding normalized intertwining periods.
What carries the argument
Regularized intertwining periods attached to admissible parabolic orbits in G/H.
If this is right
- The conjecture is verified on all previously known examples of such pairs.
- The conjecture holds for multiple pairs in which G has semi-simple split rank one.
- Normalized intertwining periods may replace the regularized versions when the inducing representation is square-integrable.
- The space of invariants on the induced representation is thereby expressed directly in terms of invariants on the inducing representation.
Where Pith is reading between the lines
- The result may supply dimension formulas for distinction multiplicities in the square-integrable case.
- It could serve as a test case for extending similar statements to non-tempered or non-unimodular pairs.
- Explicit low-rank computations on split-rank-one groups would give immediate numerical checks of the conjecture.
Load-bearing premise
The pairs (G,H) must be unimodular tempered reductive symmetric pairs and the periods must be defined exactly as in the referenced construction.
What would settle it
Exhibit a square-integrable inducing representation on one of the studied pairs such that the dimension of the space of H-invariants on the induced representation strictly exceeds the span of the regularized intertwining periods.
read the original abstract
In this paper we study the problem of explicitly describing the space of invariant linear forms on induced distinguished representations in terms of invariant linear forms on the inducing representation. More precisely, for certain tempered reductive symmetric pairs (G,H) over a local field of characteristic zero, which we call unimodular in this paper, we study under which condition on the inducing representation, the space of H-invariant linear forms on a parabolically induced representation of G is generated by regularized intertwining periods attached to admissible parabolic orbits in G{H, as defined in the work of Matringe--Offen--Yang. We conjecture that it is the case when the inducing representation is square-integrable. Under this assumption we actually conjecture that one can replace regularized by normalized intertwining periods. We then verify the conjecture on known examples, and prove it for various pairs where G has semi-simple split rank one.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript conjectures that for unimodular tempered reductive symmetric pairs (G,H) over a local field of characteristic zero, the space of H-invariant linear forms on a parabolically induced representation of G is generated by the regularized intertwining periods attached to admissible parabolic orbits in G/H (as defined by Matringe--Offen--Yang) precisely when the inducing representation is square-integrable; under the same assumption it further conjectures that normalized intertwining periods suffice. The authors verify the statement on known examples and prove it completely for all pairs in which G has semi-simple split rank one.
Significance. If the conjecture holds, the work would supply an explicit description of the space of invariant forms on induced representations in terms of intertwining periods on the inducing data for these symmetric pairs. The complete proofs in the semi-simple split rank-one case and the verifications on known examples constitute concrete, checkable progress that builds directly on the prior definitions of regularized periods.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation to accept the manuscript.
Circularity Check
No significant circularity identified
full rationale
The paper states a conjecture on the generation of H-invariant forms by regularized intertwining periods (defined externally in Matringe--Offen--Yang) precisely when the inducing representation is square-integrable, and proves the statement for all semi-simple split rank-one cases while verifying on known examples. All load-bearing steps rely on independent external definitions and direct verification rather than self-referential fits, renamings, or self-citation chains that reduce claims to inputs by construction. The work is self-contained against the stated assumptions.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The pairs (G,H) are unimodular tempered reductive symmetric pairs over a local field of characteristic zero.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.