Lyashko–Looijenga Map Overview

• The Lyashko–Looijenga map is a finite branched map that sends deformation parameters, branched covers, or Frobenius-manifold points to the unordered configuration of their critical values.
• It appears in multiple settings—recording morsification data for hypersurface singularities, mapping branch values in Hurwitz spaces, and establishing canonical coordinates in Frobenius geometry.
• Its topological degree, computed via algebraic and combinatorial methods, serves as a key enumerative invariant linking phenomena in reflection groups, parking functions, and matrix singularities.

The Lyashko–Looijenga map is a finite branched map that sends a deformation parameter, a branched cover, or a semisimple Frobenius-manifold point to the unordered configuration of its critical values. In the classical language of singularities it records the critical values of a morsification; in Hurwitz theory it records the branch values of a cover; in Frobenius geometry it records the canonical coordinates; and in several modern extensions it appears as an algebraic, quasi-homogeneous, or mirror-theoretic map whose topological degree counts generic fibers with multiplicity (Brini et al., 2021).

1. Classical definition and discriminant geometry

In the classical singularity-theoretic setting, one starts with a universal unfolding $F(x,t)$ of an isolated hypersurface singularity with Milnor number $\mu$. For a parameter $t$, the critical points $x_i(t)$ satisfy $\nabla_x F(x_i(t),t)=0$, and the corresponding critical values are $u_i(t)=F(x_i(t),t)$. The Lyashko–Looijenga map is then

$LL(t)=\prod_{i=1}^{\mu}(y-u_i(t)),$

viewed as a point of the space of monic degree-$\mu$ polynomials, equivalently the configuration space of $\mu$ unordered points in $\mathbb C$. In Hurwitz-space language, a point $\mu$0 is sent to the unordered set of critical values of $\mu$1; these are often encoded by the elementary symmetric polynomials in the canonical coordinates $\mu$2 (Hertling et al., 2018).

A standard polynomial encoding is

$\mu$3

so the map may be described either by the critical values themselves or by the coefficients $\mu$4. Its branch locus is the discriminant, where critical values collide. In the singularity literature this is refined into the caustic and the Maxwell stratum: the caustic corresponds to non-Morse collisions of critical points, while the Maxwell stratum corresponds to distinct critical points with equal critical values. For simple and simple elliptic singularities, the map is locally biholomorphic away from these strata, and at generic points of the caustic and Maxwell strata it is branched of orders $\mu$5 and $\mu$6, respectively (Hertling et al., 2018).

The topological degree $\mu$7 is the generic number of functions, covers, or Frobenius-manifold points with a prescribed configuration of critical values, counted with multiplicity. That degree is the basic enumerative invariant attached to the map and is the quantity computed in many of the settings surveyed below (Brini et al., 2021).

2. Type $\mu$8, vanishing cycles, and parking functions

For the $\mu$9 singularity, one considers

$t$0

with parameter space $t$1. On the Zariski-open locus where $t$2 has $t$3 distinct critical points $t$4, the map

$t$5

is a finite covering over the discriminant complement, and its degree is

$t$6

In type $t$7, this number also equals the number of distinguished bases of vanishing cycles modulo signs and the number of parking functions of $t$8 cars (Gorsky et al., 2011).

The vanishing cycles form the $t$9 root lattice. A distinguished basis $x_i(t)$0 is a basis of roots whose Seifert matrix is upper triangular, i.e. $x_i(t)$1 for $x_i(t)$2. Such bases encode ordered systems of vanishing cycles compatible with a distinguished system of vanishing paths. The braid group acts on them by mutations of adjacent basis vectors, and the local rank-two behavior explains the characteristic orbit lengths: if the adjacent pair spans $x_i(t)$3, the elementary braid has orbit length $x_i(t)$4; if it spans $x_i(t)$5, the orbit length is $x_i(t)$6 (Gorsky et al., 2011).

