כיסוי האוריינטציות

בטופולוגיה, כיסוי האוריינטציות של יריעה הוא מרחב כיסוי של היריעה שאפשר להפוך גם לאגד או לאלומה. באמצעות כיסוי האוריינטציות ניתן להגדיר קרקטר כפלי של החבורה היסודית ${\pi }_1(M)$ המודד באיזו מידה היריעה אינה אוריינטבילית. קרקטר זה נקרא קרקטר האוריינטציות. אפשר לזהות דרך כיסוי האוריינטציות את כל האוריינטציות האפשריות של היריעה. ניתן להתייחס אל כיסוי האוריינטציות כאל תחליף אוריאנטבילי עבור יריעה לא אוריאנטבילית.

רקע

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

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

הגדרת הכיסוי

אוריינטציה בנקודה

כיסוי האוריינטציות מבוסס על מושג האוריינטציה בנקודה. תהי $M$ יריעה חלקה. ו-$x$ נקודה עליה. אוריינטציה של $M$ ב-$x$ מוגדרת בתור אוריינטציה על המרחב המשיק $.T_{x}M$ באופן כללי יותר אם $M$ יריעה טופולוגית אז אוריינטציה של $M$ ב-$x$ מוגדרת בתור יוצר של חבורת ההומולוגיה היחסית $.H_n(M,M-\{x\};\mathbb{Z})$

כיסוי האוריינטציות

נסמן את קבוצת האוריינטציות בנקודה $x$ ב-${\mathrm{orient}}_M(x)$ (זו קבוצה בת שני איברים). ניתן לאגד קבוצות אלו למרחב כיסוי ${\mathrm{orient}}_M$ באופן הבא:

כאשר הטופולוגיה על ${\mathrm{orient}}_M$ מוגדרת מקומית על ידי זיהוי של סביבה פתוחה $U\subset M$ עם ${ℝ}^n$, ודרכה זיהוי של ${\mathrm{orient}}_U$ עם $U\times \{1,-1\}$. קל לראות שהטופולוגיה המתקבלת על $orien{t}_U$ אינה תלויה בזיהוי.

המרחב

${\mathrm{orient}}_M$

מצייד בהעתקה טבעית

$p:{\mathrm{orient}}_M\to M$

ולפי הבנייה, העתקה זו היא כיסוי. הזוג

$({\mathrm{orient}}_M,p)$

נקרא כיסוי האוריינטציות, זהו כיסוי דו-יריעתי.

כיסוי האוריינטציות הוא טריוויאלי (זאת אומרת איזומורפי ל-$M\times \{1,-1\}$) אם ורק אם $M$ אוריינטבילית. אם $M$ קשירה אז כיסוי האוריינטציות קשיר אם ורק אם $M$ לא אוריינטבילית. תבנית:עוגן

החבורה $S_2=\{1,-1\}$ פועלת על הסיבים תבנית:אנג של כיסוי האוריינטציות באופן חופשיתבנית:הערה וטרנזיטיבי. כיסוי עם פעולה כזאת נקרא $S_2$-טורסור.

אפיון של כיסוי האוריינטציות

המרחב המכסה ${\mathrm{orient}}_M$ הוא תמיד אוריינטבילי. יתר על כן, מרחב זה מצויד באוריינטציה טבעיתתבנית:הערה

מאידך, אם $M$ יריעה קשירה לא אוריינטבלית ו-$\pi :\tilde{M}\to M$ כיסוי דו-יריעתי אוריינטבילי שלה, אז הכיסוי $(\tilde{M},\pi )$ איזומורפי לכיסוי האוריינטציות.

דוגמאות

