Local cohomology

In algebraic geometry, local cohomology is an algebraic analogue of relative cohomology. Alexander Grothendieck introduced it in seminars in Harvard in 1961 written up by , and in 1961-2 at IHES written up as SGA2 - , republished as . Given a function (more generally, a section of a quasicoherent sheaf) defined on an open subset of an algebraic variety (or scheme), local cohomology measures the obstruction to extending that function to a larger domain. The rational function , for example, is defined only on the complement of on the affine line over a field , and cannot be extended to a function on the entire space. The local cohomology module (where is the coordinate ring of ) detects this in the nonvanishing of a cohomology class . In a similar manner, is defined away from the and axes in the affine plane, but cannot be extended to either the complement of the -axis or the complement of the -axis alone (nor can it be expressed as a sum of such functions); this obstruction corresponds precisely to a nonzero class in the local cohomology module . Outside of algebraic geometry, local cohomology has found applications in commutative algebra, combinatorics, and certain kinds of partial differential equations. In the most general geometric form of the theory, sections are considered of a sheaf of abelian groups, on a topological space , with support in a closed subset , The derived functors of form local cohomology groups In the theory's algebraic form, the space X is the spectrum Spec(R) of a commutative ring R (assumed to be Noetherian throughout this article) and the sheaf F is the quasicoherent sheaf associated to an R-module M, denoted by . The closed subscheme Y is defined by an ideal I. In this situation, the functor ΓY(F) corresponds to the I-torsion functor, a union of annihilators i.e., the elements of M which are annihilated by some power of I. As a right derived functor, the ith local cohomology module with respect to I is the ith cohomology group of the chain complex obtained from taking the I-torsion part of an injective resolution of the module .

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (21)

Related people (1)

Related units (3)

Related concepts (10)

Related courses (1)

Related lectures (5)

MATH-687: Algebraic models for homotopy types

ln this course we will develop algebraic and coalgebraic models for homotopy types. Among other things we will learn about Quillen's and Sullivan's model of rationâl homotopy types and about Mandell's

Bounded and unbounded cohomology of homeomorphism and diffeomorphism groups

Nicolas Monod

We determine the bounded cohomology of the group of homeomorphisms of certain low-dimensional manifolds. In particular, for the group of orientation-preserving homeomorphisms of the circle and of the closed 2-disc, it is isomorphic to the polynomial ring g ...

SPRINGER HEIDELBERG2023

Lamplighters and the bounded cohomology of Thompson's group

Nicolas Monod

We prove the vanishing of the bounded cohomology of lamplighter groups for a wide range of coefficients. This implies the same vanishing for a number of groups with self-similarity properties, such as Thompson's group F. In particular, these groups are bou ...

SPRINGER BASEL AG2022

A Hopf algebra model for Dwyer's tame spaces

Haoqing Wu

In this thesis, we give a modern treatment of Dwyer's tame homotopy theory using the language of

\infty

-categories.We introduce the notion of tame spectra and show it has a concrete algebraic description.We then carry out a study of

\infty

-operads and ...

EPFL2022

Coherent duality

In mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory. The historical roots of the theory lie in the idea of the adjoint linear system of a linear system of divisors in classical algebraic geometry. This was re-expressed, with the advent of sheaf theory, in a way that made an analogy with Poincaré duality more apparent.

Glossary of algebraic geometry

This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.

Dualizing module

In abstract algebra, a dualizing module, also called a canonical module, is a module over a commutative ring that is analogous to the canonical bundle of a smooth variety. It is used in Grothendieck local duality. A dualizing module for a Noetherian ring R is a finitely generated module M such that for any maximal ideal m, the R/m vector space Ext(R/m,M) vanishes if n ≠ height(m) and is 1-dimensional if n = height(m). A dualizing module need not be unique because the tensor product of any dualizing module with a rank 1 projective module is also a dualizing module.

Derived Functor Approach MATH-510: Algebraic geometry II - schemes and sheaves

Covers the derived functor approach to Čech cohomology, emphasizing the relationship between derived functors and sheaf theory.

Homotopy Theory of Chain Complexes MATH-436: Homotopical algebra

Explores the homotopy theory of chain complexes, focusing on model categories, weak equivalences, and the retraction axiom.

Linear Regression: Least Squares MATH-111(e): Linear Algebra

Explains linear regression using least squares to minimize errors and solve normal equations.