1: \documentclass{report}
2: \renewcommand{\baselinestretch}{1.6}
3: \oddsidemargin=0.5in
4: \topmargin=0in
5: \textwidth=6in
6: \textheight=8.3in
7: \parindent=0in
8:
9: \usepackage{amsfonts,amsmath,eufrak}
10:
11: %\font\sc=cmcsc10
12: %\font\teneufm=eufm10
13: %\textfont 8=\teneufm \scriptfont 8=\teneufm
14: %\def\frak {\fam8 }
15: \def\frak{\EuFrak}
16: \def\nid{\noindent}
17: \def\Hom{\mathop{\rm Hom}\nolimits}
18: \def\Der{\mathop{\rm Der}\nolimits}
19: \def\End{\mathop{\rm End}\nolimits}
20: \def\Ker{\mathop{\rm Ker}\nolimits}
21: \def\Ext{\mathop{\rm Ext}\nolimits}
22: \def\Deg{\mathop{\rm Deg}\nolimits}
23: \def\Tor{\mathop{\rm Tor}\nolimits}
24: \def\Gr{\mathop{\rm Gr}\nolimits}
25: \def\sgn{\mathop{\rm sgn}\nolimits}
26: \def\ad{\mathop{\rm ad}\nolimits}
27: \def\ds{\displaystyle}
28: \def\C{\mathcal {C}}
29: \def\D{\mathcal {D}}
30: \def\qed{{\hfill\vrule height 5pt width 5pt depth 0pt}}
31: \def\phi{\varphi}
32: \def\Im{\mathop {\rm Im}}
33: \def\induced{\mathop{\rm Ind}\nolimits}
34: \def\coinduced{\mathop{\rm Coinduced}\nolimits}
35: \newcommand{\bino}[2]{\ensuremath{\left ({#1}\atop{#2}\right )}}
36: \newcommand{\leftvec}[1]{\ensuremath{\stackrel{\leftarrow}{#1}}}
37: \newtheorem{lemma}{Lemma}[chapter]
38: \newtheorem{theorem}[lemma]{Theorem}
39: \newtheorem{definition}[lemma]{Definition}
40: \newtheorem{corollary}[lemma]{Corollary}
41: \begin{document}
42: \pagenumbering{roman}
43: \begin{center}
44: {\Large \bf Cohomology of Restricted Lie Algebras}
45: \vskip 0.2in
46: \centerline{By}
47: \vskip 0.1in
48: \centerline{\large TYLER JONAH EVANS}
49: \centerline{\large B.A. (Sonoma State University) 1994}
50: \centerline{\large M.S. (University of Oregon) 1996}
51: \vskip 0.3in
52: \centerline{\large DISSERTATION}
53: \vskip 0.1in
54: \centerline{\large Submitted in partial satisfaction of the requirements for the
55: degree of}
56: \vskip 0.1in
57: \centerline{\large DOCTOR OF PHILOSOPHY}
58: \vskip 0.1in
59: \centerline{\large in}
60: \vskip 0.1in
61: \centerline{\large MATHEMATICS}
62: \vskip 0.2in
63: \centerline{\large in the}
64: \vskip 0.1in
65: \centerline{\large OFFICE OF GRADUATE STUDIES}
66: \vskip 0.1in
67: \centerline{\large of the}
68: \vskip 0.1in
69: \centerline{\large UNIVERSITY OF CALIFORNIA}
70: \vskip 0.1in
71: \centerline{\large DAVIS}
72: \end{center}
73: \vskip 0.1in
74: {\large Approved:}
75: \begin{center}
76: \centerline{\underbar{\hskip 2.5in}}
77: \vskip 0.15in
78: \centerline{\underbar{\hskip 2.5in}}
79: \vskip 0.15in
80: \centerline{\underbar{\hskip 2.5in}}
81: \vskip 0.2in
82: \centerline{\large Committee in Charge}
83: \vskip 0.2in
84: \centerline{\large 2000}
85: \end{center}
86: \newpage
87: \large
88: \tableofcontents
89:
90: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
91: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
92:
93:
94: \newpage
95: \large
96: {\Large \bf ACKNOWLEDGEMENTS} \\
97:
98:
99: I would like to thank my advisor and friend Professor Dmitry B. Fuchs, without whom this dissertation could not have been possible. His seemingly infinite patience, especially during this last year, was invaluable in completing this work. I am forever indebted to him for the hours of stimulating conversations in which he guided this research. His passion for, and insight into, the beauty of mathematics is truly inspiring, and I am honored to have had the opportunity to learn mathematics from him.
100:
101:
102: Many of the professors at UC Davis contributed to my education, and I am grateful to each of them. I would like to especially thank
103: Professor Albert Schwarz for the outstanding lecture courses and illuminating
104: conversations that I enjoyed during my study at UC Davis. I would also like to thank Professor Motohico Mulase for his kind attention, both personal and mathematical, during my graduate study at UC Davis.
105:
106:
107: I would like to thank the entire staff in the Department of Mathematics for their support over the past four years, especially Mrs.\ Kathy La Giusa whose assistance during my years of graduate study was simply indispensable.
108:
109: I would like to express my appreciation to Dr.\ Michael Penkava for many useful conversations and suggestions, and I am grateful to Mr.\ Peter Littig for reading and (gently) correcting the manuscript.
110:
111: I am grateful to all of my friends and colleagues in Davis. Their unswerving support always encouraged me to hold onto my dreams.
112:
113: I would like to thank my parents and my brother, Mr.\ M. Bryan Evans, whose support over the years has enabled me to achieve this goal. I am truly grateful for their love and support. Finally, I want to thank my life long friend Ms.\ Holly Evans; what a long strange trip it's been!
114:
115: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
116:
117:
118: \newpage
119: \begin{center}
120: \underline{\bf \Large Abstract}
121: \end{center}
122:
123: \medskip
124:
125: \large
126: \noindent
127: In this dissertation, we investigate the cohomology theory of restricted Lie algebras. Motivations for the definition of a restricted Lie algebra are given and the theory of ordinary Lie algebra cohomology is briefly reviewed, including a discussion on algebraic interpretations of the low dimensional cohomology spaces of ordinary Lie algebras. The general Cartan-Eilenberg construction of the standard cochain complex is given for ordinary Lie algebras. The representation theory of restricted Lie algebras is reviewed including a description of the restricted universal enveloping algebra $U_{\rm res.}(\frak g)$ of a restricted Lie algebra. In the case of an abelian restricted Lie algebra, we construct an augmented complex of free $U_{\rm res.}(\frak g)$ modules that is exact in dimensions less than $p$ and hence define the cohomology theory of these algebras in dimension less than $p$. Explicit formulas for the dimensions of the cochain spaces are given in the abelian case. In particular we show that the dimension of $C^k(\frak g)$ is the same as that of the symmetric algebra $S^k(\frak g)$. In the non-abelian case, we explicitly construct a cochain complex $\{C^k(\frak g;M),\delta^k\}$ for any coefficient module $M$ for $k\le 3$ and give explicit formulas for the coboundary operators in these dimensions. It is shown that classical and restricted cohomology do not differ at all in dimension zero and that the restricted cohomology space $H^1(\frak g;M)$ is canonically injected into the classical cohomology $H^1_{\rm cl.}(\frak g;M)$. A canonical map $H^2(\frak g;M)\to H^2_{\rm cl.}(\frak g;M)$ is constructed and the kernel is investigated for specific coefficient modules. The corresponding notions of the usual algebraic interpretations of ordinary low dimensional cohomology are defined and we show that our restricted cohomology spaces encode this information as well. The dissertation concludes with some remarks on multiplicative structures in our complex as well as directions for further research.
128:
129:
130:
131:
132: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
133:
134:
135: \newpage
136: \pagestyle{myheadings}
137: \pagenumbering{arabic}
138: \markright{ \rm \normalsize CHAPTER 1. \hspace{0.5cm}
139: COHOMOLOGY OF RESTRICTED LIE ALGEBRAS }
140: \large
141: \chapter{Introduction}
142: \thispagestyle{myheadings}
143: \input{intro.tex}
144: \newpage
145: \pagestyle{myheadings}
146: \chapter{Background}
147: \thispagestyle{myheadings}
148: \markright{ \rm \normalsize CHAPTER 2. \hspace{0.5cm}
149: COHOMOLOGY OF RESTRICTED LIE ALGEBRAS }
150: \input{2.tex}
151:
152: \newpage
153: \pagestyle{myheadings}
154: \markright{ \rm \normalsize CHAPTER 3. \hspace{0.5cm}
155: COHOMOLOGY OF RESTRICTED LIE ALGEBRAS}
156: \chapter{Restricted Lie Algebra Cohomology}
157: \thispagestyle{myheadings}
158: \input{3.tex}
159:
160:
161:
162: \newpage
163: \pagestyle{myheadings}
164: \markright{ \rm \normalsize CHAPTER 4. \hspace{0.5cm}
165: COHOMOLOGY OF RESTRICTED LIE ALGEBRAS}
166: \chapter{Conclusions}
167: \thispagestyle{myheadings}
168: \input{4.tex}
169:
170:
171:
172:
173: %%%%%%%%%%%%%%%%% BIBLIOGRAPHY %%%%%%%%%%%%%%%%%%%%%%%%%%%
174:
175: \newpage
176: \pagestyle{myheadings}
177: \markright{ \rm \normalsize BIBLIOGRAPHY. \hspace{0.5cm}
178: COHOMOLOGY OF RESTRICTED LIE ALGEBRAS}
179: \begin{thebibliography}{99}
180: \thispagestyle{myheadings}
181: \addcontentsline{toc}{chapter}{\bf Bibliography}
182: \bibitem{CE} H. ~Cartan and S. ~Eilenberg, {\it Homological Algebra}, Princeton University Press, Princeton (1956).
183: \bibitem{ChE} C. ~Chevalley and S. ~Eilenberg, {\it Cohomology Theory of Lie Groups and Lie Algebras}, ``Transactions of the American Mathematical Society,'' vol. 63 (1948), pp. 85-124.
184: \bibitem{F} D.B. ~Fuchs, {\it Cohomology of Infinite Dimensional Lie Algebras},Consultants Bureau, New York (1986).
185: \bibitem{FG1} I.M. ~Gelfand and D.B. ~Fuchs, {\it Cohomologies of the Lie Algebra of Tangential Vector Fields of a Smooth Manifold}, ``Functional Analysis Applications,'' vol. 3 (1969), pp. 194-210.
186: \bibitem{FG2} I.M. ~Gelfand and D.B. ~Fuchs, {\it Cohomologies of the Lie Algebra of Formal Vector Fields}, ``Math. USSR,'' Izv. 4, (1970), pp. 327-342.
187: \bibitem{H2} G. ~Hochschild, {\it On the Cohomology Groups of an Associative Algebra}, ``Annals of Mathematics,'' vol. 46 (1945), pp. 58-67.
188: \bibitem{H} G. ~Hochschild, {\it Cohomology of Restricted Lie Algebras}, ``American Journal of Mathematics,'' vol. 76 (1954), pp. 591-603.
189: \bibitem{HS} G. ~Hochschild and J-P. ~Serre, {\it Cohomology of Lie Algebras}, ``Annals of Mathematics,'' vol. 57 (1953), pp. 591-603.
190: \bibitem{J} N. ~Jacobson, {\it Restricted Lie Algebras of Characteristic $p$}, ``Transactions of the American Mathematical Society,'' vol. 50 (1941), pp. 15-25.
191: \bibitem{Jb} N. ~Jacobson, {\it Lie Algebras}, John Wiley, New York, (1962).
192: \bibitem{L} S. ~Lang, {\it Algebra}, Addison-Wesley, New York, (1993).
193: \bibitem{MaC} S. ~Mac Lane, {\it Homology}, Springer-Verlag, Berlin (1963).
194: \bibitem{P} M. Penkava, {\it $L_\infty$ Algebras and Their Cohomology}, Preprint (1995).
195: \bibitem{W} C.A. ~Weibel, {\it An Introduction to Homological Algebra}, Cambridge University Press, Cambridge (1994).
196: \end{thebibliography}
197:
198:
199: \end{document}
200:
201:
202:
203:
204:
205:
206:
207:
208:
209:
210:
211:
212:
213:
214:
215:
216:
217:
218:
219:
220:
221:
222: % LocalWords: Cohomology JONAH Dmitry Schwarz Motohico Mulase Giusa Littig
223: % LocalWords: cohomology Cartan Eilenberg cochain abelian coboundary
224: