משפט שבלה על קבוצות ניתנות-לבנייה

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

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

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

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

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

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

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

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

למה. תחת הנחות אלו, קיימת קבוצה  הפתוחה ב- כך ש- לכל .

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

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

לא ממוסגר|358x358px

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

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

לא ממוסגר|480x480px

אם נבחר את  להיות  נקבל כי הדיאגרמה שאותה אנו מעוניינים לקבל היא בדיוק הדיאגרמה הדואלית לדיאגרמה זו.

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

משפט: אם  העתקה דומיננטית עם סיבים סופיים אז 

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

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

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

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

 לעיון נוסף 
ספרים
 G.Kempf (1993), Algebraic Varieties, chapter 6.4 - Morphisms
 המשפט ב-Stacks project.
אנציקלופדיות
 משפט שבלה על קבוצות ניתנות-לבנייה ב nLab.
קישורים חיצוניים
 Images of morphisms: Chevalley’s theorem and elimination theory מאת ראוי ואקיל - אוניברסיטת סטנפורד.
 Chevalley's Theorem on Constructible Sets ב-MathOverflow.
 15px|קישור= רמי איזנבוד, דיון על המשפט עבור סכמות  בקורס בגאומטריה אלגברית במכון ויצמן למדע 

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