הצגת המקור של הדף "ניפוח (גאומטריה אלגברית)"

[[קובץ:blow_up.png|שמאל|ממוזער|250px|המחשה גאומטרית של הניפוח של המישור בנקודה. אפשר לחשוב על הניפוח הזה כגרף של הפונקציה (הרב ערכית) הנתונה על ידי הנוסחה: <math> (x,y)\mapsto \frac{y}{x} </math>.
העתקת הניפוח היא ההיטל של גרף זה על מישור ה-<math> (x,y) </math> (שיקוף).
הישרים השחורים עוברים לישרים שונים במישור. הישר האדום עובר כולו ל-0. הוא נקרא [[הסיב המיוחד]]. אלמלא הייתה התמונה חסומה בגובה, היה אפשר לראות בה את ה־[[אינסוף|<math> \infty </math>]] של הסיב המיוחד ואת הישר בו <math> z=\infty </math> שעובר (תחת ההיטל) לציר ה-<math> y </math>.]]
ב[[גאומטריה אלגברית]] '''ניפוח''' (ב[[אנגלית]]: '''Blowing up{{הערה|מתורגם לעיתים באופן שגוי או היתולי כ"פיצוץ"}}''') הוא פעולה שאפשר לבצע על [[יריעה אלגברית]] (או באופן כללי יותר על [[סכמה (מתמטיקה)|סכמה]]). הניפוח משנה את מבנה היריעה בצורה מבוקרת ומהווה כלי חשוב בגאומטריה אלגברית. הניפוח מאפשר לפשט יריעות אלגבריות ואובייקטים אלגבריים עליהן ועומד בבסיס תהליך [[התרת סינגולריות|התרת הסינגולריות]] {{אנ| Resolution of singularities}}. ניתן לחשוב על ניפוח כגרסה אלגברית, מופשטת, וכללית של מעבר ל[[קואורדינטות קוטביות]].

ניפוח של יריעה אלגברית <math>X</math> לאורך תת-יריעה סגורה <math>Z</math> היא בנייה מסוימת של יריעה <math>Bl_Z(X)</math> ביחד עם [[העתקה נאותה]] <math>p:Bl_Z(X) \to X</math> המהווה [[איזומורפיזם]] מחוץ ל-<math>Z</math>. באופן אינטואיטיבי הניפוח מחליף את <math>Z</math> בפרויקטיביזציה של האגד הנורמלי ל-<math>Z</math>.

==ניפוח של מרחב אפיני לאורך נקודה==
הדוגמה הבסיסית ביותר לניפוח היא ניפוח של מרחב לאורך נקודה. בדוגמה זו ניתן להגדיר את הניפוח באופן גאומטרי פשוט ומפורש. ניתן כאן את ההגדרה למקרה הזה.

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

בהינתן [[מרחב אפיני (גאומטריה אלגברית)|מרחב אפיני]] {{אנ|Affine space}} <math>V</math> ונקודה <math>x\in V</math>, הניפוח של <math>V</math> לאורך <math>x</math> הוא יריעה אלגברית <math>Bl_x(V)</math> המהווה את אוסף הזוגות המורכבים מישר <math>L</math> ב- <math>V</math> שעובר דרך <math>x</math> ומנקודה <math>y\in L</math>. לפי ההגדרה <math>Bl_x(V)</math> היא תת-קבוצה של המרחב של המכפלה <math>\mathbb P_x(V) \times V</math> כאשר <math>\mathbb P_x(V) </math> הוא [[מרחב פרויקטיבי (גאומטריה אלגברית)|המרחב הפרויקטיבי]] המהווה את אוסף הישרים ב-<math>V</math> העוברים דרך <math>x</math>. קל לראות ש- <math>Bl_x(V)\subset \mathbb P_x(V) \times V </math> היא קבוצה סגורה ב[[טופולוגיית זריצקי]]. הבחנה זו נותנת מבנה של [[יריעה אלגברית]] ([[יריעה קוואזי-פרויקטיבית|קוואזי-פרויקטיבית]]) על <math>Bl_x(V)</math>. כמו כן אנו מקבלים העתקת הטל <math>p:Bl_x(V)\to V</math>.

הן היריעה <math>Bl_x(V)</math> והן ההעתקה<math>p:Bl_x(V)\to V</math> נקראות הניפוח של <math>V</math> לאורך <math>x</math> (או ב-<math>x</math>). הנקודה <math>x</math> (כמו גם הקבוצה <math>\{x\}</math>) נקראת מרכז הניפוח.

ההעתקה <math>p:Bl_x(V)\to V</math> היא [[העתקה בירציונלית|בירציונלית]] (זאת אומרת שהיא מהווה איזומורפיזם לאחר שמצמצמים אותה לקבוצות פתוחות וצפופות במקור ובטווח) ו[[מורפיזמים מופרדים ונאותים|נאותה]]. במילים אחרות, זו היא [[מודיפיקציה (גאומטריה אלגברית)|מודיפיקציה]]. זה גם המצב עבור ניפוח במקרה הכללי.

