פעילויות השבוע

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

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

לפי משפט המבנה של חבורות אבליות, החבורה של עקום אליפטי היא מכפלה של מספר עותקים סופי $r$ של החבורה החיבורית של השלמים, ושל חבורת הפיתול, כלומר, אוסף הפתרונות של משוואת העקום שהם מסדר סופי. המספר $r$ נקרא הדרגה של העקום והוא נושאה של ההשערה של Birch Swinnerton-Dyer שהיא אחת מהשערות מליון הדולר המפורסמות של מכון קליי.

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

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

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

A classical Theorem of Delorme-Guichardet states that a group G has property (T) if and only if every continuous affine isometric action of G on a Hilbert space has a fixed point.

There was a conjecture (attributed to Margulis) that for simple higher rank algebraic groups, this result has the following far reaching generalization: For a simple higher rank algebraic group with a finite center G, every continuous affine isometric action of G on a uniformly convex space has a fixed point.

This conjecture was recently settled by the joint works of V. Lafforgue, Liao for the non-Archimedean case, and myself, and de Laat and de la Salle in the real case.

In my lecture, I will discuss the history of the conjecture mentioned above and a further generalization of its solution beyond algebraic groups (namely, for higher rank universal lattices and Steinberg groups).