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

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

ניסוח המשפט

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

הוכחת המשפט

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

הוכחת הלמה

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

מסקנות ומשפטים קשורים

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

חילוץ כמתים

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