חבורת לי

בגאומטריה דיפרנציאלית ובאלגברה, חבורת לי היא יריעה חלקה עם מבנה של חבורה, כך שפעולות החבורה הן פונקציות חלקות ביחס למבנה הדיפרנציאלי. חבורות לי הן אובייקטים גאומטריים ואלגבריים בו-זמנית. חבורות לי קרויות על שם המתמטיקאי הנורווגי סופוס לי והוגדרו על ידיו לראשונה בשנת 1870. לחבורות לי חשיבות רבה באנליזה מתמטית, בפיזיקה ובגאומטריה. חבורת לי היא אובייקט חבורתי בקטגוריה של יריעות חלקות, כלומר - בהינתן יריעה חלקה שהיא גם חבורה G, נאמר ש-G היא חבורת לי אם פעולות הכפל וההופכי של החבורה הן פונקציות חלקות. פרק זה לוקה בחסר. אנא תרמו לוויקיפדיה והשלימו אותו. ייתכן שתמצאו פירוט בדף השיחה. ערך מורחב – אלגברת לי אלגברת לי של חבורת לי מתקבלת על ידי לקיחת המרחב המשיק של איבר היחידה: g = Lie ⁡ ( G ) = T e G {\displaystyle {\mathfrak {g}}=\operatorname {Lie} (G)=T_{e}G} . סוגר הלי מתקבל על ידי דיפרנציאל שני של פעולת ההצמדה G × G → G , ( x , y ) ↦ x y x − 1 y − 1 {\displaystyle G\times G\to G,\quad (x,y)\mapsto xyx^{-1}y^{-1}} לכל חבורת לי מתאימה אלגברת לי יחידה אך ההפך איננו נכון. כך למשל, לאלגברת לי s o n {\displaystyle {\mathfrak {so}}_{n}} מתאימות חבורות לי S O n {\displaystyle \mathrm {SO} _{n}} , O n {\displaystyle \mathrm {O} _{n}} ו- S p i n n {\displaystyle \mathrm {Spin} _{n}} . עם זאת, לכל אלגברת לי מתאימה חבורת לי יחידה שהיא פשוטת קשר. את אלגבראות לי אפשר לאפיין באמצעות מערכות שורשים אותן אפשר לתאר גרפית באמצעות דיאגרמות דינקין. כמו כן, קיימת העתקת אקספוננט (העתקה מעריכית) מאלגברת הלי לחבורת הלי. ניתן להגדיר אותה בשתי דרכים. אם משכנים את חבורת הלי בחבורת המטריצות ההפיכות, אלגברת לי משתכנת באופן טבעי באלגברת המטריצות והעתקת האקספוננט ניתנת על ידי הנוסחה הרגילה e x p ( A ) = ∑ k = 0 ∞ A k k ! {\displaystyle exp(A)=\sum _{k=0}^{\infty }{\frac {A^{k}}{k!}}} לצורך ההגדרה המופשטת של ההעתקה, נזהה את אלגברת הלי עם אלגברת השדות הווקטוריים על G שנשמרים תחת הפעולה משמאל, כלומר v g = d g ( v e ) {\displaystyle v_{g}=dg(v_{e})} , כאשר dg מסמן את הדיפרנציאל של הפעולה של מכפלה משמאל בg. שדה זה מגדיר זרם של דיפאומורפיזמים על היריעה, ו exp(v) מוגדר להיות התמונה של e תחת הזרם הזה בזמן 1. כל חבורת לי קשירה, פשוטת קשר ופשוטה למחצה, היא מכפלה של חבורות לי פשוטות. לכל חבורת לי פשוטה מתאימה אלגברת לי פשוטה המתוארת על ידי דיאגרמת דינקין. באמצעות מיון דיאגרמות דינקין אפשר למיין את כל החבורות לי הפשוטות. את דיאגרמות דינקין של חבורות לי פשוטות אפשר לסווג ל-4 משפחות כלליות A n ,   B n ,   C n ,   D n {\displaystyle A_{n},\ B_{n},\ C_{n},\ D_{n}} ועוד 5 מקרים שלא נופלים באף משפחה: E 6 ,   E 7 ,   E 8 ,   F 4 ,   G 2 {\displaystyle E_{6},\ E_{7},\ E_{8},\ F_{4},\ G_{2}} . להלן דיאגרמות דינקין המתאימות: הדיאגרמות מטיפוס A n {\displaystyle A_{n}} מתארות משפחת החבורות היוניטריות S U ( n + 1 ) {\displaystyle \mathrm {SU} (n+1)} . הדיאגרמות מטיפוס B n {\displaystyle B_{n}} מתארות משפחת החבורות S p i n ( 2 n + 1 ) {\displaystyle \mathrm {Spin} (2n+1)} שהן הכיסוי האוניברסלי של החבורות האורתוגונליות S O ( 2 n + 1 ) {\displaystyle \mathrm {SO} (2n+1)} . הדיאגרמות מטיפוס C n {\displaystyle C_{n}} מתארות משפחת החבורות S p ( 2 n ) {\displaystyle \mathrm {Sp} (2n)} שהיא חבורה סימפלקטית. הדיאגרמות מטיפוס D n {\displaystyle D_{n}} מתארות משפחת החבורות S p i n ( 2 n ) {\displaystyle \mathrm {Spin} (2n)} שהן הכיסוי האוניברסלי של החבורות האורתוגונליות S O ( 2 n ) {\displaystyle \mathrm {SO} (2n)} . החבורות שמתאימות לדיאגרמות E 6 ,   E 7 ,   E 8 ,   F 4 ,   G 2 {\displaystyle E_{6},\ E_{7},\ E_{8},\ F_{4},\ G_{2}} לא נופלת באף משפחה לעיל ונקראות "חבורות לי ספורדיות". דוגמה סטנדרטית לחבורת לי היא חבורת מעגל היחידה המרוכב: T := { z ∈ C ∣ | z | = 1 } {\displaystyle \mathbb {T} :=\{z\in \mathbb {C} \mid |z|=1\}} T {\displaystyle \mathbb {T} } היא חבורה תחת פעולת הכפל. כמו כן, היא יריעה חד־ממדית ופעולות הכפל וההופכי הן חלקות. מסיבות אלו, T {\displaystyle \mathbb {T} } היא חבורת לי. ניתן להוכיח כי T ≅ SO ⁡ ( 2 ) ≅ R / Z {\displaystyle \mathbb {T} \cong \operatorname {SO} (2)\cong \mathbb {R} /\mathbb {Z} } כאשר החבורה האמצעית היא החבורה הליניארית המיוחדת מממד 2 והחבורה הימנית היא חבורת המנה. החבורה הליניארית הכללית GL n ⁡ ( R ) {\displaystyle \operatorname {GL} _{n}(\mathbb {R} )} היא קבוצה פתוחה בתוך מרחב וקטורי ויורשת מבנה של יריעה חלקה. לפי המבנה הגזיר הזה, פעולות כפל מטריצות וההפכי שתיהן חלקות, ועל כן GL n ⁡ ( R ) {\displaystyle \operatorname {GL} _{n}(\mathbb {R} )} היא חבורת לי. אלגברת לי המקושרת לחבורה זו היא g l n {\displaystyle {\mathfrak {gl}}_{n}} הבנויה מכל המטריצות מגודל n × n {\displaystyle n\times n} עם פעולת הקומוטטור. אלגברת לי חבורה אלגברית מיון חבורות לי מדיה וקבצים בנושא חבורת לי בוויקישיתוף דוד ווגן, מצגת על חבורות לי, MIT חבורת לי, באתר MathWorld (באנגלית) חבורות לי, דף שער בספרייה הלאומית ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.