Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
schemes
sheaves |
| gptkbp:concerns |
gptkb:étale_cohomology
base change smooth morphisms |
| gptkbp:field |
gptkb:algebraic_geometry
|
| gptkbp:introduced |
gptkb:Alexander_Grothendieck
|
| gptkbp:publishedIn |
gptkb:SGA_4
|
| gptkbp:relatedTo |
proper base change theorem
|
| gptkbp:state |
the formation of higher direct images of a sheaf under a smooth proper morphism commutes with base change
|
| gptkbp:usedIn |
study of fundamental groups
study of étale cohomology of algebraic varieties |
| gptkbp:bfsParent |
gptkb:Etale_cohomology
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Smooth base change theorem
|