Determinant representations for Garvan formulas

This paper utilizes determinant representations of correlation functions in conformal field theory to derive explicit determinant formulas for powers of the classical $\eta$-function via deformed elliptic functions, specifically obtaining counterparts of Garvan's formulas for the modular discriminant on genus two Riemann surfaces.

The Gist

Imagine you are trying to understand the hidden rhythm of the universe. In the world of mathematics and physics, there are special "musical notes" called modular forms. These aren't just random numbers; they are patterns that repeat and transform in incredibly complex ways, much like the intricate designs on a kaleidoscope.

One of the most famous of these patterns is the Eta function (written as $\eta$). Think of the Eta function as a master key. When you raise it to the 24th power, it unlocks a secret door to the Modular Discriminant ($\Delta$), a fundamental object that describes the shape and stability of certain geometric worlds.

For a long time, mathematicians knew a special trick to describe this master key using a simple 2x2 grid of numbers (a determinant). This was discovered by a mathematician named Garvan. It was like having a recipe for a perfect cake using only flour and sugar.

The Big Problem:
What happens if you want to bake a cake for a more complex party? What if the "world" you are studying isn't a simple, flat circle (like a donut, or a "genus one" surface), but a pretzel with two holes (a "genus two" surface)? The old recipe breaks down. The simple grid of numbers isn't enough anymore. The patterns get messy, and the "ingredients" (the numbers in the grid) don't fit together nicely.

The Solution in This Paper:
The authors of this paper, Levin, Shin, and Zuevsky, decided to build a new, more powerful kitchen. They used a concept from theoretical physics called Conformal Field Theory (think of this as the "physics of how strings vibrate" or how energy flows on a curved surface).

Here is how they did it, using some everyday analogies:

1. The "Deformed" Ingredients

