lie-algebras-and-their-representations
Source code for my notes on representations of semisimple Lie algebras and Olivier Mathieu's classification of simple weight modules
preface.tex (3934B)
1 \chapter*{About These Notes} 2 3 \thispagestyle{empty} 4 5 \begin{note} 6 Under construction! 7 \end{note} 8 9 These notes are perhaps better understood as a coming-of-age tale. They were 10 originally part of some notes of mine on representations of Lie groups, written 11 in early 2021 as part of my second scientific internship project with professor 12 Iryna Kashuba of the department of mathematics of the Institute of Mathematics 13 and Statistics of the University of São Paulo (IME-USP), Brazil. These were 14 later adapted and expanded into my undergraduate dissertation, produced in late 15 2022 under the supervision of professor Kashuba. In mid 2023, after the 16 publication of my undergraduate dissertation, the notes were once again 17 expanded with the addition of their final chapter. All in all, I have been 18 working on the prose that follows for the better part of my early higher 19 education. 20 21 As they currently stand, the subject of these notes is a select topic in the 22 representation theory of semisimple Lie algebras: Olivier Mathieu's 23 classification of simple weight modules. Its first four chapters consist of a 24 pretty standard account of the basic theory of semisimple Lie algebras and 25 their finite-dimensional representations, providing a concise exposition of the 26 background required for understanding the classification. On the other hand, 27 the last two chapter of the notes should be understood as a reading guide for 28 Mathieu's original paper \cite{mathieu}, with an emphasis on the intuition 29 behind its major results. 30 31 Throughout these notes we will follow some guiding principles. First, lengthy 32 proofs are favored as opposed to collections of smaller lemmas. This is a 33 deliberate effort to emphasize the relevant results. Secondly, and this is more 34 important, we are primarily interested in the broad strokes of the theory 35 highlighted in the following chapters. This is because the topic of the 36 dissertation at hand is a profoundly technical one. In particular, certain 37 proofs can sometimes feel like an unmotivated pile of technical arguments. 38 Instead, we prefer to focus on the intuition behind the relevant results. 39 40 Hence some results are left unproved. Nevertheless, we include numerous 41 references throughout the text to other materials where the reader can find 42 complete proofs. We will assume basic knowledge of abstract algebra. In 43 particular, we assume that the reader is familiarized with multi-linear 44 algebra, the theory of modules over an algebra and exact sequences. We also 45 assume familiarity with the language of categories, functors and adjunctions. 46 Understanding some examples in the introductory chapter requires basic 47 knowledge of differential and algebraic geometry, as well as rings of 48 differential operators, but these examples are not necessary to the 49 comprehension of the notes as a whole. Additional topics will be covered in the 50 notes as needed. 51 52 \section*{Acknowledgments} 53 54 I would like to thank my family for their tireless love and support. I would 55 specially like to thank professor Kashuba and Eduardo Monteiro Mendonça for 56 their support. Their guidance over the past three years has profoundly shaped 57 my passion for mathematics, and I could not have gotten to where I am now 58 without their help. I suppose I should also thank them for enduring my chaotic 59 digressions on the relationship between representation theory and geometry. 60 61 Finally, I would like to thank my dear friend Lucas Dias Schiezari for somehow 62 convincing me to apply for a bachelors degree in pure mathematics, as well as 63 the moments of joy we shared. May he rest in peace. 64 65 \section*{License} 66 67 This document was typeset and compiled using free software. Its \LaTeX~source 68 code is freely available at 69 \url{https://git.pablopie.xyz/lie-algebras-and-their-representations}, for 70 distribution under the terms of the 71 \href{https://creativecommons.org/licenses/by/4.0/}{Creative Commons 72 Attribution 4.0 license}. 73 74 \newpage 75 76 \thispagestyle{empty} 77