Questions tagged [coalgebras]

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

Filter by
Sorted by
Tagged with
3
votes
0answers
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
1answer
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
3answers
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
3answers
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
2answers
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
3answers
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
1answer
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
1answer
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}$-...