חוג כהן-מקולי

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

הגדרה

סדרות רגולריות

סדרת איברים $x_{1},\dots ,x_{t}\in I$ באידיאל $I$ של חוג קומוטטיבי $R$ היא סדרה רגולרית אם לכל $i$, $x_{i+1}$ הוא רגולרי (כלומר, אינו מחלק אפס) בחוג המנה $R/\langle x_{1},\dots ,x_{i}\rangle$. לכל הסדרות הרגולריות המקסימליות אותו אורך, והוא אינו יכול לעלות על ממד קרול של החוג.

למשל, בתת-החוג $F[x^{4},x^{3}y,xy^{3},y^{4}]$ של חוג הפולינומים בשני משתנים מעל השדה $F$, האבר $x^{4}$ הוא רגולרי, אבל בחוג המנה כפל באיבר $x^{6}y^{2}$ (שאינו אפס) שולח לאפס כל איבר של האידיאל המקסימלי הטבעי; לכן 1 הוא האורך המקסימלי של סדרה רגולרית באידיאל הזה, בעוד שהחוג עצמו מממד 2.

חוגי כהן-מקולי

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

דוגמאות ופעולות מותרות

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

חוג קומוטטיבי נתרי $R$ הוא כהן-מקולי אם ורק אם חוג הפולינומים $R[x]$ הוא כזה. כל מיקום הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle 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 R} הוא כהן-מקולי ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle I = \langle x_1,\dots,x_n\rangle} אידיאל מגובה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} , אז הסדרה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_1,\dots,x_n} רגולרית, והמנה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R/I} היא כהן-מקולי. ההשלמה ה-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle M} -אדית של חוג מקומי היא כהן-מקולי אם ורק אם החוג עצמו הוא כזה.

אם $R$ חוג כהן-מקולי ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle G} חבורה סופית הפועלת על הפענוח נכשל (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 R} , אז גם חוג השמורות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R^G} הוא כהן-מקולי. בפרט, חוג השמורות הפולינומיות ביחס לפעולה של חבורה סופית (עם סדר זר למאפיין של שדה הבסיס) הוא כהן-מקולי. תכונה זו נכונה לכל חבורה רדוקטיבית (חבורה שכל הצגה סוף-ממדית שלה מתפרקת לסכום ישר של הצגות אי-פריקות) הפועלת על חוג פולינומים מעל שדה סגור אלגברית.

פירוש קוהומולוגי

לאורך המקסימלי של סדרה רגולרית ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle I} יש פירוש קוהומולוגי: הוא שווה לערך הקטן ביותר של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i} שעבורו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{Ext}^i(R/I,R) \neq 0} .

גרותנדיק הוכיח שבכל חוג קומוטטיבי נתרי מקומי, אם $t$ הוא האורך המקסימלי של סדרה רגולרית ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d} הוא הממד, אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ H^i = \lim_{\rightarrow} \operatorname{Ext}^i(R/M,R)} שווה לאפס עבור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle i} מחוץ לקטע הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle [t,d]} , ושונה מאפס בקצוות.

דרך נוספת לאפיין חוג כהן-מקולי היא באמצעות קוהומולוגיה מקומית: בהינתן חוג נתרי מקומי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (A,\mathfrak{m})} , משפטי ההתאפסות ואי ההתאפסות של גרותנדיק קובעים כי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sup \{i : \mathrm{H}^i_{\mathfrak{m}}(A) \ne 0 \} = \dim(A)} וכי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \inf \{i : \mathrm{H}^i_{\mathfrak{m}}(A) \ne 0 \} = \operatorname{depth}(A)} , כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \operatorname{depth}(A)} מסמל את אורכה המקסימלי של הסדרה הרגולרית באידיאל המקסימלי. לפיכך, חוג כזה הוא כהן-מקולי אם ורק אם הקוהומולוגיה המקומית שלו מרוכזת במעלה בודדת, שהיא בהכרח ממד קרול של החוג.

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

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

חוגי גורנשטיין

חוג כהן-מקולי מקומי $R$, עם אידיאל מקסימלי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle M} , נקרא חוג גורנשטיין אם ההשלמה ה-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle M} -אדית של הפענוח נכשל (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 \operatorname{Hom}_R(H^d,E)} , כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle E} הוא הסגור האינג'קטיבי של המודול הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R/M} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle H^d = \lim_{\rightarrow} \operatorname{Ext}^d(R/M,R)} כדלעיל. באופן שקול, חוג נתרי מקומי הוא גורנשטיין אם ורק אם יש לו ממד אינג'קטיבי סופי מעל עצמו.

כל חוג מקומי רגולרי הוא גורנשטיין. יהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F} שדה, אז חוג טורי החזקות הפורמליים $F[[t^{2},t^{3}]]$ הוא גורנשטיין אבל אינו רגולרי. חוג טורי החזקות הפורמליים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F[[t^3,t^4,t^5]]} הוא כהן-מקולי אבל אינו גורנשטיין.

ראו גם

• שמורה פולינומית

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

חוג כהן-מקולי29199845Q2893695