Higher characteristic classes of multisingularity loci

Basic Information

• Paper ID: 2510.14602
• Title: Higher characteristic classes of multisingularity loci
• Authors: Jakub Koncki, Richárd Rimányi
• Classification: math.AG (Algebraic Geometry)
• Publication Date: Spring 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.14602

Abstract

Maps between manifolds stratify the source and target spaces according to the multisingularities that occur. This paper investigates universal expressions for Segre-Schwartz-MacPherson classes describing multisingularity loci—termed higher Thom polynomials. We establish a structure theorem that reduces these Thom polynomials to data consisting of linear series associated with each multisingularity. The series corresponding to empty multisingularities are called principal series and play a special role. Based on connections with geometric representation theory, we further prove an interpolation theorem that allows algorithmic computation of Thom polynomials within Mather's good dimension range. As an application, we derive explicit formulas for the image Milnor number of quasi-homogeneous germs, providing a computationally tractable aspect of the celebrated Mond conjecture up to theoretical bounds.

Research Background and Motivation

Problem Setting

The core problem addressed in this paper concerns characteristic class theory of multisingularity loci. When considering algebraic maps between complex manifolds $f: M → N$, the map stratifies the source space $M$ and target space $N$ according to the multisingularities that occur. Each multisingularity $η = \{η_1, ..., η_r\}$ corresponds to a target locus $Σ^T_η(f) ⊂ N$, consisting of points with exactly $r$ preimages possessing specified singularity types.

Significance and Motivation

1. Universality Principle: A central goal of singularity theory is to establish universal counting formulas, namely the Thom principle. This principle asserts the existence of universal polynomials depending only on multisingularity types that express characteristic classes of singularity loci.
2. Fine Structure of SSM Classes: Compared to fundamental classes, Segre-Schwartz-MacPherson (SSM) classes carry richer information. For subvarieties in projective space, the fundamental class only determines degree, whereas the SSM class encodes Euler characteristics of general linear sections in all dimensions.
3. Connection to Geometric Representation Theory: SSM classes are closely related to Maulik-Okounkov stable envelope characteristic classes, which play a central role in quantum integrable systems.

Limitations of Existing Methods

Classical Thom polynomial theory primarily focuses on fundamental classes, while the theory of higher Thom polynomials for SSM classes remains incomplete. Existing computational methods include partial analytic techniques, iterated residues, and non-reduced quotients, but direct extensions to the SSM setting encounter difficulties.

Core Contributions

1. Structure Theorem: Establishes structural theory for SSM-Thom polynomials, encoding complex higher-order expressions as linear series $S_η$ associated with each multisingularity.
2. Principal Series Theory: Discovers that the principal series $S_∅$ corresponding to empty multisingularities plays a foundational role—a new phenomenon relative to classical theory.
3. Interpolation Theorem: Proves an interpolation theorem enabling algorithmic computation of SSM-Thom polynomials within Mather's range, transforming geometric problems into pure algebraic calculations.
4. Mond Conjecture Application: Derives explicit formulas for image Milnor numbers of quasi-homogeneous map germs, providing a computationally tractable aspect of the Mond conjecture.

Methodology in Detail

Task Definition

The research objective is to establish existence and computational theory for SSM-Thom polynomials. For T-multisingularities $η$, seek universal power series $Th^T_η ∈ Q[[s]]$ such that for suitable maps $f: M → N$: $Th^T_η(f) = ssm(Σ^T_η(f)) · |Aut(η)| ∈ H^•(N)$

Core Architecture

1. Structure Theorem

For the generating function of T-multisingularities: $\sum_η \frac{Th^T_η}{|Aut(η)|} t^η = \exp\left(\sum_η \frac{S_η}{|Aut(η)|} t^η\right)$

This exponential structure reduces complex Thom polynomials to data of linear series $S_η$.

2. Principal Series $S_∅$

The series for empty multisingularities $S_∅$ satisfies $\exp(S_∅) = Th^T_∅$; for the case $l=1$: $S_∅ = -s_∅ + \frac{1}{2}s_1 + \frac{1}{6}(7s_2 - 2s_{11}) + \frac{1}{4}(s_3 - 5s_{21} + s_{111}) + \cdots$

