חבורות ההומוטופיה היחסיות

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

הגדרה

הגדרה בעזרת מרחב הלולאות
יהי  מרחב טופולוגי ויהיו  תתי מרחבים. נסמן .

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

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

למשל, עבור  נקבל ש- היא החבורה של לולאות סגורות בלולאות שמתחילות בתוך  ומסתיימות בנקודה קבועה .

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

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

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

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

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

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

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

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

מסקנה לפיברציות סר

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

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

כעת, אם נחזור לסדרה המדויקת ונשתמש בהתאמה הנ"ל, נקבל שרשרת:

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

תורת ההומוטופיה

en:Homotopy group#Relative homotopy groups