# Questions tagged [coalgebras]

For questions about coalgebras, comultiplication, cocommutativity, counity, comodules, bicomodules, coactions, corepresentations, cotensor product, subcoalgebras, coideals, coradical, cosemisimplicity, ...

108
questions

2
votes

0
answers

49
views

### Inverse limit of chains of Eilenberg Mac Lane spaces

Let $... \to G_2 \to G_1$ an inverse system of abelian groups with inverse limit $G$, let $n \geq 2$ and $F$ a field. The induced inverse system $$... \to C_*(K(G_2,n);F) \to C_*(K(G_1,n);F) \ (*)$$
...

1
vote

0
answers

95
views

### Homotopy fixed points vs coalgebras

Referring to the last part of this answer https://mathoverflow.net/a/225403/170683, I would like to understand how in the case of a Galois cover $f\colon X\to Y=X/G$ with Galois group $G$ (I guess ...

1
vote

1
answer

48
views

### Morphism of conilpotent coalgebras

I have a stupid question about morphisms of two conilpotent coalgebras $\phi:X\to Y$. Is it a morphism of coaugmented coalgebras such that $\phi(F_n(X))\subseteq F_n(Y)$? Here $F_n$ denotes the ...

1
vote

0
answers

54
views

### Conilpotent coalgebras as pushouts of trivial coalgebras

Let $K$ be a field and $C$ a non-counital conilpotent coassociative coalgebra over $K$
whose underlying $K$-vector space is finite dimensional.
Question: Can one obtain $C$ by iterately taking ...

4
votes

0
answers

145
views

### Which categories of presheaves are algebraically cocomplete?

We say that a category is algebraically complete when every endofunctor has an initial algebra. Similarly, a category is algebraically cocomplete when every endofunctor has a final coalgebra.
Assuming ...

1
vote

0
answers

53
views

### How do you get the rational submodule of a $C^*$-module (equivalent to a $C$-comodule)?

Let $C$ be a coalgebra over a field $K$. Let $M$ be a $C^*$-module. I am trying to understand the rational submodule of $M$, which will carry the structure of a $C$-comodule.
It seems to me that the ...

7
votes

2
answers

240
views

### Different Bialgebra/Hopf algebra structures on coalgebras

Given a coalgebra $C$, can there exist more than one algebra structure on $C$ giving it the structure of a bialgebra? I will also ask the same question for Hopf algebras.

2
votes

1
answer

484
views

### What is a coalgebra?

A coalgebra is a triple $(A,\Delta,\epsilon)$ consisting of a vector space, a coproduct, and a counit. Now as we all know, just like the unit in an algebra, the counit of a coalgebra is unique, i.e. ...

2
votes

1
answer

120
views

### Bialgebra maps and Hopf algebra maps

Let $H$ and $H'$ be two Hopf algebras, and let $\phi:H \to H'$ be an bialgebra map. Then is $\phi$ automatically a Hopf algebra map?

5
votes

2
answers

299
views

### Classifying Hopf algebras that admit a single irreducible comodule

Is it possible to classify Hopf algebras $H$, over a field $k$, which admit a unique (up to isomorphism) irreducible comodule, namely the trivial $1$-dim comodule
$$
k \to k \otimes H, ~~ k \mapsto k ...

3
votes

0
answers

85
views

### Frobenius algebras associated to posets and coalgebra structures

Let $P$ be a finite poset that we assume for simplicity to be bounded (that is it has a global maximum M and minimum m).
Let k be a field, then the classical incidence algebra $kP$ has $k$-vector ...

3
votes

1
answer

110
views

### Cotensor products (in monoidal categories) without regularity

In Internal Categories and Quantum Groups, Aguiar defines the cotensor product of two bicomodules as follows. Let
$(\mathcal{V},\otimes_{\mathcal{V}},\mathbf{1}_{\mathcal{V}})$ be a monoidal category;...

5
votes

1
answer

183
views

### Reconstruction of coalgebras

