אלומה (מתמטיקה)

במתמטיקה, אלומה (בצרפתית: Faisceau) היא אמצעי המאפשר לרכז מידע על תכונות מקומיות של מרחב, כדי להשוות אותן לתכונות הגלובליות שלו. האלומה $\mathcal{F}$ מוגדרת על מרחב טופולוגי X, ומתאימה לכל קבוצה פתוחה U מידע כלשהו $\mathcal{F}(U)$ (המידע יכול להיות קבוצה, חבורה, חוג, מודול או אלגברה). האקסיומות שאלומה נדרשת לקיים מבטיחות שהמידע המקומי יהיה מאורגן באופן רציף.

לעתים קרובות האלומה מתארת מבנים גאומטריים המוגדרים על קבוצות קטנות יחסית של המרחב, כגון פונקציות רציפות, תבניות דיפרנציאליות וכן הלאה. מקורו של הסימון המקובל, $\mathcal{F}$, הוא המלה הצרפתית לאלומה - Faisceau.

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

הגדרה פורמלית

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

קדם אלומה

בשפה של תורת הקטגוריות, קדם אלומה היא פונקטור קונטרה-וארינטי מהקטגוריה של קבוצות פתוחות במרחב טופולוגי (עם העתקות השיכון), לקטגוריה של חוגים (עם המורפיזמים הרגילים). פירושו של דבר הוא שקדם אלומה היא פונקציה $\mathcal{F}$, המתאימה לכל קבוצה פתוחה U במרחב טופולוגי X חוג $\,\mathcal{F}(U)$, באופן שמתקימות ארבע אקסיומות:

1. $\mathcal{F}(\empty)=\{0\}$;
2. אם $V \subseteq U$ קבוצות פתוחות, אז קיים הומומורפיזם של חוגים $\mbox{res}_{U,V}:\mathcal{F}(U) \mapsto \mathcal{F}(V)$, הנקרא הומומורפיזם הצמצום;
3. לכל קבוצה פתוחה U מתקיים ${\mbox{res}_{U,U}}=1_{\mathcal{F}(U)}\,$;
4. אם $U \subseteq V \subseteq W$ קבוצות פתוחות ב-X אז מתקיים $\,res_{V,U} \circ res_{W,V} = res_{W,U}$. כלומר: הצמצום מ-W ל-V ואז ל-U, מביא לאותה תוצאה כמו הצמצום מ-W ישירות ל-U.

בהינתן קבוצות פתוחות $\, V \subseteq U$, ואיבר $f \in \mathcal{F}(U)$, את הצמצום של $f$ מ-U ל-V מסמנים ב- $\,f|_{V}$ (בדומה לסימון של צמצום הטווח של פונקציה).

אקסיומת ההדבקה

תהי $\{U_i\}_{i \in I}$ משפחה של קבוצות פתוחות ב-X. ונניח שלכל אינדקס i נתון אובייקט $\ f_i \in \mathcal{F}(U_i)$. לכל זוג אינדקסים i,j נסמן $\ U_{i,j} = U_i \cap U_j$. נניח שלכל i ו j מתקיים $\ \mbox{res}_{U_i,U_{i,j}}(f_i) = \mbox{res}_{U_j,U_{i,j}}(f_j)$. במקרה זה, אקסיומת ההדבקה דורשת את קיומו של "אובייקט גלובלי" יחיד $f \in \mathcal{F}(U)$, כאשר $U=\bigcup_{i \in I} U_i$ ולכל i מתקיים $\mbox{res}_{U,U_i}(f) = f_i$

קדם אלומה $\mathcal{F}$ המקיימת את אקסיומת ההדבקה היא אלומה.

חתך מעל קבוצה פתוחה

בהינתן קבוצה פתוחה $U \subseteq X$, איבר $s \in \mathcal{F}(U)$ נקרא חתך מעל U. חתך מעל X (כלומר, איבר $s \in \mathcal{F}(X)$) נקרא חתך גלובלי.

דוגמאות

1. בהינתן מרחב טופולוגי X, הפונקציה המתאימה לכל קבוצה פתוחה U את אוסף הפונקציות הרציפות מ-U לקבוצת המספרים הממשיים מהווה אלומה. פעולות החוג הן פעולות כפל וחיבור נקודתיות, והעתקות הצמצום הן צמצום הטווח של פונקציה, במובן (המתמטי) הרגיל של המילה. מאנליזה ידוע כי ניתן להדביק פונקציות רציפות המזדהות על החיתוכים, ולכן אוסף הפונקציות הרציפות על כל קבוצה פתוחה מהווה אלומה.
2. בהינתן יריעה דיפרנציאלית X, הפונקציה המתאימה לכל קבוצה פתוחה את אוסף הפונקציות החלקות עליה מהווה גם היא אלומה.
3. באופן דומה, בהינתן יריעה אנליטית X, ניתן להגדיר את אלומת הפונקציות האנליטיות על X.
4. בהינתן יריעה X ואגד וקטורי E מעל X, הפונקציה שמתאימה לכל קבוצה פתוחה U את אוסף החתכים של E מעל U היא אלומה.
5. בהינתן מרחב טופולוגי X וחוג R, אוסף כל הפונקציות מקבוצה פתוחה U לR מהווה אלומה. גם במקרה זה, הומומורפיזמי הצמצום הם פשוט צמצום הטווח של פונקציה נתונה.
6. האלומה הקבועה: יהי X מרחב טופולוגי ו-R חוג. לכל קבוצה פתוחה U ב-X נתאים את אוסף הפונקציות מ-U ל-R אשר קבועות על כל רכיב קשירות של U. הומומורפיזמי הצמצום יהיו שוב צמצום של פונקציות. נשים לב שאם U תת-קבוצה קשירה אז החוג המתאים לה איזומורפי ל-R. אלומה זאת נקראת האלומה הקבועה R, ונהוג לסמנה באותו סימון כמו החוג - R.

