How to read this blueprint ▶
- Colours in the dependency graph.
- Status
1 General spin groups and GGP triples ▶
- 1.1 Quadratic spaces and the general spin group
- 1.2 GGP triples
2 Representations, characters and quasi-characters ▶
- 2.1 Representations and the multiplicity
- 2.2 Characters and quasi-characters
3 Inner forms and the main theorem ▶
- 3.1 Inner forms, stability and packets
- 3.2 The main theorem
4 Proof of the main theorem from the multiplicity formula ▶
5 The multiplicity formula ▶
- 5.1 Strongly cuspidal functions and the distribution \(J\)
- 5.2 The induction
6 The spectral side ▶
- 6.1 Parabolic induction
- 6.2 The spectral expansion
7 The linear form \(m_{\mathrm{geom}}\)
8 The geometric expansion ▶
9 Further statements not yet used by the main theorem ▶
Dependency graph

The local Gan–Gross–Prasad conjecture for general spin groups: a Lean blueprint

Samantha Pease

How to read this blueprint
- Colours in the dependency graph.
- Status
1 General spin groups and GGP triples
- 1.1 Quadratic spaces and the general spin group
- 1.2 GGP triples
2 Representations, characters and quasi-characters
- 2.1 Representations and the multiplicity
- 2.2 Characters and quasi-characters
3 Inner forms and the main theorem
- 3.1 Inner forms, stability and packets
- 3.2 The main theorem
4 Proof of the main theorem from the multiplicity formula
5 The multiplicity formula
- 5.1 Strongly cuspidal functions and the distribution \(J\)
- 5.2 The induction
6 The spectral side
- 6.1 Parabolic induction
- 6.2 The spectral expansion
7 The linear form \(m_{\mathrm{geom}}\)
8 The geometric expansion
9 Further statements not yet used by the main theorem