We derive the asymptotic expansion of the partition function of a Coulomb gas system in the determinantal case on compact Riemann surfaces of any genus g. Our main tool is the bosonization formula relating the analytic torsion and geometric quantities including the Green functions appearing in the definition of this partition function. As a result, we prove the geometric version of the Zabrodin-Wiegmann conjecture in the determinantal case.
- Papier-ID: 2508.20598
- Titel: Free energy of the Coulomb gas in the determinantal case on Riemann surfaces
- Autor: Lucas Bourgoin
- Klassifizierung: math.DG, cond-mat.stat-mech, math-ph, math.MP
- Veröffentlichungsdatum: 15. Oktober 2025
- Papierlink: https://arxiv.org/abs/2508.20598
In diesem Artikel wird die asymptotische Entwicklung der Zustandssumme des Coulomb-Gas-Systems im Determinantenfall auf kompakten Riemannschen Flächen beliebiger Geschlechts g hergeleitet. Das Hauptwerkzeug ist die Bosonisierungsformel, die die analytische Torsion mit geometrischen Größen verbindet, einschließlich der in der Definition der Zustandssumme auftretenden Greenschen Funktion. Die Ergebnisse beweisen eine geometrische Version der Zabrodin-Wiegmann-Vermutung im Determinantenfall.
- Freie Energie des Coulomb-Gas-Systems: Untersuchung von N Fermionen unter Coulomb-Wechselwirkung auf kompakten Riemannschen Flächen, insbesondere das asymptotische Verhalten des Logarithmus der Zustandssumme, wenn die Teilchenzahl N gegen Unendlich geht.
- Geometrische Verallgemeinerung der Zabrodin-Wiegmann-Vermutung: Die ursprüngliche Vermutung bezieht sich auf Systeme in der komplexen Ebene; dieser Artikel verallgemeinert sie auf Riemannsche Flächen beliebigen Geschlechts.
- Statistische Physik: Die freie Energie ist eine wichtige Größe zur Beschreibung physikalischer Systeme; das Verständnis des Verhaltens im Grenzfall großer Teilchenzahlen ist von besonderer Bedeutung
- Mathematische Bedeutung: Verbindung von Zufallsmatrixtheorie, Riemannscher Geometrie und analytischer Zahlentheorie
- Quanten-Hall-Effekt: Der Fall mit ganzzahligem β entspricht dem Laughlin-Zustand im Quanten-Hall-Effekt
- Für die komplexe Ebene existieren teilweise Ergebnisse, aber es fehlt eine vollständige Theorie für den allgemeinen Fall kompakter Riemannscher Flächen
- Nur im Fall β=1 (Determinantenfall) stehen umfassendere Analysewerkzeuge zur Verfügung
- Hauptsatz: Vollständige asymptotische Entwicklung der Zustandssumme des Determinanten-Coulomb-Gases auf kompakten Riemannschen Flächen beliebigen Geschlechts
- Beweis der geometrischen Zabrodin-Wiegmann-Vermutung: Beweis der geometrischen Version dieser Vermutung im Determinantenfall
- Technische Innovation: Verwendung der Bosonisierungsformel zur Umwandlung des Problems in die Berechnung von Determinanten des magnetischen Laplace-Operators
- Einheitlicher Rahmen: Bereitstellung einer einheitlichen Methode zur Behandlung verschiedener Geschlechter (g=0,1,>1)
- Fluktuationsanalyse: Beweis der Konvergenz von Fluktuationen und Angabe der Grenzverteilung
Untersuchung eines Coulomb-Gas-Systems von N Teilchen auf einer kompakten Riemannschen Fläche M (Geschlecht g), wobei die Zustandssumme definiert ist als:
Zβ=N!1∫MNμNexp{2β∑1≤i<j≤NG(zi,zj)+β(N+g−1)∑i=1NV(zi)}
wobei G die Greensche Funktion des skalaren Laplace-Operators ist, V eine plurisubharmonische Potentialfunktion ist und β=1 dem Determinantenfall entspricht.
Das Schlüsselwerkzeug ist die Bosonisierungsformel, die Determinanten des magnetischen Laplace-Operators mit geometrischen Größen verbindet:
det⟨ωi,ωj⟩ρAr,hdet□L,ρAr,h=Bg,k∥detωi(pj)∥h2exp(2∑1≤i<j≤NGAr(pi,pj))(vol(M,ρAr)detIm(τ)detΔρAr)−1/2∥θ∥2
- Verwendung von Arakelov-Metriken für Berechnungen, die in der Bosonisierungsformel natürlich auftreten
- Etablierung der Beziehung zwischen Arakelov-Metriken und Standardmetriken
Verwendung von Finskis Ergebnissen zur asymptotischen Entwicklung der Determinante des magnetischen Laplace-Operators:
lndet□L,ρ,h=α0klnk+β0k+α1lnk+β1+O(klnk)
- Korrigierte Zustandssumme: Einführung einer korrigierten Zustandssumme mit Theta-Funktionen zur Vereinfachung der Berechnung
- Metrik-Transformation: Modifizierung der Hermiteschen Metrik zur Kodierung der Potentialfunktion V in die geometrische Struktur
- Einheitliche Behandlung: Bereitstellung eines einheitlichen Behandlungsrahmens für verschiedene Geschlechterfälle
- Direkte Berechnung: Direkte Berechnung und Verifikation für die Sphäre (g=0) und den Torus (g=1)
- Vergleich mit bekannten Ergebnissen: Vergleich mit in der Literatur bekannten Spezialfällen
- Konsistenzprüfung: Überprüfung der Konsistenz von Ergebnissen verschiedener Methoden
- Sphärenfall (g=0): Verifikation unter Verwendung expliziter Greenscher Funktionen und Arakelov-Metriken
- Torusfall (g=1): Verwendung expliziter Ausdrücke von Theta-Funktionen
- Höheres Geschlecht (g>1): Teilweise Verifikation unter Verwendung von Ergebnissen der hyperbolischen Geometrie
Für Potentialfunktionen V, die die plurisubharmonische Bedingung erfüllen, hat die Zustandssumme die asymptotische Entwicklung:
lnZρAr,ρcan,N(V)=B2N2+A1NlnN+B1N+A0lnN+B0+O(N−1lnN)
wobei die Koeffizienten explizite Ausdrücke haben:
- A1=−21
- A0=6g−1=−12χ(M)
- B2=S∞(V) (bezogen auf das Gleichgewichtsmaß)
- B0 enthält die regularisierte Determinante des skalaren Laplace-Operators
Für glatte Funktionen f konvergieren die Fluktuationen FluktNf=∑i=1Nf(xi)−N∫MμVf gegen eine Normalverteilung mit Mittelwert mf und Varianz vf, wobei:
vf=4π1∫MμρcanfΔρcanf>0
- Die direkten Berechnungsergebnisse für den Sphärenfall stimmen vollständig mit den theoretischen Vorhersagen überein
- Der Torusfall ergibt eine exakte Formel (nicht nur asymptotisch)
- Der Fall höheren Geschlechts zeigt Konsistenz in überprüfbaren Spezialfällen
- Zufallsmatrixtheorie: Verbindung mit Modellen wie dem Ginibre-Ensemble
- Arakelov-Geometrie: Verwendung von Arakelov-Metriken und analytischer Torsionstheorie
- Quanten-Hall-Effekt: Ganzzahlige β-Fälle entsprechen Laughlin-Zuständen
- Bereitstellung einer vollständigen Theorie für beliebiges Geschlecht
- Explizite Ausdrücke für alle Koeffizienten
- Vereinheitlichung von Ergebnissen unter verschiedenen geometrischen Hintergründen
- Vollständiger Beweis der geometrischen Zabrodin-Wiegmann-Vermutung im Determinantenfall
- Bestätigung des Auftretens der Determinante des skalaren Laplace-Operators im konstanten Term
- Etablierung einer tieferen Verbindung zwischen Coulomb-Gas und Gaußschem freiem Feld
- Anwendbar nur auf den Determinantenfall β=1
- Erfordert, dass die Potentialfunktion plurisubharmonisch ist
- Spezialfall, in dem die Flüssigkeitsunterstützung die gesamte Riemannsche Fläche ist
- Verallgemeinerung auf allgemeine β-Werte
- Untersuchung allgemeinerer Potentialfunktionen
- Erforschung von Verbindungen zu anderen physikalischen Systemen
- Theoretische Vollständigkeit: Bereitstellung einer vollständigen Lösung des Problems mit expliziten Ausdrücken für alle Koeffizienten
- Technische Innovation: Geschickte Anwendung der Bosonisierungsformel zur Umwandlung physikalischer Probleme in geometrische Probleme
- Strenge: Mathematische Herleitungen sind streng und Ergebnisse werden durch mehrere Methoden verifiziert
- Einheitlichkeit: Bereitstellung eines einheitlichen Behandlungsrahmens für verschiedene Geschlechterfälle
- Anwendungsbereich: Beschränkt auf den Determinantenfall; der allgemeine β-Fall bleibt ungelöst
- Potentialfunktionsbeschränkung: Die plurisubharmonische Bedingung beschränkt die Klasse behandelbarer Potentialfunktionen
- Rechenkomplexität: Konkrete Berechnungen für höhere Geschlechter bleiben komplex
- Theoretischer Beitrag: Bereitstellung einer wichtigen theoretischen Grundlage für Coulomb-Gas-Theorie und Zufallsmatrixtheorie
- Methodischer Wert: Die Anwendung der Bosonisierungsformel bietet einen neuen Forschungsweg für ähnliche Probleme
- Interdisziplinäre Bedeutung: Verbindung von statistischer Physik, Differentialgeometrie und algebraischer Geometrie
- Theoretische Analyse von zweidimensionalen Coulomb-Gas-Systemen
- Asymptotische Analyse in der Zufallsmatrixtheorie
- Mathematische Theorie des Quanten-Hall-Effekts
- Anwendungsforschung der Arakelov-Geometrie
Der Artikel zitiert umfangreiche verwandte Literatur, einschließlich klassischer und aktueller Arbeiten in Arakelov-Geometrie, Bosonisierungsformel und analytischer Torsionstheorie, die eine solide theoretische Grundlage für die Forschung bieten.