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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

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

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

הגדרה[עריכת קוד מקור | עריכה]

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

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

אפיון ותכונות[עריכת קוד מקור | עריכה]

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

דוגמאות[עריכת קוד מקור | עריכה]

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

אלגברת קליפורד ואלגברה חיצונית[עריכת קוד מקור | עריכה]

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

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

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

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

תכונה אוניברסלית[עריכת קוד מקור | עריכה]

לפי בנייתה, לאלגברת קליפורד תכונה אוניברסלית, כלומר היא האלגברה הכללית ביותר המקיימת .

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

CliffordAlgebra-01.png

(כאשר הוא השיכון ).

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

דירוג[עריכת קוד מקור | עריכה]

אלגברת קליפורד היא אלגברה -מדורגת.

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

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

אלגברת קליפורד כאינווריאנט[עריכת קוד מקור | עריכה]

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

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

לפי משפט, מההומומורפיזם הנ"ל נובע איזומורפיזם , לתת החבורה של חבורת בראוור מפיתול 2.

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

ראו גם[עריכת קוד מקור | עריכה]

לקריאה נוספת[עריכת קוד מקור | עריכה]