שמורה פולינומית

במתמטיקה, שמורה פולינומית ביחס לפעולה של חבורה G על מרחב וקטורי <math>\ V = \operatorname{span}_F\{x_1,\dots,x_m\}</math> היא פולינום <math>\ f \in R = F[x_1,\dots,x_m]</math> הנשמר תחת הפעולה: <math>\ f(g x_1,\dots,g x_m) = f(x_1,\dots,x_m)</math> לכל <math>\ g\in G</math>. השמורות תלויות בחבורה G, ובאופן שבו היא פועלת על המשתנים <math>\ x_1,\dots,x_m</math> (המהווה הצגה ליניארית שלה על המרחב V). אוסף השמורות מהווה תת-חוג של חוג הפולינומים, שאותו מקובל לסמן ב-<math>\ R^G</math>. תורת השמורות הפולינומיות סובבת סביב המבנה של חוג הפולינומים, החל ממציאת יוצרים מפורשים עבור חבורה נתונה (היינו, קבוצת שמורות שאפשר להציג בעזרתה כל שמורה אחרת), וכלה בפרטי המבנה האלגברי של החוג.

== היסטוריה ==

התוצאה הראשונה בתחום זה היא המשפט של ניוטון, שהוכיח שכל פונקציה סימטרית, היינו, שמורה של החבורה הסימטרית בפעולה הטבעית שלה על האינדקסים, היא פולינום ב"שמורות היסודיות" <math>\ p_j = \sum_{i_1<\dots<i_j} x_{i_1} \cdots x_{i_j}</math>, עבור <math>\ j = 1,\dots,m</math>. לדוגמה, כל פולינום בשני משתנים המקיים <math>\ f(x_1,x_2) = f(x_2,x_1)</math> הוא למעשה פולינום בשני הביטויים <math>\ p_1 = x_1+x_2</math> ו- <math>\ p_2 = x_1x_2</math>. 

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

חקר השמורות הפולינומיות היה אחד התחומים המרכזיים באלגברה של המאה ה-19, שבה התמקד המחקר במציאת שמורות ושיטות לחישובן עבור חבורות שונות. התחום שינה את פניו כאשר דויד הילברט פתר, ב-1888, את הבעיה היסודית שלו, בהראותו שכל מערכת של שמורות נוצרת על ידי בסיס סופי (בלשון מודרנית, הוא הראה שהחוג <math>\ R^G</math> נוצר סופית, כחוג). תוצאה זו נתקלה בתחילת הדרך בהתנגדות (פאול גורדן, מן המתמטיקאים החשובים באותה עת, פטר אותה כ"תאולוגיה"), משום שלא הייתה קונסטרוקטיבית. אמי נתר, תלמידתו של גורדן, הובילה אמנם את האלגברה המודרנית בכיוון הלא-קונסטרוקטיבי שייסד הילברט (בפתחה למשל את החוגים הנתריים), אבל גם מצאה פתרונות קונסטרוקטיביים לאותה בעיה יסודית (ראו להלן).

== מבוא מתמטי ==

שמורה פולינומית היא, כאמור, איבר של חוג הפולינומים, הנשמר תחת פעולה ליניארית של חבורה (סופית) G. לחוג הפולינומים יש דירוג טבעי לפי המעלה הכוללת, <math>\ R = F[x_1,\dots,x_m] = \bigoplus R_n</math>, והפעולה של G על כל מרכיב הומוגני מושרית מן הפעולה על המרכיב הליניארי <math>\ V = R_1</math>. כל עוד G סופית, ממד קרול של חוג השמורות <math>\ R^G</math> שווה לזה של R, שהוא גם דרגת הטרנסצנדנטיות של שדה השברים, m. (לכל הצגה אי-פריקה עם קרקטר <math>\ \chi</math> אפשר להגדיר את האוסף <math>\ R^G_{\chi}</math> של שמורות ביחס ל-<math>\ \chi</math>; אלו מודולים מעל חוג השמורות המוחלטות, <math>\ R^G</math>). 

כל שמורה של G אפשר להציג כסכום של שמורות הומוגניות, כך שחוג השמורות מתפרק <math>\ R^G = \sum_n R^G_n</math>, והוא למעשה תת-אלגברה מדורגת של R. קבוצת יוצרים הומוגניים של חוג השמורות נקראת לפעמים "בסיס". לאחר שהילברט הוכיח שתמיד קיים בסיס סופי, השאלה המתבקשת היא מהן הדרגות של איברים בבסיס, ומהם הקשרים האלגבריים בין אברי בסיס, בהנחה שהם תלויים אלגברית. נקודת המבט המדורגת מביאה להגדרה של סדרת הילברט-פואנקרה (נקראת גם סדרת הילברט או סדרת פואנקרה) של החוג, <math>\ F_G(\lambda) = \sum_{n=0}^{\infty} \dim(R_n^G)\lambda^n</math>. 

