גאומטריה אלגברית

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

==התאפסות בו זמנית של מספר פולינומים==

בגאומטריה אלגברית קלאסית, האובייקטים המרכזיים שנחקרים הם קבוצות ההתאפסות של אוסף של פולינומים. לדוגמה, הספירה הדו-ממדית במישור האוקלידי התלת-ממדי <math>\,\mathbb{R}^3</math> ניתנת להגדרה כאוסף הנקודות <math>(x,y,z) \in \mathbb{R}^3</math> המקיימות:
<math>\,x^2 + y^2 + z^2 -1 = 0</math>.
דוגמה נוספת היא קבוצת הפתרונות המשותפת של שני הפולינומים <math>\,x-y = 0</math> ו-<math>\,x^2 + y^2 + z^2 = 1</math>. קבוצה זו היא אוסף הנקודות מהצורה <math>\{(x,x,z)\in \mathbb{R}^3:2x^2 + z^2 = 1\}</math>.

==יריעות אפיניות==

נניח כי k הוא שדה. בגאומטריה אלגברית קלאסית הניחו כי השדה הוא <math>\mathbb{C}</math> – שדה המספרים המרוכבים, אך רוב התוצאות נשארות נכונות גם אם k הוא שדה סגור אלגברית כלשהו.

נסמן ב<math>\,\mathbf{A}^n(k)</math> (או בקיצור <math>\,\mathbf{A}^n</math> אם ברור מיהו k) את הקבוצה <math>\,k^n</math>, ונקרא לה המרחב האפיני ה-n ממדי מעל k.
המטרה של ההגדרה ה"לכאורה מלאכותית" הזאת היא להדגיש את העובדה ש-<math>\,\mathbf{A}^n</math> הוא בסך הכול אוסף נקודות, ושאנו "שוכחים" מהמבנה של <math>\,k^n</math> כמרחב וקטורי.
פונקציה <math>\,f:\mathbf{A}^n\rightarrow \mathbf{A}^1</math> נקראת רגולרית אם היא ניתנת לכתיבה בתור פולינום. כלומר, אם קיים פולינום <math>\,p \in k[x_1,\dots,x_n]</math> כך שלכל נקודה <math>\,(t_1,\dots,t_n) \in \mathbf{A}^n</math> מתקיים <math>\,f(t_1,\dots,t_n) = p(t_1, \dots, t_n)</math>.
פונקציות רגולריות על המרחב האפיני ה-n ממדי הן, אם כן, בדיוק פולינומים ב-n משתנים מעל k. את אוסף הפונקציות הרגולריות על <math>\,\mathbf{A}^n</math> נסמן ב-<math>\,k[\mathbf{A}^n]</math>.

