When is a restricted enveloping algebra a domain? A finitely generated domain? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T06:52:34Z http://mathoverflow.net/feeds/question/64463 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/64463/when-is-a-restricted-enveloping-algebra-a-domain-a-finitely-generated-domain When is a restricted enveloping algebra a domain? A finitely generated domain? John Palmieri 2011-05-10T05:12:43Z 2011-06-26T10:00:53Z <p>Suppose $\mathfrak{g}$ is a restricted Lie algebra over a field of characteristic $p>0$. Are there conditions on $\mathfrak{g}$ and its restriction which ensure that its restricted enveloping algebra is a domain? That it is a finitely generated domain? I really care about the graded case, so what if we assume further that $\mathfrak{g}$ is graded, concentrated in positive even degrees, and finite-dimensional in each degree?</p> <hr> <p>Edit: for example, if the restriction is injective, does that mean that $u(\mathfrak{g})$ is a domain? What if you only know that if $x^{[p]}=0$, then $x=0$ &ndash; is that good enough? In the graded case, if the restriction is also surjective in all sufficiently large degrees, is $u(\mathfrak{g})$ a finitely generated domain?</p> <p>Are there conditions on $\mathfrak{g}$ and its restriction which make $u(\mathfrak{g})$ isomorphic to an ordinary enveloping algebra $U(L)$ of some Lie algebra $L$?</p> http://mathoverflow.net/questions/64463/when-is-a-restricted-enveloping-algebra-a-domain-a-finitely-generated-domain/64489#64489 Answer by Konstantin Ardakov for When is a restricted enveloping algebra a domain? A finitely generated domain? Konstantin Ardakov 2011-05-10T11:02:02Z 2011-05-10T17:43:40Z <p>When $\mathfrak{g}$ is non-zero and finite dimensional over $k$, its restricted enveloping algebra $u(\mathfrak{g})$ is never a domain. To see this, note that $u(\mathfrak{g})$ is itself finite dimensional over $k$ (of dimension $p^{\dim \mathfrak{g}}$ by Jacobson's PBW theorem) so if it's a domain it must be a division ring. But the definition of $u(\mathfrak{g})$ by generators and relations shows that $u(\mathfrak{g})$ always has a proper ideal --- the augmentation ideal $\mathfrak{g} u(\mathfrak{g})$. This is a contradiction.</p> <p>When $\mathfrak{g}$ is infinite dimensional over $k$, it <em>can</em> happen that $u(\mathfrak{g})$ is a finitely generated domain. Here is an example: let $\mathfrak{g}$ be the $k$-linear span of the monomials $X, X^p, X^{p^2}, X^{p^3}, \ldots$ inside the polynomial algebra $k[X]$ and view it as an abelian restricted Lie algebra with the obvious restricted structure $x^{[p]} = x^p$ for all $x \in \mathfrak{g}$ (the latter calculated inside $k[X]$). It turns out that actually $u(\mathfrak{g})$ is isomorphic to $k[X]$ in this case, hence $u(\mathfrak{g})$ is a domain.</p> <p>Note that if $p = 2$ and we view $k[X]$ as a graded ring with $\deg X = 2$, then $\mathfrak{g}$ is a graded restricted Lie algebra concentrated in even positive degrees and finite dimensional in each degree --- i.e. it satisfies your conditions. </p> <p>Starting from an arbitrary group $G$, it is possible to cook up a restricted graded Lie algebra $\mathfrak{g} = \bigoplus_{n=1}^\infty (D_n/D_{n+1}) \otimes_{\mathbb{F}_p}k$. Here $D_1 \geq D_2 \geq D_3 \geq \cdots$ is the so-called <em>modular dimension series</em> of $G$, defined by Lazard's closed formula </p> <p>$D_n = \prod_{ip^j \geq n} \gamma_i(G)^{p^j}$</p> <p>where $\gamma_i(G)$ is the lower central series of $G$ defined by $\gamma_1(G) = G$ and $\gamma_i(G) = [G, \gamma_{i-1}(G)]$ for all $i \geq 2$. The $p$-power operation on $\mathfrak{g}$ is induced by the $p$-power map on the group. Then the theorem of S.A.Jennings asserts that $u(\mathfrak{g})$ is isomorphic to the associated graded ring of the group algebra $k[G]$ with respect to the filtration by powers of the augmentation ideal $I$ of $k[G]$:</p> <p>$u(\mathfrak{g}) \cong \bigoplus_{n=0}^\infty \frac{I^n}{I^{n+1}}$.</p> <p>The example I gave above is obtained by taking $G = \mathbb{Z}$. Similar examples can be obtained by taking $G$ to be a <em>uniform pro-$p$ group</em> of rank $d$; then $\mathfrak{g}$ will be an abelian, restricted graded Lie algebra with $u(\mathfrak{g})$ isomorphic to the polynomial algebra $k[X_1,\ldots, X_d]$.</p> <p>You can find a good account of this material in Chapters 11 and 12 of the book "Analytic pro-$p$ groups" by Dixon, Du Sautoy, Mann and Segal.</p> http://mathoverflow.net/questions/64463/when-is-a-restricted-enveloping-algebra-a-domain-a-finitely-generated-domain/68846#68846 Answer by Salvatore Siciliano for When is a restricted enveloping algebra a domain? A finitely generated domain? Salvatore Siciliano 2011-06-26T10:00:53Z 2011-06-26T10:00:53Z <p>Let $g$ be a restricted Lie algebra over a field of positive characteristic $p$. It is not difficult to see that a necessary condition such that the restricted enveloping algebra $u(g)$ of $g$ is a domain is that $g$ has no nonzero $p$-algebraic elements. (An element $x \in g$ is said to be $p$-algebraic if the restricted subalgebra generated by $x$ is finite-dimensional.) The converse of this property is a well-known open question posed by V. Petrogradsky (see "DNIESTER NOTEBOOK: Unsolved Problems in the Theory of Rings and Modules", Problem 3.59). Apparently, this is the Lie theoretical analog of the Kaplansky Problem about zero-divisors of group algebras of torsion-free groups. </p>