הצגת המקור של הדף "סכמה (מתמטיקה)"

{{סימון מתמטי}}
ב[[מתמטיקה]], '''סְכֶמָה''' היא [[מבנה (מתמטיקה)|מבנה מתמטי]] שמכלילה בכמה דרכים את המושג של [[יריעה אלגברית]] מה[[גאומטריה אלגברית|גאומטריה האלגברית]] הקלאסית. לדוגמה, המשוואות <math>x=0</math> ו-<math>x^2=0</math> מגדירות את אותן היריעות אך סכמות שונות. הסכמה מאפשרת להגדיר אנלוג של מושג היריעה מעל כל [[חוג (מבנה אלגברי)|חוג קומוטטיבי]] (לדוגמה, [[עקום פרמה]] מוגדר מעל חוג השלמים <math>\mathbb{Z}</math>).

סכמות הוצגו לראשונה על ידי [[אלכסנדר גרותנדיק]], בשנת [[1960]], בספרו "[[יסודות הגאומטריה האלגברית (ספר)|יסודות הגאומטריה האלגברית]]". בכך גרותנדיק ניסח מחדש את הגאומטריה האלגברית. ניסוח זה הוביל בין היתר לפתרון של בעיות עמוקות וחשובות בתחום ובתחומים הקשורים, כגון [[השערות וויל]] {{אנ|Weil conjectures}} (שהאחרונה מביניהן נפתרה על ידי [[פייר דליין]] {{אנ|Pierre Deligne}}). מושג הסכמה מבוסס על [[אלגברה קומוטטיבית]], ותורת הסכמות מביאה את האפשרות להשתמש בכלים של [[טופולוגיה]] ו[[אלגברה הומולוגית]]. בנוסף, סכמות מקשרות קשר הדוק בין גאומטריה אלגברית לבין [[תורת המספרים]] מה שהוביל להתקדמות גדולה בתורת המספרים (למשל, ההוכחה של [[אנדרו ויילס]] של ה"[[המשפט האחרון של פרמה]]" משתמשת רבות במושג הסכמה).

== רקע להגדרה ==
מושג הסכמה פותח כגרסה כללית וגמישה יותר של מושג [[יריעה אלגברית|היריעה האלגברית]].
הצורך במושג הסכמה עולה מכך, שאף על פי שמושג היריעה האלגברית כללי למדי, יש למושג זה מספר מגבלות:
# נדרש לקבוע את השדה <math>k</math>, לכן לא ניתן לטפל בו זמנית ביריעות מעל שדות שונים. מגבלה זו מקשה על שימושים ב[[תורת המספרים]] כאשר רוצים לקשר בין פתרונות של מערכת משוואות מעל [[שדה סופי]] ובין הגאומטריה של היריעה המוגדרת על ידי מערכת זו מעל <math>\Complex</math>. כמו כן הגדלת השדה מאפשרת הוספה של [[מספר טרנסצנדנטי|מספרים טרנסצנדנטים]] מה שמאפשר יצירה של [[נקודה גנרית|נקודות גנריות]], זאת אומרת נקודות שימצאו בכל קבוצה פתוחה זריצקי המוגדרת מעל השדה המקורי.
# יריעות אינן מאפשרות טיפול בפתרונות של מערכות משוואות מעל חוגים שאינם שדות. גם מגבלה זו מקשה על שימושים ב[[תורת המספרים]] שאחת הבעיות המרכזיות בה היא ניתוח של [[משוואה דיופנטית|משוואות דיופנטיות]].
# יריעות אינן מאפשרות טיפול בשורשים מרובים. לדוגמה היריעה המוגדרת על ידי המשוואה <math>x^2=0</math> זהה ליריעה המוגדרת על ידי המשוואה <math>x=0</math>. אולם כאשר מנתחים שורשים של פולינום נהוג לקחת בחשבון את ריבוי השורשים ולכן להתייחס לקבוצת השורשים של <math>x^2</math> באופן שונה מאשר לקבוצת השורשים של <math>x</math>. התייחסות לריבוי השורשים משפרת את הניסוח והשימושיות של מספר משפטים. למשל את [[המשפט היסודי של האלגברה]].

