טורוס אלגברי
במתמטיקה ובפרט בגאומטריה אלגברית טורוס הוא חבורה אלגברית שלאחר הרחבת סקלרים לסגור האלגברי, היא חזקה של החבורה הכיפלית . תנאי זה שקול להיות החבורה חבורה אלגברית רדוקטיבית וחילופית (וקשירה). זה גם שקול לכך שכל הצגה אלגברית מתפרקת לסכום ישר של הצגות חד-ממדיות. לפי ההגדרה, טורוס הוא תמיד חבורה אלגברית ליניארית.
חזקה של החבורה הכיפלית נקראת טורוס מתפצל.
מעל שדה מושלם ניתן למיין טורוסים על ידי פעולות של חבורת גלואה האבסולוטית של שדה ההגדרה על סריגים.
לטורסים תפקיד חשוב בתורת המבנה של חבורות רדוקטיביות. טורוס שהוא תת-חבורה של חבורה הרדוקטיבית נקרא טורס של . ניתן לחקור חבורות רדוקטיביות באמצעות הטורוסים המקסימליים (ביחס להכלה) שלהם. אם שדה ההגדרה ממציין 0, אז הטורוס המקסמלי הוא יחיד עד-כדי הצמדה. טורוס מקסימלי נקרא גם תת-חבורת קרטאן.
קשר עם טורוס בטופולוגיה
[עריכת קוד מקור | עריכה]עם שדה ההגדרה הוא אז קיימת צורה של כך שחבורת הנקודות הממשיות של איזומרפית כחבורת לי למעגל היחידה במישור המרוכב (כאשר פעולת החבורה על מעגל היחידה היא כפל של מספרים מרוכבים). בהתאם חבורת הנקודות של הטורוס (האלגברי) איזומורפית לטורוס (הטופולוגי) ה--ממדי.
באופן כללי יותר, מעל , לכל חבורה רדוקטיבית יש צורה יחידה שקבוצת הנקודות שלה היא קופמפקטית. צורה זו נקראת הצורה הקומפקטית של החבורה. חבורת הנקודות של הצורה הקומפקטית של טורוס המוגדר מעל היא טורוס טופולוגי.
ראו גם
[עריכת קוד מקור | עריכה]עץ מיון של חבורות אלגבריות | |
---|---|
|
לקריאה נוספת
[עריכת קוד מקור | עריכה]- Springer, Tonny A. (1998) [1981], Linear Algebraic Groups (2nd ed.), New York: Birkhäuser, ISBN 0-8176-4021-5, MR 1642713
- Borel, Armand (1991) [1969], Linear Algebraic Groups (2nd ed.), New York: Springer-Verlag, ISBN 0-387-97370-2, MR 1102012
- Humphreys, James E. (1975), Linear Algebraic Groups, Springer, ISBN 0-387-90108-6, MR 0396773
- Conrad, Brian (2014), "Reductive group schemes" (PDF), Autour des schémas en groupes, vol. 1, Paris: Société Mathématique de France, pp. 93–444, ISBN 978-2-85629-794-0, MR 3309122
קישורים חיצוניים
[עריכת קוד מקור | עריכה]- De Medts, Tom (2019), Linear Algebraic Groups (course notes) (PDF), Ghent University
הערות שוליים
[עריכת קוד מקור | עריכה]- ^ כאן אנו מתייחסים למוסכמה המרחיבה, לפיה אין דרישה שהחבורה תהיה קשירה. עם זאת אנו דורשים שהחבורה תהיה קומוטטיבית, דרישה זו נובעת מהפרויקיטיביות/שלמות עבור חבורות קשירות, אך לא במקרה הכללי.
- ^ 1 2 3 כאן אנו מתייחסים למוסכמה המרחיבה, לפיה אין דרישה שהחבורה תהיה קשירה.
- ^ למושג "חבורה קלאסית" יש מספר משמעויות מקובלות. כל המשפחות שמופעות בדיאגרמה כאן תחת "חבורה קלאסית" נחשבות לכאלה על פי כל המשמעוית המוקובלות
- ^ כאן אנו מתייחסים למוסכמה המרחיבה, לפיה אין דרישה שהחבורה תהיה קשירה. עם זאת, מעל שדה ממציין 0, חבורה אוניפוטנטית היא תמיד קשירה (ופשוטת קשר), גם אם לא דרשים זאת בהגדרה.
- ^ לעיתים מושג זה נקרא "חבורה פשוטה".
- ^ כאן אנו משתמשים במוסכמה המצמצמת, שדורשת מחבורה פשוטה להיות חסרת מרכז. המושג ללא דרישה זו נקרא כאן "חבורה כמעט פשוטה".