DefinitionDefinition: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6.1-sol)audited 2026-10-08

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.

The two limits of discrete series

Statement

Assume the Axiom of Choice (The Axiom of Choice). In the compact picture of the normalized principal series (The normalized principal series I(epsilon, nu), The compact picture of the SL2(R) principal series), let $I_{1, 0}$ act on $L_{1}^{2} (K) = {f \in L^{2} (K) : f (k_{θ + π}) = - f (k_{θ})}$ . Its K-finite vectors are $⨁_{m odd} C f_{m}$ (K-type decomposition of the SL2(R) principal series). Define $M_{1}^{-} : = ⨁_{j \geq 0} C f_{1 + 2 j}, M_{- 1}^{+} : = ⨁_{j \geq 0} C f_{- 1 - 2 j},$ and let $D_{1}^{-} : = \overline{M_{- 1}^{+}}, D_{1}^{+} : = \overline{M_{1}^{-}}$ in $L_{1}^{2} (K)$ . The two limits of discrete series are the resulting closed summands: $D_{1}^{-} \oplus D_{1}^{+} = L_{1}^{2} (K)$ orthogonally, with K-types $e^{- i (1 + 2 j) θ}$ and $e^{i (1 + 2 j) θ}$ respectively, each with multiplicity one. The K-finite modules are $(g, K)$ -submodules, with $L_{E_{-}} f_{1} = L_{E_{+}} f_{- 1} = 0$ ; the Casimir $Ω$ acts on these algebraic modules by $- \frac{1}{8}$ (Highest- and lowest-weight submodules at the exceptional parameters(c)).

For every $n \geq 2$ , the discrete-series modules $M_{- n}^{+}$ and $M_{n}^{-}$ at $ν = n - 1$ are the algebraic K-finite spans in the holomorphic and antiholomorphic models $D_{n}^{-}, D_{n}^{+}$ (Holomorphic and antiholomorphic discrete-series models). At the formal endpoint $n = 1$ , the candidate $q_{1} (z) = (z + i)^{- 1}$ has infinite weighted norm $\int_{H} ∣ q_{1} (z) ∣^{2} y^{- 1} d x d y$ , so this endpoint is realized inside $I_{1, 0}$ and not by a finite-norm holomorphic model.

Facts & Assumptions

Given: AC; the compact picture of $I_{1, 0}$ ; the odd K-type basis and its density; and the exceptional-parameter module at $ε = 1, ν = 0$ .

[F1]

At $ν = 0$ , the compact picture identifies $I_{1, 0}$ with $L_{1}^{2} (K)$ and gives its group action (The normalized principal series I(epsilon, nu), The compact picture of the SL2(R) principal series).

[F2]

The odd functions $f_{m} (k_{θ}) = e^{i m θ}$ form an orthonormal basis of $L_{1}^{2} (K)$ ; their algebraic span is the K-finite subspace and is dense (K-type decomposition of the SL2(R) principal series).

[F3]

At $ε = 1, ν = 0$ , the positive and negative odd tails are irreducible lowest- and highest-weight $(g, K)$ -submodules, have the displayed vanishing ladder coefficients, and the Casimir is $- \frac{1}{8}$ (Highest- and lowest-weight submodules at the exceptional parameters(c)).

[F4]

$I_{1, 0}$ is a strongly continuous unitary representation whose two limit summands give its direct-sum decomposition (Unitarity of the unitary principal series). Its closed-summand assertion is established by the supplier’s disk-coordinate invariance and K-finite irreducibility argument.

[F5]

For $n \geq 2$ , the discrete-series algebraic spans $V_{n}^{-}, V_{n}^{+}$ identify with $M_{- n}^{+}, M_{n}^{-}$ at $ν = n - 1$ (Holomorphic and antiholomorphic discrete-series models).

[A1]

AC is inherited through the principal-series and compact-picture constructions (The Axiom of Choice).

Given: The assumptions and notation in the Statement.

Proof

technique · direct

1.1F1F2F3algebraA1

By [F1], $I_{1, 0}$ is realized on $L_{1}^{2} (K)$ ; [F2] identifies its K-finite vectors with all finite sums of the odd characters and makes their span dense. By [F3], the two tails $M_{1}^{-}$ and $M_{- 1}^{+}$ are complementary $(g, K)$ -submodules of this K-finite space, and the indicated extremal ladder operators vanish.

2.1F2step 1.1

Every character line in the positive tail is orthogonal to every line in the negative tail, because the odd characters are distinct and [F2] makes them an orthonormal basis. Thus the two closures are orthogonal; their sum is all of $L_{1}^{2} (K)$ because the algebraic tails together contain its dense K-finite span.

2.2F3F5step 1.1

By [F3], $Ω$ acts on the algebraic K-finite modules $M_{1}^{-}, M_{- 1}^{+}$ by $- \frac{1}{8}$ . By [F5], for every $n \geq 2$ the analogous extremal modules at $ν = n - 1$ are exactly the algebraic K-finite spans in $D_{n}^{-}, D_{n}^{+}$ .

3.1F1F4step 2.1

The group invariance and unitary representation structure of the two closed summands follow from [F4]: its disk-coordinate action preserves each closed odd Fourier tail, and the restrictions are strongly continuous and unitary. The tails there are exactly the closures in step 2.1, so this supplies the claimed representation structure.

4.1algebra∎

For $z = x + i y$ with $0 < y < 1$ and $∣ x ∣ < 1$ , one has $∣ z + i ∣^{2} = x^{2} + (y + 1)^{2} \leq 5$ . Hence $∣ q_{1} (z) ∣^{2} y^{- 1} \geq (5 y)^{- 1}$ on this rectangle, and $\int_{0}^{1} \int_{- 1}^{1} (5 y)^{- 1} d x d y = + \infty$ . Thus the formal $n = 1$ holomorphic candidate is not in the weighted finite-norm space, while the odd principal-series summands remain defined in $L_{1}^{2} (K)$ .

Depends on

Used by

Dependency tree · two levels

53 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

Matt Kerr, Notes on the Representation Theory of SL2(R) (CBMS workshop writeup) (standard reference, not scraped)
Emmanuel Kowalski, An Introduction to the Representation Theory of Groups (AMS GSM 155; author's PDF) (standard reference, not scraped)
Pavel Etingof, Representations of Lie Groups, MIT 18.757 Lecture 9 (standard reference, not scraped)