הצגת המקור של הדף "חוג כהן-מקולי"

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

'''משפט''' יהי <math>R</math> [[תחום שלמות]] [[חוג נוצר סופית|נוצר סופית]] מעל [[שדה (מבנה אלגברי)|שדה]] <math>k</math>. אז הדברים הבאים שקולים:
* <math>R</math> הוא כהן-מקולי 
* קיים תת-חוג <math>B\subset R</math>, שאיזומורפי לחוג הפולינומים  <math>k[x_1,\dots x_n]</math>, כך ש <math>R</math> פרויקטיבי ונוצר סופית מעל <math>B</math>
* לכל תת-חוג <math>B\subset R</math>, שאיזומורפי לחוג הפולינומים  <math>k[x_1,\dots x_n]</math>, כך ש <math>R</math> [[נוצר סופית]] מעל <math>B</math>, מתקיים ש- <math>R</math> גם פרויקטיבי מעל <math>B</math>

לפי [[משפט קווילן-סוסלין]] (השערת סר) ניתן להחליף את המילה פרויקטיבי במילה חופשי במשפט למעלה.

== הגדרה == 

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

סדרת איברים <math>x_1,\dots,x_t \in I</math> באידיאל <math>I</math> של חוג קומוטטיבי <math>R</math> היא '''סדרה רגולרית''' אם לכל <math>i</math>, <math>x_{i+1}</math> הוא רגולרי (כלומר, אינו [[מחלק אפס]]) בחוג המנה <math>R/\langle x_1,\dots,x_i\rangle</math>. לכל הסדרות הרגולריות המקסימליות אותו אורך, והוא אינו יכול לעלות על [[ממד קרול]] של החוג. 

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

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

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

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

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

[[חוג (מבנה אלגברי)|חוג קומוטטיבי]] נתרי <math>R</math> הוא כהן-מקולי אם ורק אם חוג הפולינומים <math>R[x]</math> הוא כזה. כל מיקום <math>S^{-1}R</math> של חוג כהן-מקולי <math>R</math> הוא כהן-מקולי בעצמו. אם <math>R</math> הוא כהן-מקולי ו-<math>I = \langle x_1,\dots,x_n\rangle</math> אידיאל מגובה <math>n</math>, אז הסדרה <math>x_1,\dots,x_n</math> רגולרית, והמנה <math>R/I</math> היא כהן-מקולי. ההשלמה ה-<math>M</math>-אדית של חוג מקומי היא כהן-מקולי אם ורק אם החוג עצמו הוא כזה.

אם <math>R</math> חוג כהן-מקולי ו-<math>G</math> חבורה סופית הפועלת על <math>R</math> שסדרה הפיך ב-<math>R</math>, אז גם חוג השמורות <math>R^G</math> הוא כהן-מקולי. בפרט, חוג ה[[שמורה פולינומית|שמורות הפולינומיות]] ביחס לפעולה של חבורה סופית (עם סדר זר למאפיין של שדה הבסיס) הוא כהן-מקולי. תכונה זו נכונה לכל [[חבורה רדוקטיבית]] (חבורה שכל הצגה סוף-ממדית שלה מתפרקת לסכום ישר של הצגות אי-פריקות) הפועלת על חוג פולינומים מעל [[שדה סגור אלגברית]].

אם   <math>R</math>  הוא כהן-מקולי ו- <math>x\in R</math> לא מחלק 0 אז <math>R/\langle x \rangle</math> הוא גם כהן-מקולי. 
מכאן שאם אם   <math>R</math>  הוא כהן-מקולי  ו-
<math>x_1,\dots,x_t \in R</math>  היא סדרה רגולרית אז <math>R/\langle x_1,\dots x_t \rangle</math>  הוא גם כהן-מקולי.
== פירוש קוהומולוגי ==

לאורך המקסימלי של סדרה רגולרית ב-<math>I</math> יש פירוש קוהומולוגי: הוא שווה לערך הקטן ביותר של <math>i</math> שעבורו <math>\operatorname{Ext}^i(R/I,R) \neq 0</math>. 

[[אלכסנדר גרותנדיק|גרותנדיק]] הוכיח שבכל חוג קומוטטיבי נתרי מקומי, אם <math>t</math> הוא האורך המקסימלי של סדרה רגולרית ו-<math>d</math> הוא הממד, אז <math>\ H^i = \lim_{\rightarrow} \operatorname{Ext}^i(R/M,R)</math> שווה לאפס עבור <math>i</math> מחוץ לקטע <math>[t,d]</math>, ושונה מאפס בקצוות. 

