Delta invariant of $\mathbb{Q}$-Cartier curve germs and the genus of representable numerical semigroups

Basic Information

• Paper ID: 2511.03406
• Title: Delta invariant of $\mathbb{Q}$-Cartier curve germs and the genus of representable numerical semigroups
• Authors: Zsolt Baja, Tamás László, András Némethi
• Classification: math.AG (Algebraic Geometry), math.CO (Combinatorics)
• Submission Date: November 5, 2025 (arXiv submission)
• Paper Link: https://arxiv.org/abs/2511.03406

Abstract

This paper first provides two formulas for the delta invariant of complex curve singularities that can be embedded as $\mathbb{Q}$-Cartier divisors into normal surface singularities with rational homology sphere links. Second, it studies representable numerical semigroups (semigroups associated with normal weighted homogeneous surface singularities with rational homology sphere links). The paper proves that such semigroups can be interpreted as value semigroups of generic orbits (as curve singularities) arising from $\mathbb{C}^*$-actions on weighted homogeneous germs. Furthermore, using the delta invariant formulas, it derives a combinatorially computable formula for the genus of representable semigroups. Finally, it topologically characterizes which representable semigroups are symmetric.

Research Background and Motivation

1. Research Problems

This paper addresses two core problems:

• Problem One: How to compute the delta invariant of $\mathbb{Q}$-Cartier curves embedded in normal surface singularities?
• Problem Two: How to compute the genus of representable numerical semigroups and characterize symmetric representable semigroups?

2. Problem Importance

Numerical semigroups play a key role in the theory of complex curves and surface singularities. The number of finite gaps in a semigroup (i.e., the genus of the semigroup) provides a combinatorial interpretation of analytic or topological invariants of singularities. For example:

• The delta invariant of an irreducible curve singularity equals the genus of its value semigroup
• Effective computation of principal characteristics of numerical semigroups (such as Frobenius number, genus, etc.) is typically very difficult, with closed formulas rarely available

3. Limitations of Existing Methods

• For general curve singularities, computation of the delta invariant depends on analytic information
• Computation of the genus of numerical semigroups lacks a unified combinatorial formula
• The representability problem remains incompletely resolved: not all numerical semigroups are representable

4. Research Motivation

László and Némethi proposed a research program in 14 aimed at connecting numerical semigroup theory and surface singularity theory. The key idea is:

• Consider normal weighted homogeneous surface germs, assuming their link is a rational homology sphere (QHS³)
• Construct a numerical semigroup $S$ via the degree of homogeneous functions
• Pinkham's result shows that $S$ is a topological invariant, computable from the Seifert structure
• Use singularity theory methods to compute invariants of representable semigroups

Core Contributions

1. Two formulas for the delta invariant (Theorem 3.1):
   • Formula (11): Applicable to $\mathbb{Q}$-Cartier curves embedded in normal surface singularities with QHS³ links
   • Formula (12): Simplified formula under the additional assumption that the ambient space is $\mathbb{Q}$-Gorenstein
2. New vanishing theorem and duality results:
   • Proposition 3.3: Vanishing theorem for $\mathbb{Q}$-Gorenstein normal surface singularities
   • Proposition 3.4: Duality result establishing the relationship between $s_h$ and $s_{[Z_K]-h}$
   • Corollary 3.5: Duality of equivariant geometric genus
3. New interpretation of representable semigroups (Theorem 4.1): Proves that representable numerical semigroups can be interpreted as value semigroups of generic orbit curve singularities
4. Combinatorial formula for genus (Corollary 4.2): Provides a complete topologically computable formula (26) for the genus of representable semigroups
5. Topological characterization of symmetric semigroups (Corollary 5.1): Uses Seifert invariants to characterize which representable semigroups are symmetric

Detailed Methods

Task Definition

Task One: Delta Invariant Computation

• Input: Curve singularity $(C,o)$ embedded in normal surface singularity $(X,o)$, where $(C,o)$ is a $\mathbb{Q}$-Cartier divisor
• Output: Delta invariant $\delta(C,o) = \dim \gamma_*\mathcal{O}_{(\tilde{C},0)}/\mathcal{O}_{C,o}$
• Constraint: The link of $(X,o)$ is a rational homology sphere QHS³

