MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

When I was a very little hare, a big grey wolf told me about the following skew polynomial algebra, which I never understood. My question is whether the following construction is a part of some bigger abstract construction and whether it is been written anywhere.

The skewing depends on a sequence of polynomials $f_i(t)\in K[t]$ satisfying $$f_i(t)f_j(t-j)=f_{i+j}(t-j)$$ for all $i$ and $j$. Something like $f_i(t)=(-1)^i \prod_{k=0}^{i-1} (t+k)$ is an example. I denote $f_i^+=f_i$ and $f_i^-=f_i(t-i)$ and $f^\epsilon_i=1$ if $\epsilon=0$ or $i<1$. Now I introduce symbol $[a,b]=-sgn(ab)min(|a|,|b|)$ for all integers. Given any ${\mathbb Z}$-graded associative $K$-algebra, I can define an algebra structure on $R[t]=R\otimes_K K[t]$ by the formula $$ r_a \otimes F(t) \cdot s_b \otimes G(t) = r_as_b \otimes f^{sgn(b)}_{[a,b]} (t-b) F(t-b) G(t) $$ for homogeneous $r_a\in R_a$ and $s_b\in S_b$. I spare you from the case-by-case proof of associativity that I know but one can clearly see some funny braiding as $F(t)$ and $s_b$ commute. This braiding seems to live on the edge of the usual and tropical worlds and I could never understand where it came from.

share|cite|improve this question
If there were a convolution involved, that identity between the $f_i$ would be useful. – Charlie Frohman Apr 14 '10 at 12:19

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.