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

[[קובץ:Calabi-Yau.png|שמאל|ממוזער|222px|הטלה למרחב תלת-ממדי של עקום הפרמה הפרויקטיבי המוגדר על ידי המשוואה <math>x_1^5=x_2^5+x_3^5</math>. לעקום זה ממד מרוכב 1 וממד ממשי 2. עקום זה מהווה חתך של יריעת קאלאבי-יאו פרויקטיבית המוגדרת על ידי המשוואה <math>x_1^5=x_2^5+x_3^5+x_4^5+x_5^5</math>. ליריעה ממד מרוכב 3 וממד ממשי 6.]]
ב[[גאומטריה מרוכבת]] ו[[גאומטריה אלגברית]], '''יריעות קאלאבי-יאו''' (Calabi Yau) מהוות מחלקת יריעות בעלות תכונה גלובלית מסוימת. יש מספר הגדרות למושג זה הדומות אחת לשנייה אך לא שקולות. בהקשרים שונים מקובלות הגדרות שונות.

העיסוק ביריעות קאלאבי יאו החל מהשערה ששיער [[אאוג'ניו קאלאבי]] {{אנג|Eugenio Calabi}} ב-[[1957]] והוכיח [[שינג-טונג יאו]] {{אנג|Shing-Tung Yau}} ב-[[1977]].

ליריעות אלה חשיבות רבה ב[[תורת המיתרים]].
<!-- היא [[יריעת קהלר]] [[מרחב קומפקטי|קומפקטית]] ש[[מחלקת צ'רן]] הראשונה שלה מתאפסת.

ב-[[1957]] שיער המתמטיקאי Eugenio Calabi שליריעות כאלה יש [[מטריקה]] שטוחה במובן של ריצ'י (Ricci flat metric). השערה זו הוכחה ב-[[1977]] על ידי Shing-Tung Yau, ומכאן שמן של היריעות.
 -->

==רקע==
{{ערך מורחב|השארת קאלאבי}}
ב-[[1957]] קאלאבי שיער שכל {{קישור שפה|2=Kähler manifold|3=יריעת קהלר}} [[מרחב קומפקטי|קומפקטית]] ש{{קישור שפה|2=Chern class|3=מחלקת צ'רן}} הממשית הראשונה שלה מתאפסת (מחלקת צ'רן הממשית ה-n-ית של [[יריעה חלקה]] היא איבר מסוים ב[[חבורת קוהומולוגיה|חבורת הקוהומולוגיה]] <math>H^{2n}(X,\mathbb{R})</math> ) היא בעלת [[מטריקה רימנית|מטריקת]] קהלר ש[[עקמומיות ריצ'י]] שלה מתאפסת. למעשה קאלאבי שיער השערה חזקה יותר הנקראת [[השערת קאלאבי]]. השערה זו הוכחה ב-[[1977]] על ידי Shing-Tung Yau.

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

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

תנאי זה גורר שמחלקת צ'רן השלמה הראשונה של היריעה (ז"א מחלקת צ'רן הראשונה כאיבר בחבורת הקו-הומולוגיה השלמה <math>H^2(X,\mathbb{Z})</math> ) מתאפסת. ההפך אינו נכון באופן כללי.

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

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

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

===בגאומטריה אלגברית===
המושג קאלאבי-יאו קיים גם בגאומטריה אלגברית. ניתן לחזור על ההגדרה למעלה גם עבור
[[יריעה אלגברית]] <math>X</math> מעל שדה <math>K</math> כלשהו. בגאומטריה אלגברית יתר מקובלת ההגדרה החזקה, אם כי גם לחלק מהתנאים השקולים של ההגדרה החלשה יש משמעות.
לפי ההגדרה אם <math>K=\Complex</math> אז <math>X</math> יריעת קאלאבי-יאו אם ורק אם היריעה המרוכבת של [[נקודות של יריעה אלגברית|הנקודות]] שלה <math>X(\Complex)</math> היא יריעת קאלאבי-יאו.

==דוגמאות ומיון==

אפשר לפרק את בעיות המיון של יריעות קאלאבי-יאו לשתיים:
* מיון של הטיפוסים ה[[מרחב טופולוגי|טופולוגיים]] שלהן, ז"א מיון של היריעת עד כדי [[הומיאומורפיזם]].
* מיון של יריעות קאלאבי-יאו בעלות טיפוס טופולוגי נתון.

בממד 1, הטיפוס הטופולוגי האפשרי היחיד עבור יריעת קאלאבי-יאו הוא ה[[טורוס]], כלומר העקום מ[[גנוס (טופולוגיה)|גנוס]] 1. יריעה מרוכבת מטיפוס זה נקראת [[עקום אליפטי]]. מיון העקומים האליפטיים נתון על ידי [[העקום המודולרי]] (ז"א חצי המישור העלון מודולו [[טרנספורמציית מביוס|טרנספורמציות מביוס]] הנתונות על ידי <math>SL_2(\mathbb{Z})</math>). כל עקום אליפטי הוא יריעת קאלאבי-יאו.

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

המיון של יריעות קאלאבי-יאו מממד 3 הוא [[בעיה פתוחה]], שחשיבותה רבה בגלל הקשר ל[[תורת המיתרים]] ב[[פיזיקה תאורטית]]. יאו עצמו שיער שיש מספר סופי של טיפוסים טופולוגיים אפשריים של יריעות כאלה, אולם יש המשערים שמספר הטיפוסים הוא אין סופי. בשנת 2002 נבנו (בעזרת מחשב) למעלה מ-473 מיליון טורי טבלאות של יריעות קאלאבי-יאו שונות מממד 3{{הערה|http://www.scholarpedia.org/article/Calabi-Yau_manifold}}. [[בריאן גרין]] כותב בספרו [[היקום האלגנטי]] (בפרק העוסק בקשר בין יריעות קאלאבי יאו לתורת המיתרים) שישנם עשרות אלפי טיפוסים טופולוגיים אפשריים של יריעות קאלאבי-יאו המתאימות לדרישות המחמירות של הממדים הנוספים שמחייבת תורת המיתרים (ראה להלן).

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

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

==ראו גם==
*[[תורת המיתרים]]
*מחלקות יריעות קשורות ב[[גאומטריה אלגברית]]
** [[יריעת פאנו|יריעות פאנו]]
** [[יריעות מטיפוס כללי]]

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}

==הערות שוליים==
{{הערות שוליים|יישור=ימין}}

[[קטגוריה:טופולוגיה]]
[[קטגוריה:תורת המיתרים]]
[[קטגוריה:בעיות פתוחות בפיזיקה]]
[[קטגוריה:בעיות פתוחות בטופולוגיה]]