Differential graded algebra

In mathematics, in particular in homological algebra, a differential graded algebra is a graded associative algebra with an added chain complex structure that respects the algebra structure. TOC A differential graded algebra (or DG-algebra for short) A is a graded algebra equipped with a map which has either degree 1 (cochain complex convention) or degree −1 (chain complex convention) that satisfies two conditions: A more succinct way to state the same definition is to say that a DG-algebra is a monoid object in the . A DG morphism between DG-algebras is a graded algebra homomorphism which respects the differential d. A differential graded augmented algebra (also called a DGA-algebra, an augmented DG-algebra or simply a DGA) is a DG-algebra equipped with a DG morphism to the ground ring (the terminology is due to Henri Cartan). Warning: some sources use the term DGA for a DG-algebra. The tensor algebra is a DG-algebra with differential similar to that of the Koszul complex. For a vector space over a field there is a graded vector space defined as where . If is a basis for there is a differential on the tensor algebra defined component-wise sending basis elements to In particular we have and so One of the foundational examples of a differential graded algebra, widely used in commutative algebra and algebraic geometry, is the Koszul complex. This is because of its wide array of applications, including constructing flat resolutions of complete intersections, and from a derived perspective, they give the derived algebra representing a derived critical locus. Differential forms on a manifold, together with the exterior derivation and the exterior product form a DG-algebra. These have wide applications, including in derived deformation theory. See also de Rham cohomology. The singular cohomology of a topological space with coefficients in is a DG-algebra: the differential is given by the Bockstein homomorphism associated to the short exact sequence , and the product is given by the cup product.

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

Related people (4)

Related units (4)

Related concepts (16)

Related courses (22)

Related lectures (73)

Multigraded algebras and multigraded linear series

Leonid Monin, Fatemeh Mohammadi, Yairon Cid Ruiz

This paper is devoted to the study of multigraded algebras and multigraded linear series. For an Ns

\mathbb {N}s

-graded algebra A

A

, we define and study its volume function FA:N+s -> R

F_A:\mathbb {N}_+s\rightarrow \mathbb {R}

, which computes the ...

Wiley2024

We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global F-regularity to mixed characteristic and identify certain stable sections of adjoint lin ...

SPRINGER HEIDELBERG2023

Contrastive Class-aware Adaptation for Domain Generalization

Mathieu Salzmann

Domain generalization (DG) tackles the problem of learning a model that generalizes to data drawn from a target domain that was unseen during training. A major trend in this area consists of learning a domain-invariant representation by minimizing the disc ...

IEEE2022

Graded vector space

In mathematics, a graded vector space is a vector space that has the extra structure of a grading or gradation, which is a decomposition of the vector space into a direct sum of vector subspaces, generally indexed by the integers. For "pure" vector spaces, the concept has been introduced in homological algebra, and it is widely used for graded algebras, which are graded vector spaces with additional structures. Let be the set of non-negative integers.

Monoid (category theory)

In , a branch of mathematics, a monoid (or monoid object, or internal monoid, or algebra) (M, μ, η) in a (C, ⊗, I) is an M together with two morphisms μ: M ⊗ M → M called multiplication, η: I → M called unit, such that the pentagon and the unitor diagram commute. In the above notation, 1 is the identity morphism of M, I is the unit element and α, λ and ρ are respectively the associativity, the left identity and the right identity of the monoidal category C. Dually, a comonoid in a monoidal category C is a monoid in the Cop.

Derived algebraic geometry

Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras (over ), simplicial commutative rings or -ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness (e.g., Tor) of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements.

MATH-334: Representation theory

Study the basics of representation theory of groups and associative algebras.

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

MATH-726: Working group in Topology I

The theme of the working group varies from year to year. Examples of recent topics studied include: Galois theory of ring spectra, duality in algebra and topology, and topological algebraic geometry.

Cohomology Real Projective Space MATH-506: Topology IV.b - cohomology rings

Covers cohomology in real projective spaces, focusing on associative properties and algebraic structures.

Cohomology: Cross Product MATH-506: Topology IV.b - cohomology rings

Explores cohomology and the cross product, demonstrating its application in group actions like conjugation.

Monster Group: Representation MATH-680: Monstrous moonshine

Explores the Monster group, a sporadic simple group with a unique representation theory.