In the paper Reconstruction of hidden symmetries of Bodo Pareigis in the subsection "3.1 Reconstruction of coalgebras" there is the following proposition (3.3.).
Let $\mathcal{C}$ be a ...

3
votes

0
answers

83
views

### Do chains send homotopy inverse limits of spaces to homotopy inverse limits of $E_\infty$-coalgebras?

Let $X_\bullet := ... X_2 \to X_1$ be a tower of connected and simple spaces
with the following properties:
The induced tower $H_\ast(X_\bullet; \mathbb{F}_p)$ of graded $\mathbb{F}_p$-vector spaces
...

3
votes

1
answer

154
views

### Show that a certain element is a linear combination of tensors

I posted this question on MSE but got no answer even after putting a bounty on it, so I figured I can try to ask here.
Let $(A, \Delta: A \to A \otimes A)$ be bialgebra (unital and counital) such that ...

5
votes

3
answers

417
views

### Contramodule as direct limit of its finitely generated subcontramodules

$\DeclareMathOperator\Hom{Hom}$Let $K$ be a field. Let $C$ be a $K$-coalgebra. A contramodule $M$ over $C$ is a $K$-space with a $K$-linear map $\pi_M:\Hom_K(C,M)\longrightarrow M$ such that $\pi_M \...

1
vote

1
answer

184
views

### $M$ comodule if and only if $N$ and $L$ comodules

Let $k$ be a field, $C$ a $k$-coalgebra, and $M$ a left $C$-comodule. Then, for a short exact sequence
$$
0 \rightarrow N \rightarrow M \rightarrow L \rightarrow 0
$$
of vector spaces, we have that $N$...

5
votes

1
answer

211
views

### Comparing Hochschild (co)homology for algebras and coalgebras

Given a field $k$, an associative $k$-algebra $A$, and an $A$-bimodule $M$, one can define as the Hochschild homology and cohomology as the homology of the complexes
$$M\otimes A^{\otimes n}$$
and
$$\...

9
votes

2
answers

449
views

### Definition of subcoalgebra over a commutative ring

Let $k$ be commutative ring and $(C, \Delta)$ be a coalgebra over $k$. Let $D$ be a $k$-submodule of $C$.
Notes I'm reading give the following definition:
$D$ is called subcoalgebra of $C$ if the ...

2
votes

1
answer

104
views

### Non-counital coalgebras

