Searcharxiv⌕ Search

arXiv subjects

Chenchang Zhu

Publications and source records attributed to Chenchang Zhu.

At least 37 records · Page 2Linked to original sources

Chern-Simons, Wess-Zumino and other cocycles from Kashiwara-Vergne and associators

Descent equations play an important role in the theory of characteristic classes and find applications in theoretical physics, e.g. in the Chern-Simons field theory and in the theory of anomalies. The second Chern class (the first Pontrjagin class) is defined as $p= \langle F, F\rangle$ where $F$ is the curvature 2-form and $\langle \cdot, \cdot\rangle$ is an invariant scalar product on the corresponding Lie algebra $\mathfrak{g}$. The descent for $p$ gives rise to an element $ω=ω_3 + ω_2 + ω_1 + ω_0$ of mixed degree. The 3-form part $ω_3$ is the Chern-Simons form. The 2-form part $ω_2$ is known as the Wess-Zumino action in physics. The 1-form component $ω_1$ is related to the canonical central extension of the loop group $LG$. In this paper, we give a new interpretation of the low degree components $ω_1$ and $ω_0$. Our main tool is the universal differential calculus on free Lie algebras due to Kontsevich. We establish a correspondence between solutions of the first Kashiwara-Vergne equation in Lie theory and universal solutions of the descent equation for the second Chern class $p$. In more detail, we define a 1-cocycle $C$ which maps automorphisms of the free Lie algebra to one forms. A solution of the Kashiwara-Vergne equation $F$ is mapped to $ω_1=C(F)$. Furthermore, the component $ω_0$ is related to the associator corresponding to $F$. It is surprising that while $F$ and $Φ$ satisfy the highly non-linear twist and pentagon equations, the elements $ω_1$ and $ω_0$ solve the linear descent equation.

math-ph↗

Higher Extensions of Lie Algebroids

We study the extension of a Lie algebroid by a representation up to homotopy, including semidirect products of a Lie algebroid with such representations. The extension results in a higher Lie algebroid. We give exact Courant algebroids and string Lie 2-algebras as examples of such extensions. We then apply this to obtain a Lie 2-groupoid integration of an exact Courant algebroid.

math-ph↗

Some remarks on representations up to homotopy

Motivated by the study of the interrelation between functorial and algebraic quantum field theory, we point out that on any locally trivial bundle of compact groups, representations up to homotopy are enough to separate points by means of the associated representations in cohomol- ogy. Furthermore, we observe that the derived representation category of any compact group is equivalent to the category of ordinary (finite- dimensional) representations of the group.

math.DG↗

Groupoids in categories with pretopology

We survey the general theory of groupoids, groupoid actions, groupoid principal bundles, and various kinds of morphisms between groupoids in the framework of categories with pretopology. We study extra assumptions on pretopologies that are needed for this theory. We check these extra assumptions in several categories with pretopologies. Functors between groupoids may be localised at equivalences in two ways. One uses spans of functors, the other bibundles (commuting actions) of groupoids. We show that both approaches give equivalent bicategories. Another type of groupoid morphisms, called actors, are closely related to functors between the categories of groupoid actions. We also generalise actors using bibundles, and show that this gives another bicategory of groupoids.

math.CT↗

Integrating central extensions of Lie algebras via Lie 2-groups

The purpose of this paper is to show how central extensions of (possibly infinite-dimensional) Lie algebras integrate to central extensions of étale Lie 2-groups. In finite dimensions, central extensions of Lie algebras integrate to central extensions of Lie groups, a fact which is due to the vanishing of π_2 for each finite-dimensional Lie group. This fact was used by Cartan (in a slightly other guise) to construct the simply connected Lie group associated to each finite-dimensional Lie algebra. In infinite dimensions, there is an obstruction for a central extension of Lie algebras to integrate to a central extension of Lie groups. This obstruction comes from non-trivial π_2 for general Lie groups. We show that this obstruction may be overcome by integrating central extensions of Lie algebras not to Lie groups but to central extensions of étale Lie 2-groups. As an application, we obtain a generalization of Lie's Third Theorem to infinite-dimensional Lie algebras.

math.DG↗

Lie 2-bialgebras

In this paper, we study Lie 2-bialgebras, with special attention to coboundary ones, with the help of the cohomology theory of $L_\infty$-algebras with coefficients in $L_\infty$-modules. We construct examples of strict Lie 2-bialgebras from left-symmetric algebras and symplectic Lie algebras.

math-ph↗

Integration of Lie 2-algebras and their morphisms

Given a strict Lie 2-algebra, we can integrate it to a strict Lie 2-group by integrating the corresponding Lie algebra crossed module. On the other hand, the integration procedure of Getzler and Henriques will also produce a 2-group. In this paper, we show that these two integration results are Morita equivalent. As an application, we integrate a non-strict morphism between Lie algebra crossed modules to a generalized morphism between their corresponding Lie group crossed modules.

math-ph↗

Integration of semidirect product Lie 2-algebras

The semidirect product of a Lie algebra and a 2-term representation up to homotopy is a Lie 2-algebra. Such Lie 2-algebras include many examples arising from the Courant algebroid appearing in generalized complex geometry. In this paper, we integrate such a Lie 2-algebra to a strict Lie 2-group in the finite dimensional case.

