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

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

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

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

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

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

 באופן כללי, נגדיר q-קו-שרשראות על ידי:

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

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

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

בהינתן איבר 
נגדיר:

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

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

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

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

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

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

כיסוי לרה ומשפט לרה

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

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

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

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

 לקריאה נוספת 
 Algebraic curves and Riemann Surfaces - Rick Miranda, AMS press 1995
 Robin Hartshorne (1997). Algebraic Geometry. Springer-Verlag. .  

 קישורים חיצוניים 
 ערך על קוהומולוגיית צ'ך באתר PlanetMath

קטגוריה:טופולוגיה אלגברית
קטגוריה:תורת האלומות
קטגוריה:משטחי רימן