החבורה המודולרית

במתמטיקה, החבורה המודולרית היא החבורה של המטריצות בגודל 2-על-2, בעלות מקדמים שלמים ודטרמיננטה 1, עד כדי סימן. מקובל לסמן אותה ב-. החבורה המודולרית פועלת על וקטורים 2-ממדיים באופן הרגיל בו פועלות מטריצות על וקטורים; ועל חצי המישור המרוכב על ידי טרנספורמציות מביוס . החבורה המודולרית, ותת-חבורות שלה, נחקרו לראשונה במפורש על ידי ריכרד דדקינד ופליקס קליין, במסגרת תוכנית ארלנגן בשנות ה-70 של המאה ה-19. הפונקציות האליפטיות הקשורות בפעולת החבורה על חצי המישור העליון נחקרו על ידי ז'וזף לואי לגרנז' ב-1785, על ידי יעקובי ואבל ב-1827, ועל ידי רבים אחרים. (שמה של החבורה מגיע ממרחב המודולים של משטחי רימן, ולא מחשבון מודולרי.)

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

פעולות של החבורה המודולריתעריכה

הפעולה על זוגות זריםעריכה

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

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

הפעולה על הסריגיםעריכה

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

תכונות כחבורהעריכה

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

היוצרים S,ST מציגים את   כמכפלה חופשית  . (באותו אופן,   היא מכפלת היתוך  ).

תת-חבורות הקונגרואנציהעריכה

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

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

הרחבה מרכזית אוניברסליתעריכה

  היא חבורה מושלמת. ככזו, יש לה הרחבה מרכזית אוניברסלית; הרחבה זו היא  , כאשר   היא חבורת הצמות השלישית.

חבורות הקהעריכה

חבורת הקה   (עבור q>2 טבעי) היא תת-החבורה של   הנוצרת על-ידי המטריצות S (ראו לעיל) ו- . החבורה המודולרית היא חבורת הקה עבור q=3. באופן כללי,  . יש מושג של תת-חבורות קונגרואנציה המגיע מאידיאלים ראשיים של  .

הקשר לגאומטריה היפרבוליתעריכה

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

 
תחום יסודי לפעולת החבורה המודולרית על חצי המישור העליון.

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

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

עקומים אליפטייםעריכה

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