On the monoidal invariance of the cohomological dimension of Hopf algebras
type: Item
instance of: scholarly article
title: On the monoidal invariance of the cohomological dimension of Hopf algebras
zbMATH Open document ID: 1502.16033
author: Julien Bichon
published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris
publication date: 2022-05-31T00:00:00Z
full work available at URL: https://arxiv.org/abs/2102.02479
review text: Every algebra considered in this review is assumed over an algebraically closed field \(k\). For a Hopf algebra \(A\), it is known that \(\mathrm{r.gldim}(A) = \mathrm{pd}_A(k_\varepsilon) = \mathrm{cd}(A) = \mathrm{l.gldim}(A) = \mathrm{pd}_A(_\varepsilon k)\), where \(\mathrm{r.gldim}(A)\) and \(\mathrm{l.gldim}(A)\) denote the respective right and left global dimensions of \(A\), \(\mathrm{cd}(A)\) denotes the cohomological dimension of \(A\), \(\mathrm{pd}_A(k_\varepsilon)\) and \(\mathrm{pd}_A(_\varepsilon k)\) denote the projective dimensions respective of right and left trivial \(A\)-modules. A Hopf algebra \(A\) is smooth if \(k_\varepsilon\) or \(_\varepsilon k\) has a finite resolution by finitely generated projective modules. In the paper under review, the author discusses the question of whether the global dimension is a monoidal invariant for Hopf algebras in the sense that if Hopf algebras \(A\), \(B\) have equivalent monoidal categories of comodules, then \(\mathrm{cd}(A) = \mathrm{cd}(B)\), and provides several positive answers to this question under various assumptions of smoothness, cosemisimplicity or finite dimension. More precisely, let \(A\), \(B\) be Hopf algebras that have equivalent linear tensor categories of comodules. Then \(\mathrm{cd}(A) = \mathrm{cd}(B)\) if one of the following condition holds: (1) \(A\), \(B\) are smooth and have bijective antipodes (Theorem 8); (2) \(A\), \(B\) are cosemisimple and \(\mathrm{cd}(A)\), \(\mathrm{cd}(B)\) are finite (Theorem 24); (3) \(A\), \(B\) are finite-dimensional and \(\mathrm{char}k = 0\) or \(\mathrm{char}k > d^{\varphi (d)/2}\) where \(d=\mathrm{dim}(A)\) (Theorem 45); (4) \(A\), \(B\) are finite-dimensional and \(A^{\ast}\) is unimodular (Theorem 45). Finally, the author compares the global dimension and the Gerstenhaber-Schack cohomological dimension in the cosemisimple case, obtaining equality in the case the latter is finite. More precisely, let \(A\) be a cosemisimple Hopf algebra. If \(…
reviewed by: Małgorzata E. Hryniewicka
Mathematics Subject Classification ID: 16T05
Mathematics Subject Classification ID: 16E40
Mathematics Subject Classification ID: 16E10
zbMATH DE Number: 7534578
zbMATH Keywords: Hopf algebra
zbMATH Keywords: Yetter-Drinfeld module
zbMATH Keywords: Hochschild cohomological dimension
zbMATH Keywords: Gerstenhaber-Schack cohomological dimension
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3126636485
arXiv ID: 2102.02479
cites work: On twisting of finite-dimensional Hopf algebras.
cites work: Fusion rules for quantum reflection groups
cites work: Free wreath product by the quantum permutation group
cites work: Co-representation theory of universal co-sovereign Hopf algebras
cites work: Hochschild homology of Hopf algebras and free Yetter–Drinfeld resolutions of the counit
cites work: Hopf-Galois objects and cogroupoids
cites work: Gerstenhaber-Schack and Hochschild cohomologies of Hopf algebras
cites work: Cohomological dimensions of universal cosovereign Hopf algebras
cites work: Homological properties of quantum permutation algebras
cites work: Crossed modules and Doi-Hopf modules
cites work: Frobenius and separable functors for generalized module categories and nonlinear equations
cites work: Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras.
cites work: Relative Fourier transforms and expectations on coideal subalgebras
cites work: Gelfand-Kirillov dimension of cosemisimple Hopf algebras
cites work: Q3994461
cites work: Braided bialgebras and quadratic blalgebras
cites work: Q4222331
cites work: Tensor Categories
cites work: The free wreath product of a compact quantum group by a quantum automorphism group
cites work: Bialgebra cohomology, deformations, and quantum groups.
cites work: Cohomology of quantum groups at roots of unity
cites work: Q3978992
cites work: Q4375485
cites work: Characters of Hopf algebras
cites work: Finite dimensional cosemisimple Hopf algebras in characteristic 0 are semisimple
cites work: Free wreath product quantum groups: the monoidal category, approximation properties and free probability
cites work: On Crossed Products of Hopf Algebras
cites work: Cleft extensions for a hopf algebra generated by a nearly primitive element
cites work: Faithful flatness of Hopf algebras
cites work: Q4274976
cites work: Quantum groups of \(\mathrm{GL}(2)\) representation type.
cites work: Quantum automorphism groups and \(\mathrm{SO}(3)\)-deformations
cites work: Separable functors applied to graded rings
cites work: Introduction to Quantum Groups
cites work: Minimal quasitriangular Hopf algebras
cites work: The Manin Hopf algebra of a Koszul Artin-Schelter regular algebra is quasi-hereditary
cites work: Separable functors revisited
cites work: Hopf modules and Yetter-Drinfel'd modules
cites work: Hopf bigalois extensions
cites work: Bi-Galois objects over the Taft algebras
cites work: Q4663645
cites work: Q4763802
cites work: Hochschild cohomology on Hopf Galois extensions
cites work: Injective Hopf bimodules, cohomologies of infinite dimensional Hopf algebras and graded-commutativity of the Yoneda product.
cites work: Quantum symmetry groups of finite spaces
cites work: Calabi-Yau property under monoidal Morita-Takeuchi equivalence
cites work: Q4296949
cites work: Compact matrix pseudogroups
cites work: Hopf–Galois objects of Calabi–Yau Hopf algebras
DOI: 10.5802/CRMATH.329
Recommended article: Cotorsion dimensions and Hopf algebra actions.
Recommended article: HOMOLOGICAL DIMENSIONS OF INVARIANTS FOR HOPF ALGEBRA ACTIONS
Recommended article: Gerstenhaber-Schack and Hochschild cohomologies of Hopf algebras
Recommended article: On global dimension of Yetter-Drinfel'd Hopf algebras.
Recommended article: Q5490544
Recommended article: Q2990544
Recommended article: Q4529226
Recommended article: Observations on crossed products and invariants of Hopf algebras
Recommended article: GLOBAL DIMENSION FOR HOPF ACTIONS

On the monoidal invariance of the cohomological dimension of Hopf algebras (Recommended article)
Recommended article: Q4926535
Similarity Score: 0.72546166
Recommender Run: Recommender Run 2