# Questions tagged [coalgebras]

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

88 questions
Filter by
Sorted by
Tagged with
74 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 ...
297 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)...
225 views

313 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 ...
216 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 ...
69 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?
114 views

185 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 ...
201 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 ...
180 views

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 ...
117 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 ...
291 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 ...
439 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 ...
395 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 ...
524 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 ...
316 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 ...
257 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 ...
127 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>$?...
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 ...
148 views

423 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 ...
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 ...
303 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}$-...
201 views

### A coalgebra structure on compact operators

Is there a coalgebra structure $\Delta_{n}$ on $M_{n}(\mathbb{C})$ which is compatible with the natural embedding $i_{n:}M_{n}(\mathbb{C})\to M_{n+1}(\mathbb{C})$ with $i_{n}(A)= A\oplus 0$. ...
190 views

### Explicit description of graded (counital) cofree cocommutative coalgebras

Let $k$ be a field of characteristic $p \neq 2$, and $V = \oplus V_{n}$ be a graded vector space over $k$. Then, can one compute the graded (counital) cofree cocommutative coalgebra $C(V)$ ...
427 views

### When is an exponential functor a bialgebra?

My question is about the notion of exponential functors as they are frequently defined in the literature on (strict) polynomial functors, e.g., the paper "General Linear and Functor Cohomology" by ...