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
0 answers
64 views

Is there a way in which "space" of random variables on $\mathbb{R}$ is canonically a coaugmented coalgebra?

Consider the "space" of random variables with finite expectation on $\mathbb{R}$ in the following sense: we fix the Borel $\sigma$-algebra on $\mathbb{R}$, and put random variables in ...
Daigaku no Baku's user avatar
1 vote
0 answers
120 views

Can't parse a statement in an article on coalgebras and umbral calculus

This question is cross-posted from MSE. I am reading Nigel Ray's "Universal Constructions in Umbral Calculus" (1998, published in "Mathematical Essays in Honor of Gian-Carlo Rota", ...
Daigaku no Baku's user avatar
5 votes
0 answers
162 views

When are topoi of coalgebras atomic?

A geometric morphism is atomic if its inverse image is logical. Now consider a Grothendieck topos $\varepsilon$ and its terminal geometric morphism $\Gamma : \varepsilon \rightarrow Set$, topos is ...
Ilk's user avatar
  • 679
4 votes
0 answers
133 views

Has anyone studied factoring as a CO-product?

In factorization, like integer factorization, you start with an integer and end up with a kind-of list of pairs of other elements, namely the factors. I want to explore the "Co-ness" of this....
Ben Sprott's user avatar
  • 1,281
2 votes
0 answers
82 views

Subcoalgebras of symmetric algebra

Consider the symmetric algebra $S(V)$, with its coalgebra structure: $\Delta(x)=1\otimes x+x\otimes1$ on $V$, extended multiplicatively. What are its subcoalgebras? In some vague sense, they seem to ...
grok's user avatar
  • 2,489
4 votes
0 answers
162 views

Infinite-dimensional, non-unital Frobenius algebras

A Frobenius algebra is a tuple $(A,\mu,\delta,\eta,\varepsilon)$, where $A$ is a vector space over some field, $(A,\mu,\eta)$ a unital associative algebra, and $(A,\delta,\varepsilon)$ a counital ...
Qwert Otto's user avatar
4 votes
1 answer
204 views

Hopf algebra and coideal question

Let $A$ be a Hopf algebra (over a field). Consider a unital subalgebra $B\subseteq A$ with $\Delta(B)\subseteq B\otimes A$. Put $$B^+:= B\cap \ker(\epsilon).$$ It can be shown that $B^+$ is a two-...
Andromeda's user avatar
  • 209
2 votes
0 answers
75 views

Is there a coalgebraic definition of filtered algebras?

If $M$ is a monoid, then an $M$-graded algebra over $k$ is the same thing as a $k[M]$ comodule algebra. To see this, if $\delta$ is a coaction of $k[M]$ on an algebra $A$, for each $m \in M$ define $$...
Chris's user avatar
  • 264
3 votes
1 answer
113 views

Equivalent definitions of pro-unipotent coalgebras

I'm trying to find a reference in the literature for equivalence of the following two definitions of pro-unipotent coalgebras. Definition Let be $H$ a coagumented coalgebra and let $\Delta \colon H \...
Liz Nesterova's user avatar
5 votes
1 answer
147 views

Lie coalgebra with no finite-dimensional subcoalgebras

In Walter Michaelis' paper Lie Coalgebras, he gives on page 9 an explicit example of a Lie coalgebra which is not the union of its finite-dimensional Lie subcoalgebras. In fact, Michaelis' example has ...
Alexander Betts's user avatar
2 votes
1 answer
126 views

Coproduct for a Frobenius algebra

The definition of a Frobenius algebra given here describes it as a monoid and a comonoid in a monoidal category with a compatability condition. For the special case of the category of vector spaces a ...
Didier de Montblazon's user avatar
3 votes
0 answers
103 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) \ (*)$$ ...
Hadrian Heine's user avatar
2 votes
0 answers
133 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 ...
Nikio's user avatar
  • 351
1 vote
1 answer
110 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 ...
HCH's user avatar
  • 193
4 votes
0 answers
104 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 ...
Hadrian Heine's user avatar
4 votes
0 answers
168 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 ...
Mario Román's user avatar
1 vote
0 answers
72 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 ...
comodules's user avatar
7 votes
2 answers
324 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.
Alain Rochefort's user avatar
1 vote
1 answer
593 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. ...
johhnyelgerton's user avatar
2 votes
1 answer
202 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?
johhnyelgerton's user avatar
5 votes
2 answers
325 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 ...
Spyros Olympopolous's user avatar
3 votes
0 answers
96 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 ...
Mare's user avatar
  • 25.7k
3 votes
1 answer
245 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;...
Emily's user avatar
  • 10k
5 votes
1 answer
205 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 ...
Sem's user avatar
  • 153
3 votes
0 answers
88 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 ...
Hadrian Heine's user avatar
3 votes
1 answer
168 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 ...
user avatar
6 votes
3 answers
489 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 \...
Sam's user avatar
  • 383
1 vote
1 answer
218 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$...
bliipbluup's user avatar
6 votes
1 answer
316 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 $$\...
Aidan's user avatar
  • 480
9 votes
2 answers
604 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 ...
user avatar
2 votes
1 answer
124 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 $\...
Bas Winkelman's user avatar
1 vote
0 answers
84 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 ...
Christoph Mark's user avatar
15 votes
1 answer
560 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)...
Simon Henry's user avatar
  • 39.9k
6 votes
3 answers
411 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 $\...
Martin Brandenburg's user avatar
6 votes
1 answer
435 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? ...
HeinrichD's user avatar
  • 5,392
1 vote
0 answers
47 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 ...
Nik Bren's user avatar
  • 499
5 votes
1 answer
570 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-...
Adi Ostrov's user avatar
4 votes
1 answer
326 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$...
Bipolar Minds's user avatar
4 votes
0 answers
140 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 ...
Bugs Bunny's user avatar
  • 12.1k
3 votes
1 answer
125 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$$ ...
Operadbeginner's user avatar
9 votes
1 answer
327 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^...
Ali Taghavi's user avatar
5 votes
2 answers
472 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 ...
Victor TC's user avatar
  • 795
5 votes
0 answers
334 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 ...
Victor TC's user avatar
  • 795
3 votes
0 answers
94 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?
G.-S. Zhou's user avatar
6 votes
0 answers
248 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 $\...
Gal Dor's user avatar
  • 249
2 votes
1 answer
406 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 ...
Ali Taghavi's user avatar
3 votes
0 answers
155 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 ...
Henry Story's user avatar
9 votes
0 answers
352 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 ...
Julian Kuelshammer's user avatar
4 votes
1 answer
305 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 ...
Ender Wiggins's user avatar
9 votes
2 answers
386 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 ...
Jonathan Beardsley's user avatar