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 as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.
In mathematics, a gerbe is a construct in homological algebra and topology. Gerbes were introduced by Jean Giraud following ideas of Alexandre Grothendieck as a tool for non-commutative cohomology in degree 2. They can be seen as an analogue of fibre bundles where the fibre is the classifying stack of a group. Gerbes provide a convenient, if highly abstract, language for dealing with many types of deformation questions especially in modern algebraic geometry. In addition, special cases of gerbes have been used more recently in differential topology and differential geometry to give alternative descriptions to certain cohomology classes and additional structures attached to them.
In mathematics, the Thom space,Thom complex, or Pontryagin–Thom construction of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space.
In algebraic geometry, a Noetherian scheme is a scheme that admits a finite covering by open affine subsets , where each is a Noetherian ring. More generally, a scheme is locally Noetherian if it is covered by spectra of Noetherian rings. Thus, a scheme is Noetherian if and only if it is locally Noetherian and compact. As with Noetherian rings, the concept is named after Emmy Noether.
In mathematics, elliptic cohomology is a cohomology theory in the sense of algebraic topology. It is related to elliptic curves and modular forms.
Jack Johnson Morava is an American homotopy theorist at Johns Hopkins University.
In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist.
Michael Jerome Hopkins is an American mathematician known for work in algebraic topology.
In mathematics, a highly structured ring spectrum or -ring is an object in homotopy theory encoding a refinement of a multiplicative structure on a cohomology theory. A commutative version of an -ring is called an -ring. While originally motivated by questions of geometric topology and bundle theory, they are today most often used in stable homotopy theory.
Mark Edward Mahowald was an American mathematician known for work in algebraic topology.
In mathematics, the Landweber exact functor theorem, named after Peter Landweber, is a theorem in algebraic topology. It is known that a complex orientation of a homology theory leads to a formal group law. The Landweber exact functor theorem can be seen as a method to reverse this process: it constructs a homology theory out of a formal group law.
In algebraic topology, a commutative ring spectrum, roughly equivalent to a -ring spectrum, is a commutative monoid in a good category of spectra.
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, simplicial commutative rings or -ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements. Derived algebraic geometry can be thought of as an extension of this idea, and provides natural settings for intersection theory of singular algebraic varieties and cotangent complexes in deformation theory, among the other applications.
In mathematics, chromatic homotopy theory is a subfield of stable homotopy theory that studies complex-oriented cohomology theories from the "chromatic" point of view, which is based on Quillen's work relating cohomology theories to formal groups. In this picture, theories are classified in terms of their "chromatic levels"; i.e., the heights of the formal groups that define the theories via the Landweber exact functor theorem. Typical theories it studies include: complex K-theory, elliptic cohomology, Morava K-theory and tmf.
This is a glossary of properties and concepts in algebraic topology in mathematics.
In the mathematical discipline of topology, the Brown–Gitler spectrum is a spectrum whose cohomology is a certain cyclic module over the Steenrod algebra.
Charles Waldo Rezk is an American mathematician, specializing in algebraic topology and category theory.