==קשר עם קואורדינטות פולריות וספיריות==
[[קואורדינטות קוטביות|קואורדינטות פולאריות]] הן דרך לתאר נקודה במישור באמצעות שני מספרים <math>\phi, r</math> כאשר <math>\phi\in[0,2\pi]</math> היא [[זווית]] ו-<math>r\in [0,\infty)</math> הוא מרחק הנקודה מהראשית. כך אנחנו מקבלים העתקה <math>q:[0,2\pi] \times [0,\infty)\to \R^2</math>. העתקה זו איננה [[פונקציה חד-חד-ערכית|חד-חד-ערכית]], מכיוון שלחלק מהנקודות יש מספר יצוגים שונים בקואורדינטות פולריות.

נשים לב שכאשר <math>r=1</math> אנחנו מקבלים נקודה על [[מעגל היחידה]] <math>S^1</math>. לכן ניתן לחשוב על קואורדינטות פולריות בשני שלבים. בשלב הראשון <math>\phi</math> מיצגת נקודה על מעגל היחידה, ובשלב השני הזוג המורכב מנקודה זו והמספר <math>r</math> מיצג נקודה במישור. במילים אחרות אנחנו מציגים את <math>q</math> כהרכבה <math>[0,2\pi] \times [0,\infty)\to S^1 \times [0,\infty)\to \R^2</math>. לצורך הקשר עם ניפוח נתמקד בחלק השני של ההרכבה <math>\pi: S^1 \times [0,\infty)\to \R^2</math>.

העתקה זו ניתנת ל[[הכללה (מתמטיקה)|הכללה]] למרחבים מ[[ממד (מתמטיקה)|ממד]] גבוה יותר: <math>\pi: S^{n-1} \times [0,\infty)\to \R^n</math> על ידי הנוסחה <math>p(x,r)=rx</math> כאשר <math>S^{n-1}</math> היא [[ספירה (גאומטריה)|ספירת]] היחידה במרחב <math>\R^n</math>. להכללה זו קוראים [[קואורדינטות כדוריות]]{{הערה|במקרה התלת־ממדי מקובל לבחור על הספירה זוג קואורדינטות זוויתיות, ולשלוש הקואורדינטות המתקבלות לקרוא קואורדינטות כדוריות}}. ההעתקה <math>\pi: S^{n-1} \times [0,\infty)\to \R^n</math> דומה מאוד לניפוח. ליתר דיוק ניתן לכתוב אותה כהרכבה <math> S^{n-1} \times [0,\infty)\to Bl_0(\R^n) \overset{p}{\to} \R^n </math> כאשר ההעתקה הראשונה מתקבלת מההעתקה הטבעית <math>S^{n-1}\to \mathbb P^{n-1}</math>. במילים אחרות היריעה <math> Bl_0(\R^n)</math> מתקבלת מהיריעה <math> S^{n-1} \times [0,\infty)</math> על ידי הדבקת כל נקודה בספירה <math>S^{n-1}\times\{0\} \subset S^{n-1}\times [0,\infty)</math> לנקודה הנגדית שלה.

יש מספר הבדלים בולטים בין הניפוח לקואורדינטות ספיריות:
* הניפוח עובד מעל כל שדה, בעוד שקואורדינטות ספיריות תקפות רק מעל [[שדה המספרים הממשיים|הממשיים]].
* קואורדינטות ספיריות מפורשות, הכוללות גם קוארדינטות זוויתיות על הספירה מבוססות על [[פונקציות טריגונומטריות]] שאינן אלגבריות, בעוד שניפוח הוא פעולה אלגברית לחלוטין.
* היריעה <math> Bl_0(\R^n)</math> היא יריעה חלקה ללא שפה, בעוד שהיריעה <math> S^{n-1} \times [0,\infty)</math> היא יריעה עם שפה.
* היריעה <math> Bl_0(\R^n)</math> איננה [[יריעה אוריינטבילית|אוריינטבילית]], בעוד שהיריעה <math> S^{n-1} \times [0,\infty)</math> אוריינטביליות.
* לדוגמה, במקרה הדו-ממדי עיגול סביב <math>0</math> במישור מתאים ל[[טבעת מביוס]] ב <math> Bl_0(\R^2)</math>, ול[[טבעת (גאומטריה)|טבעת רגילה]] (<math>S^1\times [0,1)</math>) ב-<math> S^{1} \times [0,\infty)</math>.

למרות ההבדלים, קואורדינטות פולריות וספיריות מספקות תמונה אינטואיטיבית טובה עבור ניפוח.

==הקשר וטרמינולוגיה==
בהינתן [[יריעה אלגברית]] <math>X</math> ותת-יריעה [[טופולוגיית זריצקי|סגורה]] <math>Z\subset X</math> הניפוח של  <math>X</math> לאורך  <math>Z</math> (או ב-<math>Z</math>) הוא יריעה (מסוימת) <math>Bl_Z(X)</math> יחד עם העתקה <math>p_{(X,Z)}:Bl_Z(X)\to X</math>. הן היריעה  <math>Bl_Z(X)</math>  והן ההעתקה <math>p_{(X,Z)}</math> נקראת הניפוח. היריעה <math>Z</math>  נקראת מרכז הניפוח. [[תמונה הפוכה|התמונה ההפוכה]] של מרכז הניפוח תחת העתקת הניפוח נקראת [[המחלק המיוחד]] {{אנ|Exceptional divisor}} והיא תמיד [[מחלק קרטייה]] {{אנ|Divisor (algebraic geometry)}} ב- <math>Bl_Z(X)</math>. זאת אומרת שהיא תת-יריעה (או ליתר דיוק תת-סכמה)  של <math>Bl_Z(X)</math> המוגדרת מקומית על ידי משוואה אחת (שאינה [[מחלק אפס|מחלקת אפס]]).

