All Questions
Tagged with hopf-algebras ac.commutative-algebra
19 questions
19
votes
1
answer
977
views
Lang's Jacobian identity: slicker, elementary proof?
In Jeffrey Lang, A Jacobian identity in positive characteristic, J. Commut. Algebra, Volume 7, Number 3 (2015), pp. 393--409, the following result is proven:
Theorem 1. Let $p$ be a prime. Let $\...
- 33.8k
15
votes
3
answers
566
views
Direct sum of Hopf algebras
I realise that this question might be rather basic but however I was unable to find the answer in any textbook nor manage to figure out the answer. The question is the following: given two Hopf ...
- 9,330
9
votes
2
answers
650
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 ...
user167952
7
votes
1
answer
292
views
Is $Tor_A(k,k)$ a bicommutative Hopf algebra?
Let $A$ be a commutative (or graded commutative) algebra over a field $k.$ In some sources, such as Mcleary's book on spectral sequences, Corollary 7.12, pg. 248, it is claimed that $\text{Tor}_A(k,k)$...
7
votes
1
answer
260
views
Problem with Eisenbud's Lemma "Symmetry of Diagonalization"?
This question was first asked on MathSE but nobody answered.
In his proof of Lemma A2.5 in his book Commutative Algebra with a View towards Algebraic Geometry, Prof. Eisenbud writes something like ...
- 1,128
7
votes
1
answer
254
views
Group-like elements in quotients of group rings
$\DeclareMathOperator\Gr{Gr}$Let $R$ be a local ring, let $A$ be a finite abelian group, and let $I$ be a Hopf ideal of the ring $R[A]$. The quotient $R[A]\twoheadrightarrow R[A]/I$ induces a map on ...
- 308
6
votes
1
answer
919
views
Tannaka–Krein duality
First I would like to stress that maybe I don't have a necessary background from the theory of Lie groups. I met the topic of Tannaka–Krein duality while reading the book of Gracia–Bondia, Varilly and ...
- 9,330
6
votes
0
answers
266
views
Classification of one dimensional (non-commutative) formal group laws over $k[\epsilon]/(\epsilon^n)$
It's well-known that any one dimensional formal group law over a $\mathbb Q$-algebra or a reduced ring is commutative, but there are one dimensioal non-commutative formal group laws over rings like $k[...
- 6,622
5
votes
3
answers
810
views
Update on "Hopf algebras: their status and pervasiveness" by Hazewinkel
Hazewinkel wrote this article in 2005. Perhaps it's time for an update.
For example, updating item
34: Ordinary differential equations much work has been done on the underlying Hopf algebra (HA) of ...
5
votes
2
answers
495
views
Sub-Hopf algebras of group algebras
Let $k$ be a field and $G$ a finite group. Is every sub-Hopf algebra over $k$ of the group algebra $k[G]$ of the form $k[U]$ for a subgroup $U$ of $G$ ?
- 16.2k
4
votes
1
answer
763
views
Further developments of Cartier–Gabriel–Kostant–Milnor–Moore Structure Theorem for cocommutative Hopf algebras
A very well-known theorem in Hopf algebra theory (see, for example, Lorenz - A tour of representation theory or the EGNO book (Etingof, Gelaki, Nikshych, and Ostrik - Tensor categories)) states that ...
- 718
4
votes
0
answers
182
views
'Noether normalization' for finite group schemes
Throughout let $p$ be a prime, and let $k$ be a field of characteristic $p$.
Let $G$ be a compact Lie group. Such a $G$ can always be embedded as a closed subgroup of $SU(n)$ for some $n$. This ...
- 3,784
3
votes
0
answers
134
views
Generalized wreath products of commutative algebras with Hopf algebras
Fix $k$ a commutative ring (or, if more convenient, assume it’s a field or even an algebraically closed field of characteristic 0, which is the case I’m mainly interested in). Let $A$ be a unital ...
- 2,830
3
votes
0
answers
325
views
Intuitive, elementary intros to Hopf algebras/monoids
Motivation:
I'm interested in understanding the role that noncrossing partitions play in Hopf algebras/monoids (HAs) as the components of the power series of the compositional inverse of formal ...
- 10.5k
3
votes
0
answers
144
views
Noncrossing partitions in Hopf algebras/monoids via compositional inversion
Partition polynomials constructed from the face structures of the associahedra (OEIS A133437) and permutahedra (A133314) comprise the antipodes/compositional inverses in a Faa-di-Bruno-type Hopf ...
- 10.5k
2
votes
1
answer
141
views
Exotic Hopf algebra structures on the $p$-fold direct product in characteristic $p > 0$
Let $k$ be an algebraically closed field of characteristic $p > 0 $ and let $A$ be an algebra over $k$, which is a local ring.
There is an isomorphism of algebras $\prod_{i=1}^p A \cong A \otimes k[...
- 542
2
votes
0
answers
240
views
Tensor product of fields 2
Let $K_1, K_2$ be finite field extensions of a field $k$.
Question: Is it true that $A=K_1 \otimes_k K_2$ is isomorphic to a product of group algebras over fields?
Question 2: In case the answer is ...
- 26.5k
2
votes
0
answers
160
views
Hopf algebra translations of relations in operational calculus
Three particularly important reps of the exponential formula (cf. MO-Q) are the
refined Lah polynomials (OEIS A130561): Exp[o.g.f.] = Exp[formal power series]$\; =\exp[\frac{1}{(1-a.x)}]$, umbrally ...
- 10.5k
2
votes
0
answers
546
views
Ring objects in the category of cocommutative coalgebras (aka Hopf rings).
I have recently been doing some calculations in topology which are naturally expressed in terms commutative ring objects in the category of cocommutative coalgebras. These have been studied for quite ...
- 4,990