We describe the Cartan and Weil models of twisted equivariant cohomology together with the Cartan homomorphism among the two, and we extend the Chern-Weil homomorphism to the twisted equivariant cohomology. We clarify that in order to have a cohomology theory, the coefficients of the twisted equivariant cohomology must be taken in the completed polynomial algebra over the dual Lie algebra of $G$. We recall the relation between the equivariant cohomology of exact Courant algebroids and the twisted equivariant cohomology, and we show how to endow with a generalized complex structure the finite dimensional approximations of the Borel construction $M\times_G EG_k$, whenever the generalized complex manifold $M$ possesses a Hamiltonian $G$ action.
We study the existence of $S^1$-equivariant characteristic classes on certain natural infinite rank bundles over the loop space $LM$ of a manifold $M$. We discuss the different $S^1$-equivariant cohomology theories in the literature and clarify their relationships. We attempt to use $S^1$-equivariant Chern-Weil techniques to construct $S^1$-equivariant characteristic classes. The main result is the construction of a sequence of $S^1$-equivariant characteristic classes on the total space of the bundles, but these classes do not descend to the base $LM$. Nevertheless, we conclude by identifying …
For a compact Lie group acting on a smooth manifold, we define the differential cohomology of a certain quotient stack involving principal bundles with connection. This produces differential equivariant cohomology groups that map to the Cartan-Weil equivariant forms and to Borel's equivariant integral cohomology. We show the Chern-Weil homomorphism for equivariant vector bundles with connection naturally factors through differential equivariant cohomology.
We develop a Chern-Weil theory for compact Lie group action whose generic stabilizers are finite in the framework of equivariant cohomology. This provides a method of changing an equivariant closed form within its cohomological class to a form more suitable to yield localization results. This work is motivated by our work on reproving wall crossing formulas in Seiberg-Witten theory, where the Lie group is the circle. As applications, we derive two localization formulas of Kalkman type for G = SU(2) or SO(3)-actions on compact manifolds with boundary. One of the formulas is then used to yield a…
We apply the equivariance --> families principle to a geometric family of Clifford module bundles with an action of a compact Lie group G to prove an equivariant version of Bismut's families index theorem on the differential Borel quotient of the geometric family.
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 f…
A strong from of invariance under a group G is manifested in a family over the classifying space BG. We advocate a differential-geometric avatar of BG when G is a Lie group. Applied to G-equivariant connections on smooth principal or vector bundles, the equivariance-->families principle converts the G-equivariant extensions of curvature and Chern-Weil forms to the standard nonequivariant versions. An application of this technique yields the moment map of the determinant line of a G-equivariant Dirac operator, which in turn sheds light on some anomaly formulas in quantum field theory.
This paper contains two main results. The first is the existence of an equivariant Weil-Petersson geodesic in Teichmueller space for any choice of pseudo-Anosov mapping class. As a consequence one obtains a classification of the elements of the mapping class group as Weil-Petersson isometries which is parallel to the Thurston classification. The second result concerns the asymptotic behavior of these geodesics. It is shown that geodesics that are equivariant with respect to independent pseudo-Anosov's diverge. It follows that subgroups of the mapping class group which contain independent pseud…
Suppose G is a compact Lie group and N is a closed normal subgroup of G acting freely on a smooth manifold X. The Cartan theorem alluded to in the title postulates the existence of a natural isomorphism between the G-equivariant cohomology X and the G/N-equivariant cohomology of X/N. In this note we use J. Kalkman's explicit isomorphism between the Cartan and Weil models of equivariant cohomology to show that 1) Cartan's theorem is a simple consequence of Chern-Weil's transgression formula and 2) explicitly describe this isomorphism at the cochain level.
The theory of principal $G$-bundles over a Lie groupoid is an important one, unifying the various types of principal $G$-bundles, including those over manifolds, those over orbifolds, as well as equivariant principal $G$-bundles. In this paper, we study the differential geometry of these objects, including connections and holonomy maps. We also introduce a Chern-Weil map for these principal bundles and prove that the characteristic classes obtained coincide with the universal characteristic classes. As an application, we recover the equivariant Chern-Weil map of Bott-Tu. We also obtain an expl…
We give two generalizations of the Atiyah-Bott-Berline-Vergne localization theorem for the equivariant cohomology of a torus action: 1) replacing the torus action by a compact connected Lie group action, 2) replacing the manifold having a torus action by an equivariant map. This provides a systematic method for calculating the Gysin homomorphism in ordinary cohomology of an equivariant map. As an example, we recover a formula of Akyildiz-Carrell for the Gysin homomorphism of flag manifolds.
Let G be a connected Lie group with Lie algebra g. The Duflo map is a vector space isomorphism between the symmetric algebra S(g) and the universal enveloping algebra U(g) which, as proved by Duflo, restricts to a ring isomorphism from invariant polynomials onto the center of the universal enveloping algebra. The Duflo map extends to a linear map from compactly supported distributions on the Lie algebra g to compactly supported distributions on the Lie group G, which is a ring homomorphism for G-invariant distributions. In this paper we obtain analogues of the Duflo map and of Duflo's theorem …
In this article, we will discuss a new operator $d_{C}$ on $W(\mathfrak{g})\otimesΩ^{*}(M)$ and to construct a new Cartan model for equivariant cohomology. We use the new Cartan model to construct the corresponding BRST model and Weil model, and discuss the relations between them.
We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The main idea in this paper is to synthesize the algebraic approach to classical equivariant cohomology due to H. Cartan, with the theory of differential vertex algebras, by using an appropriate notion of invariant theory. We also construct the vertex algebra analogues of the Mathai-Qu…
Let G be a compact, connected Lie group, acting smoothly on a manifold M. Goresky-Kottwitz-MacPherson described a small Cartan model for the equivariant cohomology of M, quasi-isomorphic to the standard Cartan complex of equivariant differential forms. In this paper, we construct an explicit cochain map from the small Cartan model into the standard Cartan model, inducing an isomorphism in cohomology. The construction involves the solution of a remarkable inhomogeneous Maurer-Cartan equation. This solution has further applications to the theory of transgression in the Weil algebra, and to the C…
We prove that Chern-Weil forms are the only natural differential forms associated to a connection on a principal G-bundle. We use the homotopy theory of simplicial sheaves on smooth manifolds to formulate the theorem and set up the proof. Other arguments come from classical invariant theory. We identify the Weil algebra as the de Rham complex of a specific simplicial sheaf, and similarly give a new interpretation of the Weil model in equivariant de Rham theory. There is an appendix proving a general theorem about set-theoretic transformations of polynomial functors. This paper is dedicated to …
In this paper we analyse the topological group cohomology of finite-dimensional Lie groups. We introduce a technique for computing it (as abelian groups) for torus coefficients by the naturally associated long exact sequence. The upshot in there is that certain morphisms in this long exact coefficient sequence can be accessed (at least for semi-simple Lie groups) very conveniently by the Chern-Weil homomorphism of the naturally associated compact dual symmetric space. Since the latter is very well-known, this gives the possibility to compute the topological group cohomology of the classical si…
Let $G$ be a compact connected Lie group. We show that the category $\mathbf{Loc}_{\infty}(BG)$ of $\infty$-local systems on the classifying space of $G$, can be described infinitesimally as the category $\mathbf{InfLoc}_{\infty}(\mathfrak{g})$ of basic $\mathfrak{g}$-$L_\infty$ spaces. Moreover, we show that, given a principal bundle $π\colon P \rightarrow X$ with structure group $G$ and any connection $θ$ on $P$, there is a DG functor $$\mathcal{CW}_θ \colon \mathbf{InfLoc}_{\infty}(\mathfrak{g}) \longrightarrow \mathbf{Loc}_{\infty}(X), $$ which corresponds to the pullback functor by the cl…
We propose the notion of a supercategory as an alternative approach to supermathematics. We show that this setting is rich to carry out many of the basic constructions of supermathematics. We also prove generalizations of a number of results in equivariant cohomology, including the Chern-Weil theorem for an arbitrary rigid Lie algebra object. For a quadratic Lie algebra object we obtain a proof of the Duflo isomorphism along the lines of Alekseev-Meinrenken, thereby generalizing their result to Lie superalgebras.
We present a geometric approach, in the spirit of the Chern-Weil theory, for constructing cocycles representing the classes of the Hopf cyclic cohomology of the Hopf algebra H(n) relative to GL(n, R). This provides an explicit description of the universal Hopf cyclic Chern classes, which complements our earlier geometric realization of the Hopf cyclic characteristic classes of foliations.
The Van Est homomorphism for a Lie groupoid $G \rightrightarrows M$, as introduced by Weinstein-Xu, is a cochain map from the complex $C^\infty(BG)$ of groupoid cochains to the Chevalley-Eilenberg complex $C(A)$ of the Lie algebroid $A$ of $G$. It was generalized by Weinstein, Mehta, and Abad-Crainic to a morphism from the Bott-Shulman-Stasheff complex $Ω(BG)$ to a (suitably defined) Weil algebra $W(A)$. In this paper, we will give an approach to the Van Est map in terms of the Perturbation Lemma of homological algebra. This approach is used to establish the basic properties of the Van Est map…
Consider the holomorphic Hamiltonian action of a compact Lie group $K$ on a compact Kähler manifold $M$ with a moment map $Φ: M\rightarrow \mathfrak{k}^*$. Assume that $0$ is a regular value of the moment map. Weitsman raised the question of what we can say about the cohomology of the Kähler quotient $M_0:=Φ^{-1}(0)/K$ if all the ordinary cohomology of $M$ is of type $(p, p)$. In this paper, using the Cartan-Chern-Weil theory we show that in the above context there is a natural surjective Kirwan map from an equivariant version of the Dolbeault cohomology of $M$ onto the Dolbeault cohomology of…
Let $G\subset GL(V)$ be a linear Lie group with Lie algebra $\frak g$ and let $A(\frak g)^G$ be the subalgebra of $G$-invariant elements of the associative supercommutative algebra $A(\frak g)= S(\frak g^*)\otimes \La(V^*)$. To any $G$-structure $π:P\to M$ with a connection $ω$ we associate a homomorphism $μ_ω:A(\frak g)^G\to Ω(M)$. The differential forms $μ_ω(f)$ for $f\in A(\frak g)^G$ which are associated to the $G$-structure $π$ can be used to construct Lagrangians. If $ω$ has no torsion the differential forms $μ_ω(f)$ are closed and define characteristic classes of a $G$-structure. The in…
Q-groupoids and Q-algebroids are, respectively, supergroupoids and superalgebroids that are equipped with compatible homological vector fields. These new objects are closely related to the double structures of Mackenzie; in particular, we show that Q-groupoids are intermediary objects between Mackenzie's LA-groupoids and double complexes, which include as a special case the simplicial model of equivariant cohomology. There is also a double complex associated to a Q-algebroid, which in the above special case is the BRST model of equivariant cohomology. Other special cases include models for the…
It has been argued by Witten and others that in the presence of a nontrivial B-field, D-brane charges in type IIB string theories are measured by twisted K-theory. In joint work with Bouwknegt, Carey and Murray it was proved that twisted K-theory is canonically isomorphic to bundle gerbe K-theory, whose elements are ordinary vector bundles on a principal projective unitary bundle, with an action of the bundle gerbe determined by the principal projective unitary bundle. The principal projective unitary bundle is in turn determined by the twist. In this paper, we study in more detail the Chern-W…
We show how to carry out the gauging of the Poisson sigma model in an AKSZ inspired formulation by coupling it to the a generalization of the Weil model worked out in ref. arXiv:0706.1289 [hep-th]. We call the resulting gauged field theory, Poisson--Weil sigma model. We study the BV cohomology of the model and show its relation to Hamiltonian basic and equivariant Poisson cohomology. As an application, we carry out the gauge fixing of the pure Weil model and of the Poisson--Weil model. In the first case, we obtain the 2--dimensional version of Donaldson--Witten topological gauge theory, descri…
Given a compact manifold $M$ and $g\in C^{\infty}(M,U(l;\mathbb{C}))$ we construct a Chern character $\mathrm{Ch}^-(g)$ which lives in the odd part of the equivariant (entire) cyclic Chen-normalized bar complex $\underline{\mathscr{C}}(Ω_{\mathbb{T}}(M\times \mathbb{T}))$ of $M$, and which is mapped to the odd Bismut-Chern character under the equivariant Chen integral map. It is also shown that the assignment $g\mapsto \mathrm{Ch}^-(g)$ induces a well-defined group homomorphism from the $K^{-1}$ theory of $M$ to the odd homology group of $\underline{\mathscr{C}}(Ω_{\mathbb{T}}(M\times \mathbb{…
We consider locally conformal Kaehler geometry as an equivariant, homothetic Kaehler geometry (K,Γ). We show that the de Rham class of the Lee form can be naturally identified with the homomorphism projecting Γto its dilation factors, thus completing the description of locally conformal Kaehler geometry in this equivariant setting. The rank r of a locally conformal Kaehler manifold is the rank of the image of this homomorphism. Using algebraic number theory, we show that r is non-trivial, providing explicit examples of locally conformal Kaehler manifolds with 1<r<b_1. As far as we know, these …
Let M be a manifold and g a Lie algebra acting on M. Differential forms Omega(M) carry a natural action of Lie derivatives L(x) and contractions I(x) of fundamental vector fields for x \in g. Contractions (anti-) commute with each other, [I(x), I(y)]=0. Together with the de Rham differential, they satisfy the Cartan's magic formula [d, I(x)]=L(x). In this paper, we define a differential graded Lie algebra Dg, where instead of commuting with each other, contractions form a free Lie superalgebra. It turns out that central extensions of Dg are classified (under certain assumptions) by invariant h…
A Q-algebroid is a Lie superalgebroid equipped with a compatible homological vector field and is the infinitesimal object corresponding to a Q-groupoid. We associate to every Q-algebroid a double complex. As a special case, we define the BRST model of a Lie algebroid, which generalizes the BRST model for equivariant cohomology. We extend to this setting the Mathai-Quillen-Kalkman isomorphism of the BRST and Weil models, and we suggest a definition of a basic subcomplex which, however, requires a choice of a connection. Other examples include Roytenberg's homological double of a Lie bialgebroid…
We formulate differential cohomology and Chern-Weil theory -- the theory of connections on fiber bundles and of gauge fields -- abstractly in the context of a certain class of higher toposes that we call "cohesive". Cocycles in this differential cohomology classify higher principal bundles equipped with cohesive structure (topological, smooth, synthetic differential, supergeometric, etc.) and equipped with connections, hence higher gauge fields. We discuss various models of the axioms and applications to fundamental notions and constructions in quantum field theory and string theory. In partic…
We have previously shown that the truncated Weil algebra of any Lie algebra is a Hopf-cyclic type complex with nontrivial coefficients. In this paper we apply this result to transfer the characteristic classes of transversely orientable foliations into the cyclic cohomology of the groupoid action algebra. Our result in codimension 1 matches with the only existing explicit computation done by Connes-Moscovici. In codimension 2 case, we carry out a constructive and explicit computation, by which we present the transverse fundamental class, the Godbillon-Vey class, and the other four residual cla…
We refine the cyclic cohomological apparatus for computing the Hopf cyclic cohomology of the Hopf algebras associated to infinite primitive Cartan-Lie pseudogroups, and for the transfer of their characteristic classes to foliations. The main novel feature is the precise identification as a Hopf cyclic complex of the image of the canonical homomorphism from the Gelfand-Fuks complex to the Bott complex for equivariant cohomology. This provides a convenient new model for the Hopf cyclic cohomology of the geometric Hopf algebras, which allows for an efficient transport of the Hopf cyclic classes v…
