Cohomology | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

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. From its beginning in topology, this idea became a dominant method in the mathematics of the second half of the twentieth century. From the initial idea of homology as a method of constructing algebraic invariants of topological spaces, the range of applications of homology and cohomology theories has spread throughout geometry and algebra. The terminology tends to hide the fact that cohomology, a contravariant theory, is more natural than homology in many applications. At a basic level, this has to do with

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

Related publications

Related people (3)

Related people

Related units (3)

Related units

Related concepts (84)

Related concepts

Related courses (12)

Related courses

Related lectures (25)

Related lectures

Local properties of the Hochschild cohomology of C*-algebras

Let A be a C*-algebra, and let X be a Banach A-bimodule. Johnson [B. E. Johnson, 'Local derivations on C*-algebras are derivations', Trans. Amer Math. Soc. 353 (2000), 313-325] showed that local derivations from A into X are derivations. We extend this concept of locality to the higher cohomology of a C*-algebra and show that, for every n is an element of N, bounded local n-cocycles from A((n)) into X are n-cocycles.

Cambridge University Press2008

Towards new invariants for principal bundles

Martina Rovelli

We investigate the theory of principal bundles from a homotopical point of view. In the first part of the thesis, we prove a classification of principal bundles over a fixed base space, dual to the well-known classification of bundles with a fixed structure group. This leads to an adjointness property in a homotopical context between the classifying space and the loop space. We then focus on characteristic classes, which are invariants for principal bundles that take values in the cohomology of the base space. Each characteristic class captures different geo- metric features of principal bundles. We propose a uniform treatment to interpret most of known characteristic classes as obstructions to group reduction and to the extension of a universal cocycle. By plugging in the correct parameters, the method recovers several classical theorems. Afterwards, we construct a long exact sequence of abelian groups for any principal bundle. This sequence involves the cohomology of the base space and the group cohomology of the structure group. Moreover the connecting map is deeply related with the characteristic classes of the bundle.

EPFL2017

Lq,p-cohomology of Riemannian manifolds and simplicial complexes of bounded geometry

Stephen Ducret

The Lq,p-cohomology of a Riemannian manifold (M, g) is defined to be the quotient of closed Lp-forms, modulo the exact forms which are derivatives of Lq-forms, where the measure considered comes from the Riemannian structure. The Lq,p-cohomology of a simplicial complex K is defined to be the quotient of p-summable cocycles of K, modulo the coboundaries of q-summable cocycles. We introduce those two notions together with a variant for coarse cohomology on graphs, and we establish their main properties. We define the categories we work on, i.e. manifolds and simplicial complexes of bounded geometry, and we show how cohomology classes can be represented by smooth forms. The first result of the thesis is a de Rham type theorem: we prove that for an orientable, complete and (non compact) Riemannian manifold with bounded geometry (M, g) together with a triangulation K with bounded geometry, the Lq,p-cohomology of the manifold coincides with the Lq,p-cohomology of the triangulation. This is a generalization of an earlier result from Gol'dshtein, Kuz'minov and Shvedov. The second result is a quasi-isometry invariance one: we prove how this de Rham type isomorphism together with a result in coarse cohomology induces the fact that the Lq,p-cohomology of a Riemannian manifold depends only on its quasi-invariance class. This result was proved in the q = p case by Elek. We establish some consequences, such as monocity results for Lq,p-cohomology, and the quasi-isometry invariance of the existence of Sobolev inequalities.

EPFL2009

Sheaf (mathematics)

In mathematics, a sheaf (: sheaves) is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard

Algebraic topology

Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to

Homology (mathematics)

In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, with other mathematical objects such as topological spaces. Homology gro

MATH-323: Algebraic topology

Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its properties and learn how to compute it. There will be many examples and applications.

PHYS-702: Advanced Quantum Field Theory

The course builds on the two previous courses on the subject. The main subject is the study of quantum field theories at the loop level. The course introduces the concept of loop divergences and renormalization. Non abelian gauge theories are also discussed in depth.

MATH-410: Riemann surfaces

This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex domains under discontinuous group actions, as algebraic curves.