מורפיזמים מופרדים ונאותים

בגאומטריה אלגברית, הפרדה (separatedness) ונאותות (properness) מתארות תכונות של מורפיזמים בין סכמות.

התכונות הפרדה ונאותות מקבילות לתכונות מוכרות של מרחבים טופולוגיים^[1]:

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

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

במקרה של סכמות מטיפוס סופי מעל $\mathbb {C}$ , ניתן להראות כי הפרדה ונאותות של מורפיזמים זהים למושגים הרגילים של האוסדורף ונאותות כשמסתכלים על הסכמות כמרחבים מרוכבים אנלטיים במובן הרגיל של טופולוגיה.

מורפיזם מופרד

מוטיבציה

המוטיבציה להגדרה היא הטענה הבאה:

מרחב טופולוגי $X$ הוא האוסדורף אם ורק אם העתקת האלכסון $\Delta :X\to X\times X$ היא העתקה סגורה.

המושג 'סכמה פרידה' אנלוגי למושג 'מרחב טופולוגי האוסדורף', והמושג מורפיזם פריד הוא המושג המתאים בגרסה היחסית.

הגדרה

יהי $f:X\to Y$ מורפיזם של סכמות. מורפיזם האלכסון הוא המורפיזם היחיד $\Delta :X\to X\times _{Y}X$ שהרכבתו עם כל אחת מההטלות $p_{1},p_{2}:X\times _{Y}X\to X$ היא העתקת הזהות $X\to X$ . המורפיזם $f$ נקרא מופרד אם מורפיזם האלכסון $\Delta$ הוא שיכון סגור. במקרה זה אנו אומרים שהסכמה $X$ מופרדת מעל $Y$ .^[2]

סכמה $X$ היא מופרדת אם היא מופרדת מעל ${\text{Spec}}\mathbb {Z}$ .

דוגמה

מורפיזם $f:X\to Y$ בין סכמות אפיניות הוא מופרד.

הוכחה: נסמן $X:={\text{Spec}}A,Y:={\text{Spec}}B$ . אז $X\times _{Y}X\cong {\text{Spec}}(A\otimes _{B}A)$ . מורפיזם האלכסון $\Delta$ מושרה על ידי ההומומורפיזם $a\otimes a'\to aa'$ , הומומורפיזם זה הוא על ולכן מורפיזם הסכמות המושרה ממנו ( $\Delta$ ) הוא שיכון סגור, כלומר $f$ מופרד.^[2]

דוגמת נגד

עבור שדה $K$ , נגדיר את הסכמה $X$ להיות $\mathbb {A} _{K}^{1}\coprod _{{\text{Spec}}(k[t,t^{-1}])}\mathbb {A} _{K}^{1}$ , סכמה זאת נקראת "הישר עם שני אפסים" זאת בעצם הדבקה של שני ישרים $\mathbb {A} _{K}^{1}$ לאורך הקבוצה הפתוחה שהיא המשלים של הראשית. הסכמה $X$ אינה מופרדת מעל ${\text{Spec}}K$ . ואכן $X\times _{K}X$ הוא המישור האפיני עם צירים כפולים וארבע "ראשיות צירים". התמונה של $\Delta$ הוא האלכסון במובן הרגיל עם שתיים מבין ה"ראשיות" האלה. אבל תמונה זו היא לא סגורה, כי ארבע ה"ראשיות" נמצאות בסגור של $\Delta (X)$ .^[2]

קריטריון ההערכה למופרדות

יהי $f:X\to Y$ מורפיזם של סכמות עבור $X$ סכמה נתרית. המורפיזם $f$ הוא מופרד אם ורק אם התנאי הבא מתקיים:

עבור שדה כלשהו $K$ ותחום הערכה $R$ ששדה השברים שלו הוא $K$ , נסמן $T:={\text{Spec}}R$ , $U:={\text{Spec}}K$

ו- $i:U\to T$ הוא המורפיזם המושרה מההכלה $R\subseteq k$ . בהינתן מורפיזם מ- $T$ ל- $Y$ ומורפיזם מ- $U$ ל- $X$ ההופכים את הדיאגרמה הבאה לחלופית (קומוטטיבית):

קיים לכל היותר מורפיזם אחד מ- $T$ ל- $X$ ההופך את הדיאגרמה כולה לקומוטטיבית (החץ המקווקו).^[3]

טענות^[4]

בטענות הבאות נניח כי כל הסכמות נתריות.

