Hereditary and formally smooth coalgebras. (Q2490352): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Pascual Jara / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Luis M. Merino / rank | |||
Normal rank | |||
Property / author | |||
Property / author: David Llena / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Dragoş Ştefan / rank | |||
Normal rank |
Revision as of 03:56, 13 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hereditary and formally smooth coalgebras. |
scientific article |
Statements
Hereditary and formally smooth coalgebras. (English)
0 references
2 May 2006
0 references
Let \(C\) be a coalgebra over a base field \(k\). The Hochschild cohomology of coalgebras was investigated by \textit{Y. Doi} [J. Math. Soc. Japan 33, 31-50 (1981; Zbl 0459.16007)]. An extension of \(C\) by a \((C,C)\)-bicomodule \(M\) is defined as an exact sequence \(0\to C\to D\to M\to 0\), where the embedding \(C\hookrightarrow D\) is a morphism of coalgebras such that \(D=C\wedge C\) (i.e. \(\Delta_C(D)\subseteq C\otimes D+D\otimes C\)). The dimension of \(C\) is defined as \(\dim_{C^e}(C):=\min\{n\mid\mathbb{H}^{n+1}(M,C):=\text{Ext}_{C^e}^\bullet(M,C)=0\) for every \((C,C)\)-bicomodule \(M\}\), where \(C^e:=C\otimes C^{op}\) is the enveloping coalgebra of \(C\). Doi showed that \(\dim_{C^e}(C)=0\) if and only if \(C\) is a coseparable coalgebra (i.e. \(C=C_0\), the coradical of \(C\), and the dual convolution algebras of subcoalgebras of \(C\) are separable). In the paper under review, the authors investigate coalgebras for which every extension is trivial and call them formally smooth. They show that \(\dim_{C^e}(C)\leq 1\) if and only if \(C\) is formally smooth if and only if \(\text{Coker}(\Delta _C)\) is an injective bicomodule. As a consequence, they show that the cotensor coalgebra \(T_C(N)\) of an injective bicomodule \(N\) is formally smooth, if \(C\) is formally smooth. They show also that if \(C\) is formally smooth, then \(C\) is (right) hereditary (i.e. quotient comodules of (right) \(C\)-comodules are also injective). In case \(C_0\) is coseparable, it is shown that \(C\) is formally smooth if and only if \(C\) is hereditary.
0 references
coseparable coalgebras
0 references
hereditary coalgebras
0 references
formally smooth coalgebras
0 references
Hochschild cohomology
0 references