אלגברה ספרבילית

בתורת החוגים, אלגברה ספרבילית היא אלגברה מעל חוג קומוטטיבי, הפועלת על עצמה באופן מסוים (שיוגדר בגוף הערך). זוהי הכללה של מושג הספרביליות של הרחבת שדות: הרחבת שדות מממד סופי K/F היא ספרבילית, אם ורק אם K אלגברה ספרבילית מעל F.

יהי C חוג קומוטטיבי, ותהי R אלגברה מעל C (כלומר, חוג המכיל את C במרכז שלו). מגדירים <math>\ R^e = R \otimes_C R^{\operatorname{op}}</math>, המכפלה הטנזורית מעל C, כאשר <math>\,R^{\operatorname{op}}</math> היא האלגברה המנוגדת. מודולים מעל <math>\,R^{e} </math> אינם אלא בי-מודולים מעל R שבהם שתי הדרכים לצמצם למודול מעל C מתלכדות. בפרט, האלגברה <math>\ R^e</math> פועלת על <math>R</math> על ידי <math>\,(a\otimes b)x = axb</math>, באופן ההופך את <math>R</math> למודול מעל <math>\,R^{e}</math>. 

האלגברה R היא ספרבילית, אם R הוא מודול פרויקטיבי מעל <math>\,R^{e}</math>. להלן כמה הגדרות שקולות לספרביליות של R מעל C:
# הסדרה המדויקת <math>0 \longrightarrow J \longrightarrow R^e \stackrel{\mu}{\longrightarrow} R \longrightarrow 0</math> מתפצלת, כאשר <math>\mu(a\otimes b^{\operatorname{op}}) = ab</math>.
# יש איבר <math>\ e\in A^e</math> המקיים <math>\ \mu(e) = 1</math> ו-<math> Je = 0</math>, כאשר <math> J= \operatorname{Ker}(\mu)</math> (איבר זה הוא בהכרח אידמפוטנט, ואז הוא יחיד).
# הפונקטור <math>\ M \mapsto M^R</math>, מהקטגוריה <math>\ R^e-\operatorname{mod}</math> אל <math>\ C-\operatorname{mod}</math>, הוא מדויק מימין (כאן <math>\ M^R = \{x \in M | \forall a \in R: ax=xa\}</math>).
# לכל בי-מודול M מעל R, כל נגזרת פורמלית של R (מעל C) עם ערכים ב-M (היינו, פונקציה אדיטיבית <math>\ d : R \rightarrow M</math>, הומוגנית מעל C, המקיימת <math>\ d(ab) = ad(b)+d(a)b</math>) היא פנימית: קיים <math>\ x\in M</math> כך ש-<math>\ d(a) = ax-xa</math>. 
# הממד הקוהומולוגי (ביחס לקהומולוגיית Hochschild) של R מעל C הוא אפס, כלומר, <math>H^1(R,M)=0</math> לכל R-בימודול M.

לדוגמה, אלגברת המטריצות <math>\ \operatorname{M}_n(C)</math> ספרבילית מעל C (ובפרט C ספרבילית מעל עצמה). החוג <math>\ C\oplus Cx</math> עם כפל המוגדר לפי <math>\ x^2 = \theta \in C</math> הוא ספרבילי מעל C אם ורק אם <math>\ 2,\theta</math> הפיכים ב-C. אלגברת חבורה של חבורה סופית מעל שדה שהיא פשוטה למחצה, היא ספרבילית.

אם אלגברה R היא ספרבילית מעל החוג C ופרויקטיבית כמודול מעליו, אז R נוצרת סופית כמודול. את הקשר בין אידיאלים של אלגברה ספרבילית לאידיאלים מעל המרכז שלה מספקת העובדה השימושית הבאה: לכל אידיאל I של המרכז <math>\ Z(R)</math>, מתקיים <math>\ I = Z(R) \cap I R</math>.

== ספרביליות והמכפלה הטנזורית ==

ספרביליות נשמרת תחת פעולות טבעיות רבות. אם <math>\ R_1,R_2</math> ספרביליות מעל C, אז גם המכפלה הישרה <math>\ R_1 \times R_2</math> ספרבילית. אם <math>\ R_1,R_2</math> ספרביליות מעל <math>\ C_1,C_2</math> בהתאמה, כאשר <math>\ C_1,C_2</math> הן אלגברות קומוטטיביות מעל C, אז <math>\ R_1 \otimes_C R_2</math> ספרבילית מעל <math>\ C_1 \otimes C_2</math>, ובמקרה זה <math>\ Z(R_1 \otimes R_2) = Z(R_1) \otimes Z(R_2)</math>. בפרט, המכפלה הטנזורית של אלגברות ספרביליות היא ספרבילית. ספרביליות נשמרת תחת הרחבת סקלרים: אם R ספרבילית מעל C, אז לכל C-אלגברה <math>\ C'</math>, המכפלה הטנזורית <math>\ C' \otimes_C R</math> היא ספרבילית מעל <math>\ C'</math>. כל מנה של אלגברה ספרבילית (שהיא אלגברה מעל C) היא ספרבילית.

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

במקרים מסוימים אפשר 'לקלף' ספרביליות: אם המכפלה הטנזורית <math>\ R \otimes_C R'</math> ספרבילית מעל C ואחד הגורמים הוא פרויקטיבי בנאמנות (כלומר, פרויקטיבי, ולכל אידיאל I של C, הכפל ב-I מחזיר תת-מודול אמיתי), אז הגורם השני ספרבילי. אם <math>\ R \otimes C'</math> ספרבילי מכל <math>\ C'</math> כאשר <math>\ C'</math> פרויקטיבית בנאמנות מעל C, אז R ספרבילי מעל C. אם R ספרבילי מעל C ופרויקטיבי בנאמנות מעל C-אלגברה קומוטטיבית <math>\ C'</math>, אז <math>\ C'</math> ספרבילית מעל C.

== ספרביליות מעל שדה ==

אלגברה A היא ספרבילית מעל שדה F אם ורק אם A פשוטה למחצה וסוף-ממדית, כלומר, סכום ישר של מספר סופי של אלגברות פשוטות מממד סופי, והמרכז של כל מרכיב פשוט הוא הרחבה ספרבילית מממד סופי של F. אם A ספרבילית מעל F, אז <math>\ K \otimes_F A</math> ספרבילית מעל K לכל הרחבת שדות K/F. תכונות אלה נכונות לא רק במקרה האסוציאטיבי, אלא גם עבור אלגברות אלטרנטיביות.

בפרט, אלגברה קומוטטיבית (ואסוציאטיבית) היא ספרבילית מעל שדה אם ורק אם היא סכום ישר של הרחבות ספרביליות של שדות. כך מתלכדות באלגברה ספרבילית שתי תכונות: אחת אריתמטית - הספרביליות של איברים, ואחת מבנית - התנאי שהאלגברה תישאר פשוטה למחצה לאחר הרחבת סקלרים. הקשר בין שני התנאים נובע מכך שאם K/F הרחבה לא ספרבילית, אז ב-<math>\ K \otimes_F K</math> יש איברים נילפוטנטיים.
כל אלגברה ספרבילית היא חופשית למחצה במובן של Cuntz ו-Quillen.

== מקורות ==

* Demeyer and Ingraham, Separable Algebras over Commutative Rings, LNM 181, 1970.

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