#Theorema Magnum MMXIV: die Grunewald-Ash-Vermutung – Mathlog
„Theorema Magnum MMXIV: die Grunewald-Ash-Vermutung – Mathlog“
Für die Betti-Zahlen der endlichen Überlagerungen einer gegebenen Mannigfaltigkeit bewies Lück 1994, dass sie gegen die L2-Betti_Zahlen konvergieren, was 2011 von Bergeron und sechs Koautoren unter der schwächeren Annahme der Benjamini-Schramm-Konvergenz gegen die universelle Überlagerung (und einer universellen unteren Schranke für den Injektivitätsradius) bewiesen wurde. Sie vermuteten, dass der entsprechende Grenzwert für den Logarithmus des Torsionsanteils von H1 im Fall hyperbolischer 3-Mannigfaltigkeiten gegen die analytische Torsion konvergiert, insbesondere der Torsionsanteil also exponentiell wächst. Bergeron und Venkatesh, und unabhängig W. Müller, bewiesen einige Resultate in dieser Richtung. Vieles in diesem Gebiet blieb im Rahmen von Vermutungen. Venkatesh und F. Calegari schlugen Versionen des Langlands-Programm für Torsionsklassen vor, während Prasanna und Venkatesh Vermutungen über Verbindungen zur motivischen Kohomologie und damit auch zu L-Funktionen aufstellten.
Elliptischen Kurven oder Modulkurven mittels etaler Kohomologie Darstellungen der absoluten Galois-Gruppe zuzuordnen ist ein erfolgreiches Konzept der Zahlentheorie, exemplifiziert am Beweis der Fermat-Vermutung. Insbesondere von Richard Taylor und seinen Schülern wurde Modularität von Galois-Darstellungen erfolgreich auf zahlentheoretische Probleme angewandt. Das höherdimensionale Analogon zur Modulkurve sind die Shimura-Varietäten, gewisse lokalsymmetrische Räume. Ihre etale Kohomologie wird durch automorphe Formen realisiert, die eine natürliche Wirkung der absoluten Galois-Gruppe haben und die damit einen Rahmen für das Langlands-Programm geben. Shimura-Varietäten waren ursprünglich von Shimura betrachtet, dann von Deligne axiomatisch definiert worden. Nach dem Satz von Borel-Baily sind sie komplexe algebraische Varietäten und haben eine kanonische Kompaktifizierung. In manchen Fällen sind sie Modulräume abelscher Varietäten mit zusätzlichen Strukturen (Polarisierung, Hodge-Klasse, Levelstruktur). Sie können über Zahlkörpern definiert werden und sind deshalb von arithmetischem Interesse. Sie sind der Prototyp, um Vermutungen im Langlands-Programm zu testen. Langlands schlug Ende der 70er Jahre vor, dass man die Zeta-Funktion einer Shimura-Varietät als alternierendes Produkt automorpher L-Funktionen beschreiben sollte. Tatsächlich schlug er das allgemeiner für über Zahlkörpern definierte algebraische Varietäten vor, aber nur für Shimura-Varietäten kann man solche Vermutungen beweisen.
Die von Khare und Wintenberger bewiesene Serre-Vermutung besagt, dass l-adische (absolut irreduzible, stetige und ungerade) Darstellungen der absoluten Galois-Gruppe zu Modulformen auf der hyperbolischen Ebene assoziiert sind. Letztere lassen sich mit dem Eichler-Shimura-Isomorphismus als Elemente in der Kohomologie der Modulkurve SL(2,Z)H2 bzw. der Gruppenkohomologie von SL(2,Z) interpretieren. Um die Serre-Vermutung auf Darstellungen der absoluten Galois-Gruppe anderer Zahlkörper K zu verallgemeinern, kann man die hyperbolische Ebene durch lokal symmetrische Räume und Modulformen zu SL(2,Z) durch automorphe Formen in der Kohomologie des lokal-symmetrischen Raumes ersetzen. (Die von Franke bewiesene Borel-Vermutung besagt, dass für arithmetische Gruppen ihre Gruppenkohomologieklassen automorphen Formen entsprechen.) Analog zur Serre-Vermutung will man alle Galois-Darstellungen in der Torsion der Homologie lokal symmetrischer Räume bekommen. Zum Beispiel betrachtet man für imaginär-quadratische Körper K den 3-dimensionalen hyperbolischen Raum H3 und die automorphen Formen in der Kohomologie seiner Quotienten nach Kongruenzuntergruppen in Bianchi-Gruppen SL(2,OK). Solche arithmetischen hyperbolischen 3-Mannigfaltigkeiten haben keine algebraische Struktur, sind also (anders als noch im 2-dimensionalen Fall) den klassischen Methoden aus der Theorie der Shimura- Varietäten nicht zugänglich. Nach der Philosophie des Langlands-Programms sollten Elemente in H1(ΓH3,C) 2-dimensionalen p-adischen Galois-Darstellungen entsprechen, was in diesem Fall von Harris-Lan-Taylor-Thorne bewiesen wurde. Allerdings folgt aus dem Satz von Lück und dem Verschwinden der L2-Betti-Zahlen des hyperbolischen Raumes, dass die Dimensionen dieser Homologiegruppen nur langsam wachsen und man dementsprechend auf diese Weise nicht so viele Galois-Darstellungen bekommt. Dafür sucht man nun zu den Elementen der (oft sehr großen) Torsionsgruppen H1(ΓH3,Fp) nach zugehörigen 2-dimensionalen Galois-Darstellungen über dem algebraischen Abschluß von Fp. Die Spur der Bilder von Frobp soll den zugehörigen Eigenwerten der Hecke-Operatoren (für die Kohomologieklassen als Hecke-Eigenklassen) entsprechen. Die Existenz solcher Galois-Darstellungen ist die Grunewald-Ash-Vermutung.
Wenn Ihnen der Artikel gefallen hat, vergessen Sie nicht, ihn mit Ihren Freunden zu teilen. Folgen Sie uns auch in Google News, klicken Sie auf den Stern und wählen Sie uns aus Ihren Favoriten aus.
Wenn Sie an Foren interessiert sind, können Sie Forum.BuradaBiliyorum.Com besuchen.
Wenn Sie weitere Nachrichten lesen möchten, können Sie unsere Wissenschaft kategorie besuchen.