Showing 1–50 of 59 results for author: Huebschmann, J

The breadth of Berikashvili's functor D

Authors: Johannes Huebschmann

Abstract: We discuss variants of Berikashvili's functor that arise in differential homological algebra, from simplicial bundles, from ordinary topological bundles, and in more general categorical settings. We prove that, under suitable circumstances, the value of Berikasvili's functor parametrizes isomorphism classes of bundles in various contexts. We discuss variants of Berikashvili's functor that arise in differential homological algebra, from simplicial bundles, from ordinary topological bundles, and in more general categorical settings. We prove that, under suitable circumstances, the value of Berikasvili's functor parametrizes isomorphism classes of bundles in various contexts. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Comments: 32 pages

MSC Class: 16E45; 18G31; 18G35; 18G50; 18N50; 55R10; 55R20; 55U10

Crossed modules

Authors: Johannes Huebschmann

Abstract: This is an overview of the idea of a crossed module. For a group, the triple that consists of the group, its group of automorphisms, and the canonical homomorphism from the group to its group of automorphisms constitutes a crossed module. Crossed modules arise from the identities among the relations of the presentation of a group, from the extension problem for groups and, more generally, in low d… ▽ More This is an overview of the idea of a crossed module. For a group, the triple that consists of the group, its group of automorphisms, and the canonical homomorphism from the group to its group of automorphisms constitutes a crossed module. Crossed modules arise from the identities among the relations of the presentation of a group, from the extension problem for groups and, more generally, in low dimensional topology. Also, the (successful) attempt to extend the idea of a normal extension of commutative fields to the realm of non-commutative algebras leads to crossed modules. Crossed modules appear implicitly in a forgotten paper by A. Turing which in principle settles the extension problem for groups. Crossed modules make perfect sense for Lie algebras. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Comments: 17 pages

MSC Class: 01A60 12G05 18G45 20J05 57M10

Journal ref: Notices Amer. Math. Soc. 70 (2023), 1802-1813

On the history of Lie brackets, crossed modules, and Lie-Rinehart algebras

Authors: Johannes Huebschmann

Abstract: The aim here is to sketch the development of ideas related to brackets and similar concepts: Some purely group theoretical combinatorics due to Ph. Hall led to a proof of the Jacobi identity for the Whitehead product in homotopy theory. Whitehead introduced crossed modules to characterize a second relative homotopy group; guided by combinatorial group theory considerations, Reidemeister and Peiffe… ▽ More The aim here is to sketch the development of ideas related to brackets and similar concepts: Some purely group theoretical combinatorics due to Ph. Hall led to a proof of the Jacobi identity for the Whitehead product in homotopy theory. Whitehead introduced crossed modules to characterize a second relative homotopy group; guided by combinatorial group theory considerations, Reidemeister and Peiffer explored this kind of structure to develop normal forms for the decomposition of a 3-manifold; but crossed modules are also lurking behind a forgotten approach of Turing to the extension problem for groups: Turing concocted the obstruction 3-cocycle isolated later by Eilenberg-Mac Lane and already proved the Eilenberg-Mac Lane theorem to the effect that the vanishing of the class of that cocycle is equivalent to the existence of a solution for the corresponding extension problem. This Turing cocycle is related to what has come to be known as Teichmueller cocycle. There was a parallel development for Lie algebras including a forgotten paper by Goldberg and, likewise, for Lie-Rinehart algebras and Lie algebroids. Versions of Turing's theorem were discovered several times under such circumstances, and there is rarely a hint at the mutual relationship. Also, Lie-Rinehart algebras have for long occurred in the literature on differential algebra, at least implicitly. △ Less

Submitted 4 August, 2022; originally announced August 2022.

