Nearly Gorenstein Rational Singularities

• Nearly Gorenstein rational singularities are defined by the inclusion m ⊆ Tr_A(K_A), bridging algebraic and geometric properties in rational surface contexts.
• The canonical trace ideal is realized through global sections on the minimal resolution, using anti-nef divisors like the fundamental cycle to assess singularity type.
• Intersection conditions and combinatorial criteria provide a tractable method to classify these singularities, extending insights to higher-dimensional cyclic quotients.

Nearly Gorenstein rational singularities arise in the study of normal surface and higher-dimensional singularities over an algebraically closed field of characteristic zero, where the relationship between the canonical module and maximal ideal is controlled via the trace ideal. These singularities refine the classical distinction between Gorenstein and non-Gorenstein rational singularities through a homological and geometric lens, with significant implications for the birational geometry and invariant theory of surface singularities.

1. Foundational Definitions and Trace Ideals

Let $(A,\frak m,k)$ denote a two-dimensional normal local domain admitting a resolution of singularities $\pi:X\to\Spec A$, with exceptional divisor $E=\bigcup_{i=1}^nE_i$. The canonical divisor on $X$ is $K_X$, and the canonical $A$-module is $K_A$.

For any finitely generated $A$-module $M$, the trace ideal is defined by

$\Tr_A(M) = \sum_{f\in\Hom_A(M,A)}\Image(f)\subset A.$

In the special case $\pi:X\to\Spec A$0, the trace ideal identifies as

$\pi:X\to\Spec A$1

where $\pi:X\to\Spec A$2 is computed in the total fraction ring $\pi:X\to\Spec A$3. When $\pi:X\to\Spec A$4 is a canonical ideal, this is structurally similar to trace computations for module endomorphisms.

A singularity $\pi:X\to\Spec A$5 is called nearly Gorenstein if

$\pi:X\to\Spec A$6

equivalently, $\pi:X\to\Spec A$7 for the non-Gorenstein, nearly Gorenstein case. In this context, the trace ideal is always $\pi:X\to\Spec A$8-primary and integrally closed for rational surface singularities (Maeda et al., 25 Dec 2025, Caminata et al., 2020).

2. Canonical Trace Ideal and Geometric Representation

A key result states that for a rational surface singularity $\pi:X\to\Spec A$9, $E=\bigcup_{i=1}^nE_i$0 corresponds to the global sections of an invertible sheaf on the minimal resolution $E=\bigcup_{i=1}^nE_i$1. The construction involves anti-nef divisors, specifically the minimal cycle $E=\bigcup_{i=1}^nE_i$2 supported on $E=\bigcup_{i=1}^nE_i$3 such that $E=\bigcup_{i=1}^nE_i$4 is anti-nef: $E=\bigcup_{i=1}^nE_i$5 This $E=\bigcup_{i=1}^nE_i$6 is effective, anti-nef, and minimal with respect to supporting $E=\bigcup_{i=1}^nE_i$7 as anti-nef. The fundamental cycle $E=\bigcup_{i=1}^nE_i$8 is the unique minimal positive anti-nef cycle on $E=\bigcup_{i=1}^nE_i$9, characterized by $X$0 for all $X$1; $X$2 is not generally anti-nef itself, hence $X$3 is needed for the correction. For $X$4, $X$5.

This geometric realization allows direct comparison with the maximal ideal $X$6: $X$7, giving a direct criterion for nearly Gorensteinness in terms of cycles on the resolution (Maeda et al., 25 Dec 2025).

3. Main Criteria for Nearly Gorenstein Rational Singularities

The following are equivalent statements for a rational surface singularity $X$8 (not Gorenstein):

1. $X$9 is nearly Gorenstein.
2. The minimal anti-nef cycle $K_X$0 equals the fundamental cycle $K_X$1.
3. $K_X$2 is anti-nef.
4. Intersection conditions on the coefficients $K_X$3 of $K_X$4 and the negatives of self-intersections $K_X$5 hold in one of the prescribed patterns, e.g., $K_X$6 irreducible, unique $K_X$7 with specified intersection numbers, or exactly two $K_X$8.
5. For all $K_X$9 with $A$0, $A$1.

These criteria connect the algebraic definition via the trace to strict intersection-theoretic or combinatorial conditions on the resolution graph, providing a combinatorial criterion for nearly Gorensteinness (Maeda et al., 25 Dec 2025).

For rational surface singularities that are Gorenstein, $A$2 and $A$3; in this case, the trace ideal is $A$4.

4. Special Cases: Almost Reduced and Quotient Singularities

Almost Reduced Fundamental Cycle

