Free energy of the Coulomb gas in the determinantal case on Riemann surfaces

Basic Information

• Paper ID: 2508.20598
• Title: Free energy of the Coulomb gas in the determinantal case on Riemann surfaces
• Author: Lucas Bourgoin
• Classification: math.DG, cond-mat.stat-mech, math-ph, math.MP
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2508.20598

Abstract

This paper derives the asymptotic expansion of the partition function for a Coulomb gas system in the determinantal case on compact Riemann surfaces of arbitrary genus g. The primary tool employed is the bosonization formula, which relates analytic torsion to geometric quantities, including the Green's function appearing in the partition function definition. The results establish a geometric version of the Zabrodin-Wiegmann conjecture in the determinantal case.

Research Background and Motivation

Core Problems

1. Free energy of Coulomb gas systems: Study the asymptotic behavior of the logarithm of the partition function for N fermions under Coulomb interactions on a compact Riemann surface as the particle number N approaches infinity.
2. Geometric generalization of the Zabrodin-Wiegmann conjecture: The original conjecture addresses systems on the complex plane; this paper extends it to Riemann surfaces of arbitrary genus.

Significance

• Statistical physics perspective: Free energy is a fundamental quantity describing physical systems, and understanding its behavior in the large particle number limit is of particular importance
• Mathematical perspective: Connects multiple mathematical branches including random matrix theory, Riemannian geometry, and analytic number theory
• Quantum Hall effect: The case where β is an integer corresponds to Laughlin states in the quantum Hall effect

Limitations of Existing Methods

• Partial results exist for the complex plane case, but a complete theory for general compact Riemann surfaces is lacking
• Comprehensive analytical tools are available only for β=1 (the determinantal case)

Core Contributions

1. Main theorem: Provides a complete asymptotic expansion for the partition function of the determinantal Coulomb gas on compact Riemann surfaces of arbitrary genus
2. Proof of geometric Zabrodin-Wiegmann conjecture: Establishes the geometric version of this conjecture in the determinantal case
3. Technical innovation: Transforms the problem using the bosonization formula into computation of determinants of magnetic Laplacian operators
4. Unified framework: Provides a unified approach for handling different genera (g=0, 1, >1)
5. Fluctuation analysis: Establishes convergence of fluctuations and determines the limiting distribution

Detailed Methodology

Problem Setup

Study a Coulomb gas system of N particles on a compact Riemann surface M (genus g), with partition function defined as:

$Z_\beta = \frac{1}{N!}\int_{M^N} \mu^N \exp\left\{2\beta\sum_{1\leq i<j\leq N} G(z_i,z_j) + \beta(N+g-1)\sum_{i=1}^N V(z_i)\right\}$

where G is the Green's function of the scalar Laplacian operator, V is a plurisubharmonic potential function, and β=1 corresponds to the determinantal case.

Core Technical Framework

1. Bosonization Formula

The key tool is the bosonization formula connecting the determinant of the magnetic Laplacian operator to geometric quantities:

$\frac{\det\square_{L,\rho_{Ar},h}}{\det\langle\omega_i,\omega_j\rangle_{\rho_{Ar},h}} = B_{g,k}\frac{\exp(2\sum_{1\leq i<j\leq N}G_{Ar}(p_i,p_j))}{\|\det\omega_i(p_j)\|_h^2}\left(\frac{\det\Delta_{\rho_{Ar}}}{\text{vol}(M,\rho_{Ar})\det\text{Im}(\tau)}\right)^{-1/2}\|\theta\|^2$

2. Arakelov Metric Theory

• Employs Arakelov metrics for computations, which naturally appear in the bosonization formula
• Establishes relationships between Arakelov metrics and standard metrics

3. Asymptotic Analysis

Utilizes Finski's results to obtain the asymptotic expansion of the magnetic Laplacian determinant:

$\ln\det\square_{L,\rho,h} = \alpha_0 k\ln k + \beta_0 k + \alpha_1\ln k + \beta_1 + O\left(\frac{\ln k}{k}\right)$

Technical Innovations

1. Modified partition function: Introduces a corrected partition function containing theta functions to simplify calculations
2. Metric transformation: Encodes the potential function V into the geometric structure through modification of the Hermite metric
3. Unified treatment: Provides a unified framework for handling cases with different genera

