Genus-Zero Whitham Hierarchy Overview

• The genus-zero Whitham hierarchy is a dispersionless integrable system on CP¹ defined by meromorphic differentials with prescribed principal parts at marked punctures.
• It features multiple equivalent formulations including normalized meromorphic differentials, Lax–Orlov–Schulman data, differential Fay identities, and hydrodynamic reductions.
• The hierarchy bridges integrable system theory and infinite-dimensional Frobenius manifolds through stabilized prepotentials and intrinsic tau-structures.

The genus-zero Whitham hierarchy is a dispersionless integrable hierarchy on the Riemann sphere $\mathbb{C}P^1$ with finitely many punctures, organized by meromorphic differentials with prescribed principal parts at those punctures and by commuting Hamiltonian flows in associated times. In the genus-zero setting, the marked points are typically $p_0=\infty$ together with finitely many finite punctures $p_j\in\mathbb{C}$, and the hierarchy admits several equivalent descriptions: by normalized meromorphic differentials and an $S$-function, by Lax–Orlov–Schulman data and dispersionless Poisson brackets, by differential Fay or Hirota identities, by Gibbons–Tsarev-type hydrodynamic reductions, and by principal hierarchies of infinite-dimensional Frobenius manifolds (Ma, 26 Jan 2026, Takasaki et al., 2010, Basalaev, 10 Jul 2025).

1. Geometric data on $\mathbb{C}P^1$

In genus zero, the hierarchy is formulated on the sphere $X=\mathbb{C}P^1$ with a finite set of marked points. One standard presentation uses $p_0=\infty$ and $p_j=\phi_j\in\mathbb{C}$, $j=1,\dots,m$, with local parameters $z_0=z$ near $p_0=\infty$0 and $p_0=\infty$1 near $p_0=\infty$2 (Ma, 26 Jan 2026). Another standard normalization fixes three punctures at $p_0=\infty$3 and treats the remaining punctures as moduli, reflecting the Möbius invariance of the sphere (Odesskii, 2013, Odesskii, 2015).

The basic objects are normalized meromorphic differentials $p_0=\infty$4 of the second and third kind characterized by prescribed principal parts at punctures together with global normalization conditions. A typical local expansion is

$p_0=\infty$5

with constraints such as

$p_0=\infty$6

Because $p_0=\infty$7 has no nontrivial cycles, these normalization conditions are implemented by residue constraints and by projections onto positive or negative Laurent parts at the punctures; in genus zero this fixes additive constants uniquely (Ma, 26 Jan 2026).

The hierarchy times $p_0=\infty$8 are assembled into a generating differential

$p_0=\infty$9

and the associated flows satisfy

$p_j\in\mathbb{C}$0

These relations encode the commutativity of the hierarchy and express the role of $p_j\in\mathbb{C}$1 as a quasiclassical action (Ma, 26 Jan 2026, Ma et al., 2024).

A complementary genus-zero viewpoint emphasizes punctures together with jets of local coordinates. In Odesskii’s construction, punctures at $p_j\in\mathbb{C}$2 on $p_j\in\mathbb{C}$3 support hypergeometric-type potentials, and higher-order principal parts are produced by colliding marked points (Odesskii, 2013). In Odesskii’s later differential-geometric formulation, the relevant moduli space is $p_j\in\mathbb{C}$4, and the prime form and Bergman kernel reduce to the rational expressions

$p_j\in\mathbb{C}$5

which is one of the main simplifications specific to genus zero (Odesskii, 2015, Odesskii, 2016).

2. Lax, Orlov–Schulman, and Fay formulations

A standard dispersionless formulation uses Lax and Orlov–Schulman functions together with the Poisson bracket

$p_j\in\mathbb{C}$6

where $p_j\in\mathbb{C}$7 plays the role of the space variable in the dispersionless limit (Ma, 26 Jan 2026). In the genus-zero universal Whitham hierarchy, one considers local expansions $p_j\in\mathbb{C}$8 near $p_j\in\mathbb{C}$9 and the finite punctures, and defines Hamiltonians by extracting nonnegative parts at infinity and negative parts at finite poles. The Lax equations take the form

$S$0

$S$1

$S$2

with $S$3 (Ma, 26 Jan 2026). In the two-puncture specialization, this reduces to the familiar dispersionless KP/Toda-type picture with a fixed puncture at infinity and a movable finite pole (Ma et al., 2020, Ma, 2023).

In a broader genus-zero universal Whitham setting with $S$4 marked points, the hierarchy can be written in terms of pairs $S$5, $S$6, satisfying canonical relations

$S$7

The flows are

$S$8

with Hamiltonians

$S$9

and the zero-curvature conditions