math.DG↗

Higher Lie algebra actions on Lie algebroids

We consider a simple instance of action up to homotopy. More precisely, we consider strict actions of DGLAs in degrees -1 and 0 on degree 1 NQ-manifolds. In a more conventional language this means: strict actions of Lie algebra crossed modules on Lie algebroids. When the action is strict, we show that it integrates to group actions in the categories of Lie algebroids and Lie groupoids (i.e. actions of LA-groups and 2-groups). We perform the integration in the framework of Mackenzie's doubles.

math.DG↗

Distributions and quotients on degree 1 NQ-manifolds and Lie algebroids

It is well-known that a Lie algebroid A is equivalently described by a degree 1 Q-manifold M. We study distributions on M, giving a characterization in terms of A. We show that involutive Q-invariant distributions on M correspond bijectively to IM-foliations on A (the infinitesimal version of Mackenzie's ideal systems). We perform reduction by such distributions, and investigate how they arise from non-strict actions of strict Lie 2-algebras on M.

math.DG↗

Omni-Lie 2-algebras and their Dirac structures

We introduce the notion of omni-Lie 2-algebra, which is a categorification of Weinstein's omni-Lie algebras. We prove that there is a one-to-one correspondence between strict Lie 2-algebra structures on 2-sub-vector spaces of a 2-vector space $\V$ and Dirac structures on the omni-Lie 2-algebra $ \gl(\V)\oplus \V $. In particular, strict Lie 2-algebra structures on $\V$ itself one-to-one correspond to Dirac structures of the form of graphs. Finally, we introduce the notion of twisted omni-Lie 2-algebra to describe (non-strict) Lie 2-algebra structures. Dirac structures of a twisted omni-Lie 2-algebra correspond to certain (non-strict) Lie 2-algebra structures, which include string Lie 2-algebra structures.

math-ph↗

Strictification of etale stacky Lie groups

We define stacky Lie groups to be group objects in the 2-category of differentiable stacks. We show that every connected and etale stacky Lie group is equivalent to a crossed module of the form (H,G) where H is the fundamental group of the given stacky Lie group and G is the connected and simply connected Lie group integrating the Lie algebra of the stacky group. Our result is closely related to a strictification result of Baez and Lauda.

math.DG↗

Lie II theorem for Lie algebroids via higher groupoids

Following Sullivan's spacial realization of a differential algebra, we construct a universal integrating Lie 2-groupoid for every Lie algebroid. Then We show that unlike Lie algebras which one-to-one correspond to simply connected Lie groups, Lie algebroids (integrable or not) one-to-one correspond to a sort of etale Lie 2-groupoids with 2-connected source fibres. Finally, we discuss how to lift Lie algebroid morphisms to Lie 2-groupoid morphisms (Lie II Theorem).

math.DG↗

Lie algebroid Fibrations

A degree 1 non-negative graded super manifold equipped with a degree 1 vector field Q satisfying [Q, Q]=1, namely a so-called NQ-1 manifold is, in plain differential geometry language, a Lie algebroid. We introduce a notion of fibration for such super manifols, that essentially involves a complete Ehresmann connection. As it is the case for Lie algebras, such fibrations turn out not to be just locally trivial products. We also define homotopy groups and prove the expected long exact sequence associated to a fibration. In particular, Crainic and Fernandes's obstruction to the integrability of Lie algebroids is interpreted as the image of a transgression map in this long exact sequence.

math.DG↗

Non-Hausdorff Symmetries of C*-algebras

Symmetry groups or groupoids of C*-algebras associated to non-Hausdorff spaces are often non-Hausdorff as well. We describe such symmetries using crossed modules of groupoids. We define actions of crossed modules on C*-algebras and crossed products for such actions, and justify these definitions with some basic general results and examples.

math.OA↗

Semidirect products of representations up to homotopy

We study the semidirect product of a Lie algebra with a representation up to homotopy and provide various examples coming from Courant algebroids, string Lie 2-algebras, and omni-Lie algebroids. In the end, we study the semidirect product of a Lie group with a representation up to homotopy and use it to give an integration of a certain string Lie 2-algebra.

math.DG↗

Kan replacement of simplicial manifolds

We establish a functor $Kan$ from local Kan simplicial manifolds to weak Kan simplicial manifolds. It gives a solution to the problem of extending local Lie groupoids to Lie 2-groupoids.

math.DG↗

A higher category approach to twisted actions on C*-algebras

C*-algebras form a 2-category with \Star{}homomorphisms or correspondences as morphisms and unitary intertwiners as 2-morphisms. We use this structure to define weak actions of 2-categories, weakly equivariant maps between weak actions, and modifications between weakly equivariant maps. In the group case, we identify the resulting notions with known ones, including Busby-Smith twisted actions and equivalence of such actions, covariant representations, and saturated Fell bundles. For 2-groups, weak actions combine twists in the sense of Green and Busby-Smith. The Packer-Raeburn Stabilisation Trick implies that all Busby-Smith twisted group actions of locally compact groups are Morita equivalent to classical group actions. We generalise this to actions of strict 2-groupoids.

math.OA↗