Principal \(\infty\)-bundles: presentations (Q496294): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
The authors study principal \(\infty\)-bundles in an \(\infty\)-topos. The following statements are formalized and proved: 1. Over a site with a terminal object, every \(\infty\)-group is presented by a presheaf of simplicial groups; 2. Over a cohesive site \(C\) and a \(C\)-acyclic presheaf \(G\) of simplicial groups, \(G\)-principal \(\infty\)-bundles are classified by hyper-Čech cohomology with coeficients in \(G\); 3. Over a site \(C\) with enough points, principal \(\infty\)-bundles are presented by ordinary simplicial bundles in sheaves over \(C\) satisfying a weakened notion of principality. | |||
Property / review text: The authors study principal \(\infty\)-bundles in an \(\infty\)-topos. The following statements are formalized and proved: 1. Over a site with a terminal object, every \(\infty\)-group is presented by a presheaf of simplicial groups; 2. Over a cohesive site \(C\) and a \(C\)-acyclic presheaf \(G\) of simplicial groups, \(G\)-principal \(\infty\)-bundles are classified by hyper-Čech cohomology with coeficients in \(G\); 3. Over a site \(C\) with enough points, principal \(\infty\)-bundles are presented by ordinary simplicial bundles in sheaves over \(C\) satisfying a weakened notion of principality. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jiří Rosický / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18B25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P99 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6483851 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
infinity topos | |||
Property / zbMATH Keywords: infinity topos / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
infinity bundle | |||
Property / zbMATH Keywords: infinity bundle / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
simplicial group | |||
Property / zbMATH Keywords: simplicial group / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2101073478 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1207.0249 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the van Kampen theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2794664 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher principal bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Adding inverses to diagrams. II: Invertible homotopy theories are spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the imbedding of systems of compacta in simplicial complexes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3972725 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract homotopy theory and generalized sheaf cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Loop spaces, characteristic classes and geometric quantization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of degree-four characteristic classes and of line bundles on loop spaces. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of degree-4 characteristic classes and of line bundles on loop spaces. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The relationship between the diagonal and the bar constructions on a bisimplicial set / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariance de la<i>K</i>-Théorie par équivalences dérivées / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Universal homotopy theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypercovers and simplicial presheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplicial methods and the interpretation of “triple” cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3961002 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Calculating simplicial localizations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A classification theorem for diagrams of simplicial sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Loop groups and twisted <i>K</i> -theory I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weighted limits in simplicial homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5632701 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplicial homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integrating -algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexe cotangent et déformations. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplicial presheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean localization, in practice / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cocycle Categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On cocycle bitorsors and gerbes over a Grothendieck topos / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying spaces for sheaves of simplicial groupoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CROSSED MODULE BUNDLE GERBES; CLASSIFICATION, STRING GROUP AND DIFFERENTIAL GEOMETRY / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: NONABELIAN BUNDLE 2-GERBES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4679165 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Twisted K-theory of differentiable stacks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher Topos Theory (AM-170) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the correspondence between gerbes and bouquets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693740 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bundle Gerbes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Principal \(\infty \)-bundles: general theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Principal \(\infty\)-bundles: presentations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Four equivalent versions of nonabelian gerbes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopical algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplicial principal bundles in parametrized spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bundle 2-Gerbes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: D\'ecalage and Kan's simplicial loop group functor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying spaces and fibrations of simplicial sheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Principal 2-bundles and their gauge 2-groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Descent for \(n\)-bundles / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:41, 10 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Principal \(\infty\)-bundles: presentations |
scientific article |
Statements
Principal \(\infty\)-bundles: presentations (English)
0 references
21 September 2015
0 references
The authors study principal \(\infty\)-bundles in an \(\infty\)-topos. The following statements are formalized and proved: 1. Over a site with a terminal object, every \(\infty\)-group is presented by a presheaf of simplicial groups; 2. Over a cohesive site \(C\) and a \(C\)-acyclic presheaf \(G\) of simplicial groups, \(G\)-principal \(\infty\)-bundles are classified by hyper-Čech cohomology with coeficients in \(G\); 3. Over a site \(C\) with enough points, principal \(\infty\)-bundles are presented by ordinary simplicial bundles in sheaves over \(C\) satisfying a weakened notion of principality.
0 references
infinity topos
0 references
infinity bundle
0 references
simplicial group
0 references
0 references