$\mathbb{C}P^1$0

guarantee commuting flows (Takasaki et al., 2010).

The same hierarchy also admits a differential Fay or Hirota form. In the genus-zero Hurwitz–Frobenius setting, the operators

$\mathbb{C}P^1$1

generate formal identities whose coefficients reconstruct all second derivatives of the free energy $\mathbb{C}P^1$2. The paper identifying genus-zero Hurwitz–Frobenius manifolds with the Whitham hierarchy states that the stabilized Hurwitz PDEs coincide with the genus-zero Whitham hierarchy in Fay form, while the coordinate-free Lax formulation matches Krichever’s picture (Basalaev, 10 Jul 2025). This equivalence links principal-part Hamiltonians, differential Fay identities, and dispersionless tau-function data.

A further reformulation arises from generalized string equations and a Riemann–Hilbert problem. In the non-degenerate class of solutions of the genus-zero universal Whitham hierarchy, one prescribes generating functions $\mathbb{C}P^1$3 satisfying $\mathbb{C}P^1$4, and the string equations become

$\mathbb{C}P^1$5

The corresponding period maps define the times and conjugate variables through contour integrals generalizing harmonic moments (Takasaki et al., 2010).

3. Frobenius-manifold realization and the tau-structure

A major modern development is the realization of the genus-zero Whitham hierarchy as the principal hierarchy of an infinite-dimensional Frobenius manifold. In one formulation, the manifold $\mathbb{C}P^1$6 consists of pairs

$\mathbb{C}P^1$7

where $\mathbb{C}P^1$8 is analytic on an exterior domain with a simple pole at $\mathbb{C}P^1$9, and $X=\mathbb{C}P^1$0 is analytic on a union of disks containing the finite punctures and has simple poles there (Ma, 26 Jan 2026). The auxiliary functions

$X=\mathbb{C}P^1$1

encode the decomposition into interior and exterior analytic parts (Ma, 26 Jan 2026).

The invariant metric is given by contour and residue formulas. In the notation of the infinite-dimensional construction,

$X=\mathbb{C}P^1$2

Flat coordinates are obtained from inverse maps of $X=\mathbb{C}P^1$3 and $X=\mathbb{C}P^1$4, and the metric becomes constant in those coordinates (Ma, 26 Jan 2026). Related two-puncture and multi-puncture constructions were established in earlier infinite-dimensional Frobenius manifold models underlying universal Whitham-type hierarchies (Ma et al., 2020, Ma et al., 2024).

The principal hierarchy on the loop space of $X=\mathbb{C}P^1$5 is generated by Hamiltonian densities $X=\mathbb{C}P^1$6. In the Whitham sector singled out in the infinite-dimensional model, these are expressed by residues of powers of $X=\mathbb{C}P^1$7 and $X=\mathbb{C}P^1$8, together with logarithmic densities for the resonant components (Ma, 26 Jan 2026). The corresponding Lax description coincides with the genus-zero universal Whitham hierarchy after identifying the hierarchy times in the precise way stated in the paper: $X=\mathbb{C}P^1$9

$p_0=\infty$0

This gives a direct identification between a distinguished sector of the principal hierarchy and the universal Whitham Lax flows (Ma, 26 Jan 2026).

The tau-structure is encoded by symmetric potentials $p_0=\infty$1 satisfying

$p_0=\infty$2

together with the standard recursion and initial conditions of Dubrovin’s principal hierarchy (Ma, 26 Jan 2026). In the Whitham sector, explicit contour formulas are available: $p_0=\infty$3

$p_0=\infty$4

with

$p_0=\infty$5

The logarithmic entries are determined by derivatives of the densities, and in particular

$p_0=\infty$6

The tau-function $p_0=\infty$7 then gives the free energy $p_0=\infty$8 through

$p_0=\infty$9

This makes the tau-structure intrinsic to the Frobenius-geometric formulation of the hierarchy (Ma, 26 Jan 2026).

4. Hurwitz–Frobenius manifolds and stability of prepotentials

The genus-zero Whitham hierarchy is also obtained from genus-zero Hurwitz–Frobenius manifolds. A genus-zero Hurwitz space $p_j=\phi_j\in\mathbb{C}$0 parametrizes rational functions

$p_j=\phi_j\in\mathbb{C}$1

with $p_j=\phi_j\in\mathbb{C}$2, and carries a Frobenius manifold structure whose metric and cubic tensor are given by residue formulas at the critical points $p_j=\phi_j\in\mathbb{C}$3 (Ma, 26 Jan 2026, Basalaev, 10 Jul 2025). The flat coordinates are extracted from inverse local expansions of $p_j=\phi_j\in\mathbb{C}$4 in powers of $p_j=\phi_j\in\mathbb{C}$5, and the prepotential $p_j=\phi_j\in\mathbb{C}$6 satisfies the WDVV equations (Ma, 26 Jan 2026).

