Grothendieck–Lefschetz trace formula
GPTKB entity
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
varieties over finite fields
|
| gptkbp:field |
gptkb:algebraic_geometry
|
| gptkbp:generalizes |
gptkb:Lefschetz_fixed-point_theorem
|
| https://www.w3.org/2000/01/rdf-schema#label |
Grothendieck–Lefschetz trace formula
|
| gptkbp:introduced |
gptkb:Alexander_Grothendieck
|
| gptkbp:namedAfter |
gptkb:Solomon_Lefschetz
gptkb:Alexander_Grothendieck |
| gptkbp:relatedTo |
gptkb:Weil_conjectures
gptkb:étale_cohomology fixed point theorem |
| gptkbp:state |
The number of fixed points of a morphism over a finite field is equal to the alternating sum of traces of the induced map on étale cohomology groups.
|
| gptkbp:bfsParent |
gptkb:Lefschetz_trace_formula
gptkb:Alexandre_Grothendieck |
| gptkbp:bfsLayer |
7
|