גרף קיילי

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

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

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

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

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

ראו גם
משפט קיילי
גרף שרייר

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

קטגוריה:תורת החבורות הגאומטרית
קטגוריה:תורת הגרפים