חבורה אלגברית ליניארית

במתמטיקה, ובפרט בתורת החבורות האלגבריות, חבורה אלגברית ליניארית היא תת-חבורה אלגברית סגורה של החבורה הליניארית הכללית<math>GL_n</math>. חלק גדול מתורת החבורות האלגבריות מוקדש לעיסוק בחבורות אלגבריות ליניאריות. בפרט רוב תורת ההצגות של חבורות אלגבריות מתמקדת בחבורות אלגבריות ליניאריות. דוגמאות רבות של יריעות אלגבריות מבוססות על חבורות אלגבריות ליניאריות. כמו כן בניות רבות של חבורות, חבורות טופולוגיות וחבורות לי מבוססות על חבורות אלגבריות ליניאריות.

==הגדרות==
===הגדרה אלמנטרית===
מעל שדה סגור אלגברית, ניתן להגדיר חבורה אלגברית ליניארית באופן יחסית אלמנטרי (לא דורש את מושג היריעה האלגברית והחבורה האלגברית באופן כללי) כדלקמן:
יהי <math>k</math> שדה סגור אלגברית למשל שדה המספרים המרוכבים. תת-קבוצה <math>G</math> של מרחב המטריצות <math>n\times n</math> מעל <math>k</math> נקראת חבורה אלגברית ליניארית אם מתקיים
* היא מכילה את מטריצת היחידה
* היא חבורה ביחס לכפל מטריצות
* קיימים פולינומים <math>p_1,\dots,p_k</math> ב-<math>n^2</math> משתנים, כך שאם אנו חושבים על המשתנים שלהם בתור מקדמי מטריצה <math>n\times n</math> אז אוסף הפתרונות של מערכת המשוואות <math>p_i(a_{11},\dots, a_{nn})=0</math> שמהווים מטריצות הפיכות הוא <math>G</math>.
החיסרון של הגדרה זו הוא שהיא דורשת שיכון ספציפי של החבורה במרחב המטריצות. כמו כן הגדרה זו מזהה בין החבורה האלגברית (שהיא למעשה יריעה אלגברית) לאוסף הנקודות שלה (שהוא קבוצה). לכן היא תקפה רק לשדה סגור אלגברית.

===הגדרה אבסטרקטית===
ניתן להגדיר את המושג חבורה אלגברית ליניארית באופן אבסטרקטי כמקרה פרטי של חבורה אלגברית.
יהי <math>k</math> שדה. אוסף המטריצות ההפיכות <math>n \times n</math> מעל <math>k</math> הוא תת-קבוצה של מרחב המטריצות <math>n \times n</math> המהווה מרחב ליניארי מממד <math>n^2</math>. תת-קבוצה זאת היא קבוצה פתוחה בטופולוגיית זריצקי. מכאן שיש על קבוצה זו מבנה טבעי של יריעה אלגברית. כפל מטריצות מגדיר מבנה של חבורה אלגברית על יריעה זאת. חבורה זאת נקראת
החבורה הליניארית הכללית <math>GL_n</math> מעל השדה <math>k</math>. חבורה אלגברית ליניארית היא חבורה אלגברית שאיזומורפית לתת חבורה סגורה של <math>GL_n</math>, ז"א תת-יריעה סגורה של <math>GL_n</math> שמהווה תת-חבורה.

===חבורות אלגבריות אפיניות===
חבורה אלגברית אפינית היא חבורה אלגברית שבתור יריעה אלגברית מהווה יריעה אלגברית אפינית. קל לראות שכל חבורה אלגברית ליניארית היא אפינית. למעשה ההפך גם נכון:
משפט: אם <math>G</math> חבורה אלגברית אז היא ליניארית אמ"ם היא אפינית.
המשפט מוכח על ידי התבוננות בפעולת החבורה על חוג הפונקציות הרגולריות על עצמה. משום שהחוג נוצר סופית, והפעולה סופית מקומית, קיימת לחוג תת-הצגה ממימד סופי שיוצרת אותו. ההצגה הזאת מהימנה, כלומר מגדירה שיכון של החבורה לתוך חבורת האיזומורפיזמים הליניאריים של המרחב, מה שהופך אותה לחבורה ליניארית.

לטענה זאת יש הכללות עבור סכמות חבורה אולם המצב שם מסובך יותר.