Task Two: Semigroup Genus Computation

• Input: Representable semigroup $S$ (given via resolution graph $\Gamma$)
• Output: Genus $g(S) = |\mathbb{N} \setminus S|$
• Key: Establish the connection between $S$ and the value semigroup of a curve singularity

Core Technical Framework

1. Resolution Geometric Setup

For a normal surface singularity $(X,o)$, consider a good resolution $\pi: \tilde{X} \to X$:

• Dual resolution graph $\Gamma$ with vertex set $V$
• Exceptional curves $\{E_v\}_{v\in V}$
• Integral cycle lattice $L = H_2(\tilde{X}, \mathbb{Z}) = \oplus_{v\in V}\mathbb{Z}\langle E_v\rangle$
• Dual lattice $L' = \text{Hom}(H_2(\tilde{X},\mathbb{Z}), \mathbb{Z})$, generated by $\{E_v^*\}$
• Finite group $H = L'/L \cong H_1(\Sigma, \mathbb{Z})$

2. Key Cycles

• Anti-canonical cycle $Z_K$: Determined by the adjunction formula $(Z_K, E_v) = (E_v, E_v) + 2, \quad \forall v \in V$
• Minimal $H$-representative $r_h$: For $h \in H$, $r_h$ is the unique minimal non-negative rational cycle in $L'_h$
• Minimal anti-nef cycle $s_h$: The unique minimal element of $S'_h$ in the Lipman cone $S' = S_Q \cap L'$
• Generalized Laufer algorithm: Iterative algorithm to compute $s_h = s(r_h)$ from $r_h$

3. Equivariant Riemann-Roch Function

For fixed $h \in H$, define: $\chi_h: L \to \mathbb{Z}, \quad \chi_h(l) = (Z_K - 2s_h - l, l)/2$

