Espace classifiant

Résumé

En mathématiques, un espace classifiant pour un groupe topologique G est la base d’un fibré principal particulier EG → BG appelé fibré universel, induisant tous les fibrés ayant ce groupe de structure sur n’importe quel CW-complexe X par (pullback). :\begin{matrix}E & \rightarrow & \mathrm EG \ \downarrow && \downarrow \ X & \rightarrow & \mathrm BG\end{matrix} Dans le cas d’un groupe discret, la définition d’espace classifiant correspond à celle d’un espace d'Eilenberg-MacLane K(G, 1), c’est-à-dire un espace connexe par arcs dont tous les groupes d'homotopie sont triviaux en dehors du groupe fondamental (lequel est isomorphe à G). La notion s’étend avec celle d’espace classifiant d’une catégorie, qui est une réalisation géométrique de son nerf. Catégorie:Topologie algébrique

Source officielle

https://fr.wikipedia.org/wiki/Espace_classifiant

À propos de ce résultat

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.

Publications associées (8)

Publications associées

Chargement

Personnes associées (2)

Personnes associées

Chargement

Unités associées (2)

Unités associées

Chargement

Concepts associés (28)

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 f

In mathematics, real projective space, denoted \mathbb{RP}^n or \mathbb{P}_n(\R), is the topological space of lines passing through the origin 0 in the real space \R^{n+1}. It is a compact, smooth m

En mathématiques, un espace fibré est, intuitivement, un espace topologique qui est localement le produit de deux espaces — appelés la base et la fibre — mais en général pas globalement. Par exemple,

Afficher plus

Concepts associés

Chargement

Cours associés (1)

Cours associés

Chargement

Séances de cours associées (1)

Séances de cours associées

Chargement

Kan spectra, group spectra and twisting structures

Marc Stephan

Kan spectra provide a combinatorial model for the stable homotopy category. They were introduced by Dan Kan in 1963 under the name semisimplicial spectra. A Kan spectrum is similar to a pointed simplicial set, but it has simplices in negative degrees as well and all its simplices have infinitely many faces and degeneracies. In the first part of this thesis, we define a functor from the category of Gamma-spaces to the category of Kan spectra without passing through any other category of spectra. We show that the resulting Kan spectrum of a Gamma-space A agrees with the usual object associated to A in the stable homotopy category by comparing it to Bousfield-Friedlander's spectrum construction. In particular, applying our construction to the Gamma-space associated to a symmetric monoidal category provides a combinatorial model of its algebraic K-theory spectrum. For the Gamma-space associated to an abelian group, this yields via the stable Dold-Kan correspondence the unbounded chain complex with the abelian group concentrated in degree zero. The second part of this work concerns group spectra and twisting structures. Group spectra are the group objects in the category of Kan spectra. They provide an algebraic, combinatorial model for the stable homotopy category. We transfer Brown's model structure from the category of Kan spectra to a Quillen equivalent model structure on the category of group spectra. We then construct the analogues of Kan's loop group functor and its right adjoint Wbar together with corresponding classifying bundles, so that the category of Kan spectra becomes a twisted homotopical category in the sense of Farjoun and Hess.

EPFL2015

Chargement

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

Chargement

A Looping-Delooping Adjunction For Topological Spaces

Martina Rovelli

Every principal G-bundle over X is classified up to equivalence by a homotopy class X -> BG, where BG is the classifying space of G. On the other hand, for every nice topological space X Milnor constructed a strict model of its loop space (Omega) over tildeX, that is a group. Moreover, the morphisms of topological groups (Omega) over tildeX -> G generate all the G-bundles over X up to equivalence. In this paper, we show that the relation between Milnor's loop space and the classifying space functor is, in a precise sense, an adjoint pair between based spaces and topological groups in a homotopical context. This proof leads to a classification of principal bundles over a fixed space, that is dual to the classification of bundles with a fixed group. Such a result clarifies the deep relation that exists between the theory of bundles, the classifying space construction and the loop space, which are very important in topological K-theory, group cohomology, and homotopy theory.

Int Press Boston, Inc2017

Chargement