חבורת גרותנדיק

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

החבורה נקראת על שמו של אלכסנדר גרותנדיק.

חבורת גרותנדיק של מונואיד אבלי[עריכת קוד מקור | עריכה]

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

חבורת גרותדניק של חוגים נותריים[עריכת קוד מקור | עריכה]

יהי R חוג נותרי. נתבונן באוסף מחלקות האיזומורפיזם של המודולים הנוצרים סופית מעליו ונתאים לכל אחת מהן סמל, כלומר למחלקה של המודול M נתאים את הסמל [M]. נגדיר את C בתור החבורה האבלית החופשית הנוצרת על ידי הסמלים הללו, ואת D בתור תת-החבורה הנוצרת על ידי כל הסמלים מן הצורה [N]-[M]+[K] עבור מודולים מסדרה מדויקת קצרה 0\rightarrow N\rightarrow M \rightarrow K\rightarrow 0. המנה C/D היא חבורת גרותנדיק, המסומנת בלשון תורת K בתור K_0.

הערות[עריכת קוד מקור | עריכה]

  • ניתן לחשוב על חבורת גרותנדיק בתור חבורת המודולים הנוצרים סופית מעל R מודולו סדרות מדויקות קצרות, או באופן שקול בתור חבורת המודולים הפרויקטיביים מעל R עם פעולת הסכום הישר - משום שסדרות מדויקות קצרות של מודולים פרויקטיביים מתפצלות.
  • הפעולה R \mapsto K_0(R) מהווה פונקטור קונטרווריאנטי מקטגורית החוגים הנותריים, המצוידת במורפיזמים סופיים - כלומר, הומומורפיזמים של חוגים \phi:R\rightarrow S עבורם S מודול נוצר סופית מעל \phi(R) - לקטגורית החבורות האבליות, באופן שמעתיק מודול מעל S לעצמו כמודול מעל R (באמצעות צמצום הסקלרים לתמונה).
  • אם R שדה, או תחום ראשי אז K_0(R) \cong \mathbb Z, ונוצרת על ידי [R]. ניתן לראות זאת על ידי שמפרקים כל מודול נוצר סופית מעל תחום ראשי לסכום ישר של מודול חופשי עם מודול מפותל, ומבחינים כי מודולים (נוצרים סופית) מפותלים מעל חוג ראשי שקולים לאפס בחבורת גרותנדיק.
  • K_0(R) נוצרת על ידי המודולים הציקליים שאיזומורפיים למנות הראשוניות של R. זאת מפני שלכל מודול נוצר סופית מעל חוג נותרי שרשרת תתי מודולים (סופית) שהמנה בין כל שניים עוקבים מביניהם איזומורפית למנה של R באידאל ראשוני כלשהו.
  • מעל חוג מקומי, K_0 חבורה אבלית חסרת פיתול. באופן כללי יותר, K_0(R) היא מודול מעל K_1(R). אם R מקומי אז המודול הזה חסר פיתול (ראה להלן).

החוג K_1(R)[עריכת קוד מקור | עריכה]

כהמשכת הרעיון של חבורת גרותנדיק מגדירים את החוג K_1(R). כחבורה חבורית, K_1(R) נבנה בתהליך דומה לזה שבו נבנית החבורה K_1(R), אלא שכאן מתבוננים מלכתחילה באוסף המודולים השטוחים הנוצרים סופית. הדבר מאפשר להגדיר על K_1(R) מבנה של חוג קומוטטיבי, בעזרת פעולת המכפלה הטנזורית מעל חוג הבסיס R. מאחר שמכפלה טנזורית במודולים שטוחים שומרת על סדרות מדויקות, פעולת הכפל מוגדרת היטב‏[1]. באופן זה, חבורת גרותנדיק הופכת למודול מעל K_1(R) (פעולת המודול היא מכפלה טנזורית).

הערות[עריכת קוד מקור | עריכה]

  • הפעולה R \mapsto K_1(R) מהווה פונקטור קווריאנטי מקטגורית החוגים הנותריים לקטגורית החוגים, המעביר הומומורפיזם R \rightarrow S להומומורפיזם של חוגים המעתיק כל מודול M מעל S למודול M \otimes_S R.
  • אם \phi:R \rightarrow S הומומורפיזם סופי אז K_0(S) הופכת למודול מעל K_1(R) (באמצעות צמצום הסקלרים), והמורפיזם המושרה מ-\phi הוא הומומורפיזם של מודולים מעל K_1(R), כשרואים בו הומומורפיזם K_1(R) \rightarrow K_0(S).
  • אם R מקומי אז K_1(R) \cong \mathbb Z.
  • אם R מקומי אז חבורת גרותנדיק מהווה מודול חסר פיתול מעל K_1(R). אכן, נשים לב כי R/I \otimes_R M \cong M/IM לכל אידאל I \triangleleft R. אם M מודול נוצר סופית מעל R, שהוא מקומי עם אידאל מקסימלי m ושדה שאריות k=R/m אז אם

M/mM \cong k \otimes_R M = 0 אז מן הלמה של נקאימה מקבלים כי M = 0.

כעת, אם M,N הם מודולים נוצרים סופית מעל R וגם M \otimes_R N = 0 אז (k \otimes_k M) \otimes_R N = 0 ולכן (k \otimes_k M) \otimes_R (k \otimes_k N) = 0 וכמרחבים וקטוריים או k \otimes_k M = 0 או k \otimes_k N = 0 ואז (כפי שהזכרנו קודם, מלמת נקאימה) או N = 0 או M = 0, ובפרט חבורת גרותנדיק היא מודול חסר פיתול מעל K_1(R).

  • ישנו הומומורפיזם טבעי של חבורות K_1(R) \rightarrow K_0(R), המעתיק כל מודול לעצמו. אם לחוג R ממד סופי והוא רגולרי‏[2], אז הומומורפיזם זה הוא למעשה איזומורפיזם.

לקריאה נוספת[עריכת קוד מקור | עריכה]

M. F. Atiyah, I. G. MacDonald, "Introduction to Commutative Algebra"

הערות שוליים[עריכת קוד מקור | עריכה]

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