נניח כי S היא קבוצה של פולינומים ב-<math>\,k[\mathbf{A}^n]</math>. קבוצת ההתאפסות של S, המסומנת ב-(V(S (ישנם ספרים בהם קיים גם הסימון (Z(S), מוגדרת להיות אוסף כל הנקודות במרחב האפיני שבהן כל הפולינומים ב-S מתאפסים. במילים אחרות,

<math>V(S) = \{(t_1,\dots,t_n) \in \mathbf{A}^n :\forall p \in S, p(t_1,\dots,t_n)=0\}</math>.

תת קבוצה <math>\,A\subseteq \mathbf{A}^n</math> נקראת קבוצה אלגברית אם קיימת קבוצה <math>S \subseteq k[\mathbf{A}^n]</math> כך ש-<math>\,A = V(S)</math>.

שאלה טבעית לשאול בשלב זה היא השאלה הבאה: בהינתן תת-קבוצה <math>\,U \subseteq \mathbf{A}^n</math>, האם ניתן לשחזר את קבוצת הפולינומים המתאפסים על U?
אם U היא תת-קבוצה כלשהי של <math>\,\mathbf{A}^n</math>, נגדיר את <math>\,I(U)</math> להיות אוסף כל הפונקציות הרגולריות המתאפסות על כל U. במילים אחרות,
<math>\,I(U) = \{p \in k[\mathbf{A}^n]:\forall (t_1,\dots,t_n) \in U, p(t_1,\dots,t_n) = 0\}</math>.
נשים לב כי אם f ו-g מתאפסות בכל נקודה ב-U אז כך גם f+g, וכן אם f מתאפסת בכל נקודה ב-U ואם h היא פונקציה רגולרית כלשהי, אז גם <math>h \cdot f</math> מתאפסת בכל נקודה ב-U. לפיכך, לכל תת-קבוצה U של <math>\,\mathbf{A}^n</math>, הקבוצה <math>\,I(U)</math> היא אידיאל בחוג <math>\,k[\mathbf{A}^n]</math>.
כעת עולות שתי שאלות טבעיות:
* בהינתן תת-קבוצה U של <math>\,\mathbf{A}^n</math>, האם מתקיים <math>\,U = V(I(U))</math>?
* בהינתן קבוצת פולינומים S, האם מתקיים <math>\,S = I(V(S))</math>?

על מנת להשיב על השאלה הראשונה מגדירים את טופולוגית זריצקי (על שם אוסקר זריצקי). זוהי טופולוגיה על <math>\,\mathbf{A}^n</math> המשקפת ישירות את המבנה האלגברי של <math>\,k[\mathbf{A}^n]</math>. ההגדרה של טופולוגית זריצקי היא שתת-קבוצה <math>A \subseteq \mathbf{A}^n</math> היא קבוצה סגורה אם ורק אם A היא קבוצה אלגברית. ניתן להראות ש-<math>\,U=V(I(U))</math> אם רק אם U היא סגורה בטופולוגית זריצקי.
התשובה לשאלה השנייה ניתנת על ידי משפט האפסים של הילברט. אחת הדרכים לנסח את משפט האפסים היא ש<math>\,I(V(S))</math> שווה לרדיקל האידיאל הנוצר על ידי S. הרדיקל של אידיאל I (מסומן ב-<math>\,\sqrt{I}</math>) מוגדר להיות אוסף כל האיברים שחזקה כלשהי שלהם נמצאת ב-I, כלומר
<math>\,\sqrt{I} = \{f \in k[\mathbf{A}^n] : \exist m \in \mathbb{N}, f^m \in I\}</math>.
האינטואיציה ללקיחת הרדיקל של האידיאל היא כדי לבודד את הגורמים המאפסים את הקבוצה האלגברית בכפליות של 1, כי אם פולינום בחזקה כלשהי מתאפס על קבוצה של ערכים אז גם הפולינום עצמו יתאפס על אותה הקבוצה.
לעיתים נוח יותר לעבוד עם תתי קבוצות של האידיאל היוצר את U, ועל פי משפט הבסיס של הילברט כל אידיאל ב<math>\,k[\mathbf{A}^n]</math> הוא נוצר סופית.

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

==פונקציות רגולריות==
בדומה לכך שההעתקות הטבעיות על מרחבים טופולוגיים הן פונקציות רציפות, והעתקות הטבעיות על יריעות חלקות הן פונקציות חלקות, ישנה קבוצה של העתקות טבעיות על קבוצות אלגבריות, הנקראות פונקציות רגולריות. פונקציה רגולרית על תת-קבוצה אלגברית V של <math>\,\mathbf{A}^n</math> מוגדרת להיות צמצום של פונקציה רגולרית על <math>\,\mathbf{A}^n</math> במובן שהוגדר לעיל (כלומר צמצום של פולינום).

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

בדומה לכך שאוסף הפונקציות הרגולריות על <math>\,\mathbf{A}^n</math> יוצרות חוג חילופי, כך גם אוסף הפונקציות הרגולריות על קבוצה אלגברית V כלשהי. חוג זה מסומן ב-<math>\,k[V]</math>, ונקרא חוג הקואורדינטות של V.

מכיוון שפונקציות רגולריות על V הן צמצומים של פונקציות רגולריות על המרחב כולו, הרי שקיים קשר בין חוגי הקואורדינטות שלהם. באופן מפורש, שתי פונקציות רגולריות f ו-g על V הן שוות אם הן מזדהות על V. כלומר, f=g אם לכל נקודה <math>\,x \in V</math> מתקיים <math>\,f(x)=g(x)</math>, או <math>\ f(x) - g(x) = 0</math>. לכן, <math>\ f=g</math> אם ורק אם <math>f-g \in I(V)</math> ולפיכך ניתן לזהות את חוג הקואורדינטות על V עם חוג המנה <math>\,k[\mathbf{A}^n]/I(V)</math>.

==הקטגוריה של יריעות אפיניות==

בעזרת פונקציות רגולריות מיריעות אפיניות ל<math>\,\mathbf{A}^1</math> נוכל להגדיר פונקציות רגולריות בין שתי יריעות אפיניות. תחילה נגדיר פונקציות רגולריות מיריעה אפינית למרחב האפיני: נניח כי V היא יריעה אפינית ב<math>\,\mathbf{A}^n</math>. נבחר m פונקציות רגולריות על V ונסמנן ב-<math>\,f_1,\dots f_m</math>. נאמר שפונקציה f מ-V ל-<math>\,\mathbf{A}^m</math> היא פונקציה רגולרית אם לכל <math>\,(t_1,\dots,t_n) \in V</math> מתקיים
<math>\,f(t_1,\dots,t_n) = (f_1(t_1,\dots,t_n),\dots,f_m(t_1,\dots,t_n))</math>.
אם W היא יריעה אפינית ב<math>\,\mathbf{A}^m</math>, נאמר ש-f היא פונקציה רגולרית מ-V ל-W אם התמונה של f מוכלת ב-W.
הקטגוריה של יריעות אפיניות מוגדרת להיות הקטגוריה שהאובייקטים שלה הם יריעות אפיניות והמורפיזמים הם פונקציות רגולריות. המשפט הבא מאפיין את הקטגוריה של יריעות אפיניות:

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

==המרחב הפרויקטיבי==

נתבונן ביריעה <math>\,V(y-x^2)</math>. אם נצייר אותה נקבל פרבולה. כאשר המשתנה x גדל, שיפועו של הישר העובר דרך הראשית ודרך הנקודה <math>\,(x,x^2)</math> הולך וגדל. לעומת זאת, כאשר x קטן, שיפועו של הישר הזה הולך וקטן.
אם נשווה זאת ליריעה <math>\,V(y-x^3)</math>, נראה שכאשר x גדל השיפוע גדל כמקודם, אך כאשר x קטן, השיפוע שוב גדל. לפיכך ההתנהגות "באינסוף" של <math>\,V(y-x^2)</math> שונה מההתנהגות "באינסוף" של <math>\,V(y-x^3)</math>. ישנו קושי להגדיר את המושג "התנהגות באינסוף" במרחב האפיני.

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

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

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

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

העיסוק המודרני בגאומטריה אלגברית החל באמצע המאה ה-19, עם תוצאות של יוליוס פלוקר ואחרים. פלוקר הוכיח (ב-1839) שלכל עקום ב-<math>\ \mathbb{CP}^2</math> המוגדר על ידי פולינום הומוגני ממעלה רביעית, כדוגמת עקום פרמה <math>\ x_1^4+x_2^4+x_3^4=0</math>, יש בדיוק 28 ישרים המשיקים אליו פעמיים. תוצאה דומה מאותו זמן: לכל עקום ב-<math>\ \mathbb{CP}^2</math> המוגדר על ידי פולינום הומוגני ממעלה שלישית, יש בדיוק תשעה ישרים המשיקים לו השקה משולשת (ישר משיק השקה משולשת למשטח, אם לצמצום של משוואת המשטח אל הישר יש שורש משולש). ארתור קיילי הראה ב-1849 שכל משטח חלק ב-<math>\ \mathbb{CP}^3</math> המוגדר על ידי פולינום הומוגני ממעלה שלישית (כגון <math>\ x_1^3+x_2^3+x_3^3+x_4^3=0</math>) מכיל בדיוק 27 ישרים. קבוצת חוקרים איטלקים המשיכה את המחקר של עקומים ומשטחים במחצית הראשונה של המאה ה-20. סגנונם היה אינטואיטיבי ולא עמד בדרישות הריגורוזיות של המתמטיקה המודרנית.

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

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

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

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

==ראו גם==
* יסודות הגאומטריה האלגברית (ספר)
* Stacks project

==לקריאה נוספת==
===ספרים קלאסיים, לפני המצאת מושג הסכמה===

===ספרים מודרניים שאינם משתמשים במושג הסכמה===

===ספרים אשר משתמשים בשפת הסכמות===

===באינטרנט===

==קישורים חיצוניים==
* 
* 
* 
* 
* 
* ערך על [https://planetmath.org/algebraicgeometry גאומטריה אלגברית] באתר [http://planetmath.org/ PlanetMath]
* [http://eqworld.ipmnet.ru/en/solutions/ae.htm Algebraic Equations and Systems of Algebraic Equations] at EqWorld: The World of Mathematical Equations
*[https://www.youtube.com/watch?v=e3-3W9nwfR0&list=PLuEFhJaDsHzBlhb4AuB3vjN1OUX3sT1OQ קורס] בעברית בגאומטריה אלגברית (במכון ויצמן)

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

קטגוריה:אלגברה
קטגוריה:גאומטריה
*