שיכונים סגורים ופתוחים הם מופרדים.
הרכבה של שני מורפיזמים מופרדים היא מורפיזם מופרד.
מורפיזמים מופרדים הם יציבים תחת הרחבת בסיס.
אם $f:X\to Y,f':X'\to Y'$ מורפיזמים מופרדים של סכמות מעל סכמת בסיס $S$ , אז מורפיזם המכפלה $f\times f':X\times _{S}X'\to Y\times _{S}Y'$ גם הוא מופרד.
אם $f:X\to Y,g:Y\to Z$ מורפיזמים כך ש- $g\circ f$ מופרד, אזי $f$ מופרד.
מורפיזם $f:X\to Y$ מופרד אם"ם $Y$ ניתן לכיסוי על ידי תת-קבוצות פתוחות $V_{i}$ כך ש- $f^{-1}(V_{i})\to V_{i}$ מופרד לכל $i$ .

מורפיזם נאות

מוטיבציה

בקטגוריה של מרחבים טופולוגיים (שבה כל מורפיזם הוא פונקציה רציפה) תת-מרחב קומפקטי עובר למרחב קומפקטי. הצד השני לא בהכרח מתקיים, אבל העתקה $f$ שמקיימת את הצד השני (תמונה הפוכה של תת-מרחב קומפקטי היא קומפקטית) נקראת העתקה נאותה. נאותות של מורפיזמים של סכמות היא תכונה אנלוגית. לדוגמה, יריעות נאותות (proper varieties) מעל $\mathbb {C}$ יהיו יריעות קומפקטיות כשמסתכלים בטופולגיה הרגילה של $\mathbb {C}$ .

המוטיבציה להגדרה היא הטענה הבאה:

תהי $C$ הקטגוריה של מרחבי האוסדורף קומפקטיים מקומית בעלי בסיס בן מנייה לטופולוגיה. אז ההעתקה $f:X\to Y$ בקטגוריה $C$ היא סגורה אוניברסלית אם ורק אם היא העתקה נאותה (לכל תת-מרחב קומפקי $V\subseteq Y$ התמונה ההפוכה $f^{-1}(V)$ היא קומפקטית).

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

הגדרה

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

מורפיזם של סכמות $f:X\to Y$ נקרא סגור אוניברסלית אם הוא מורפיזם סגור ועבור כל מורפיזם אחר $Y'\to Y$ המורפיזם $f':X'\to Y'$ המתקבל מהרחבת בסיס של $f$ גם הוא מורפיזם סגור.

מורפיזם נקרא נאות אם הוא מופרד, מטיפוס סופי וסגור אוניברסלית. במצב הזה אומרים כי $X$ נאותה מעל $Y$ . סכמה נקראת נאותה אם היא נאותה מעל ${\text{Spec}}\mathbb {Z}$ .^[5]

יריעה שנאותה מעל השדה שלה נקראת שלמה.

דוגמה

כל סכמה פרויקטיבית היא נאותה. ניתן להוכיח את זה באמצעות קריטריון ההערכה לנאותות להלן.^[6]

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

דוגמת נגד

יהי $k$ שדה, ויהי $X$ הישר האפיני מעל $k$ . אז $X$ הוא סכמה מופרדת ומטיפוס סופי מעל $k$ , אבל לא נאותה מעל $k$ . אכן, נסתכל על הרחבת הבסיס $X\to k$ . ההעתקה $X\times _{k}X\to X$ שמתקבלת היא ההטלה של המישור על הישר האפיני. זאת לא העתקה סגורה. למשל, ההיפרבולה הנתונה על ידי $xy=1$ היא תת-קבוצה סגורה של המישור, אבל התמונה שלה תחת ההטלה מכילה את הישר האפיני בלי הראשית, וזה לא סגור. לכן $X\to k$ לא סגורה אוניברסלית, ולכן $X$ אינה נאותה מעל $k$ .^[5]

קריטריון ההערכה לנאותות

יהי $f:X\to Y$ מורפיזם של סכמות מטיפוס סופי עבור $X$ סכמה נתרית. המורפיזם $f$ הוא נאות אם ורק אם התנאי הבא מתקיים:

עבור שדה כלשהו $K$ ותחום הערכה $R$ ששדה השברים שלו הוא $K$ , נסמן $T:={\text{Spec}}R$ , $U:={\text{Spec}}K$

