לדלג לתוכן

תבנית:עץ מיון של העתקות מיוצגות סופית בין סכמות

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


 

  • העץ מציג קשרים בין מחלקות של העתקות מיוצגות סופית בין סכמות. ככלל בגאומטריה אלגברית עיקר העיסוק בהעתקות בין סכמות מתרכז בסכמות מיוצגות סופית.
  • עבור סכמות נתריות, כל העתקה מטיפוס סופי היא גם מיוצגת סופית. ככלל בגאומטריה אלגברית עיקר העיסוק הוא בסכמות נתריות.
  • בהתאם לגישה היחסית של גרוטנדיק אפשר לראות בהעתקות של סכמות בתור משפחות של סכמות. בהתאם חלק גדול מהמחלקות בתרשים הן למעשה גרסאות יחסיות (זאת אומרת גרסאות שתקפות עבור משפחות) של מחלקות של סכמות (או של יריעות).
  1. ^ 1 2 תנאי היצוג הסופי מושמט בדרך כלל מתיאור המחלקה אך אנו תמיד מניחים אותו. לחלק מהמחלקות יש משמעות גם בכלליות רחבה יותר. אולם הקשרים בין המחלקות יהיו שונים ללא הנחה זו.
  2. ^ לעיתים יש צורך לדרוש נתריות של הסכמות המעורבות כדי שזה יהיה נכון
  3. ^ העץ מכיל בעיקר מחלקות של סכמות ללא גרסה יחסית מובהקת.
  4. ^ ככלל בגאומטריה אלגברית עיקר העיסוק בהעתקות בין סכמות מתרכז בסכמות מיוצגות סופית.
  5. ^ העץ מכיל את המחלקות הרחבות של העתקות בין סכמות, שכוללת את כל ההעתקות המיוצגות סופית.