2016
DOI: 10.1002/prop.201600031
|View full text |Cite
|
Sign up to set email alerts
|

Higher groupoid bundles, higher spaces, and self‐dual tensor field equations

Abstract: We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general class of (higher) spaces comprising presentable differentiable stacks, as e.g. orbifolds. We start off with a self-contained review on simplicial sets as models of p8, 1q-categories. We then discuss principal bundles in terms of simplicial maps and their homotopies. We explain i… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
55
0

Year Published

2018
2018
2020
2020

Publication Types

Select...
6

Relationship

6
0

Authors

Journals

citations
Cited by 28 publications
(55 citation statements)
references
References 70 publications
0
55
0
Order By: Relevance
“…The mathematical framework of higher principal bundles with connections, which underlies higher gauge theory, has been developed to full extent, see e.g. [9] or [10] and references therein. There is, however, a severe lack of concrete, interesting examples.…”
Section: Introduction and Resultsmentioning
confidence: 99%
“…The mathematical framework of higher principal bundles with connections, which underlies higher gauge theory, has been developed to full extent, see e.g. [9] or [10] and references therein. There is, however, a severe lack of concrete, interesting examples.…”
Section: Introduction and Resultsmentioning
confidence: 99%
“…Just as a Lie group differentiates to a Lie algebra, a Lie groupoid differentiates to a Lie algebroid and a very general prescription for the Lie differentiation of L‐groupoids is found in [], see also [] for all details.…”
Section: Mathematical Toolsmentioning
confidence: 99%
“…It turns out that the 1‐jet of a Lie quasi‐group is an L‐algebra []; see also [] for a constructive proof. In particular, letting G:=G2G1be a Lie quasi‐group with face maps fip and degeneracy maps dip, the 1‐jet of scriptG is parametrised as [] Lfalse[1false]=k0sans-serifLkfalse[1false]3.33333pt3.33333pt3.33333ptwith3.33333pt3.33333pt3.33333ptsans-serifLkfalse[1false]:=i=0kkerfi0.16em1kfalse[1kfalse],where fi0.16emp denotes the linearisation of fip. Furthermore, μ1false|sans-serifLkfalse[1false]=sans-seriff1k1k and the μi for i>1 are given in terms of j ‐th order derivatives of the face maps with ji…”
Section: Quasi‐groupsmentioning
confidence: 99%