Hopf algebra equivariant cyclic cohomology, \(K\)-theory and index formulas
type: Item
instance of: scholarly article
title: Hopf algebra equivariant cyclic cohomology, \(K\)-theory and index formulas
zbMATH Open document ID: 1067.19002
author: Lars Tuset
author: Sergey Neshveyev
published in: \(K\)-Theory
publication date: 2005-01-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0304001
review text: Let \(({\mathcal{H}}, \;\Delta)\) be a Hopf algebra over \(\mathbb{C}\) with comultiplication \(\Delta\), antipode \(S\) and counit \(\epsilon\). Let \(\mathcal{B}\) denote a unital right \(\mathcal{H}\) module algebra. Using ideas from \textit{S. Klimek, W. Kondracki} and \textit{A. Lesniewski} [K-Theory 4, 201--218 (1991; Zbl 0744.46063)] and \textit{R. Akbarpour} and \textit{M. Khalkhali} [``Hopf algebra equivariant cyclic homology and cyclic homology of crossed product algebras'', J. Reine Angew. Math. 559, 137--152 (2003; Zbl 1036.16005) the authors of the paper under review propose a definition of the equivariant cyclic cohomology of \(\mathcal{B}\), written \(HC^{\bullet}_{\mathcal{H}}({\mathcal{B}})\). Let \(C^n\) be the vector space of linear functionals \(f\) on \({\mathcal{H}}\otimes {\mathcal{B}}^{\otimes (n+1)}\) that are \(\mathcal{H}\)-invariant, i.e., \[ \omega \cdot f = \epsilon(\omega) f, \quad \omega \in {\mathcal{H}}, \] where, using Sweedler's notation for iterated coproducts, \[ (\omega \cdot f) ( \eta \otimes b_0 \otimes \, \ldots \, \otimes b_n ) = f( S^{-1}(\omega_{(0)}) \eta \omega_{(1)} \otimes b_0 \omega_{(2)} \otimes \, \ldots \, \otimes b_n \omega_{(n+2)}). \] Let the cyclic group \({\mathbb{Z}}/(n+1)\) act on \(C^n\) via \[ (t_n f)(\omega \otimes b_0 \otimes \, \ldots \, \otimes b_n) = f(\omega_{(0)} \otimes b_n \omega_{(1)} \otimes b_0 \otimes \, \ldots \, \otimes b_{n-1}). \] Endow \(C^n\) with the usual coface and codegenercy maps for Hochschild cohomology, except \(d^n_n = t_n d^n_0\). Then \(C^n\) becomes a cocyclic object and its cyclic cohomology is, by definition, the equivariant cyclic cohomology of \({\mathcal{B}}\). Proven is the following version of Morita invariance. If \(X\) is a finite-dimensional vector space endowed with trivial right action \(x \cdot \omega = \epsilon (\omega) x\) of \(\mathcal{H}\), then there is an isomorphism \[ HC^n_{\mathcal{H}}({\mathcal{B}}) \to HC^n_{\mathcal{H}}( {\text{End}}(X) \otimes {\mat…
reviewed by: Jerry M. Lodder
Mathematics Subject Classification ID: 19D55
Mathematics Subject Classification ID: 17B37
Mathematics Subject Classification ID: 16W30
Mathematics Subject Classification ID: 19K56
zbMATH DE Number: 2129391
zbMATH Keywords: Chern character
zbMATH Keywords: cyclic cohomology
zbMATH Keywords: Hopf algebras
MaRDI profile type: MaRDI publication profile
arXiv ID: math/0304001
OpenAlex ID: W2964336673
DOI: 10.1023/B:KTHE.0000031399.40342.7D
Recommended article: Hopf cyclic cohomology and Chern character of equivariant \(K\)-theories
Recommended article: Hopf algebras, cyclic cohomology and the transverse index theorem
Recommended article: Cyclic cohomology and Hopf algebras
Recommended article: Hopf algebra equivariant cyclic homology and cyclic homology of crossed product algebras
Recommended article: Equivariant Hopf Galois extensions and Hopf cyclic cohomology
Recommended article: Cyclic cohomology and multiplier Hopf algebras
Recommended article: Cyclic cohomology of Hopf algebras
Recommended article: Q4650796
Recommended article: On Cyclic Cohomology of ×-Hopf algebras
Recommended article: Equivariant \(K\)-theory and equivariant cohomology
description: scientific article