[Paper Review] Variance of the spectral numbers

Claus Hertling|ArXiv.org|Jul 30, 2000

Advanced Algebra and Geometry19 references7 citations

TL;DR

This paper establishes a closed-form formula for the variance of the spectral numbers of a quasihomogeneous singularity using the G-function of a semisimple Frobenius manifold. It proves that the variance equals $\frac{\alpha_\mu - \alpha_1}{12}$, with equality holding precisely when the singularity is quasihomogeneous, and conjectures this bound extends to all isolated hypersurface singularities.

ABSTRACT

A formula for the variance of the spectrum of a quasihomogeneous singularity is proved, using the G-function of a semisimple Frobenius manifold.

Motivation & Objective

• To derive a closed-form expression for the variance of the spectral numbers of quasihomogeneous singularities.
• To establish a connection between the G-function of a semisimple Frobenius manifold and the spectral distribution of a singularity.
• To prove that the variance of spectral numbers is bounded above by $\frac{\alpha_\mu - \alpha_1}{12}$ for all isolated hypersurface singularities, with equality in the quasihomogeneous case.
• To explore the geometric and cohomological significance of the G-function in the context of Frobenius manifolds and singularity theory.
• To motivate further study of spectral variance through conjectures and examples, including non-quasihomogeneous singularities.

Proposed method

• Utilizes the G-function of a semisimple Frobenius manifold, defined via isomonodromic deformations and quantum cohomology.
• Applies K. Saito’s and M. Saito’s theory of Frobenius manifolds associated to isolated hypersurface singularities.
• Employs the Euler field and the Levi-Civita connection on the Frobenius manifold to derive differential equations for the G-function.
• Uses the integrability condition of the F-manifold structure and the socle field to ensure holomorphic extension of the G-function.
• Applies the Euler operator $E$ to the G-function $G(t)$, yielding the key identity $E G(t) = -\frac{1}{4}\sum_{i=1}^{\mu}(\alpha_i - \frac{n-1}{2})^2 + \frac{\mu(\alpha_\mu - \alpha_1)}{48}$.
• Leverages the spectral symmetry $\alpha_i + \alpha_{\mu+1-i} = n-1$ to center the variance around $\frac{n-1}{2}$.

Experimental results

Research questions

• RQ1 What is the exact variance of the spectral numbers for a quasihomogeneous singularity?
• RQ2 Can the variance of spectral numbers be universally bounded by $\frac{\alpha_\mu - \alpha_1}{12}$ across all isolated hypersurface singularities?
• RQ3 How does the G-function of a Frobenius manifold encode information about the spectral numbers?
• RQ4 What is the role of the Euler field and the G-function in characterizing the spectral variance?
• RQ5 Are there deeper Hodge-theoretic or geometric structures underlying the variance bound conjecture?

Key findings

• For quasihomogeneous singularities, the variance of the spectral numbers is exactly $\frac{\alpha_\mu - \alpha_1}{12}$, proving Theorem 1.1.
• The G-function of the associated Frobenius manifold satisfies $E G(t) = -\frac{1}{4}\sum_{i=1}^{\mu}(\alpha_i - \frac{n-1}{2})^2 + \frac{\mu(\alpha_\mu - \alpha_1)}{48}$, which leads to the variance formula.
• The constant $\gamma = \frac{1}{4}\sum_{i=1}^{\mu}(\alpha_i - \frac{n-1}{2})^2 - \frac{\mu(\alpha_\mu - \alpha_1)}{48}$ vanishes for quasihomogeneous singularities, implying $\gamma = 0$.
• For the $A_k$-singularities and Brieskorn-Pham singularities, $\gamma = 0$ holds due to the spectral symmetry and Lemma 7.3 on additivity of $\gamma$ under direct sums.
• The conjecture $\gamma \geq 0$ holds for all unimodal and bimodal singularities, including $T_{pqr}$ and the 8 bimodal series, with $\gamma \geq 0$ and equality only for simple elliptic singularities.
• A counterexample exists in the semiquasihomogeneous case $f = x^6 + y^6 + x^4y^4$, where $\gamma = -\frac{1}{144} < 0$, showing the conjecture does not extend to all singularities.