סכמה אפינית
במתמטיקה, סכמה אפינית (באנגלית: Affine Scheme) היא מרחב טופולוגי מחויג מקומית המצויד בטופולוגיית זריצקי עם אלומה של חוגים. סכמה אפינית ניתנת להצגה כספקטרום של חוג קומוטטיבי עם יחידה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} , כלומר: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle X = \operatorname{Spec}(R)} המצויד בטופולוגיית זריצקי כאשר אלומת המבנה שלו מוגדרת על בסיס לטופולוגיה של קבוצות פתוחות ראשיות
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle D(f) = \left\{ \mathfrak{p} \in \operatorname{Spec}(R) \mid \mathfrak{p} \not\ni f \right\}} לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f \in R}
באופן הבא
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{O}_X \left( D(f) \right) = R_f}
כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R_f = S^{-1}R} הוא הלוקליזציה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} במערכת הכפלית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S = \{ 1, f, f^2, f^3, ... \}} . בפרט, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{O}_X(X) = R} . הנבט של כל אלומה כזאת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathcal{O}_{X,x}} בכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x \in X} היא חוג מקומי שבו אידיאל מקסימלי יחיד הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathfrak{m}_x} שהוא, באופן אינטואיטיבי, אוסף איברי החוג שמתאפסים בנקודה x. למנה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle k_x = \mathcal{O}_{X,x}/\mathfrak{m}_x} קוראים "שדה השארית ב-x".
סכמה אפינית היא מקרה פרטי של סכמה. כל סכמה היא "הדבקה" של סכמות אפיניות פתוחות, ואפשר לומר שמקומית כל סכמה היא סכמה אפינית, כלומר לכל נקודה קיימת סביבה פתוחה שלה שהיא סכמה אפינית. סכמות הן אובייקט המחקר העיקרי בגאומטריה אלגברית, לצד יריעות אלגבריות.
ראו גם
סכמה אפינית22377292Q16132275