==תכונות==
חבורות אלגבריות ליניאריות סגורות לגבי תת-מנות והרחבות. זאת אומרת:
# אם <math>G</math> חבורה אלגברית ליניארית ו-<math>H</math> תת-חבורה (סגורה זריצקי) שלה אז גם <math>H</math> חבורה אלגברית ליניארית.
# אם <math>G</math> חבורה אלגברית ליניארית ו-<math>N</math> תת-חבורה נורמלית (סגורה זריצקי) שלה אז גם <math>G/N</math> חבורה אלגברית ליניארית.
# אם <math>G</math> חבורה אלגברית ו-<math>N</math> תת-חבורה נורמלית (סגורה זריצקי) שלה כך ש- <math>N</math> ו- <math>G/N</math> חבורות אלגבריות ליניאריות, אז גם <math>G</math> חבורה אלגברית ליניארית.

==סוגים של חבורות אלגבריות ליניאריות==
===חבורות סופיות===

כל חבורה סופית היא חבורה אלגברית, ביחס למבנה הדיסקרטי של יריעה אלגברית על קבוצה סופית. קל לראות שכל חבורה סופית היא גם חבורה ליניארית. מעל שדה סגור אלגברית אין הבדל בין חבורה סופית וחבורה אלגברית סופית. מעל שדה כללי יש הבדל אבל הוא מינורי (לחבורה המוגדרת מעל שדה כללי יש מבנה נוסף; אם השדה מושלם מבנה זה מתבטא בפעולת חבורת גלואה האבסולוטית של השדה). לכן המחקר של חבורות אלגבריות כמעט ולא עוסק בחבורות סופיות.

===חבורות קשירות===

חבורה אלגברית נקראת קשירה אם היא קשירה כיריעה אלגברית (זאת אומרת קשירה על פי הטופולוגיה של זריצקי). עבור כל חבורה אלגברית רכיב הקשירות של היחידה הוא תת-חבורה נורמלית (סגורה) וקשירה. מכאן שכל חבורה אלגבית היא הרחבה של חבורה סופית וחבורה קשירה. לכן עיקר העיסוק בחבורות אלגברית בכלל וחבורת אלגבריות ליניאריות בפרט מתמקד בחבורות קשירות.

===חבורות פשוטות קשר===
חבורה אלגברית קשירה נקראת פשוטת קשר אם היא לא מנה של חבורה אלגברית בתת-חבורה לא טריוויאלית. זה שקול לכך שהיא פשוטת קשר כיריעה אלגברית (זאת אומרת שהיא לא תמונה של
העתקת אטל נאותה שאיננה איזומורפיזם). אם שדה ההגדרה הוא אז זה גם שקול לכך שקבוצת הנקודות של החבורה היא פשוטת קשר בטופולגיה האנליטית (המושרית מ-)

כל חבורה אלגברית פשוטת קשר היא ליניארית.

===חבורות אוניפוטנטיות===

משפחה חשובה של חבורות אלגבריות ליניאריות היא חבורות אוניפוטנטיות. דוגמה לחבורה אוניפוטנטית היא החבורה <math>U_n</math> של מטריצות משולשיות עליונות <math>n\times n</math> שכל איברי האלכסון שלהן שווים ל-1. חבורה נקראת אוניפוטנטית אם היא איזומורפית לתת חבורה אלגברית סגורה של <math>U_n</math>.

חבורות אוניפוטנטיות סגורות לגבי תת-מנות והרחבות. אם המציין של שדה ההגדרה הוא -0, אז כל חבורה אוניפוטנטית היא קשירה ופשוטת קשר.
החבורה <math>U_1</math> איזומורפית לחבורה החיבורית של שדה ההגדרה <math>\mathbb G_a</math>. אפשר לראות בדוגמה זו את הדוגמה הפשוטה ביותר לחבורה אוניפוטנטית. במובן מסוים כל החבורות האוניפוטנטיות מורכבות ממנה. לכל חבורה אוניפוטנטית יש מרכז לא טריוויאלי. אם מרכז זה אינו סופי אז הוא מכיל תת-חבורה איזומרפית ל-<math>\mathbb G_a</math>. אם המציין של שדה ההגדרה הוא -0, אז מרכז זה הוא חזקה של החבורה <math>\mathbb G_a</math>. מכאן ניתן להסיק, שאם שדה ההגדרה סגור אלגברית וממציין <math>0</math>, אז עבור חבורה אלגברית <math>G</math> הדברים הבאים שקולים:
* <math>G</math> אוניפוטנטית.
* ל - <math>G</math> סדרה מרכזית שגורמיה הם <math>\mathbb G_a</math>.
* ל - <math>G</math> סדרה נורמלית שגורמיה הם <math>\mathbb G_a</math>.
אם מציין שדה ההגדרה הוא מספר <math>p\neq 0</math> אז חבורת רכיבי הקשירות של חבורה אוניפוטנטית היא חבורת p

