Researcher profile

Johannes Huebschmann

Johannes Huebschmann contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
14works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2022arXiv

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

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.

preprint2013arXiv

Comparison of the geometric bar and W-constructions

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

preprint2013arXiv

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

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.

preprint2013arXiv

Extensions of Lie-Rinehart algebras and cotangent bundle reduction

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.

preprint2013arXiv

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

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.

preprint2013arXiv

Poisson cohomology and quantization

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.

preprint2011arXiv

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

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

preprint2010arXiv

The sh-Lie algebra perturbation Lemma

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.

preprint2009arXiv

Equivariant cohomology over Lie groupoids and Lie-Rinehart algebras

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.

preprint2007arXiv

Origins and breadth of the theory of higher homotopies

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.

preprint2007arXiv

The Lie algebra perturbation lemma

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.