Publications (24)12.59 Total impact
 [Show abstract] [Hide abstract]
ABSTRACT: To a Lie groupoid over a compact base, the associated group of bisection is an (infinitedimensional) Lie group. Moreover, under certain circumstances one can reconstruct the Lie groupoid from its Lie group of bisections. In the present article we consider functorial aspects of these construction principles. The first observation is that this procedure is functorial (for morphisms fixing the base). Moreover, it gives rise to an adjunction between the category of Lie groupoids over a fixed base and the category of Lie groups acting on the base. In the last section we then show how to promote this adjunction to almost an equivalence of categories.  [Show abstract] [Hide abstract]
ABSTRACT: This paper is about the relation of the geometry of Lie groupoids over a fixed compact manifold and the geometry of their (infinitedimensional) bisection Lie groups. In the first part of the paper we investigate the relation of the bisections to a given Lie groupoid, where the second part is about the construction of Lie groupoids from candidates for their bisection Lie groups. The procedure of this second part becomes feasible due to some recent progress in the infinitedimensional Frobenius theorem, which we heavily exploit. The main application to the prequantisation of (pre)symplectic manifolds comes from an integrability constraint of closed Lie subalgebras to closed Lie subgroups. We characterise this constraint in terms of a modified discreteness conditions on the periods of that manifold.  [Show abstract] [Hide abstract]
ABSTRACT: In this article we endow the group of bisections of a Lie groupoid with compact base with a natural locally convex Lie group structure. Moreover, we develop thoroughly the connection to the algebra of sections of the associated Lie algebroid and show for a large class of Lie groupoids that their groups of bisections are regular in the sense of Milnor. 
Article: Topological group cohomology of Lie groups and ChernWeil theory for compact symmetric spaces
[Show abstract] [Hide abstract]
ABSTRACT: In this paper we analyse the topological group cohomology of finitedimensional Lie groups. We introduce a technique for computing it (as abelian groups) for torus coefficients by the naturally associated long exact sequence. The upshot in there is that certain morphisms in this long exact coefficient sequence can be accessed (at least for semisimple Lie groups) very conveniently by the ChernWeil homomorphism of the naturally associated compact dual symmetric space. Since the latter is very wellknown, this gives the possibility to compute the topological group cohomology of the classical simple Lie groups. In addition, we establish a relation to characteristic classes of flat bundles.  [Show abstract] [Hide abstract]
ABSTRACT: In this paper we present another notion of a smooth manifold with corners and relate it to the commonly used concept in the literature. Afterwards we introduce complex manifolds with corners show that if M is a compact (respectively complex) manifold with corners and K is a smooth (respectively complex) Lie group, then C1(M, K) (respectively C1(M, K)) is a smooth (respectively complex) Lie group.  [Show abstract] [Hide abstract]
ABSTRACT: We show that for topological groups and loop contractible coefficients the cohomology groups of continuous group cochains and of group cochains that are continuous on some identity neighbourhood are isomorphic. Moreover, we show a similar statement for compactly generated groups and Lie groups holds and apply our results to different concepts of group cohomology for finitedimensional Lie groups.  [Show abstract] [Hide abstract]
ABSTRACT: The purpose of this paper is to show how central extensions of (possibly infinitedimensional) Lie algebras integrate to central extensions of \'etale Lie 2groups. In finite dimensions, central extensions of Lie algebras integrate to central extensions of Lie groups, a fact which is due to the vanishing of \pi_2 for each finitedimensional Lie group. This fact was used by Cartan (in a slightly other guise) to construct the simply connected Lie group associated to each finitedimensional 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 nontrivial \pi_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 \'etale Lie 2groups. As an application, we obtain a generalization of Lie's Third Theorem to infinitedimensional Lie algebras.  [Show abstract] [Hide abstract]
ABSTRACT: Lieʼs Third Theorem, asserting that each finitedimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of infinitedimensional Lie algebras, which in turn is phrased in terms of an integration procedure for Lie algebra cocycles.This paper remedies the obstructions for integrating cocycles and central extensions from Lie algebras to Lie groups by generalising the integrating objects. Those objects obey the maximal coherence that one can expect. Moreover, we show that they are the universal ones for the integration problem.The main application of this result is that a Mackeycomplete locally exponential Lie algebra (e.g., a Banach–Lie algebra) integrates to a Lie 2group in the sense that there is a natural Lie functor from certain Lie 2groups to Lie algebras, sending the integrating Lie 2group to an isomorphic Lie algebra.  [Show abstract] [Hide abstract]
ABSTRACT: We propose a unified framework in which the different constructions of cohomology groups for topological and Lie groups can all be treated on equal footings. In particular, we show that the cohomology of "locally continuous" cochains (respectively "locally smooth" in the case of Lie groups) fits into this framework, which provides an easily accessible cocycle model for topological and Lie group cohomology. We illustrate the use of this unified framework and the relation between the different models in various applications. This includes the construction of cohomology classes characterizing the string group and a direct connection to Lie algebra cohomology. 
Article: Making Lifting Obstructions Explicit
[Show abstract] [Hide abstract]
ABSTRACT: If P \to X is a topological principal Kbundle and \hat K a central extension of K by Z, then there is a natural obstruction class \delta_1(P) in \check H^2(X,\uline Z) in sheaf cohomology whose vanishing is equivalent to the existence of a \hat Kbundle \hat P over X with P \cong \hat P/Z. In this paper we establish a link between homotopy theoretic data and the obstruction class \delta_1(P) which in many cases can be used to calculate this class in explicit terms. Writing \partial_d^P \: \pi_d(X) \to \pi_{d1}(K) for the connecting maps in the long exact homotopy sequence, two of our main results can be formulated as follows. If Z is a quotient of a contractible group by the discrete group \Gamma, then the homomorphism \pi_3(X) \to \Gamma induced by \delta_1(P) \in \check H^2(X,\uline Z) \cong H^3_{\rm sing}(X,\Gamma) coincides with \partial_2^{\hat K} \circ \partial_3^P and if Z is discrete, then \delta_1(P) \in \check H^2(X,\uline Z) induces the homomorphism \partial_1^{\hat K} \circ \partial_2^P \: \pi_2(X) \to Z. We also obtain some information on obstruction classes defining trivial homomorphisms on homotopy groups. 
Article: A Smooth Model for the String Group
[Show abstract] [Hide abstract]
ABSTRACT: We construct a model for the string group as an infinitedimensional Lie group. In a second step we extend this model by a contractible Lie group to a Lie 2group model. To this end we need to establish some facts on the homotopy theory of Lie 2groups. Moreover, we provide an explicit comparison of string structures for the two models and a uniqueness result for Lie 2group models.  [Show abstract] [Hide abstract]
ABSTRACT: We show that the canonical central extension of the group of sections of a Lie group bundle over a compact manifold, constructed in [NW09], is universal. In doing so, we prove universality of the corresponding central extension of Lie algebras in a slightly more general setting.  [Show abstract] [Hide abstract]
ABSTRACT: In this paper we introduce principal 2bundles and show how they are classified by nonabeliaň Cech cohomology. Moreover, we show that their gauge 2groups can be described by 2groupvalued functors, much like in classical bundle theory. Using this, we show that, under some mild requirements, these gauge 2groups possess a natural smooth structure. In the last section we provide some explicit examples.  [Show abstract] [Hide abstract]
ABSTRACT: It is wellknown that the central extensions of the loop group of a compact, simple and 1connected Lie group are parametrised by their level $k \in Z$. This article concerns the question how much can be said for arbitrary $k \in R$ and we show that for each $k$ there exists a Lie groupoid which has the level $k$ central extension as its quotient if $k \in Z$. By considering categorified principal bundles we show, moreover, that the corresponding Lie groupoid has the expected bundle structure.  [Show abstract] [Hide abstract]
ABSTRACT: Using the categorical description of supergeometry we give an explicit construction of the diffeomorphism supergroup of a compact finitedimensional supermanifold. The construction provides the diffeomorphism supergroup with the structure of a Frechet supermanifold. In addition, we derive results about the structure of diffeomorphism supergroups.  [Show abstract] [Hide abstract]
ABSTRACT: Lie's Third Theorem, asserting that each finitedimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of infinitedimensional Lie algebras, which in turn is phrased in terms of an integration procedure for Lie algebra cocycles. This paper remedies the obstructions for integrating cocycles and central extensions from Lie algebras to Lie groups by generalising the integrating objects. Those objects obey the maximal coherence that one can expect. Moreover, we show that they are the universal ones for the integration problem. The main application of this result is that a Mackeycomplete locally exponential Lie algebra (e.g., a BanachLie algebra) integrates to a Lie 2group in the sense that there is a natural Lie functor from certain Lie 2groups to Lie algebras, sending the integrating Lie 2group to an isomorphic Lie algebra.  [Show abstract] [Hide abstract]
ABSTRACT: In this paper we introduce gerbes as semistrict principal 2bundles and show how they are parametrised by nonabelian ÿ Cech cohomology. Moreover, we derive their gauge 2groups (or gauge stacks) from first principles and show that they can be described by groupvalued functors, much like in classical bundle theory. Moreover, we show that these 2 groups of group valued functors possess a natural smooth structure (under some mild requirements on the structure group). In the last section we provide some explicit examples. MSC: 55R65, 22E65, 81T13  [Show abstract] [Hide abstract]
ABSTRACT: This paper is on the connecting homomorphism in the long exact homotopy sequence of the evaluation fibration evp0 :C(P, K)K →K, whereC(P, K)K is the gauge group of a continuous principalKbundle. We show that in the case of a bundle over a sphere or a orientable surface the connecting homomorphism is given in terms of the Samelson product. As applications we get an explicit formula for π2(C(P k ,K)K ), whereP k denotes the principal S3bundle over S4 of Chern numberk and derive explicit formulae for the rational homotopy groups πn (C(P,K)K )⊗ℚ.  [Show abstract] [Hide abstract]
ABSTRACT: If q : P > M is a principal Kbundle over the compact manifold M, then any invariant symmetric Vvalued bilinear form on the Lie algebra k of K defines a Lie algebra extension of the gauge algebra by a space of bundlevalued 1forms modulo exact forms. In the present paper we analyze the integrability of this extension to a Lie group extension for nonconnected, possibly infinitedimensional Lie groups K. If K has finitely many connected components we give a complete characterization of the integrable extensions. Our results on gauge groups are obtained by specialization of more general results on extensions of Lie groups of smooth sections of Lie group bundles. In this more general context we provide sufficient conditions for integrability in terms of data related only to the group K. Comment: 54 pages, revised version, to appear in Ann. Glob. Anal. Geom  [Show abstract] [Hide abstract]
ABSTRACT: In this paper we describe how one can obtain Lie group structures on the group of (vertical) bundle automorphisms for a locally convex principal bundle P over the compact manifold M. This is done by first considering Lie group structures on the group of vertical bundle automorphisms Gau(P). Then the full automorphism group Aut(P) is considered as an extension of the open subgroup DiffP(M) of diffeomorphisms of M preserving the equivalence class of P under pullbacks, by the gauge group Gau(P). We derive explicit conditions for the extensions of these Lie group structures, show the smoothness of some natural actions and relate our results to affine Kac–Moody algebras and groups.
Publication Stats
164  Citations  
12.59  Total Impact Points  
Top Journals
Institutions

20092012

University of Hamburg
 Department of Mathematics
Hamburg, Hamburg, Germany


20072009

GeorgAugustUniversität Göttingen
 Institute of Mathematics
Göttingen, Lower Saxony, Germany