===טורוסים===

חבורה אלגברית נקראת טורוס אם, לאחר הרחבת סקלרים לסגור האלגברי, היא חזקה של החבורה הכיפלית <math>\mathbb{G}_m</math>. תנאי זה שקול להיות החבורה חבורה אלגברית רדוקטיבית וחילופית (וקשירה). זה גם שקול לכך שכל הצגה אלגברית מתפרקת לסכום ישר של הצגות חד-ממדיות.

חזקה של החבורה הכיפלית נקראת טורוס מתפצל.

===חבורות קמוטטיבייות===
חבורה אלגברית נקראת קומוטטיבית אם היא קומוטטיבית בתור חבורה רגילה. כל חבורה אלגברית קמוטטיבית קשירה היא מכפלה של טורוס וחבורה אוניפוטנטית קמוטטיבית. אם מציין שדה ההגדרה הוא 0 אז חבורה אוניפוטנטית קמוטטיבית היא חזקה של החבורה <math>\mathbb G_a</math>.

===חבורות פתירות===

בדומה לחבורות רגילות, חבורה אלגברית ליניארית נקראת פתירה אם יש לה סדרה נורמלית המורכבת מתת-חבורות סגורות זריצקי שגורמיה הם חבורות קמוטטיביות. באופן שקול, <math>G</math> פתירה אם הסדרה המוגדרת על ידי:
* <math>G_0=G</math>
* <math>G_n=G_{n-1}'</math>
כאשר <math>G'</math> מסמנת את החבורה הנגזרת (האלגברית) של <math>G'</math>, זאת אומרת סגור הזריצקי של החבורה הנוצרת מבטויים מהסוג <math>ghg^{-1}h^{-1}</math>
מסתיימת בחבורה הטריוויאלית. בדרך כלל, בהקשר של חבורות אלגבריות, הביטוי "חבורה פתירה" כולל גם דרישה שהחבורה תהיה קשירה.

מעל שדה סגור אלגברית, חבורה ליניארית היא פתירה אםם היא תת-חבורה של חבורת המטריצות המשולשיות עליונות.

חבורה קשירה היא פתירה אםם היא הרחבה של חבורה אוניפוטנטית וטורוס (כשהחבורה האוניפוטנטית היא תת-חבורה נורמלית של החבורה הפתירה). במקרה שמציין שדה ההגדרה הוא 0 אז הרחבה זו היא מכפלה חצי ישרה.

===חבורות רדוקטיביות===

חבורות אלגבריות רדוקטיביות הן חבורות אלגבריות ליניאריות שאין להן תת-חבורות נורמליות אוניפוטנטיות.
מעל שדה ממציין 0 חבורות אלגבריות הן רדוקטיביות אםם כל הצגה אלגברית שלהן פריקה לגמרי.
כל חבורה רדוקטיבית איזוגנית למכפלה של חבורה פשוטה למחצה וטורוס. בהקשרים רבים, הביטוי "חבורה רדוקטיבית" כולל גם דרישה שהחבורה תהיה קשירה.

כל חבורה אלגברית ליניארית היא הרחבה של חבורה רדוקטיבית וחבורה אוניפוטנטית. אם מציין שדה ההגדרה הוא 0 אז ההרחב הזאת היא מכפלה חצי ישרה.

===חבורות פשוטות למחצה===

חבורות אלגבריות פשוטות למחצה הן חבורות אלגבריות ליניאריות שאין להן תת-חבורות נורמליות פתירות (לא טריוויאליות).
כל חבורה פשוטה למחצה היא צורה של חבורה שאיזוגנית למכפלה של חבורות אלגבריות פשוטות. בהקשרים רבים, הביטוי "חבורה פשוטה למחצה" כולל גם דרישה שהחבורה תהיה קשירה.