In the old recipes, the ingredients were standard "Eisenstein series" (let's call them standard spices). But for the complex "pretzel world" (genus two), standard spices don't work.
The authors introduced "Deformed" Eisenstein series.

• Analogy: Imagine you are baking a cake for a guest who is allergic to normal flour. You can't just use the same recipe; you have to use a special, "deformed" flour that has been twisted and shaped to fit the new diet. The authors created these special "twisted" mathematical ingredients that fit perfectly into the complex geometry of the two-holed surface.

2. The Determinant as a "Magic Grid"

The paper's main goal was to write a new formula for the master key ($\eta^{24}$) using a Determinant.

• Analogy: A determinant is like a magic grid or a spreadsheet. If you fill the cells with the right numbers and do a specific calculation, the result tells you something profound about the whole system.
• Garvan's old formula was a small 2x2 grid.
• The new formula is a massive, complex grid (a matrix) filled with these new "deformed" ingredients. When you crunch the numbers in this giant grid, it magically produces the exact pattern needed for the two-holed world.

3. The "Sewing" Metaphor

The paper talks about "sewing" surfaces together.

• Analogy: Imagine you have two flat sheets of paper (tori). To make a pretzel (genus two), you have to cut holes in them and stitch them together. The authors used a mathematical tool called Fay's Trisecant Identity (a fancy rule about how lines intersect on these surfaces) to figure out exactly how the "stitches" (the connections between the holes) affect the final pattern. They showed that the "stitching" creates a specific pattern in the grid that allows the formula to work.

4. Why Does This Matter?

You might ask, "Who cares about pretzels and magic grids?"
The authors explain that these formulas aren't just abstract puzzles. They are the blueprints for understanding:

• Quantum Physics: How particles behave in strange, high-energy states.
• Topological Invariants: Properties of shapes that don't change even if you stretch them (like how a coffee mug is topologically the same as a donut).
• The Quantum Hall Effect: A phenomenon in electronics where electricity flows without resistance in very specific, "twisted" ways.

The Takeaway

In simple terms, this paper is like upgrading a map.

• Before: We had a great map for a simple, round island (genus one).
• Now: The authors have drawn a new, incredibly detailed map for a complex, multi-island archipelago (genus two).
• How: They didn't just guess; they used the "physics of vibrating strings" to find the right "twisted ingredients" (deformed functions) and arranged them into a giant, magical spreadsheet (determinant) that perfectly describes the shape of this complex world.

They have successfully taken a famous old math trick (Garvan's formula) and stretched it to fit a much bigger, more complicated universe, proving that even the most complex shapes follow a hidden, orderly rhythm that can be written down in a single, elegant equation.

Technical Summary

Here is a detailed technical summary of the paper "Determinant Representations for Garvan Formulas" by D. Levin, H.-G. Shin, and A. Zuevsky.

1. Problem Statement

The paper addresses the challenge of generalizing classical number-theoretic identities related to the modular discriminant ($\Delta(\tau) = \eta(\tau)^{24}$) and powers of the Dedekind $\eta$-function from genus one (elliptic curves/tori) to genus two (Riemann surfaces of genus 2).

Specifically, the authors aim to:

• Derive explicit determinant formulas for powers of the $\eta$-function.
• Generalize the Garvan formulas (which express $\eta^{24}$ and $\eta^{48}$ as determinants of matrices involving Eisenstein series) to higher genus.
• Resolve the issue that standard Eisenstein series bases are not always the most natural or "clean" way to express these powers, particularly in higher genus contexts where the geometry becomes more complex.

2. Methodology

The authors employ a synthesis of Conformal Field Theory (CFT), Vertex Operator Algebras (VOA), and Algebraic Geometry.

• Vertex Operator Algebra Framework: The study utilizes correlation functions of vertex operators on a torus (genus 1) and a genus two Riemann surface. They consider twisted modules for a vertex operator superalgebra (specifically free fermions).
• Bosonization and Partition Functions: The core technique involves comparing two different representations of the partition function (twisted trace):
  1. A fermionic representation involving infinite products (related to the Jacobi triple product identity).
  2. A bosonic representation involving theta functions and determinants of reproduction kernels (Bergman and Szegő kernels).
• Deformed Functions: Instead of using standard Eisenstein series, the authors utilize deformed Weierstrass functions and deformed Eisenstein series (introduced in previous works [4, 11]). These functions depend on deformation parameters ($\theta, \phi$) derived from the automorphisms of the VOA.
• Fay's Trisecant Identity: A crucial algebraic tool used is the generalized elliptic version of Fay's trisecant identity, which relates products of prime forms (theta functions) to determinants of matrices containing these functions.
• Genus Two Construction: For the genus two case, the authors use the "sewing" procedure (gluing two tori or a sphere with handles) to construct the partition function $Z^{(2)}$. They compare the fermionic and bosonized versions of this genus two partition function to derive the determinant identities.

3. Key Contributions

The paper makes several significant theoretical contributions:

• Generalization of Garvan's Identity: The authors successfully extend F. Garvan's determinant formulas (originally for $\eta^{24}$ and $\eta^{48}$ on a torus) to arbitrary powers ($\eta^{24n}$) and to the genus two case.
• Introduction of Deformed Bases: They demonstrate that expressing these identities using deformed Eisenstein series yields a "cleaner" form than using standard Eisenstein series. The resulting formulas avoid the messy products of Eisenstein elements found in previous generalizations (e.g., by Milne).
• Determinant Representations:
  • Genus 1: They provide explicit formulas (Proposition 1) expressing $\eta(\tau)^{24n}$ as the determinant of an $8n \times 8n$matrix ($P_{8n}$) containing deformed Weierstrass functions, multiplied by specific theta-function factors.
  • Genus 2: They derive a genus two counterpart (Proposition 3) expressing $\eta^{3\kappa^2}(\tau)$ (where $\kappa$ relates to the genus) in terms of a determinant involving the genus two Szegő kernel and deformed Eisenstein series.
• Connection to Modular Forms: The work establishes a direct link between the correlation functions of VOAs and the modular discriminant on higher genus surfaces, identifying the genus two analog of the discriminant with the Igusa cusp form of weight 10 ($\Delta_{10}$).

4. Key Results

The paper presents the following specific mathematical results:

• Proposition 1 (Genus 1): For parameters $(\theta, \phi) \neq (1,1)$, the power of the eta function is given by:
  $$\eta(\tau)^{24n} = - \frac{\vartheta \cdot \Theta}{\vartheta} \det(P_{8n}(\theta, \phi))$$
  where $P_{8n}$ is a matrix of deformed Weierstrass functions $P^{(1)}_1$. This generalizes the classical $3 \times 3$ Garvan determinant.
• Proposition 2: A more general identity involving block matrices $D_{r,s}$ derived from the analytic expansion of the deformed Weierstrass function, utilizing the full Fay trisecant identity.
• Proposition 3 (Genus 2): A formula for the genus two modular discriminant:
  $$\eta^{3\kappa^2}(\tau) = (\text{Theta factors}) \times \det \left( S^{(2)}_n \right) \times (\text{Correction factors})$$
  Here, $S^{(2)}_n$ is a matrix of genus two Szegő kernels. This formula effectively represents the modular discriminant on a genus two surface as a determinant of deformed Eisenstein series.
• Identity Verification: The authors prove that the determinant of the genus two Szegő kernel matrix relates directly to the partition function, confirming the consistency of the bosonization procedure with the algebraic identities.

5. Significance and Applications

The significance of this work extends beyond pure number theory:

• Mathematical Physics: It provides a rigorous Vertex Operator Algebra explanation for the Garvan-Milne identities, bridging the gap between abstract algebraic structures and concrete modular forms.
• Higher Genus Modular Forms: It offers a systematic method to generate identities for modular forms on higher genus Riemann surfaces, a notoriously difficult area of mathematics.
• Physical Applications: The authors highlight the relevance of these determinant representations in various fields of theoretical physics, including:
  • Soliton State Physics and Wigner-Weyl calculus.
  • Chiral separation effects and Topological invariants.
  • High Energy Physics and Relativistic Quantum Field Theory.
  • Fermionic superfluids and Quark matter (specifically in non-perturbative interaction regimes).
  • Integer Quantum Hall Effect (non-renormalization properties).

In summary, the paper successfully translates complex correlation function computations in CFT into explicit, elegant determinant formulas for modular forms, generalizing classical results to genus two and providing new tools for both mathematics and theoretical physics.