Published paper

Intertwining operators for semisimple groups

Anthony W. Knapp, Elias M. Stein

Publication metadata

Journal citation: Annals of Mathematics 93(3), 489–578 (1971)
Publication date: 1971
DOI: 10.2307/1970887 ↗

Abstract

Theorem 6 and Proposition 45 control the critical abscissa and endpoint unitarity in the rank-one complementary-series argument of Einsiedler–Margulis–Venkatesh.

Role in dependence graphs

Proof-critical source

Bounded trajectories of quasi-rays

This paper is included only for the following marked statement:

Theorem 6 and Proposition 45 · source Theorem 6 and Proposition 45; EMV Appendix C, p. 80Identifies the critical abscissa and endpoint unitarity for complementary-series Langlands quotients, putting nontrivial endpoints in a discrete subset below $1$ .

Proof-critical source

Submanifold-genericity of $\mathbb{R}^d$-actions and uniform multiplicative Diophantine approximation

This paper is included only for the following marked statement:

Theorem 6 and Proposition 45 · source theorem and proposition; EMV Appendix CCritical abscissa and endpoint unitarity for complementary series.

AI-generated audit

Audit summary

Audited against the exact journal version of record

Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.

Exact reviewed source

Author-hosted scan of the Annals of Mathematics version of record · volume 93, issue 3 (1971), pages 489–578

Anthony W. Knapp and Elias M. Stein. Intertwining operators for semisimple groups. Annals of Mathematics 93 (1971), no. 3, 489–578.

Open audited source ↗

Generated August 23, 2026

01Statements2 reported findingsCorrect

The rank-one conclusions on normalized intertwining operators, reducibility, and complementary series are correct. The higher-rank normalization construction contains a defect that the authors explicitly corrected in their 1980 sequel; the corrected construction proves the intended cocycle used by the later higher-rank arguments.

Theorem 6Correct in stated rank-one scope

Complementary series up to the critical abscissa

Printed pages 547–549 · Section 14, Theorem 6

For an irreducible unitary representation $σ$ of $M$ with $p_{σ}(0)=0$ , the theorem identifies the complementary interval $0<z<z_c$ and the semidefinite, non-definite endpoint at $z=z_c$ . The definitions, the possible-pole analysis, and the normalized-operator identities used in the proof agree with the surrounding propositions. It is a real-rank-one result, not a general higher-rank unitarity classification.

Annals of Mathematics version of record ↗

Proposition 45Correct in stated group scope

No further quasi-complementary series in the Lorentz cases

Printed page 551 · Section 15, Proposition 45

For $G=SO(n,1)$ or $SU(n,1)$ , the proposition rules out quasi-complementary series beyond the critical abscissa, and rules it out altogether when $p_{σ}(0)$ is nonzero. This supplies the endpoint branch used in the downstream complementary-series argument; it does not assert the same conclusion for every semisimple group.

Annals of Mathematics version of record ↗

02Proofs3 reported findingsContains incorrect or incomplete proofs

The focal rank-one proof chain is valid, but the higher-rank normalization in Part III does not establish the invariance of the scalar normalizing factors needed for decomposition independence and the cocycle relation. The authors explicitly identified this error and rebuilt the normalization in their 1980 sequel.

Lemma 58 and Theorem 7Incorrect or incomplete as written · verified repair

The higher-rank normalizing factors lack the required proved invariance

Printed pages 564–568 · Sections 18–19, especially Lemma 58 and Theorem 7

Part III chooses rank-one factors $\gamma_{\sigma}(z)$ only subject to Proposition 37 and then treats them as invariant under the canonical identifications arising from different embedded rank-one subgroups. Those conditions do not force the needed invariance, so Lemma 58 does not justify decomposition independence and the proof of the cocycle identity in Theorem 7 is incomplete. Knapp and Stein later state explicitly that, by error, the functions chosen in this paper may not have had that invariance property and that the defect becomes troublesome in higher rank. Their 1980 sequel repairs the construction by choosing $\gamma$ simultaneously as a function of the corresponding scalar $\eta$ , which makes equal $\eta$ -data receive equal factors, and then re-establishes the normalized cocycle.

A. W. Knapp and E. M. Stein, Intertwining operators for semisimple groups, II, Section 8, page 49 and footnote 10 ↗

Theorem 6 proof chainChecked at source level

Endpoint positivity and degeneracy

Printed pages 546–549 · Proposition 38, Lemmas 39–40, and Theorem 6

The proof uses the inverse and adjoint identities for the normalized operator, finite-dimensional $K$ -type blocks, and continuity of their Hermitian forms to propagate positive definiteness below $z_c$ . At the critical point it exhibits a nonzero null vector from the composition scalar's vanishing, or by the analogous pole case, giving semidefiniteness but not definiteness. This chain is entirely in the real-rank-one part of the paper and does not use the defective higher-rank identification in Lemma 58.

Annals of Mathematics version of record ↗

Full-paper verification boundaryNot independently rederived

Long analytic components remain ordinary-audit scope

Printed pages 493–578 · Parts I–III

The source contains long proofs of singular-integral estimates, asymptotic expansions, Plancherel-factor identification, and higher-rank reductions. The complete scan was OCR-assisted and source-checked, while the focal result was traced through its local prerequisites; those analytic proofs were not reproduced line by line. This coverage limit is separate from the concrete higher-rank normalization defect above.