תורת השמורות

**תורת השמורות** (גם **תורת האינווריאנטים**, בעקבות האנגלית: **Invariant theory**) היא ענף של אלגברה מופשטת העוסק בפעולות של חבורות על יריעות אלגבריות, ובפרט על מרחבים וקטוריים, מנקודת מבט של פעולת החבורות על מרחבי פונקציות על היריעות. באופן קלאסי, התורה עסקה בשאלת התיאור המפורש של פונקציות פולינומיות שאינן משתנות, או שהן אינווריאנטיות, תחת איברי חבורה ליניארית נתונה. לדוגמה, אם ניקח את פעולת ה  \mathrm{SL}_n  על המרחב הליניארי של כל המטריצות *n* על *n* על ידי כפל משמאל, אז הדטרמיננטה היא פונקציה פולינומית שאינווריאנטית תחת פעולה זו (מכיוון שהדטרמיננטה של A X שווה לדטרמיננטה של X, כאשר A נמצא ב-  \mathrm{SL}_n ) וכל פונקציוה פולינומית אחרת שאינווריאנטית תחת הפעולה היא פולינום בדטרמיננטה.

## מבוא
יהיו G חבורה ו-V מרחב וקטורי מממד סופי מעל שדה k (שבתורת השמורות הקלאסית היה בדרך כלל שדה המספרים המרוכבים). כל  \pi:G \to GL(V) משרה פעולת חבורה של G על V. אם k[V] הוא  על k[V], אז פעולת החבורה של G על V משרה פעולה על k[V] לפי הנוסחה הבאה:
:(g \cdot f)(x) := f(g^{-1} (x)) \qquad \forall x \in V, g \in G, f\in k[V]. 
בפעולה זו טבעי להתייחס לתת-המרחב של כל הפונקציות הפולינומיות שהן אינווריאנטיות תחת פעולת החבורה, כלומר קבוצת הפולינומים כך ש-g\cdot f = f לכל g\in G. מרחב זה של **פולינומים אינווריאנטיים** מסומן k[V]^G.

**הבעיה הראשונה של תורת השמורות** היא  האם k[V]^G הוא אלגברה נוצרת סופית מעל k?

דוגמה: אם G=SL_n ו-V=M_n הוא מרחב המטריצות הריבועיות, והפעולה של G על V ניתנת על ידי כפל משמאל, אז k[V]^G איזוצורפי לחוג פולינומים במשתנה יחיד, שנוצר על ידי הדטרמיננטה. במילים אחרות, במקרה זה, כל פולינום אינווריאנטי הוא צירוף ליניארי של חזקות הפולינום הדטרמיננטי. לכן, במקרה זה k[V]^G נוצר סופית מעל k.

במקרה שבו החבורה G, ומאפיין השדה k הוא 0, התשובה חיובית, כלומר החוג k[V]^G נוצר סופית מעל k. 

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

לתורת השמורות של חבורות סופיות יש קשרים הדוקים עם תורת גלואה. אחת התוצאות העיקריות הראשונות הייתה המשפט העיקרי על הפונקציות הסימטריות שמתאר את האינווריאנטים של החבורה הסימטרית S_n הפועלת על חוג הפולינומים R[x_1, \ldots, x_n] על ידי תמורות של המשתנים. באופן כללי יותר,  מאפיין חבורות סופיות שאלגברת האינווריאנטים שלהן היא חוג פולינומים. מחקר מודרני בתורת השמורות של חבורות סופיות מדגיש תוצאות "אפקטיביות", כגון גבולות מפורשים על דרגות היוצרים. המקרה של מאפיין חיובי, הוא תחום של מחקר פעיל, עם קשרים לטופולוגיה אלגברית.

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

