יריעה אלגברית אפינית

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף יריעה אפינית)
קפיצה לניווט קפיצה לחיפוש

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

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

הגדרה פורמלית

נניח כי k הוא שדה סגור אלגברית, ונסמן ב𝔸n את המרחב האפיני ה-n-ממדי - אוסף ה-nיות של איברים מ-k, כלומר kn. ניתן לראות באיבר f בחוג הפולינומים ב-n משתנים k[x1,,xn] פונקציה f:𝔸nk. בהינתן תת-קבוצה Sk[x1,,xn], נגדיר את אוסף האפסים המשותפים של S על ידי: 𝒱(S)=Z(S)={x𝔸n:fS,f(x)=0} תת קבוצה V של 𝔸n תקרא יריעה אלגברית אפינית אם V=Z(S) עבור קבוצה Sk[x1,,xn] כלשהי.

יריעות אי-פריקות

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

טופולוגית זריצקי

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

בהינתן תת-קבוצה V של 𝔸n, נגדיר את הקבוצה (I(V להיות אוסף כל הפולינומים המתאפסים בכל V, כלומר: (V)={fk[x1,,xn]:xV,f(x)=0} זהו אידיאל בחוג k[x1,,xn].

V סגורה אם ורק אם V=𝒱((V))

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

ניתן להראות כי קבוצה אלגברית אפינית V היא אי פריקה אם ורק אם (I(V הוא אידיאל ראשוני. עבור יריעה אלגברית אפינית V, לחוג המנה k[x1,,xn]/(V) קוראים חוג הקואורדינטות של V. מאחר שבמקרה זה (I(V הוא אידיאל ראשוני, הרי שחוג הקואורדינטות של V הוא תחום שלמות. הממד של יריעה אלגברית V מוגדר להיות ממד קרול של חוג הקואורדינטות של V. הממד של המרחב האפיני ה-n ממדי (כלומר של 𝔸n) הוא בדיוק n. מכיוון שעבור זוג פולינומים f,gk[x1,,xn] מתקיים כי fg(V) אם ורק אם לכל xV מתקיים f(x)=g(x), הרי שניתן לראות באיברי חוג הקואורדינטות של V פונקציות המוגדרות על V.

מורפיזמים של יריעות אלגבריות

מורפיזם בין שתי יריעות אלגבריות X𝔸n ו Y𝔸m הוא העתקה פולינומית בין המרחבים האפינים 𝔸n ו 𝔸m (זאת אומרת m פולינומים ב n משתנים) שמעבירה את X ל-Y.

יריעות אלגבריות X ו-Y נקראות איזומורפיות אם קיימים מורפיזימים f:XY ו-g:YX כך ש-gf=idX ו-fg=idY, כלומר: הרכבתם מניבה את מורפיזם הזהות על כל יריעה בהתאמה. באופן דומה, אם קיימות קבוצות פתוחות לא ריקות UX וVY ומורפיזמים f:UV,g:VU כך ש fg=1V,gf=1U אז היריעות X ו-Y נקראות שקולות בי-רציונלית.

ראו גם

לקריאה נוספת

  • G. Kempf, Algebraic Varieties. Cambridge University Press, 1993
  • Hartshorne, Robin (1977), Algebraic Geometry, vol. 52, Springer-Verlag ,New York, Graduate Texts in Mathematics, מסת"ב 978-0-387-90244-9
  • Milne, Algebraic geometry

קישורים חיצוניים


עץ מיון של יריעות אלגבריות
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
סינגולריות גורנשטיין רציונלית

סינגולריות גורנשטיין קנונית

סינגולריות גורנשטיין לוג טרמינלית
סינגולריות גורנשטיין רציונלית

סינגולריות גורנשטיין קנונית

סינגולריות גורנשטיין לוג טרמינלית


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
מקרא
מחלקה של יריעות אלגבריות[4]
תכונה מקומית של ירעות אלגבריות (או מחלקה שמוגדרת על ידי תכונה מקומית).[4]
מסלול שיורד למטה מצביע על כך שהמחלקה התחתונה היא חלק מהמחלקה העליונה.
מחלקה המהווה חיתוך של המחלקות שמכילות אותה ומופיעות בתרשים.
דוגמה או קבוצת דוגמאות ליריעות אלגבריות.[4]
חלק במסלול שרלוונטי רק לדוגמאות.


 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

  1. בהקשרים מסוימים דורשים מיריעה - גורנשטיין להיות נורמלית ו/או כהן-מקולי. כאן אנו לא דורשים אף אחת מתכונות אלה.
  2. בהקשרים מסוימים דורשים מיריעה קוואזי- גורנשטיין להיות נורמלית, כאן אנו לא דורשים זאת.
  3. ^ 3.0 3.1 3.2 כאן אנו מתייחסים להגדרה המכילה שלא דורשת חלקות או שלמות אלא רק תכונות -גורנשטיין.
  4. ^ 4.0 4.1 4.2 שמות התואר "אלגברית"/אלגברי מושמטים בדרך כלל משם המחלקה.
  5. העץ מכיל בעיקר מחלקות של סכמות ללא גרסה יחסית מובהקת.
  6. ככלל בגאומטריה אלגברית עיקר העיסוק בהעתקות בין סכמות מתרכז בסכמות מיוצגות סופית.
  7. העץ מכיל את המחלקות הרחבות של העתקות בין סכמות, שכוללת את כל ההעתקות המיוצגות סופית.
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

יריעה אלגברית אפינית41266479Q3554813