מורפיזם סופי

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

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

כיוון שסופיות היא תכונה מקומית, ניתן להרחיב את ההגדרה גם ליריעות כלליות: מורפיזם הוא סופי אם יש ל־Y כיסוי פתוח על ידי יריעות אפיניות כך שלכל i היא יריעה אפינית והצמצום של f לUi הוא מורפיזם סופי בין יריעות אפיניות.

תכונת הסופיות באה לתאר מורפיזם שהסיבים שלו הם סופיים והנקודות בהם אינן יכולות "להיעלם במפתיע" כשעוברים ברציפות בין הסיבים.

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

תכונות

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