עבודתו של דויד הילברט על שאלת נוצרות סופית של אלגברת השמורות (1890) הביאה ליצירת דיסציפלינה מתמטית חדשה, אלגברה מופשטת. מאמר מאוחר יותר של הילברט (1893) עסק באותן שאלות בדרכים קונסטרוקטיביות וגאומטריות יותר, אך נותר כמעט בלתי ידוע עד שדייוויד ממפורד החזיר את הרעיונות הללו לחיים בשנות ה-60 של המאה ה-20, בצורה כללית ומודרנית יותר, ב שלו. במידה רבה הודות להשפעתו של ממפורד, נושא תורת השמורות נתפס ככולל את תורת הפעולות של חבורות אלגבריות ליניאריות על יריעות אלגבריות אפיניות ויריעות אלגבריות פרויקטיביות. ג'אן-קרלו רוטה ואסכולתו פיתחו ענף נפרד של תורת השמורות, שראשיתו בשיטות הקונסטרוקטיביות והקומבינטוריות הקלאסיות של המאה התשע עשרה. דוגמה בולטת למעגל רעיונות זה ניתנת על ידי . הבעיה הארבע-עשרה של הילברט הייתה בעיה פתוחה בתורת השמורות, עד לפתרונה ב-1958 על ידי מסיושי נגטה.

## דוגמה
דוגמאות פשוטות לתורת השמורות מגיעות מחישוב המונומים האינווריאנטיים מפעולת חבורה. לדוגמה, נבחן את פעולת \mathbb{Z}/2\mathbb{Z} על \mathbb{C}[x,y]:
:
\begin{align}
x\mapsto -x && y \mapsto -y
\end{align}

כיוון ש-x^2,xy,y^2 הם המונומים מהדרגה הנמוכה ביותר שהם אינווריאנטיים, נקבל ש-
:\mathbb{C}[x,y]^{\mathbb{Z}/2\mathbb{Z}} \cong \mathbb{C}[x^2,xy,y^2] \cong \frac{\mathbb{C}[a,b,c]}{(ac - b^2)}
דוגמה זו מהווה בסיס לביצוע חישובים רבים.

## שורשים במאה התשע עשרה
ארתור קיילי ביסס לראשונה את תורת השמורות במאמרו "On the Theory of Linear Transformations" ("על תורת הטרנספורמציות הליניאריות") מ-1845. בפתיחת מאמרו נותן קיילי קרדיט למאמר משנת 1841 של ג'ורג' בול (המאמר של בול נקרא Exposition of a General Theory of Linear Transformations). את המונח Invariant טבע ג'יימס ג'וזף סילבסטר, שנמנה אף הוא עם מייסדי תורת השמורות.

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

ביתר פירוט, בהינתן מרחב וקטורי *V* בעל ממד סופי *n*, נוכל לשקול את האלגברה הסימטרית *S*(*S**r*(*V*)) של הפולינומים מדרגה *r* מעל *V*, ואת הפעולה GL(*V*) עליו. למעשה, מדויק יותר לשקול את האינווריאנטים היחסיים של GL(*V*), או הצגות של SL(*V*), אם אנחנו הולכים לדבר על אינווריאנטים: הסיבה לכך היא שמכפלה סקלרית של היחידה תפעל על טנזור בעל דרגה *r* ב-S(*V*) דרך 'משקל' החזקה ה-*r* של הסקלר. הנקודה היא אז להגדיר את התת-אלגברה של האינווריאנטים *I*(*S**r*(*V*)) עבור הפעולה. המקרה שנחקר הכי הרבה היה אינווריאנטים של צורות בינאריות כאשר n = 2.

עבודה נוספת כללה את זו של פליקס קליין בחישוב החוגים האינבריאנטיים של פעולות חבורה סופיות על \mathbf{C}^2 (, המסווגות לפי ); אלו הם חוגי הקואורדינטות של . חלוצים נוספים בפיתוח תורת השמורות הם פאול גורדן, אמי נתר, אלפרד קלבש ולואיג'י קרמונה. 

עבודתו של דויד הילברט, שהוכיחה כי I*(*V*)* הוצג באופן סופי במקרים רבים, כמעט שמה קץ לתורת השמורות הקלאסית למשך מספר עשורים, אם כי התקופה הקלאסית בנושא נמשכה עד לפרסומים הסופיים של , יותר מ-50 שנה מאוחר יותר. חישובים מפורשים למטרות מסוימות ידועים בעת המודרנית.

## ראו גם
* שמורה (מתמטיקה)
* משפט הבסיס של הילברט

## קישורים חיצוניים
* 

*Hanspeter Kraft, Claudio Procesi, Classical Invariant Theory, a Primer, July 1996
* 
*


## הערות שוליים

*