Skip to main content
6 of 8
Rollback to Revision 4
Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741

hyperalgebras (positive characteristic)

Commutator in hyperalgebras....

If I need to calculate some bracket like $[x_\beta^{(n)}, x_\alpha^{(m)}]$, how should I proceed? Can I proceed doing the calculation to $[x_\beta^{n}, x_\alpha^{m}]$ , then I multiply by $\frac{1}{n!m!}$ and try to write the result in a divided power notation???

Thanks.

I meant: Let $g$ be a finite-dimensional simple Lie algebra, $\{\alpha_i,...,\alpha_n\}$ the set of positive roots. Take $U_F(g\otimes C[t,t^{-1}])$ the hyperalgebra associated to $g\otimes C[t,t^{-1}]$ over some field of positive characteristic. It is well-known that there exist an integral form for $U_F(g)$ and it is generated by $(x_{\alpha,r}^-)^{(k)}$ where $k>0$, $r\in Z$ and $\alpha$ is a positive root. So, how to calculate $[ (x_{\alpha,r}^-)^{(k)}, (x_{\beta,s}^-)^{(m)}]$ ???? Is it clear now?

Binai
  • 829
  • 6
  • 16