[Paper Review] The Poincaré series of some special quasihomogeneous surface singularities

Wolfgang Ebeling|ArXiv.org|Apr 13, 2000

Algebraic Geometry and Number Theory16 references4 citations

TL;DR

This paper establishes a deep connection between the Poincaré series of quasihomogeneous surface singularities—particularly Fuchsian complete intersection singularities (ICIS)—and the monodromy operator's characteristic polynomial, revealing that this duality underlies mirror symmetry in K3 surfaces and is realized via automorphisms of the Leech lattice. The key result is that the modified Poincaré series and its dual form characteristic polynomials of automorphisms of the Leech lattice, with 39 self-dual Frame shapes realized through five distinct constructions.

ABSTRACT

In the author's paper ''Poincaré series and monodromy of a two-dimensional quasihomogeneous hypersurface singularity'' a relation is proved between the Poincaré series of the coordinate algebra of a two-dimensional quasihomogeneous isolated hypersurface singularity and the characteristic polynomial of its monodromy operator. We study this relation for Fuchsian singularities and show that it is connected with the mirror symmetry of K3 surfaces and with automorphisms of the Leech lattice. We also indicate relations between other singularities and Conway's group.

Motivation & Objective

• To extend K. Saito's duality between cyclotomic polynomials and Leech lattice automorphisms to Fuchsian isolated complete intersection singularities (ICIS).
• To establish a correspondence between the Poincaré series of coordinate algebras of Fuchsian ICIS and the characteristic polynomials of their monodromy operators.
• To demonstrate that this duality is geometrically realized through mirror symmetry of K3 surfaces.
• To show that the modified Poincaré series and its dual generate characteristic polynomials of automorphisms of the Leech lattice.
• To classify and realize all 39 self-dual Frame shapes of the Conway group ·0 via five distinct geometric and algebraic constructions.

Proposed method

• Define the Poincaré series pA(t) and auxiliary polynomial ψA(t) using orbit invariants {g; b; (αi, βi)} of Fuchsian singularities.
• Introduce the product φA(t) = pA(t)ψA(t), which is shown to be the characteristic polynomial of a Coxeter element c∞ for Fuchsian singularities.
• For Fuchsian ICIS, modify φA(t) to a rational function ˜φA(t) such that its Saito dual equals the monodromy characteristic polynomial φM(t) or its variant φ♭M(t).
• Relate this duality to mirror symmetry of K3 surfaces by showing that ˜φA(t) and its dual form the characteristic polynomial of a Leech lattice automorphism.
• Use the Dedekind eta function ηπ(τ) to associate modular functions to Frame shapes π, verifying that ηπ generates the function field of a genus-zero congruence subgroup Γ′ ⊃ Γ0(h).
• Construct 39 self-dual Frame shapes via five methods: (a) Niemeier lattice combinations, (b) singularities from Tables 3 and 4, (c) products of symbols of simply elliptic singularities, (d) symbols of Fuchsian ICIS, and (e) ψA(t) from singularities marked (e) in Tables 3 and 4.

Experimental results

Research questions

• RQ1 How does the Poincaré series of a Fuchsian ICIS relate to the monodromy operator's characteristic polynomial?
• RQ2 Can the duality between Poincaré series and monodromy polynomials be extended beyond Arnold's strange duality to Fuchsian ICIS?
• RQ3 In what way is this duality connected to mirror symmetry of K3 surfaces?
• RQ4 Which automorphisms of the Leech lattice arise from the characteristic polynomials of Fuchsian ICIS?
• RQ5 Can all 39 self-dual Frame shapes of the Conway group ·0 be realized through geometric and algebraic constructions?

Key findings

• The polynomial φA(t) for a Fuchsian singularity is the characteristic polynomial of a Coxeter element c∞.
• For Fuchsian ICIS, the modified rational function ˜φA(t) and its Saito dual yield the monodromy characteristic polynomial φM(t) or φ♭M(t), establishing a duality that mirrors K3 surface mirror symmetry.
• The pair (˜φA(t), dual(˜φA(t))) forms the characteristic polynomial of an automorphism of the Leech lattice.
• The 24-dimensional quasihomogeneous ICIS in C4 with Milnor number µ = 25 have monodromy polynomials φ♭M(t) that are self-dual and correspond to Leech lattice automorphisms.
• All 39 self-dual Frame shapes of the Conway group ·0 are realized through five distinct constructions, including Niemeier lattice combinations and singularities from Tables 3 and 4.
• The modular function ηπ(τ) associated with each Frame shape π is a generator of the function field of a genus-zero congruence subgroup Γ′ ⊃ Γ0(h), confirming the modularity of the duality.