In
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
, a morphism
of
scheme A scheme is a systematic plan for the implementation of a certain idea.
Scheme or schemer may refer to:
Arts and entertainment
* ''The Scheme'' (TV series), a BBC Scotland documentary series
* The Scheme (band), an English pop band
* ''The Schem ...
s is said to be locally acyclic if, roughly, any
sheaf
Sheaf may refer to:
* Sheaf (agriculture), a bundle of harvested cereal stems
* Sheaf (mathematics), a mathematical tool
* Sheaf toss, a Scottish sport
* River Sheaf, a tributary of River Don in England
* ''The Sheaf'', a student-run newspaper ser ...
on ''S'' and its restriction to ''X'' through ''f'' have the same
étale cohomology
In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjecture ...
, locally. For example, a
smooth morphism In algebraic geometry, a morphism f:X \to S between schemes is said to be smooth if
*(i) it is locally of finite presentation
*(ii) it is flat, and
*(iii) for every geometric point \overline \to S the fiber X_ = X \times_S is regular.
(iii) means ...
is universally locally acyclic.
References
*.
{{algebraic-geometry-stub
Morphisms of schemes