Koszul complex

In mathematics, the Koszul complex was first introduced to define a cohomology theory for Lie algebras, by Jean-Louis Koszul (see Lie algebra cohomology). It turned out to be a useful general construction in homological algebra. As a tool, its homology can be used to tell when a set of elements of a (local) ring is an M-regular sequence, and hence it can be used to prove basic facts about the depth of a module or ideal which is an algebraic notion of dimension that is related to but different from the geometric notion of Krull dimension. Moreover, in certain circumstances, the complex is the complex of syzygies, that is, it tells you the relations between generators of a module, the relations between these relations, and so forth. Let R be a commutative ring and E a free module of finite rank r over R. We write for the i-th exterior power of E. Then, given an R-linear map , the Koszul complex associated to s is the chain complex of R-modules: where the differential is given by: for any in E, The superscript means the term is omitted. To show that , use the self-duality of a Koszul complex. Note that and . Note also that ; this isomorphism is not canonical (for example, a choice of a volume form in differential geometry provides an example of such an isomorphism.) If (i.e., an ordered basis is chosen), then, giving an R-linear map amounts to giving a finite sequence of elements in R (namely, a row vector) and then one sets If M is a finitely generated R-module, then one sets: which is again a chain complex with the induced differential . The i-th homology of the Koszul complex is called the i-th Koszul homology. For example, if and is a row vector with entries in R, then is and so Similarly, Given a commutative ring R, an element x in R, and an R-module M, the multiplication by x yields a homomorphism of R-modules, Considering this as a chain complex (by putting them in degree 1 and 0, and adding zeros elsewhere), it is denoted by . By construction, the homologies are the annihilator of x in M.

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 (9)

Related people (1)

Related units (2)

Related concepts (11)

Related courses (1)

Related lectures (6)

MATH-506: Topology IV.b - cohomology rings

Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a

Cochains are all you need

In this thesis, we apply cochain complexes as an algebraic model of space in a diverse range of mathematical and scientific settings. We begin with an algebraic-discrete Morse theory model of auto-encoding cochain data, connecting the homotopy theory of d ...

EPFL2024

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

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

Resolution (algebra)

In mathematics, and more specifically in homological algebra, a resolution (or left resolution; dually a coresolution or right resolution) is an exact sequence of modules (or, more generally, of s of an ), which is used to define invariants characterizing the structure of a specific module or object of this category. When, as usually, arrows are oriented to the right, the sequence is supposed to be infinite to the left for (left) resolutions, and to the right for right resolutions.

Tor functor

In mathematics, the Tor functors are the derived functors of the tensor product of modules over a ring. Along with the Ext functor, Tor is one of the central concepts of homological algebra, in which ideas from algebraic topology are used to construct invariants of algebraic structures. The homology of groups, Lie algebras, and associative algebras can all be defined in terms of Tor. The name comes from a relation between the first Tor group Tor1 and the torsion subgroup of an abelian group.

Lie algebra cohomology

In mathematics, Lie algebra cohomology is a cohomology theory for Lie algebras. It was first introduced in 1929 by Élie Cartan to study the topology of Lie groups and homogeneous spaces by relating cohomological methods of Georges de Rham to properties of the Lie algebra. It was later extended by to coefficients in an arbitrary Lie module. If is a compact simply connected Lie group, then it is determined by its Lie algebra, so it should be possible to calculate its cohomology from the Lie algebra.

Cohomology Groups: Hopf Formula MATH-506: Topology IV.b - cohomology rings

Explores the Hopf formula in cohomology groups, emphasizing the 4-term exact sequence and its implications.

Steenrod Squares MATH-506: Topology IV.b - cohomology rings

Covers the concept of Steenrod Squares and their applications in stable cohomology operations.

Group Cohomology MATH-506: Topology IV.b - cohomology rings

Covers the concept of group cohomology, focusing on chain complexes, cochain complexes, cup products, and group rings.