כמו בכל היבט אחר של תורת ההצגות, "המקרה המודולרי", שבו סדר החבורה G מתחלק במאפיין של שדה הבסיס F, מסובך בהרבה מן המקרה הלא-מודולרי; בהמשך נטפל רק במקרה האחרון. נתר הוכיחה (במקרה הלא-מודולרי) שחוג השמורות נוצר על ידי העקבות <math>\ \frac{1}{|G|}\sum_{g\in G} g(h)</math> של המונומים h ממעלה לכל היותר סדר החבורה. בפרט, חוג השמורות נוצר על ידי לכל היותר <math>\ \frac{(|G|+m)!}{|G|!m!}</math> איברים. זהו ניסוח קונקרטי למשפט שהוכיח הילברט, לפיו החוג נוצר סופית.

משפט מוליין מחשב את סדרת הילברט-פואנקרה של חוג השמורות: <math>\ F_G(\lambda) = \frac{1}{|G|}\sum_{g \in G}\det(1-\lambda g)^{-1}</math> כאשר הדטרמיננטה מחושבת במרחב האנדומורפיזמים שבו G משוכנת (ובהכללה לשמורות יחסיות: <math>\ F_{G,\chi}(\lambda) = \frac{1}{|G|}\sum_{g \in G}\chi(g^{-1})\det(1-\lambda g)^{-1}</math>), והוא שימושי מאוד כשמכירים כמה שמורות יסודיות, ורוצים לוודא שאין שמורות נוספות (עם זאת, סדרת הילברט-פואנקרה אינה קובעת את הדרגות של השמורות היסודיות).

== המבנה של חוג השמורות ==

לפי משפט הנורמליזציה של נתר, יש בחוג השמורות קבוצה בלתי-תלויה אלגברית מקסימלית, היוצרת תת-חוג <math>\ S</math> (איזומורפי בעצמו לחוג הפולינומים ב-m משתנים), שחוג השמורות כולו הוא מודול נוצר סופית מעליו. (אברי הקבוצה הראשונה נקראים שמורות ראשיות, ואברי קבוצה פורשת של מודול השמורות מעל S נקראים שמורות משניות). השאלה המרכזית, היא, אם כך, מהו המבנה של המודול הזה. מתברר שחוג השמורות הוא חוג כהן-מקולי, כלומר, מודול חופשי מעל תת-החוג S (תכונה זו אינה תלויה בבחירה של S). את קבוצת היוצרים של S אפשר לבחור באופן הבא: בוחרים <math>\ f_1 \neq 0</math> ליניארי כלשהו, ולאחר שנבחרו <math>\ f_1,\dots,f_j</math> בוחרים <math>\ f_{j+1}</math> ליניארי שאינו באיחוד של אף תת-מרחב מהצורה <math>\ \sum_{i=1}^{j} g_i f_i</math>. הנורמות המצומצמות <math>\ N(f_i)</math>, המוגדרות כמכפלת כל הצמודים השונים זה מזה של הפולינום הנתון, מהוות קבוצת יוצרים בלתי-תלויה כדרוש. כל הדרגות <math>\ d_1,\dots,d_m</math>המתקבלות באופן זה מחלקות את סדר החבורה G, ומכאן נובע שהמכפלה <math>\ (1-\lambda^{|G|})^m F_G(\lambda)</math> היא פולינום; מכאן ראיה (נוספת) לכך שסדרת הילברט-פואנקרה היא פונקציה רציונלית. ממשפט מוליין אפשר אז להסיק שחוג השמורות <math>\ R^G</math> נוצר, כמודול מעל S, על ידי שמורות ממעלה <math>\ \sum (d_i-1)</math> לכל היותר. 