This is an equivariant presentation of the complete Riemann-Roch function $\chi(\ell') = (Z_K - \ell', \ell')/2$.

4. Equivariant Geometric Genus

Via the universal abelian cover $c: (Y,o) \to (X,o)$, define: $p_g(X,o)_h := h^1(\tilde{X}, \mathcal{O}_{\tilde{X}}(-r_h))$

The $H$-action induces a decomposition: $c_*(\mathcal{O}_{\tilde{Y}}) = \oplus_{h\in H} \mathcal{O}_{\tilde{X}}(-r_h)$

Derivation of Delta Invariant Formula

Theorem 3.1(a): General Formula$\delta(C,o) = \chi(-\ell'_C) - \chi(r_{-h_C}) + p_g(X,o)_{-h_C} - p_g(X,o)$

Proof Strategy:

1. Use the result from 3: $\delta(C,o) = h^1(\tilde{X}, \mathcal{O}_{\tilde{X}}(-\tilde{C})) - p_g(X)$
2. Since $(C,o)$ is $\mathbb{Q}$-Cartier, we have $\mathcal{O}_{\tilde{X}}(-\tilde{C}) \cong \mathcal{O}_{\tilde{X}}(\ell'_C)$
3. Apply exact sequence (8) and the generalized Laufer algorithm to obtain equation (9)
4. Combine with equation (10) to get the final formula

Theorem 3.1(b): $\mathbb{Q}$-Gorenstein Case$\delta(C,o) = \chi_{[Z_K]+h_C}(Z_K + \ell'_C - s_{[Z_K+h_C]}) + \chi(s_{[Z_K+h_C]}) - \chi(r_{[Z_K+h_C]}) + p_g(X,o)_{[Z_K]+h_C} - p_g(X,o)$

Key Proof Elements:

1. Proposition 3.3 (Vanishing Theorem): For the $\mathbb{Q}$-Gorenstein case, $h^1(\mathcal{O}_{\tilde{X}}(-Z_K + s_h)) = 0$
   The proof uses the formal functions theorem, Serre duality, and the generalized Grauert-Riemenschneider vanishing theorem
2. Proposition 3.4 (Duality): $h^1(\mathcal{O}_{\tilde{X}}(-s_{-h})) - \chi(s_{-h}) = h^1(\mathcal{O}_{\tilde{X}}(-s_{[Z_K]+h})) - \chi(s_{[Z_K]+h})$
3. Corollary 3.5 (Equivariant Genus Duality): $p_g(X,o)_h - p_g(X,o)_{[Z_K]-h} = \chi(r_h) - \chi(r_{[Z_K]-h})$

Genus Formula for Representable Semigroups

Theorem 4.1 (Key Bridge): The representable semigroup $S_\Gamma$ equals the value semigroup $S_{C_{gen}}$ of a generic orbit curve $(C_{gen}, 0)$.

Proof Outline:

• The generic orbit $\tilde{C}_{gen}$ is a special transverse cut of the central curve $E_0$ at a smooth point
• Total transform: $\tilde{C}_{gen} + E_0^*$, hence $\mathcal{O}_{\tilde{X}}(-\tilde{C}_{gen}) \cong \mathcal{O}_{\tilde{X}}(E_0^*)$
• Prove both inclusions: $S_{(X,0)} \subseteq S_{C_{gen}}$ and $S_{C_{gen}} \subseteq S_{(X,0)}$

Corollary 4.2 (Genus Formula): $g(S) = \chi_{[Z_K]+h_0}(Z_K + E_0^* - s_{[Z_K]+h_0}) + \chi(s_{[Z_K]+h_0}) - \chi(r_{[Z_K]+h_0}) + (p_g)_{[Z_K]+h_0} - p_g$

where $h_0 = [E_0^*]$ is the class of $E_0^*$ in $H$.

Key Observations:

• This formula is completely topological (equivariant geometric genus is also topological)
• The cycle $Z_K + E_0^* - s_{[Z_K]+h_0}$ plays a central role in multiple problems
• For rational singularities, the formula simplifies to $g(S_\Gamma) = \chi_{[Z_K]+h_0}(Z_K + E_0^* - s_{[Z_K]+h_0})$

Characterization of Symmetric Semigroups

Background: A semigroup $S$ is symmetric if and only if $s \in S \Leftrightarrow c-1-s \notin S$ (where $c$ is the conductor)

Key Equivalence (for irreducible curves): $S \text{ symmetric} \Leftrightarrow (C,o) \text{ Gorenstein} \Leftrightarrow c = 2\delta$

Corollary 5.1 (Symmetry Characterization): The representable semigroup $S_\Gamma$ is symmetric if and only if $p_g - (p_g)_{[Z_K]+h_0} = \frac{\check{s}}{2} - \chi(r_{[Z_K]+h_0})$

where $\check{s} = (s_{[Z_K]+h_0})_0$ is the $E_0$-coefficient of $s_{[Z_K]+h_0}$.

Special Cases:

• Rational singularities: Symmetry is equivalent to $\chi(s_{[Z_K]+h_0}) = \check{s}/2$, i.e., $b_0 \geq d$ or $[Z_K + E_0^*] = 0$
• Numerically Gorenstein with $o=1$: Necessarily symmetric

Experimental Setup

This is a pure theoretical mathematics paper with no traditional experiments. However, it includes several verification examples.

Example 3.3 (Verification of Delta Invariant Formula)

Data: Brieskorn hypersurface singularity $(X,0) = \{x^4 - y^6 + z^5 = 0\} \subset (\mathbb{C}^3, 0)$

• Curve $(C,0)$ given by ideal $(x^2+y^3, z)$ (ordinary cusp, $\delta(C,0)=1$)
• Geometric genus $p_g = 6$

Computation Process:

1. Construct a good embedded resolution (8-vertex graph)
2. Compute key cycles:
   • $Z_K = (8, 16, 24, 12, 10, 5, 10, 5)$
   • $\ell'_C = E_6^* = (2, 4, 6, 3, 13/5, 9/5, 12/5, 6/5)$
3. Apply generalized Laufer algorithm: $\chi(r_{h_C}) - \chi(s_{h_C}) = 2$
4. Compute equivariant genus: $p_g(X,0)_{h_C} = 4$
5. Verify formula (12): $\delta(C,0) = 5 - 2 + 4 - 6 = 1$ ✓

Example 4.4 (Verification of Genus Formula)

Data: Dual graph of Seifert invariants $Sf = (-1; (3,1), (7,4))$

• Corresponding semigroup $G(3,5,7)$ (generated by 3, 5, 7)
• Gap set $\{1, 2, 4\}$, genus $g(S) = 3$

Computation Process:

1. Compute key cycles (7-vertex graph)
2. Apply generalized Laufer algorithm: $s_{[Z_K]+h_0} = E_0^* + E_2^* + E_4^*$
3. Compute equivariant genus: $(p_g)_{[Z_K]+h_0} = 0$, $p_g = 3$
4. Compute $\chi_{[Z_K]+h_0}(Z_K + E_0^* - s_{[Z_K]+h_0}) = 6$
5. Verify formula (26): $g(S) = 6 - 3 = 3$ ✓

Non-Gorenstein Environment: The singularity $(X,0)$ is not rational ($p_g = 3 \neq 0$), demonstrating that the formula is valid in more general cases

Experimental Results

Verification of Main Results

Validity of Delta Invariant Formula:

• Example 3.3 successfully verifies formula (12) in a non-trivial case
• The formula expresses an analytic invariant (delta) as a combination of topological and combinatorial data
• Compared to earlier work in 3,4, the new formula applies to more general $\mathbb{Q}$-Cartier curves

Validity of Genus Formula:

• Example 4.4 verifies genus formula (26) for applicability to non-rational ambient spaces
• The formula is purely topological, computable from Seifert invariants
• For rational singularities, the formula simplifies to a more concise form (34)

Theoretical Findings

1. Central Role of Cycle $Z_K + E_0^* - s_{[Z_K]+h_0}$:
   • On rational surfaces, its $E_0$-coefficient gives the conductor (Frobenius number + 1)
   • For rational singularities, the genus formula involves only this cycle
   • Also plays a key role in the characterization of symmetry
2. Duality of Equivariant Genus (Corollary 3.5): $p_g(X,o)_h - p_g(X,o)_{[Z_K]-h} = \chi(r_h) - \chi(r_{[Z_K]-h})$ This is a newly discovered topological property, showing that the equivariant genus difference is topological
3. Relationship Between Symmetry and Gorenstein Property:
   • In general, $(X,0)$ Gorenstein does not imply $S_\Gamma$ symmetric (Example 7.1.3)
   • $S_\Gamma$ symmetric also does not imply $(X,0)$ numerically Gorenstein
   • However, there are special cases: $[Z_K + E_0^*] = 0$ implies symmetry

Case Analysis

Case 1: G(2,3) Semigroup

• Seifert invariants: $(-2; 2\times(2,1), 2\times(3,1))$
• Semigroup is symmetric (generated by 2,3)
• But $[Z_K + E_0^*] \neq 0$, showing that the symmetry criterion depends on more than just this condition

Case 2: G(p,q) on Rational Singularities

• For any $\mathbb{C}^*$-action on $(\mathbb{C}^2, 0)$
• The $G(p,q)$ semigroup is always symmetric
• Consistent with the theorem: rational singularities with $b_0 \geq d$ or $[Z_K + E_0^*] = 0$

Related Work

Main Research Directions

1. Numerical Semigroup Theory:
   • Kunz 10: Value semigroups of Gorenstein rings
   • Delgado 6: Gorenstein property on curves and semigroup symmetry
   • Rosales & García-Sánchez 22: Every numerical semigroup is half of a symmetric semigroup
   • Swanson 27: Infinitude of symmetric semigroups
2. Delta Invariant of Curve Singularities:
   • Buchweitz & Greuel 2: Milnor number and deformations of curve singularities
   • Cogolludo-Agustín et al. 3,4: Delta invariant of curves on rational surfaces
   • This paper extends to $\mathbb{Q}$-Cartier curves and non-rational environments
3. Weighted Homogeneous Singularities and Representable Semigroups:
   • Pinkham 25: Normal surface singularities with $\mathbb{C}^*$-actions
   • Orlik & Wagreich 24: Isolated singularities of algebraic surfaces
   • László & Némethi 14: Geometry of strongly flat semigroups
   • Baja & László 1: Flat semigroups and weighted homogeneous surface singularities
4. Vanishing Theorems:
   • Grauert & Riemenschneider 8: Vanishing of analytic cohomology groups
   • Lipman 15: Vanishing theorem for rational singularities
   • Esnault & Viehweg 7: Generalized vanishing theorems
   • This paper's Proposition 3.3: New vanishing result for $\mathbb{Q}$-Gorenstein case

Advantages of This Paper

1. Unified Framework: Incorporates delta invariant, semigroup genus, and symmetry into a unified topological framework
2. More General Setting: Generalizes from rational singularities to $\mathbb{Q}$-Gorenstein singularities
3. Computability: All formulas are combinatorially computable, depending only on the resolution graph
4. New Theoretical Tools: Equivariant genus duality, vanishing theorem, etc.

Conclusions and Discussion

Main Conclusions

1. Topological Formula for Delta Invariant:
   • Formulas (11) and (12) express an analytic invariant as a combination of embedding topology and equivariant genus of the ambient space
   • For $\mathbb{Q}$-Gorenstein environments, the formula involves the key cycle $Z_K + \ell'_C - s_{[Z_K]+h_C}$
2. Value Semigroup Interpretation of Representable Semigroups:
   • Theorem 4.1 establishes the equivalence between representable semigroups and value semigroups of generic orbit curves
   • This provides a geometric interpretation for semigroup theory
3. Combinatorial Formula for Genus:
   • Corollary 4.2 provides a completely topologically computable genus formula
   • Combined with the Frobenius number formula from 14, it completely characterizes the principal invariants of representable semigroups
4. Topological Characterization of Symmetric Semigroups:
   • Corollary 5.1 characterizes symmetry via equivariant genus and combinatorial data
   • Reveals the subtle relationship between symmetry and Gorenstein property

Limitations

1. Representability Problem Not Completely Resolved:
   • Not all numerical semigroups are representable
   • 1 provides partial characterization (as quotients of flat semigroups), but complete characterization remains open
2. Computational Complexity:
   • The generalized Laufer algorithm may be computationally complex
   • Computation of equivariant geometric genus requires additional tools (e.g., polyhedral theory from 12)
3. Restrictive Assumptions:
   • Requires the link to be a rational homology sphere (QHS³)
   • The $\mathbb{Q}$-Cartier condition may be restrictive in some applications
4. Complexity of Symmetry Characterization:
   • The conditions in Corollary 5.1 are less intuitive than direct geometric conditions
   • The relationship with Gorenstein property deserves deeper understanding

Future Directions

1. Complete Characterization of Representability:
   • Find necessary and sufficient conditions for numerical semigroup representability
   • Study finer properties of flat semigroups
2. Generalization to More General Settings:
   • Relax the QHS³ assumption
   • Consider delta invariant of reducible curves
3. Algorithm Optimization:
   • Develop more efficient algorithms for computing $s_h$ and equivariant genus
   • Implement in computer algebra systems
4. Application Extensions:
   • Study semigroups of curves on rational surfaces (mentioned as ongoing work in 5)
   • Explore connections with Seiberg-Witten invariants
5. Other Semigroup Invariants:
   • Study other properties of representable semigroups (embedding dimension, Apéry set, etc.)
   • Use singularity theory methods to compute these invariants

In-Depth Evaluation

Strengths

1. Strong Theoretical Innovation:
   • Vanishing theorem (Proposition 3.3) and duality results (Proposition 3.4) are new theoretical contributions
   • Equivariant genus duality (Corollary 3.5) reveals profound topological properties
   • Theorem 4.1 establishes new connections between semigroups and curve singularities
2. Systematic and Complete Methodology:
   • Progresses logically from delta invariant formulas to semigroup genus and symmetry characterization
   • Unified theoretical framework with tight logical connections
   • Skillful application of technical tools (resolution geometry, equivariant cohomology, vanishing theorems)
3. High Practical Utility:
   • All formulas are combinatorially computable
   • Provides new computational tools for numerical semigroup theory
   • Formula (26) solves the problem of computing genus of representable semigroups
4. Clear and Rigorous Writing:
   • Detailed introduction of preliminary knowledge (Section 2)
   • Clear logical progression and complete proofs
   • Well-chosen examples that effectively verify the theory
5. Continuity and Development:
   • Summarizes and generalizes work from 3,4,14
   • Provides foundation for subsequent research (e.g., 5)
   • Proposes clear future research directions

Weaknesses

1. Limited Number of Examples:
   • Only two detailed computational examples
   • Lacks systematic comparison across different types of singularities
   • Could benefit from more discussion of boundary cases
2. Insufficient Algorithm Details:
   • Computational complexity of generalized Laufer algorithm not analyzed
   • Lacks pseudocode for algorithm implementation
   • Practical computation method for equivariant genus only referenced
3. Limited Geometric Intuition:
   • Geometric meaning of key cycle $Z_K + E_0^* - s_{[Z_K]+h_0}$ not sufficiently explained
   • Geometric interpretation of symmetry condition (32) lacks clarity
   • Missing diagrams for illustration
4. Insufficient Discussion of Open Problems:
   • Representability problem only briefly mentioned
   • Limited discussion of which semigroups are representable
   • Relationship with other semigroup classes (e.g., Arf semigroups) not explored
5. Limited Application Scope:
   • Primarily focused on weighted homogeneous singularities
   • Generalization to non-homogeneous cases not discussed
   • Connections with other fields (e.g., coding theory) not mentioned

Impact

1. Contribution to the Field:
   • Advances an important step in the László-Némethi research program
   • Provides new singularity-theoretic perspective for numerical semigroup theory
   • Technical tools (vanishing theorem, duality) have independent value
2. Practical Value:
   • Genus formula (26) can be directly applied for computation
   • Symmetry characterization helps identify special semigroups
   • Provides algorithmic foundation for computer algebra systems
3. Reproducibility:
   • Complete theoretical proofs, verifiable
   • Detailed example computations, reproducible
   • Comprehensive references for background material
4. Potential for Follow-up Research:
   • Opens multiple research directions
   • Technical methods generalizable to related problems
   • Direct connection with ongoing work 5

Applicable Scenarios

1. Theoretical Research:
   • Researchers in numerical semigroup theory
   • Researchers in singularity theory
   • Algebraic geometers and topologists
2. Computational Applications:
   • Researchers needing to compute semigroup invariants
   • Computer algebra system developers
   • Mathematicians studying specific types of singularities
3. Interdisciplinary Fields:
   • Coding theory (applications of numerical semigroups)
   • Combinatorics (combinatorial properties of semigroups)
   • Representation theory (representations of weighted homogeneous singularities)
4. Educational Use:
   • Reference for advanced singularity theory courses
   • Example of combining theory and computation
   • Illustration of topological methods in algebraic geometry

Key References

1. 1 Baja & László (2025): Flat semigroups and weighted homogeneous surface singularities - Prerequisite work for this paper
2. 3,4 Cogolludo-Agustín et al.: Delta invariant of curves on rational surfaces - Foundation for this paper's generalizations
3. 14 László & Némethi (2020): Geometry of strongly flat semigroups - Starting point of the research program
4. 20 Némethi (2022): Monograph on normal surface singularities - Systematic background source
5. 25 Pinkham (1977): Normal surface singularities with $\mathbb{C}^*$-actions - Classical foundational results

Overall Assessment: This is a high-quality pure mathematics theory paper making important contributions at the intersection of singularity theory and numerical semigroup theory. The theoretical innovation is strong, the technical methods rigorous, and the results highly practical. Main weaknesses are that examples and algorithm details could be more abundant. The paper significantly advances subsequent research in representable semigroup theory, providing new tools and perspectives for the field.