דרך נוספת לאפיין חוג כהן-מקולי היא באמצעות [[קוהומולוגיה מקומית]]:
בהינתן חוג נתרי מקומי <math>(A,\mathfrak{m})</math>, משפטי ההתאפסות ואי ההתאפסות של [[אלכסנדר גרותנדיק|גרותנדיק]] קובעים כי
<math>\sup \{i : \mathrm{H}^i_{\mathfrak{m}}(A) \ne 0 \} = \dim(A)</math>
וכי <math>\inf \{i : \mathrm{H}^i_{\mathfrak{m}}(A) \ne 0 \} = \operatorname{depth}(A)</math>, כאשר <math>\operatorname{depth}(A)</math> מסמל את אורכה המקסימלי של הסדרה הרגולרית באידיאל המקסימלי. לפיכך, חוג כזה הוא כהן-מקולי אם ורק אם הקוהומולוגיה המקומית שלו מרוכזת במעלה בודדת, שהיא בהכרח ממד קרול של החוג.

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

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

=== חוגי גורנשטיין ===
חוג כהן-מקולי מקומי <math>R</math>, עם אידיאל מקסימלי <math>M</math>, נקרא '''[[חוג גורנשטיין]]''' אם ההשלמה ה-<math>M</math>-אדית של <math>R</math> שווה ל-<math>\operatorname{Hom}_R(H^d,E)</math>, כאשר <math>E</math> הוא ה[[סגור אינג'קטיבי|סגור האינג'קטיבי]] של המודול <math>R/M</math> ו-<math>H^d = \lim_{\rightarrow} \operatorname{Ext}^d(R/M,R)</math> כדלעיל. באופן שקול, חוג נתרי מקומי הוא גורנשטיין אם ורק אם יש לו ממד אינג'קטיבי סופי מעל עצמו.

כל חוג מקומי רגולרי הוא גורנשטיין. יהי <math>F</math> שדה, אז חוג טורי החזקות הפורמליים <math>F[[t^2,t^3]]</math> הוא גורנשטיין אבל אינו רגולרי. חוג טורי החזקות הפורמליים <math>F[[t^3,t^4,t^5]]</math> הוא כהן-מקולי אבל אינו גורנשטיין.

אם לחוג מקמי <math>R</math> קיים קומפלקס מדאל, אז <math>R</math> הוא גורנשטיין אם"ם הקומפלקס המדאל שלו הוא החוג <math>R</math> עצמו (מוזז למקום המתאם כקומפלקס)
== קשר לחוגי חיתוך מלא ==
חוג מקומי <math>R</math> נקרא [[חוג חיתוך מלא]] אם קיים חוג רגולרי <math>R'</math>  וסידרה רגולרית <math>x_1,\dots, x_n \in R'</math> כך ש <math>\hat{R} \cong R'/ \langle x_1,\dots, x_n \rangle</math>. כלומר ההשלמה האדית של החוג באידיאל המקסימלי היא מנה של חוג רגולרי על ידי סדרה רגולרית. 

כל חוג חיתוך מלא הוא גם גורנשטיין ולכן גם כהן מקולי.

== מודול כהן מקולי ==
אם <math>R</math> הוא [[חוג מקומי]] עבורו קיים [[קומפלקס מדאל]] <math>D</math> אז מודול נוצר סופית <math>M</math> מעל <math>R</math> נקרא '''כהן מקולי''' אם <math>RHom(M,D)</math> מרוכז במקום אחד. במקרה כזה, מקום זה הוא ה[[ממד (גאומטריה אלגברית)|ממד]] של <math>M</math>. חוג הוא כהן מקולי אם ורק אם הוא כהן מקולי כמודול מעל עצמו. 

=== החלפת חוג===
במקרים רבים ניתן להסיק את היותו של מודול כהן-מקולי מעל חוג אחד מכך שהוא כהן-מקולי מעל חוג אחר. למשל:

'''משפט:''' אם <math>M</math> הוא מודול נוצר מעל מכפלה של חוגים <math>A \times B</math> שנוצר סופית מעל כל אחד מהם אז הוא כהן-מקולי מעל <math>A</math> אםם הוא הוא כהן-מקולי מעל <math>B</math>

ממשפט זה (ומ[[משפט הנורמליזציה של נתר]]) קל להסיק את הקריטריון בראש הערך.

== ראו גם ==

* [[שמורה פולינומית]]

==קישורים חיצוניים==
* {{MathWorld}}
{{עץ מיון של חוגים קומוטטיביים}}
[[קטגוריה:טיפוסי חוגים|כהן-מקולי]]
[[קטגוריה:אלגברה קומוטטיבית]]