אלגברת קליפורד

באלגברה מופשטת, אלגברת קליפורד (Clifford algebra) של מרחב וקטורי ותבנית ריבועית היא האלגברה החופשית ביותר בה הפעלת התבנית על איבר שקולה להעלאתו בריבוע. מקרה פרטי שלה הוא אלגברה חיצונית (Exterior algebra), המתקבל בבחירת תבנית האפס.

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

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

הגדרה

יהי $V$ מרחב וקטורי מעל שדה $\mathbb {F}$ ממאפיין שאינו 2 (מעתה ואילך). אלגברת הטנזורים (Tensor algebra) מעל $V$ היא האלגברה החופשית $T(V)=\mathbb {F} \oplus V\oplus (V\otimes V)\oplus (V\otimes V\otimes V)\oplus ...$, עם פעולת המכפלה הטנזורית $\otimes$ (ביחס לשדה $\mathbb {F}$).

אלגברת קליפורד של מרחב וקטורי $V$ ותבנית ריבועית $q$ היא $C(V,q)={T(V)}/{<v\otimes v-q(v)>}$, כלומר האלגברה החופשית ביותר בה הפעלת התבנית על כל איבר והעלאתו בריבוע מזוהים כאותו איבר.

אפיון ותכונות

• אם $\{v_{1},...,v_{n}\}$ בסיס ל-$V$, לאלגברת קליפורד הבסיס - $\{1,v_{1},...,v_{n},v_{1}v_{2},...,v_{n-1}v_{n},....,v_{1}...v_{n}\}$. בפרט, הממד הוא $2^{n}$.

• לאלגברת קליפורד הצגה - $C(V,q)=\mathbb {F} [v_{1},...,v_{n}|v_{i}v_{j}=-v_{j}v_{i},v_{i}^{2}=q(v)]$.

עבור תת-קבוצה $I=\{i_{1},...,i_{n}\}\subseteq \{1,..,n\}$, אם נסמן $v_{I}=v_{i_{1}}...v_{i_{n}}$, אז $C(V,q)=\sum _{I}{\mathbb {F} v_{I}}$, כאשר הסכום הוא על תת-קבוצות בסדר עולות.

• שני איברים $v_{I},v_{J}$ כנ"ל מקיימים $v_{I}v_{J}=(-1)^{|I||J|-|I\cup J|}{v_{J}v_{I}}$.

• אלגברת קליפורד היא אלגברה פשוטה.

• המרכז של אלגברת קליפורד בממד זוגי הוא $\mathbb {F}$, ו-$\mathbb {F} [v_{1}...v_{n}]$ בממד אי זוגי. בפרט, אלגברת קליפורד מממד זוגי מהווה אלגברה פשוטה מרכזית מעל השדה $\mathbb {F}$.

• אלגברת קליפורד היא אלגברה עם אינוולוציה $*$ המוגדרת על הבסיס - $v_{i}^{*}=-v_{i}$.

דוגמאות

• עבור מרחב וקטורי חד ממדי $V$ ותבנית ריבועית $q(x)=ax^{2}$, אלגברת קליפורד היא $C(\mathbb {F} v,\langle a\rangle )=\mathbb {F} [x\mid x^{2}=a]=\mathbb {F} [{\sqrt {a}}]$.

• אם $V$ מרחב וקטורי דו-ממדי, ו-$q=\langle a,b\rangle$ הצורה האלכסונית, אז $C(v,q)\cong (a,b)_{2}$ - אלגברת קווטרניונים מעל $\mathbb {F}$.