Comments: This is a pre-print version of an article published in [J. Geom. Mech. 13 (2021), 385-402] [https://doi.org/10.3934/jgm.2021009]. This version is free to download for private research and study only. Not for redistribution, re-sale or use in derivative works

MSC Class: 01A60; 17B66; 18G45 (Primary) 12G05; 12H05; 17-03; 17B55; 20J05; 53-03; 53D17; 55Q15; 58H05 (Secondary)

Journal ref: Journal of Geometric Mechanics 13 (2021), 385-402

Quasi Poisson structures, weakly quasi Hamiltonian structures, and Poisson geometry of various moduli spaces

Authors: Johannes Huebschmann

Abstract: Let G be a Lie group and g its Lie algebra. We develop a theory of quasi Poisson structures relative to a not necessarily non-degenerate Ad-invariant symmetric 2-tensor in the tensor square of g and one of general not necessarily non-degenerate quasi Hamiltonian structures relative to a not necessarily non-degenerate Ad-invariant symmetric bilinear form on g, a quasi Poisson structure being given… ▽ More Let G be a Lie group and g its Lie algebra. We develop a theory of quasi Poisson structures relative to a not necessarily non-degenerate Ad-invariant symmetric 2-tensor in the tensor square of g and one of general not necessarily non-degenerate quasi Hamiltonian structures relative to a not necessarily non-degenerate Ad-invariant symmetric bilinear form on g, a quasi Poisson structure being given by a skew bracket of two variables such that suitable data defined in terms of G as symmetry group involving the 2-tensor measure how that bracket fails to satisfy the Jacobi identity. The present approach involves a novel concept of momentum mapping and yields, in the non-degenerate case, a bijective correspondence between non-degenerate quasi Poisson structures and non-degenerate quasi Hamiltonian structures. The new theory applies to various not necessarily non-singular moduli spaces and yields thereupon, via reduction with respect to an appropriately defined momentum mapping, not necessarily non-degenerate ordinary Poisson structures. Among these moduli spaces are representation spaces, possibly twisted, of the fundamental group of a Riemann surface, possibly punctured, and moduli spaces of semistable holomorphic vector bundles as well as Higgs bundle moduli spaces. In the non-degenerate case, such a Poisson structure comes down to a stratified symplectic one of the kind explored in the literature and recovers, e.g., the symplectic part of a Kähler structure introduced by Narasimhan and Seshadri for moduli spaces of stable holomorphic vector bundles on a curve. In the algebraic setting, these moduli spaces arise as not necessarily non-singular affine not necessarily non-degenerate Poisson varieties. A side result is an explicit equivalence between extended moduli spaces and quasi Hamiltonian spaces independently of gauge theory. △ Less

Submitted 8 March, 2023; v1 submitted 13 July, 2022; originally announced July 2022.

Comments: 70 pages; title has been changed; new section with an explicit description of the moduli spaces under discussion; section discussing Dirac structures substantially improved

MSC Class: 53D30 14D21 14L24 14H60 32S60 53D17 53D20 58D27 81T13

Finite-dimensional construction of self-duality and related moduli spaces over a closed Riemann surface as stratified holomorphic symplectic spaces

Authors: Johannes Huebschmann

Abstract: In terms of appropriate extended moduli spaces, we develop a finite-dimensional construction of the self-duality and related moduli spaces over a closed Riemann surface as stratified holomorphic symplectic spaces by singular finite-dimensional holomorphic symplectic reduction. In terms of appropriate extended moduli spaces, we develop a finite-dimensional construction of the self-duality and related moduli spaces over a closed Riemann surface as stratified holomorphic symplectic spaces by singular finite-dimensional holomorphic symplectic reduction. △ Less

Submitted 2 August, 2021; originally announced August 2021.

Comments: 26 pages

MSC Class: 53D30 14D21 14L24 14H60 32S60 53D17 53D20 53D50 58D27 81T13

Pseudo Maurer-Cartan perturbation algebra and pseudo perturbation lemma

Authors: Johannes Huebschmann

Abstract: We introduce the pseudo Maurer-Cartan perturbation algebra, establish a structural result and explore the structure of this algebra. That structural result entails, as a consequence, what we refer to as the pseudo perturbation lemma. This lemma, in turn, implies the ordinary perturbation lemma. We introduce the pseudo Maurer-Cartan perturbation algebra, establish a structural result and explore the structure of this algebra. That structural result entails, as a consequence, what we refer to as the pseudo perturbation lemma. This lemma, in turn, implies the ordinary perturbation lemma. △ Less

Submitted 14 December, 2018; originally announced December 2018.

Comments: 14 pages

MSC Class: 16E45 17B55 18G35 18G50 18G55 55R20 55U15

The formal Kuranishi parametrization via the universal homological perturbation theory solution of the deformation equation

Authors: Johannes Huebschmann

Abstract: Using homological perturbation theory, we develop a formal version of the miniversal deformation associated with a deformation problem controlled by a differential graded Lie algebra over a field of characteristic zero. Our approach includes a formal version of the Kuranishi method in the theory of deformations of complex manifolds. Using homological perturbation theory, we develop a formal version of the miniversal deformation associated with a deformation problem controlled by a differential graded Lie algebra over a field of characteristic zero. Our approach includes a formal version of the Kuranishi method in the theory of deformations of complex manifolds. △ Less

Submitted 8 June, 2018; originally announced June 2018.

Comments: 19 pages

MSC Class: 14D15; 13D10; 14B07; 14B12; 16S80; 32G05; 32G08; 32S60; 58K60

Journal ref: Festschrift in honor of T. Kadeishvili's 70-th birthday, Georgian Math. J. 25(4) (2018), 529-544

Yang-Mills moduli spaces over an orientable closed surface via Fréchet reduction

Authors: Tobias Diez, Johannes Huebschmann

Abstract: Given a principal bundle on an orientable closed surface with compact connected structure group, we endow the space of based gauge equivalence classes of smooth connections relative to smooth based gauge transformations with the structure of a Fréchet manifold. Using Wilson loop holonomies and a certain characteristic class determined by the topology of the bundle, we then impose suitable constrai… ▽ More Given a principal bundle on an orientable closed surface with compact connected structure group, we endow the space of based gauge equivalence classes of smooth connections relative to smooth based gauge transformations with the structure of a Fréchet manifold. Using Wilson loop holonomies and a certain characteristic class determined by the topology of the bundle, we then impose suitable constraints on that Fréchet manifold that single out the based gauge equivalence classes of central Yang-Mills connections but do not directly involve the Yang-Mills equation. We also explain how our theory yields the based and unbased gauge equivalence classes of all Yang-Mills connections and deduce the stratified symplectic structure on the space of unbased gauge equivalence classes of central Yang-Mills connections. The crucial new technical tool is a slice analysis in the Fréchet setting. △ Less

Submitted 16 September, 2019; v1 submitted 6 April, 2017; originally announced April 2017.

MSC Class: 58E15; 81T13; 14D20; 53C07; 58D27

Journal ref: Journal of Geometry and Physics 132 (2018), p. 393-414

Normality of algebras over commutative rings, crossed pairs, and the Teichmueller class

Authors: Johannes Huebschmann

Abstract: Let S be a commutative ring, Q a group that acts on S, and let R be the subring of S fixed under Q. A Q-normal S-algebra consists of a central S-algebra A and a homomorphism s from Q to the group Out(A) of outer automorphisms of A that lifts the Q-action on S. We associate to a Q-normal S-algebra (A,s) a crossed 2-fold extension which, in turn, represents a class, the Teichmueller class of (A,s),… ▽ More Let S be a commutative ring, Q a group that acts on S, and let R be the subring of S fixed under Q. A Q-normal S-algebra consists of a central S-algebra A and a homomorphism s from Q to the group Out(A) of outer automorphisms of A that lifts the Q-action on S. We associate to a Q-normal S-algebra (A,s) a crossed 2-fold extension which, in turn, represents a class, the Teichmueller class of (A,s), in the third cohomology group of Q with coefficients in the group U(S) of units of S, endowed with the obvious Q-module structure. Suitable equivalence classes of Q-normal Azumaya S-algebras constitute an abelian group XB(S,Q), the crossed Brauer group of S relative to the Q-action on S, and the classical results, suitably rephrased in terms of a generalized Teichmueller cocycle map defined on the abelian group XB(S,Q) and crucially involving crossed 2-fold extensions, extend to the more general situation. The Teichmueller cocycle map is even defined on the abelian group kRep(Q,B((S,Q))) of classes of representations of Q in the Q-graded Brauer category B((S,Q)) of S relative to the Q-action on S, and the obvious homomorphism from XB(S,Q) to kRep(Q,B((S))) is injective, an isomorphism when the image of Q in the group of automorphisms of S is a finite group. Furthermore, in that case, the equivariant and crossed Brauer groups fit into various exact sequences generalizing among others the corresponding low degree group cohomology five term exact sequence in the classical case over a field. Crossed pair algebras defined relative to a suitable notion of Q-equivariant Galois extension of commutative rings lead to a comparison of the theory with the appropriate group cohomology groups and with the corresponding abelian group of classes of crossed pairs defined relative to the data. A number of examples illustrating the theory are included. △ Less

Submitted 6 February, 2017; v1 submitted 22 December, 2015; originally announced December 2015.

Comments: 116 pages; relative theory refined; material split into two chapters; a third chapter containing a number of examples added

MSC Class: 11R33; 12G05; 13B05; 16H05; 16K50; 16S35; 20J06; 46L10; 46M20; 55R99

Journal ref: J. Homotopy Relat. Struct. 13(2018), 1-142

Kaehler structures on T*G having as underlying symplectic form the standard one

Authors: Johannes Huebschmann, Karl Leicht

Abstract: For a connected Lie group G, we show that a complex structure on the total space TG of the tangent bundle of G that is left invariant and has the property that each left translation G-orbit is a totally real submanifold is induced from a smooth immersion of TG into the complexification of G. For G compact and connected, we then characterize left invariant and biinvariant complex structures on the… ▽ More For a connected Lie group G, we show that a complex structure on the total space TG of the tangent bundle of G that is left invariant and has the property that each left translation G-orbit is a totally real submanifold is induced from a smooth immersion of TG into the complexification of G. For G compact and connected, we then characterize left invariant and biinvariant complex structures on the total space T*G of the cotangent bundle of G which combine with the tautological symplectic structure to a Kaehler structure. △ Less

Submitted 1 July, 2013; originally announced July 2013.

Comments: 22 pages

MSC Class: 53C55 (32Q15 53D20)

Multi derivation Maurer-Cartan algebras and sh-Lie-Rinehart algebras

Authors: Johannes Huebschmann

Abstract: We extend the classical characterization of a finite-dimensional Lie algebra g in terms of its Maurer-Cartan algebra-the familiar differential graded algebra of alternating forms on g with values in the ground field, endowed with the standard Lie algebra cohomology operator-to sh Lie-Rinehart algebras. To this end, we first develop a characterization of sh Lie-Rinehart algebras in terms of differe… ▽ More We extend the classical characterization of a finite-dimensional Lie algebra g in terms of its Maurer-Cartan algebra-the familiar differential graded algebra of alternating forms on g with values in the ground field, endowed with the standard Lie algebra cohomology operator-to sh Lie-Rinehart algebras. To this end, we first develop a characterization of sh Lie-Rinehart algebras in terms of differential graded cocommutative coalgebras and Lie algebra twisting cochains that extends the nowadays standard characterization of an ordinary sh Lie algebra (equivalently: Linfty algebra) in terms of its associated generalized Cartan-Chevalley-Eilenberg coalgebra. Our approach avoids any higher brackets but reproduces these brackets in a conceptual manner. The new technical tool we develop is a notion of filtered multi derivation chain algebra, somewhat more general than the standard notion of a multicomplex endowed with a compatible algebra structure. The crucial observation, just as for ordinary Lie-Rinehart algebras, is this: For a general sh Lie-Rinehart algebra,the generalized Cartan-Chevalley-Eilenberg operator on the corresponding graded algebra involves two operators, one coming from the sh Lie algebra structure and the other from the generalized action on the corresponding algebra; the sum of the operators is defined on the algebra while the operators are individually defined only on a larger ambient algebra. We illustrate the structure with quasi Lie-Rinehart algebras. △ Less

Submitted 19 March, 2013; originally announced March 2013.

Comments: 34 pages

MSC Class: 16E45; 16T15; 17B55; 17B56; 17B65; 17B70; 18G10; 55P62

Journal ref: Journal of Algebra 472 (2017) 437-479

Comparison of the geometric bar and W-constructions

Authors: Clemans Berger, Johannes Huebschmann

Abstract: We show that, for a simplicial group K,the realization of the W-construction of K is naturally homeomorphic to the universal bundle of its geometric realization. The argument involves certain recursive descriptions of the W-construction and classifying bundle and relies on the facts that the realization functor carries an action of a simplicial group to a geometric action of its realization and pr… ▽ More We show that, for a simplicial group K,the realization of the W-construction of K is naturally homeomorphic to the universal bundle of its geometric realization. The argument involves certain recursive descriptions of the W-construction and classifying bundle and relies on the facts that the realization functor carries an action of a simplicial group to a geometric action of its realization and preserves reduced cones and colimits △ Less

Submitted 16 March, 2013; originally announced March 2013.

Comments: 16 pages

MSC Class: 18G30 55R35 57T30

Journal ref: J. Pure Applied Algebra 131 (1998), 109-123

Poisson cohomology and quantization

Authors: Johannes Huebschmann

Abstract: Let R be a commutative ring, and let A be a Poisson algebra over R. We construct an (R,A)-Lie algebra structure, in the sense of Rinehart, on the A-module of Kähler differentials of A depending naturally on A and the Poisson bracket. This gives rise to suitable algebraic notions of Poisson homology and cohomology for an arbitrary Poisson algebra. A geometric version thereof includes the canonical… ▽ More Let R be a commutative ring, and let A be a Poisson algebra over R. We construct an (R,A)-Lie algebra structure, in the sense of Rinehart, on the A-module of Kähler differentials of A depending naturally on A and the Poisson bracket. This gives rise to suitable algebraic notions of Poisson homology and cohomology for an arbitrary Poisson algebra. A geometric version thereof includes the canonical homology and Poisson cohomology of a Poisson manifold introduced by Brylinski, Koszul, and Lichnerowicz, and absorbes the latter in standard homological algebra by expressing them as Tor and Ext groups, respectively, over a suitable algebra of differential operators. Furthermore, the Poisson structure determines a closed 2-form in the complex computing Poisson cohomology. This 2-form generalizes the 2-form defining a symplectic structure on a smooth manifold; moreover, the class of that 2-form in Poisson cohomology generalizes the class in de Rham cohomology of a symplectic structure on a smooth manifold and appears as a crucial ingredient for the construction of suitable linear representations of A, viewed as a Lie algebra; representations of this kind occur in quantum theory. To describe this class and to construct the representations, we relate formal concepts of connection and curvature generalizing the classical ones with extensions of Lie algebras. We illustrate our results with a number of examples of Poisson algebras and with a quantization procedure for a relativistic particle with zero rest mass and spin zero. △ Less

Submitted 15 March, 2013; originally announced March 2013.

Comments: 56 pages

MSC Class: 17B55; 17B56; 17B63; 17B65; 17B66; 17B83; 53C05; 53D50; 70H99; 81Q99; 81S10

Journal ref: J. reine angew. Math. 408 (1990), 57-113

Differential Batalin-Vilkovisky algebras arising from twilled Lie-Rinehart algebras

Authors: Johannes Huebschmann

Abstract: Twilled L(ie-)R(inehart)-algebras generalize, in the Lie-Rinehart context, complex structures on smooth manifolds. An almost complex manifold determines an "almost twilled pre-LR algebra", which is a true twilled LR-algebra iff the almost complex structure is integrable. We characterize twilled LR structures in terms of certain associated differential (bi)graded Lie and G(erstenhaber)-algebras; in… ▽ More Twilled L(ie-)R(inehart)-algebras generalize, in the Lie-Rinehart context, complex structures on smooth manifolds. An almost complex manifold determines an "almost twilled pre-LR algebra", which is a true twilled LR-algebra iff the almost complex structure is integrable. We characterize twilled LR structures in terms of certain associated differential (bi)graded Lie and G(erstenhaber)-algebras; in particular the G-algebra arising from an almost complex structure is a d(ifferential) G-algebra iff the almost complex structure is integrable. Such G-algebras, endowed with a generator turning them into a B(atalin-)V(ilkovisky)-algebra, occur on the B-side of the mirror conjecture. We generalize a result of Koszul to those dG-algebras which arise from twilled LR-algebras. A special case thereof explains the relationship between holomorphic volume forms and exact generators for the corresponding dG-algebra and thus yields in particular a conceptual proof of the Tian-Todorov lemma. We give a differential homological algebra interpretation for twilled LR-algebras and by means of it we elucidate the notion of generator in terms of homological duality for differential graded LR-algebras. △ Less

Submitted 14 March, 2013; originally announced March 2013.

Comments: 15 pages. arXiv admin note: substantial text overlap with arXiv:math/9811069

MSC Class: 17B55; 17B56; 17B65; 17B66; 17B70; 17B71; 32G05; 53C05; 53C15; 81T70

Journal ref: Banach Center Publications 51 (2000), 87-102

Exact sequences in the cohomology of a group extension

Authors: Johannes Huebschmann

Abstract: In [J. of Alg. 369: 70-95, 2012], the authors constructed a seven term exact sequence in the cohomology of a group extension G of a normal subgroup N by a quotient group Q with coefficients in a G-module M. However, they were unable to establish the precise link between the maps in that sequence and the corresponding maps arising from the spectral sequence associated to the group extension and the… ▽ More In [J. of Alg. 369: 70-95, 2012], the authors constructed a seven term exact sequence in the cohomology of a group extension G of a normal subgroup N by a quotient group Q with coefficients in a G-module M. However, they were unable to establish the precise link between the maps in that sequence and the corresponding maps arising from the spectral sequence associated to the group extension and the G-module M. In this paper, we show that there is a close connection between [J. of Alg. 369: 70-95, 2012] and our two earlier papers [J. of Alg. 72: 296-334, 1981] and [J. Reine Angew. Math. 321: 150-172, 1981]. In particular, we show that the results in the two papers just quoted entail that the maps of [J. of Alg. 369: 70-95, 2012] other than the obvious inflation and restriction maps do correspond to the corresponding ones arising from the spectral sequence. △ Less

Submitted 15 August, 2015; v1 submitted 13 March, 2013; originally announced March 2013.

Comments: 13 pages

MSC Class: 18G40 20J05 20J06 55R20

Journal ref: Journal of Algebra 444, p. 297-312 (2015)

Singular Poisson-Kähler geometry of stratified Kähler spaces and quantization

Authors: Johannes Huebschmann, U Lille

Abstract: In the presence of classical phase space singularities the standard methods are insufficient to attack the problem of quantization.In certain situations the difficulties can be overcome by means of Kähler quantization on stratified Kähler spaces. Such a space is a stratified symplectic space together with a complex analytic structure which is compatible with the stratified symplectic structure; in… ▽ More In the presence of classical phase space singularities the standard methods are insufficient to attack the problem of quantization.In certain situations the difficulties can be overcome by means of Kähler quantization on stratified Kähler spaces. Such a space is a stratified symplectic space together with a complex analytic structure which is compatible with the stratified symplectic structure; in particular each stratum is a Kähler manifold in an obvious fashion. Holomorphic quantization on a stratified Kähler space then yields a costratified Hilbert space, a quantum object having the classical singularities as its shadow. Given a Kähler manifold with a hamiltonian action of a compact Lie group that also preserves the complex structure, reduction after quantization coincides with quantization after reduction in the sense that not only the reduced and unreduced quantum phase spaces correspond but the invariant unreduced and reduced quantum observables as well △ Less

Submitted 8 March, 2011; originally announced March 2011.

Comments: Lecture Notes, International School on Geometry and Quantization, University of Luxembourg, August 31 - September 5, 2009, 37 pages, 16 figures

MSC Class: 53D50 32Q15 53D17 53D20 81S10 81T25

Journal ref: Travaux mathématiques 19 (2011), 27--63

Equivariant cohomology over Lie groupoids and Lie-Rinehart algebras

Authors: Johannes Huebschmann

Abstract: Using the language and terminology of relative homological algebra, in particular that of derived functors, we introduce equivariant cohomology over a general Lie-Rinehart algebra and equivariant de Rham cohomology over a locally trivial Lie groupoid in terms of suitably defined monads (also known as triples) and the associated standard constructions. This extends a characterization of equivaria… ▽ More Using the language and terminology of relative homological algebra, in particular that of derived functors, we introduce equivariant cohomology over a general Lie-Rinehart algebra and equivariant de Rham cohomology over a locally trivial Lie groupoid in terms of suitably defined monads (also known as triples) and the associated standard constructions. This extends a characterization of equivariant de Rham cohomology in terms of derived functors developed earlier for the special case where the Lie groupoid is an ordinary Lie group, viewed as a Lie groupoid with a single object; in that theory over a Lie group, the ordinary Bott-Dupont-Shulman-Stasheff complex arises as an a posteriori object. We prove that, given a locally trivial Lie groupoid G and a smooth G-manifold f over the space B of objects of G, the resulting G-equivariant de Rham theory of f boils down to the ordinary equivariant de Rham theory of a vertex manifold relative to the corresponding vertex group, for any vertex in the space B of objects of G; this implies that the equivariant de Rham cohomology introduced here coincides with the stack de Rham cohomology of the associated transformation groupoid whence this stack de Rham cohomology can be characterized as a relative derived functor. We introduce a notion of cone on a Lie-Rinehart algebra and in particular that of cone on a Lie algebroid. This cone is an indispensable tool for the description of the requisite monads. △ Less

Submitted 31 July, 2009; originally announced July 2009.

Comments: 47 pages

MSC Class: 14F40 17B65 17B66 18C15 18G10 22A22 22E65 55N91 58H05

Journal ref: Lett. Math. Phys. 90 (2009), 201-251

Line bundles on moduli and related spaces

Authors: Johannes Huebschmann

Abstract: Let G be a Lie goup, let M and N be smooth connected G-manifolds, let f be a smooth G-map from M to N, and let P denote the fiber of f. Given a closed and equivariantly closed relative 2-form for f with integral periods, we construct the principal G-circle bundles with connection on P having the given relative 2-form as curvature. Given a compact Lie group K, a biinvariant Riemannian metric on K… ▽ More Let G be a Lie goup, let M and N be smooth connected G-manifolds, let f be a smooth G-map from M to N, and let P denote the fiber of f. Given a closed and equivariantly closed relative 2-form for f with integral periods, we construct the principal G-circle bundles with connection on P having the given relative 2-form as curvature. Given a compact Lie group K, a biinvariant Riemannian metric on K, and a closed Riemann surface S of genus s, when we apply the construction to the particular case where f is the familiar relator map from a product of 2s copies of K to K we obtain the principal K-circle bundles on the associated extended moduli spaces which, via reduction, then yield the corresponding line bundles on possibly twisted moduli spaces of representations of the fundamental group of S in K, in particular, on moduli spaces of semistable holomorphic vector bundles or, more precisely, on a smooth open stratum when the moduli space is not smooth. The construction also yields an alternative geometric object, distinct from the familiar gerbe, representing the fundamental class in the third integral cohomology group of K or, equivalently, the first Pontrjagin class of the classifying space of K. △ Less

Submitted 30 July, 2009; originally announced July 2009.

Comments: 23 pages

MSC Class: 14D21; 14H60; 53D17; 53D20; 53D30; 53D50; 55N91; 55R91; 57S25; 58D27; 81T13

Braids and crossed modules

Authors: Johannes Huebschmann

Abstract: We describe Artin's braid group on a (fixed) finite number of strings as a crossed module over itself. In particular, we interpret the braid relations as crossed module structure relations. We describe Artin's braid group on a (fixed) finite number of strings as a crossed module over itself. In particular, we interpret the braid relations as crossed module structure relations. △ Less

Submitted 3 January, 2010; v1 submitted 24 April, 2009; originally announced April 2009.

Comments: 18 pages

MSC Class: 20F36 57M05 57M20 57M25 18D50 18G55 20C08 55P48

Journal ref: J. of Group Theory 15 (2012), 57-83

On the construction of A-infinity structures

Authors: Johannes Huebschmann

Abstract: We relate a construction of Kadeishvili's establishing an A-infinity-structure on the homology of a differential graded algebra or more generally of an A-infinity algebra with certain constructions of Chen and Gugenheim. Thereafter we establish the links of these constructions with subsequent developments. We relate a construction of Kadeishvili's establishing an A-infinity-structure on the homology of a differential graded algebra or more generally of an A-infinity algebra with certain constructions of Chen and Gugenheim. Thereafter we establish the links of these constructions with subsequent developments. △ Less

Submitted 27 September, 2008; originally announced September 2008.

Comments: 35 pages

MSC Class: 16E45; 16W30; 17B55; 17B56; 17B65; 17B70; 17B81; 18G55; 55P62

Journal ref: In: Festschrift in honor of T. Kadeishvili's 60-th birthday, Georgian J. Math. 17 (2010), 161-202

The universal Hopf algebra associated with a Hopf-Lie-Rinehart algebra

Authors: Johannes Huebschmann

Abstract: We introduce a notion of Hopf-Lie-Rinehart algebra and show that the universal algebra of a Hopf-Lie-Rinehart algebra acquires an ordinary Hopf algebra structure. We introduce a notion of Hopf-Lie-Rinehart algebra and show that the universal algebra of a Hopf-Lie-Rinehart algebra acquires an ordinary Hopf algebra structure. △ Less

Submitted 26 February, 2008; originally announced February 2008.

Comments: 11 pages

MSC Class: 16W30 16S32 17B35

Extensions of Lie-Rinehart algebras and cotangent bundle reduction

Authors: Johannes Huebschmann, Matthew Perlmutter, Tudor S. Ratiu

Abstract: Let Q denote a smooth manifold acted upon smoothly by a Lie group G. The G-action lifts to an action on the total space T of the cotangent bundle of Q and hence on the standard symplectic Poisson algebra of smooth functions on T. The Poisson algebra of G-invariant functions on T yields a Poisson structure on the space T/G of G-orbits. We relate this Poisson algebra with extensions of Lie-Rinehart… ▽ More Let Q denote a smooth manifold acted upon smoothly by a Lie group G. The G-action lifts to an action on the total space T of the cotangent bundle of Q and hence on the standard symplectic Poisson algebra of smooth functions on T. The Poisson algebra of G-invariant functions on T yields a Poisson structure on the space T/G of G-orbits. We relate this Poisson algebra with extensions of Lie-Rinehart algebras and derive an explicit formula for this Poisson structure in terms of differentials. We then show, for the particular case where the G-action on Q is principal, how an explicit description of the Poisson algebra derived in the literature by an ad hoc construction is essentially a special case of the formula for the corresponding extension of Lie-Rinehart algebras. By means of various examples, we also show that this kind of description breaks down when the G-action does not define a principal bundle. △ Less

Submitted 13 March, 2013; v1 submitted 26 January, 2008; originally announced January 2008.

Comments: The original version has been reworked and expanded with coauthors. The new version has 30 pages; it will appear in the Proceedings of the London Mathematical Society

MSC Class: 53D20; 17B63; 17B65; 17B66; 17B81; 22E70; 53D17; 81S10

Journal ref: Proceedings of the London Mathematical Society 107 (2013), 1135-1172

Origins and breadth of the theory of higher homotopies

Authors: Johannes Huebschmann

Abstract: Higher homotopies are nowadays playing a prominent role in mathematics as well as in certain branches of theoretical physics. We recall some of the connections between the past and the present developments. Higher homotopies were isolated within algebraic topology at least as far back as the 1940's. Prompted by the failure of the Alexander-Whitney multiplication of cocycles to be commutative, St… ▽ More Higher homotopies are nowadays playing a prominent role in mathematics as well as in certain branches of theoretical physics. We recall some of the connections between the past and the present developments. Higher homotopies were isolated within algebraic topology at least as far back as the 1940's. Prompted by the failure of the Alexander-Whitney multiplication of cocycles to be commutative, Steenrod developed certain operations which measure this failure in a coherent manner. Dold and Lashof extended Milnor's classifying space construction to associative H-spaces, and a careful examination of this extension led Stasheff to the discovery of An-spaces and Ainfty-spaces as notions which control the failure of associativity in a coherent way so that the classifying space construction can still be pushed through. Algebraic versions of higher homotopies have, as we all know, led Kontsevich eventually to the proof of the formality conjecture. Homological perturbation theory (HPT), in a simple form first isolated by Eilenberg and Mac Lane in the early 1950's, has nowadays become a standard tool to handle algebraic incarnations of higher homotopies. A basic observation is that higher homotopy structures behave much better relative to homotopy than strict structures, and HPT enables one to exploit this observation in various concrete situations which, in particular, leads to the effective calculation of various invariants which are otherwise intractable. Higher homotopies abound but they are rarely recognized explicitly and their significance is hardly understood; at times, their appearance might at first glance even come as a surprise, for example in the Kodaira-Spencer approach to deformations of complex manifolds or in the theory of foliations. △ Less

Submitted 14 October, 2007; originally announced October 2007.

Comments: 14 pages, expanded version of a talk delivered at the meeting "Higher structures in Geometry and Physics", IHP, Paris, January 15-19, 2007, in honor of Murray Gerstenhaber's 80th and Jim Stasheff's 70th birthday

MSC Class: 13D10; 16E45; 16W30; 17B37; 17B55; 17B56; 17B65; 17B70; 18G10; 18G55; 55P35; 55P47; 55P48; 55P62; 55R35; 55S30; 70H45; 81T70

Journal ref: In: Festschrift in Honor of M. Gerstenhaber's 80-th and J. Stasheff's 70-th birthday, Progress in Math. vol. 287, pp. 159--179, Birkhäuser-Verlag Basel-Boston-Berlin 2010

The sh-Lie algebra perturbation Lemma

Authors: Johannes Huebschmann

Abstract: Let R be a commutative ring which contains the rationals as a subring and let g be a chain complex. Suppose given an sh-Lie algebra structure on g, that is, a coalgebra perturbation of the coalgebra differential on the cofree coaugmented differential graded cocommutative coalgebra T' on the suspension of g and write the perturbed coalgebra as T". Suppose, furthermore, given a contraction of g on… ▽ More Let R be a commutative ring which contains the rationals as a subring and let g be a chain complex. Suppose given an sh-Lie algebra structure on g, that is, a coalgebra perturbation of the coalgebra differential on the cofree coaugmented differential graded cocommutative coalgebra T' on the suspension of g and write the perturbed coalgebra as T". Suppose, furthermore, given a contraction of g onto a chain complex M. We show that the data determine an sh-Lie algebra structure on M, that is, a coalgebra perturbation of the coalgebra differential on the cofree coaugmented differential graded cocommutative coalgebra S' on the suspension of M, a Lie algebra twisting cochain from the perturbed coalgebra S" to the loop Lie algebra L on the perturbed coalgebra T", and an extension of this Lie algebra twisting cochain to a contraction of chain complexes from the Cartan-Chevalley-Eilenberg coalgebra on L onto S" which is natural in the data. For the special case where M and g are connected we also construct an explicit extension of the perturbed retraction to an sh-Lie map. This approach includes a very general solution of the master equation. △ Less

Submitted 4 February, 2010; v1 submitted 10 October, 2007; originally announced October 2007.

Comments: 20 pages

MSC Class: 16E45; 16W30; 17B55; 17B56; 17B65; 17B70; 18G10; 55P62

Journal ref: Forum math. 23 (2011), 669-691

The Lie algebra perturbation lemma

Authors: Johannes Huebschmann

Abstract: Let g be a differential graded Lie algebra and suppose given a contraction of chain complexes of g onto a general chain complex M. We show that the data determine an sh-Lie algebra structure on M, that is, a coalgebra perturbation of the coalgebra differential on the cofree coaugmented differential graded cocommutative coalgebra S' on the suspension of M, a Lie algebra twisting cochain from the… ▽ More Let g be a differential graded Lie algebra and suppose given a contraction of chain complexes of g onto a general chain complex M. We show that the data determine an sh-Lie algebra structure on M, that is, a coalgebra perturbation of the coalgebra differential on the cofree coaugmented differential graded cocommutative coalgebra S' on the suspension of M, a Lie algebra twisting cochain from the perturbed coalgebra S" to the given Lie algebra g, and an extension of this Lie algebra twisting cochain to a contraction of chain complexes from the Cartan-Chevalley-Eilenberg coalgebra on g onto S" which is natural in the data. This extends a result established in a joint paper of the author with J. Stashef [Forum math. 14 (2002), 847-868, math.AG/9906036] where only the particular where M is the homology of g has been explored. △ Less

Submitted 16 October, 2007; v1 submitted 29 August, 2007; originally announced August 2007.

Comments: 20 pages; in view of a number of comments of J. Stasheff, the exposition has been improved

MSC Class: 16E45; 16W30; 17B55; 17B56; 17B65; 17B70; 18G10; 55P62

Journal ref: In: Festschrift in honor of M. Gerstenhaber's 80-th and Jim Stasheff's 70-th birthday, Progress in Math. vol. 287, pp. 159--179, Birkhäuser-Verlag, Basel-Boston-Berlin, 2010

Singular Poisson-Kaehler geometry of certain adjoint quotients

Authors: Johannes Huebschmann

Abstract: The Kaehler quotient of a complex reductive Lie group relative to the conjugation action carries a complex algebraic stratified Kaehler structure which reflects the geometry of the group. For the group SL(n,C), we interpret the resulting singular Poisson-Kaehler geometry of the quotient in terms of complex discriminant varieties and variants thereof. The Kaehler quotient of a complex reductive Lie group relative to the conjugation action carries a complex algebraic stratified Kaehler structure which reflects the geometry of the group. For the group SL(n,C), we interpret the resulting singular Poisson-Kaehler geometry of the quotient in terms of complex discriminant varieties and variants thereof. △ Less

Submitted 20 October, 2006; originally announced October 2006.

Comments: 27 pages

MSC Class: Primary: 17B63 17B65 17B66 17B81 53D17 53D20 53D50 70H45 81S10; Secondary: 14L24 14L30 32C20 32Q15 32S05 32S60

Journal ref: Banach Center Publ. 76 (2007), 325-347

Kirillov's character formula, the holomorphic Peter-Weyl theorem, and the Blattner-Kostant-Sternberg pairing

Authors: Johannes Huebschmann

Abstract: Let K be a compact Lie group, endowed with a bi-invariant Riemannian metric. The complexification G of K inherits a Kaehler structure having twice the kinetic energy of the metric as its potential, and left and right translation turn the Hilbert space of square-integrable holomorphic functions on G relative to a suitable measure into a unitary (KxK)-representation. We establish the statement of… ▽ More Let K be a compact Lie group, endowed with a bi-invariant Riemannian metric. The complexification G of K inherits a Kaehler structure having twice the kinetic energy of the metric as its potential, and left and right translation turn the Hilbert space of square-integrable holomorphic functions on G relative to a suitable measure into a unitary (KxK)-representation. We establish the statement of the Peter-Weyl theorem for this Hilbert space to the effect that this Hilbert space contains the vector space of representative functions on G as a dense subspace and that the assignment to a holomorphic function of its Fourier coefficients yields an isomorphism of Hilbert algebras from the convolution algebra on G onto the algebra which arises from the endomorphism algebras of the irreducible representations of K by the appropriate operation of Hilbert space sum. Consequences are (i) a holomorphic Plancherel theorem and the existence of a uniquely determined unitary isomorphism between the space of square-integrable functions on K and the Hilbert space of holomorphic functions on G, and (ii) a proof that this isomorphism coincides with the corresponding Blattner-Kostant-Sternberg pairing map, multiplied by a suitable constant. We then show that the spectral decomposition of the energy operator on the Hilbert space of holomorphic functions on G associated with the metric on K refines to the Peter-Weyl decomposition of this Hilbert space in the usual manner and thus yields the decomposition of this Hilbert space into irreducible isotypical (KxK)-representations. Among our crucial tools is Kirillov's character formula. Our methods are geometric and independent of heat kernels, which are used by B. C. Hall to obtain many of these results [Journal of Functional Analysis 122 (1994), 103--151], [Comm. in Math. Physics 226 (2002), 233--268]. △ Less

Submitted 2 October, 2008; v1 submitted 20 October, 2006; originally announced October 2006.

Comments: 29 pages; prompted by some reactions, a number of comments have been incorporated

MSC Class: 17B63; 17B81; 22E30; 22E46; 22E70; 32W30; 53D50; 81S10 (Primary) 14L35; 17B65; 17B66; 32Q15; 53D17; 53D20 (Secondary)

Journal ref: Journal of Geometry and Physics 58 (2008) 833-848

Classical phase space singularities and quantization

Authors: Johannes Huebschmann

Abstract: Simple classical mechanical systems and solution spaces of classical field theories involve singularities. In certain situations these singularities can be understood in terms of stratified Kaehler spaces. We give an overview of a research program whose aim is to develop a holomorphic quantization procedure on stratified Kaehler spaces. Simple classical mechanical systems and solution spaces of classical field theories involve singularities. In certain situations these singularities can be understood in terms of stratified Kaehler spaces. We give an overview of a research program whose aim is to develop a holomorphic quantization procedure on stratified Kaehler spaces. △ Less

Submitted 20 October, 2006; originally announced October 2006.

Comments: 23 pages

MSC Class: Primary: 17B63 17B65 17B66 17B81 53D17 53D20 53D50 70H45 81S10; Secondary: 14L24 14L30 32C20 32Q15 32S05 32S60

Journal ref: In: Quantum Theory and Symmetries. IV. V. Dobrev, ed., Heron Press, Sofia (2006)

Slices for lifted tangent and cotangent actions

Authors: Johannes Huebschmann

Abstract: Given a Lie group G, a G-manifold M, and a point b of M with compact stabilizer, we construct slices for the lifted tangent and cotangent actions at a pre-image of b in terms of a slice for the G-action on M at the point b. We interpret the slice for the lifted cotangent action in terms of a symplectic slice and in terms of a Witt-Artin-decomposition. Given a Lie group G, a G-manifold M, and a point b of M with compact stabilizer, we construct slices for the lifted tangent and cotangent actions at a pre-image of b in terms of a slice for the G-action on M at the point b. We interpret the slice for the lifted cotangent action in terms of a symplectic slice and in terms of a Witt-Artin-decomposition. △ Less

Submitted 2 September, 2005; originally announced September 2005.

Comments: AMSTeX 2.1, 17 pages

MSC Class: 53D20 70H33

Minimal free multi models for chain algebras

Authors: Johannes Huebschmann

Abstract: Let R be a local ring and A a connected differential graded algebra over R which is free as a graded R-module. Using homological perturbation theory techniques, we construct a minimal free multi model for A having properties similar to that of an ordinary minimal model over a field; in particular the model is unique up to isomorphism of multialgebras. The attribute multi refers to the category o… ▽ More Let R be a local ring and A a connected differential graded algebra over R which is free as a graded R-module. Using homological perturbation theory techniques, we construct a minimal free multi model for A having properties similar to that of an ordinary minimal model over a field; in particular the model is unique up to isomorphism of multialgebras. The attribute multi refers to the category of multicomplexes. △ Less

Submitted 21 January, 2005; v1 submitted 10 May, 2004; originally announced May 2004.

Comments: AMSTeX2.1, 21 pages

MSC Class: 18G10 18G35 18G55 55P35 55P62 55U15 57T30

Journal ref: Georgian Math. J. 11 (2004) 733-752

Singular Poisson-Kaehler geometry of Scorza varieties and their secant varieties

Authors: Johannes Huebschmann

Abstract: Each Scorza variety and its secant varieties in the ambient projective space are identified, in the realm of singular Poisson-Kaehler geometry, in terms of projectivizations of holomorphic nilpotent orbits in suitable Lie algebras of hermitian type, the holomorphic nilpotent orbits, in turn, being affine varieties. The ambient projective space acquires an exotic Kaehler structure, the closed str… ▽ More Each Scorza variety and its secant varieties in the ambient projective space are identified, in the realm of singular Poisson-Kaehler geometry, in terms of projectivizations of holomorphic nilpotent orbits in suitable Lie algebras of hermitian type, the holomorphic nilpotent orbits, in turn, being affine varieties. The ambient projective space acquires an exotic Kaehler structure, the closed stratum being the Scorza variety and the closures of the higher strata its secant varieties. In this fashion, the secant varieties become exotic projective varieties. In the rank 3 case, the four regular Scorza varieties coincide with the four critical Severi varieties. In the standard cases, the Scorza varieties and their secant varieties arise also via Kaehler reduction. An interpretation in terms of constrained mechanical systems is included. △ Less

Submitted 10 May, 2004; originally announced May 2004.

Comments: AMSTeX2.1, 16 pages

MSC Class: 14L24 14L30 17B63 17B66 17B81 17C36 17C40 17C70 32C20 32Q15 32S05 32S60 53C30 53D17 53D20

Journal ref: Differential Geometry and its Applications 23 (2005) 79-93

Stratified Kaehler structures on adjoint quotients

Authors: Johannes Huebschmann

Abstract: Given a compact Lie group, endowed with a bi-invariant Riemannian metric, its complexification inherits a Kaehler structure having twice the kinetic energy of the metric as its potential, and Kaehler reduction with reference to the adjoint action yields a stratified Kaehler structure on the resulting adjoint quotient. Exploiting classical invariant theory, in particular bisymmetric functions and… ▽ More Given a compact Lie group, endowed with a bi-invariant Riemannian metric, its complexification inherits a Kaehler structure having twice the kinetic energy of the metric as its potential, and Kaehler reduction with reference to the adjoint action yields a stratified Kaehler structure on the resulting adjoint quotient. Exploiting classical invariant theory, in particular bisymmetric functions and variants thereof, we explore the singular Poisson-Kaehler geometry of this quotient. Among other things we prove that, for various compact groups, the real coordinate ring of the adjoint quotient is generated, as a Poisson algebra, by the real and imaginary parts of the fundamental characters. We also show that singular Kaehler quantization of the geodesic flow on the reduced level yields the irreducible algebraic characters of the complexified group. △ Less

Submitted 2 November, 2006; v1 submitted 6 April, 2004; originally announced April 2004.

Comments: AMSTeX2.1, 43 pages

MSC Class: 14L24 14L30 17B63 17B65 17B66 17B81 32C20 32Q15 32S05 32S60 53D17 53D20 53D50 81S10

Journal ref: Differential Geometry and its Applications 26 (2008) 704-731

Relative homological algebra, equivariant de Rham theory, and Koszul duality

Authors: Johannes Huebschmann

Abstract: Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V the V-valued total de Rham complex of G. We describe the G-equivariant de Rham cohomology in terms of a suitable relative differential graded Ext, defined on th… ▽ More Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V the V-valued total de Rham complex of G. We describe the G-equivariant de Rham cohomology in terms of a suitable relative differential graded Ext, defined on the appropriate category of (G,Cg)-modules. The meaning of "relative" is made precise via the dual standard construction associated with the monad involving the aforementioned functor and the associated forgetful functor. The corresponding infinitesimal equivariant cohomology is the relative differential Ext over Cg relative to g. The functor under discussion decomposes into two functors, the functor which determines differentiable cohomology in the sense of Hochschild-Mostow and the functor which determines the infinitesimal equivariant theory, suitably interpreted. This functor decomposition, in turn, entails an extension of a Decomposition Lemma due to Bott. Appropriate models for the differential graded Ext involving a comparison between a suitably defined simplicial Weil coalgebra and the Weil coalgebra dual to the familiar ordinary Weil algebra yield small models for equivariant de Rham cohomology including the standard Weil and Cartan models for the special case where the group G is compact and connected. Koszul duality in de Rham theory results from these considerations in a straightforward manner. △ Less

Submitted 2 October, 2008; v1 submitted 14 January, 2004; originally announced January 2004.

Comments: AMSTeX2.1, 62 pages

MSC Class: 55N91; 16S37; 16E45; 18G15; 18G55; 55N10; 55N33; 55T20; 55T30; 57U10; 58A12

Homological perturbations, equivariant cohomology, and Koszul duality

Authors: Johannes Huebschmann

Abstract: Our main objective is to demonstrate how homological perturbation theory (HPT) results over the last 40 years immediately or with little extra work give some of the Koszul duality results that have appeared in the last decade. Higher homotopies typically arise when a huge object, e. g. a chain complex defining various invariants of a certain geometric situation, is cut to a small model, and th… ▽ More Our main objective is to demonstrate how homological perturbation theory (HPT) results over the last 40 years immediately or with little extra work give some of the Koszul duality results that have appeared in the last decade. Higher homotopies typically arise when a huge object, e. g. a chain complex defining various invariants of a certain geometric situation, is cut to a small model, and the higher homotopies can then be dealt with concisely in the language of sh-structures (strong homotopy structures). This amounts to precise ways of handling the requisite additional structure encapsulating the various coherence conditions. Given e. g. two augmented differential graded algebras A and B, an sh-map from A to B is a twisting cochain from the reduced bar construction of A to B and, in this manner, the class of morphisms of augmented differential graded algebras is extended to that of sh-morphisms. In the present paper, we explore small models for equivariant (co)homology via differential homological algebra techniques including homological perturbation theory which, in turn, is a standard tool to handle sh-structures. Koszul duality, for a finite type exterior algebra on odd positive degree generators, then comes down to a duality between the category of sh-modules over that algebra and that of sh-comodules over its reduced bar construction. This kind of duality relies on the extended functoriality of the differential graded Tor-, Ext-, Cotor-, and Coext functors, extended to the appropriate sh-categories. We construct the small models as certain twisted tensor products and twisted Hom-objects. These are chain and cochain models for the chains and cochains on geometric bundles and are compatible with suitable additional structure. △ Less

Submitted 31 July, 2009; v1 submitted 14 January, 2004; originally announced January 2004.

Comments: AMSTeX 2.1, 56 pages

MSC Class: 55N91; 16S37; 16E45; 18G15; 18G55; 55N10; 55N33; 55T20; 57T30; 57U10; 58A12

Higher homotopies and Maurer-Cartan algebras: Quasi-Lie-Rinehart, Gerstenhaber, and Batalin-Vilkovisky algebras

Authors: Johannes Huebschmann

Abstract: Higher homotopy generalizations of Lie-Rinehart algebras, Gerstenhaber-, and Batalin-Vilkovisky algebras are explored. These are defined in terms of various antisymmetric bilinear operations satisfying weakened versions of the Jacobi identity, as well as in terms of operations involving more than two variables of the Lie triple systems kind. A basic tool is the Maurer-Cartan algebra-the algebra… ▽ More Higher homotopy generalizations of Lie-Rinehart algebras, Gerstenhaber-, and Batalin-Vilkovisky algebras are explored. These are defined in terms of various antisymmetric bilinear operations satisfying weakened versions of the Jacobi identity, as well as in terms of operations involving more than two variables of the Lie triple systems kind. A basic tool is the Maurer-Cartan algebra-the algebra of alternating forms on a vector space so that Lie brackets correspond to square zero derivations of this algebra-and multialgebra generalizations thereof. The higher homotopies are phrased in terms of these multialgebras. Applications to foliations are discussed: objects which serve as replacements for the Lie algebra of vector fields on the "space of leaves" and for the algebra of multivector fields are developed, and the spectral sequence of a foliation is shown to arise as a special case of a more general spectral sequence including as well the Hodge-de Rham spectral sequence. △ Less

Submitted 8 April, 2004; v1 submitted 17 November, 2003; originally announced November 2003.

Comments: AMSTeX 2.1, 60 pages

Report number: ESI Report No 1411 MSC Class: 17B55 17B56 17B65 17B66 17B81 18G40 53C12 53C15 55R20 57R30 70H45

Journal ref: Festschrift in honor of A. Weinstein, Progress in Math. 232 (2004) 237-302

Lie-Rinehart algebras, descent, and quantization

Authors: Johannes Huebschmann

Abstract: A Lie-Rinehart algebra consists of a commutative algebra and a Lie algebra with additional structure which generalizes the mutual structure of interaction between the algebra of functions and the Lie algebra of smooth vector fields on a smooth manifold. Lie-Rinehart algebras provide the correct categorical language to solve the problem whether Kaehler quantization commutes with reduction which,… ▽ More A Lie-Rinehart algebra consists of a commutative algebra and a Lie algebra with additional structure which generalizes the mutual structure of interaction between the algebra of functions and the Lie algebra of smooth vector fields on a smooth manifold. Lie-Rinehart algebras provide the correct categorical language to solve the problem whether Kaehler quantization commutes with reduction which, in turn, may be seen as a descent problem. △ Less

Submitted 2 March, 2003; originally announced March 2003.

Comments: AMSTeX 2.1, 23 pages

MSC Class: 14L24 14L30 17B63 17B65 17B66 17B81 31C17 32C20 32Q15 32S05 32S60 53D17 53D20 53D50 58F05 58F06 81S10

Journal ref: In: Galois theory, Hopf algebras, and semiabelian categories, Fields Inst. Commun. 43 (2004), 295-316

On the cohomology of the holomorph of a finite cyclic group

Authors: Johannes Huebschmann

Abstract: The mod 2 cohomology algebra of the holomorph of any finite cyclic group whose order is a power of 2 is determined. The mod 2 cohomology algebra of the holomorph of any finite cyclic group whose order is a power of 2 is determined. △ Less

Submitted 11 February, 2004; v1 submitted 2 March, 2003; originally announced March 2003.

Comments: AMSTeX2.1, 11 pages. A complete description of the multiplicative structure is now included

MSC Class: 20J05 20J06

Journal ref: J. of Algebra 279 (2004), 79-90

Kaehler quantization and reduction

Authors: Johannes Huebschmann

Abstract: Exploiting a notion of Kaehler structure on a stratified space introduced elsewhere we show that, in the Kaehler case, reduction after quantization coincides with quantization after reduction: Key tools developed for that purpose are stratified polarizations and stratified prequantum modules, the latter generalizing prequantum bundles. These notions encapsulate, in particular, the behaviour of a… ▽ More Exploiting a notion of Kaehler structure on a stratified space introduced elsewhere we show that, in the Kaehler case, reduction after quantization coincides with quantization after reduction: Key tools developed for that purpose are stratified polarizations and stratified prequantum modules, the latter generalizing prequantum bundles. These notions encapsulate, in particular, the behaviour of a polarization and that of a prequantum bundle across the strata. Our main result says that, for a positive Kaehler manifold with a hamiltonian action of a compact Lie group, when suitable additional conditions are imposed, reduction after quantization coincides with quantization after reduction in the sense that not only the reduced and unreduced quantum phase spaces correspond but the (invariant) unreduced and reduced quantum observables as well. Over a stratified space, the appropriate quantum phase space is a costratified Hilbert space in such a way that the costratified structure reflects the stratification. Examples of stratified Kaehler spaces arise from the closures of holomorphic nilpotent orbits including angular momentum zero reduced spaces, and from representations of compact Lie groups. For illustration, we carry out Kaehler quantization on various spaces of that kind including singular Fock spaces. △ Less

Submitted 8 April, 2004; v1 submitted 19 July, 2002; originally announced July 2002.

Comments: AMSTeX2.1, 35 pages

MSC Class: 14L24 17B63 17B65 17B66 17B81 32Q15 53D17 53D20 53D50 81S10

Journal ref: J. reine angew. Math. 591 (2006), 75-109

Severi varieties and holomorphic nilpotent orbits

Authors: Johannes Huebschmann

Abstract: Each of the four critical Severi varieties arises from a minimal holomorphic nilpotent orbit in a simple regular rank 3 hermitian Lie algebra and each such variety lies as singular locus in a cubic--the chordal variety--in the corresponding complex projective space; the cubic and projective space are identified in terms of holomorphic nilpotent orbits. The projective space acquires an exotic Käh… ▽ More Each of the four critical Severi varieties arises from a minimal holomorphic nilpotent orbit in a simple regular rank 3 hermitian Lie algebra and each such variety lies as singular locus in a cubic--the chordal variety--in the corresponding complex projective space; the cubic and projective space are identified in terms of holomorphic nilpotent orbits. The projective space acquires an exotic Kähler structure with three strata, the cubic is an example of an exotic projective variety with two strata, and the corresponding Severi variety is the closed stratum in the exotic variety as well as in the exotic projective space. In the standard cases, these varieties arise also via Kähler reduction. An interpretation in terms of constrained mechanical systems is included. △ Less

Submitted 29 January, 2004; v1 submitted 14 June, 2002; originally announced June 2002.

Comments: AMSTEeX2.1, 11 pages

MSC Class: 14L24 14L30 17B63 17B66 17B81 17C36 17C37 17C40 17C70 32C20 32Q15 32S05 32S60 53D17 53D20

Kaehler spaces, nilpotent orbits, and singular reduction

Authors: Johannes Huebschmann

Abstract: For a stratified symplectic space, a suitable concept of stratified Kaehler polarization, defined in terms of an appropriate Lie-Rinehart algebra, encapsulates Kaehler polarizations on the strata and the behaviour of the polarizations across the strata and leads to the notion of stratified Kaehler space. This notion establishes an intimate relationship between nilpotent orbits, singular reductio… ▽ More For a stratified symplectic space, a suitable concept of stratified Kaehler polarization, defined in terms of an appropriate Lie-Rinehart algebra, encapsulates Kaehler polarizations on the strata and the behaviour of the polarizations across the strata and leads to the notion of stratified Kaehler space. This notion establishes an intimate relationship between nilpotent orbits, singular reduction, invariant theory, reductive dual pairs, Jordan triple systems, symmetric domains, and pre-homogeneous spaces; in particular, in the world of singular Poisson geometry, the closures of principal holomorphic nilpotent orbits, positive definite hermitian JTS's, and certain pre-homogeneous spaces appear as different incarnations of the same structure. The space of representations of the fundamental group of a closed surface in a compact Lie group inherits a (positive) normal (stratified) Kaehler structure, as does the closure of a holomorphic nilpotent orbit in a semisimple Lie algebra of hermitian type. The closure of the principal holomorphic nilpotent orbit arises from a regular semisimple holomorphic orbit by contraction. Symplectic reduction carries a (positive) Kaehler manifold to a (positive) normal Kaehler space in such a way that the sheaf of germs of polarized functions thereupon coincides with the ordinary sheaf of germs of holomorphic functions. Symplectic reduction establishes a close relationship between singular reduced spaces and nilpotent orbits of the dual groups. Projectivization of holomorphic nilpotent orbits yields exotic stratified Kaehler structures on complex projective spaces and on certain complex projective varieties including complex projective quadrics. Physical examples are provided by certain reduced spaces arising from angular momentum zero. △ Less

Submitted 13 August, 2002; v1 submitted 23 April, 2001; originally announced April 2001.

Comments: AMSTeX2.1, 85 pages; the exposition has been improved; for any holomorphic nilpotent orbit, the closure is now shown to be normal as a complex analytic space

MSC Class: 14L24 14L30 17B63 17B65 17B66 17B81 17C36 17C37 17C40 17C70 32C20 32Q15 32S05 32S60 53D17 53D20 53D30 53D50 81S10

Journal ref: Memoirs AMS 172/814 (2004)

Singularities and Poisson geometry of certain representation spaces

Authors: Johannes Huebschmann

Abstract: Playing off against each other the real and complex structures, we elucidate the local structure of certain representation spaces in the world of Poisson geometry. Particular cases of these spaces arise as moduli spaces of semistable holomorphic vector bundles on Riemann surfaces. Playing off against each other the real and complex structures, we elucidate the local structure of certain representation spaces in the world of Poisson geometry. Particular cases of these spaces arise as moduli spaces of semistable holomorphic vector bundles on Riemann surfaces. △ Less

Submitted 19 December, 2000; originally announced December 2000.

Comments: AMSTeX 2.1, 16 pages

MSC Class: 14L24 14L30 17B63 17B65 17B66 17B81 32C20 32Q15 32S05 32S60 53D17 53D20 53D30 53D50 81S10

Journal ref: pp.119-135 of: Quantization of singular symplectic quotients, Progress in Mathematics, Vol. 198, 2001, Birkhaeuser Verlag

Rinehart complexes and Batalin-Vilkovisky algebras

Authors: Johannes Huebschmann

Abstract: For a Lie-Rinehart algebra (A,L) such that, as an A-module, L is finitely generated and projective of finite constant rank, the relationship between generators of the Gerstenhaber bracket and connections on the highest A-exterior power of L given in an earlier paper arises from the canonical pairing between the exterior A-powers of L. Thus, given an exact generator for the corresponding Gerstenh… ▽ More For a Lie-Rinehart algebra (A,L) such that, as an A-module, L is finitely generated and projective of finite constant rank, the relationship between generators of the Gerstenhaber bracket and connections on the highest A-exterior power of L given in an earlier paper arises from the canonical pairing between the exterior A-powers of L. Thus, given an exact generator for the corresponding Gerstenhaber algebra, the chain complex underlying the resulting Batalin-Vilkovisky algebra coincides with the Rinehart complex computing the corresponding Lie-Rinehart homology. △ Less

Submitted 3 October, 2000; originally announced October 2000.

Comments: 8 pages, AMSTeX2.1

MSC Class: 17B55 17B56 17B56 17B65 17B66 17B70 17B81 53C05 81T70

Formal solution of the master equation via HPT and deformation theory

Authors: Johannes Huebschmann, Jim Stasheff

Abstract: We construct a solution of the master equation by means of standard tools from homological perturbation theory under just the hypothesis that the ground field be of characteristic zero, thereby avoiding the formality assumption of the relevant Lie algebra. To this end we endow the homology H(g) of any differential graded Lie algebra g with an sh-Lie structure such that g and H(g) are sh-equivale… ▽ More We construct a solution of the master equation by means of standard tools from homological perturbation theory under just the hypothesis that the ground field be of characteristic zero, thereby avoiding the formality assumption of the relevant Lie algebra. To this end we endow the homology H(g) of any differential graded Lie algebra g with an sh-Lie structure such that g and H(g) are sh-equivalent. We discuss our solution of the master equation in the context of deformation theory. Given the extra structure appropriate to the extended moduli space of complex structures on a Calabi-Yau manifold, the known solutions result as a special case. △ Less

Submitted 21 February, 2002; v1 submitted 6 June, 1999; originally announced June 1999.

Comments: AMSTeX 2.1, 21 pages

MSC Class: 13D10 14B12 14J32 16W30 16S80 17B55 17B56 17B65 17B66 17B70 17B81 18G10 32G05 55P62 55R15 81T7

Journal ref: Forum Mathematicum 14 (2002), 847-868

Berikashvili's functor D and the deformation equation

Authors: Johannes Huebschmann

Abstract: Berikashvili's functor D defined in terms of twisting cochains is related to deformation theory, gauge theory, Chen's formal power series connections, and the master equation in physics. The idea is advertised that some unification and understanding of the links between these topics is provided by the notion of twisting cochain and the idea of classifying twisting cochains. Berikashvili's functor D defined in terms of twisting cochains is related to deformation theory, gauge theory, Chen's formal power series connections, and the master equation in physics. The idea is advertised that some unification and understanding of the links between these topics is provided by the notion of twisting cochain and the idea of classifying twisting cochains. △ Less

Submitted 5 June, 1999; originally announced June 1999.

Comments: 12 pages, AMSTeX 2.1, Berikashvili-Festschrift, Proc. Razmadze Institute (to appear)

MSC Class: 13D10 14J32 16S80 17B56 17B65 17B70 17B81 53C05 55P62 55R15 55R20 55S40 81T70

Journal ref: Proc. of A. Razmadze Math. Inst. 119(1999),59-72

Twilled Lie-Rinehart algebras and differential Batalin-Vilkovisky algebras

Authors: Johannes Huebschmann

Abstract: Twilled L(ie)-R(inehart) algebas generalize, in the Lie-Rinehart context, complex structures on smooth manifolds. An almost complex manifold determines an almost twilled pre-LR algebra, which is a true twilled LR-algebra iff the almost complex structure is integrable. We characterize twilled LR-structures in terms of certain associated differential (bi)graded Lie and G(erstenhaber)-algebras; in… ▽ More Twilled L(ie)-R(inehart) algebas generalize, in the Lie-Rinehart context, complex structures on smooth manifolds. An almost complex manifold determines an almost twilled pre-LR algebra, which is a true twilled LR-algebra iff the almost complex structure is integrable. We characterize twilled LR-structures in terms of certain associated differential (bi)graded Lie and G(erstenhaber)-algebras; in particular, the G-algebra arising from an almost complex structure is a d(ifferential) G-algebra iff the almost complex structure is integrable. Such G-algebras, endowed with a generator turning them into a B(atalin)-V(ilkovisky) algebra, occur on the B-side of the mirror conjecture. We generalize a result of Koszul to those dG-algebras which arise from twilled LR-algebras. A special case thereof explains the relationship between holomorphic volume forms and exact generators for the corresponding dG-algebras and thus yields in particular a conceptual proof of the Tian-Todorov lemma. We give a differential homological algebra interpretation for twilled LR-algebras and by means of it we elucidate the notion of generator in terms of homological duality for differential graded LR-algebras. Finally we indicate how some of our results might be globalized by means of Lie groupoids. △ Less

Submitted 10 November, 1998; originally announced November 1998.

Comments: 54 pages, AMSTeX 2.1

MSC Class: 17B55;17B56;17B65;17B66;17B70;17B81;31C16;32G05;53C05;81T70

On the variation of the Poisson structures of certain moduli spaces

Authors: Johannes Huebschmann

Abstract: Given a Lie group G whose Lie algebra is endowed with a nondegenerate invariant symmetric bilinear form, we construct a Poisson algebra of continuous functions on a certain open subspace R of the space of representations in G of the fundamental group of a compact connected orientable topological surface with finitely many boundary circles; when G is compact and connected, R may be taken dense in… ▽ More Given a Lie group G whose Lie algebra is endowed with a nondegenerate invariant symmetric bilinear form, we construct a Poisson algebra of continuous functions on a certain open subspace R of the space of representations in G of the fundamental group of a compact connected orientable topological surface with finitely many boundary circles; when G is compact and connected, R may be taken dense in the space of all representations. The space R contains spaces of representations where the values of those generators of the fundamental group which correspond to the boundary circles are constrained to lie in fixed conjugacy classes and, on these representation spaces, the Poisson algebra restricts to stratified symplectic Poisson algebras constructed elsewhere earlier. Hence the Poisson algebra on R gives a description of the variation of the stratified symplectic Poisson structures on the smaller representation spaces as the chosen conjugacy classes move. △ Less

Submitted 29 October, 1997; originally announced October 1997.

Comments: AMSTeX 2.1, 24 pages

Journal ref: Math. Ann. 319 (2001), 267-310

Extensions of Lie-Rinehart algebras and the Chern-Weil construction

Authors: Johannes Huebschmann

Abstract: A Chern-Weil construction for extensions of Lie-Rinehart algebras is introduced. This generalizes the classical Chern-Weil construction in differential geometry and yields characteristic classes for arbitrary extensions of Lie-Rinehart algebras. Some examples arising from spaces with singularities and from foliations are given that cannot be treated by means of the classical Chern-Weil construct… ▽ More A Chern-Weil construction for extensions of Lie-Rinehart algebras is introduced. This generalizes the classical Chern-Weil construction in differential geometry and yields characteristic classes for arbitrary extensions of Lie-Rinehart algebras. Some examples arising from spaces with singularities and from foliations are given that cannot be treated by means of the classical Chern-Weil construction. △ Less

Submitted 1 June, 1997; originally announced June 1997.

Comments: AMSTeX 2.1, 30 pages

Journal ref: Stasheff Festschrift Cont. Math. 227 (1999), 145-176

Lie-Rinehart algebras, Gerstenhaber algebras, and B-V algebras

Authors: Johannes Huebschmann

Abstract: For a Lie-Rinehart algebra (A,L), generators for the Gerstenhaber algebra Λ_A L correspond bijectively to right (A,L)-connections on A in such a way that B-V structures correspond to right (A,L)-module structures on A. When L is projective as an A-module, given an exact generator \partial, the homology of the B-V algebra (Λ_A L,\partial) coincides with that of L with coefficients in A with respe… ▽ More For a Lie-Rinehart algebra (A,L), generators for the Gerstenhaber algebra Λ_A L correspond bijectively to right (A,L)-connections on A in such a way that B-V structures correspond to right (A,L)-module structures on A. When L is projective as an A-module, given an exact generator \partial, the homology of the B-V algebra (Λ_A L,\partial) coincides with that of L with coefficients in A with respect to the right (A,L)-module structure determined by \partial. When L is also of finite rank n, there are bijective correspondences between (A,L)-connections on Λ_A^nL and right (A,L)-connections on A and between left (A,L)- module structures on Λ_A^nL and right (A,L)-module structures on A. Hence there are bijective correspondences between (A,L)-connections on Λ_A^n L and generators for the Gerstenhaber bracket on Λ_A L and between (A,L)-module structures on Λ_A^n L and B-V algebra structures on Λ_A L. The homology of such a B-V algebra (Λ_A L,\partial) coincides with the cohomology of L with coefficients in Λ_A^n L, for the left (A,L)-module structure determined by \partial. Some applications are discussed. △ Less

Submitted 9 April, 1997; originally announced April 1997.

Comments: 13 pages, AMSTeX 2.1

Journal ref: Annales Inst. Fourier 48 (1998), 425-440

Duality for Lie-Rinehart algebras and the modular class

Authors: Johannes Huebschmann

Abstract: We introduce a notion of duality for a Lie-Rinehart algebra giving certain bilinear pairings in its cohomology generalizing the usual notions of Poincaré duality in Lie algebra cohomology and de Rham cohomology. We show that the duality isomorphisms can be given by a cap product with a suitable fundamental class and hence may be taken natural in any reasonable sense. Thereafter, for a Lie-Rineha… ▽ More We introduce a notion of duality for a Lie-Rinehart algebra giving certain bilinear pairings in its cohomology generalizing the usual notions of Poincaré duality in Lie algebra cohomology and de Rham cohomology. We show that the duality isomorphisms can be given by a cap product with a suitable fundamental class and hence may be taken natural in any reasonable sense. Thereafter, for a Lie-Rinehart algebra satisfying duality, we introduce a certain intrinsic module which provides a crucial ingredient for the construction of the bilinear pairings. This module determines a certain class, called modular class of the Lie-Rinehart algebra, which lies in a certain Picard group generalizing the abelian group of flat line bundles on a smooth manifold. Finally, we show that a Poisson algebra having suitable properties determines a certain module for the corrresponding Lie-Rinehart algebra and hence modular class whose square yields the module and characteristic class for its Lie-Rinehart algebra mentioned before. In particular, this gives rise to certain bilinear pairings in Poisson homology. △ Less

Submitted 29 January, 2004; v1 submitted 8 February, 1997; originally announced February 1997.

Comments: 55pages, AMSTeX 2.1

Journal ref: J. reine angew. Math. 510 (1999), 103-159

Group systems, groupoids, and moduli spaces of parabolic bundles

Authors: K. Guruprasad, J. Huebschmann, L. Jeffrey, A. Weinstein

Abstract: Let $G$ be a Lie group, with an invariant non-degenerate symmetric bilinear form on its Lie algebra, let $π$ be the fundamental group of an orientable (real) surface $M$ with a finite number of punctures, and let $\bold C$ be a family of conjugacy classes in $G$, one for each puncture. A finite-dimensional construction used earlier to obtain a symplectic structure on the moduli space of flat… ▽ More Let $G$ be a Lie group, with an invariant non-degenerate symmetric bilinear form on its Lie algebra, let $π$ be the fundamental group of an orientable (real) surface $M$ with a finite number of punctures, and let $\bold C$ be a family of conjugacy classes in $G$, one for each puncture. A finite-dimensional construction used earlier to obtain a symplectic structure on the moduli space of flat $G$-bundles over compact $M$ is extended to the punctured case. It yields a symplectic structure on a certain smooth manifold $\Cal M_{\bold C}$ containing the space $\roman{Hom}(π,G)_{\bold C}$ of homomorphisms mapping the generators corresponding to the punctures into the corresponding conjugacy classes. It also yields a Hamiltonian $G$-action on $\Cal M_{\bold C}$ such that the reduced space equals the moduli space $\roman{Rep}(π,G)_{\bold C}$ of representations. For $G$ compact, each such space, obtained by finite-dimensional symplectic reduction, is a {\it stratified symplectic space\/}. For $G=U(n)$ one gets moduli spaces of semistable holomorphic parabolic bundles or spaces closely related to them. △ Less

Submitted 23 October, 1995; originally announced October 1995.

Comments: AMSTeX 2.1, 33 pages

Journal ref: Duke Math. J. 89 (1997), 377-412