אלגברה חופשית למחצה

במתמטיקה, ובמיוחד באלגברה, אלגברה חופשית למחצה (Quasi-free) היא אלגברה אסוציאטיבית (לא בהכרח קומוטטיבית) בעלת ממד קוהומולוגי לכל היותר 1. לאלגברות אלו חשיבות גאומטרית, מפני שהן חלקות פורמלית (formally smooth) בקטגוריה של אלגברות לא קומוטטיביות: כל הרחבה שלהן באידיאל נילפוטנטי מתפצלת. המושג הוגדר על ידי Joachim Cuntz ודניאל קווילן ב-1995 כמדד לאי-סינגולריות לא-קומוטטיבית, ונדון מאז בהקשרים שונים.

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

הממד הקוהומולוגי של אלגברה הוא האינדקס הגבוה ביותר כך שחבורת הקוהומולוגיה מאינדקס זה אינה מתאפסת לכל בימודול.

חשיבות מיוחדת נודעת לחבורת הקוהומולוגיה השנייה, המתארת הרחבות לא מתפצלות. ביתר פירוט, נניח כי  הוא -בימודול. נאמר כי אלגברה  היא הרחבה של  באמצעות  אם  איזומורפי (כבימודול) לאידיאל של
, שהוא נילפוטנטי מדרגה 2 (כלומר: ) וכך ש- (איזומורפיזם של אלגברות). אומרים כי הרחבה כזו מתפצלת אם קיים חתך (section) של  לתוך , הסוגר דיאגרמה קומוטטיבית עם ההטלה של  מודולו , כאשר מזהים את  עם .
לפיכך,  פירושה שכל הרחבה של  באמצעות  מתפצלת.

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

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

כל אלגברה חופשית למחצה היא תורשתית (ימנית ושמאלית). מכפלה חופשית ומכפלה ישרה של אלגברות חופשית למחצה היא חופשית למחצה (אך מכפלה טנזורית של אלגברות חופשיות למחצה איננה בהכרח חופשית למחצה; אם בנוסף אחד מן הגורמים ספרבילי, המכפלה הטנזורית כן חופשית למחצה). חופשיות למחצה היא שמורת מוריטה.

תהי  הרחבת שדות מממד אינסופי. אזי, לפי תוצאות של רוזנברג וזלינסקי,  הוא אלגברה חופשית למחצה מעל  אם ורק אם ההרחבה ספרבילית, או ספרבילית מממד סופי מעל שדה הפונקציות הרציונליות במשתנה יחיד . רוזנברג וזלינסקי הוסיפו וחישבו את הממד הקוהומולוגי במובן Hochschild של הרחבות שדות, במונחים של ספרביליות ודרגת טרנסצנדנטיות.

לקריאה נוספת 
 JOACHIM CUNTZ AND DANIEL QUILLEN, ALGEBRA EXTENSIONS AND NONSINGULARITY, Journal of the AMS 8 (2), 1995.
תורת החוגים