Principal \(\infty\)-bundles: presentations (Q496294): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
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 |
Revision as of 00:08, 1 July 2023
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