מורפיזם פרויקטיבי

בגאומטריה אלגברית המושג מורפיזם פרויקטיבי הוא גרסה יחסית של המושג סכמה פרויקטיבית זאת אומרת תת-סכמה סגורה במרחב פרויקטיבי. כך מורפיזם פרויקטיבי מתאר משפחות של יריעות (סכמות) פרויקטיביות.

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

עריכה

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

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

דוגמאות ותכונות

עריכה

לקריאה נוספת

עריכה