משפט אקס-גרותנדיק

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

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

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

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

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

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

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

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

הערות שוליים

אקס-גרותנדיק
לוגיקה מתמטית
אקס-גרותנדיק