נבט של אלומה

יהיו X מרחב טופולוגי, x נקודה ב-X, ו$\mathcal{F}$ אלומה על X. ברצוננו להגדיר חוג אשר יבטא את התכונות של האלומה $\mathcal{F}$ בקרבת הנקודה x. על מנת לעשות זאת באופן מדויק, נגדיר חוג אשר יקרא הנבט של $\mathcal{F}$ ב x ויסומן ב$\mathcal{F}_x$. הנבט של $\mathcal{F}$ ב-x הוא הגבול הישר של מערכת החוגים $\mathcal{F}(U)$, עם ההומומורפיזמים של צמצום, כאשר עוברים על כל הקבוצות הפתוחות U המכילות את x. באופן קונקרטי, איברי החוג הם מחלקות שקילות של זוגות מהצורה $(s,U)$, כאשר U קבוצה פתוחה של X המכילה את x ו $s \in \mathcal{F}(U)$; שני זוגות $(s,U)$ ו- $(t,V)$ הם שקולים זה לזה אם קיימת קבוצה פתוחה $\ W\subseteq U,V$ המכילה את x, כך שהצמצום של s ל-W שווה לצמצום של t ל-W. בהינתן שתי מחלקות שקילות $\ (s,U)$ ו- $\ (t,V)$, נגדיר את הסכום שלהן לפי הנוסחה $\ (s,U) + (t,V) = (s+t,U \cap V)$ (כאשר מצמצמים את s+t חיתוך). כפל יוגדר בצורה אנלוגית, ובאופן זה נקבל חוג הקרוי הנבט של $\mathcal{F}$ ב-x.

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

הומומורפיזם של אלומות

בהינתן שתי אלומות $\mathcal{G}$ ו- $\mathcal{F}$ על מרחב טופולוגי X, הומומורפיזם $\phi: \mathcal{G} \to \mathcal{F}$ הוא כלל המתאים לכל קבוצה פתוחה U ב-X הומומורפיזם $\phi(U) : \mathcal{G}(U) \to \mathcal{F}(U)$ כך שהומומורפיזמים אלו מתחלפים עם העתקות הצמצום של $\mathcal{F}$ ו- $\mathcal{G}$. במילים אחרות, בהינתן 2 קבוצות פתוחות $U\subseteq V$ ב-X, הדיאגרמה הבאה דיאגרמה קומוטטיבית:

לכל נקודה x בX הומומורפיזם של אלומות משרה הומומורפיזם מתאים של הנבטים $\phi_x:\mathcal{G}_x\mapsto \mathcal{F}_x$. בשפה של תורת הקטגוריות, זוהי העתקה טבעית בין פונקטורים.

מורפיזם חד חד ערכי

נאמר שמורפיזם של אלומות $\phi: \mathcal{G} \mapsto \mathcal{F}$ הוא חד חד ערכי אם לכל נקודה x ולכל קבוצה פתוחה U המכילה את x קיימת קבוצה פתוחה $V \subseteq U$ המכילה את x כך ש $\,\phi(V)$ היא פונקציה חד חד ערכית. ניתן להוכיח שדרישה זו שקולה לכך שלכל קבוצה פתוחה U, הפונקציה $\,\phi(U)$ היא חד חד ערכית.

מורפיזם על

נאמר שמורפיזם של אלומות $\phi: \mathcal{G} \mapsto \mathcal{F}$ הוא על אם לכל נקודה x ולכל קבוצה פתוחה U קיימת קבוצה פתוחה $V \subseteq U$ המכילה את x כך ש $\,\phi(V)$ היא פונקציה על. אזהרה: במקרה זה אין זה נכון שדרישה זו שקולה לכך שתנאי זה יתקיים לכל קבוצה פתוחה U. במילים אחרות, פונקטור החתכים הגלובלים מדויק משמאל, אך אינו מדויק. את ההבדל מודד הפונקטור הנגזר של פונקטור החתכים הגלובלים, קוהומולוגיה של אלומות.

איזומורפיזם

הומומורפיזם של אלומות שהוא גם חד חד ערכי וגם על יקרא איזומורפיזם. אם $\phi$ הוא איזומורפיזם של אלומות, קל לראות שההומומורפיזם שהוא משרה על הנבטים $\phi_x:\mathcal{G}_x \mapsto \mathcal{F}_x$ הוא איזומורפיזם לכל x.

ראו גם

• מרחב מחויג
• קוהומולוגיית צ'ך
• קוהומולוגיה של אלומות
• אלומה קוהרנטית
• אלומה הפיכה

לקריאה נוספת

• Algebraic curves and Riemann Surfaces - Rick Miranda, AMS press 1995