זוג ז'ורדן

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

באלגברה, זוג ז'ורדן הוא מבנה אלגברי המכליל את אלגברות ז'ורדן.

המערכת מוגדרת מעל שדה ממאפיין שאינו 2 או 3, וכוללת שני מרחבים וקטוריים, \ V^+,V^-, וזוג פעולות תלת-מקומיות טרילינאריות \ V^\pm\times V^\mp\times V^\pm\rightarrow V^\pm (אותן מקובל לסמן בסימון המשותף \ (x,y,z)\mapsto \{xyz\}), המקיימות את אקסיומת הקומוטטיביות \ \{xyz\}=\{zyx\} ואת האקסיומה \ \{xy\{vuz\}\}-\{uv\{xyz\}\} = \{\{xyu\}vz\}-\{u\{vxy\}z\}.

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

מערכות ז'ורדן משולשות[עריכת קוד מקור | עריכה]

המקרה המיוחד \ V^+=V^- נקרא מערכת ז'ורדן משולשת. במערכת ז'ורדן משולשת מוגדרת אינוולוציה \ (x,y)\mapsto (y,x), כך שמערכת ז'ורדן משולשת היא, בסופו של דבר, זוג ז'ורדן עם אינוולוציה. עם זאת, יש גם זוגות ז'ורדן ללא אינוולוציה (שבהם ממדי שני הרכיבים שונים זה מזה).

כל אלגברת ז'ורדן J מגדירה מערכת ז'ורדן משולשת \ V(J)=(J,J), עם הפעולה \ \{xyz\}=(x\bullet y)\bullet z + (z \bullet y) \bullet x - y \bullet(x \bullet z). מצד שני, בכל זוג ז'ורדן \ (V^+,V^-) ולכל איבר \ a באחד המרכיבים, הפעולה \ x \bullet y = \{x a y\} הופכת את המרכיב השני לאלגברת ז'ורדן.

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

אם \ R = R_{-1}+R_0+R_1 היא אלגברה (אסוציאטיבית) מדורגת, אז \ V(R) = (R_{-1},R_1) הוא זוג ז'ורדן, ביחס לפעולה \ \{xyx\}=xyx. אם R אלגברה (מדורגת) פשוטה לא טריוויאלית (היינו, אחד המרכיבים הקיצוניים אינו 0), אז גם \ V(R) זוג ז'ורדן פשוט.

בניה דומה קיימת עבור אלגברות לי מדורגות \ L = L_{-1}+L_0+L_1, שם אפשר להגדיר \ \{xyz\}=[[x,y],z]. זוגות ז'ורדן כאלה מאפשרים להכליל את הבניה של Tits-Kantor-Koecher, העומדת ביסודו של ריבוע הקסם של פרוידנטל. אם \ V=(V^+,V^-) הוא זוג ז'ורדן, ו-H אלגברה של נגזרות של הזוג המכילה את כל הנגזרות הפנימיות, אז \ K_H(V)=V^++H+V^- היא אלגברת לי מדורגת, ויש התאמה מלאה בין אלגברות לי מדורגות שבהן המרכיב האמצעי פועל בנאמנות על סכום שני האחרים, לבין זוגות ז'ורדן עם אלגברת נגזרות כנ"ל. בניה זו, ודומות לה, הן שאיפשרו לחקור את אלגברות לי הפשוטות בכלים מתחום התורה של אלגברות ז'ורדן והכללותיהן.