יריעת קאלאבי-יאו

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
Gnome-colors-emblem-development-2.svg הערך נמצא בשלבי עבודה: כדי למנוע התנגשויות עריכה ועבודה כפולה אתם מתבקשים שלא לערוך ערך זה בטרם תוסר הודעה זו, אלא אם כן תיאמתם זאת עם מניחי התבנית.
אם הערך לא נערך במשך שבוע ניתן להסיר את התבנית ולערוך אותו, אך רצוי לתת קודם תזכורת בדף שיחת הכותבים.
הטלה תלת ממדית של יריעת קאלאבי-יאו

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

המוטיבציה למושג נובעת מהשערה ששיער קלבי (Eugenio Calabi) ב-1957 והוכיח יאו (Shing-Tung Yau) ב-1977.

ליריעות אלה חשיבות רבה בתורת המיתרים.

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

תבנית:ערך מרחיב ב-1957 קאלאבי שיער שכל יריעת קהלר קומפקטית שמחלקת Chern הממשית הראשונה שלה מתאפסת (מחלקת Chern הממשית ה-n-ית של יריעה חלקה היא איבר מסוים בחבורת הקוהומולוגיה ) היא בעלת מטריקת קלהר שהעקמומיות ריצ'י שלה מתאפסת. למעשה קאלאבי שיער השערה חזקה יותר הנקראת השערת קאלאבי. השערה זו הוכחה ב-1977 על ידי Shing-Tung Yau.

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

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

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

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

לפי הגדרה פחות מחמירה יריעה מרוכבת נקראת יריעת קאלאבי-יאו אם היא יריעת קלהר קומפקטית כך שהתנאים השקולים הבאים מתקיימים:

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

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

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

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

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

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

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

אפשר לפרק את בעיות המיון של יריעות קאלאבי-יאו לשתיים:

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

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

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

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


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

באחד המודלים המקובלים של תורת המיתרים, העולם הוא בעל עשרה ממדים. ממדים אלו כוללים את שלושת ממדי המרחב המוכרים לנו, ממד הזמן, ושישה ממדים 'מכורבלים', שהמבנה המדויק שלהם עדיין אינו ידוע. ב-1985 גילו P. Candelas, G. Horowitz, A. Strominger ואדווארד ויטן, שהתנאים לכך שאותם ממדים מכורבלים יתמכו בגרסה סופרסימטרית של המודל הסטנדרטי, שקולים לכך שממדים אלה מההווים יריעת קאלאבי-יאו מממד 3 מעל המרוכבים (שממדה מעל הממשיים 6). בנוסף, הם הראו שקבועים יסודיים של המודל הסטנדרטי (כגון מסות של חלקיקים) ניתנים להמרה לפרמטרים מספריים, הקובעים את הגאומטריה של אותה יריעת קאלאבי-יאו.

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

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

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

ויקישיתוף מדיה וקבצים בנושא יריעת קאלאבי-יאו בוויקישיתוף

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