Local cohomology

Local cohomology

In mathematics, local cohomology is a chapter of homological algebra and sheaf theory introduced into algebraic geometry by Alexander Grothendieck. He developed it in seminars in 1961 at Harvard University, and 1961-2 at IHES. It was later written up as SGA2. Applications to commutative algebra and hyperfunction theory followed.

In the geometric form of the theory, sections Γ"Y" are considered of a sheaf "F" of abelian groups, on a topological space "X", with support in a closed subset "Y". The derived functors of Γ"Y" form local cohomology groups

:"H""Y""i"("X","F")

There is a long exact sequence of sheaf cohomology linking the ordinary sheaf cohomology of "X" and of the open set "U" = "X" "Y", with the local cohomology groups.

The initial applications were to analogues of the Lefschetz hyperplane theorems. In general such theorems state that homology or cohomology is supported on a hyperplane section of an algebraic variety, except for some 'loss' that can be controlled. These results applied to the algebraic fundamental group and to the Picard group.

In commutative algebra for a commutative ring "R" and its spectrum Spec("R") as "X", "Y" can be replaced by the closed subscheme defined by an ideal "I" of "R". The sheaf "F" can be replaced by an "R"-module "M", which gives a quasicoherent sheaf on Spec("R"). In this setting the depth of a module can be characterised over local rings by the vanishing of local cohomology groups, and there is an analogue, the local duality theorem, of Serre duality, using Ext functors of "R"-modules and a dualising module.

References

*M. P. Brodman and R. Y. Sharp (1998) "Local Cohomology: An Algebraic Introduction with Geometric Applications"
*R. Hartshorne (1967) "Local cohomology. A seminar given by A. Grothendieck, Harvard University, Fall, 1961."

External links

* [http://www.ams.org/bull/1999-36-03/S0273-0979-99-00785-5/S0273-0979-99-00785-5.pdf Book review by Hartshorne]
* [http://www.math.polytechnique.fr/~laszlo/sga2/sga2-smf.pdf SGA2 PDF; annotated re-issue]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Cohomology — In mathematics, specifically in algebraic topology, cohomology is a general term for a sequence of abelian groups defined from a co chain complex. That is, cohomology is defined as the abstract study of cochains, cocycles, and coboundaries.… …   Wikipedia

  • Local Fields (book) — Local Fields   Author(s) Jean Pierre Serre …   Wikipedia

  • Local system — In mathematics, local coefficients is an idea from algebraic topology, a kind of half way stage between homology theory or cohomology theory with coefficients in the usual sense, in a fixed abelian group A , and general sheaf cohomology which,… …   Wikipedia

  • Local zeta-function — In number theory, a local zeta function is a generating function : Z ( t ) for the number of solutions of a set of equations defined over a finite field F , in extension fields Fk of F . FormulationThe analogy with the Riemann zeta function… …   Wikipedia

  • Group cohomology — This article is about homology and cohomology of a group. For homology or cohomology groups of a space or other object, see Homology (mathematics). In abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well… …   Wikipedia

  • É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… …   Wikipedia

  • Galois cohomology — In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups. A Galois group G associated to a field extension L / K acts in a natural way… …   Wikipedia

  • Crystalline cohomology — In mathematics, crystalline cohomology is a Weil cohomology theory for schemes introduced by Alexander Grothendieck (1966, 1968) and developed by Pierre Berthelot (1974). Its values are modules over rings of Witt vectors over the base… …   Wikipedia

  • Sheaf cohomology — In mathematics, sheaf cohomology is the aspect of sheaf theory, concerned with sheaves of abelian groups, that applies homological algebra to make possible effective calculation of the global sections of a sheaf F. This is the main step, in… …   Wikipedia

  • Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”