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.Comment: 47 page

A gauge model for quantum mechanics on a stratified space

In the Hamiltonian approach on a single spatial plaquette, we construct a quantum (lattice) gauge theory which incorporates the classical singularities. The reduced phase space is a stratified K\"ahler space, and we make explicit the requisite singular holomorphic quantization procedure on this space. On the quantum level, this procedure furnishes a costratified Hilbert space, that is, a Hilbert space together with a system which consists of the subspaces associated with the strata of the reduced phase space and of the corresponding orthoprojectors. The costratified Hilbert space structure reflects the stratification of the reduced phase space. For the special case where the structure group is $\mathrm{SU}(2)$, we discuss the tunneling probabilities between the strata, determine the energy eigenstates and study the corresponding expectation values of the orthoprojectors onto the subspaces associated with the strata in the strong and weak coupling approximations.Comment: 38 pages, 9 figures. Changes: comments on the heat kernel and coherent states have been adde

On the perturbation algebra

We introduce a certain differential graded bialgebra, neither commutative nor cocommutative, that governs perturbations of a differential on complexes supplied with an abstract Hodge decomposition. This leads to a conceptual treatment of the Homological Perturbation Lemma and its multiplicative version. As an application we give an explicit form of the decomposition theorem for A∞ algebras and A∞ modules and, more generally, for twisted objects in differential graded categories

A Mathematica Notebook for Computing the Homology of Iterated Products of Groups

Let G be a group which admits the structure of an iterated product of central extensions and semidirect products of abelian groups G i (both finite and infinite). We describe a Mathematica 4.0 notebook for computing the homology of G, in terms of some homological models for the factor groups G i and the products involved. Computational results provided by our program have allowed the simplification of some of the formulae involved in the calculation of H n (G). Consequently the efficiency of the method has been improved as well. We include some executions and examples

Courant-Dorfman algebras and their cohomology

We introduce a new type of algebra, the Courant-Dorfman algebra. These are to Courant algebroids what Lie-Rinehart algebras are to Lie algebroids, or Poisson algebras to Poisson manifolds. We work with arbitrary rings and modules, without any regularity, finiteness or non-degeneracy assumptions. To each Courant-Dorfman algebra (\R,\E) we associate a differential graded algebra \C(\E,\R) in a functorial way by means of explicit formulas. We describe two canonical filtrations on \C(\E,\R), and derive an analogue of the Cartan relations for derivations of \C(\E,\R); we classify central extensions of \E in terms of H^2(\E,\R) and study the canonical cocycle \Theta\in\C^3(\E,\R) whose class $[\Theta]$ obstructs re-scalings of the Courant-Dorfman structure. In the nondegenerate case, we also explicitly describe the Poisson bracket on \C(\E,\R); for Courant-Dorfman algebras associated to Courant algebroids over finite-dimensional smooth manifolds, we prove that the Poisson dg algebra \C(\E,\R) is isomorphic to the one constructed in \cite{Roy4-GrSymp} using graded manifolds.Comment: Corrected formulas for the brackets in Examples 2.27, 2.28 and 2.29. The corrections do not affect the exposition in any wa

Cohomology of skew-holomorphic Lie algebroids

We introduce the notion of skew-holomorphic Lie algebroid on a complex manifold, and explore some cohomologies theories that one can associate to it. Examples are given in terms of holomorphic Poisson structures of various sorts.Comment: 16 pages. v2: Final version to be published in Theor. Math. Phys. (incorporates only very minor changes

Integration of Holomorphic Lie Algebroids

We prove that a holomorphic Lie algebroid is integrable if, and only if, its underlying real Lie algebroid is integrable. Thus the integrability criteria of Crainic-Fernandes do also apply in the holomorphic context without any modification. As a consequence we give another proof of the following theorem: a holomorphic Poisson manifold is integrable if, and only if, its real (or imaginary) part is integrable as a real Poisson manifold.Comment: 26 pages, second part of arXiv:0707.4253 which was split into two, v2: example 3.19 and section 3.7 adde

On localization in holomorphic equivariant cohomology

We prove a localization formula for a "holomorphic equivariant cohomology" attached to the Atiyah algebroid of an equivariant holomorphic vector bundle. This generalizes Feng-Ma, Carrell-Liebermann, Baum-Bott and K. Liu's localization formulas.Comment: 16 pages. Completely rewritten, new title. v3: Minor changes in the exposition. v4: final version to appear in Centr. Eur. J. Mat