יריעה לא אוריינטבילית	כיסוי האוריינטציות שלה
טבעת מביוס	טבעת רגילה (זאת אומרת גליל)
מישור פרויקטיבי מוטבע במרחב,,תבנית:הערה	ספירה
מרחב פרויקטיבי ממשי מממד זוגי	ספירה מאותו ממד
בקבוק קליין הדבקה של בקבוק קליין. על מנת לקבל את היריעה, יש להדביק כל צלע לצלע שצבועה באותו צבע, לפי כיוון החץ.	טורוס הדבקה של הטורוס. מתאור ההדבקה קל לראות שהטורוס הוא כיסוי האוריינטציות של בקבוק קליין.
משטחים לא אוריינטבילים – סכום קשיר של מישורים פרויקטיבים משטח (קשיר) לא אוריינטבילי $\mathrm{\Sigma }{\text{'}}_{n+1}$ מגנוס $n+1$. ניתן לתאר אותו בתור הסכום הקשיר תבנית:אנג $\mathrm{\Sigma }{\text{'}}_{n+1}=\underset{n+1\text{ copies }}{\underbrace{{ℝ\mathbb{P}}^2\mathrm{\#}\dots \mathrm{\#}{ℝ\mathbb{P}}^2}}$ כאשר ${ℝ\mathbb{P}}^2$ הוא המישור הפרויקטיבי.	משטח (קשיר) אוריינטבילי ${\mathrm{\Sigma }}_n$ מגנוס $n$. המשטח נראה כספירה שחיברו אליה $n$ ידיות. לחלופין ניתן לתאר אותו בתור ${\mathrm{\Sigma }}_n=S^2\mathrm{\#}\underset{n\text{ copies }}{\underbrace{T^2\mathrm{\#}\dots \mathrm{\#}{T}^2}}$ כאשר $S^2$ היא הסיפרה ו$T^2$ הוא הטורוס.

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

תבנית:הפניה לערך מורחב נקבע נקודה $x\in M$. אנו מקבלים פעולת מונודרומיה תבנית:אנג של החבורה היסודית ${\pi }_1(M)$ על הסיב של ${\mathrm{orient}}_M$. פעולה זו מגדירה קרקטר כפלי, $$\chi :{\pi }_1(M)\to \{1,-1\}.$$

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

אגד האוריינטציות

תבנית:הפניה לערך מורחב את כיסוי האוריינטציות $orien{t}_M$ ניתן להפוך לאגד האוריינטציות $Orien{t}_M$. באופן אינטואיטיבי הסיב של $Orien{t}_M$ בנקודה $,x\in M$ הוא ישר העובר דרך שתי הנקודות של $.orien{t}_M(x)$ באופן פורמלי $Orien{t}_M$ מוגדר להיות מרחב המנה של $orien{t}_M\times ℝ$ תחת יחס השקילות הבא: $.((x,o),r)\sim ((x,-o),-r)$תבנית:הערה זהו אגד קווי.

קיים איזומורפיזם קנוני בין $Orein{t}_M\otimes Orein{t}_M$ לאגד הטריוויאלי. במילים אחרות $Orein{t}_M\cong Orein{t}_M^{*}$.

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

אגד הצפיפויות

באופן אינטואיטיבי אפשר לחשוב על תבנית בתור נפח מכוון (זאת אומרת נפח עם סימן). לדוגמה אם $\omega$ היא התבנית הסטנדרטית על ${ℝ}^n$ אז $|\omega (v_1,\dots ,v_n)|$ הוא הנפח של המקבילון הנפרס על ידי $.\{v_1,\dots ,v_n\}$ אולם $\omega (v_1,\dots ,v_n)$ לאו דווקא חיובי. אפשר לחשוב על אוריינטציה בתור זיקוק הסימן מהתבנית. באופן דומה אפשר להגדיר את מושג הצפיפותתבנית:הערה שהוא זיקוק הנפח מהתבנית.

את אגד הצפיפויות ניתן להגדיר בעזרת אגד האוריינטציות: $$,D_M:={\mathrm{\Omega }}_M^{top}\otimes Orien{t}_M^{*}={\mathrm{\Omega }}_M^{top}\otimes Orien{t}_M$$ כאשר ${\mathrm{\Omega }}_M^{top}$ הוא אגד התבניות הדיפרנציאליות.

מכאן אנו מקבלים את הפירוק:

תבנית:עוגן

ניתן להפוך את הפירוק הזה למפורש יותר באופן הבא: תהי $\omega \in {\mathrm{\Omega }}_M^{top}(M)$ תבנית דיפרנציאלית הפיכה. נסמן ב-$sign(\omega )$ את האוריינטציה המתאימה. ניתן לחשוב על $sign(\omega )$ כעל חתך של $orien{t}_M$ או לחלופין של $Orien{t}_M$. נסמן $$|\omega |=\omega \times sign(\omega )\in {\mathrm{\Omega }}_M^{top}\otimes Orien{t}_M(M)=D_M(M).$$ אנו מקבלים $$\omega =sign(\omega )|\omega |$$ במילים אחרות, ניתן לחשוב על תבנית דיפרנציאלית הפיכה בתור שילוב של האוריינטציה (הסימן של התבנית) וצפיפות (הערך המוחלט של התבנית). אינטואיטיבית, צפיפות היא אפשרות להגדיר נפח. להבדיל מתבניות דיפרנציאליות, ניתן להגדיר אינטגרל של צפיפות גם ללא בחירת אוריינטציה. מכאן, צפיפות מגדירה מידה (לאו-דווקא חיובית). למעשה מושגים אלה כמעט שקולים.

המקרה ליניארי

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

תהי $.f:ℬ\to ℝ$

• $f$ היא תבנית אם לכל שני בסיסים $b_1,b_2\in ℬ$ מתקיים $f(b_1)=\det (M_{b_1}^{b_2})f(b_2)$ כאשר $M_{b_1}^{b_2}$ היא מטריצת המעבר בין הבסיסים.
• $f$ היא איבר בתבנית:עוגן אם לכל $b_1,b_2\in ℬ$ מתקיים $.f(b_1)=sign(\det (M_{b_1}^{b_2}))f(b_2)$ $f$ היא אוריינטציה ממש אם בנוסף ערכיה הם ±1.
• $f$ היא צפיפות אם לכל $b_1,b_2\in ℬ$ מתקיים $.f(b_1)=|\det (M_{b_1}^{b_2})|f(b_2)$

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

אלומת האוריינטציות

את כיסוי האוריינטציות $orien{t}_M$ ניתן גם להפוך לאלומת האוריינטציות $,𝒪rien{t}_M$ באופן דומה לבניית אגד האוריינטציות. עבור קבוצה פתוחה קשירה $U\subset M$ נגדיר $$𝒪rien{t}_M(U):=(orient(U)\times \mathbb{Z})/S_2,$$ כאשר $orient(U)$ היא קבוצת האוריינטציות על $M$ והפעולה של $S_2$ היא אלכסונית. בעזרת אקסיומות האלומה ניתן להכליל הגדרה זאת לקבוצות פתוחות כלליות.

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

אלומת האוריינטציות היא מקרה פרטי של מושג הקומפלקס המדאל (dualizing complex). לכל מרחב טופולוגי $X$ (קומפקטי מקומית) ניתן להגדיר את הקומפלקס המדאל. זהו אובייקט בקטגוריה הנגזרת תבנית:אנג של האלומות על $.X$ אם $X$ היא יריעה אז האובייקט המדאל הוא אלומת האוריינטציות מוזזת למקום ה-$.n:=\dim (X)$

קישורים חיצוניים

• Orientation covering, ב-Manifold Atlas תבנית:אנגלית