חבורת הייזנברג

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

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

הגדרה

יהי $R$ חוג חילופי. חבורת הייזנברג (מממד 3) מעל החוג $R$ היא החבורה המכילה את המטריצות

${\begin{pmatrix}1&a&c\\0&1&b\\0&0&1\end{pmatrix}}$

כאשר $a,b,c\in R$. הפעולה בחבורה היא כפל מטריצות, ואיבר היחידה שלה הוא מטריצת היחידה.

המבנה הנתון אכן מהווה חבורה, שכן הוא סגור לכפל:

${\begin{pmatrix}1&a&c\\0&1&b\\0&0&1\\\end{pmatrix}}{\begin{pmatrix}1&a'&c'\\0&1&b'\\0&0&1\\\end{pmatrix}}={\begin{pmatrix}1&a+a'&c+c'+ab'\\0&1&b+b'\\0&0&1\\\end{pmatrix}}\,$

ולכל איבר יש איבר הפיך (ללא הדרישה שהאיברים $a,b,c\in R$ יהיו הפיכים בעצמם):

${\begin{pmatrix}1&a&c\\0&1&b\\0&0&1\\\end{pmatrix}}^{-1}={\begin{pmatrix}1&-a&ab-c\\0&1&-b\\0&0&1\\\end{pmatrix}}\,$

דוגמאות

חבורת הייזנברג הממשית

כאשר לוקחים את החוג $R$ להיות שדה המספרים הממשיים $\mathbb {R}$, מתקבלת חבורת הייזנברג הממשית, או חבורת הייזנברג הרציפה.

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

חבורת הייזנברג הבדידה

כאשר בוחרים את החוג $R$ להיות חוג המספרים השלמים $\mathbb {Z}$, מתקבלת חבורת הייזנברג הדיסקרטית. זוהי חבורה נילפוטנטית, אשר נוצרת על ידי שני האיברים:

$x={\begin{pmatrix}1&1&0\\0&1&0\\0&0&1\\\end{pmatrix}},\ \ y={\begin{pmatrix}1&0&0\\0&1&1\\0&0&1\\\end{pmatrix}}$

אם מסמנים $z=[x,y]=xyx^{-1}y^{-1}$, לחבורה מתקבלים היחסים הבאים:

$z_{}^{}=[x,y],\ [x,z]=e,\ [y,z]=e$.

במקרה זה, האיבר $z$ יוצר את המרכז של החברה, וכל איבר שלה ניתן לכתוב מהצורה

${\begin{pmatrix}1&a&c\\0&1&b\\0&0&1\\\end{pmatrix}}=y^{b}z^{c}x^{a}\,$.

מעל שדה סופי

חבורת הייזנברג מעל השדה הסופי $\mathbb {Z} _{p}$ היא מסדר $p^{3}$ ומאקספוננט $p$. ניתן לתאר אותה על ידי היחסים הבאים:

$z=[x,y],\ x^{p}=y^{p}=z^{p}=1,\ [x,z]=e,\ [y,z]=e$

חבורות אלו הן חבורות מאוד מיוחדות - חבורת-p בה המרכז $C$ איזומורפי ל-$\mathbb {Z} _{p}$ וחבורת המנה $G/C$ היא אבלית וכל איבר לא טריוויאלי בה הוא מסדר $p$.

במקרה של $p=2$, מתקבלת החבורה הדיהדרלית $D_{4}$.

אלגברת לי המתאימה

לחבורת הייזנברג הממשית ניתן להתאים את אלגברת לי המכילה את המטריצות הבאות:

${\begin{pmatrix}0&a&b\\0&0&c\\0&0&0\\\end{pmatrix}}$,

עם הבסיס הבא:

$X={\begin{pmatrix}0&1&0\\0&0&0\\0&0&0\\\end{pmatrix}};\quad Y={\begin{pmatrix}0&0&0\\0&0&1\\0&0&0\\\end{pmatrix}};\quad Z={\begin{pmatrix}0&0&1\\0&0&0\\0&0&0\\\end{pmatrix}}$

איברי הבסיס מקיימים את היחסים הבאים, המזכירים את יחסי החילוף הקנוניים במכניקה קוונטית:

$[X,Y]=Z;\quad [X,Z]=0;\quad [Y,Z]=0$

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

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

שגיאות פרמטריות בתבנית:מיון ויקיפדיה
שימוש בפרמטרים מיושנים [ דרגה ] חבורת הייזנברג28201536