1: \begin{abstract}
2: Let $\zeta$ be a complex $\ell$th root of unity for an odd integer
3: $\ell>1$. For any complex simple Lie algebra $\mathfrak g$, let
4: $u_\zeta=u_\zeta({\mathfrak g})$ be the associated ``small" quantum
5: enveloping algebra. This algebra is a finite dimensional Hopf
6: algebra which can be realized as a subalgebra of the Lusztig
7: (divided power) quantum enveloping algebra $U_\zeta$ and as a
8: quotient algebra of the De Concini--Kac quantum enveloping algebra
9: ${\mathcal U}_\zeta$. It plays an important role in the
10: representation theories of both $U_\zeta$ and ${\mathcal U}_\zeta$
11: in a way analogous to that played by the restricted enveloping
12: algebra $u$ of a reductive group $G$ in positive characteristic $p$
13: with respect to its distribution and enveloping algebras. In
14: general,
15: little is known about the representation theory of quantum groups
16: (resp., algebraic groups) when $l$ (resp., $p$) is smaller than the
17: Coxeter number $h$ of the underlying root system. For example,
18: Lusztig's conjecture concerning the characters of the
19: rational irreducible $G$-modules stipulates that
20: $p \geq h$. The main result in this paper provides a
21: surprisingly uniform answer for the cohomology algebra
22: $\opH^\bullet(u_\zeta,{\mathbb C})$ of the small quantum group.
23: When $\ell>h$, this cohomology algebra has been calculated by
24: Ginzburg and Kumar \cite{GK}. Our result requires powerful tools
25: from complex geometry and a detailed knowledge of the geometry of
26: the nullcone of $\mathfrak g$. In this way, the methods point out
27: difficulties present in obtaining similar results for the restricted
28: enveloping algebra $u$ in small characteristics, though they do
29: provide some clarification of known results there also. Finally, we
30: establish that if $M$ is a finite dimensional $u_\zeta$-module, then
31: $\opH^\bullet(u_\zeta,M)$ is a finitely generated
32: $\opH^\bullet(u_\zeta,\mathbb C)$-module, and we obtain new results
33: on the theory of support varieties for $u_\zeta$.
34: \end{abstract}
35: