יריעה קוואזי-פרויקטיבית

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

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

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

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

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

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

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

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

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

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

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

תמונת  תחת המיפוי היא הקבוצה הסגורה הנתונה על ידי המשוואות

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

משפט: לכל נקודה של יריעה קוואזי-פרויקטיבית יש סביבה שאיזומורפית ליריעה אפינית.

מבחינה טופולוגית, מורפיזמים הן פונקציות רציפות:

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

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

כמסקנה מהמשפט הקודם, מקבלים:

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

כעת נציג כמסקנה הכללה של משפט ליוביל לגאומטריה אלגברית:

משפט: כל מורפיזם , כאשר  יריעה פרויקטיבית ו- יריעה אפינית, הוא קבוע.

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

כעת, אם  העתקה בין יריעות קוואזי-פרויקטיביות, ניתן לבנות העתקה דואלית , הנתונה על ידי .

שדה זה מכיל למעשה את כל המידע על היריעה. 

משפט -  איזומורפיזם אם ורק אם  איזומורפיזם שדות.

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

ראו גם
 מרחב פרויקטיבי
 טופולוגיית זריצקי
 יריעה אלגברית פרויקטיבית

גאומטריה אלגברית
גאומטריה פרויקטיבית