A combinatorial model is furnished by parking functions. A parking function is a map $x_i(t)$7 such that

$x_i(t)$8

for all $x_i(t)$9, equivalently, if $\nabla_x F(x_i(t),t)=0$0 is the nondecreasing rearrangement of the values, then $\nabla_x F(x_i(t),t)=0$1 for all $\nabla_x F(x_i(t),t)=0$2. The paper constructs an explicit bijection between parking functions and distinguished bases of positive roots via the initial vector map $\nabla_x F(x_i(t),t)=0$3, and transfers the braid-group action to parking-function diagrams. This realizes the fiber data of the $\nabla_x F(x_i(t),t)=0$4 Lyashko–Looijenga covering in terms of Coxeter–Catalan combinatorics, noncrossing arc systems, and Dyck-path models (Gorsky et al., 2011).

3. Reflection-group Lyashko–Looijenga morphisms

For an irreducible well-generated complex reflection group $\nabla_x F(x_i(t),t)=0$5 of rank $\nabla_x F(x_i(t),t)=0$6, the invariant algebra is polynomial: $\nabla_x F(x_i(t),t)=0$7 with homogeneous basic invariants of degrees $\nabla_x F(x_i(t),t)=0$8, and $\nabla_x F(x_i(t),t)=0$9. The discriminant may be chosen monic in the highest-degree invariant: $u_i(t)=F(x_i(t),t)$0 where $u_i(t)=F(x_i(t),t)$1 has weighted degree $u_i(t)=F(x_i(t),t)$2. Writing $u_i(t)=F(x_i(t),t)$3, the Lyashko–Looijenga morphism is

$u_i(t)=F(x_i(t),t)$4

equivalently $u_i(t)=F(x_i(t),t)$5. It is finite, quasi-homogeneous, surjective, and has degree

$u_i(t)=F(x_i(t),t)$6

In type $u_i(t)=F(x_i(t),t)$7, this recovers the classical critical-value map for monic centered polynomials (Douvropoulos, 2018).

Bessis’s trivialization theorem identifies fibers of this morphism with block factorizations of a Coxeter element $u_i(t)=F(x_i(t),t)$8. A point $u_i(t)=F(x_i(t),t)$9 with configuration $LL(t)=\prod_{i=1}^{\mu}(y-u_i(t)),$0 is labeled by parabolic Coxeter elements $LL(t)=\prod_{i=1}^{\mu}(y-u_i(t)),$1, and the multiplicity of $LL(t)=\prod_{i=1}^{\mu}(y-u_i(t)),$2 equals the reflection length of $LL(t)=\prod_{i=1}^{\mu}(y-u_i(t)),$3. Generic fibers correspond to reduced reflection factorizations $LL(t)=\prod_{i=1}^{\mu}(y-u_i(t)),$4, while nongeneric fibers correspond to block factorizations and hence to multichains in the noncrossing lattice $LL(t)=\prod_{i=1}^{\mu}(y-u_i(t)),$5. Hurwitz equivariance of the labeling makes the braid-group action on factorizations into the monodromy of the covering (Douvropoulos, 2018).

A refined construction fixes a flat $LL(t)=\prod_{i=1}^{\mu}(y-u_i(t)),$6 and defines a lifted map

$LL(t)=\prod_{i=1}^{\mu}(y-u_i(t)),$7

whose decorated multiple point records the parabolic factor of type $LL(t)=\prod_{i=1}^{\mu}(y-u_i(t)),$8. Its degree is

$LL(t)=\prod_{i=1}^{\mu}(y-u_i(t)),$9

and the number of primitive factorizations of type $\mu$0 is

$\mu$1

This yields a uniform enumerative theory of primitive Coxeter factorizations (Douvropoulos, 2018).

The algebra of the covering is controlled by a well-ramified finite graded polynomial extension. If $\mu$2 denotes the discriminant of the $\mu$3-polynomial $\mu$4 and $\mu$5 the Jacobian of the coefficient map, then

