arXiv subjects
Publications and source records attributed to Derek Krepski.
Let $M$ be a smooth manifold and let $χ\in Ω^3(M)$ be closed differential form with integral periods. We show the Lie 2-algebra of sections of the $χ$-twisted Courant algebroid on $M$ is quasi-isomorphic to the Lie 2-algebra of connection-preserving multiplicative vector fields on an $S^1$-bundle gerbe with connection (over $M$) whose 3-curvature is $χ$.
The purpose of this note is to define sheaves for diffeological spaces and give a construction of their Čech cohomology. As an application, we prove that the first degree Čech cohomology classes for the sheaf of smooth functions to an abelian diffeological group $G$ classify the diffeological principal $G$-bundles.
Infinitesimal symmetries of $S^1$-bundle gerbes are modelled with multiplicative vector fields on Lie groupoids. It is shown that a connective structure on a bundle gerbe gives rise to a natural horizontal lift of multiplicative vector fields to the bundle gerbe, and that the 3-curvature presents the obstruction to the horizontal lift being a morphism of Lie 2-algebras. Connection-preserving multiplicative vector fields on a bundle gerbe with connective structure are shown to inherit a natural Lie 2-algebra structure; moreover, this Lie 2-algebra is canonically quasi-isomorphic to the Poisson-Lie 2-algebra of the 2-plectic base manifold $(M,χ)$, where $χ$ is the 3-curvature of the connective structure. As an application of this result, we give analogues of a formula of Kostant in the 2-plectic and quasi-Hamiltonian context.
This paper computes the obstruction to the existence of equivariant extensions of basic gerbes over non-simply connected compact simple Lie groups. By modifying a (finite dimensional) construction of Gawȩdzki-Reis [J. Geom. Phys. 50(1):28-55, 2004], we exhibit basic equivariant bundle gerbes over non-simply connected compact simple Lie groups.
This paper exhibits equivalences of 2-stacks between certain models of $\mathbb{S}^1$-gerbes and differential 3-cocycles. We focus primarily on the model of Dixmier-Douady bundles, and provide an equivalence between the 2-stack of Dixmier-Douady bundles and the 2-stack of differential 3-cocycles of height 1, where the 'height' is related to the presence of connective structure. Differential 3-cocycles of height 2 (resp. height 3) are shown to be equivalent to $\mathbb{S}^1$-bundle gerbes with connection (resp. with connection and curving). These equivalences extend to the equivariant setting of $\mathbb{S}^1$-gerbes over Lie groupoids.
In their 2005 paper, C. Laurent-Gengoux and P. Xu define prequantization for pre-Hamiltonian actions of quasi-presymplectic Lie groupoids in terms of central extensions of Lie groupoids. The definition requires that the quasi-presymplectic structure be exact (i.e. the closed 3-form on the unit space of the Lie groupoid must be exact). In the present paper, we define prequantization for pre-Hamiltonian actions of (not necessarily exact) quasi-presymplectic Lie groupoids in terms of Dixmier-Douady bundles. The definition is a natural adaptation of E. Meinrenken's treatment of prequantization for quasi-Hamiltonian Lie group actions with group-valued moment map. The definition given in this paper is shown to be compatible with the definition of Laurent-Gengoux and Xu when the underlying quasi-presymplectic structure is exact. Properties related to Morita invariance and symplectic reduction are established.
Using the framework of quasi-Hamiltonian actions, we compute the obstruction to prequantization for the moduli space of flat ${\rm PU}(p)$-bundles over a compact orientable surface with prescribed holonomies around boundary components, where $p>2$ is prime.
This paper determines the inertia groups (isotropy groups) of the points of a toric Deligne-Mumford stack [Z/G] (considered over the category of smooth manifolds) that is realized from a quotient construction using a stacky fan or stacky polytope. The computation provides an explicit correspondence between certain geometric and combinatorial data. In particular, we obtain a computation of the connected component of the identity element $G_0 \subset G$ and the component group $G/G_0$ in terms of the underlying stacky fan, enabling us to characterize the toric DM stacks which are global quotients. As another application, we obtain a characterization of those stacky polytopes that yield stacks equivalent to weighted projective stacks and, more generally, to `fake' weighted projective stacks. Finally, we illustrate our results in detail in the special case of labelled sheared simplices, where explicit computations can be made in terms of the facet labels.
This work characterizes global quotient stacks---smooth stacks associated to a finite group acting a manifold---among smooth quotient stacks $[M/G]$, where $M$ is a smooth manifold equipped with a smooth proper action by a Lie group $G$. The characterization is described in terms of the action of the connected component $G_0$ on $M$ and is related to (stacky) fundamental group and covering theory. This characterization is then applied to smooth toric Deligne-Mumford stacks, and global quotients among toric DM stacks are then characterized in terms of their associated combinatorial data of stacky fans.
This paper computes the quantization of the moduli space of flat SO(3)-bundles over an oriented surface with boundary, with prescribed holonomies around the boundary circles. The result agrees with the generalized Verlinde formula conjectured by Fuchs and Schweigert.
An explicit construction of a pre-quantum line bundle for the moduli space of flat G-bundles over a Riemann surface is given, where G is any non-simply connected compact simple Lie group. This work helps to explain a curious coincidence previously observed between Toledano-Laredo's work classifying central extensions of loop groups LG and the author's previous work on the obstruction to pre-quantization of the moduli space of flat G-bundles.
This thesis studies the pre-quantization of quasi-Hamiltonian group actions from a cohomological viewpoint. The compatibility of pre-quantization with symplectic reduction and the fusion product are established, and are used to understand the sufficient conditions for the pre-quantization of $M_G(Σ)$, the moduli space of flat $G$-bundles over a closed surface $Σ$. For a simply connected, compact, simple Lie group $G$, $M_G(Σ)$ is known to be pre-quantizable at integer levels. For non-simply connected $G$, however, integrality of the level is not sufficient for pre-quantization, and this thesis determines the obstruction---namely a certain cohomology class in $H^3(G\times G;\Z)$---that places further restrictions on the underlying level. The levels that admit a pre-quantization of the moduli space are determined explicitly for all non-simply connected, compact, simple Lie groups $G$. Partial results are obtained for the case of a surface $Σ$ with marked points. Also, it is shown that via the bijective correspondence between quasi-Hamiltonian group actions and Hamiltonian loop group actions, the corresponding notions of pre-quantization coincide.
For a simply connected, compact, simple Lie group G, the moduli space of flat G-bundles over a closed surface is known to be pre-quantizable at integer levels. For non-simply connected G, however, integrality of the level is not sufficient for pre-quantization, and this paper determines the obstruction -- namely a certain cohomology class in H^3(G^2;Z) -- that places further restrictions on the underlying level. The levels that admit a pre-quantization of the moduli space are determined explicitly for all non-simply connected, compact, simple Lie groups G.