[Paper Review] Geometry and analytic theory of Frobenius manifolds

Boris Dubrovin|ArXiv.org|Jul 8, 1998

Advanced Algebra and GeometryMathematics16 references119 citations

TL;DR

This paper establishes the geometric and analytic foundations of Frobenius manifolds, introducing them as a coordinate-free formulation of the WDVV associativity equations. It demonstrates that Frobenius manifolds unify diverse mathematical areas—Gromov-Witten theory, singularity theory, and integrable systems—by showing that the deformed flat connection and potential function encode solutions to the WDVV equations and tau-functions of integrable hierarchies.

ABSTRACT

Main mathematical applications of Frobenius manifolds are in the theory of Gromov - Witten invariants, in singularity theory, in differential geometry of the orbit spaces of reflection groups and of their extensions, in the hamiltonian theory of integrable hierarchies. The theory of Frobenius manifolds establishes remarkable relationships between these, sometimes rather distant, mathematical theories.

Motivation & Objective

• To provide a geometric and analytic framework for Frobenius manifolds as a coordinate-free formulation of the WDVV associativity equations.
• To establish the link between Frobenius manifolds and integrable hierarchies of PDEs, particularly the KdV and Whitham-type hierarchies.
• To demonstrate that the full genus-zero partition function of a Frobenius manifold is the tau-function of a solution to an integrable hierarchy.
• To extend the theory to higher-genus corrections, particularly genus one, by introducing the G-function and matrix-valued coefficients.
• To show that the deformed flat connection and oscillatory integrals yield deformed flat coordinates, enabling a geometric construction of the potential.

Proposed method

• Define a Frobenius manifold as a manifold equipped with a flat metric, a commutative associative product on tangent spaces with unity, and an Euler vector field satisfying specific compatibility conditions.
• Use the WDVV equations to characterize the potential function $ F(t) $, where third derivatives of $ F $ define the structure constants of the Frobenius algebra at each point.
• Introduce the deformed flat connection $ \tilde{\nabla} $ via $ \tilde{\nabla}_u v = \nabla_u v + z\,u\cdot v $, with a meromorphic extension involving the Euler vector field and the operator $ \mu $.
• Construct deformed flat coordinates $ \tilde{t}_\alpha(t;z) $ as solutions to $ \tilde{\nabla} d\tilde{t}_\alpha = 0 $, derived from oscillatory integrals $ \tilde{t}_c = \frac{1}{\sqrt{z}} \int_c e^{z f_s(x)} dx $ in singularity theory.
• Derive the genus $ g=1 $ correction to the partition function using the G-function and the matrix $ M_{\alpha\beta}(t,\dot{t}) = \partial_\alpha \partial_\beta \partial_\gamma F(t) \dot{t}^\gamma $, with $ \dot{t} = \partial_{T^{1,0}} t(T) $.
• Construct a bihamiltonian integrable hierarchy on the loop space $ \mathcal{L}(M) $, with Poisson brackets $ \{\cdot,\cdot\}_1 $ and $ \{\cdot,\cdot\}_2 $ forming a flat pencil, and show that the full partition function is the tau-function of a solution under symmetry constraints.

Experimental results

Research questions

• RQ1 How can the WDVV associativity equations be formulated in a coordinate-free, geometric way?
• RQ2 What is the role of the deformed flat connection and its flat sections (deformed flat coordinates) in the structure of Frobenius manifolds?
• RQ3 How do Frobenius manifolds serve as moduli spaces for integrable hierarchies of PDEs, particularly the KdV and Whitham-type hierarchies?
• RQ4 What is the geometric and analytic structure of the genus $ g=1 $ correction to the partition function in terms of the G-function and curvature data?
• RQ5 How does the Virasoro algebra emerge in the context of the partition function and monodromy data of a Frobenius manifold?

Key findings

• The WDVV equations are equivalent to the existence of a Frobenius manifold structure, with the potential $ F(t) $ encoding the structure constants $ c_{\alpha\beta}^\gamma $ via $ \partial_\alpha \partial_\beta \partial_\gamma F = \langle \partial_\alpha \cdot \partial_\beta, \partial_\gamma \rangle $.
• Deformed flat coordinates $ \tilde{t}_\alpha(t;z) $ exist locally and are given by oscillatory integrals $ \tilde{t}_c = \frac{1}{\sqrt{z}} \int_c e^{z f_s(x)} dx $, providing a geometric realization of the quantum cohomology potential.
• The genus $ g=1 $ correction to the partition function is $ \mathcal{F}_1(T) = \left[ G(t) + \frac{1}{24} \log \det M_{\alpha\beta}(t,\dot{t}) \right]_{t=t(T), \dot{t}=\partial_{T^{1,0}} t(T)} $, with $ G(t) $ the G-function and $ M_{\alpha\beta} $ defined by third derivatives of $ F $.
• For semisimple Frobenius manifolds, the $ g=1 $ correction is governed by a nonlinear deformation of the Virasoro algebra with central charge $ c = 6\varepsilon^2(1-d)^{-2}[n - 4\operatorname{tr} \mu^2] $, matching known results for $ ADE $ Coxeter groups.
• The full partition function $ Z(T;\varepsilon) = \exp \sum_{g=0}^\infty \varepsilon^{2g-2} \mathcal{F}_g(T) $ is the tau-function of a solution to a bihamiltonian integrable hierarchy on the loop space $ \mathcal{L}(M) $, with Hamiltonians $ H_{\alpha,p} = \int \Omega_{\alpha,p;1,0}(t) dX $.
• The partition function is annihilated, in the genus one approximation, by half of a Virasoro algebra constructed from the monodromy data of the Frobenius manifold, as proven in [DZ3].