$\mu$6

where $\mu$7 ranges over codimension-$\mu$8 discriminant strata and $\mu$9 is the number of reduced decompositions into two reflections of a length-$\mu$0 parabolic Coxeter element in the class $\mu$1. These factorizations lead to case-free formulas for submaximal factorizations and provide a geometric explanation for several noncrossing-partition counts (Ripoll, 2010, Ripoll, 2010).

4. Hurwitz strata, Landau–Ginzburg mirrors, and Frobenius-manifold degrees

In a higher-genus Hurwitz setting, one considers $\mu$2, the moduli of ramified covers $\mu$3 with prescribed ramification profile $\mu$4 at infinity. The construction used in the mirror-symmetry framework equips such a Hurwitz space with a semisimple Frobenius structure once a $\mu$5-admissible meromorphic projection $\mu$6 is chosen, subject to the conditions that $\mu$7 does not factor through $\mu$8, that $\mu$9 is nonzero as a relative $\mathbb C$0-form, and that

$\mathbb C$1

The metric, product, and intersection form are given by Landau–Ginzburg residue formulas in $\mathbb C$2 and $\mathbb C$3 (Brini et al., 2021).

The specific strata studied arise from spectral curves of the affine relativistic Toda chain for a simple Lie group $\mathbb C$4 of Dynkin type $\mathbb C$5, in a quasi-minuscule or minuscule representation $\mathbb C$6. The resulting stratum $\mathbb C$7 is identified with the Dubrovin–Zhang Frobenius manifold on the orbit space of the corresponding extended affine Weyl group: $\mathbb C$8 Here the superpotential $\mathbb C$9 has critical values $\mu$00, which are the canonical coordinates of the Frobenius manifold, and the Lyashko–Looijenga map is the polynomial map obtained from the elementary symmetric polynomials of these critical values (Brini et al., 2021).

The degree is computed by a quasi-homogeneous Bézout argument. If

$\mu$01

is induced by a quasi-homogeneous polynomial map with output degrees $\mu$02 and input degrees $\mu$03, then

$\mu$04

Applying this to the Lyashko–Looijenga map on $\mu$05 yields

$\mu$06

with the pairing induced by the Killing form. The computation uses the Frobenius grading, the polynomiality of the map in flat coordinates, and the fact that the canonical idempotents have weight $\mu$07 (Brini et al., 2021).

The resulting formulas recover classical genus-$\mu$08 degrees in type $\mu$09 and produce explicit higher-genus values in exceptional types. Representative values listed in the paper include

$\mu$10

$\mu$11

$\mu$12

and

$\mu$13

The construction is explicitly restricted to the semisimple locus, and the paper also notes that naive non-canonical Dynkin markings may fail to produce a Frobenius manifold, as shown by a degenerate metric in a $\mu$14 example (Brini et al., 2021).

5. Affine ADE, elliptic quotients, and categorical counts

Several recent affine and elliptic theories reinterpret Lyashko–Looijenga degrees through symmetry reduction and categorical orbit counts. In the orbifold-projective-line setting, for

$\mu$15

the semisimple Frobenius manifold attached to $\mu$16 has rank

$\mu$17

and the associated map

$\mu$18

has degree

$\mu$19

The same paper proves that this degree equals the number of full exceptional collections in $\mu$20, modulo the action of the spherical-twist group and of shifts on the entries (Otani et al., 2023).

A different affine ADE construction starts from a generalized root system of affine type and a twist automorphism

$\mu$21

For the Dubrovin–Zhang Frobenius manifold associated with the modified extended affine Weyl group, the degree formula stated in that framework is

$\mu$22

and this degree is identified with the number of ordered root bases realizing the Coxeter transformation $\mu$23, modulo the infinite cyclic action generated by the twist automorphism. The same work also identifies the monodromy group with a modified extended affine Weyl group and relates it to extended Artin and Seidel–Thomas braid groups (Otani, 2024).

