Generalizations of the Sweedler dual (Q328653): Difference between revisions

Let \(k\) be a field. If \(C\) is a \(k\)-coalgebra, then \(C^*\) is a \(k\)-algebra under convolution. If \(A\) is a finite-dimensional algebra, then \(A^*\) is a \(k\)-coalgebra. If \(A\) is infinite-dimensional, the subspace \(A^o\) of \(A^*\) consisting of those \(f\) in \(A^*\) which vanish on a cofinite ideal of \(A\) is a \(k\)-coalgebra called the Sweedler (finite) dual of \(A\). \(A^o\) can also be described as those \(f\) in \(A^*\) whose left (and right) translates span a finite-dimensional subspace of \(A^*\). The functor \(o\) is left adjoint to the functor \(*(C\dots >C^*)\). If \(k\) is replaced by a commutative ring \(R\), the definition of \(C^*\) and \(A^o\) make sense, but some of the properties which hold over \(k\) do not hold over \(R\), such as the left adjoint property, \(A^o\) consisting of \(f\) in \(A^*\) whose span of its translates is finitely-generated, and that \(o\) maps Hopf algebras to Hopf algebras. Using highly categorical methods, the authors consider conditions on \(R\), and choice of \(A^o\) in \(A^*\) so that such properties hold. The choice of \(A^o\) depends on a subcategory \(S\) of a certain category. To simplify this review, we take this latter category to be \(\mathrm{Mod}_R\). A necessary condition for for \(o\) to lift to a left adjoint of \(*\) is that \(S\) contains all finitely-generated projective \(R\)-modules. If \(R\) is Noetherian, then \(A^o\) does consist of those \(f\) in \(A^*\) whose span of its translates is finitely-generated, and \(A^o\) is an \(R\)-coalgebra. If, in addition, \(R\) is hereditary, then the left adjoint property holds, and \(o\) sends Hopf algebras to Hopf algebras. A portion of the preliminary results holds if \(R\) is not commutative.