A central result is the stabilization of second derivatives of the Hurwitz prepotentials after a specific rescaling of coordinates. Writing $p_j=\phi_j\in\mathbb{C}$7 and letting $p_j=\phi_j\in\mathbb{C}$8, one has limit formulas such as

$p_j=\phi_j\in\mathbb{C}$9

$j=1,\dots,m$0

together with the mixed and logarithmic cases listed explicitly in the theorem (Ma, 26 Jan 2026). This proves that the stable limits of prepotential derivatives agree exactly with Whitham tau-structure coefficients.

The direct geometric meaning of this statement is emphasized in the 2026 paper. It proves that the stability of prepotentials is not an external coincidence but an intrinsic feature of the tau-structure of the genus-zero Whitham hierarchy (Ma, 26 Jan 2026). Earlier work had already shown that genus-zero Hurwitz–Frobenius potentials stabilize and define an infinite commuting PDE system equivalent to the genus-zero Whitham hierarchy, both in coordinate-free Lax form and in differential Fay form (Basalaev, 10 Jul 2025). The later infinite-dimensional proof upgrades this equivalence into a direct identification inside an infinite-dimensional Frobenius manifold framework (Ma, 26 Jan 2026).

The same line of work places older $j=1,\dots,m$1 and $j=1,\dots,m$2 stabilization constructions into a larger context. Previous constructions from stabilized prepotentials for Frobenius manifolds of type $j=1,\dots,m$3 and $j=1,\dots,m$4 had already produced $j=1,\dots,m$5-dimensional dispersionless hierarchies; the genus-zero Hurwitz construction generalizes these, and its stable limit is identified intrinsically with the Whitham tau-structure (Ma, 26 Jan 2026). Under parity symmetry $j=1,\dots,m$6, one obtains an even reduction leading to $j=1,\dots,m$7-type structures and, for $j=1,\dots,m$8, the dispersionless two-component BKP hierarchy (Ma, 26 Jan 2026).

A common misconception is to treat stabilization merely as a limiting procedure external to Whitham theory. The direct identification theorem shows instead that, in genus zero, the stable second derivatives of Hurwitz prepotentials reproduce the Whitham tau-coefficients themselves (Ma, 26 Jan 2026). This suggests that the stabilization phenomenon is best understood as a manifestation of the underlying Frobenius and tau-geometry rather than as a separate construction.

5. Integrability mechanisms, reductions, and special cases

One robust genus-zero integrability mechanism is hydrodynamic reduction. Odesskii’s differential-geometric theory associates to moduli of marked curves a canonical object $j=1,\dots,m$9 and kernel $z_0=z$0 satisfying commutation relations of Gibbons–Tsarev type; in genus zero these specialize to rational expressions (Odesskii, 2015, Odesskii, 2016). For $z_0=z$1, one may take

$z_0=z$2

and choose

$z_0=z$3

in the enhanced GT structure (Odesskii, 2015). The corresponding potentials include

$z_0=z$4

and collisions of points generate higher-order principal parts. Propositions 7.1 and 7.2 show that the universal Whitham hierarchy is integrable by hydrodynamic reductions in all genera, including genus zero (Odesskii, 2015). The later differential-geometric treatment formulates the same conclusion as the equivalence between enhanced GT structures and integrable Whitham-type hierarchies (Odesskii, 2016).

Odesskii also gave a separate genus-zero construction of Whitham-type hierarchies by hypergeometric integrals on $z_0=z$5. For generic parameters $z_0=z$6, the potentials

$z_0=z$7

define a Whitham-type hierarchy with $z_0=z$8 fields and $z_0=z$9 times, and compatibility is equivalent to a hydrodynamic-type system with $p_0=\infty$00 linearly independent equations (Odesskii, 2013). This formulation does not use Lax or Orlov–Schulman operators; instead, integrability is encoded by the pseudo-potential representation and the finite-dimensionality of the span $p_0=\infty$01 (Odesskii, 2013).

Several familiar dispersionless hierarchies arise as genus-zero reductions. The single-puncture case gives dispersionless Drinfeld–Sokolov hierarchies of type $p_0=\infty$02, including dispersionless KdV when $p_0=\infty$03 (Basalaev, 10 Jul 2025). The two-puncture case with simple poles reproduces dispersionless Toda type (Basalaev, 10 Jul 2025). In Takasaki–Takebe’s universal Whitham language, the case $p_0=\infty$04 recovers the dispersionless Toda hierarchy through the identifications