ו- $i:U\to T$ הוא המורפיזם המושרה מההכלה $R\subseteq k$ . בהינתן מורפיזם מ- $T$ ל- $Y$ ומורפיזם מ- $U$ ל- $X$ ההופכים את הדיאגרמה הבאה לקומוטטיבית:

קיים ויחיד מורפיזם מ- $T$ ל- $X$ ההופך את הדיאגרמה כולה לקומוטטיבית (החץ המקווקו).^[7]

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

$f$ נדרש להיות מטיפוס סופי. החץ המקווקו קיים ויחיד, לא רק "קיים לכל היותר חץ מקווקו אחד").

טענות^[8]

בטענות הבאות נניח כי כל הסכמות נתריות.

שיכון סגור הוא נאות.
הרכבה של מורפיזמים נאותים היא מורפיזם נאות.
מורפיזמים נאותים יציבים תחת הרחבת בסיס.
אם $f:X\to Y,f':X'\to Y'$ מורפיזמים נאותים של סכמות מעל סכמת בסיס $S$ , אז מורפיזם המכפלה $f\times f':X\times _{S}X'\to Y\times _{S}Y'$ גם הוא נאות.
אם $f:X\to Y,g:Y\to Z$ מורפיזמים כך ש- $g\circ f$ נאות, אזי $f$ נאות.
מורפיזם $f:X\to Y$ נאות אם"ם $Y$ ניתן לכיסוי על ידי תת-קבוצות פתוחות $V_{i}$ כך ש- $f^{-1}(V_{i})\to V_{i}$ נאות לכל $i$ .
מורפיזם פרויקטיבי הוא נאות.

ראו גם

לקריאה נוספת

Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, pp. 95–108, ISBN 978-0-387-90244-9, MR 0463157
ורשבסקי, יעקב (2016), עומר שכטר (ed.), "מושגי יסוד בגיאומטריה אלגברית 1" (PDF), האוניברסיטה העברית

הערות שוליים

^ Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, pp. 95–96, ISBN 978-0-387-90244-9, MR 0463157
^ ^2.0 ^2.1 ^2.2 Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 96, ISBN 978-0-387-90244-9, MR 0463157
^ Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 97, ISBN 978-0-387-90244-9, MR 0463157
^ Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 99, ISBN 978-0-387-90244-9, MR 0463157
^ ^5.0 ^5.1 Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 100, ISBN 978-0-387-90244-9, MR 0463157
^ Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 103, ISBN 978-0-387-90244-9, MR 0463157
^ Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, pp. 101–102, ISBN 978-0-387-90244-9, MR 0463157
^ Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 102, ISBN 978-0-387-90244-9, MR 0463157

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

מורפיזמים מופרדים ונאותים38871617

[1] Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, pp. 95–96, ISBN 978-0-387-90244-9, MR 0463157

[citation-2] 2.0 ^2.1 ^2.2 Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 96, ISBN 978-0-387-90244-9, MR 0463157

[3] Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 97, ISBN 978-0-387-90244-9, MR 0463157

[4] Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 99, ISBN 978-0-387-90244-9, MR 0463157

[תבנית_citation-5] 5.0 ^5.1 Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 100, ISBN 978-0-387-90244-9, MR 0463157

[6] Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 103, ISBN 978-0-387-90244-9, MR 0463157

[7] Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, pp. 101–102, ISBN 978-0-387-90244-9, MR 0463157

[8] Hartshorne, Robin (1997) [1977], Algebraic Geometry, Springer-Verlag, p. 102, ISBN 978-0-387-90244-9, MR 0463157

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

מורפיזמים מופרדים ונאותים

תוכן עניינים

מורפיזם מופרד

מוטיבציה

הגדרה

דוגמה

דוגמת נגד

קריטריון ההערכה למופרדות

טענות^[4]

מורפיזם נאות

מוטיבציה

הגדרה

דוגמה

דוגמת נגד

קריטריון ההערכה לנאותות

טענות^[8]

ראו גם

לקריאה נוספת

הערות שוליים

תפריט ניווט

מורפיזמים מופרדים ונאותים

מורפיזם מופרד

מוטיבציה

הגדרה

דוגמה

דוגמת נגד

קריטריון ההערכה למופרדות

טענות[4]

מורפיזם נאות

מוטיבציה

הגדרה

דוגמה

דוגמת נגד

קריטריון ההערכה לנאותות

טענות[8]

ראו גם

לקריאה נוספת

הערות שוליים

תפריט ניווט

חיפוש

טענות^[4]

טענות^[8]