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 spherical complementary series destroys property (T) for SL2(R)
Statement refuted
has property (T) (Kazhdan's property (T)).
Facts & Assumptions
For , the completion of in the normalized complementary-series form is an irreducible strongly continuous unitary representation, and has norm one (Unitarity of the complementary series).
The smooth even Fourier vectors have pairwise distinct right -characters . For , the normalized complementary form has , so these nonzero -lines survive in its weighted Hilbert completion; no ordinary- norm is transferred (K-type decomposition of the SL2(R) principal series, Unitarity of the complementary series).
The normalized spherical coefficient tends to uniformly on compact sets as (The spherical complementary series converge to the trivial representation).
The classes converge to the trivial class in the Fell topology as (The spherical complementary series converge to the trivial representation, The Fell topology on the unitary dual).
For the unit vector in a unitary representation, by expansion of the squared norm.
The A-page proposition proves directly that fails property (T) by one direct-sum representation built from a cofinal sequence of complementary-series parameters (SL2(R) does not have property (T), Kazhdan's property (T)).
A unit vector is -invariant when its displacement is strictly less than at every point of (Almost invariant vectors for a unitary representation).
AC is the principle that every family of nonempty sets has a choice function (The Axiom of Choice); it is assumed by the in-run representation suppliers.
Counterexample
Given: AC, , and the family of parameters .
Proof technique: use the compact-uniform spherical coefficient limit and the earlier A-page failure theorem.
By [F1], each fixed is irreducible and strongly continuous unitary; [F2] gives a nonzero vector with , so it is not the trivial representation. Its fixed subspace is closed and invariant, hence irreducibility implies that it is zero.
Fix any compact and . If , every unit vector is -invariant. If is nonempty and compact, [F3] lets us choose close enough to that ; [F1] supplies the unit vector , and [F5] gives for every . Thus the same fixed-parameter family has nontrivial representations with near-invariant vectors for every compact test and tolerance.
By [F4], the nontrivial classes from step 1.1 converge to the trivial class in the Fell topology as . No fixed is asserted to weakly contain the trivial representation; the convergence is a parameter-family statement.
The A-page proposition in [F6] constructs the direct sum over an explicit cofinal sequence , which has almost invariant vectors and no invariant vector; hence fails property (T), refuting the statement above. AC is inherited as in [A1].
Depends on
- SL2(R) does not have property (T)
- The spherical complementary series converge to the trivial representation
- Unitarity of the complementary series
- K-type decomposition of the SL2(R) principal series
- The Fell topology on the unitary dual
- Almost invariant vectors for a unitary representation
- Kazhdan's property (T)
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
51 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
- Pavel Etingof, Representations of Lie Groups (MIT 18.757 lecture notes, Fall 2023) (standard reference, not scraped)
- Emmanuel Breuillard, PCMI Lecture Notes on Property (T), Expander Graphs and Approximate Groups (standard reference, not scraped)