# Questions tagged [coalgebras]

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

95
questions

**3**

votes

**0**answers

62 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

146 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 ...

**4**

votes

**3**answers

344 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

167 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

174 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

390 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

92 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

342 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

**2**answers

248 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

172 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

42 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

535 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

160 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

115 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

89 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

228 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

364 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

256 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

77 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

140 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

394 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

139 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 ...

**7**

votes

**0**answers

204 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

210 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

331 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 ...

**1**

vote

**0**answers

86 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

429 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

146 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

118 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 ...

**4**

votes

**1**answer

276 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

115 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

281 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

211 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

245 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

191 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 ...

**5**

votes

**0**answers

119 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 ...

**5**

votes

**1**answer

304 views

### Category of bicomodules of a cosemisimple Hopf algebra

A cosemisimple Hopf algebra $H$ is one which is equal to the direct sum of its subcoalgebras. As is well-known, this is equivalent to its category of $H$-comodules being semisimple. Is this also true ...

**5**

votes

**3**answers

453 views

### On a dual of Kaplansky's $2^{nd}$ conjecture: admissible algebras?

Kaplansky's second conjecture (on Hopf algebras) deals with "admissible" coalgebras: He calls a coalgebra admissible, if there is an algebra structure making it a Hopf algebra. The conjecture states ...

**4**

votes

**2**answers

463 views

### Cocommutativity, comultiplication and coalgebra maps

Given a coalgebra $(C,\Delta,\varepsilon)$, over a field, the following is a well-known property:
the comultiplication $\Delta:C\to C\otimes C$ is a coalgebra map if and only if $C$ is ...

**11**

votes

**1**answer

620 views

### What are types of coalgebras that are more naturally described by cooperads?

Some background. Let $\mathsf{C}$ be a symmetric monoidal category. An object $X \in \mathsf{C}$ has two operads "naturally" (the two constructions aren't functorial) associated to it: the operad of ...

**1**

vote

**2**answers

370 views

### Definition of a cosemisimple Hopf algebra

A cosemisimple Hopf algebra is usually defined to a Hopf algebra which is the sum of its cosimple subcoalgebras. Does this definition assume that each cosimple subcoalgebra appears only once in the ...

**4**

votes

**0**answers

269 views

### Is the bar construction of a CDGA model a Hopf algebra model for the loop space?

By a theorem of Adams, if $A = C^*(X;\mathbb{Q})$ is the CDGA of rational cochains on $X$ then the cohomology of the bar complex of $A$ is isomorphic to $H^*(\Omega X; \mathbb{Q})$ as a coalgebra (see ...

**0**

votes

**1**answer

137 views

### bialgebras on quotient polynomials

Is there a general procedure for constructing a bi-algebra out of a quotient polynomial ring? In particular, how do I construct a bi-algebra corresponding to quotient polynomial ring $<x^2-x-1>$?...

**1**

vote

**0**answers

159 views

### An identity satisfied by “Differentiation”

I asked this question in MSE but I did not received any answer. So I repeat it here:
Assume that $C$ is a coalgebra with comultiplication $\Delta:C \to C\otimes C$. The higher order ...

**2**

votes

**1**answer

158 views

### Yetter-Drinfeld modules as rigid category

I'm reading a proof of the following theorem
If $H$ is a Hopf algebra with invertible antipode then Yetter-Drinfeld modules of finite dimension form a rigid category.
In this proof we define $V^*...

**1**

vote

**1**answer

290 views

### Difference between two definitions of graded coalgebra

I'm reading articles about applications of Hopf algebras in physics. In one of them there is following definition of graded coalgebra:
A coalgebra $C$ is called graded if $C=\bigoplus\limits_{n\ge ...

**8**

votes

**3**answers

451 views

### Reference for Hopf algebra applications to Feynman diagrams

I need to give a talk about Hopf algebras and I would like to give a (at least) 5 minutes introduction using Feynman diagrams as a motivation. I'm looking for a not-so-heavy reference explaining how ...

**18**

votes

**1**answer

1k views

### Lurie's approach to the bar-cobar adjunction

I've been trying to read Jacob Lurie's approach to the bar-cobar constructions (Higher algebra §5.2 in the 2014-09 version) but I don't recognize what I know about these constructions. I wonder if ...

**6**

votes

**1**answer

332 views

### Cofree Lie Coalgebra

I have problems finding anything about the cofree Lie coalgebra functor
$\mathcal{L}ie^c$ out there.
Basically all I found was that it appears in Harrison cohomology and that,
given a $\mathbb{Z}$-...