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

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

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

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

כל יוצר מעלה או מוריד עד 3 בכל קורדינאטה, ולכן ביטוי שמכיל
באופן מעט יותר כללי, אם גידול של חבורה (כלומר נפח כדור בגרף קיילי כפונקציה של הרדיוס) הוא פולינומיאלי בקבוצת יוצרים אחת, הוא כזה גם בכל קבוצת יוצרים סופית אחרת. נניח שבגרף קיילי של
קל גם לראות שהגידול של כל חבורה חילופית נוצרת סופית הוא פולינומיאלי: לפי משפט המבנה לחבורות חילופיות נוצרות סופית כל חבורה הזו היא מכפלה ישרה של
אבל יש גם חבורות לא חילופיות עם גידול מסדר פולינומיאלי. הדוגמא שראינו בקורס היא חבורת הייזנברג. לא נוח להציג אותה גרפית ולא קל להתרשם מקצב הגידול שלה, אבל מחיפוש מהיר באינטרנט נראה שזו הדוגמא הפשוטה ביותר לחבורה עם גידול פולינומיאלי שאינה חילופית (עד-כדי חלק סופי). איברי החבורה הם שלשות של מספרים שלמים, עם הפעולה
ונפח כדור בגרף קיילי פרופורציוני לחזקה הרביעית של הרדיוס. לא נראה לי ששווה לחזור פה על החישובים, מי שרוצה יכולה לבדוק לבד.
בכל מקרה, עולה השאלה לאיזו חבורה יש איזה קצב גידול. וההפרדה הראשונה, בין סדרי הגידול הפולינומיאליים לבין כל הקצבים המהירים יותר, קשורה לתכונה אלגברית לחלוטין של החבורה: שהיא (עד-כדי אינדקס סופי) נילפוטנטית. להבנתי יש גם גרסא כמותית של המשפט, שמקשרת בין סוג הנילפוטנטיות לבין המעריך של הפולינום. ויכול להיות שיש עוד מחקר לגבי חבורות עם גידול שהוא בין פולינום ופונקציה מעריכית, או אם יש קצבי גידול מעריכיים עם בסיס שמתחלף הלוך ושוב בין כמה ערכים. הכל נשמע כמו המשכים טבעיים אבל אני לא מכיר את התחום בכלל.
מה זה חבורה נילפוטנטית? זו תכונה שמכלילה חילופיות, ולכן כדי לתאר אותה משתמשים בקומוטטור. זו פעולה על שני איברים ש"מודדת" כמה הם לא מתחלפים: אם
ולמה השתרבב למעלה "עד-כדי אינדקס סופי"? כדי לטפל במקרים כמו
אז המשפט אומר שבהינתן חבורה נוצרת סופית, השאלה אם הגידול של כדורים בגרף קיילי הוא מסדר גודל פולינומיאלי או יותר מכך, שקולה לשאלה אם לחבורה יש תת-חבורה נילפוטנטית מאינדקס סופי.
בפוסטים הבאים נוכיח את המשפט, ניתן עוד דוגמאות, ואולי נחקור חבורות מדרג ביניים עם גידול בין פולינומיאלי למעריכי.
מעניין מאוד! נושא שלא הכרתי וגם רק הטעימה הזו מרתקת. הייתי שמח אם היית משחקים עם המונחים והדוגמאות יותר לפני שאתה ממשיך עם הקו הראשי של הפוסט. הרבה טענות/ הגדרות שנאמרו כאן לא שקעו לי עד הסוף, יכול להיות שזה פשוט כי הרקע שלי במתמטיקה לא עמוק מספיק.
בכל אופן מחכה לפוסט הבא