The coalgebra extension problem for $\mathbb Z/p$
Authors:
Aaron Brookner
Abstract:
For a coalgebra $C_k$ over field $k$, we define the "coalgebra extension problem" as the question: what multiplication laws can we define on $C_k$ to make it a bialgebra over $k$? This paper answers this existence-uniqueness question for certain coalgebras called "circulant coalgebras". We begin with the trigonometric coalgebra, comparing and contrasting with the group-(bi)algebra…
▽ More
For a coalgebra $C_k$ over field $k$, we define the "coalgebra extension problem" as the question: what multiplication laws can we define on $C_k$ to make it a bialgebra over $k$? This paper answers this existence-uniqueness question for certain coalgebras called "circulant coalgebras". We begin with the trigonometric coalgebra, comparing and contrasting with the group-(bi)algebra $k[\mathbb Z/2]$. This leads to a generalization, the dual coalgebra to the group-algebra $k[\mathbb Z/p]$, which we then investigate. We show connections with other questions, motivating us to answer to the coalgebra extension problem for these families. The answer depends interestingly on the base field $k$'s characteristic.
Along similar lines, we investigate the algebraic group $S^1$ over arbitrary $k$. We find that similar complications arise in characteristic 2. We explore this, motivated (by quantum groups) by the question of whether or not $\mathcal{O}(S^1)$ is pointed. We give a very explicit conjecture in terms of the Chebyshev polynomials of trigonometry. We end by constructing a formal group object, in a certain monoidal category of modules of $k[[h]]$, as a $2^{\text{nd}}$ order deformation of $k[t]$.
△ Less
Submitted 26 January, 2022; v1 submitted 25 December, 2018;
originally announced December 2018.
On Cohen-Macaulayness of S_n-invariant subspace arrangements
Authors:
Aaron Brookner,
David Corwin,
Pavel Etingof,
Steven V Sam
Abstract:
Given a partition $λ$ of n, consider the subspace $E_λ$ of $C^n$ where the first $λ_1$ coordinates are equal, the next $λ_2$ coordinates are equal, etc. In this paper, we study subspace arrangements $X_λ$ consisting of the union of translates of $E_λ$ by the symmetric group. In particular, we focus on determining when $X_λ$ is Cohen-Macaulay. This is inspired by previous work of the third author c…
▽ More
Given a partition $λ$ of n, consider the subspace $E_λ$ of $C^n$ where the first $λ_1$ coordinates are equal, the next $λ_2$ coordinates are equal, etc. In this paper, we study subspace arrangements $X_λ$ consisting of the union of translates of $E_λ$ by the symmetric group. In particular, we focus on determining when $X_λ$ is Cohen-Macaulay. This is inspired by previous work of the third author coming from the study of rational Cherednik algebras and which answers the question positively when all parts of $λ$ are equal. We show that $X_λ$ is not Cohen-Macaulay when $λ$ has at least 4 distinct parts, and handle a large number of cases when $λ$ has 2 or 3 distinct parts. Along the way, we also settle a conjecture of Sergeev and Veselov about the Cohen-Macaulayness of algebras generated by deformed Newton sums. Our techniques combine classical techniques from commutative algebra and invariant theory, in many cases we can reduce an infinite family to a finite check which can sometimes be handled by computer algebra.
△ Less
Submitted 14 June, 2015; v1 submitted 19 October, 2014;
originally announced October 2014.