אם <math>X</math> [[יריעה אלגברית אפינית|אפינית]] אז ניתן להתאים ל-<math>Z</math> את ה[[אידיאל (אלגברה)|אידיאל]] <math>I(Z)</math> של [[פונקציה רגולרית (גאומטריה אלגברית)|הפונקציות הרגולריות]] על <math>X</math> שמתאפסות על <math>Z</math>. לניפוח לאורך <math>Z</math> קוראים גם הניפוח לאורך האידיאל <math>I(Z)</math>. רק [[רדיקל של אידיאל|אידיאלים רדיקליים]] ניתן להציג בתור <math>I(Z)</math> עבור איזשהו <math>Z</math>. אולם ניתן לנפח יריעות אפיניות לאורך כל אידיאל של פונקציות רגולריות. באופן כללי יותר, אם <math>X</math> לא אפינית, ניתן לנפח אותה לאורך כל [[אלומת אידיאלים]] <math>\mathcal I\subset O_X</math>.

מושג הניפוח קיים גם עבור [[סכמה (מתמטיקה)|סכמות]]: ניתן לנפח סכמה <math>X</math> לאורך תת-סכמה סגורה <math>Z\subset X</math>. הטרמינולוגיה והסימונים לניפוח סכמות זהים לאלה של יריעות. בשונה מיריעות, עבור סכמה <math>X</math>, כל אלומת אידיאלים <math>\mathcal I\subset O_X</math> היא אלומת הפונקציות הרגולריות המתאפסות על תת-סכמה סגורה <math>Z\subset X</math> מתאימה, ולכן אין הבדל בכלליות בין ניפוח לאורך תת-סכמה סגורה וניפוח לאורך אלומת אידיאלים.

בדרך כלל מקובל לנפח לאורך תת-יריעות סגורות [[קבוצה דלילה|דלילות]] (זאת אומרת שהמשלים שלהן הוא תת-קבוצה פתוחה [[קבוצה צפופה|צפופה]]). במקרה בו היריעה <math>X</math> היא [[מרחב אי-פריק|בלתי פריקה]] הדבר שקול לכך ש - <math>Z\neq X</math>. באופן פורמלי תנאי זה לא נדרש, אולם חלק מהתכונות הבסיסיות של ניפוח לא יתקימו ללא תנאי זה. למשל אם <math >Z</math> איננה דלילה אז העתקת הניפוח לא תהיה [[פונקציה על|על]].
לדוגמה הניפוח של <math>X</math> לאורך עצמו הוא [[הקבוצה הריקה]].

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

ניתן לאפיין ניפוח כדרך אוניברסלית להפוך כל אידיאל ל[[מחלק קרטייה]], זאת אומרת [[אלומת אידיאלים]] שמקומית נוצרת על ידי איבר אחד שאינו [[מחלק אפס]].
באופן פורמלי יותר, בהינתן יריעה <math>X</math> ו[[אלומת אידיאלים]] <math>I\subset O_X</math> עליה, ניתן להגדיר את הניפוח של <math>X</math> לאורך <math>I</math> בתור יריעה <math>Bl_I(X)</math>יחד עם העתקה <math>p_{(X,I)}:Bl_I(X)\to X</math> המקיימת את התכונות הבאות:
* המשיכה <math>p_{(X,I)}^*(I)</math> היא אלומת אידיאלים על <math>Bl_I(X)</math> הנוצרת מקומית על ידי איבר אחד שאינו מחלק אפס.
* לכל העתקה <math>\pi:Y\to X</math> כך שהמשיכה <math>\pi^*(I)</math> היא אלומת אידיאלים הנוצרת מקומית על ידי איבר אחד קיימת, ויחידה ההעתקה <math>\phi:Y\to Bl_I(X)</math> כך שהדיאגרמה
<math display="block">\begin{array}{ccc}
Bl_I(X) & \stackrel{\phi}{\longleftarrow} & Y
 \\
 p_{(X,I)} \downarrow \,\,\,\,\,\,\,\,\,\,\,\,\,& &\swarrow \pi\,\,\,\,\,\,\,\,\,\,
 \\
 X & &
\end{array}</math>
:קומוטטיבית.
במילים אחרות, הניפוח הוא [[אובייקט התחלתי ואובייקט סופי|אובייקט סופי]] בקטגוריית ההעתקות <math>\pi:Y\to X</math> כך שהמשיכה <math>\pi^*(I)</math> היא מחלק קרטייה. משיקולים סטנדרטיים של [[תורת הקטגוריות]] נובע שהניפוח מאופיין ביחידות על ידי תכונות אלה. קיום הניפוח הוא טענה מסובכת יותר. אפשר לראות בבניות להלן בתור הוכחות שונות לקייום הניפוח (במקרים פרטיים או באופן כללי).

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