For any unital algebra $A$, we have an associated dual coalgebra $A^{\circ}$. (Recall that it is defined to be the largest subalgebra of the $\mathbf{C}$-linear dual of $A$ such that the coproduct $\...

1
vote

0
answers

80
views

### On reflexive bialgebras

Let $A$ be a bialgebra. We can consider $A$ as a relfexive algebra (i.e. $A\cong A^{o*}$) or relfexive coalgebra (i.e. $A\cong A^{*o}$ where in each case $o$ denotes what is sometimes called ...

14
votes

1
answer

435
views

### presentability rank of categories of coalgebras

The following theorem is relatively classical:
Theorem: Given an accessible endofunctor, (co)pointed endofunctor or (co)monad $T$ on a locally presentable category $C$, then the category of $T$-(co)...

5
votes

3
answers

320
views

### Universal property of the cocomplete category of models of a limit sketch

Let $\mathscr{S}$ be a limit sketch in a small category $\mathcal{E}$, i.e. just a collection of cones in $\mathcal{E}$. Then its category $\mathbf{Mod}(\mathscr{S})$ of models (i.e. functors $\...

6
votes

1
answer

257
views

### Comonoids in the category of monoids

Let us give the category of monoids $\mathbf{Mon}$ a monoidal structure with $\otimes = \sqcup$ (coproduct). How can we classify $\mathbf{CoMon}(\mathbf{Mon})$, the category of comonoids of monoids?
...

1
vote

0
answers

43
views

### Weakly reflexive algebra vs proper (residually finite-dimensional) algebra

Currently I am reading the book "Hopf Algebras. An Introduction" by S. Dascalescu, C. Nastasescu, S. Raianu. There is a Definition 1.5.20 on page 44 (boldface is mine):
An algebra $A$ is called ...

5
votes

1
answer

554
views

### Comultiplication on objects in an (abelian?) category

Looking for example at $R$-modules for some commutative $R$, we have the direct sum and the tensor product acting analogously to addition and multiplication.
After studying a little bit about co-...

4
votes

1
answer

221
views

### Examples of basic coalgebras

For an algebraically closed field $k$, let $C$ be a $k$-coalgebra. Given a minimal injective cogenerator $E$, there is a so-called basic coalgebra $B_C=coend^C(E)$, s.t. the comodule categories $Mod^C$...

4
votes

0
answers

121
views

### Do comodules form an exact category?

Let $R$ be a commutative ring, $C$ a coalgebra over $R$. I am asking about the category of $C$-comodules $C$-Comod.
It is clear that if $C$ is a flat $R$-module, then $C$-Comod is abelian. Hence, is ...

3
votes

1
answer

107
views

### Is there a way to adjoin a counit to a non counital coalgebra?

Let $k$ be a field.
If $A$ is a non unital $k$-algebra, there is a simple way to make it unital by taking $\tilde{A}:=A\oplus k$ and setting
$$ (a+\lambda)(b+\mu):=ab+\lambda b +\mu a +\lambda \mu$$
...

8
votes

1
answer

262
views

### An inner product approach to Hopf algebras

We fix the standard inner products on $\mathbb{C}^n$ and $\mathbb{C}^n\otimes \mathbb{C}^n$.
Is there an algebra structure on $\mathbb{C}^n$ with multiplication $m$ such that the adjoint operator $m^...

5
votes

2
answers

400
views

### Is every dg-coalgebra the colimit of its finite dimensional dg-subcoalgebras?

I saw this result in A Model Category Structure for Differential Graded Coalgebras by Getzler-Goerss, but when the coalgebra is non-negatively graded, is this property also satisfied when the dg ...

5
votes

0
answers

295
views

### Does the associated graded functor take products of filtered k-coalgebras to graded k-coalgebras?

Let's suppose we have two noncommutative graded k-coalgebras $C_1$ and $C_2$ with respective admissible filtrations (i.e $F_{0}C_i=0$ and $\mathrm{colim}_k F_kC_i=C_i$), I would like to know if there ...

3
votes

0
answers

85
views

### Simple coalgebra under base change

Let $C$ be a simple coalgebra over a field of characteristic $0$. Let $K$ be a field extension of $k$. Is the coalgebra $C\otimes_k K$ over $K$ simple?

5
votes

0
answers

182
views

### Compact Generation of Co-Module Categories

Let $\mathcal{C}$ be a compactly generated stable $\infty$-category, linear over a field of characteristic $0$ (i.e., so that it is in particular a dg-category). Let $A$ be a co-monad acting on $\...

2
votes

1
answer

399
views

### Coalgebras(or quantum groups) which admit a linear operator satisfying certain functional equation

What is an example of a coalgebra $C$ which admit a linear operator $T$, different from scalar operators $T=\lambda Id$, which satisfy $$(T\otimes T)\circ \Delta=\Delta \circ T^2 $$ but $C$ is not ...

3
votes

0
answers

143
views

### final coalgebra of the 𝓟${_{<κ}}$(A×X) endo-functor in $Set^*$?

In the paper Coalgebraic Games and Strategies F. Honsell, M. Lenisa, and R. Redamalla use the functor $F_A$(X) = ${\mathscr{P}_{<κ}}$(A×X) to define games coalgebraically. This is a functor from ...

8
votes

0
answers

262
views

### Duality between coalgebras and (pseudocompact) algebras - uniqueness

The following result is well-known. It can for example be found in [Iovanov: The representation theory of profinite algebras, Theorem 1.0.2]. For definitions, see below.
Let $k$ be a field. The ...

4
votes

1
answer

241
views

### Tannaka-Krein reconstruction and rigidity

Let $\mathcal{C}$ be a rigid monoidal category together with a quasi-monoidal functor $\omega:\mathcal{C}\to\mathsf{vec}_{\Bbbk}$ to finite-dimensional vector spaces over a field $\Bbbk$, i.e. we have ...

8
votes

2
answers

369
views

### Monoidal structures on modules over derived coalgebras

Given a Hopf-algebra $H$ (over a commutative ring), it is a classical fact that its category of (left) modules is monoidal, even if $H$ is not commutative. Given two left modules $M$ and $N$, we can ...

2
votes

0
answers

97
views

### Limits in subcategories of Powerset-coalgebras

Let $F:Set\to Set$ be a functor. An $F$-coalgebra is a pair $\mathcal{A}=(A,\alpha)$ where $\alpha:A\to F(A)$ is arbitrary map.
Given $F$-coalgebras $\mathcal{A}=(A,\alpha)$ and $\mathcal{B}=(B,\beta)$...

10
votes

1
answer

450
views

### Why is subcoalgebra structure unique?

Sorry for breaking the harmony of MO with a easy and silly questions. I have stuck on elementary category-theoretic reasoning about subcoalgebras, namely:
Let $F:\mathcal{Set}\to \mathcal{Set}$ be a ...

3
votes

0
answers

155
views

### Completion of coalgebras

Is it possible to complete commutative dg associative (conilpotent) coalgebras over $\mathbb{Q}$ in a way so that when we complete the symmetric coalgebra $Sym(V)$ it becomes completed with respect to ...

4
votes

0
answers

134
views

### Building conilpotent coalgebras from co-square-zero-extensions

Let $\mathrm{K}$ be a field of char. 0.
Given a chain complex $\mathrm{X} $ over $\mathrm{K}$ denote $\mathrm{E}(\mathrm{X})$ the co-square-zero-extension on $\mathrm{X}, $ i.e. the
cocommutative ...

5
votes

1
answer

342
views

### Tensor product of coaugmented conilpotent coalgebras

Let $\mathbb{K}$ be a field of char. 0.
Let $\mathrm{A}, \mathrm{B}$ be conilpotent cocommutative coaugmented counital dg-coalgebras over $\mathbb{K}$
(i.e. that their corresponding cokernel of their ...

2
votes

1
answer

139
views

### Variant of co-Tor in a bimodule category

Say $\mathcal{C}$ is a strict monoidal abelian category and $A$ is a coalgebra object in $\mathcal{C}$, with left co-modules $M$ and right co-module $N$ (also in $\mathcal{C}$). Then we have a notion ...

7
votes

2
answers

342
views

### A diagram for understanding action/coaction compatibility in a Yetter-Drinfeld module

For a Hopf algebra $H$ with antipode $S$, let $M$ be a left $H$-module with the action $h \otimes m \mapsto \rho(h,m)$, and also a left $H$-comodule with coaction $\delta \colon m \mapsto m^{(-1)} \...

3
votes

1
answer

265
views

### What are the primitive elements in a polynomial Hopf algebra with primitive indeterminates?

Asked on math.stackexchange https://math.stackexchange.com/questions/2510606/what-are-the-primitive-elements-in-a-polynomial-hopf-algebra-with-primitive-inde but didn't get response (in fact got a ...

4
votes

1
answer

292
views

### Meaning of coinvariants of a comodule

Let $M$ be a comodule over the bialgebra $B$, with structure map $\rho:M \to M \otimes B$. The space of coinvariants is defined as $M^{coB}:=\{m \in M~|~\rho(m)=m\otimes 1_B\}$. A book I'm reading ...

3
votes

1
answer

195
views

### Confusion about comodules

I'm learning "An Introduction to Exterior Differential Systems" by Gregor Weingart. I have some confusions regarding comodules:
In section 3, the author defines a comodule:
Later, the "space of ...

6
votes

0
answers

125
views

### What are regular epimorphisms of coalgebras?

It is known that epimorphisms between coalgebras are surjective maps. My question is
What are regular epimorphisms between coalgebras?
I am in particular ...