משתני גרסמן

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

== הגדרות ותכונות בסיסיות ==

מספרי גרסמן <math>\ \theta_i</math> הם אנטי-מתחלפים עם מספרי גרסמן אחרים <math>\ \theta_j</math> באלגברה אך מתחלפים עם מספרים רגילים x:

: <math>\theta_i \theta_j = -\theta_j \theta_i\qquad\theta_i x = x \theta_i</math>.

בפרט, ריבוע של מספר גרסמן (כלומר: מספר גרסמן כפול עצמו) מתאפס 

: <math>(\theta_i)^2 = 0\,</math>, שכן <math>\ \theta_i \theta_i = -\theta_i \theta_i</math> .

אינטגרציה של מספרי גרסמן מקיימת את הדרישות הבאות:

* ליניאריות
: <math>\int d\theta \, [a f(\theta) + b g(\theta) ]= a \int d\theta \, f(\theta) + b \int d\theta \, g(\theta)</math>

* אינטגרל של נגזרת חלקית

: <math>\int d\theta \, \left[\frac{\partial}{\partial\theta}f(\theta)\right] = 0 </math>

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

: <math>\int d\theta \, 1 = 0</math>
: <math>\int d\theta \, \theta = 1</math>

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

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

: <math>\int \,d\theta\,d\eta \exp\left[\theta^TA\eta\right] = \det A </math>

כאשר <math>A</math> היא מטריצה ריבועית <math>N \times N</math> .

האלגברה שנוצרת על ידי קבוצה של מספרי גרסמן נקראת "אלגברת גרסמן". אלגברת גרסמן נוצרת על ידי n משתני גרסמן בלתי-תלויים והיא מממד 2<sup>n</sup>. אלגברות גרסמן הם מקרה פרטי של סופר אלגברה - אלגברה עם משתנים ("זוגיים") שמתחלפים ומשתנים ("אי-זוגיים") שאנטי-מתחלפים.

==אלגברה חיצונית==

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

==הצגה על ידי מטריצות==

מספרי גרסמן ניתנים לייצוג על ידי מטריצות. ניקח לדוגמה את אלגברת גרסמן הנוצרת על ידי שני מספרי גרסמן <math>\ \theta_1</math> ו- <math>\ \theta_2</math>. מספרי גרסמן אלה ניתן להציג באמצעות שתי מטריצות 4 על 4:

:<math>\theta_1 = \begin{bmatrix}
0 & 0 & 0 & 0\\
1 & 0 & 0 & 0\\
0 & 0 & 0 & 0\\
0 & 0 & 1 & 0\\
\end{bmatrix}\qquad \theta_2 = \begin{bmatrix}
0&0&0&0\\
0&0&0&0\\
1&0&0&0\\
0&-1&0&0\\
\end{bmatrix}\qquad \theta_1\theta_2 = -\theta_2\theta_1 = \begin{bmatrix}
0&0&0&0\\
0&0&0&0\\
0&0&0&0\\
1&0&0&0\\
\end{bmatrix}
</math>

באופן כללי, אלגברת גרסמן עם n יוצרים ניתן להציג על ידי מטריצות ריבועיות 2<sup>n</sup> &times; 2<sup>n</sup>. באופן פיזיקלי ניתן לחשוב על מטריצות אלה כאופרטורי יצירה והשמדה הפועלים על מרחב הילברט של n פרמיונים זהים בסיס מספרי האכלוס. מאחר שמספרי האכלוס של פרמיונים הם רק 0 או 1 יש 2<sup>n</sup> מצבי בסיס אפשריים. באופן מתמטי, ניתן לפרש מטריצות אלה כאופרטור המתאימים לכפלה חיצונית שמאלית על אלגברת גרסמן.

==יישומים==

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

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

קטגוריה:אלגברה