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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

במתמטיקה, ובמיוחד בגאומטריה אלגברית ובתורת האלומות, אלומה קוהרנטית \,\mathcal{F} על מרחב מחויג מקומית X היא אלומה של \mathcal{O}_X-מודולים שמקיימת את שני התנאים הבאים:

  1. \mathcal{F} אלומה מטיפוס סופי מעל \mathcal{O}_X, כלומר לכל נקודה במרחב X קיימת סביבה כך שצמצום האלומה לסביבה זו נוצר על ידי מספר סופי של חתכים. במילים אחרות, ישנו מורפיזם על של אלומות מודולים: \mathcal{O}_X^n|_U \twoheadrightarrow \mathcal{F}|_U עבור U סביבה של הנקודה.
  2. לכל קבוצה פתוחה במרחב ולכל מורפיזם \mathcal{O}_X^n|_U \to \mathcal{F}|_U, הגרעין מטיפוס סופי בעצמו.

כך, היא איזומורפית לקו-גרעין של מורפיזם של \mathcal{O}_X מודולים {\mathcal{O}_X}^m \rightarrow {\mathcal{O}_X}^n כאשר \,\mathcal{O}_X היא אלומת המבנה של X.

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

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

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

קישורים חיצוניים[עריכת קוד מקור | עריכה]

P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.