Speaker: Zlil Sela Title: Basic conjectures and preliminary results in non-commutative algebraic geometry
Abstract: Algebraic geometry studies the structure of varieties over fields and commutative rings. Starting in the 1960's ring theorists (Cohn, Bergman and others) have tried to study the structure of varieties over some non-commutative rings (notably free associative algebras).
The lack of unique factorization that they tackled and studied in detail, and the pathologies that they were aware of, prevented any attempt
Abstract: Let G be a finite abelian group. We say that a given subset of G is uniform if all of its Fourier coefficients are small. We'll show that uniform sets are common and explore some of their nice additive properties.
כותרת: בנייה ומנייה באמצעות השיטה ההסתברותית
תקציר:
שתיים מהשאלות הבסיסיות של המתמטיקאי הטיפוסי הן "האם קיים?" ו"כמה יש?". בהרצאה זו נציג מבוא לשיטה ההסתברותית, שלעתים קרובות מספקת תשובות לשאלות אלה. לאחר הצגת המושגים הבסיסיים נלמד את השיטה דרך דוגמאות:
קיום של גרפים ללא תת-גרף שלם גדול וללא קבוצה בלתי תלויה גדולה:
בהנתן גרף, תת-גרף שלם שלו הינו תת-קבוצה של קודקודים כך שכל הצלעות ביניהם נמצאים בגרף, וקבוצה בלתי תלויה היא תת-קבוצה של הקודקודים ביניהם אין אף צלע.
במאמר שהכניס את השימוש בהסתברות לקומבינטוריקה, פאול ארדש הוכיח שאם בוחרים גרף עם
$2^{k/2}$
Speaker: Michael Chapman
Title: Pell's Equation
Abstract:Think about the following problems:
Find all natural numbers that are both squares and triangular. Definition of Triangular Number
Find all non-negative integers a such that a+1 and 3a+1 are both perfect squares. Also, prove that if you take the ascending sequence (a_n)_{n=1}^\infty of such numbers, the number a_n \cdot a_{n+1}+1 is also a perfect square.
Prove there are infinitely many triplets of consecutive positive integers, all of them are sums of two squares. For example 8=2^2 +2^2,9=3^2 +0^2,10=3^2+1^2.
מרצה: אסף שחר
כותרת: קשיחות בגיאומטריה או: כשניסים קורים
תקציר:
קשיחות (Rigidity) היא מצב שבו לאובייקט מסוים יש תכונה "טובה" יותר מזו שניתן היה לצפות לה מלכתחילה, או לחילופין מצב בו האובייקט נקבע לחלוטין על ידי פחות אינפורמציה ממה שהיינו מצפים.
בהרצאה הזו נדבר על קשיחות בגיאומטריה.
תחילה נדון בקשרים (מפתיעים!) בין טופלוגיה לגיאומטריה, ולאחר מכן נעסוק בעיקר בקשיחות גיאומטרית של העתקות.
נתחיל ממשפט קלאסי של ליוביל שקובע שהעתקה שהדיפרנציאל שלה בכל נקודה היא סיבוב היא בעצמה סיבוב ואז נעבור לדבר על גרסאות "כמותיות" יותר שלו. אם יהיה זמן נאמר גם משהו על הכללות ליריעות רימניות.
Let G be a graph with oriented edges. One can assign to each edge of G an integer weight. This assignment is a flow if it conserves matter at each vertex, i.e. the sum of weights on the vertex's inward edges is equal to the sum on its outward edges. Can one assign such a flow to G without using 0 as a weight? Collecting all graphs for which such a non-zero flow exists, can you bound the absolute value of the weights you use? What is the best possible bound?
כותרת: מה הקשר בין גרפים מרחיבים לבין מידות אינוריאנטיות על S^n?
תקציר: מידת לבג על הספירה S^n היא סיגמא-אדיטיבית ואינוריאנטית לסיבובים, וזה מאפיין אותה לחלוטין מבין המידות (המנורמלות) על S^n המוגדרות על כל הקבוצות המדידות-לבג. בעית בנך-רוזייביץ', מתחילת שנות ה-20, שואלת: מה לגבי מידות סוף-אדיטיביות? האם מידת לבג היא עדיין היחידה? בשנת 1923, בנך נתן תשובה שלילית למקרה של המעגל S^1. מה לגבי n\geq2? טרסקי עשה את הצעד הראשון לקראת הפתרון (בעזרת פרדוקס בנך-טרסקי!).
מרצה: שי אברה
כותרת: בעיות קלאסיות במספרים הראשוניים
תקציר:
המספרים הראשוניים הם מהמושגים המתמטיים העתיקים ביותר, והם היו ידועים כבר ליוונים ולמצרים הקדמונים.
עם זאת, אנחנו עדיין לא יודעים לענות על הרבה מהשאלות הבסיסיות והעתיקות ביותר לגביהם, לדוגמה:
- האם כל מספר מספר זוגי גדול מ 2 הוא סכום של שני ראשוניים?
- האם ישנם אינסוף זוגות של ראשוניים עם הפרש 2 ?
בהרצאה זו ניתן סקירה קצרה של כמה מהכלים והתוצאות המודרניות המכוונות לפתור שאלות אלה ואחרות.
האירוע הזה כולל שיחת וידאו ב-Google Hangouts.
In the 19th century, Hermann Schwarz studied a differential expression which became known as the "Schwarzian Derivative". Early on, it was discovered that this expression vanishes exactly for Mobius Transformations. That discovery led to many interesting results in 20th century Complex Analysis, which connect the behaviour of a given holomorphic (or meromorphic) function to the geometry of a domain on which it is defined. In this talk we will review some of these results.
כותרת: וכעת, למשהו אי-קשיר לחלוטין
חבורה טופולוגית נקראת פרו-סופית אם היא קומפקטית, האוסדורף ואי-קשירה לחלוטין. בהינתן חבורה G, ניתן לזהות שהיא פרו-סופית ע"י מתן סדרה של חבורות סופיות, המהוות במובן מסויים "קירובים הולכים ומשתפרים" עבור G. כאשר מציגים את המושג, דואגים לרוב להסתיר איפיון זה, על-מנת להבטיח שהסטודנטים לא יוכלו בשום אופן להבין על מה מדובר, וכך יתחשלו ויהפכו למתמטיקאים טובים יותר. לעתים מתעקשים בכל זאת להציג את האיפיון, אך מקפידים לפחות על אי-נהירות ההוכחה, כדי להשאיר מעט מן הבלבול והתסכול החשובים כל-כך למתמטיקאים בתחילת דרכם.