נשים לב שאפיון הניפוח מתבצע עבור כל זוג <math>(X,Z)</math> בניפרד והתכונות של הניפוח לא מערבות ניפוחים אחרים. לכן כשבונים את הניפוח, ניתן לעבוד על כל זוג בניפרד. כך גם כשמוכיחים שהבנייה מקיימת את התכונות.

==תכונות בסיסיות נוספות==
*[[מורפיזמים מופרדים ונאותים|נאותות]]: העתקת הניפוח <math>p_{(X,Z)}:Bl_Z(X)\to X</math> היא נאותה.
*[[העתקה רציונלית#בירציונלית|בירציונליות]]: הניפוח הוא איזומורפיזם מחוץ ל- <math>Z</math>. ליתר דיוק ההעתקה <math>p|_{p^{-1}(X\smallsetminus Z)}:p^{-1}(X\smallsetminus Z)\to X\smallsetminus Z</math> המושרית מהניפוח היא איזומורפיזם. אם <math>Z</math> דלילה זה אומר שהניפוח הוא [[העתקה רציונלית#בירציונלית|שקילות בירציונלית]].
*[[מודיפיקציה (גאמוטריה אלגברית)|מודיפיקציה]]: העתקה נאותה שהיא גם שקילות בירציונלית נקראת מודיפיקציה. מכאן שאם <math>Z</math> [[קבוצה דלילה|דלילה]] אז הניפוח הוא מודיפיקציה.
*[[פונקטור|פונקטוריאליות]]: הניפוח הוא פונקטוריאלי בזוג <math>(X,I)</math> במובן הבא: בהינתן העתקה של יריעות אלגבריות <math>\phi:X\to Y</math> ואלומת אידיאלים <math>I\subset O_Y</math> אז קיימת ויחידה העתקה <math>\psi:Bl_{\phi^{*}(I)}(X)\to Bl_{I}(Y)</math> כך שהדיאגרמה
<math display="block">\begin{array}{ccc}
\,\,\,\,\,\,\,\,\,\, \,\,\,\,\,\,\,\,\,\,Bl_{\phi^*(I)}(X) & \stackrel{\psi}{\longrightarrow} & Bl_I(Y)
 \\
 p_{(X,\phi^*(I))} \downarrow & &\,\,\,\,\,\,\,\,\,\,\downarrow p_{(Y,I)}
 \\
\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, X &\stackrel{\phi}{\longrightarrow} & Y\,\,\,\,
\end{array}</math>
:קומוטטיבית.
*[[יריעה אלגברית חלקה|חלקות]]: אם <math>X</math> ו - <math>Z</math> חלקות אז כך גם <math>Bl_Z(X)</math>.
*[[המחלק המיוחד]]: אם <math>X</math> ו - <math>Z</math> חלקות אז המחלק המיוחד <math>p_{X,Z}^{-1}(Z)</math> איזומורפי לפרויקטיביזציה של [[האגד הנורמלי]] ל-<math>Z</math> ב- <math>X</math>.
*ניפוח לאורך [[מחלק קרטייה]]: אם <math>Z</math> הוא מחלק קרטייה ב- <math>X</math> אז הניפוח <math>p_{(X,Z)}:Bl_Z(X)\to X</math> הוא איזומורפיזם.

==ניפוח לאורך מרכז חלק או חיתוך מלא==
הגדרת הניפוח במקרה הכללי היא מעט אבסטרקטית ולא תמיד מפורשת. אולם במקרים פרטיים ניתן להגדיר את הניפוח בקלות יחסית ובאופן מפורש בדומה למקרה של [[ניפוח של מרחב אפיני לאורך נקודה]] שהוסבר לעיל.
===ניפוח של מרחב אפיני לאורך תת-מרחב===
בהינתן [[מרחב אפיני (גאמוטריה אלגברית)|מרחב אפיני]] <math>X</math> ותת-מרחב אפיני <math>Z</math> ניתן לבחור משלים אפיני <math>L\subset X</math> ל - <math>Z</math> ולהציג את <math>X</math> בתור ה[[מכפלה קרטזית|מכפלה]] <math>Z\times L</math>. זה מאפשר להגדיר את <math>Bl_Z(X)</math> בתור <math>Z \times BL_x(L)</math> כאשר <math>x</math> היא נקודת החיתוך בין <math>Z</math> ל- <math>L</math>.

ניתן לתאר בנייה זו עם פחות בחירות. נסמן <math>M:=X/Z</math> וב - <math>y\in M</math> את הנקודה המתאימה ל - <math>Z</math>. נקבל העתקה <math>\pi:X\to M</math> כך ש - <math>Z=\pi^{-1}(y)</math>. נגדיר את <math>Bl_{X}(Z)</math> להיות [[מכפלת סיבים|מכפלת הסיבים]] <math>X\times_M Bl_y(M)</math>.

===ניפוח של יריעה חלקה לאורך מרכז מחתוך מלא===
אם <math>X</math> יריעה חלקה ו<math>Z\subset X</math> [[תת-יריעת חיתוך מלא]] בתוכה (זאת אומרת תת-יריעה שמוגדרת על-ידי מספר משוואות השווה להפרש הממדים <math>\dim(X)-\dim(Z)</math>), אז אפשר להגדיר את הניפוח של <math>X</math> לאורך <math>Z\subset X</math> באופן הבא: תהיה <math>\phi:X\to \mathbb A^k</math> העתקה המורכבת מהמשוואות המגדירות את <math>Z</math>. זאת אומרת ש-<math>\phi</math> מקיימת <math>Z=\phi^{-1}(0)</math>. נגדיר את הניפוח <math>Bl_{X}(Z)</math> להיות [[מכפלת סיבים|מכפלת הסיבים]] <math>X\times_{\mathbb A^k} Bl_0(\mathbb A^k)</math>.

ניתן להראות שבנייה זו אינה תלויה בבחירת <math>\phi:X\to \mathbb A^k</math>. דרך אחת להראות זאת היא להראות שהבנייה מקיימת את התכונות האוניברסליות שתוארו מעלה (ראו להלן). ניתן להראות זאת גם באופן ישיר, לשם כך יש לבנות איזומורפיזם בין הבניות לכל שתי בחירות של <math>\phi</math>, ולהוכיח שעבור שלוש בחירות כאלה האיזומורפיזמים שניבנו קומפטביליים.

===ניפוח של יריעה חלקה לאורך מרכז מחיתוך מלא מקומית===
בהינתן יריעה חלקה <math>X</math>, תת-יריעה <math>Z\subset X</math> נקראת [[תת-יריעת חיתוך מלא מקומית|מחיתוך מלא מקומית]] אם ניתן לכסות את <math>X</math> על ידי קבוצות פתוחות <math>X_i</math> כך ש: <math>X_i\cap Z \subset X_i</math> היא [[תת-יריעת חיתוך מלא]] (או ריקה). מכיוון שהבנייה למעלה לא תלויה בבחירות, ניתן להרחיב אותה לבנייה של ניפוח של יריעה חלקה <math>X</math> לאורך מרכז <math>Z\subset X</math> מחתוך מלא מקומית.

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

===ניפוח של יריעה אפינית לאורך מרכז חלק===
אם <math>X\subset \mathbb A^n</math> יריעה אפינית ו<math>Z\subset X</math> יריעה חלקה ניתן להגדיר את הניפוח של <math>X</math> לאורך <math>Z</math> בתור הטרנספורם ההדוק של <math>X\subset \mathbb A^n</math> תחת ההעתקה <math display="block">p_{(\mathbb A^n,Z)}:BL_Z(\mathbb A^n)\to \mathbb A^n</math>
במילים אחרות <math display="block">Bl_Z(X):=\overline{p_{\mathbb A^n,Z}^{-1}(X\smallsetminus Z)}</math>
גם כאן ניתן להוכיח שהבנייה לא תלויה בבחירת השיכון <math>X\subset \mathbb A^n</math>, בין אם באופן ישיר ובין אם על ידי בדיקת התכונות האוניברסליות.

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

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

==ניפוח של סכמות אפיניות לאורך מרכז כללי==
===בנייה על־ידי הספקטרום הפרויקטיבי===
ההגדרה המקובלת לניפוח במקרה הכללי היא באמצעות [[ספקטרום פרויקטיבי|הספקטרום הפרויקטיבי]]. לצורך הפשטות ננתח תחילה את המקרה של ניפוח של [[סכמה אפינית]] לאורך [[אידיאל (אלגברה)|אידיאל]]. בהינתן סכמה אפינית <math>X</math> ואידיאל <math>I\subset O(X)</math> מתבוננים בחוג הבא
<math display="block">O(X)\oplus I \oplus I^2 \oplus \cdots.</math>
פעולת הכפל בחוג זה מוגדרת כך שמכפלה של איבר ב <math>I^k</math> באיבר ב <math>I^l</math> תתן את האיבר המתאים ב <math>I^{k+l}</math>.
זה [[אלגברה מדורגת|חוג מדורג]]. זאת אמרת חוג שנתון בתור [[סכום ישר]] של חבורות אבליות <math>A =\bigoplus A_k</math> כאשר כפל של שני איברים ב- <math>A_k</math> ו <math>A_l</math> הוא איבר ב-<math>A_{k+l}</math>.
ניתן להגדיר את הניפוח של <math>X</math> לאורך <math>I</math> בתור הספקטרום פרויקטיבי של חוג מדורג זה:
<math display="block">Bl_I(X)=Proj(O(X)\oplus I\oplus I^2 \oplus \cdots)</math>
הספקטרום הפרויקטיבי של חוג מדורג הוא [[יריעה קוואזי-פרויקטיבית|סכמה קוואזי-פרויקטיבית]] שמתאימה לחוג זה. בנית הספקטרום הפרויקטיבי מקבילה לבנית ה[[ספקטרום (גאומטריה אלגברית)|ספקטרום]] כאשר הספקטרום הפרויקטיבי מקבל חוגים מדורגים במקום סתם חוגים ומחזיר יריעות קוואזי-פרויקטיביות במקום יריעות אפיניות. לפי הגדרת הספקטרום הפרויקטיבי אנו מקבלים העתקה פרויקטיבית:
<math>p_{X,I}:Bl_I(X)\to Spec(O(X))=X</math>

===בנייה על־ידי מנה בפעולה של החבורה הכפלית===
לצורך הפשטות נתמקד כעת ביריעות אלגבריות מעל שדה <math>k</math>.
ניתן לתאר את הספקטרום הפרוקיטיבי של חוג מדורג באופן הגאומטרי הבא: בהינתן חוג מדורג <math>A=\bigoplus_{i=0}^{\infty} A_i</math> מעל <math>k</math>, נגדיר פעולה של ה[[חבורה (מבנה אלגברי)|חבורה]] [[החבורה הכיפלית של חוג|הכיפלית]] של השדה <math>k</math> על החוג <math>A</math> כדלקמן: הסקלר <math>\lambda\in k^\times</math> פועל על ידי <math display="block">(a_0,\dots a_n,\dots)\mapsto (a_0,\lambda a_1, \dots ,\lambda^n a_n,\dots).</math> פעולה זו משרה פעולה של החבורה <math>k^\times</math> על ה[[סכמה (מתמטיקה)|סכמה]] <math>Y=spec(A)</math>. קל לראות שניתן לזהות את יריעת [[נקודת שבת|נקודות השֶׁבֶת]] תחת פעולה זאת עם היריעה <math display="block">Y_0:=spec(A).</math>
ניתן לתאר את היריעה <math>Proj(A)</math> בתור המנה של <math>Y \smallsetminus Y_0</math> בפעולה של <math>k^\times</math>. תיאור זה מאפשר להציג את הניפוח של יריעה אפינית <math>X</math> לאורך אידיאל בתור מנה של [[יריעה קוואזי-אפינית]] מסוימת <math>Y \smallsetminus Y_0</math> בפעולה של <math>k^\times</math>.

לתיאור זה יש חיסרון: בעוד שהניפוח של [[יריעה אלגברית חלקה|יריעה חלקה]] לאורך [[תת-יריעה (גאומטריה אלגברית)|תת-יריעה]] חלקה תמיד חלק, היריעה <math>Y</math> המתקבלת מהבנייה למעלה כמעט לעולם אינה חלקה. לכן לעיתים מתמשים בבנייה שקולה ונוחה יותר:
נגדיר <math display="block">A_i=\begin{cases}
O(X) & i\leq 0\\
I^i & i\geq 0
\end{cases}</math>
ו-
<math display="block">\tilde A=\bigoplus A_i.</math>
נסמן <math display="block"> \tilde Y:=spec(\tilde A).</math>
כמו קודם, יש לנו פעולה של <math>k^\times</math>.
נגדיר <math display="block">\tilde Y_0:=spec(A/I)\times \mathbb A^1</math> ניתן לזהות באופן טבעי את <math>\tilde Y_0</math> עם תת-יריעה של <math>\tilde Y</math>. ניתן גם להראות ש <math display="block">\tilde Y \smallsetminus \tilde Y_0 \cong Y \smallsetminus Y_0</math> מכאן, שניתן להגדיר את הניפוח של <math>X</math> לאורך <math>I</math> בתור המנה של <math>\tilde Y \smallsetminus \tilde Y_0</math> בפעולת החבורה <math>k^\times</math>. קל לראות ש <math>X</math> חלקה, ו- <math>I</math> הוא האידיאל המתאים לתת-יריעה חלקה של <math>X</math> אז <math>\tilde Y</math> חלקה.

יתרון נוסף של בנייה זו הוא שהיריעה <math>\tilde Y</math> מענינת בפני עצמה. ניתן לראות בה משפחה חד פרמטרית של יריעות [[נוון (גאומטריה אלגברית)|שמנוונות]] את היריעה <math>X</math> [[אגד נורמלי|לאגד הנורמלי]] של סכמת האפסים של <math>I</math> בתוך <math>X</math>. באופן מפורש יותר ישנה העתקה טבעית <math>\pi: \tilde Y \to \mathbb A^1</math> כך שעבור כל <math>x\in \mathbb A^1</math> השונה מ-<math>0</math> מתקיים <math>\pi^{-1}(x)\cong X</math> ואילו <math>\pi^{-1}(0)</math> איזומורפי לאגד הנורמלי של סכמת האפסים של <math>I</math> בתוך <math>X</math>. יתר על כן, פעולת [[חבורה אלגברית|החבורה]] <math>k^\times</math> מתאימה לפעולה הסטנדרטית של חבורה זו על <math> \mathbb A^1</math> תחת ההעתקה <math>\pi</math>.

===הוכחת התקיימות התכונה האוניברסלית===
{{להשלים|נושא=מדעי הטבע}}

==ניפוח במקרה הכללי==
עבור [[סכמה (מתמטיקה)|סכמה]] לא אפינית, ההגדרה דומה, רק שמחליפים את האידיאל ב[[אלומת אידיאלים]]. ההגדרה המקובלת לניפוח של סכמה לאורך אלומת אידיאלים היא באמצעות [[ספקטרום פרויקטיבי|הספקטרום הפרויקטיבי]]. בהינתן סכמה <math>X</math> ואלומת אידיאלים <math>\mathcal I\subset O_X</math> מתבוננים [[אלומת חוגים|באלומת החוגים]] המדורגת הבאה
<math display="block">O_X\oplus \mathcal I \oplus \mathcal I^2 \oplus \cdots.</math> מגדירים את הניפוח של <math>X</math> לאורך <math>\mathcal I</math> להיות הספקטרום הפרויקטיבי של אלומת חוגים מדורג זאת מעל הסכמה <math>X</math>. דהינו:
<math display="block">Bl_{\mathcal I}(X):=Proj_X(O_X\oplus \mathcal I \oplus \mathcal I^2 \oplus \cdots).</math>
באופן גאומטרי, ניתן להבין בנייה זו בצורה הבאה: מכסים את <math>X</math> על ידי יריעות אפיניות פתוחות <math>U_i</math>, מנפחים כל אחת מהיריעות <math>U_i</math> לאורך <math>\mathcal I(U_i)</math>, ומדביקים את התוצאות ליריעה אחת.

גם את יתר הבניות בפרק הקודם ניתן להתאים בקלות למקרה הלא אפיני.

==דוגמאות==
* הניפוח של כל יריעה/סכמה לאורך עצמה הוא [[הקבוצה הריקה]].
* הניפוח של כל יריעה/סכמה לאורך הקבוצה הריקה הוא היריעה עצמה.
* הניפוח של [[עקום אלגברי|עקום]] חלק לאורך נקודה שלו לא משנה את העקום.
** באופן כללי יותר, הניפוח של [[יריעה אלגברית חלקה|יריעה חלקה]] [[ממד (גאומטריה אלגברית)|מממד]] <math>n</math> לאורך תת-יריעה חלקה מממד <math>n-1</math> לא משנה את היריעה (הגדולה).
*** באופן כללי עוד יותר, הניפוח של יריעה לאורך מחלק קרטיה אינו משנה את היריעה.
*הניפוח של ה[[צלב (גאומטריה אלגברית)|צלב]] (היריעה הנתונה על ידי המשוואה <math>xy=0</math>) לאורך הראשית הוא יריעה המורכבת מ[[איחוד זר]] (בילתי קשיר) של 2 ישרים.
*הניפוח של [[עקום נודלי]] (לדוגמה, העקום הנתון על ידי המשוואה <math>y^2=x^2 (x-1)</math>) לאורך הנקודה [[סינגולריות (גאומטריה אלגברית)|הסינגולרית]] שלו (בדוגמה - הראשית) הוא ישר.
*הניפוח של [[עקום קספידלי]] (לדוגמה, העקום הנתון על ידי המשוואה <math>y^2=x^3</math>) לאורך הנקודה הסינגולרית שלו (בדוגמה - הראשית) הוא ישר.
**באופן כללי יותר, הניפוח של עקום קספידלי ממעלה <math>n\geq3</math> (לדוגמה, העקום הנתון על ידי המשוואה <math>y^2=x^n</math>) לאורך הנקודה הסינגולרית שלו (בדוגמה - הראשית) הוא עקום קספידלי ממעלה <math>n-2</math>.
* הניפוח של מישור לאורך הראשית הוא (ה[[מרחב טוטלי|מרחב הטוטלי]]<nowiki/> של) [[אגד קוי]] מעל [[ישר פרויקטיבי|הישר הפרויקטיבי]].
** באופן כללי יותר, הניפוח של מרחב ליניארי מממד <math>n</math> לאורך הראשית הוא (המרחב הטוטלי של) אגד קוי מעל [[מרחב פרויקטיבי|המרחב הפרויקטיבי]] מממד <math>n-1</math>.
*הניפוח של [[קונוס ריבועי|הקונוס הריבועי]] (היריעה הנתונה על ידי המשוואה <math>z^2=x^2+y^2</math>) הוא (המרחב הטוטלי של) אגד קוי מעל הישר הפרויקטיבי.

==התרת סינגולריות==
כפי שניתן לראות מהדוגמאות למעלה, ניפוח של יריעה לא חלקה <math>X</math> לאורך [[תת-יריעה (גאומטריה אלגברית)|תת-יריעה]] חלקה שלה (שמוכלת בקבוצת הנקודות הסינגולריות של <math>X</math>), הופכת את <math>X</math> במקרים רבים לירעה "חלקה יותר". [[אוסקר זריצקי|זריציקי]] שיער שניתן להפוך כל יריעה <math>X_0</math> ליריעה חלקה באמצעות התהליך הבא:
* בוחרים (באופן מושכל) תת-יריעה סגורה וחלקה <math>Z_0\subset X_0</math> שמוכלת בקבוצת [[סינגולריות (גאומטריה אלגברית)|הנקודות הסינגולריות]] של <math>X_0</math> ומנפחים את <math>X_0</math> לאורך <math>Z_0</math>.
* מסמנים את היריעה המתקבלת ב - <math>X_1</math>.
* חוזרים על התהליך עם היריעה <math>X_1</math> במקום <math>X_0</math>.
* מבצעים את התהליך מספר פעמים עד שמתקבלת יריעה חלקה <math>X_n</math>.
תהליך זה נקרא [[התרת סינגולריות]]. ההעתקה <math>X_n\to X_0</math> היא [[מודיפיקציה]], כיוון שהיא הרכבה של מודיפיקציות.

[[אוסקר זריצקי|זריציקי]] הוכיח שתהליך כזה אפשרי עבור יריעות [[ממד (גאומטריה אלגברית)|מממד]] <math> 2</math> ומטה מעל שדות ממציין <math>0</math>. בשנת [[1964]], הוכיח תלמידו של זריצקי [[הייסוקה הירונקה]] את קיומה של התרת סינגולריות מעל שדה [[מאפיין (אלגברה)|ממציין]] <math>0</math> לכל ממד. תוצאה זו נחשבת לאחת התוצאת המרכזיות של הגאומטריה האלגברית [[המאה ה-20|במאה ה-20]]. התוצאה (על גרסאותיה השונות) שימושית מאוד ב[[גאומטריה אלגברית]] ומחוצה לה. ההוכחה המקורית של הירונקה הייתה מורכבת ביותר וקשה להבנה. במרוצת השנים מספר מתמטיקאים פיתחו הוכחות נוספות. ההוכחות המודרניות נחשבות על ידי המומחים כהוכחות פשוטות יחסית, אם כי מדובר עדיין בהוכחות מתוחכמות ומורכבות.

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

לעיתים משתמשים במושג התרת סינגולריות באופן רחב יותר. כל מודיפיקציה <math>\tilde X\to X</math> כאשר <math>\tilde X</math> יריעה חלקה נקראת לפעמים התרת סינגולריות של <math>X</math>. יש שיטות לבנית התרת סינגולריות במובן זה שאינן מתבססות על ניפוחים בילבד. לדוגמה [[נורמליזציה (גאומטריה אלגברית)|הנורמליזציה]] של יריעה היא מודיפיקציה שלה והיא "יותר חלקה" מהיריעה עצמה. לכן אפשר להשתמש בנורמליזציה לצד ניפוח כשלב בהתרת סינגולריות. כך לדוגמה ההוכחה המקורית של זריציקי לקייום התרת סינגולריות של משטחים התבססה על ניפוח ונורמליזציה לסירוגין.

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

==ניפוח ממושקל==
בהינתן סכמה אפינית <math>X</math> ו[[פילטרציה (אלגברה)|פילטרציה]] יורדת של [[אידיאל (אלגברה)|אידיאלים]] בחוג <math>O(X)</math> (זאת אומרת סדרה של אידיאלים <math>I_n</math> המקימים <math>I_0=O(X)</math> ו - <math>I_nI_k\subset I_{n+k}</math>) ניתן להגדיר את [[ניפוח ממושקל|הניפוח הממושקל]] של <math>X</math> ביחס לפילטרציה זו באופן דומה ל[[ניפוח (גאומטריה אלגברית)#בנייה על־ידי הספקטרום הפרויקטיבי|הגדרת הניפוח למעלה]] כאשר את התפקיד של <math>I^n</math> מחליף <math>I_n</math>. בנייה זו מכלילה את הבנייה למעלה מכיוון שעבור אידיאל <math>I</math> סדרת האידיאלים <math>I_n:=I^n</math> מהווה פילטרציה יורדת.

דוגמה נפוצה לפילטרציה יורדת מתקבלת מבחירת [[יוצרים (אלגברה)|יוצרים]] <math>x_1,\dots, x_n\in O(X)</math> ומספר טבעי <math>n_i</math> עבור כל אחד מהיוצרים. מספר זה נקרא המשקל של היוצר. משקל של מכפלה של מספר יוצרים מוגדר בתור סכום משקלי היוצרים המופיעים במכפלה<ref>בשלב זה אנו מיתיחסים למכפלה כאל ביטוי ולא כאל איבר באלגברה . מכפלות שונות בעלות משקל שונה יכולות לבטה את אותו האיבר.</ref>. משקל של איבר כללי <math>a\in O(X)</math> מוגדר להיות המספר המינימלי <math>w</math> כך שאפשר לרשום את <math>a</math> כסכום של מכפלות יוצרים שמשקליהן לא עולים על <math>w</math>. מגדירים את <math>I_n</math> להיות אוסף כל האיברים שמשקלם לפחות <math>n</math>. ניתן לקבל את הדוגמה <math>I_n:=I^n</math> כאשר כל המשקלים של היוצרים הנבחרים הם 0 או 1.

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

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

==ראו גם==
* [[התרת סינגולריות]]
* [[קואורדינטות קוטביות]]
* [[מודיפיקציה (גאומטריה אלגברית)|מודיפיקציה]]

==לקריאה נוספת==
<div class="mw-content-ltr">
* Kempf. Algebraic Varieties.
*{{cite book | last1=Griffiths|first1= Phillip |last2= Harris|first2= Joseph | title=Principles of Algebraic Geometry | publisher=John Wiley & Sons | year=1978 | isbn=0-471-32792-1}}
*{{cite book | last1=Hartshorne|first= Robin | title=Algebraic Geometry |publisher=Springer-Verlag | year=1977 | isbn=0-387-90244-9}}
</div>

==קישורים חיצוניים==
* [https://stacks.math.columbia.edu/tag/01OF ניפוח] ב-[[StacksProject]].

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

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

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