Questions tagged [symmetric-algebras]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers

Almost split sequences for symmetric algebras

Let $k$ be an algebraically closed field and $A$ be a symmetric algebra. I want to know how to compute almost split sequences ending at a non-projective indecomposable right $A$-module $X$. Question: ...
sola's user avatar
  • 21
2 votes
0 answers

Symmetric algebra of monomial ideal modulo a binomial ideal isomorphic to a quotient of a polynomial ring

Note: I posted this question on MSE but haven't received any response. I’m trying to understand the proof of Corollary 1.9 in “Binomial ideals” by David Eisenbud and Bernd Sturmfels. Notation: Let $S= ...
Artus's user avatar
  • 141
7 votes
1 answer

Formula for the matrix units in the Gelfand-Tsetlin basis of the symmetric group algebra?

Are there any formulas for the irreducible off-diagonal elements $E^{\lambda}_{ij}$ in the Gelfand-Tsetlin basis of the symmetric group algebra $\mathbb{C}[S_n]$? Here is the context for my question. ...
dmitry's user avatar
  • 133
2 votes
1 answer

Symmetric algebra over a realization of Coxeter System is a dgg algebra

I have been reading a paper of Achar, Makisumi, Riche and Williamson. In the chapter 3, the authors talk us of bigraded modules and dgg modules and I'm stuck here. Let $(W, S)$ be a Coxeter system, ...
Rovil's user avatar
  • 23
2 votes
0 answers

What comes next in the sequence "symmetric algebras, exterior algebras, divided power algebras, ..."?

This question was posed by A Rock and a Hard Place in this discussion, where they mentioned the isomorphisms \begin{align*} \mathrm{L}\,\mathrm{Sym}^n_R(M[1]) &\cong (\mathrm{L}\,{\...
Emily's user avatar
  • 9,697
2 votes
1 answer

The shuffle algebra over the rationals is isomorphic to the polynomial algebra in the Lyndon words

On this wikipedia page is stated that over the rational numbers, the shuffle algebra (over a set $X$) is isomorphic to the polynomial algebra in the Lyndon words (on $X$). I was wondering if you can ...
user15160811's user avatar
2 votes
0 answers

What is the definition of this function?

I'm reading a paper and I didn't understand this notation used by the author: Let E be a vector space and F be a subspace of E. Let $S(E/F)$ be the symmetric algebra of $E/F$. For every element $P \...
Maria's user avatar
  • 133
10 votes
2 answers

Inequality for trace of a symmetric product?

Let $A$ be a real, positive-definite, symmetric operator on an $n$-dimensional space $V$. Write $\odot^k A$ for the action of $A$ on the symmetric power $\odot^k V$. Let $v_1,\dotsc,v_n$ be a basis ...
H A Helfgott's user avatar
6 votes
1 answer

Is the (super-)symmetric power of the exterior algebra free?

Let $V$ be a vector space over $k$ of dimension $m$. (I'm only interested in the case $k=\mathbb{Q}$.) Let $R:=\Lambda^*V$ be the exterior algebra. It carries the structure of a supercommutative ring: ...
Nicolas Malebranche's user avatar
6 votes
1 answer

Symmetric algebras of given dimension

Fix an algebraically closed field $F$. Are there only finitely many symmetric algebras with unit over $F$ of a given finite dimension (up to isomorphism)? By symmetric I mean a Frobenius algebra where ...
M. Livesey's user avatar
3 votes
0 answers

Symmetric power of an algebra

Given an algebra $A$ over $k$ with characteristic zero and a positive integer $n$, the subspace of $A^{\otimes n}$ consisting of all tensors invariant under the action of all permutations $\sigma\in\...
grffnsn's user avatar
  • 31
5 votes
1 answer

A nice generating set for the symmetric power of an algebra

I'm looking for a reference for the following fact. Suppose $A$ is a finitely generated associative commutative unital algebra over an algebraically closed field of characteristic zero. Let $S^n(A)$ ...
Alistair Savage's user avatar
8 votes
1 answer

Coderivations of S(V) correspond to linear maps S(V) -> V. Only over characteristic 0?

Definition. Let $k$ be a commutative ring. Let $V$ be a $k$-module. We turn the symmetric algebra $\mathrm{S}\left(V\right)$ of $V$ into a graded Hopf algebra by defining the comultiplication $\Delta ...
darij grinberg's user avatar
2 votes
1 answer

Restricted universal enveloping algebra of Abelian p-Lie algebra

Question: Let $p$ be a prime. Let $k$ be a commutative ring such that $p=0$ in $k$. Let $\mathfrak g$ be an abelian $p$-restricted Lie algebra over $k$. In other words, let $\mathfrak g$ be a $k$-...
darij grinberg's user avatar
13 votes
2 answers

Where is there a treatment of "exponential monads"?

I have a category $C$, which is equipped with a symmetric monoidal structure (tensor product $\otimes$, unit object $1$). My category also has finite coproducts (I'll write them using $\oplus$, and ...
Charles Rezk's user avatar
  • 26.5k
1 vote
1 answer

Are cyclotomic Khovanov-Lauda-Rouquier algebras symmetric?

Recall that for k a field, a finite dimensional k-algebra A is called symmetric if it is isomorphic to its dual as a bimodule of itself. Which is to say, there's a trace map t:A -> k such that t(...
Ben Webster's user avatar
  • 43.3k