Trough

62 Relative Cycles to 64 The Trace Formula

Initializing search

Home
Mathematics

Trough

Home
Mathematics
Mathematics
- Trough
  Trough
  - Mathlib
  - Tau Ceti
  - Fermat's Last Theorem (Imperial)
  - PNT+
  - Polynomial Freiman-Ruzsa
  - Equational Theories
  - Strong PNT (Math Inc)
  - Formal Conjectures
  - Fermat's Last Theorem (Anthropic)
  - Classification of Finite Simple Groups (Axiom)
  - Lean Pool
  - The Stacks Project in Lean (Axiom)
    
    The Stacks Project in Lean (Axiom)
    
    EGA
    
    SGA
    
    Preliminaries
    
    Schemes
    
    Topics in Scheme Theory
    
    Topics in Scheme Theory
    
    42 Chow Homology to 61 Pro-étale Cohomology
    
    62 Relative Cycles to 64 The Trace Formula
    
    62 Relative Cycles to 64 The Trace Formula
    
    62 Relative Cycles
    
    63 More Étale Cohomology
    
    64 The Trace Formula
    
    Algebraic Spaces
    
    Topics in Geometry
    
    Deformation Theory
    
    Algebraic Stacks
    
    Topics in Moduli Theory
    
    Miscellany
  - Formal Frontier
  - Coverage
  - Sources

Home
Trough
The Stacks Project in Lean (Axiom)
Topics in Scheme Theory

Loading the map…

← 62 Relative Cycles to 64 The Trace Formula

62 Relative Cycles to 64 The Trace Formula

62 Relative Cycles
63 More Étale Cohomology
64 The Trace Formula

Loading dependency explorer…

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.

Developed with AutoformBot. Formalization source. Articles written for Trough are available under CC BY-SA 4.0; Mathlib's docstrings and signatures under Apache-2.0.