Experimental Setup

Verification Methods

1. Direct computation verification: Performs direct calculations for the sphere (g=0) and torus (g=1) cases
2. Comparison with known results: Compares with known special cases in the literature
3. Consistency checks: Verifies consistency of results obtained through different methods

Special Case Analysis

• Sphere case (g=0): Verification using explicit Green's functions and Arakelov metrics
• Torus case (g=1): Employs explicit expressions for theta functions
• Higher genus case (g>1): Partial verification using results from hyperbolic geometry

Main Results

Asymptotic Expansion Formula

For potential functions V satisfying the plurisubharmonic condition, the partition function admits the asymptotic expansion:

$\ln Z_{\rho_{Ar},\rho_{can},N}(V) = B_2N^2 + A_1N\ln N + B_1N + A_0\ln N + B_0 + O(N^{-1}\ln N)$

where the coefficients have explicit expressions:

• $A_1 = -\frac{1}{2}$
• $A_0 = \frac{g-1}{6} = -\frac{\chi(M)}{12}$
• $B_2 = S_\infty(V)$ (related to the equilibrium measure)
• $B_0$ contains the regularized determinant of the scalar Laplacian operator

Fluctuation Theorem

For smooth functions f, the fluctuations $\text{Fluct}_N f = \sum_{i=1}^N f(x_i) - N\int_M \mu_V f$ converge to a normal distribution with mean $m_f$ and variance $v_f$, where:

$v_f = \frac{1}{4\pi}\int_M \mu_{\rho_{can}} f\Delta_{\rho_{can}}f > 0$

Verification Results

• Direct calculations for the sphere case perfectly match theoretical predictions
• The torus case yields exact formulas (not merely asymptotic)
• Results for higher genus cases are consistent in verifiable special cases

Related Work

Main Research Directions

1. Random matrix theory: Connections to models such as the Ginibre ensemble
2. Arakelov geometry: Application of Arakelov metrics and analytic torsion theory
3. Quantum Hall effect: Integer β cases correspond to Laughlin states

Advantages of This Work

• Provides a complete theory for arbitrary genus
• Gives explicit expressions for all coefficients
• Unifies results across different geometric backgrounds

Conclusions and Discussion

Main Conclusions

1. Completely proves the geometric Zabrodin-Wiegmann conjecture in the determinantal case
2. Confirms the appearance of the scalar Laplacian determinant in the constant term
3. Establishes deep connections between Coulomb gas and the Gaussian free field

Limitations

1. Applies only to the β=1 determinantal case
2. Requires potential functions to satisfy the plurisubharmonic condition
3. Addresses the special case where the droplet support is the entire Riemann surface

Future Directions

1. Extend to general β values
2. Study more general potential functions
3. Explore connections with other physical systems

In-Depth Evaluation

Strengths

1. Theoretical completeness: Provides a complete solution to the problem with explicit expressions for all coefficients
2. Technical innovation: Cleverly applies the bosonization formula to transform physical problems into geometric ones
3. Rigor: Mathematical derivations are rigorous and results are verified through multiple methods
4. Unification: Provides a unified treatment framework for cases with different genera

Weaknesses

1. Limited scope: Restricted to the determinantal case; the general β case remains unresolved
2. Potential function constraints: The plurisubharmonic condition limits the types of potential functions that can be handled
3. Computational complexity: Concrete calculations for higher genus cases remain complex

Impact

1. Theoretical contribution: Provides important theoretical foundations for Coulomb gas theory and random matrix theory
2. Methodological value: Application of the bosonization formula provides new research pathways for similar problems
3. Interdisciplinary significance: Connects multiple fields including statistical physics, differential geometry, and algebraic geometry

Applicable Scenarios

• Theoretical analysis of two-dimensional Coulomb gas systems
• Asymptotic analysis in random matrix theory
• Mathematical theory of the quantum Hall effect
• Applications of Arakelov geometry

References

The paper cites extensive relevant literature on Arakelov geometry, bosonization formulas, analytic torsion theory, and other classical and cutting-edge works, providing a solid theoretical foundation for the research.