הצגת המקור של הדף "אלומה קוהרנטית"

ב[[מתמטיקה]], ובמיוחד ב[[גאומטריה אלגברית]] וב[[אלומה (מתמטיקה)|תורת האלומות]], '''אלומה קוהרנטית''' <math>\,\mathcal{F}</math> על [[מרחב מחויג מקומית]] ''X'' היא [[אלומה (מתמטיקה)|אלומה]] של <math>\mathcal{O}_X</math>-מודולים שמקיימת את שני התנאים הבאים:
#  <math>\mathcal{F}</math> אלומה מטיפוס סופי מעל <math>\mathcal{O}_X</math>, כלומר לכל נקודה במרחב ''X'' קיימת סביבה כך שצמצום האלומה לסביבה זו נוצר על ידי מספר סופי של חתכים. במילים אחרות, ישנו מורפיזם על של אלומות מודולים: <math>\mathcal{O}_X^n|_U \twoheadrightarrow \mathcal{F}|_U</math> עבור ''U'' סביבה של הנקודה.
# לכל [[קבוצה פתוחה]] במרחב ולכל מורפיזם <math>\mathcal{O}_X^n|_U \to \mathcal{F}|_U</math>, הגרעין מטיפוס סופי בעצמו.


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

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

==ראו גם==
* [[אלומה הפיכה]]
* [[אלומה קוואזי-קוהרנטית]]

==קישורים חיצוניים==
* [http://eom.springer.de/C/c023020.htm אלומות קוהרנטיות באתר Springer].

{{קצרמר|מתמטיקה}}
[[קטגוריה:גאומטריה אלגברית]]
[[קטגוריה:תורת האלומות]]