• כל אלגברת קליפורד מממד זוגי $n$ היא מכפלה טנזורית של ${\frac {n}{2}}$ אלגברות קווטרניונים. מפורשות, אם $q=\langle a_{1},...,a_{n}\rangle$ אז $C(V,q)={\overset {n/2}{\underset {i=1}{\bigotimes }}}{((-1)^{i-1}}{a}_{1}...a_{2i-2}a_{2i-1},{((-1)^{i-1}}{a}_{1}...a_{2i-2}a_{2i})_{2}$

• אם $q,q'$ תבניות ריבועיות מסדר זוגי, אז $C(V,q\oplus q')\cong C(V,q)\otimes C(V,\langle \operatorname {disc} (q)\rangle \otimes q')$, כאשר $\operatorname {disc}$ היא הדיסקרימיננטה.

אלגברת קליפורד ואלגברה חיצונית

אלגברת קליפורד קשורה אלגברה חיצונית (Exterior algebra).

ראשית, אלגברה חיצונית $\Lambda (V)$ היא מקרה פרטי של אלגברת קליפורד, כאשר בוחרים את התבניות הריבועית האפסה - $q\equiv 0$. אז מקבלים $\forall v\in V:v^{2}=0$, וזו בדיוק התכונה (היחידה) שמתקיימת באלגברה חיצונית.

כאשר $q\neq 0$, יש איזומורפיזם של מרחבים וקטוריים בין האלגברה החיצונית לאלגברת קליפורד, שאינו משמר את פעולת הכפל (פעולת הכפל ב-$C(V,q)$ עשירה יותר).

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

תכונה אוניברסלית

לפי בנייתה, לאלגברת קליפורד תכונה אוניברסלית, כלומר היא האלגברה הכללית ביותר המקיימת $v^{2}=q(v)$.

בניסוח מדויק, בהינתן אלגברה $A$ בה מתקיים $\forall v\in V:q(v)=v^{2}$ (כאשר $V$ משוכן ב-A על ידי הומומורפיזם $j$), אז קיים ויחיד הומומורפיזם $f:C(v,q)\rightarrow A$, כך שהדיאגרמה הבאה קומוטטיבית:

(כאשר $i$ הוא השיכון $V\hookrightarrow C(V,q)$).

במילים, זוהי האלגברה הכללית ביותר בעלת התכונה $v^{2}=q(v)$ - כל אלגברה אחרת בעלת התכונה הזו היא תמונה של אלברת קליפורד.

דירוג

אלגברת קליפורד היא אלגברה $\mathbb {Z} /2\mathbb {Z}$-מדורגת.

נביט במיפוי $v\rightarrow -v$. הוא משמר את $q$, ולכן לפי התכונה האוניברסלית, הוא משרה מיפוי $C(V,q)\rightarrow C(V,q)$ המווה אינוולוציה שריבועה הוא הזהות. לכן, אפשר לפרק לסכום ישר $C(V,q)=C_{0}(V,q)\oplus C_{1}(V,q)$, כאשר $C_{0}(V,q)$ הוא קבוצת האיברים שנשארים במקום תחת ההומורפיזם, הנקרא לעיתים גם החלק הזוגי. מתקיים $C_{i}(V,q)C_{j}(V,q)\subseteq C_{i+j}(V,q){\pmod {2}}$, ולכן זהו דירוג של האלגברה.

ניתן להוכיח כי $C_{0}(V,q)$ בעצמה איזומורפית לאלגברת קליפורד. במקרה $\mathbb {F} =\mathbb {C}$ שדה המספרים המרוכבים, ניתן להראות מפורשות כי יש תבניות ריבועיות $q,q'$ כך ש-$C_{0}(V_{n},q)\cong C(V_{n-1},q')$, כאשר $V_{i}$ מרחב וקטורי מממד $i$.

אלגברת קליפורד כאינווריאנט

אלגברת קליפורד מהווה אינווריאנט של חוג ויט לחבורת בראוור.

ביתר פירוט, לפי הדוגמה האחרונה לעיל, המיפוי $[q]\rightarrow [C(V,q)]$ של המחלקה של $q$ ב-$I^{2}(\mathbb {F} )$ (האידאל של חוג ויט הנוצר מתבניות מסדר 4, או בשקילות מתבניות פיסטר מסדר 2), לחבורת בראוור מוגדר היטב ומהווה הומומורפיזם חוגים, זאת משום שבנוסחא בדוגמה 4 לעיל הדיסקרימיננטה אדישה לתבניות מ-$I^{2}(\mathbb {F} )$.

לפי משפט, מההומומורפיזם הנ"ל נובע איזומורפיזם $I^{2}(\mathbb {F} )/I^{3}(\mathbb {F} )\cong {_{2}{Br(\mathbb {F} )}}$, לתת החבורה של חבורת בראוור מפיתול 2.

טענה זו היא בסיסית וחשובה בחקר המנות של שרשרת האידאלים בחוג ויט - $W({F})\supseteq I(F)\supseteq {I}^{2}(F)\supseteq ...$. בנושא זה ראו גם תורת K של חוגים.

ראו גם

• תבנית ריבועית
• אלגברה פשוטה מרכזית
• אלגברה חיצונית
• חבורת בראוור
• חוג ויט

לקריאה נוספת

• עוזי וישנה, מבוא לתבניות ריבועיות, 2014.