How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A limit of discrete series is not square-integrable
Statement refuted
The claim that every limit of discrete series is square-integrable in the all-matrix-coefficients sense of The limits of discrete series are not square-integrable is false. In the fixed Haar normalization of Left Haar integral and left Haar measure and KAK integration formula for K-bi-invariant functions on SL2(R), the limit has a unit matrix coefficient whose squared modulus has infinite integral. By contrast, for each genuine discrete-series parameter , the corresponding normalized extremal coefficient has finite squared integral.
Facts & Assumptions
Given: AC, , its fixed left Haar measure, the odd compact-picture model , and the holomorphic discrete-series models for .
The unit vector lies in the closed limit summand of , and is an irreducible strongly continuous unitary representation (The two limits of discrete series, Unitarity and irreducibility of the limits of discrete series).
Matrix coefficients are with pairing linear in the first variable, and they are continuous for strongly continuous unitary representations (Matrix coefficient of a unitary representation).
In the compact picture, satisfies for every (Matrix-coefficient formulas and decay for the discrete and principal series(b)).
For a continuous function with unitary-character left and right -transformation, its modulus is -bi-invariant, and the fixed Haar measure gives (KAK integration formula for K-bi-invariant functions on SL2(R)).
For each , the normalized extremal vector in a genuine discrete-series model has coefficient (Matrix-coefficient formulas and decay for the discrete and principal series(a)).
The square-integrability condition used here requires every matrix coefficient of an irreducible unitary representation to lie in (The limits of discrete series are not square-integrable).
If pointwise, then (Monotone convergence for the integral).
AC is assumed and inherited through the normalized principal-series and fixed-Haar model interfaces (The Axiom of Choice).
Counterexample
Given: The assumptions and notation above.
Let be the restriction of to and set . By [F1], this is a matrix coefficient of an irreducible unitary limit representation; by [F2] it is continuous, and [F3] gives . If , unitarity and give . Thus [F4] applies to .
The KAK formula and give . For , . The indicators increase to and their integrals are , so [F7] shows the last nonnegative integral is infinite.
By [F6], the irreducible unitary representation is not square-integrable because the coefficient in step 2.1 is not in . For , [F4] and [F5] give the corresponding extremal coefficient integral . With this equals , confirming the endpoint contrast and refuting the claim in the Statement.
Depends on
- The limits of discrete series are not square-integrable
- Matrix-coefficient formulas and decay for the discrete and principal series
- The two limits of discrete series
- Unitarity and irreducibility of the limits of discrete series
- Matrix coefficient of a unitary representation
- Left Haar integral and left Haar measure
- Monotone convergence for the integral
- The Axiom of Choice
- KAK integration formula for K-bi-invariant functions on SL2(R)
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
45 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Jan Frahm, The Plancherel formula for real reductive groups I: Examples (AIM RTG lecture notes) (standard reference, not scraped)
- Emmanuel Kowalski, An Introduction to the Representation Theory of Groups (AMS GSM 155; author's PDF) (standard reference, not scraped)