המבנה המוצלח ביותר שיכול להיות לחוג השמורות הוא שיהיה בעצמו חוג פולינומים (בעל בסיס חופשי, כלומר שווה ל-S). מתברר ש-<math>\ R^G</math> הוא חוג פולינומים אם ורק אם G נוצרת על ידי פסאודו-שיקופים, שהם העתקות (של V) שכל הערכים העצמיים שלהן - פרט לאחד בדיוק - שווים ל-1 (פסאודו-שיקוף שהערך העצמי האחרון שלו הוא 1- הוא שיקוף). זהו משפט Shephard-Todd-Chevalley-Serre. במקרה זה <math>\ |G| = d_1 \cdots d_m</math>, וב-G יש בדיוק <math>\ \sum (d_i-1)</math> פסאודו-שיקופים. (פסאודו-שיקוף צמוד או לחבורה אלכסונית, או למטריצה <math>\ 1+e_{12}</math>). משפט Kemper-Malle מספק תוצאה אנלוגית במאפיין חיובי. 

במקרה הכללי אין לחוג השמורות קבוצת יוצרים בלתי-תלויה אלגברית, ולכן אין מנוס מהבנת הקשרים בין היוצרים. קשרים אלו נקראים syzygy מסדר ראשון (syzygy היא מילה קשה לתרגום שמובנה האסטרונומי הוא התלכדות שלושה גרמי שמיים על קו ישר אחד). הקשרים עצמם הם פולינומים, העשויים להיות תלויים אלגברית - והקשרים ביניהם נקראים syzygy מסדר שני. משפט ה-syzygy של הילברט קובע שתהליך זה מוכרח להסתיים. בלשון מודרנית מציגים את חוג השמורות כחוג מנה של חוג פולינומים <math>\ A=F[y_1,\dots,y_s]</math> (כלומר, יש בסיס בן s שמורות הומוגניות, שמהן <math>\ m\leq s</math> בלתי תלויות, ובין כל קבוצה גדולה יותר של שמורות יש בהכרח תלות אלגברית). מערכת הקשרים והקשרים בין הקשרים וכן הלאה מבוטאת דרך רזולוציה חופשית של <math>\ R^G</math> כמודול מעל A (ומשפט ה-Syzygy פירושו שיש רזולוציה חופשית סופית). למעשה, אם <math>\,0 \rightarrow F_n \rightarrow \dots \rightarrow F_1 \rightarrow F_0 \rightarrow R^G \rightarrow 0 </math> היא רזולוציה שבה ה-<math>\ F_i</math> הם A-מודולים חופשיים, אפשר לחשב את סדרת הילברט-פואנקרה לפי הנוסחה <math>\ F_{G}(\lambda) = \sum((-1)^i\sum\lambda^{d_{ij}})\prod(1-\lambda^{d_i})^{-1}</math>, כאשר <math>\ d_{ij}</math> הן הדרגות של היוצרים של <math>\ F_i</math>. 

יש רזולוציה יחידה שבה הדרגה של כל <math>\ F_i</math> היא הנמוכה ביותר האפשרית; הדרגות של המודולים המשתתפים בה הם מספרי בטי <math>\ \beta_i(R^G)</math>. אורכה של רזולוציה זו (שהיא גם הקצרה ביותר האפשרית) הוא s-m (תכונה זו שקולה לכך שחוג השמורות הוא כהן-מקולי). אם המרכיב האחרון ברזולוציה הוא מדרגה 1, אז חוג השמורות הוא חוג גורנשטיין (תכונה זו אינה תלויה בבחירת היוצרים <math>\ y_1,\dots,y_s</math>, או אפילו במספרם). חוג השמורות הוא גורנשטיין אם ורק אם <math>\ \lambda^r \sum \det(1-\lambda g)^{-1} = \sum\det(g)\det(1-\lambda g)^{-1}</math>. בפרט, G מוכלת בחבורה הליניארית המיוחדת של V אם ורק אם r=0 וחוג השמורות הוא גורנשטיין. בכל מקרה מתקיים <math>\ \beta_1(R^G) \geq s-m</math>; המקרה שבו יש שוויון נקרא חיתוך שלם (גם זו תכונה של חוג השמורות שאינה תלויה בבחירת היוצרים). במקרה זה לרזולוציה המינימלית יש צורה סטנדרטית, המאפשרת גם לחשב בקלות את סדרת הילברט-פואנקרה, וממנה נובעת גם תכונת גורנשטיין. תכונה חזקה עוד יותר היא המקרה שבו <math>\ \beta_1(R^G) = 1</math>, המבטיח גם שהממד ההומולוגי יהיה 1. במקרה זה <math>\ R^G</math> נקרא על-משטח (hypersurface); כל על-משטח הוא חיתוך שלם.

== מקורות ==

* Invariants of finite groups and their applications to combinatorics, Richard Stanley, Bull. AMS. 1(3), 1979.

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