יריעה טורית

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

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

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

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

יהי סריג. חרוט הוא תת-מונואיד רווי. זאת אומרת תת-קבוצה סגורה לחיבור המכילה את 0 ומקימת:

החרוט הדואלי ל- הוא החרוט המורכב מכל האיברים שהזווית בינם לכל איבר של אינה קהה.

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

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

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

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

מניפה היא אוסף חרוטים כך שהדופן של כל חרוט הוא חרוט באוסף והחיתוך של שני חרוטים הוא דופן של כל אחד מהם.

כאשר חרוט הוא דופן של חרוט , ניתן לזהות את היריעה כתת-קבוצה פתוחה של .

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

משפט: בדרך זו ניתן לבנות את כל היריעות הטוריות.

ניתן להסיק תכונות מסוימות של היריעה הטורית מתוך המבנה הקומבינטורי של המניפה. למשל:

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

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

  • Fulton, William (1993), Introduction to toric varieties, Princeton University Press, ISBN 978-0-691-00049-7
  • Cox, David A.; Little, John B.; Schenck, Hal, Toric varieties

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