קוהומולוגיית צ'ך

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
Nuvola apps edu mathematics blue-p.svg

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

במתמטיקה, קוהומולוגיית צ'ך היא קוהומולוגיה המוגדרת על אלומות על מרחבים טופולוגים. היא קרויה על שמו של אדוארד צ'ך.

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

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

נניח כי X הוא מרחב טופולוגי וכי \mathcal{F} היא אלומה של חבורות אבליות על X. על מנת לבנות את קוהומולוגיית צ'ך נבנה תחילה את קומפלקס צ'ך, קומפלקס קו-שרשרת שבעזרתו תוגדר הקוהומולוגיה.

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

נניח כי \mathcal{U} = \{U_{\alpha}\}_{\alpha \in I} הוא כיסוי פתוח של X וכי קבוצת האינדקסים I היא קבוצה סדורה חלקית. נגדיר חבורות קו-שרשראות על \mathcal{U} עם ערכים ב\mathcal{F} באופן הבא:

  • 0-קו-שרשראות יוגדרו להיות פונקציות השולחות כל קבוצה פתוחה \,U_{\alpha} לאיבר בחבורה \,\mathcal{F}(U_{\alpha}). כלומר, נוכל לרשום:
C^0(\mathcal U, \mathcal F) = \prod_{\alpha}\mathcal F(U_\alpha)
קבוצה זו היא מכפלה ישרה של חבורות אבליות, ולפיכך יש לה מבנה של חבורה אבלית.
  • באופן דומה, 1-קו-שרשראות יוגדרו להיות פונקציות השולחות כל חיתוך U_{\alpha} \cap U_{\beta} של שתי קבוצות פתוחות שונות בכיסוי \,\mathcal{U} לאיבר בחבורה \,\mathcal{F}(U_{\alpha} \cap U_{\beta}). כלומר, נוכל לרשום:
C^1(\mathcal U, \mathcal F) = \prod_{\alpha < \beta}\mathcal F(U_{\alpha}\cap U_{\beta})
  • באופן כללי, נגדיר q-קו-שרשראות על ידי:
C^q(\mathcal U, \mathcal F) = \prod_{\alpha_0 < \alpha_1 < \cdots < \alpha_q}\mathcal F(U_{\alpha_0}\cap U_{\alpha_1}\cap\cdots\cap U_{\alpha_q}).

אוסף ה-q-קו-שרשראות מהווה חבורה אבלית לכל q.

אופרטור השפה[עריכת קוד מקור | עריכה]

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

\delta_q : C^q(\mathcal U, \mathcal F) \to  C^{q+1}(\mathcal U, \mathcal F).

על מנת לפשט את הסימון, נסמן U_{\alpha \beta} = U_{\alpha} \cap U_{\beta}, ובאופן דומה עבור כמות גדולה יותר של אינדקסים.

בהינתן איבר  \omega \in C^{q}(\mathcal U,\mathcal F) נגדיר:

(\delta\omega)_{\alpha_{0} \cdots \alpha_{q+1}} = \sum_{i=0}^{q+1}(-1)^i\,\omega_{\alpha_0\cdots\check{\alpha}_i\cdots\alpha_{q+1}}.

כאשר \check{\alpha}_i מסמן שמשמיטים באותו האיבר את האינדקס ה-i, למשל \omega_{\alpha_1 \check{\alpha_2} \alpha_3} = \omega_{\alpha_1 \alpha_3}. נזכור כי  \delta\omega \in C^{q+1}(\mathcal U,\mathcal F) היא פונקציה המתאימה לכל אוסף של q+2 אינדקסים שונים \alpha_0 < \alpha_1 < \dots < \alpha_{q} < \alpha_{q+1} איבר בחבורה האבלית \mathcal{F}(U_{\alpha_0 \alpha_1 \dots \alpha_q \alpha_{q+1}}). בהינתן אוסף אינדקסים כזה, לכל 0 \le i \le q+1 האיבר \omega_{\alpha_0 \alpha_1 \dots \check{\alpha_i} \dots \alpha_q \alpha_{q+1}} שייך לחבורה האבלית \mathcal{F}(U_{\alpha_0 \alpha_1 \dots \check{\alpha_i} \dots \alpha_q \alpha_{q+1}}). מכיוון ש\mathcal{F} היא אלומה, הרי שניתן בעזרת הומומורפיזם הצמצום של \mathcal{F} לצמצם איבר זה לאיבר בחבורה \mathcal{F}(U_{\alpha_0 \dots \alpha_i \dots \alpha_q \alpha_{q+1}}) (שהרי בבירור מתקיים U_{\alpha_0 \alpha_1 \dots \alpha_i \dots \alpha_q \alpha_{q+1}} \subseteq U_{\alpha_0 \alpha_1 \dots \check{\alpha_i} \dots \alpha_q \alpha_{q+1}}) את האיבר מהתקבל לאחר הצמצום נסמן גם כן על ידי \omega_{\alpha_0 \alpha_1 \dots \check{\alpha_i} \dots \alpha_q \alpha_{q+1}}. מכיוון שלכל i, לאחר הצמצום איבר זה שייך לחבורה האבלית \mathcal{F}(U_{\alpha_0 \dots \alpha_i \dots \alpha_q \alpha_{q+1}}), הרי שניתן לחבר ולחסר איברים אלה, ולכן (\delta \omega)_{\alpha_0 \alpha_1 \dots \alpha_q \alpha_{q+1}} מוגדרת היטב. ניתן להראות על ידי חישוב ישיר שמתקיים \delta^2 = \delta \circ \delta = 0, ולכן (C^q (\mathcal{U},\mathcal{F}),\delta) הוא אכן קומפלקס קו-שרשרת.

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