A rational singularity has an almost reduced fundamental cycle if every component $A$5 with $A$6 has $A$7 in $A$8. The classification in this case comprises the extended Dynkin (A–D–E) graphs possibly with one central curve of higher multiplicity. Specifically:

• Type $A$9: Line with all $K_A$0.
• Type $K_A$1: $K_A$2-graph with two ends of multiplicity $K_A$3 and the central arm potentially higher.
• Types $K_A$4 with one or two central larger multiplicities. The multiplicities on nodes match those in ordinary A–D–E cycles, except for possible central enhancements (Maeda et al., 25 Dec 2025).

Quotient Singularities

Quotient singularities of the form $K_A$5 with $K_A$6 and no cyclic quotient appear as rational, log-terminal surface singularities. The classification of nearly Gorenstein but non-Gorenstein quotient singularities is as follows: $K_A$7 with finitely many exceptional cases for types $K_A$8, $K_A$9, $A$0. The resolution graphs are star-shaped as for Du Val singularities, but with a branch of larger multiplicity in the anti-nef cycle (Maeda et al., 25 Dec 2025).

5. Cyclic Quotient Singularities and Higher Dimensions

For $A$1 with $A$2 a small cyclic subgroup of $A$3 of type $A$4 (i.e., $A$5 acts diagonally by a primitive $A$6-th root of unity), $A$7 is nearly Gorenstein if for each $A$8, permutation $A$9, and $M$0-tuple $M$1 with $M$2 and $M$3, there exist $M$4 such that

$M$5

In dimension 2, all cyclic quotient singularities are nearly Gorenstein (Caminata et al., 2020). Table 1 in (Caminata et al., 2020) precisely records Gorenstein, nearly Gorenstein, and non-nearly Gorenstein cases for small $M$6.

The canonical module and its trace satisfy

$M$7

where $M$8 is $M$9-canonical, and $\Tr_A(M) = \sum_{f\in\Hom_A(M,A)}\Image(f)\subset A.$0 is generated by monomials $\Tr_A(M) = \sum_{f\in\Hom_A(M,A)}\Image(f)\subset A.$1 with $\Tr_A(M) = \sum_{f\in\Hom_A(M,A)}\Image(f)\subset A.$2.

6. Illustrative Examples and Structural Insights

Several explicit structures and examples elucidate the nearly Gorenstein property:

• Du Val (A–D–E) Singularities: $\Tr_A(M) = \sum_{f\in\Hom_A(M,A)}\Image(f)\subset A.$3, $\Tr_A(M) = \sum_{f\in\Hom_A(M,A)}\Image(f)\subset A.$4, $\Tr_A(M) = \sum_{f\in\Hom_A(M,A)}\Image(f)\subset A.$5.
• Almost Reduced Non-Gorenstein: The $\Tr_A(M) = \sum_{f\in\Hom_A(M,A)}\Image(f)\subset A.$6 case with increased central coefficient shows $\Tr_A(M) = \sum_{f\in\Hom_A(M,A)}\Image(f)\subset A.$7 remains anti-nef, but $\Tr_A(M) = \sum_{f\in\Hom_A(M,A)}\Image(f)\subset A.$8.
• Quotient Example: Branch lengths $\Tr_A(M) = \sum_{f\in\Hom_A(M,A)}\Image(f)\subset A.$9 and divisor $\pi:X\to\Spec A$00 yield $\pi:X\to\Spec A$01.
• Non-Nearly Gorenstein: The rational quotient graph for $\pi:X\to\Spec A$02 with two $\pi:X\to\Spec A$03-curves meeting a $\pi:X\to\Spec A$04-curve fails the anti-nefness condition, hence $\pi:X\to\Spec A$05.
• Higher Dimensional Cyclic Quotients: $\pi:X\to\Spec A$06, $\pi:X\to\Spec A$07, $\pi:X\to\Spec A$08 satisfies $\pi:X\to\Spec A$09, so nearly Gorenstein iff $\pi:X\to\Spec A$10 (Caminata et al., 2020).

In all cases, the criteria permit a direct, combinatorial or monomial-verification approach to determining nearly Gorensteinness.

7. Broader Context and Connections

Nearly Gorenstein rational singularities generalize the class of Gorenstein singularities while preserving essential geometric features, notably rationality, Cohen–Macaulayness, and $\pi:X\to\Spec A$11-Gorenstein-ness. Nearly Gorensteinness ensures that the canonical trace ideal defines the same closed point as the maximal ideal, and these rings are always Gorenstein on the punctured spectrum. This underscores their role as a bridge between strictly Gorenstein cases and more generic rational singularities. Invariant-theoretic implications arise in quotient singularity settings, relating the group structure directly to canonical and trace-theoretic properties (Maeda et al., 25 Dec 2025, Caminata et al., 2020).