This note shows the compatibility of the differential geometric and the topological formulations of equivariant characteristic classes for a compact connected Lie group action.
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…
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.
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.
In this paper, we analyse the question of existence of a natural and projectively equivariant symbol calculus, using the theory of projective Cartan connections. We establish a close relationship between the existence of such a natural symbol calculus and the existence of an \sl(m+1,\R)-equivariant calculus over \R^{m} in the sense of [15,1]. Moreover we show that the formulae that hold in the non-critical situations over \R^{m} for the \sl(m+1,\R)-equivariant calculus can be directly generalized to an arbitrary manifold by simply replacing the partial derivatives by invariant differentiations…
The existence of a natural and projectively equivariant quantization in the sense of Lecomte [20] was proved recently by M. Bordemann [4], using the framework of Thomas-Whitehead connections. We give a new proof of existence using the notion of Cartan projective connections and we obtain an explicit formula in terms of these connections. Our method yields the existence of a projectively equivariant quantization if and only if an \sl(m+1,\R)-equivariant quantization exists in the flat situation in the sense of [18], thus solving one of the problems left open by M. Bordemann.
The construction of characteristic classes via the curvature form of a connection is one motivation for the refinement of integral cohomology by de Rham cocycles -- known as differential cohomology. We will discuss the analog in the case of a group action on the manifold: The definition of equivariant characteristic forms in the Cartan model due to Nicole Berline and Michèle Vergne motivates a refinement of equivariant integral cohomology by all Cartan cocycles. In view of this, we will also review previous definitions critically, in particular the one given by Kiyonori Gomi.
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 d…
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.
Consider a manifold endowed with the action of a Lie group. We study the relation between the cohomology of the Cartan complex and the equivariant cohomology by using the equivariant De Rham complex developed by Getzler, and we show that the cohomology of the Cartan complex lies on the 0-th row of the second page of a spectral sequence converging to the equivariant cohomology. We use this result to generalize a result of Witten on the equivalence of absence of anomalies in gauge WZW actions on compact Lie groups to the existence of equivariant extension of the WZW term, to the case on which th…
In [8], P. Lecomte conjectured the existence of a natural and projectively equivariant quantization. In [1], M. Bordemann proved this existence using the framework of Thomas-Whitehead connections. In [9], we gave a new proof of the same theorem thanks to the Cartan connections. After these works there was no explicit formula for the quantization. In this paper, we give this formula using the formula in terms of Cartan connections given in [9]. This explicit formula constitutes the generalization to any order of the formulae at second and third orders soon published by Bouarroudj in [2] and [3]…
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…
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 …
We construct the odd symplectic structure and the equivariant even (pre)symplectic one from it on the space of differential forms on the Riemann manifold. The Poincare -- Cartan like invariants of the second structure define the equivariant generalizations of the Euler classes on the surfaces.
We study the existence of natural and projectively equivariant quantizations for differential operators acting between order 1 vector bundles over a smooth manifold M. To that aim, we make use of the Thomas-Whitehead approach of projective structures and construct a Casimir operator depending on a projective Cartan connection. We attach a scalar parameter to every space of differential operators, and prove the existence of a quantization except when this parameter belongs to a discrete set of resonant values.
An equivariant bundle gerbe à la Meinrenken over a $G$-manifold $M$ is known to be a special type of $S^1$-gerbe over the differentiable stack $[M/G]$. We prove that the natural morphism relating the Cartan and simplicial models of equivariant cohomology in degree 3 maps the Dixmier-Douady class of an equivariant bundle gerbe à la Meinrenken to the Behrend-Xu-Dixmier-Douady class of the corresponding $S^1$-gerbe.
We give an explicit description, in terms of bracket, anchor, and pairing, of the standard cochain complex associated to a Courant algebroid. In this formulation, the differential satisfies a formula that is formally identical to the Cartan formula for the de Rham differential. This perspective allows us to develop the theory of Courant algebroid connections in a way that mirrors the classical theory of connections. Using a special class of connections, we construct secondary characteristic classes associated to any Courant algebroid.
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…
We derive simple explicit formulas for the character of a cycle in the Connes' (b,B)-bicomplex of cyclic cohomology and give applications to the Fredholm modules and equivariant characteristic classes.
We give a classifying theory for $LG$-bundles, where $LG$ is the loop group of a compact Lie group $G$, and present a calculation for the string class of the universal $LG$-bundle. We show that this class is in fact an equivariant cohomology class and give an equivariant differential form representing it. We then use the caloron correspondence to define (higher) characteristic classes for $LG$-bundles and to prove for the free loop group an analogue of the result for characteristic classes for based loop groups in Murray-Vozzo (J. Geom. Phys., 60(9), 2010). These classes have a natural interpr…
We introduce an equivariant Pontrjagin-Thom construction which identifies equivariant cohomotopy classes with certain fixed point bordism classes. This provides a concrete geometric model for equivariant cohomotopy which works for any compact Lie group G. In the special case when G is finite or a torus, we show that our construction recovers the construction of Wasserman, providing a new perspective on equivariant bordism. We connect the results with bordisms of global quotient orbifolds, utilizing the machinery of Gepner-Henriques to describe bordisms of framed orbifolds in terms of equivaria…
We show how characteristic classes determine equivariant prequantization bundles over the space of connections on a principal bundle. These bundles are shown to generalize the Chern-Simons line bundles to arbitrary dimensions. Our result applies to arbitrary bundles, and it is studied the action of both the gauge group and the automorphisms group. The action of the elements in the connected component of the identity of the group generalizes known results in the literature. The action of the elements not connected with the identity is shown to be determined by a characteristic class by using di…
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 characteristic forms in the bundle of connections of a principal bundle P over M determine the characteristic classes of P for degree less or equal to the dimension of M, and differential forms on the space of connections for higher degree. The equivariant characteristic classes provide canonical equivariant extensions of this forms, and so cohomology classes in the quotient space of connections modulo gauge transformations. More generally, given a closed differential form in M and a characteristic form, we obtain a cohomology class in the space of connections modulo gauge transformations,…
We calculate relations on characteristic classes which are obstructions preventing closed Kähler manifolds from carrying holomorphic Cartan geometries. We apply these relations to give global constraints on the phase spaces of complex analytic determined and underdetermined systems of differential equations.
We construct equivariant, string and leading order characteristic classes and Chern-Simons classes for certain infinite rank bundles associated to fibrations occurring in loop spaces, Gromov-Witten theory and gauge theory. Results include a restatement of the S^1 index theorem using equivariant classes on the tangent bundle to loop space; the expression of some GW invariants in terms of string and leading order classes for infinite rank bundles over moduli spaces of pseudoholomorphic curves for semipositive symplectic manifolds; the identification of the real cohomology of a loop group with ce…
Institute for Mathematics, Astrophysics and Particle Physics, Radboud University(拉德堡德大学数学、天体物理学和粒子物理研究所);Australian Institute for Machine Learning, Adelaide University(阿德莱德大学澳大利亚机器学习研究所)
Let G be a connected Lie group, LG its loop group, and PG->G the principal LG-bundle defined by quasi-periodic paths in G. This paper is devoted to differential geometry of the Atiyah algebroid A=T(PG)/LG of this bundle. Given a symmetric bilinear form on the Lie algebra g and the corresponding central extension of Lg, we consider the lifting problem for A, and show how the cohomology class of the Cartan 3-form on G arises as an obstruction. This involves the construction of a 2-form on PG with differential the pull-back of the Cartan form. In the second part of this paper we obtain similar LG…
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 give a construction of cyclic cocycles representing the equivariant characteristic classes of equivariant bundles. Our formulas generalize Connes' Godbillon-Vey cyclic cocycle. An essential tool of our construction is Connes-Moscovici's theory of cyclic cohomology of Hopf algebras.
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…