Monsky–Washnitzer Cohomology
   HOME

TheInfoList



OR:

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 ...
, Monsky–Washnitzer cohomology is a ''p''-adic
cohomology theory In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed ...
defined for non-singular
affine varieties In algebraic geometry, an affine variety, or affine algebraic variety, over an algebraically closed field is the zero-locus in the affine space of some finite family of polynomials of variables with coefficients in that generate a prime ideal. ...
over
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
s of positive characteristic ''p'' introduced by , who were motivated by the work of . The idea is to
lift Lift or LIFT may refer to: Physical devices * Elevator, or lift, a device used for raising and lowering people or goods ** Paternoster lift, a type of lift using a continuous chain of cars which do not stop ** Patient lift, or Hoyer lift, mobile ...
the variety to characteristic 0, and then take a suitable subalgebra of the
algebraic de Rham cohomology Algebraic may refer to any subject related to algebra in mathematics and related branches like algebraic number theory and algebraic topology. The word algebra itself has several meanings. Algebraic may also refer to: * Algebraic data type, a data ...
of . The construction was simplified by . Its extension to more general varieties is called rigid cohomology.


References

* * (letter to Atiyah, Oct. 14 1963) * * * {{DEFAULTSORT:Monsky-Washnitzer cohomology Algebraic geometry Cohomology theories Homological algebra