Published paper

Démonstration de la conjecture $\tau$

Laurent Clozel

Published version ↗Open DOI ↗

Publication metadata

Journal citation: Inventiones Mathematicae 151(2), 297–328 (2003)
Publication date: 2003
DOI: 10.1007/s00222-002-0253-8 ↗

Abstract

The paper proves the property- $\tau$ input that completes the uniform congruence spectral-gap argument for arithmetic lattices.

Role in dependence graphs

Proof-critical source

Bounded trajectories of quasi-rays

This paper is included only for the following marked statement:

Theorem 3.1 · Theorem 3.1; structural proof §§1.1 and 3.2Completes the congruence spectral-gap/property- $\tau$ input used in the general lattice argument.

AI-generated audit

Audit summary

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

No audit has been generated for this published version.