קרקטר האוריינטציות

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

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

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

Postscript-viewer-shaded.png ערך מורחב – כיסוי האוריינטציות

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

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

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

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

קרקטר זה נקרא קרקטר האוריינטציות. הקרקטר לוקח איבר של החבורה היסודית אל אם האיבר שומר על האוריינטציה, ואחרת אל .

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

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

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

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

בעזרת קרקטר האוריינטציות ניתן להוכיח את קריטריון האוריינטביליות הבא:

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

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

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