===חבורות פשוטות===
חבורה פשוטה למחצה נקראת כמעט פשוטה אם אין לה תתי-חבורות נורמליות נאותות אין-סופיות. היא נקראת פשוטה אם אין לה תתי-חבורות נורמליות נאותות לא טרוויאליות.

חבורות כמעט פשוטות הן קשירות. חבורת המנה <math>Ad(G)</math> של חבורה כמעט פשוטה <math>G</math> על פי המרכז שלה היא פשוטה. במקרה כזה אומרים ש-<math>G</math> היא כיסוי של <math>Ad(G)</math> . לכל חבורה פשוטה יש מספר סופי של כיסויים. בדיוק אחד מהם הוא פשוט קשר (זאת אומרת שהוא לא מנה של אף כיסוי אחר).

כך שיש בייקציה בין חבורות פשוטות ובין חבורת כמעט פשוטות פשוטות קשר. מעל שדה סגור אלגברית החבורת הפשוטות ממוינות על ידי דיאגרמות דינקין.

כל חבורה (קשירה) פשוטה למחצה היא מנה, על פי תת-חבורה מרכזית סופית, של מכפלה של חבורות כמעט פשוטות פשוטות קשר.

לעיתים חבורות כמעט פשוטות מכונות "חבורות פשוטות" לפי טרמנולגיה זו מכנים חבורות פשוטות כ"חבורות פשוטות חסרות מרכז".

===מבנה כללי===
לסיכום, ניתן לתאר את המבנה הכללי של חבורה אלגברית ליניארית כך:
* כל חבורה אלגברית ליניארית היא הרחבה של חבורה קשירה וחבורה סופית.
:* כל חבורה אלגברית ליניארית קשירה היא הרחבה (במציין 0, מכפלה חצי ישרה) של חבורה רדוקטיבית (קשירה) וחבורה אוניפוטנטית (קשירה).
::* מעל שדה סגור אלגברית ממציין 0, כל חבורה אוניפוטנטית היא הרחבה של מספר עותקים של <math>\mathbb G_a</math>
:::* מעל שדה ממציין, כל חבורה אוניפוטנטית (קשירה) היא הרחבה של צורות של חזקות של <math>\mathbb G_a</math>
:::* במציין <math>p</math> יש להוסיף לאלו גם את החבורה הציקלית על <math>p</math> איברים.
::* כל חבורה רדוקטיבית (קשירה) היא מנה של מכפלה של טורוס ושל חבורה פשוטה למחצה פשוטת קשר על פי תת-חבורה סופית מרכזית.
:::* טורוס הוא צורה של חזקה של <math>\mathbb G_m</math>
:::* חבורה פשוטה למחצה פשוטת קשר היא מכפלה של חבורות פשוטות קשר כמעט פשוטות.
::::*מעל שדה סגור אלגברית כל חבורה פשוטת קשר כמעט פשוטה היא חבורה מתפצלת.
:::::* חבורות חבורות מתפצלות פשוטות קשר כמעט פשוטות ממוינות על ידי דיאגרמות דינקין.
::::* חבורות פשוטות קשר כמעט פשוטות הן צורות של חזקות של חבורות מתפצלות פשוטות קשר כמעט פשוטות.

מכאן אפשר להסיק את המסקנה הבאה: כל חבורה אלגברית ליניארית היא הרחבה של החבורות הבאות:
* חבורות סופיות
* <math>\mathbb G_a</math>
* <math>\mathbb G_m</math>
* חבורות פשוטות. חבורה פשוטה היא צורה של חזקה של אחת החבורות הבאות:
:* <math>PSL_n</math>
:* <math>PSO_n</math> המתפצלת
:* <math>PSp_{2n}</math>
:* <math>E_6</math> (הפשוטה)
:* <math>E_7</math> (הפשוטה)
:* <math>E_8</math>
:* <math>F_4</math>
:* <math>G_2</math>

==ראו גם==
*פירוק ז'ורדן-שבלה
==לקריאה נוספת==
===חבורות אלגבריות ליניאריות===
*
*
*
===נושאים קשורים===
*
*
*

==קישורים חיצוניים==
*

==הערות שוליים==

קטגוריה:חבורות לי