3. Interpolation Method

The interpolation theorem reduces SSM-Thom polynomial computation to two conditions:

1. Normalization Condition: For each single singularity $η$, the polynomial $A_{\{η\}}$ satisfies prototype conditions in equivariant cohomology
2. Support Condition: For non-matching singularity types, corresponding characteristic classes vanish in higher degree parts

Technical Innovations

1. Exponential Structure: Unlike classical theory where $S_∅ = 0$, SSM theory features non-trivial principal series playing a foundational role, with all other Thom polynomials depending on it.
2. Linearization: By proving linearity of series $S_η$, complex geometric problems are transformed into algebraic calculations.
3. Equivariant Methods: Utilizing torus actions and Borel constructions to finitize infinite-dimensional problems.

Experimental Setup

Computational Range

Computations within Mather bounds $M(l)$; for $l=1$, $M(1)=14$. Calculations involve 55 Mather algebras and 265 Mather T-multisingularities.

Implementation Tools

Computer algebra systems verify interpolation theorem conditions; all computations are algorithmic, requiring no geometric input.

Data Verification

Computational results and verification data provided through the Thom Polynomial Portal TPP.

Experimental Results

Principal Series Computation

Successfully computed principal series for $l=1,2,3,4$ and $l=∞$ cases, discovering that denominators coincide with those of Cauchy numbers of the second kind: 1, 2, 6, 4, 30, 12, 84, 24, ...

Structure Verification

Verified correctness of the structure theorem within Mather range; all series $S_η$ for non-empty $η$ possess integer coefficients.

Application Results

Derived explicit formulas for image Milnor numbers of quasi-homogeneous map germs in dimensions $m ≤ 14$, extending previous results known only for $m ≤ 5$.

Related Work

Classical Thom Polynomial Theory

• Kazarian's structure theorem establishes exponential structure for fundamental class Thom polynomials
• Ohmoto proves existence of T-multisingularity fundamental class Thom polynomials

SSM Class Theory

• MacPherson constructs natural transformations for csm classes
• Ohmoto introduces equivariant versions of MacPherson transformations
• Stable envelope theory provides axiomatic characterization

Computational Methods

• Interpolation methods introduced by Rimányi
• Ohmoto-Nekarda extend to SSM setting
• Partial analytic and non-reduced quotient methods provide alternative approaches

Conclusions and Discussion

Main Conclusions

1. Establishes complete structural theory for multisingularity SSM-Thom polynomials
2. Discovers the foundational role of principal series in SSM theory
3. Provides algorithmic computational methods within Mather range
4. Contributes a computationally tractable aspect to the Mond conjecture

Limitations

1. Complete existence conjecture remains open
2. Number-theoretic significance of principal series denominators unclear
3. Cases beyond Mather range are more complex

Future Directions

1. Complete proof of SSM-Thom polynomial existence
2. Understand number-theoretic structure of principal series
3. Extend to more general characteristic class theory
4. Explore deeper connections with quantum integrable systems

In-Depth Evaluation

Strengths

1. Theoretical Depth: Establishes solid foundations for characteristic class theory of multisingularities, reducing complex problems to computable linear series
2. Methodological Innovation: Interpolation theorem completely algebraizes geometric problems, enabling algorithmic computation
3. Applied Value: Contributions to the Mond conjecture demonstrate theoretical utility
4. Computational Completeness: Provides comprehensive computational framework and verification data

Weaknesses

1. Existence Issues: Main results based on conjectures; complete existence proofs remain outstanding
2. Number-Theoretic Mystery: Number-theoretic significance of principal series denominators unclear, possibly concealing deeper structures
3. Range Restrictions: Main results limited to Mather range

Impact

This work holds significant importance in algebraic geometry and singularity theory, establishing foundations for characteristic class theory of multisingularities and providing practical tools for related computational problems.

Applicable Scenarios

The theory applies to:

1. Enumeration problems in algebraic geometry
2. Computational applications in singularity theory
3. Characteristic class computations in geometric representation theory
4. Deformation theory of map germs

References

The paper contains extensive references spanning singularity theory, algebraic geometry, and geometric representation theory, particularly foundational contributions by Kazarian, Ohmoto, MacPherson, and others.