In a rank-$\mu$24 elliptic model based on the rescaled Weierstrass function,

$\mu$25

the critical points are the three half-periods and the critical values are

$\mu$26

The Lyashko–Looijenga map

$\mu$27

descends modulo the modular group to an algebraic isomorphism

$\mu$28

so $\mu$29. The same paper proves

$\mu$30

where $\mu$31 is the derived category of the nodal quiver, thereby matching the LL degree with the number of braid-group orbits of full exceptional collections modulo translations (Nakago et al., 16 Sep 2025).

These affine results are presented with different quotient spaces, symmetry groups, and normalizations. A plausible implication is that in affine and elliptic settings the numerical degree of the Lyashko–Looijenga map is sensitive to the precise global symmetry reduction under consideration, rather than being a single invariant independent of quotient conventions.

6. Further variants: Stokes data, toric curves, matrix families, and polyhedral geometry

For simple and simple elliptic singularities, the Lyashko–Looijenga map organizes Stokes data. On the F-manifold of a universal unfolding, the Stokes walls are given by equalities $\mu$32, and the connected components of their complement are Stokes regions. The Looijenga–Deligne map assigns to a Stokes region the distinguished basis determined by a good system of vanishing paths, and for both simple and simple elliptic singularities this map is bijective from Stokes regions to distinguished bases modulo signs. In that sense, the base of the unfolding becomes an atlas of Stokes data indexed by LL fibers and their monodromy (Hertling et al., 2018).

A toric variant is defined relative to the logarithmic Gauss map. For a reduced curve $\mu$33 in a smooth complete toric surface $\mu$34, the extended logarithmic Gauss map

$\mu$35

has branch divisor $\mu$36, and the corresponding Lyashko–Looijenga map is

$\mu$37

The map is algebraic, proved via toric resultants, and extends algebraically to the nodal locus with an explicit divisor formula involving ramification and node contributions. Its relevance is that for smooth curves

$\mu$38

so the topology of the critical locus of the compactified amoeba depends only on the position of $\mu$39 relative to $\mu$40; the corresponding wall-crossing set is a real codimension-$\mu$41 semi-algebraic subset (Lang, 2017).

A matrix-singularity analogue replaces ordinary critical values by the nonzero critical values of $\mu$42 or $\mu$43. For a simple matrix singularity, the LL-type map

$\mu$44

is a proper holomorphic map whose restriction to the complement of the full bifurcation diagram is a finite-order unramified covering. The same framework proves $\mu$45-type statements for these complements and formulates a matrix analogue of the $\mu$46 principle for broad classes of families (Goryunov, 2019).

Finally, in the univariate Laurent setting, the LL discriminant itself becomes a polyhedral object. If $\mu$47 is a finite support, the Morse discriminant is the closure of the union of the caustic and Maxwell strata. Its Newton polytope has support function

$\mu$48

so, up to translation,

$\mu$49

Here $\mu$50 is an iterated fiber simplex, $\mu$51 is a basecondary polytope attached to the function $\mu$52, and $\mu$53 is the classical secondary polytope. The paper explicitly states that LL discriminants in this setting “cannot be reduced (by far) to Gelfand--Kapranov--Zelevinsky's $\mu$54-discriminants and secondary polytopes,” underscoring that the Maxwell phenomenon introduces genuinely different elimination and tropical geometry (Esterov et al., 2024).

Across these settings, a recurring misconception is that the Lyashko–Looijenga map belongs only to the classical theory of simple hypersurface singularities. The literature surveyed here shows a broader picture: it is also a Hurwitz-space map, a quasi-homogeneous reflection-group morphism, a Frobenius-manifold invariant, a toric branch-divisor construction, a matrix-singularity covering, and a source of Newton polytopes whose geometry is not reducible to the usual GKZ framework.