Questions tagged [coalgebras]
For questions about coalgebras, comultiplication, cocommutativity, counity, comodules, bicomodules, coactions, corepresentations, cotensor product, subcoalgebras, coideals, coradical, cosemisimplicity, ...
34
questions with no upvoted or accepted answers
9
votes
0
answers
355
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 ...
7
votes
0
answers
434
views
Reference for Lie coalgebras needed
In the Wikipeadia article
http://en.wikipedia.org/wiki/Lie_coalgebra
on Lie coalgebras an author said:
"... Just as the exterior algebra of vector fields on a manifold form a Lie algebra [...], the ...
6
votes
0
answers
251
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 $\...
6
votes
0
answers
129
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 ...
6
votes
0
answers
250
views
"Question-answer" bisimulation
I often come across relations that would be defined as a bisimulation, except that the label match can be "inexact", that is, in the bisimulation game, a move labelled with "a" can be replied to with "...
5
votes
0
answers
170
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 ...
5
votes
0
answers
336
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 ...
5
votes
0
answers
243
views
Injectivity criterion for surjective coalgebra maps: does it hold in full generality?
Let $\mathbf{k}$ be a commutative ring.
Let $C$ be a filtered $\mathbf{k}$-coalgebra. This means a $\mathbf{k}$-coalgebra equipped with an increasing $\mathbf{k}$-module filtration $C^0 \subseteq C^1 \...
4
votes
0
answers
135
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....
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 ...
4
votes
0
answers
106
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
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 ...
4
votes
0
answers
143
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 ...
4
votes
0
answers
160
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
0
answers
319
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 ...
4
votes
0
answers
221
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)$ ...
3
votes
0
answers
74
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 ...
3
votes
0
answers
105
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) \ (*)$$
...
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 ...
3
votes
0
answers
89
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
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?
3
votes
0
answers
156
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 ...
3
votes
0
answers
167
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 ...
2
votes
0
answers
84
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 ...
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
$$...
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 ...
1
vote
0
answers
100
views
Reference for cocommutative coalgebras
I'm looking for references on cocommutative coalgebras where I can see them as kind of infinitesimal spaces. I'm trying to understand this post Why do Lie algebras pop up, from a categorical point of ...
1
vote
0
answers
123
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", ...
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 ...
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 ...
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 ...
1
vote
0
answers
127
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)$...
1
vote
0
answers
163
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 ...
1
vote
0
answers
162
views
Coinduction and corestriction are quasi-inverse equivalences for comodules?
I'm reading http://arxiv.org/abs/math/0310337.
There the following statement is given without proof:
Let $k$ be a field. Let $C$ be a counitary coaugmented coalgebra, i.e. there is $\eta: C\to k$ ...