נניח כי f \in C^0(\mathcal{U},\mathcal{F}) היא 0-קו-שרשרת. אז לכל \alpha \in I, מתקיים f_{\alpha} \in \mathcal{F}(U_\alpha). לכל זוג אינדקסים שונים \alpha, \beta \in I כך ש\,\alpha < \beta מתקיים (\delta_0 f)_{\alpha \beta} \in \mathcal{F}(U_\alpha \cap U_\beta), ובאופן מפורש: (\delta_0 f)_{\alpha \beta} = {f_\alpha}|_{U_\alpha \cap U_\beta} - {f_\beta}|_{U_\alpha \cap U_\beta}

חישוב הגרעין של \,\delta_0[עריכת קוד מקור | עריכה]

נניח כי f \in \ker \delta_0. אז לכל \alpha, \beta \in I כך ש\,\alpha < \beta מתקיים f_{\alpha}|_{U_{\alpha \beta}} - f_{\beta}|_{U_{\alpha \beta}} = 0. כלומר, על כל חיתוך של זוג קבוצות פתוחות U_\alpha \cap U_\beta מתקיים f_{\alpha}|_{U_{\alpha \beta}} = f_{\beta}|_{U_{\alpha \beta}}. לפיכך, אקסיומת ההדבקה של האלומה \mathcal{F} מתקיימת, ולכן קיים חתך גלובלי f_X \in \mathcal{F}(X), כך שלכל \alpha \in I מתקיים f_X |_{U_\alpha} = f_\alpha. גם ההפך נכון, בהינתן חתך גלובלי f_X \in \mathcal{F}(X), נוכל להגדיר 0-קושרשרת f\in C^0(\mathcal{U},\mathcal{F}) על ידי \,f_{\alpha} = f_X |_{U_{\alpha}}, ובבירור מתקיים f \in \ker \delta_0. לפיכך, הגרעין של \,\delta_0 שווה בדיוק לחבורת החתכים הגלובלים של האלומה \,\mathcal{F}, כלומר \ker \delta_0 = \mathcal{F}(X).

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

קוהומולוגיית צ'ך ביחס לכיסוי \mathcal{U} עם ערכים ב\mathcal{F} מוגדרת להיות הקוהומולוגיה של הקומפלקס-קושרשרת שהוגדר לעיל. במילים אחרות, חבורות הקוהומולוגיה ה-q מוגדרת על ידי:

H^q(\mathcal U,\mathcal F) = \ker\delta_q / \operatorname{im}\,\delta_{q-1}

קוהומולוגיית צ'ך של המרחב X מוגדרת באמצעות עידונים של הכיסויים השונים על X. אם \mathcal{V} הוא עידון של הכיסוי \mathcal{U}, אז מהעתקות הצמצום של האלומה נקבל העתקה מושרית בקוהומולוגיה

H^{q}(\mathcal U,\mathcal F) \to H^{q}(\mathcal V,\mathcal F).

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

H(X,\mathcal F) = \varinjlim_{\mathcal U} H(\mathcal U,\mathcal F).

כיסוי לרה ומשפט לרה[עריכת קוד מקור | עריכה]

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

כיסוי \mathcal{U} = \{U_{\alpha}\}_{\alpha \in I} נקרא כיסוי לרה (על שם המתמטיקאי הצרפתי ז'אן לרה) אם לכל קבוצה U = U_{\alpha_1 \dots \alpha_q} שהיא חיתוך של מספר סופי של קבוצות מהכיסוי ולכל \,q\ge 1 מתקיים H^q(U,\mathcal{F}|_{U}) = \{0\}. כלומר, לכל חיתוך של מספר סופי של קבוצות מהכיסוי U, קוהומולוגיית צ'ך של המרחב הטופולוגי U (עם הטופולוגיה המושרית), מתאפסת.

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

נניח שX הוא מרחב טופולוגי, \mathcal{F} אלומה על X, ו-\mathcal{U} = \{U_{\alpha}\}_{\alpha \in I} הוא כיסוי לרה. אז קוהומולוגיית צ'ך של X ביחס לאלומה \mathcal{F} שווה לקוהומולוגיית צ'ך של X ביחס לכיסוי \mathcal{U}. כלומר לכל q\ge 0 מתקיים H^q(X,\mathcal{F}) = H^q(\mathcal{U},\mathcal{F}).

למשפט לרה חשיבות רבה משום שהוא מאפשר במקרים רבים לחשב את קוהומולוגיית צ'ך של מרחב טופולוגי באופן מפורש.

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

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