9b3b508185e26026.tex
1: \begin{abstract}
2: Actions of semisimple Hopf algebras $H$ over an algebraically
3: closed field of characteristic zero on commutative
4: domains were classified recently by the authors in
5: \cite{EtingofWalton:ssHopf}. The answer turns out to be very
6: simple --  if the action is inner faithful, then $H$ has to be a
7: group algebra. The present article contributes to the
8: non-semisimple case, which is much more complicated. 
9: Namely, we study actions of finite dimensional (not necessarily semisimple) 
10: Hopf algebras on commutative domains, particularly when $H$ is
11: pointed of finite Cartan type. 
12: 
13: The work begins by reducing to the case where $H$ acts inner 
14: faithfully on a field; such a Hopf algebra is referred to as {\it Galois-theoretical}. 
15: We present examples of such Hopf algebras, which include the Taft
16: algebras, $u_q(\mf{sl}_2)$, 
17: and some Drinfeld twists of other small quantum groups. 
18: We also give many examples of finite dimensional Hopf algebras 
19: which are not Galois-theoretical. 
20: Classification results on  finite dimensional pointed 
21: Galois-theoretical Hopf algebras of finite Cartan type will be provided in the sequel, Part II, of this study. 
22: \end{abstract}
23: