הצגת המקור של הדף "אלגברת אזומיה"

ב[[תורת החוגים]], '''אלגברת אָזוּמַיָה''' מעל חוג קומוטטיבי <math>C</math> היא [[מודול נאמן]] [[מודול פרויקטיבי|פרויקטיבי]] [[מודול נוצר סופית|נוצר סופית]] <math>A</math>, שעבורו ההעתקה הטבעית <math>A \otimes_C A^{\operatorname{op}} \rightarrow \operatorname{End}_C(A) </math> היא [[איזומורפיזם]]. בפרט, כל אלגברת אזומיה היא [[אלגברה ספרבילית|ספרבילית]], ובשל כך נקראו אלגברות אלה בעבר 'אלגברות ספרביליות מרכזיות'.

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

המושג הוצג לראשונה על ידי ה[[מתמטיקאי]] ה[[יפן|יפני]] [[גורו אזומיה]] במאמר מ-[[1951]].

== מבוא ==

כל חוג <math>A</math> פועל על עצמו על ידי כפל משמאל: <math>a \mapsto \ell_a</math> היא הומומורפיזם של חוגים <math>A \rightarrow \operatorname{End}(A)</math>, כאשר <math>\ell_a : x \mapsto ax</math>. עובדה זו נכונה גם כשרואים בחוג אלגברה מעל חוג קומוטטיבי <math>C</math>. באותה עת, [[אלגברה מנוגדת|האלגברה המנוגדת]] <math>A^{\operatorname{op}}</math> פועלת על <math>A</math> על ידי כפל מימין, באופן המגדיר הומומורפיזם טבעי מן ה[[מכפלה טנזורית|מכפלה הטנזורית]] ל[[חוג האנדומורפיזמים]], <math>A \otimes_C A^{\operatorname{op}} \rightarrow \operatorname{End}_C(A)</math>, לפי <math>(a \otimes b)(x) = axb</math>. באופן כללי ההומומורפיזם הזה אינו חד-חד-ערכי (למשל, אם <math>A</math> קומוטטיבי ומכיל ממש את <math>C</math>, אז הטנזורים <math>1 \otimes a, \, a \otimes 1</math> שונים זה מזה אבל פעולתם זהה), וגם אינו על (יש הומומורפיזמים שלא ניתן לממש כצירוף של פעולות כפל מימין ומשמאל). התכונה העיקרית של אלגברות אזומיה היא שעבורן האלגברה מתארת את הפעולות על עצמה באופן מלא.

== פונקציית הדרגה ==

מכיוון ש-<math>C</math> קומוטטיבי, [[חוג מנה|חוג המנה]] <math>C/P</math> הוא [[תחום שלמות]] לכל [[אידיאל ראשוני]] <math>P</math> של <math>C</math>, ויש לו [[שדה שברים]] <math>q(C/P)</math>. לכל אלגברה <math>A</math> שהיא מודול סופי מעל <math>C</math>, [[הרחבת סקלרים|הרחבת הסקלרים]] <math>A \otimes_C q(C/P)</math> היא אלגברה מעל שדה, שיש לה כמובן ממד, שהוא "הדרגה של <math>A</math> ב-<math>P</math>".

בכל אלגברת אזומיה, הדרגה קבועה על מרכיבי הקשירות של ה[[ספקטרום של חוג|ספקטרום]] של <math>C</math>, והאלגברות <math>A \otimes_C q(C/P)</math> כולן פשוטות מרכזיות, מממד סופי. בפרט, כל המנות <math>A/MA</math>, עבור ה[[אידיאל מקסימלי|אידיאלים המקסימליים]] <math>M</math> של <math>C</math>, הן אלגברות פשוטות מרכזיות (הרי אם <math>M</math> אידיאל מקסימלי חוג המנה <math>C/M</math> הוא שדה, ו-<math>A \otimes_C C/M = A/MA</math>). ההנחה האחרונה כמעט מספיקה לאפיון אלגברות אזומיה: אם כל המנות <math>A/MA</math> הן אלגברות פשוטות מרכזיות, והדרגה קבועה, אז <math>A</math> אזומיה (נעיר שהספקטרום קשיר [[אם ורק אם]] אין ב-<math>C</math> [[אידמפוטנט|אידמפוטנטים]], ובמקרה כזה הדרגה הקבועה וההתנהגות מעל האידיאלים המקסימליים שקולים לתכונת אזומיה).

== תכונות בסיסיות ==

אם <math>A</math> אזומיה מעל <math>C</math>, אז <math>C</math> שווה למרכז של <math>A</math>. כל אלגברת מנה של אלגברת אזומיה היא אזומיה. כל הרחבת סקלרים (בחוג קומוטטיבי) היא אלגברת אזומיה. המכפלה הטנזורית של שתי אלגברות אזומיה מעל אותו חוג היא אלגברת אזומיה.

לכל אידיאל <math>J</math> של אלגברת אזומיה <math>A</math> מעל <math>C</math> מתקיים <math>J = (J\cap C)A</math>, ולכן יש התאמה מושלמת בין האידיאלים של האלגברה לבין האידיאלים של המרכז, לפי <math>I \mapsto IA, \, J \cap C \leftarrowtail J</math>. 

אלגברות אזומיה מקיימות את '''תכונת המרכֵּז הכפול''': תהי <math>A</math> אלגברת אזומיה מעל <math>C</math>, שהיא תת-אלגברה של אלגברה <math>B</math> כלשהי. אז <math>A \otimes C_B(A) \cong B</math>. אם, בנוסף לזה, <math>B</math> היא אלגברת אזומיה, אז <math>C_B(C_B(A))= A</math>. 

כל הומומורפיזם של אלגברות אזומיה מעל (אותו חוג) <math>C</math> הוא שיכון, ואם יש לאלגברות אותה דרגה (בכל מרכיב קשירות של הספקטרום), אז זהו איזומורפיזם. 

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

'''משפט ארטין-פרוצ'סי''' מאפיין אלגברות אזומיה בשפת ה[[חוג עם זהויות|זהויות הפולינומיות]]: חוג <math>R</math> הוא אזומיה, אם ורק אם הוא מקיים את כל הזהויות שמקיים חוג המטריצות <math>\operatorname{M}_n(\mathbb{Z})</math>, ואף תמונה הומומורפית שלו אינה מקיימת את כל הזהויות שמקיים חוג המטריצות <math>\operatorname{M}_{n-1}(\mathbb{Z})</math>.

== חבורת בראוור ==

כל אלגברת מטריצות מעל <math>C</math> היא אלגברת אזומיה. באופן כללי מעט יותר, אם <math>P</math> מודול פרויקטיבי נאמן מעל <math>C</math>, אז <math>\operatorname{End}_C(P)</math> היא אלגברת אזומיה. כדי להפטר מן הדוגמאות הטריוויאליות האלה, מגדירים [[יחס שקילות]] בין אלגברות אזומיה מעל <math>C</math>: האלגברות <math>A</math> ו-<math>B</math> '''דומות''' אם יש מודולים פרויקטיביים <math>P</math> ו-<math>Q</math> כך ש-<math>A \otimes \operatorname{End}_C(P) \cong B \otimes \operatorname{End}_C(Q)</math>. המכפלה הטנזורית מוגדרת היטב על מחלקות השקילות של היחס הזה, ומאפשרת להגדיר את '''חבורת בראוור''' <math>\operatorname{Br}(C)</math> של <math>C</math> כאוסף מחלקות השקילות, עם הכפל שהוא המכפלה הטנזורית. המחלקה של <math>C</math> היא איבר היחידה של ה[[מונויד]] המתקבל. מכיוון ש-<math>A \otimes A^{\operatorname{op}}</math> טריוויאלי לפי ההגדרה, האלגברה המנוגדת היא ההפכית של <math>A</math>, ולכן חבורת בראוור היא [[חבורה (מבנה אלגברי)|חבורה]], כמתחייב משמה, והיא אבלית, ואפילו [[פיתול (אלגברה)|מפותלת]].

ההתאמה <math>C \mapsto \operatorname{Br}(C)</math> היא [[פונקטור|פונקטור קווריאנטי]]. בפרט, אם <math>C \subseteq C'</math> הרחבה של חוגים קומוטטיביים, אז העתקת הצמצום <math>[A] \mapsto [A \otimes_C C']</math> היא הומומורפיזם <math>\operatorname{res}_{C'/C} : \operatorname{Br}(C) \mapsto \operatorname{Br}(C')</math>. הצמצום קשור למְרכְּזים באופן הבא: אם <math>A</math> אלגברת אזומיה מעל <math>C</math>, ו-<math>K</math> תת-חוג קומוטטיבי של <math>A</math> (שהוא אלגברה מעל <math>C</math>), כך ש-<math>A</math> פרויקטיבי מעל <math>K</math>, אז המרכז <math>C_A(K)</math> אזומיה מעל <math>K</math>, ו-<math>A \otimes_C K \sim C_A(K)</math>. 

אם <math>C'</math> היא אלגברה ספרבילית מעל <math>C</math> שהיא פרויקטיבית מדרגה קבועה <math>n</math>, אז אפשר להגדיר העתקה בכיוון ההפוך, <math>\operatorname{cor}_{C'/C} : \operatorname{Br}(C') \mapsto \operatorname{Br}(C)</math>, וההרכבה <math>\operatorname{cor}_{C'/C} \circ \operatorname{res}_{C'/C}</math> (בסדר זה דווקא) אינה אלא פעולת הכפל ב-<math>n</math>.

חבורת בראוור של [[תחום הערכה בדידה]] שלם <math>R</math> שווה לזו של שדה השאריות.

== אלגבראות אזומיה נגזרות ==

במאמר פורץ דרך מ-[[2010]], הציע טואן הכללה נגזרת של המושג אלגברת אזומיה. בהינתן חוג קומוטטיבי סימפליצאלי ''<math>A</math>'', ו[[אלגברה דיפרנציאלית מדורגת]] ''<math>B</math>'' מעל ''<math>A</math>'', אומרים כי <math>B</math> היא אלגברת אזומיה נגזרת מעל ''<math>A</math>'' אם מתקיימים שני התנאים:
* כאיבר של הקטגוריה הנגזרת <math>D(A)</math>, מתקיים כי ''<math>B</math>'' הוא יוצר קומפקטי של <math>D(A)</math>.
* ההעתקה הטבעית <math>B\otimes^L_A B \to RHom_A(B,B)</math> ב-<math>D(A)</math> היא איזומורפיזם.



[[קטגוריה:תורת החוגים]]