\(G\)-gerbes, principal \(2\)-group bundles and characteristic classes (Q283518): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Import241208061232 (talk | contribs)
Normalize DOI.
 
(5 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.4310/JSG.2015.v13.n4.a6 / rank
Normal rank
 
Property / review text
 
In the present paper, the relation between groupoid \(G\)-extensions, principal Lie \(2\)-group bundles and their characteristic classes is studied. A Lie \(2\)-group is a Lie groupoid \(\Gamma_2\rightrightarrows \Gamma_1\), whose spaces of objects \(\Gamma_1\) and of morphisms \(\Gamma_2\) are Lie groups and all of whose structure maps are group morphisms. A crossed module \((G\to^\rho H)\) is a Lie group morphism together with an action of \(H\) on \(G\) satisfying suitable compatibility conditions. A generalization of the concept of generalized morphism to \(2\)-groupoids is presented as follows. A generalized morphism of Lie \(2\)-groupoids \(\mathbf{\Gamma}\rightsquigarrow \mathbf{\Delta}\) is a diagram \(\mathbf{\Gamma} \leftarrow^\phi \mathbf{E} \rightarrow^f \mathbf{\Delta}\) in the category \(\{\mathbf{2Gpd}\}\) of Lie \(2\)-groupoids and their morphisms, where \(\phi\) is a Morita equivalence. A principal \([G\to^\rho H]\)-bundle over a Lie groupoid \(\Gamma\) is a generalized morphism from \(\Gamma\) to \([G\to^\rho H]\). The concept of (geometric) nerve of Lie groupoids extends to the \(2\)-categorical context as a functor from the category of Lie \(2\)-groupoids to the category of simplicial manifolds. The cohomology of a \(2\)-groupoid is the cohomology of its nerve, which can be computed via a double complex. Lie \(2\)-group principal bundles are closely related to non-abelian gerbes. Geometrically, non-abelian \(G\)-gerbes over differentiable stacks can be considered as groupoid \(G\)-extensions modulo Morita equivalence. The authors obtain an equivalence between (strict) \(G\)-gerbes over a differentiable stack and principal bundles over the \(2\)-group \([G\to \mathrm{Aut}(G)]\). Here is a general description of the concepts and results from the present paper. After a presentation of the generalized morphisms of Lie \(2\)-groupoids and a recall of some standard material on Lie \(2\)-groupoids (in section 2), the authors present (in section 3) the Theorem 3.4 on the equivalence of groupoids \(G\)-extensions and principal \([G\to^{Ad} \mathrm{Aut}(G)]\)-bundles. Next, in section 4, the authors define the characteristic map/classes of principal Lie \(2\)-group bundles and present the construction of the Dixmier-Douady classes of groupoid central \(G\)-extensions. Next they prove that the Dixmier-Douady class of a central \(G\)-extension coincides with the universal characteristic class of the induced \([Z(G)\to 1]\)-bundle. Since the universal characteristic map can be defined in cohomology with integer coefficients, it follows that the Dixmier-Douady class of a central \(G\)-extension is integral.
Property / review text: In the present paper, the relation between groupoid \(G\)-extensions, principal Lie \(2\)-group bundles and their characteristic classes is studied. A Lie \(2\)-group is a Lie groupoid \(\Gamma_2\rightrightarrows \Gamma_1\), whose spaces of objects \(\Gamma_1\) and of morphisms \(\Gamma_2\) are Lie groups and all of whose structure maps are group morphisms. A crossed module \((G\to^\rho H)\) is a Lie group morphism together with an action of \(H\) on \(G\) satisfying suitable compatibility conditions. A generalization of the concept of generalized morphism to \(2\)-groupoids is presented as follows. A generalized morphism of Lie \(2\)-groupoids \(\mathbf{\Gamma}\rightsquigarrow \mathbf{\Delta}\) is a diagram \(\mathbf{\Gamma} \leftarrow^\phi \mathbf{E} \rightarrow^f \mathbf{\Delta}\) in the category \(\{\mathbf{2Gpd}\}\) of Lie \(2\)-groupoids and their morphisms, where \(\phi\) is a Morita equivalence. A principal \([G\to^\rho H]\)-bundle over a Lie groupoid \(\Gamma\) is a generalized morphism from \(\Gamma\) to \([G\to^\rho H]\). The concept of (geometric) nerve of Lie groupoids extends to the \(2\)-categorical context as a functor from the category of Lie \(2\)-groupoids to the category of simplicial manifolds. The cohomology of a \(2\)-groupoid is the cohomology of its nerve, which can be computed via a double complex. Lie \(2\)-group principal bundles are closely related to non-abelian gerbes. Geometrically, non-abelian \(G\)-gerbes over differentiable stacks can be considered as groupoid \(G\)-extensions modulo Morita equivalence. The authors obtain an equivalence between (strict) \(G\)-gerbes over a differentiable stack and principal bundles over the \(2\)-group \([G\to \mathrm{Aut}(G)]\). Here is a general description of the concepts and results from the present paper. After a presentation of the generalized morphisms of Lie \(2\)-groupoids and a recall of some standard material on Lie \(2\)-groupoids (in section 2), the authors present (in section 3) the Theorem 3.4 on the equivalence of groupoids \(G\)-extensions and principal \([G\to^{Ad} \mathrm{Aut}(G)]\)-bundles. Next, in section 4, the authors define the characteristic map/classes of principal Lie \(2\)-group bundles and present the construction of the Dixmier-Douady classes of groupoid central \(G\)-extensions. Next they prove that the Dixmier-Douady class of a central \(G\)-extension coincides with the universal characteristic class of the induced \([Z(G)\to 1]\)-bundle. Since the universal characteristic map can be defined in cohomology with integer coefficients, it follows that the Dixmier-Douady class of a central \(G\)-extension is integral. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Vasile Oproiu / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 55R65 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 53C08 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 22A22 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 55R10 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 58H05 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 53D17 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 22E65 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6580681 / rank
 
Normal rank
Property / zbMATH Keywords
 
\(G\)-gerbes
Property / zbMATH Keywords: \(G\)-gerbes / rank
 
Normal rank
Property / zbMATH Keywords
 
principal Lie \(2\)-group bundles
Property / zbMATH Keywords: principal Lie \(2\)-group bundles / rank
 
Normal rank
Property / zbMATH Keywords
 
Lie groupoid
Property / zbMATH Keywords: Lie groupoid / rank
 
Normal rank
Property / zbMATH Keywords
 
Lie algebroid
Property / zbMATH Keywords: Lie algebroid / rank
 
Normal rank
Property / zbMATH Keywords
 
Lie bialgebroid
Property / zbMATH Keywords: Lie bialgebroid / rank
 
Normal rank
Property / zbMATH Keywords
 
double vector bundle
Property / zbMATH Keywords: double vector bundle / rank
 
Normal rank
Property / zbMATH Keywords
 
generalized morphism
Property / zbMATH Keywords: generalized morphism / rank
 
Normal rank
Property / zbMATH Keywords
 
Morita morphisms
Property / zbMATH Keywords: Morita morphisms / rank
 
Normal rank
Property / zbMATH Keywords
 
groupoid \(G\)-extension
Property / zbMATH Keywords: groupoid \(G\)-extension / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 0801.1238 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.4310/JSG.2015.V13.N4.A6 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 13:17, 9 December 2024

scientific article
Language Label Description Also known as
English
\(G\)-gerbes, principal \(2\)-group bundles and characteristic classes
scientific article

    Statements

    \(G\)-gerbes, principal \(2\)-group bundles and characteristic classes (English)
    0 references
    0 references
    0 references
    13 May 2016
    0 references
    In the present paper, the relation between groupoid \(G\)-extensions, principal Lie \(2\)-group bundles and their characteristic classes is studied. A Lie \(2\)-group is a Lie groupoid \(\Gamma_2\rightrightarrows \Gamma_1\), whose spaces of objects \(\Gamma_1\) and of morphisms \(\Gamma_2\) are Lie groups and all of whose structure maps are group morphisms. A crossed module \((G\to^\rho H)\) is a Lie group morphism together with an action of \(H\) on \(G\) satisfying suitable compatibility conditions. A generalization of the concept of generalized morphism to \(2\)-groupoids is presented as follows. A generalized morphism of Lie \(2\)-groupoids \(\mathbf{\Gamma}\rightsquigarrow \mathbf{\Delta}\) is a diagram \(\mathbf{\Gamma} \leftarrow^\phi \mathbf{E} \rightarrow^f \mathbf{\Delta}\) in the category \(\{\mathbf{2Gpd}\}\) of Lie \(2\)-groupoids and their morphisms, where \(\phi\) is a Morita equivalence. A principal \([G\to^\rho H]\)-bundle over a Lie groupoid \(\Gamma\) is a generalized morphism from \(\Gamma\) to \([G\to^\rho H]\). The concept of (geometric) nerve of Lie groupoids extends to the \(2\)-categorical context as a functor from the category of Lie \(2\)-groupoids to the category of simplicial manifolds. The cohomology of a \(2\)-groupoid is the cohomology of its nerve, which can be computed via a double complex. Lie \(2\)-group principal bundles are closely related to non-abelian gerbes. Geometrically, non-abelian \(G\)-gerbes over differentiable stacks can be considered as groupoid \(G\)-extensions modulo Morita equivalence. The authors obtain an equivalence between (strict) \(G\)-gerbes over a differentiable stack and principal bundles over the \(2\)-group \([G\to \mathrm{Aut}(G)]\). Here is a general description of the concepts and results from the present paper. After a presentation of the generalized morphisms of Lie \(2\)-groupoids and a recall of some standard material on Lie \(2\)-groupoids (in section 2), the authors present (in section 3) the Theorem 3.4 on the equivalence of groupoids \(G\)-extensions and principal \([G\to^{Ad} \mathrm{Aut}(G)]\)-bundles. Next, in section 4, the authors define the characteristic map/classes of principal Lie \(2\)-group bundles and present the construction of the Dixmier-Douady classes of groupoid central \(G\)-extensions. Next they prove that the Dixmier-Douady class of a central \(G\)-extension coincides with the universal characteristic class of the induced \([Z(G)\to 1]\)-bundle. Since the universal characteristic map can be defined in cohomology with integer coefficients, it follows that the Dixmier-Douady class of a central \(G\)-extension is integral.
    0 references
    0 references
    \(G\)-gerbes
    0 references
    principal Lie \(2\)-group bundles
    0 references
    Lie groupoid
    0 references
    Lie algebroid
    0 references
    Lie bialgebroid
    0 references
    double vector bundle
    0 references
    generalized morphism
    0 references
    Morita morphisms
    0 references
    groupoid \(G\)-extension
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references