$p_0=\infty$05

after a shift of the spectral coordinate (Takasaki et al., 2010).

The genus-zero Whitham hierarchy also sits naturally inside a broader quasiclassical landscape. In the quasiclassical limit of Hirota–Miwa systems for KP, modified KP, and 2D Toda, the relevant $p_0=\infty$06-function satisfies dispersionless Hirota identities, and the associated dynamical curve is rational. For the multi-component type-$p_0=\infty$07 sector, the curve admits a trigonometric uniformization, and the compact master identities of the theory are equivalent to the full set of dispersionless Hirota–Miwa relations (Savchenko et al., 31 May 2026). This suggests a close functional relation between genus-zero Whitham theory and rational or trigonometric dynamical curves in bilinear formalisms.

6. Open extensions and current directions

The genus-zero Whitham hierarchy admits open extensions through open WDVV equations and flat $p_0=\infty$08-manifolds. If $p_0=\infty$09 is a solution of the open WDVV equations extending a Frobenius manifold by one extra variable $p_0=\infty$10, then the extended principal hierarchy is governed by recursion fields $p_0=\infty$11 satisfying

$p_0=\infty$12

and its open tau-cover is described by a pair $p_0=\infty$13 (Ma, 26 Jan 2026). For the infinite-dimensional Frobenius manifold underlying genus-zero Whitham, explicit open densities are constructed: $p_0=\infty$14

$p_0=\infty$15

and the associated flows couple the boundary variable $p_0=\infty$16 to the Whitham sector (Ma, 26 Jan 2026).

A later paper constructs two explicit solutions of the open WDVV equations for the infinite-dimensional Frobenius manifolds underlying the genus-zero universal Whitham hierarchy, one on the exterior domain and one on the interior domain (Ma, 3 Dec 2025). In that formulation, the open potentials satisfy

$p_0=\infty$17

while their second derivatives are expressed by projected combinations of $p_0=\infty$18 and $p_0=\infty$19 (Ma, 3 Dec 2025). These data define flat $p_0=\infty$20-manifolds and explicit open principal hierarchies whose $p_0=\infty$21-flows deform the closed Whitham flows by conservative terms.

The open theory is compatible with finite-dimensional reductions. In the rational reduction $p_0=\infty$22, the infinite-dimensional manifold reduces to a Frobenius manifold of rational superpotentials, and the exterior and interior open potentials coalesce to a single open potential $p_0=\infty$23 with

$p_0=\infty$24

while the open principal hierarchy reduces accordingly (Ma, 3 Dec 2025). Under a $p_0=\infty$25-symmetry reduction $p_0=\infty$26, one obtains even rational superpotentials and corresponding $p_0=\infty$27-type reductions (Ma, 3 Dec 2025).

These reductions recover the polynomial open Saito-theoretic solutions of Basalaev and Buryak in $p_0=\infty$28- and $p_0=\infty$29-type cases (Ma, 3 Dec 2025). In particular, when $p_0=\infty$30, the reduction is the Frobenius manifold of a polynomial superpotential of $p_0=\infty$31-type, and for $p_0=\infty$32 the open hierarchy is the dispersionless limit of Burgers–KdV (Ma, 3 Dec 2025). This places open Whitham-type hierarchies in a common framework with open Saito theory, open WDVV equations, and principal hierarchies of flat $p_0=\infty$33-manifolds.

Several limitations remain explicit in the literature. For the non-degenerate Riemann–Hilbert characterization, explicit construction of solutions is nontrivial beyond special choices of generating functions, and global existence and uniqueness are subtle (Takasaki et al., 2010). In the hydrodynamic-reduction approach, explicit Gibbons–Tsarev systems for some hypergeometric genus-zero constructions were left as future directions (Odesskii, 2013). For higher genus, the genus-zero simplification $p_0=\infty$34 no longer holds, and theta-functional and period-dependent data become essential, making direct generalization more delicate (Basalaev, 10 Jul 2025). These statements do not diminish the genus-zero theory; rather, they delineate the special algebraic clarity of the sphere case.

The genus-zero Whitham hierarchy thus occupies a central position among dispersionless integrable systems. It can be described by meromorphic differentials on $p_0=\infty$35, by Lax–Orlov flows, by differential Fay identities, by GT structures and hydrodynamic reductions, by Hurwitz–Frobenius manifolds with stabilized prepotentials, and by infinite-dimensional Frobenius or flat $p_0=\infty$36-manifolds with closed and open principal hierarchies (Ma, 26 Jan 2026, Basalaev, 10 Jul 2025, Ma, 3 Dec 2025). The convergence of these descriptions is one of the defining structural facts of the subject.