En mathématiques, un complexe différentiel est un groupe abélien (voire un module), ou plus généralement un objet d'une catégorie abélienne, muni d'un endomorphisme de carré nul (appelé différentielle ou bord), c'est-à-dire dont l' est contenue dans le noyau. Cette condition permet de définir son homologie, qui constitue un invariant essentiel en topologie algébrique.
Un complexe différentiel peut être gradué pour constituer un complexe de chaines ou de cochaines). Il peut aussi être muni d'une multiplication ou d'une action extérieure compatible pour obtenir une structure d'anneau, algèbre ou module différentiels.
Soit d une différentielle sur E, c'est-à-dire un endomorphisme de E tel que d = 0.
Un élément du noyau de d est appelé un cycle. Un élément de son image est appelé un bord.
L'homologie du complexe différentiel (E, d) est le quotient du noyau de d par son image :
Le complexe est dit acyclique si son homologie est nulle, c'est-à-dire si le noyau de d est égal à son image.
Un morphisme de complexes différentiels est une application linéaire qui commute avec la différentielle :
Deux tels morphismes et sont dits homotopes s'il existe une application linéaire appelé homotopie telle que .
Tout bord est un cycle.
Un morphisme de complexes différentiels induit une application linéaire entre les homologies.
Deux morphismes homotopes induisent la même application en homologie.
Étant donné une suite exacte courte de complexes différentiels :
il existe une application linéaire appelé connectant entre l'homologie de C et celle de A, qui permet de définir un triangle exact.
Un complexe de chaines se présente comme une suite d'espaces indexée par l'ensemble des entiers relatifs et munie d'applications linéaires de chaque espace vers le précédent,
de façon que les compositions de deux applications successives soient nulles : ∂i∂i+1 = 0.
Un complexe de cochaines se note souvent avec une indexation en exposant :
Dans les deux cas, la somme directe des espaces forme alors un complexe différentiel gradué, souvent notée avec une étoile en indice ou en exposant.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
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
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
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
Couvre le concept de cohomologie de groupe, se concentrant sur les complexes de chaîne, les complexes de cochain, les produits de tasse et les anneaux de groupe.
En mathématiques, l'homologie est une manière générale d'associer une séquence d'objets algébriques tels que des groupes abéliens ou des modules à d'autres objets mathématiques tels que des espaces topologiques. Les groupes d'homologie ont été définis à l'origine dans la topologie algébrique. Des constructions similaires sont disponibles dans beaucoup d'autres contextes, tels que l'algèbre abstraite, les groupes, les algèbres de Lie, la théorie de Galois et la géométrie algébrique.
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.
Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of modules and syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development was closely intertwined with the emergence of .
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
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
, , ,
The objective of this study is to address the difficulty of simplifying the geometric model in which a differential problem is formulated, also called defeaturing, while simultaneously ensuring that the accuracy of the solution is maintained under control. ...