Eine Identität, die die spektrale Seite (eine Summe oder Verteilung, gebaut aus Eigenwerten oder Darstellungen eines automorphen Laplaceoperators oder der regulären Darstellung) mit der geometrischen Seite (eine Summe über Konjugationsklassen oder periodische Orbits) gleichsetzt und so spektrale Daten automorpher Operatoren mit geometrischen und arithmetischen Invarianten des zugrunde liegenden Quotientenraums oder der Gruppe verknüpft.

Prinzip

Die Spur eines geeignet gewählten Operators lässt sich auf zwei Arten berechnen — über seine Wirkung auf spektrale Daten und über Orbitalintegrale über Gruppenelemente — wodurch eine Gleichung entsteht, die spektrale Information in geometrische/arithmetische Zählungen übersetzt.

Demonstration

Für eine kompakte hyperbolische Fläche Γ\H verbindet die Selberg‑Spurformel die, mit einer Testfunktion gewichtete, Summe über Laplace‑Eigenwerte mit einer Summe über Längen geschlossener Geodäten (Konjugationsklassen in Γ) und liefert damit explizite Zusammenhänge zwischen Eigenwertverteilungen und geometrischen Längen.

Fehlanwendung

Die Formel anzuwenden, ohne Voraussetzungen an die Testfunktion, Konvergenz oder das Vorhandensein eines kontinuierlichen Spektrums zu prüfen; Selberg mit Arthurs allgemeiner Spurformel zu verwechseln, ohne die Schwierigkeiten höheren Rangs zu berücksichtigen.

Konsequenz

Stellt Werkzeuge zur Verfügung, um Weyl‑Gesetze herzuleiten, die Verteilung der Eigenwerte zu verstehen, das Zählen geschlossener Geodäten mit spektralen Spuren zu verbinden und in arithmetischen Fällen Identitäten zu produzieren, die expliziten Formeln für L‑Funktionen und Beziehungen von Klassen­zahlen ähneln.

Umkehrung

Ohne die Spurformel blieben spektrale Informationen und geometrische Periodenorbitdaten formal getrennt; man könnte entweder spektrales Wissen oder geometrische Zählungen haben, aber keine prinzipiell exakte Zuordnung.

Abgrenzung

Gilt in Zusammenhängen, in denen eine diskrete Gruppe auf einem symmetrischen Raum wirkt und die resultierenden Operatoren eine gut kontrollierte spektrale Zerlegung besitzen; Varianten und Erweiterungen erfordern die Behandlung nichtkompakter Quotienten, kontinuierlichen Spektrums oder höherer Ranggruppen mit verfeinerten Methoden.

Semantische Spannung

Spannung zur Arthur‑Spurformel und zur Poisson‑Summation: Selberg ist ein Prototyp in Rang‑Eins‑ oder bestimmten arithmetischen Situationen, während Arthur auf höheren Rängen mit erhöhter spektraler und kombinatorischer Komplexität generalisiert.

Synthese

Die Selberg‑Spurformel ist eine präzise Gleichung, die die Spur eines Operators sowohl spektral als auch geometrisch ausdrückt; sie schlägt eine mächtige Brücke zwischen Eigenwerten und geometrisch/arithmetischen Merkmalen (Längen, Konjugationsklassen) und ermöglicht tiefe interdisziplinäre Folgerungen.