כדי להתמודד עם מגבלות אלה פיתח [[אלכסנדר גרותנדיק|גרותנדיק]] את מושג הסכמה. כדי להבין את ההבדל בין סכמות ויריעות אפשר להסתכל תחילה על המקרה האפיני. [[סכמה אפינית|סכמות אפיניות]], כמו יריעות אפיניות מוגדרות על ידי חוג הפונקציות עליהם, אלא שבמקרה של סכמה מסירם את רוב ההגבלות מחוג זה. ראשית לא דורשים שהוא יהיה [[חוג נוצר סופית|נוצר סופית]] מעל [[שדה (מתמטיקה)|שדה]], זה מאפשר להתמודד עם מגבלות 1,2 למעלה. שנית מאפשרים לו להכיל [[איבר נילפוטנטי|נילפוטנטים]], זה מאפשר להתמודד עם מגבלה 3. הסרת מגבלת הנילפוטנטים גורמת לכך שהחוג כבר לא חוג פונקציות. לכן כאשר מגדירים סכמה כללית לא מגדירים אותה בתור מרחב טופולוגי עם [[יריעה_אלגברית#הגדרה_פורמלית_באמצעות_אלומת_פונקציות|אלומת פונקציות]] אלא בתור [[מרחב טופולוגי]] עם [[אלומה (מתמטיקה)|אלומה]] של אלגבראות אבסטרקטיות. מבנה כזה נקרא [[מרחב מחויג]].

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

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

== הגדרה ==
=== סכמות אפיניות ===
{{ערך מורחב|סכמה אפינית}}
'''סכמה אפינית''' היא [[מרחב מחויג]] מקומית <math>(X,\mathcal{O}_X)</math> שאיזומורפי (כמרחב מחויג מקומית) ל[[ספקטרום של חוג]] קומוטטיבי.

=== סכמות כלליות ===
'''סכמה'''{{הערה|{{Citation|first1=Robin|last1=Hartshorne|title=Algebraic Geometry|publisher=Springer-Verlag|year=1997|isbn=978-0-387-90244-9|mr=0463157|origyear=1977|pages=74}}}} היא מרחב מחויג מקומית <math>(X,\mathcal{O}_X)</math> כך שלכל נקודה <math>x\in X</math> יש סביבה פתוחה <math>U\subseteq X</math>, כך שהמרחב המחויג <math>(U,\mathcal{O}_X|_{U})</math> הוא [[סכמה אפינית]].

מטעמי נוחות, הסכמה <math>(X,\mathcal{O}_X)</math> נקראת לעיתים <math>X</math>, ואת המרחב הטופולוגי של <math>X</math> נסמן <math>\text{sp}(X)</math>. <math>\mathcal{O}_X</math> נקראת '''אלומת המבנה''' של <math>X</math>.

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

==מורפיזמים של סכמות==
'''[[מורפיזם]] של סכמות'''{{הערה|{{Citation|first1=Robin|last1=Hartshorne|title=Algebraic Geometry|publisher=Springer-Verlag|year=1997|isbn=978-0-387-90244-9|mr=0463157|origyear=1977|pages=72}}}} הוא מורפיזם של [[מרחב מחויג|מרחבים מחויגים]] מקומית. כלומר, אם <math>X,Y</math> סכמות, מורפיזם <math>f:X \to Y</math> הוא הזוג <math>(f,f^\sharp)</math>, כאשר:

#<math>f : X\to Y</math> העתקה רציפה בין שני [[מרחב טופולוגי|מרחבים טופולוגיים]].
#<math>f^\sharp : \mathcal{O}_Y\to f_{*}\mathcal{O}_X</math> מורפיזם של אלומות כך שההומומורפיזם המושרה מ-<math>f^\sharp</math> על הנבטים הוא [[הומומורפיזם]] מקומי של [[חוג מקומי|חוגים מקומיים]], כלומר לכל <math>p\in X </math>, ההומומורפיזם המושרה <math>f_p^\sharp:\mathcal{O}_{Y,f(p)}\to\mathcal{O}_{X,p}</math> מקיים <math>f_p^\sharp(\mathfrak{m}_{f(p)})\subseteq \mathfrak{m}_p</math>.
<math>f_{*}\mathcal{O}_X</math> היא הדחיפה של האלומה <math>\mathcal{O}_X</math> על <math>Y</math>, כלומר האלומה שמתאימה לכל קבוצה פתוחה <math>V\subseteq Y</math> את החוג <math>\Gamma(f^{-1}(V), \mathcal{O}_X)</math> .

<math>\mathcal{O}_{X,p}</math> הוא [[אלומה (מתמטיקה)#%D7%A0%D7%91%D7%98 %D7%A9%D7%9C %D7%90%D7%9C%D7%95%D7%9E%D7%94|הנבט]] של האלומה <math>\mathcal{O}_{X}</math> בנקודה <math>p</math>.

<math>\mathfrak{m}_p</math> הוא האידיאל המקסימלי היחיד בחוג המקומי <math>\mathcal{O}_{X,p}</math>.

== תכונות של סכמות{{הערה|{{Citation|first1=Robin|last1=Hartshorne|title=Algebraic Geometry|publisher=Springer-Verlag|year=1997|isbn=978-0-387-90244-9|mr=0463157|origyear=1977|pages=82-83,86}}}} ==
* סכמה נקראת '''[[סכמה קשירה|קשירה]]''' אם המרחב הטופולוגי שלה [[מרחב קשיר|קשיר]].
* סכמה נקראת '''[[סכמה אי-פריקה|אי-פריקה]]''' אם המרחב הטופולוגי שלה [[מרחב אי-פריק|אי-פריק]].
* {{עוגן|סכמה מצומצמת|סכמה <math>X</math> נקראת '''[[סכמה מצומצמת|מצומצמת]]''' אם לכל קבוצה פתוחה <math>U</math>, החוג <math>\mathcal O_X(U)</math> חסר נילפוטנטים. באופן שקול, <math>X</math> מצומצמת אם לכל נקודה <math>P\in X</math> החוג המקומי <math>\mathcal O_{X,P}</math> [[איבר נילפוטנטי|חסר נילפוטנטים]].}}
* {{עוגן|סכמה אינטגרלית|סכמה <math>X</math> נקראת '''[[סכמה אינטגרלית|אינטגרלית]]''' (integral) אם לכל קבוצה פתוחה <math>U</math>, החוג <math>\mathcal O_X(U)</math> הוא [[תחום שלמות]]. סכמה היא אינטגרלית אם"ם היא גם אי פריקה וגם מצומצמת.}}
* {{עוגן|סכמה נתרית|סכמה <math>X</math> היא '''[[סכמה נתרית|נתרית]] מקומית''' אם היא ניתנת לכיסוי על ידי [[קבוצה פתוחה|קבוצות פתוחות]] אפיניות <math>\text {Spec} A_i</math>, כשכל <math>A_i</math> הוא [[חוג נתרי]]. <math>X</math> היא '''נתרית''' אם היא נתרית מקומית וקוואזי-קומפקטית. באופן שקול, <math>X</math> היא נתרית אם היא ניתנת לכיסוי על ידי מספר סופי של קבוצות פתוחות אפיניות <math>\text {Spec} A_i</math> כשכל <math>A_i</math> הוא חוג נתרי. הערה: המרחב הטופולוגי של סכמה נתרית הוא [[מרחב טופולוגי נתרי|נתרי]], אבל לא בהכרח להפך.}}
* '''ה[[ממד (גאומטריה אלגברית)|ממד]]''' של סכמה <math>X</math>, מסומן <math>\text{dim}X</math>, הוא [[ממד קרול]] שלה כמרחב טופולוגי ([[סופרימום]] אורך שרשאות ההכלה של תת-קבוצות סגורות אי פריקות שונות). אם <math>Z</math> תת-קבוצה אי-פריקה סגורה של <math>X</math>, אז '''הקו-ממד''' של <math>Z</math> ב-<math>X</math>, המסומן <math>\text{codim}(Z,X)</math> הוא סופרימום אורכי השרשראות <math>Z=Z_0<Z_1<...<Z_n</math> של תת-קבוצות שונות סגורות אי-פריקות של <math>X</math>, שמתחילות ב-<math>Z</math>. אם <math>Y</math> תת-קבוצה סגורה כלשהי של <math>X</math>, מגדירים <math>\text{codim}(Y,X)=\text{inf}_{Z\subseteq Y}\text{codim}(Z,X)</math>.
*המימד של סכמה נתרית תמיד סופי.
{{עץ מיון של סכמות}}

== היבט קטגורי ==
{{הפניה לערך מורחב|תורת הקטגוריות}}
=== הקטגוריה של סכמות אפיניות ===
לכל סכמה <math>X</math> יש מורפיזם טבעי <math>\theta:X\to\text{Spec}\Gamma(X,\mathcal{O}_X)</math> שהוא [[איזומורפיזם]] אם ורק אם <math>X</math> סכמה אפינית. באופן שקול, אם <math>R</math> [[חוג קומוטטיבי עם יחידה]] ו-<math>X</math> סכמה, אז יש התאמה חח"ע ועל:

<math>\text{Mor}(X,\text{Spec}R) \cong \text{Hom}(R,\Gamma(X,\mathcal{O}_X))</math>

'''הוכחה''': ההעתקה <math>\phi \mapsto \operatorname{Spec}(\phi) \circ \theta</math> מצד ימין לצד שמאל היא האיזומורפיזם הדרוש.

יתרה מזאת, הטענה דלעיל יכולה לתת אפיון של סכמות אפיניות כך: סכמה <math>X</math> היא אפינית [[אם ורק אם]] לכל סכמה <math>S</math> ההעתקה <math>\text{Mor}(S,X)\to \text{Hom}(\Gamma(X,\mathcal{O}_X),\Gamma(S,\mathcal{O}_S))</math> היא חח"ע ועל.

'''הוכחה''': אם ההעתקה חח"ע ועל אז <math>\text{Mor}(-,X) \simeq\text{Mor}(-,\text{Spec}\Gamma(X,\mathcal{O}_X))</math> ולכן <math>X</math> איזומורפי ל-<math>\text{Spec}\Gamma(X,\mathcal{O}_X)</math> מ[[הלמה של יונדה]]. הכיוון השני ברור.

אם נסמן את [[קטגוריה (מתמטיקה)|קטגוריית]] הסכמות האפיניות ב-<math>\text{ASch}</math> נקבל תוצאה חשובה: <math>\text{Ring}^{\text{op}} = \text{ASch}</math>, כלומר קטגוריית הסכמות האפיניות [[שקילות קטגורית|שקולה]] ל[[קטגוריה הפוכה|קטגוריה ההפוכה]] לקטגוריית החוגים.

=== אובייקט סופי ואובייקט תחילי ===
<math>\mathbb{Z}</math> הוא [[אובייקט התחלתי ואובייקט סופי|האובייקט ההתחלתי]] בקטגוריה של החוגים (הקומוטטיביים עם יחידה, <math>\text{Ring}</math>) ולכן מכך ש-<math>\text{Mor}(X,\text{Spec}R) \cong \text{Hom}(R,\Gamma(X,\mathcal{O}_X))</math> נקבל כי <math>\text{Spec}\mathbb{Z}</math> הוא האובייקט הסופי בקטגוריית הסכמות (<math>\text{Sch}</math>).

כלומר, מכל סכמה <math>X</math> יש מורפיזם יחיד <math>X\to \text{Spec}\mathbb{Z}</math>.

האובייקט התחילי בקטגוריית הסכמות הוא הסכמה הריקה (השווה ל-<math>\text{Spec}0</math>)

=== מכפלה מסוייבת של סכמות ===
תהי <math>S</math> סכמה, ויהיו <math>X, Y</math> סכמות מעל <math>S</math>, כלומר סכמות עם מורפיזם ל-<math>S</math>.

נגדיר את '''[[מכפלת סיבים|המכפלה המסוייבת]]''' של <math>X</math> ו-<math>Y</math> מעל <math>S</math>{{הערה|{{Citation|first1=Robin|last1=Hartshorne|title=Algebraic Geometry|publisher=Springer-Verlag|year=1997|isbn=978-0-387-90244-9|mr=0463157|origyear=1977|pages=87}}}}, מסומנת <math>X \times_S Y</math>, להיות סכמה, יחד עם מורפיזמים <math>p_1:X \times_S Y\to X</math>, <math>p_2:X \times_S Y\to Y</math>, שיוצרים דיאגרמה קומוטטיבית יחד עם המורפיזמים הנתונים <math>X\to S</math>, <math>Y\to S</math>, כך שלכל סכמה <math>Z</math> מעל <math>S</math> ומורפיזמים <math>f:Z\to X</math>, <math>g:Z\to Y</math> שיוצרים דיאגרמה קומוטטיבית עם המורפיזמים <math>X\to S</math>, <math>Y\to S</math>, קיים מורפיזם יחיד <math>\theta :Z\to X \times _SY</math> עבורו <math>f=p_1\circ\theta</math> ו-<math>g=p_2\circ\theta</math>.

[[קובץ:Diagram of Fiber Product.jpg|טקסט=|לא ממוסגר|306x306 פיקסלים]]

המורפיזמים <math>p_1</math> ו-<math>p_2</math> נקראים '''הטלות''' (projection morphisms) של המכפלה המסוייבת על גורמי המכפלה.

אם <math>X, Y</math> נתונות ללא סכמת בסיס <math>S</math>, לוקחים <math>S=\text{Spec}\Z</math>.

משפט: לכל זוג סכמות <math>X, Y</math> מעל סכמה <math>S</math>, המכפלה המסוייבת <math>X \times_S Y</math> קיימת.

בקטגוריית הסכמות האפיניות <math>\text{ASch}</math> שאיזומורפית לקטגוריה ההפוכה לקטגוריית החוגים<math>\text{Ring}^{\text{op}}</math>, המכפלה המסוייבת מקבילה למכפלה הטנזורית בקטגוריית החוגים. כלומר, אם <math>X=\text{Spec}(A),Y=\text{Spec}(B),Z=\text{Spec}(C)</math> סכמות אפיניות, <math>A,B,C</math> חוגים, ויש מורפיזמים <math>X\to Z, Y\to Z</math>, אזי <math>X \times_Z Y \cong \text{Spec}(A\otimes_C B)</math>.

=== דחיפה (pushout) ===
[[pushout|דחיפה]] היא מושג דואלי למכפלה מסוייבת. כלומר דחיפה בקטגוריה <math>\mathcal C </math> היא מכפלה מסוייבת בקטגוריה ההפוכה <math>\mathcal C^{\text{op}}</math>.

יהיו <math>X,Y,Z</math> סכמות עם מורפיזמים <math>f:Z\to X</math> ו-<math>g:Z\to Y</math>.

נגדיר את '''הדחיפה <math>P:=X\sqcup _Z Y </math>''' להיות סכמה, יחד עם מורפיזמים <math>i_1:X \to P</math>, <math>i_2:Y \to P</math>, שיוצרים דיאגרמה קומוטטיבית יחד עם המורפיזמים הנתונים <math>f</math> ו-<math>g</math>, כך שלכל סכמה <math>Q</math> ומורפיזמים <math>j_1:X \to Q</math>, <math>j_2:Y\to Q</math> שיוצרים דיאגרמה קומוטטיבית עם המורפיזמים <math>f</math> ו-<math>g</math> קיים מורפיזם יחיד <math>u :P \to Q</math> עבורו <math>j_1 = u \circ i_1</math> ו-<math>j_2 = u \circ i_2</math>.

[[קובץ:Categorical_pushout_(expanded).svg|לא ממוסגר]]

אם <math>f</math> ו-<math>g</math> הם שיכונים סגורים הדחיפה קיימת, והיא שווה להדבקה של <math>X</math> ו-<math>Y</math> לאורך<math>Z</math>.<ref>{{צ-מאמר|מחבר=Karl Schwede|שם=Gluing schemes and a scheme without closed points|כתב עת=Contemporary Mathematics|שנת הוצאה=2004|עמ=10}}</ref>

בקטגוריית הסכמות הדחיפה לא תמיד קיימת. לעומת זאת, בקטגוריית הסכמות האפיניות הדחיפה קיימת תמיד: אם <math>X=\text{Spec}A, Y=\text{Spec}B,Z=\text{Spec}R</math> סכמות אפיניות עם מורפיזמים שנובעים מההומומורפיזמים <math>\psi : B \to R</math> ו- <math>\phi : A \to R</math>, אז הדחיפה '''<math>X\sqcup _Z Y </math>''' קיימת, והיא תהיה <math>\text{Spec}D</math> כאשר <math>D = A\times _R B := \{(a,b)\in A \times B |\phi(a) = \psi(b)\}</math>.

הדחיפה בסכמות אפיניות לא בהכרח שווה לדחיפה בסכמות. דוגמה לכך היא דחיפה של שני ישרים לאורך ישר בלי הראשית, כאשר הוא משוכן בראשון על ידי הזהות, ובשני על ידי <math>t\mapsto {1\over t}</math>. אז הדחיפה בקטגוריית הסכמות תהיה הישר הפרויקטיבי (מעגל), ובקטגוריית הסכמות האפיניות הדחיפה קורסת לסכמה אפינית - נקודה אחת.

====הדבקה====
מקרה חשוב של דחיפה הוא המקרה בו ההעתקות מ-<math>Z</math> הן שיכונים פתוחים. במקרה זה הדחיפה תמיד קיימת בקטגוריית הסכמות. מקרה זה נקראה לעיתים הדבקה.

=== סיב של מורפיזם ===
יהי <math>f : X\to Y</math> מורפיזם של סכמות (במקרה כזה נהוג להגיד ש-<math>X</math> היא סכמה מעל <math>Y</math>), ותהי <math>y\in Y</math> נקודה. יהי <math>k(y)</math> שדה השאריות של <math>y</math>, ויהי <math>\text{Spec} k(y)\to Y</math> המורפיזם הטבעי. אז נגדיר את '''ה[[סיב (מתמטקיה)|סיב]]''' של המורפיזם{{הערה|שם=Robin|{{Citation|first1=Robin|last1=Hartshorne|title=Algebraic Geometry|publisher=Springer-Verlag|year=1997|isbn=978-0-387-90244-9|mr=0463157|origyear=1977|pages=89-90}}}} <math>f</math> מעל הנקודה <math>y</math> להיות הסכמה <math>X_y=X\times_Y\text{Spec}k(y)</math>.

מושג הסיב של מורפיזם מאפשר להתייחס למורפיזם כמשפחה של סכמות (שנקראות '''הסיבים''' שלו), שמתוארות לפי פרמטרים של נקודות בסכמת התמונה. מהצד השני, המובן הזה של משפחה של סכמות הוא דרך טובה להבין משפחות של סכמות שמשתנות אלגברית. למשל, לכל סכמה <math>X</math> יש העתקה ל-<math>\text{Spec}\Z</math>, כלומר כל סכמה היא סכמה מעל <math>\text{Spec}\Z</math>. במקרה הזה, הסיב מעל הנקודה הגנרית נותן סכמה <math>X_{\Q}</math> מעל <math>\Q</math>, והסיב מעל נקודה סגורה, שמתאימה ל[[מספר ראשוני]] <math>p</math>, יהיה סכמה <math>X_p</math> מעל השדה הסופי <math>\mathbb{F} _p</math>. נאמר כי <math>X_p</math> נוצרת על ידי '''צמצום''' מודולו <math>p</math> של הסכמה <math>X</math>.

=== הרחבת בסיס ===
תוצאה חשובה של הגדרת המכפלה המסוייבת היא הרעיון של הרחבת בסיס.

תהי <math>S</math> סכמת בסיס. אם <math>S'</math> סכמת בסיס נוספת, ו-<math>S'\to S</math> מורפיזם, אז לכל סכמה <math>X</math> מעל <math>S</math> נגדיר <math>X'=X\times _S S'</math>, שהיא סכמה מעל <math>S'</math>. נאמר כי <math>X'</math> מתקבלת מ-<math>X</math> על ידי '''הרחבת בסיס''' <math>S'\to S</math>.{{הערה|שם=Robin}}

== תכונות של מורפיזמים של סכמות{{הערה|{{Citation|first1=Robin|last1=Hartshorne|title=Algebraic Geometry|publisher=Springer-Verlag|year=1997|isbn=978-0-387-90244-9|mr=0463157|origyear=1977|pages=84-85,96,100}}}} ==
* {{עוגן|קוואזי-קומפקטי|מורפיזם מורפיזם <math>f : X\to Y</math> נקרא '''קוואזי-קומפקטי''' אם קיים כיסוי של <math>Y</math> על ידי קבוצות פתוחות אפיניות <math>V_i</math> כך ש-<math>f^{-1}(V_i)</math> [[קבוצה קומפקטית|קוואזי-קומפקטי]] לכל <math>i</math>.}}
* {{עוגן|מורפיזם מטיפוס סופי| מורפיזם <math>f : X\to Y</math> נקרא '''מטיפוס סופי מקומית''' אם קיים כיסוי של <math>Y</math> על ידי קבוצות פתוחות אפיניות <math>V_i=\text{Spec}B_i</math> כך שלכל <math>i</math>, <math>f^{-1}(V_i)</math> ניתנת לכיסוי על ידי קבוצות פתוחות אפיניות <math>U_{i,j}=\text{Spec}A_{i,j}</math> כשכל <math>A_{i,j}</math> הוא <math>B_i</math>-[[אלגברה (מבנה אלגברי)|אלגברה]] [[נוצר סופית|נוצרת סופית]]. <math>f</math> נקרא '''מטיפוס סופי''' אם בנוסף כל <math>f^{-1}(V_i)</math> ניתנת לכיסוי כנ"ל עם מספר סופי של <math>U_{i,j}</math>.}}
* {{עוגן|מורפיזם סופי|מורפיזם <math>f : X\to Y</math> נקרא '''סופי''' אם קיים כיסוי של <math>Y</math> על ידי קבוצות פתוחות אפיניות <math>V_i=\text{Spec}B_i</math> כך שלכל <math>i</math>, <math>f^{-1}(V_i)</math> אפינית, שווה ל-<math>\text {Spec} A_i</math>, כאשר כל <math>A_i</math> הוא <math>B_i</math>-אלגברה שהיא <math>B_i</math>-מודול נוצר סופית.}}
* {{עוגן|תת סכמה פתוחה|'''תת סכמה פתוחה''' של סכמה <math>X</math> היא סכמה <math>U</math> שהמרחב הטופולוגי שלה הוא תת-קבוצה פתוחה של <math>X</math> ושאלומת המבנה שלה <math>\mathcal O_U</math> איזומורפית לאלומה המצומצמת <math>\mathcal O_X|_U</math>. '''שיכון פתוח''' הוא מורפיזם <math>f: X \to Y</math> שמשרה איזומורפיזם מ-<math>X</math> לתת סכמה פתוחה של <math>Y</math>.}}
* {{עוגן|שיכון סגור|'''שיכון סגור''' הוא מורפיזם של סכמות <math>f: Y \to X</math> כך ש-<math>f</math> משרה [[הומיאומורפיזם]] מ-<math>\text{sp}(Y)</math> לתת מרחב סגור של <math>\text{sp}(X)</math> וההעתקה <math>{\displaystyle f^\sharp:{\mathcal {O}}_{X}\to f_{*}{\mathcal {O}}_{Y}}</math> היא על. '''תת סכמה סגורה''' של סכמה <math>X</math> היא [[מחלקת שקילות]] של שיכונים סגורים, כאשר אנו אומרים שהשיכונים <math>f: Y \to X</math> ו-<math>f': Y' \to X</math> שקולים אם קיים איזומורפיזם <math>i: Y' \to Y</math> כך ש-<math>f' = f \circ i</math>}}
* יהי <math>f: X \to Y</math> מורפיזם של סכמות. '''מורפיזם האלכסון''' הוא המורפיזם היחיד <math>\Delta: X \to X \times_Y X</math> שהרכבתו עם כל אחת מההטלות <math>p_1,p_2: X \times_Y X \to X</math> היא העתקת הזהות <math> X \to X</math>.
* מורפיזם <math>f: X \to Y</math> נקרא '''[[מורפיזם מופרד|מופרד]]''' אם מורפיזם האלכסון <math>\Delta</math> הוא שיכון סגור. במקרה זה אנו אומרים שהסכמה <math>X</math> '''מופרדת מעל''' <math>Y</math>. סכמה <math>X</math> היא '''מופרדת''' אם היא מופרדת מעל <math>\text{Spec} \Z</math>.
* מורפיזם של סכמות נקרא '''סגור''' אם ההעתקה של המרחבים הטופולוגיים היא העתקה סגורה (שולחת תת-[[קבוצה סגורה]] לתת קבוצה סגורה).
* מורפיזם <math>f: X \to Y</math> נקרא '''סגור אוניברסלית''' אם הוא מורפיזם סגור ועבור כל מורפיזם אחר <math>Y' \to Y</math> המורפיזם <math>f': X' \to Y'</math> המתקבל מהרחבת בסיס של <math>f</math> גם הוא מורפיזם סגור.
* מורפיזם <math>f: X \to Y</math> נקרא '''[[מורפיזם נאות|נאות]]''' אם הוא מופרד, מטיפוס סופי וסגור אוניברסלית. במצב הזה אומרים ש-<math>X</math> '''נאותה מעל''' <math>Y</math>. סכמה נקראת '''נאותה''' אם היא נאותה מעל <math>\text{Spec}\Z</math>.
למורפיזמים יש חשיבות רבה בתיאוריה הזאת וגרותנדיק אף אמר כי ''"לא צריך ללמוד סכמות, צריך ללמוד מורפיזמים".''{{מקור}}
{{עץ מיון של העתקות כלליות בין סכמות}}
{{עץ מיון של העתקות מיוצגות סופית בין סכמות}}

==דוגמאות==
* <math>\text{Spec}\Z</math> היא דוגמה חשובה ובסיסית של סכמה. ניתן לראות ב [[תורת המספרים האלגברית]] מחקר של סכמה זאת וסכמות סופיות מעליה (זאת אמרת סכמות יחד עם העתקה סופית לסכמה זאת).
* יהי <math>k</math> שדה. פולינום <math>f\in k[x_1,..,x_n]</math> מגדיר תת-סכמה סגורה במרחב האפיני <math>\mathbb{A}_k^n</math> על ידי <math>\text{Spec}(k[x_1,...,x_n]/(f))</math>. סכמה כזאת נקראת '''[[היפר משטח]]'''. לדוגמה, הפולינום <math>f = x^2-y^2(y+1)</math> מגדיר [[עקום אלגברי|עקומה]] סינגולרית ב-<math>\mathbb{A}_{\mathbb{C}}^2</math>.
* לכל חוג <math>R</math> אפשר לבנות את ה[[מרחב פרויקטיבי|מרחב הפרויקטיבי]] ה-n ממדי מעל <math>R</math> על ידי "הדבקת" n+1 עותקים של המרחב <math>\text{Spec}(R[x_1,...,x_n])</math> לאורך הקבוצות הפתוחות.
* [[קובץ:Non separated scheme.png|ממוזער|220x220 פיקסלים|יריעה לא [[יריעה פרידה|פרידה]] המתקבלת מהדבקה של שני ישרים לאורך המשלים לראשית. יש להדביק לפי החצים הכחולים אך לא להדביק את הראשית (המסומנת בצלב אדום)]]'''הישר עם "שני" אפסים''', ניקח שני עותקים של הישר האפיני (מעל שדה <math>k</math> כלשהו) ונזהה את הנקודות בקבוצה הפתוחה <math>\mathbb{A}_{\mathbb{C}}^1-\{\bar 0\}</math> עם עצמן על ידי הזהות, פורמלית: <math>\left ( \mathbb{A}_{\mathbb C}^1\coprod \mathbb{A}_{\mathbb C}^1\right )/\sim</math> כאשר היחס שקילות הוא זה שתיארנו. זוהי דוגמה ל[[מורפיזם מופרד|סכמה לא פרידה]], ובפרט לא אפינית.
* [[פולינום]] הומוגני <math>f\in R[x_1,...,x_n]</math> ממעלה חיובית מגדיר תת-סכמה סגורה במרחב הפרויקטיבי <math>\mathbb{P}_{R}^n</math> על ידי <math>f=0</math>, שנקראת היפר-משטח פרויקטיבי. פורמלית, תת-הסכמה היא <math>\text{Proj}(R[x_1,...x_n]/f(x))</math>. לדוגמה, תת-הסכמה המוגדרת על ידי <math>x^3+y^3=z^3</math> ב-<math>\mathbb{P}^2_\Q</math> זה [[עקום אליפטי]] מעל הרציונלים.
* תת-קבוצה פתוחה של סכמה אפינית נקראת '''קוואזי-אפינית''', והיא אינה בהכרח אפינית. לדוגמה, <math>X=\mathbb{A}^n-0</math> מעל המרוכבים; במקרה זה,  המרחב <math>X</math> לא אפיני עבור <math>n\geq 2</math> (עבור <math>n=1</math> נקבל את הציר בלי הראשית וזה איזומורפי ל-<math>\text{Spec}\mathbb{C}[x,x^{-1}]</math> ובפרט אפיני). כדי להראות שהמרחב לא אפיני עבור <math>n\geq 2</math>, צריך להראות שכל [[פונקציה]] רגולרית על המרחב ניתנת להרחבה באופן יחיד לכל המרחב האפיני (הטענה דומה ללמה של הארטוגס מאנליזה מרוכבת אך קלה יותר להוכחה). ההכלה <math>i:X\to \mathbb A^n </math> משרה הומומורפיזם של חוגים <math>i^\sharp:\mathcal O_{\mathbb A^n}(\mathbb A^n)\to \mathcal O_X(X)</math>. מכיוון שכל פונקציה רגולרית על <math>X</math> ניתנת להרחבה על כל המרחב האפיני אז <math>i^\sharp</math> הוא איזומורפיזם. אם <math>X</math> הייתה סכמה אפינית אז ''<math>i </math>'' היה איזומורפיזם של סכמות אך הוא לא על ולכן לא איזומורפיזם.
*סכמה פרויקטיבית אינה אפינית (אלא אם כן היא סופית).

== ראו גם ==
* [[גאומטריה אלגברית]]
* [[יריעה אלגברית]]
* [[מורפיזמים מופרדים ונאותים]]

== לקריאה נוספת ==
* {{Citation|first1=Robin|last1=Hartshorne|title=Algebraic Geometry|publisher=Springer-Verlag|year=1997|isbn=978-0-387-90244-9|mr=0463157|origyear=1977|pages=69–108}}
*{{Citation|first1=יעקב|last1=ורשבסקי|url=https://www.cs.huji.ac.il/~omershe/notes/algeo.pdf |title="מושגי יסוד בגיאומטריה אלגברית 1" |year=2016|publication-place=האוניברסיטה העברית|language=עברית|editor1=עומר שכטר}}
*{{Citation|first1=Ravi|last1=Vakil|title=Foundations of Algebraic Geometry|year=2017|ISBN=978-0821810293}}

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}
* [http://www.dam.brown.edu/people/mumford/blog/2014/Grothendieck.html טקסט] של [[דוד ממפורד]] שמסביר את מושג הסכמה לקהל רחב.
*{{Citation | author1= המחברים של [[Stacks Project]] | title=The Stacks Project  | url=http://stacks.math.columbia.edu/}}

== הערות שוליים ==
{{הערות שוליים|יישור=שמאל}}

{{בקרת זהויות}}

[[קטגוריה:גאומטריה אלגברית]]