Hopf cyclic cohomology and Hodge theory for proper actions (Q380282): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Weiping Zhang / rank | |||
Property / author | |||
Property / author: Weiping Zhang / rank | |||
Normal rank | |||
Property / review text | |||
This paper studies cyclic cohomology of a Hopf algebroid arising from a proper action of Lie group \(G\) on a manifold \(M\), and derives some geometric results on \(G\)-invariant differential forms and vector fields of \(M\). After recalling the concept of Hopf algebroid initiated by Lu, the authors define a Hopf algebroid \(\mathcal{H}\left( G,M\right) \equiv \left( A,B,\alpha ,\beta ,\Delta ,\epsilon ,S\right) \), closely related to the transformation group groupoid \(G\ltimes M\), consisting of the algebra \(B\) of differential forms on \(M\), the algebra \(A\) of \(B\)-valued functions on \(G\), source and target maps \(\alpha ,\beta :B\rightarrow A\) defined by \(\alpha \left( b\right) \left( g\right) :=b\) and \(\beta \left( b\right) \left( g\right) :=g^{\ast }\left( b\right) \) the pullback of \(b\in B\) under the action by \(g\in G\), the bimodule map \(\Delta :A\rightarrow A\otimes _{B}A\) defined by \(\Delta \left( \phi \right) \left( g_{1},g_{2}\right) :=\phi \left( g_{1}g_{2}\right) \), the counit \(\epsilon :A\rightarrow B\) defined by \(\epsilon \left( \phi \right) :=\phi \left( 1\right) \), and the antipode \( S:A\rightarrow A\) defined by \(S\left( \phi \right) \left( g\right) :=g^{\ast }\left( \phi \left( g^{-1}\right) \right) \). Briefly recalling the definition of cyclic cohomology of Hopf algebroid introduced by Connes and Moscovici, the authors show that the cyclic cohomology \(HC^{\cdot }\left( \mathcal{H}\left( G,M\right) \right) \) is isomorphic to the differentiable cohomology \(\bigoplus _{k\geq 0}HC^{\cdot -2k}\left( G,\left( \Omega ^{\ast }M,d\right) \right) \) of \(G\) with coefficients in \(\Omega ^{\ast }M\), and hence by Crainic's result, is isomorphic to the de Rham cohomology \(\bigoplus _{k\geq 0}HC^{\cdot -2k}\left( \left( \Omega ^{\ast }M\right) ^{G},d\right) \) on the space \(\left( \Omega ^{\ast }M\right) ^{G}\) of \(G\)-invariant differential forms on \(M\). If the proper \(G\)-action is also cocompact, then a Hodge theorem for \(G\) -invariant differential forms on \(M\) is derived, giving that every cyclic cohomology class of \(\mathcal{H}\left( G,M\right) \) is represented by a generalized harmonic form. In particular, the cyclic cohomology of \(\mathcal{ H}\left( G,M\right) \) is finite-dimensional and hence the Euler characteristic can be well defined. The authors then prove the Poincaré duality for twisted de Rham cohomology of \(G\)-invariant differential forms and derive that the Euler characteristic of a proper cocompact action on \(M\) is \(0\) if \(\dim \left( M\right) \) is odd or if there exists a nowhere vanishing \(G\)-invariant vector field on \(M\). | |||
Property / review text: This paper studies cyclic cohomology of a Hopf algebroid arising from a proper action of Lie group \(G\) on a manifold \(M\), and derives some geometric results on \(G\)-invariant differential forms and vector fields of \(M\). After recalling the concept of Hopf algebroid initiated by Lu, the authors define a Hopf algebroid \(\mathcal{H}\left( G,M\right) \equiv \left( A,B,\alpha ,\beta ,\Delta ,\epsilon ,S\right) \), closely related to the transformation group groupoid \(G\ltimes M\), consisting of the algebra \(B\) of differential forms on \(M\), the algebra \(A\) of \(B\)-valued functions on \(G\), source and target maps \(\alpha ,\beta :B\rightarrow A\) defined by \(\alpha \left( b\right) \left( g\right) :=b\) and \(\beta \left( b\right) \left( g\right) :=g^{\ast }\left( b\right) \) the pullback of \(b\in B\) under the action by \(g\in G\), the bimodule map \(\Delta :A\rightarrow A\otimes _{B}A\) defined by \(\Delta \left( \phi \right) \left( g_{1},g_{2}\right) :=\phi \left( g_{1}g_{2}\right) \), the counit \(\epsilon :A\rightarrow B\) defined by \(\epsilon \left( \phi \right) :=\phi \left( 1\right) \), and the antipode \( S:A\rightarrow A\) defined by \(S\left( \phi \right) \left( g\right) :=g^{\ast }\left( \phi \left( g^{-1}\right) \right) \). Briefly recalling the definition of cyclic cohomology of Hopf algebroid introduced by Connes and Moscovici, the authors show that the cyclic cohomology \(HC^{\cdot }\left( \mathcal{H}\left( G,M\right) \right) \) is isomorphic to the differentiable cohomology \(\bigoplus _{k\geq 0}HC^{\cdot -2k}\left( G,\left( \Omega ^{\ast }M,d\right) \right) \) of \(G\) with coefficients in \(\Omega ^{\ast }M\), and hence by Crainic's result, is isomorphic to the de Rham cohomology \(\bigoplus _{k\geq 0}HC^{\cdot -2k}\left( \left( \Omega ^{\ast }M\right) ^{G},d\right) \) on the space \(\left( \Omega ^{\ast }M\right) ^{G}\) of \(G\)-invariant differential forms on \(M\). If the proper \(G\)-action is also cocompact, then a Hodge theorem for \(G\) -invariant differential forms on \(M\) is derived, giving that every cyclic cohomology class of \(\mathcal{H}\left( G,M\right) \) is represented by a generalized harmonic form. In particular, the cyclic cohomology of \(\mathcal{ H}\left( G,M\right) \) is finite-dimensional and hence the Euler characteristic can be well defined. The authors then prove the Poincaré duality for twisted de Rham cohomology of \(G\)-invariant differential forms and derive that the Euler characteristic of a proper cocompact action on \(M\) is \(0\) if \(\dim \left( M\right) \) is odd or if there exists a nowhere vanishing \(G\)-invariant vector field on \(M\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58B34 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58D19 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58A14 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58A12 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6226617 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cyclic cohomology | |||
Property / zbMATH Keywords: cyclic cohomology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hodge theory | |||
Property / zbMATH Keywords: Hodge theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
proper action | |||
Property / zbMATH Keywords: proper action / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Euler characteristic | |||
Property / zbMATH Keywords: Euler characteristic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hopf algebroid | |||
Property / zbMATH Keywords: Hopf algebroid / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
invariant differential form | |||
Property / zbMATH Keywords: invariant differential form / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
de Rham cohomology | |||
Property / zbMATH Keywords: de Rham cohomology / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Albert Jeu-Liang Sheu / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1002.4404 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5589102 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hopf algebras, cyclic cohomology and the transverse index theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cyclic cohomology and Hopf algebra symmetry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4546493 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differentiable and algebroid cohomology, Van Est isomorphisms, and characteristic classes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Secondary characteristic classes and cyclic cohomology of Hopf algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hopf algebroids and secondary characteristic classes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Para-Hopf algebroids and their cyclic cohomology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The cyclic theory of Hopf algebroids. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: HOPF ALGEBROIDS AND QUANTUM GROUPOIDS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometric quantization for proper actions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the existence of slices for actions of non-compact Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994846 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3664070 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2768761 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 01:56, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hopf cyclic cohomology and Hodge theory for proper actions |
scientific article |
Statements
Hopf cyclic cohomology and Hodge theory for proper actions (English)
0 references
13 November 2013
0 references
This paper studies cyclic cohomology of a Hopf algebroid arising from a proper action of Lie group \(G\) on a manifold \(M\), and derives some geometric results on \(G\)-invariant differential forms and vector fields of \(M\). After recalling the concept of Hopf algebroid initiated by Lu, the authors define a Hopf algebroid \(\mathcal{H}\left( G,M\right) \equiv \left( A,B,\alpha ,\beta ,\Delta ,\epsilon ,S\right) \), closely related to the transformation group groupoid \(G\ltimes M\), consisting of the algebra \(B\) of differential forms on \(M\), the algebra \(A\) of \(B\)-valued functions on \(G\), source and target maps \(\alpha ,\beta :B\rightarrow A\) defined by \(\alpha \left( b\right) \left( g\right) :=b\) and \(\beta \left( b\right) \left( g\right) :=g^{\ast }\left( b\right) \) the pullback of \(b\in B\) under the action by \(g\in G\), the bimodule map \(\Delta :A\rightarrow A\otimes _{B}A\) defined by \(\Delta \left( \phi \right) \left( g_{1},g_{2}\right) :=\phi \left( g_{1}g_{2}\right) \), the counit \(\epsilon :A\rightarrow B\) defined by \(\epsilon \left( \phi \right) :=\phi \left( 1\right) \), and the antipode \( S:A\rightarrow A\) defined by \(S\left( \phi \right) \left( g\right) :=g^{\ast }\left( \phi \left( g^{-1}\right) \right) \). Briefly recalling the definition of cyclic cohomology of Hopf algebroid introduced by Connes and Moscovici, the authors show that the cyclic cohomology \(HC^{\cdot }\left( \mathcal{H}\left( G,M\right) \right) \) is isomorphic to the differentiable cohomology \(\bigoplus _{k\geq 0}HC^{\cdot -2k}\left( G,\left( \Omega ^{\ast }M,d\right) \right) \) of \(G\) with coefficients in \(\Omega ^{\ast }M\), and hence by Crainic's result, is isomorphic to the de Rham cohomology \(\bigoplus _{k\geq 0}HC^{\cdot -2k}\left( \left( \Omega ^{\ast }M\right) ^{G},d\right) \) on the space \(\left( \Omega ^{\ast }M\right) ^{G}\) of \(G\)-invariant differential forms on \(M\). If the proper \(G\)-action is also cocompact, then a Hodge theorem for \(G\) -invariant differential forms on \(M\) is derived, giving that every cyclic cohomology class of \(\mathcal{H}\left( G,M\right) \) is represented by a generalized harmonic form. In particular, the cyclic cohomology of \(\mathcal{ H}\left( G,M\right) \) is finite-dimensional and hence the Euler characteristic can be well defined. The authors then prove the Poincaré duality for twisted de Rham cohomology of \(G\)-invariant differential forms and derive that the Euler characteristic of a proper cocompact action on \(M\) is \(0\) if \(\dim \left( M\right) \) is odd or if there exists a nowhere vanishing \(G\)-invariant vector field on \(M\).
0 references
cyclic cohomology
0 references
Hodge theory
0 references
proper action
0 references
Euler characteristic
0 references
Hopf algebroid
0 references
invariant differential form
0 references
de Rham cohomology
0 references
0 references