Positivity of Wahl defects and representations from index-one covers

Lifting vector fields. Every derivation of A preserves \mathfrak{m}_A and lifts uniquely to a logarithmic vector field on the minimal good resolution; see Bergner–Graf [BergnerGraf2020, §2, Fact 1 and Proposition 1]. We show that these vector fields lift through q.

On an intermediate resolution Y, write locally

where (g) is the fixed divisorial part and J is the residual ideal. A lifted derivation \delta preserves gJ, and logarithmicity gives \delta(g) \in (g). Hence

In characteristic zero, the radical of a derivation-invariant ideal is also invariant. At each residual base point y, we have \sqrt{J_y}=\mathfrak{m}_y, and therefore

Thus \delta induces a graded derivation of the Rees algebra and lifts to the blowup at y, logarithmically along the reduced total exceptional divisor. Induction proves that every derivation of A lifts through q. Conversely, a vector field on Y acts on H^0(Y,\mathcal{O}_Y)=A. Consequently,

The same argument applies to every intermediate resolution; in particular, all global logarithmic vector fields vanish at each subsequent blowup center.

Change under a point blowup. Use the analogous notation S_Y,L_Y,a_Y,\Delta_Y on each intermediate resolution. Consider a blowup b\colon Y' \to Y at a smooth point y of the reduced exceptional divisor D, and let F be its exceptional curve. By Flenner–Zaidenberg [FlennerZaidenberg1994, Lemma 1.5(3)],

where T_yD is viewed as a skyscraper sheaf. The evaluation map on global sections is zero by the preceding paragraph, so

Moreover,

Put

The evaluation sequence for L_Y gives

Since h^1(\mathcal{O}_{Y'})=h^1(\mathcal{O}_Y), it follows that

If the center is a node of D, then S_{Y'} \simeq b^*S_Y by Flenner–Zaidenberg [FlennerZaidenberg1994, Lemma 1.5(4)], and L_{Y'} \simeq b^*L_Y. Thus both \Delta_Y and a_Y remain unchanged. Applying these observations along q, and using a_X=0 from (?), yields

We show that both j_f and \mu_f decrease by the sum of the Milnor numbers at the critical points of f_t away from the origin. For j_f, we prove flatness of the relative Jacobian quotient; for \mu_f, we use conservation of the radial index.

Set T=\mathbb{C}\{t\}, R=A\{t\}, and

Here df_t denotes differentiation along V, and \mathscr{Q} is the relative Jacobian quotient. The modules \operatorname{Der}_{\mathbb{C}} A and \omega_A^\vee are reflexive over the normal local ring A, hence maximal Cohen–Macaulay. Their extensions to the normal three-dimensional algebra R therefore have depth three. Since

has finite length, the analytic finiteness theorem implies that \mathscr{Q} is finite over T.

The image of df_t\colon\mathscr{D} \to R is torsion-free, so the localized depth lemma shows that its kernel is reflexive. Outside the singular axis and \operatorname{Supp}\mathscr{Q}, contraction with df_t identifies this kernel with \omega_A^\vee\otimes_A R. Both excluded sets have codimension at least two. Reflexive extension therefore gives an exact sequence

Applying the depth lemma twice yields

The T-torsion submodule of \mathscr{Q}, if nonzero, would be finite-dimensional over \mathbb{C}, since \mathscr{Q} is finite over T. It would thus be a nonzero finite-length R-submodule, contrary to the positive depth of \mathscr{Q}. Hence \mathscr{Q} is finite free over T, of rank j_f.

Choose sufficiently small representatives on which the corresponding quotient sheaf is finite over the parameter disc. After shrinking the disc, its direct image is locally free of rank j_f. Let \Sigma_t be the set of critical points of f_t away from the origin in the chosen representative. For p \in \Sigma_t, the surface V is smooth at p, and the local quotient has length

where \mu(f_t,p) is the Milnor number of f_t-f_t(p) at p. Constancy of the total fiber length gives

By Ebeling–Gusein-Zade–Seade [EbelingGuseinZadeSeade2004, Remark 2.4 and Example 2.6], the radial index of df on the complex surface V equals 1-\chi(F_f)=\mu_f and satisfies conservation of number. At each p \in \Sigma_t, the radial index of df_t equals \mu(f_t,p). Consequently,

Subtracting the two identities proves

(i) Logarithmic vector fields preserve the ideal of every component of D, so differentiation gives df\colon S_Y \to \mathcal{O}_Y(-Z). We check surjectivity along D. At a smooth point of D outside H, write D=\{x=0\} and f=x^mu, where u is a unit. In the basis x\partial_x,\partial_y, the normalized map is

The first coefficient restricts to the unit mu on x=0. At a point of D\cap H, choose coordinates with f=x^my. Then

At a node, write D=\{xy=0\} and f=x^my^nu, where u is a unit. In the basis x\partial_x,y\partial_y, the map is

Both coefficients are nonzero at the node. Away from D, surjectivity follows because f has no critical point on V\setminus\{0\}, after shrinking the representative. The kernel is therefore invertible, and taking determinants gives

This proves (?).

(ii) Write f=g+h, where g is a general linear combination of fixed minimal generators of \mathfrak{m}_A and h \in \mathfrak{m}_A^2. Their pullbacks generate \mathcal{O}_{\widetilde{X}}(-M). Thus

where, near \widetilde{E}, the divisor H_g is smooth, reduced, transverse to \widetilde{E}, and disjoint from its nodes. Let s be a local equation of M. Since h \in \mathcal{O}_{\widetilde{X}}(-2M), we may write

All coefficients of M are positive, so

These restrictions have the same simple zeros on each exceptional component and do not vanish at a node. At each zero, the tangent derivative along that component is nonzero. Hence the divisor of f/s is smooth and transverse there. After shrinking the representative, we obtain \operatorname{div}_{\widetilde{X}}(f)=M+H with the required properties.

Normality gives H^0(\widetilde{X},\mathcal{O}_{\widetilde{X}})=A. Since M \ge \widetilde{E},

The first inclusion follows from the definition of M, proving the first identification.

Put \mathscr{K}_f=\ker(df\colon\operatorname{Der}_{\mathbb{C}} A \to A). As in the proof of Lemma 3.3, the depth lemma shows that \mathscr{K}_f is reflexive: \operatorname{Der}_{\mathbb{C}} A has depth two and its image J_f is torsion-free. On U=V\setminus\{0\}, contraction gives the isomorphism

Reflexive extension identifies \mathscr{K}_f with \omega_A^\vee. Taking sections in (?) and using Lemma 3.2, we obtain

The identifications agree with restriction away from \widetilde{E}.

Let g_i be the genus of D_i, and set

All intersections are transverse, and H avoids the nodes. Therefore

Choose disjoint small discs around the deleted points on each D_i. Over the resulting compact core of D_i^\circ, the local equation f=x^{z_i}u, with u a unit, identifies the nearby fiber with an unramified covering of degree z_i. Its Euler characteristic is thus z_i\chi(D_i^\circ).

At a node D_i\cap D_j, the local equation can be written, after absorbing a unit into a coordinate, as

Its intersection with a sufficiently small bidisc consists of \gcd(z_i,z_j) annuli. At a point of D_i\cap H, the corresponding equation is

which gives one annulus. The remaining boundary pieces are collars, and all these pieces have Euler characteristic zero. They are attached along boundary circles, whose Euler characteristic is also zero. Additivity therefore gives

Adjunction on each exceptional component gives

Moreover, Z+H is the divisor of a function, so

for every i. Multiplying by z_i and summing yields

Consequently,

We first prove that the quotient complex is exact. At a node, choose coordinates with

Write forms in the basis d\log x,d\log y. The quotient is represented by convergent Laurent series whose monomials x^iy^j satisfy

On the exterior algebra multiplying such a monomial, the differential is exterior multiplication by i d\log x+j d\log y. If i<0, contraction with x\partial_x, divided by i, is a homotopy between the identity and zero. For the remaining monomials, i \geq 0 and j<0, use contraction with y\partial_y, divided by j. In both cases,

The negative powers are bounded, and the divisors i,j used here are nonzero integers. The operations therefore preserve convergence after shrinking the coordinate polydisc.

At a smooth point of F, use the same homotopy in the normal coordinate. The tangential differential anticommutes with the contraction, so the identity remains valid. Away from F, the quotient is zero. This proves exactness of the quotient complex.

For completeness, the ordinary logarithmic complex computes Rj_*\mathbb{C}_U, where j\colon U \hookrightarrow Y. Locally at a point where k branches of F meet, the complement is a product of k punctured discs and 2-k discs. Its de Rham cohomology is the exterior algebra generated by the classes of d\log x_1,\ldots,d\log x_k. The logarithmic complex has the same local cohomology: nonconstant monomials are contracted as above, and the holomorphic Poincaré lemma applies in the remaining coordinates. This proves the local comparison, and hence the claimed hypercohomology identification. The inclusions commute with the G-action. Equivariance of the local homotopies is not needed for an equivariant quasi-isomorphism.

We compare the two rows of coherent cohomology with the cohomology of the link, whose contributions in degrees one and two cancel. The hypercohomology spectral sequence is

By (?), only the rows q=0,1 can be nonzero. Let

and put K=H^0(W^\bullet), M=H^1(W^\bullet), and N=H^2(W^\bullet). These three spaces are finite dimensional. The E_2-page has the following two rows:

The only potentially nonzero differential after E_1 is

In particular, N survives to E_\infty. It is the only term of total degree three, and therefore

The punctured surface retracts onto its connected, oriented link. Holomorphic automorphisms preserve the orientation. Hence

The filtrations on total cohomology in degrees one and two give the exact sequence

For example, the quotient of H^1(U,\mathbb{C}) by \mathcal{P} is \ker d_2, while the kernel of H^2(U,\mathbb{C}) \to M is \operatorname{coker} d_2. This also proves that \mathcal{P} and \mathcal{Q} are finite dimensional.

Poincaré duality on the link is equivariant and gives

The representation H^1(U,\mathbb{C}) is the complexification of a real representation. Averaging a positive definite real inner product over G and complexifying gives an equivariant isomorphism with its dual. Thus

Taking the alternating sum in (?) now yields

Together with (?), this gives

On the other hand, (?) identifies the three terms of W^\bullet with \mathbb{C}_\kappa tensored with

in that order. Their alternating sum is [\mathbb{C}_\kappa]\mathcal{D}_Y, proving (?).

A class in \mathcal{P} is represented by a closed holomorphic one-form \alpha on the punctured surface. By the extension theorem for closed one-forms, \alpha extends to a holomorphic one-form \widetilde{\alpha} on Y; see Jörder [JorderExtension, Proposition 1.2]. The extension is unique and remains closed, since its exterior derivative vanishes on the dense open set U. Restricting to the components of F therefore defines an element of \bigoplus_iH^0(F_i,\omega_{F_i}).

If \alpha=df for f \in B, the pullback of f is constant on F, and df restricts to zero on every F_i. Thus restriction is well defined on \mathcal{P}.

Suppose that the restriction of \widetilde{\alpha} to every component is zero. Every one-cycle on F is represented by a finite sum of piecewise smooth loops whose arcs lie on its components. The integral of \widetilde{\alpha} along each arc is zero. Thus all periods on F vanish, including periods corresponding to cycles in the dual graph. A sufficiently small resolution neighborhood retracts onto F, so all periods on Y vanish as well. Integrating \widetilde{\alpha} from a fixed point gives a single-valued holomorphic function f on Y with df=\widetilde{\alpha}. Since H^0(Y,\mathcal{O}_Y)=B, this function comes from B. The original class is therefore zero in \mathcal{P}.

Uniqueness of extension and naturality of restriction show that \iota is equivariant.

Fix a component F_i, and let \gamma be a smooth closed loop in F_i avoiding the nodes. The normal circle bundle of small radius over \gamma is a closed oriented torus T_{\gamma,\epsilon} \subset U. Orient it so that integration along the normal circle gives the usual factor 2\pi i. The residue integral formula gives

For each sufficiently small \epsilon, Stokes’ theorem on this closed torus gives

Thus every period of \operatorname{Res}_{F_i}(\beta) away from the nodes is zero.

The differential \operatorname{Res}_{F_i}(\beta) has at most simple poles at the nodes. Applying the preceding calculation to small loops around the nodes shows that the residues of all these poles vanish. The poles are therefore removable. We obtain a holomorphic differential on the compact smooth curve F_i with all periods zero. It has a single-valued holomorphic primitive, which is constant by compactness. Hence \operatorname{Res}_{F_i}(\beta)=0. This holds for every component, and proves the assertion.

Two logarithmic two-forms represent the same class in \mathcal{Q} precisely when their difference is d\alpha for a holomorphic one-form \alpha on U. Lemma 4.6 shows that they have the same residue. Thus residue is well defined on I_{\log}.

By (?), a logarithmic two-form has zero residue if and only if it is regular on Y. Hence the kernel of the induced map on I_{\log} is exactly I_{\mathrm{reg}}. Finally, (?) and the cohomology sequence of (?) show that

is surjective. The induced map from I_{\log} is therefore surjective. All maps commute with G, and all spaces are finite dimensional by Proposition 4.3 and compactness of F.

Lemma 4.5 defines the quotient W_F/\mathcal{P}. Proposition 4.7 gives

Subtracting [\mathcal{P}] and applying Proposition 4.3 proves (?).

An invariant derivation of B preserves A. Conversely, a derivation of A lifts uniquely over the finite étale map of punctured surfaces. For each b \in B, its derivative under this lifted vector field is holomorphic on the punctured normal surface and extends across the singular point by Hartogs’ theorem. These extensions define a derivation of B, since the Leibniz identity holds on the punctured surface and hence everywhere. Uniqueness of the lift makes it invariant. The two constructions are inverse to one another.

Choose an effective invariant exceptional cycle C with C\cdot F_i<0 for every component, and such that every coefficient of C is divisible by n. Such a cycle is obtained from a strictly anti-nef integral cycle by summing its translates and multiplying by n. The invertible sheaf \mathcal{O}_Y(-C) is relatively ample over the contraction.

The stabilizer of every point acts trivially on the fiber of \mathcal{O}_Y(-C): this sheaf is the n-th power of an invariant divisorial sheaf, and stabilizer characters have orders dividing n. It therefore descends to an invertible sheaf on Y/G. A sufficiently high power is relatively generated and separates first jets along the quotient exceptional curves. Pulling back a general section gives an invariant function f \in \mathfrak{m}_A with exceptional part M, a positive multiple of C. To see transversality, choose the section to have simple zeros on the quotient curves away from points with larger stabilizers. The generic pointwise stabilizer fixes the tangential coordinate, so these simple tangential zeros remain simple after pullback. A general section also avoids the finitely many excluded points.

After shrinking, the function has no critical point away from the singular point on either surface. This can also be checked from the local expressions in Lemma 3.4 and the fact that the quotient map is étale away from the singular point. The curve sections are generically reduced Cartier sections of Cohen–Macaulay surfaces, so they are reduced. Their Milnor fibers are connected: in the Milnor fibration of the link complement, a meridian around a reduced branch maps with degree one to the circle. The induced homomorphism to \mathbb{Z} is therefore surjective, and the fiber has one connected component.

The local calculation in Lemma 3.4 gives the exact sequence after shrinking. Taking determinants identifies the kernel with \det S\otimes\mathcal{O}_Y(M)=L(M). This identification and the map df are equivariant because f is invariant.

The cohomology sequence of \mathcal{O}_Y(-M) \subset \mathcal{O}_Y gives

The image of H^0(Y,S) \to H^0(Y,\mathcal{O}_Y(-M)) is the critical ideal J=df(\operatorname{Der}_\mathbb{C} B), by (?). Thus (?) gives

Finally, (?) and (?) give

The sequence of L \subset L(M) therefore implies

Combining these three identities proves (?).

Since M is n times an invariant integral divisor, \mathcal{O}_Y(M) has trivial stabilizer action on every fiber. We use eigenvalues for the induced action on local functions and their differentials. In particular, the conormal eigenvalue along C=(x=0) is the eigenvalue on the class of x in \mathcal{O}_Y(-C)|_C.

Case 1: g preserves C=F_i and acts nontrivially on it. Put m=m_i. The filtration of \mathcal{O}_{mC} by powers of the ideal of C has quotients \mathcal{O}_C(-kC), 0 \leq k<m. At a fixed point p of g|_C, let \mu \neq 1 be the eigenvalue on the cotangent line of C, \lambda the conormal eigenvalue, and \tau the character on the fiber of L(M). The holomorphic Lefschetz formula on C [AtiyahBott1967] gives the difference of local contributions

At a smooth point of F, one has \lambda \neq 1. Otherwise finite-order linearization would give a fixed transverse curve, contrary to freeness on Y\setminus F. Since the order of \lambda divides n and n \mid m, the sum is zero. At a node, both branches are preserved. The logarithmic vector fields x\partial_x,y\partial_y have trivial action on their fibers, so \tau=1. Thus all local contributions vanish. If g|_C has no fixed point, the Lefschetz formula gives zero directly.

Case 2: g fixes C=F_i pointwise. Its conormal character \lambda is constant and nontrivial. The action on the fiber of the logarithmic determinant, and hence of L(M), is trivial at a general point and therefore on all of C. On the k-th quotient, Riemann–Roch gives

The conormal degrees cancel in this difference. Summing over 0 \leq k<m_i gives zero because n \mid m_i. This proves the first assertion.

Case 3: g fixes a node and preserves both branches. The fiber character of the logarithmic determinant is one, as in Case 1, so the same holds for L(M). Averaging a local frame of L(M) over the cyclic group generated by g gives an invariant frame. Thus N_p and L(M)\otimes N_p are isomorphic as representations, and their traces agree.

Case 4: g fixes a node and exchanges the branches. Invariance of M gives m_i=m_j=m. On the cotangent space, write

The associated graded of \mathcal{O}_{Y,p}/(x^m,y^m) has basis x^ay^b, 0 \leq a,b<m. Only the terms with a=b contribute to the trace of the action induced by local functions, which is

Here \alpha\beta \neq 1, since otherwise linearization would give a fixed curve transverse to both branches. The order of \alpha\beta divides n, and n \mid m, so this sum is zero. The additional sign in the action on N_p does not change the vanishing. On the logarithmic tangent fiber the two basis vectors are exchanged, so the fiber character of L(M) is -1. A local eigenvector frame of L(M) identifies its tensor action with this scalar times the action on N_p. Its trace is therefore also zero. This proves the second assertion.

The normalization sequence of the nonreduced cycle is

The last map is the difference of the branch restrictions. Consequently, an interchange of branches contributes the minus sign used in Lemma 4.14. Tensor this sequence by L(M) and subtract equivariant Euler characteristics. Summands permuted without being fixed by g have zero trace. For the fixed summands, the two assertions of Lemma 4.14 give zero difference. Hence \operatorname{tr}(g \mid \mathcal{T}_M)=0.

By Lemma 4.10 and exactness of invariants,

The quotient F_f/G is the Milnor fiber of f on A, and the finite covering gives

Taking trivial multiplicities in (?) therefore yields

Formula (?) identifies this with \Delta(A).

Away from F, the assertion is the holomorphic Poincaré lemma. At a smooth point of F=(x=0), write coefficients in powers x^a with a \geq t>0, using d\log x as the normal differential. On each such term, contraction with x\partial_x, divided by a, is a contracting homotopy. The tangential differential anticommutes with this contraction. At a node, the coefficients are sums of x^ay^b with a,b>0, and the same contraction applies. Division by positive integers preserves convergence on smaller polydiscs. Thus the complex has zero stalk cohomology along F. The natural map from j_!\mathbb{C}_{Y\setminus F} is consequently a quasi-isomorphism. The construction is equivariant whenever the divisor and the group action are equivariant.

The rational double point case. Suppose that B is a rational double point. The resolution is crepant, so Z=0 and D=-F. The complex corresponding to (?) is now

By Lemma 4.17, it computes j_!\mathbb{C}_U. A sufficiently small resolution neighborhood retracts onto F. The exact sequence 0 \to j_!\mathbb{C}_U \to \mathbb{C}_Y \to \mathbb{C}_F \to 0 therefore gives

Write B=\mathbb{C}\{x,y\}^H with H \subset \operatorname{SL}_2(\mathbb{C}) finite. Reflexive forms on B identify with H-invariant regular forms on \mathbb{C}^2: pull back over the punctured surface and extend the coefficients across the origin. The radial homotopy for the holomorphic de Rham complex commutes with H. It proves \mathcal{P}=\mathcal{Q}=0.

The global-section complex of \mathscr{C}_{-F}^\bullet is

For its first term, a function vanishes along F precisely when its value at the singular point is zero. The middle term follows from lifting of derivations and contraction with the nowhere vanishing canonical form; the last term follows from crepancy. The radial homotopy just described contracts (?), since constants have been removed from degree zero.

Only the rows q=0,1 occur in the coherent hypercohomology spectral sequence. The first has zero cohomology, and total hypercohomology is zero. Thus the second row is acyclic. Its alternating class is [\mathbb{C}_\kappa]\mathcal{D}_Y, by the contraction identifications (?), which remain valid for D=-F. Hence \mathcal{D}_Y=0.

The smooth case. Suppose that B=\mathbb{C}\{x,y\} and Y is the blowup of the origin. The pullback of dx\wedge dy has divisor F. Thus Z=-F, D=-2F, and the relevant complex is \Omega_Y^\bullet(\log F)(-2F). Its hypercohomology again vanishes by Lemma 4.17 and the retraction onto F. Its global-section complex is

Indeed, H^0(\mathcal{O}_Y(-2F))=\mathfrak{m}_B^2. Logarithmic vector fields descend to the vector fields vanishing at the origin, and all such vector fields lift to the blowup. Contraction with dx\wedge dy gives the middle term. Finally, \omega_Y(-F) is the pullback of \omega_B.

On a homogeneous form of total radial weight w>0, contraction with x\partial_x+y\partial_y, divided by w, gives the usual homotopy. On (?), it sends one-forms with coefficients in \mathfrak{m}_B to functions in \mathfrak{m}_B^2, and two-forms to one-forms with coefficients in \mathfrak{m}_B. The complex is therefore acyclic. The same spectral sequence argument gives \mathcal{D}_Y=0. The ordinary Poincaré lemma gives \mathcal{P}=\mathcal{Q}=0.

The degree-n invariant linear system on \mathbb{P}^1 has no base point. At a prescribed point [v], choose a linear form \ell that does not vanish at any point in its finite orbit. Then the invariant product \prod_{g \in \Gamma}g\ell does not vanish at [v]. The resulting base point free system defines a nonconstant morphism from \mathbb{P}^1, because its line bundle has positive degree. In characteristic zero this morphism is generically unramified onto its image. A general hyperplane avoids the finitely many exceptional values and meets the image transversely. Its pullback has distinct zeros. The corresponding invariant homogeneous polynomial is reduced.

The Jacobian representation. Since f is reduced and homogeneous in two variables, its gradient vanishes only at the origin. For if a nonzero point were critical, Euler’s identity would put it on f=0, whose distinct lines meet only at the origin and are smooth elsewhere. Thus f_x,f_y form a regular sequence. The graded algebra J_f has dimension (n-1)^2, which is also the Milnor number of f; see [Milnor] for the Milnor fiber and Jacobian algebra comparison.

The two partial derivatives span a copy of V^*: the map V^* \to \mathbb{C}[x,y]_{n-1} sending a constant vector field to its derivative of f is equivariant and injective. The equivariant Koszul resolution therefore gives

If g \ne 1, neither eigenvalue of g on V is 1, since a nonzero fixed vector would contradict freeness away from the origin. Putting t=1 in (?) gives

At the identity, \dim J_f=(n-1)^2=1+n(n-2). These are exactly the characters of the first representation in (?). Equality of characters implies an isomorphism because finite-group representations over \mathbb{C} are semisimple.

The Milnor fiber representation. By Milnor [Milnor], the Milnor fiber is connected and has the homotopy type of a bouquet of (n-1)^2 circles. The group \Gamma acts freely on it, since the origin does not belong to a nonzero fiber. Lift a finite cell decomposition of F_f/\Gamma to F_f. Each chain group is a sum of regular representations, and hence

The Euler characteristic of the quotient is

This proves the second isomorphism and then (?).

For a finite quotient that is unramified away from the origin, the canonical character is the determinant character. In particular, A is Gorenstein if and only if \chi=1. One direction follows by descending dx\wedge dy. For the other, a generator of a trivial canonical module pulls back on the punctured plane to u dx\wedge dy, where u and u^{-1} extend holomorphically across the origin by Hartogs’ theorem. Evaluating invariance at the origin gives \chi=1. Here A is non-Gorenstein, so \chi \ne 1.

The derivation descent argument of Lemma 4.10 applies also to the smooth algebra R_0 and gives

As f is invariant, df is equivariant. Exactness of invariants gives

The Milnor fiber on A is F_f/\Gamma; transfer identifies its cohomology with the invariant cohomology of F_f. The descended curve f=0 is reduced, since A/(f)=(R_0/(f))^\Gamma is reduced. Thus it satisfies the hypotheses of the function-index formula.

Taking invariants in (?) gives

The singularity A is non-Gorenstein, so it is not a rational double point, and (?) applies. Therefore

Equivalently, (?) identifies this integer with \dim(\mathbb{C}_{\chi^{-1}})^\Gamma, which vanishes.

Suppose first that B is singular and not a rational double point. On its minimal good resolution, the canonical generator has a pole along every exceptional component. A regular two-form a\eta cannot have a a unit, since its pullback would then have the same poles. Consequently R_B \subset \mathfrak{m}_B\omega_B, and

This proves T_B \simeq \mathbb{C}. Equation (?) gives

If G is trivial, the definition of the defect gives \Delta(A)=\dim\mathcal{D}_Y=1+\dim\mathcal{H}_{\mathfrak{m}}. If G is nontrivial, Proposition 4.16 gives \Delta(A)=\operatorname{mult}_{\mathbf{1}}(\mathcal{D}_Y). Taking character multiplicities proves (5.2) and (5.2).

If B is smooth or a rational double point, then R_B=\omega_B, so T_B=0. Proposition 4.18 gives \mathcal{P}=\mathcal{Q}=0 and hence \mathcal{H}_{\mathfrak{m}}=0. If G is trivial and A is singular, then A=B is a rational double point, and the same proposition gives \Delta(A)=0. If G is nontrivial, Section ? gives \Delta(A)=0 from the determinant character calculation and the function-index formula. Thus (5.2) holds in these cases as well.

All summands in (?) are finite-dimensional G-representations. Independence follows from the invariance of R_B and the principalization comparison in Section ?.

Put A:=\mathcal{O}_{V,0} and B:=\mathcal{O}_{\widetilde{V},0}. Choose a finitely generated positively graded normal \mathbb{C}-algebra R_0, with (R_0)_0=\mathbb{C}, such that

The freeness of \omega_A^{[r]}, faithful flatness of the local map from R_0 to A, and graded Nakayama’s lemma give a homogeneous generator \theta of \omega_{R_0}^{[r]}. Put d:=\deg\theta.

Define the canonical cover

with multiplication determined by \theta\mapsto 1. For a homogeneous element s\in(\omega_{R_0}^{[i]})_n, put

By Singh [Singh2003, Proposition 4.2], these weights are nonnegative and the weight-zero part of S is \mathbb{C}. For t\in\mathbb{C}^* and g\in G=\mu_r, the formulas

define commuting actions on S. The induced action on R_0 multiplies an element of degree n by t^{rn}, so it is the original action composed with t\mapsto t^r.

The algebraic action on \operatorname{Spec} S defines a holomorphic action on (\operatorname{Spec} S)^{\mathrm{an}}. Its local ring at the vertex is

with multiplication determined by the image of \theta. The generator used to define B has the form u\theta, where u\in A^\times. Choose v\in A^\times with v^r=u. Multiplication by v^i on the ith summand gives a G-equivariant A-algebra isomorphism from this local ring to B. Through this isomorphism, the good \mathbb{C}^*-action induces the required action on (\widetilde{V},0).

Let \rho_\theta denote pullback by e^{i\theta}. Choose an S^1\times G-invariant analytic representative. After shrinking, the pullbacks are defined for \theta in a complex neighborhood of [0,2\pi]. Define

These integrals define analytic sections by Jörder [JorderPoincare2014, Proposition 4.10]. They preserve holomorphicity on U, so the resulting differential forms are reflexive. The resulting functions extend across 0 by normality. Both operators commute with d; see Jörder [JorderPoincare2014, Remark 4.18]. The operator \Pi_0 is the projection onto V_0^\bullet, since S^1-invariance is equivalent to weight zero for the \mathbb{C}^*-action.

The identity \partial_\theta\rho_\theta=i\mathcal{L}_\xi\rho_\theta holds. The periodic averaging formula of Avendaño Camacho and Vorobiev [AvendanoCamachoVorobiev2011, Proposition 2.1] therefore gives

Put h:=\iota_\xi T. Since T commutes with d, Cartan’s formula gives

The action of G commutes with the \mathbb{C}^*-action. Hence \rho_\theta, \Pi_0, T, and \iota_\xi commute with G. Since \Pi_0 restricts to the identity on V_0^\bullet, equation (?) shows that \Pi_0\colon V^\bullet\to V_0^\bullet is a G-equivariant homotopy inverse of the inclusion.

The function \iota_\xi\alpha has weight zero, so it is constant because B_0=\mathbb{C}. Since \mathcal{L}_\xi\alpha=0, Cartan’s formula gives

Choose an embedding of the positively graded algebraic model using homogeneous generators x_j of positive weights w_j. Away from the origin, some x_j is nonzero, and the corresponding component w_jx_j of \xi is nonzero. Thus \xi is nowhere zero on U. Since U is a smooth surface, contraction by \xi is injective on two-forms. Hence d\alpha=0.

Suppose first that (\widetilde{V},0) is singular. Using the positively graded algebraic model, choose a \mathbb{C}^*-equivariant resolution p\colon(Y,F)\to(\widetilde{V},0) with an algebraic action on F. By van Straten–Steenbrink [VanStratenSteenbrink1985, Corollary (1.4)], the closed one-form \alpha extends to a holomorphic one-form \widetilde{\alpha} on a neighborhood of F; see also Jörder [JorderExtension, Proposition 1.2].

The proper algebraic fiber F has a \mathbb{C}^*-fixed point y. Indeed, properness extends the algebraic orbit map t\mapsto t\cdot z, for any z\in F, to t=0, and its limit is fixed. Let \widetilde{\xi} denote the lifted Euler vector field. Then \widetilde{\xi}(y)=0. The identity

holds on Y\setminus F and hence on a neighborhood of F. Evaluating at y shows that the constant \iota_\xi\alpha is zero.

If \widetilde{V} is smooth at 0, then \alpha is holomorphic at 0. Evaluating there gives the same conclusion, since \xi(0)=0.

Since \xi is nowhere zero on the smooth surface U, contraction induces a sheaf isomorphism

Indeed, in local coordinates with \xi=\partial/\partial z_1, contraction sends dz_1\wedge dz_2 to dz_2. Its inverse preserves the weights and commutes with G, since it is unique and \xi is invariant under both actions. Lemma 5.5 therefore gives a G-equivariant isomorphism

Both differentials in V_0^\bullet vanish: functions of weight zero are constant, and one-forms of weight zero are closed by Lemma 5.5. By Lemma 5.4, the projection \Pi_0 therefore induces canonical G-equivariant isomorphisms

Combining these isomorphisms with contraction gives (?). In particular, for every \alpha\in\Omega_B^{[1]},

so the displayed map is independent of the two-form representative.

If \widetilde{V} is smooth at 0 or (\widetilde{V},0) is a rational double point, Proposition 4.18 gives \mathcal{P}=\mathcal{Q}=0. The definition (?) therefore gives \mathcal{H}_{\mathfrak{m}}=0.

Suppose now that \widetilde{V} is singular at 0 and (\widetilde{V},0) is not a rational double point. Proposition 5.6, applied with the trivial group, gives \dim\mathcal{Q}=\dim\mathcal{P}. This numerical equality also follows from Du–Yau [DuYau2010, Proposition 3.3] and Wahl [Wahl1985, Corollary 1.11]. Taking dimensions in (?) gives

Hence \mathcal{H}_{\mathfrak{m}}=0.

Each summand in the direct sum defining \mathcal{R}_{\mathrm{res}} in Theorem 4.8 must also vanish. Thus

The restriction map of Lemma 4.5 is therefore an isomorphism. Since I_{\mathrm{reg}}=0 and I_{\log}=\mathcal{Q}, the residue exact sequence (?) gives the second isomorphism in (?). Both maps are G-equivariant by their construction.

Let q\colon(\widetilde{V},0)\to(V,0) be the canonical cover, with covering group G, and put A:=\mathcal{O}_{V,0} and B:=\mathcal{O}_{\widetilde{V},0}. By Lemma 5.3, (\widetilde{V},0) admits a good \mathbb{C}^*-action commuting with G. Corollary 5.7 gives \mathcal{H}_{\mathfrak{m}}=0.

Suppose first that (V,0) is Gorenstein and is not a rational double point. The canonical cover is trivial, so B=A and \kappa=1. Equation (5.2) therefore gives

Suppose next that (V,0) is non-Gorenstein. Then \kappa\ne 1. If \widetilde{V} is singular at 0 and (\widetilde{V},0) is not a rational double point, equation (5.2) gives

If the canonical cover is smooth or a rational double point, equation (?) and the function-index formula (?) give

since \kappa is nontrivial.

Finally, if (V,0) is a rational double point, its canonical cover is trivial, and Proposition 4.18 gives \Delta(A)=0.

Every derivation of B preserves \mathfrak{m}_B, since its local flow preserves the isolated singular point. Suppose that \delta induces a nilpotent endomorphism of \mathfrak{m}_B/\mathfrak{m}_B^2. Put a:=\operatorname{div}_\eta\delta. We show that a(0)=0.

Define

This ideal is nonzero and is the unit ideal away from the singular point. Hence it is either B or \mathfrak{m}_B-primary. Lie differentiation preserves the image of Kähler two-forms, and

Since aJ_{\mathrm{can}}\subseteq J_{\mathrm{can}}, it follows that \delta(J_{\mathrm{can}})\subseteq J_{\mathrm{can}}.

The action of \delta on coefficients and Lie differentiation of forms induce endomorphisms T_1 and T_2 of J_{\mathrm{can}}/\mathfrak{m}_BJ_{\mathrm{can}}, respectively. For the latter, we use multiplication by \eta to identify the quotient with (J_{\mathrm{can}}\eta)/\mathfrak{m}_B(J_{\mathrm{can}}\eta). Thus

The induced derivation on each \mathfrak{m}_B^j/\mathfrak{m}_B^{j+1} is nilpotent, since this space is an equivariant quotient of \operatorname{Sym}_{\mathbb{C}}^j(\mathfrak{m}_B/\mathfrak{m}_B^2) with its derivation action. The finite filtration by powers of \mathfrak{m}_B therefore shows that \delta acts nilpotently on B/\mathfrak{m}_B^N for every N. Choose N such that \mathfrak{m}_B^N\subseteq\mathfrak{m}_BJ_{\mathrm{can}}. The endomorphism T_1 is induced on a \delta-stable subquotient of B/\mathfrak{m}_B^N, so it is nilpotent.

The natural surjection

commutes with Lie differentiation. Under the identification

the Lie derivative is the derivation action induced by the nilpotent endomorphism on the cotangent space. It is therefore nilpotent, and so is its quotient T_2.

Nakayama’s lemma gives J_{\mathrm{can}}/\mathfrak{m}_BJ_{\mathrm{can}}\ne 0. Taking traces yields

Hence a(0)=0.

Consequently, if \operatorname{div}_\eta\delta is a unit, then the induced endomorphism of \mathfrak{m}_B/\mathfrak{m}_B^2 is nonnilpotent. The analytic criterion of Scheja–Wiebe [SchejaWiebe1980, Satz (3.1)] now gives quasi-homogeneity; see also Wahl [Wahl1985, §3.16].

The singularity (\widetilde{V},0) is not a rational double point. Let p\colon(Y,F)\to(\widetilde{V},0) be its minimal good resolution. Put Z:=-\operatorname{div}_Y(p^*\eta) and D:=Z-F. By Wahl [Wahl1985, Lemma 3.6], Z\geq F, so D\geq 0.

The case D\ne 0. Recall that \mathcal{Q}=\omega_B/d\Omega_B^{[1]} and that I_{\log} is the image of (p_*\omega_Y(F))_0 in \mathcal{Q}. Contraction with \eta gives a G-equivariant isomorphism

Moreover,

Thus there is an isomorphism of G-representations

Here the denominator is a complex subspace of B. Since g\cdot\eta=\kappa(g)\eta, Lie differentiation gives

Hence the denominator is G-stable.

Proposition 5.9 gives \operatorname{div}_\eta(\operatorname{Der}_{\mathbb{C}}(B))\subseteq\mathfrak{m}_B. Since D is nonzero and effective, a unit cannot vanish along D, so (p_*\mathcal{O}_Y(-D))_0\subseteq\mathfrak{m}_B as well. Evaluation at the origin therefore induces a G-equivariant surjection

Since complex representations of finite groups are semisimple and \mathcal{Q}/I_{\log} is a summand of \mathcal{R}_{\mathrm{res}}, we obtain

The case D=0. Then Z=F, so p^*\eta is a nowhere vanishing section of \omega_Y(F) with character \kappa. Adjunction gives

Since F is connected, proper, and reduced, H^0(F,\mathcal{O}_F)=\mathbb{C}. Consequently,

Let n_i denote the number of intersections of F_i with the other components, counted with multiplicity. Restricting \omega_Y(F) to F_i gives

Connectedness therefore implies that F is either a single smooth elliptic curve or a cycle of smooth rational curves. In the first case, (\widetilde{V},0) is simple elliptic and hence quasi-homogeneous; see Wahl [Wahl1985, §3.8]. This contradicts the hypothesis.

In the rational-cycle case, every H^0(F_i,\omega_{F_i}) is zero. The injection of Lemma 4.5 therefore gives \mathcal{P}=0. Thus the summand W_F/\mathcal{P} of \mathcal{R}_{\mathrm{res}} is isomorphic to \mathbb{C}_\kappa, proving the assertion.

The singularity (\widetilde{V},0) is not a cyclic quotient singularity, since a Gorenstein cyclic quotient singularity is a rational double point. By Müller [Mueller, §2, Theorem 1], after conjugating H by an analytic automorphism, we may assume that H is contained in a maximal reductive algebraic subgroup of \operatorname{Aut}(\widetilde{V},0). By Müller [Mueller, §2, Theorem 2 and Remark (iii)], the identity component of this subgroup is the central \mathbb{C}^* defining a good action. Hence this action commutes with H.

Put B:=\mathcal{O}_{\widetilde{V},0} and A:=\mathcal{O}_{V,0}=B^H. As in the proof of Müller’s Theorem 2, choose homogeneous coordinates in which the maximal reductive group acts linearly and the defining equations are weighted homogeneous. Let R be the resulting positively graded coordinate ring, with R_0=\mathbb{C}. The action of H preserves each graded piece, so

This invariant algebra is finitely generated, has degree-zero part \mathbb{C}, and has only positive degrees otherwise. The finite quotient gives

Thus the positive grading defines a good \mathbb{C}^*-action on (V,0).

Put A:=\mathcal{O}_{V,0}. Suppose first that (V,0) is Gorenstein. Since it is not quasi-homogeneous, it is not a rational double point. Its canonical cover is trivial, so B=A, G=\{1\}, and \kappa=1. Equations (5.2) and (?), together with Proposition 5.10, give

Suppose now that (V,0) is non-Gorenstein and \mathbb{Q}-Gorenstein. Let q\colon(\widetilde{V},0) \to (V,0) be its canonical cover, with covering group G and canonical character \kappa, and put B:=\mathcal{O}_{\widetilde{V},0}. Then \kappa\neq 1. If \widetilde{V} is smooth at the origin or (\widetilde{V},0) is a rational double point, the quotient presentation (?) shows that scalar multiplication on \mathbb{C}^2 induces a good \mathbb{C}^*-action on (V,0). This contradicts the hypothesis. Thus (\widetilde{V},0) is singular and is not a rational double point. If it were quasi-homogeneous, Lemma 5.11 would imply that (V,0) is quasi-homogeneous. Hence (\widetilde{V},0) is not quasi-homogeneous.

Since \kappa\neq 1, equations (5.2) and (?), together with Proposition 5.10, give

Since \pi is a strong \mathbb{Q}-Gorenstein smoothing, the central singularity (V,0) is \mathbb{Q}-Gorenstein. It is non-Gorenstein by assumption, so Theorem 5.1 gives \Delta(V,0) \ge 0, with equality if and only if (V,0) is quasi-homogeneous. Since \alpha_\pi=0 by Wahl [Wahl2015, Lemma 5.1], Equation (?) reads \Delta(V,0)=1+\mu_\pi-\tau_\pi. Both assertions now follow from Theorem 5.1.

A rational Gorenstein surface singularity is a rational double point, by Artin [Artin1966, pp. 134–136]. Thus the hypotheses imply that (V,0) is non-Gorenstein. It is \mathbb{Q}-Gorenstein, as recalled in Section ?, so Theorem 5.1, together with h^1(X,\mathcal{O}_X)=0, proves the inequality and its equality criterion.

Choose an effective exceptional cycle H such that \mathcal{O}_X(-H) is relatively ample. By relative Serre vanishing, a sufficiently large multiple D of H satisfies

Together with the coherent H^2-vanishing in (?), the restriction sequences give isomorphisms

The same vanishing makes H^1(X,\mathcal{O}_X) \to H^1(D,\mathcal{O}_D) surjective, so h^1(D,\mathcal{O}_D)\le p_g.

Put \mathcal{G}:=\omega_D\otimes(F|_D)^\vee, and let \mathcal{A}\subseteq\mathcal{G} be the image of the evaluation map

Then H^0(D,\mathcal{A})=H^0(D,\mathcal{G}). Since \mathcal{O}_D(-H) is ample, D is projective, and GAGA allows us to work with algebraic coherent sheaves on D. At the generic point of a component of multiplicity m, the local ring of D is a discrete valuation ring modulo the mth power of a uniformizer. A submodule of a free module of rank s over this principal Artinian local ring is generated by at most s elements. Thus s general linear combinations of the global sections generate \mathcal{A} at that generic point. The failure of generation is a proper algebraic condition on their complex coefficients. Since there are only finitely many components, the sections can be chosen to generate at all generic points simultaneously.

We obtain a map \mathcal{O}_D^{\oplus s} \to \mathcal{A} with finite-length cokernel. Since coherent sheaves on D have vanishing second cohomology, the cohomology sequences for its kernel and image give

Tensoring a coherent sheaf on D by N^{-1}|_D preserves its Euler characteristic. Indeed, a filtration by sheaves on the reduced components and finite-length sheaves reduces this assertion to Riemann–Roch on each smooth component, where the change is the rank times \deg(N^{-1}|_C)=0; see the Stacks Project [Stacks, Tag 0AYV]. Since \mathcal{A}\otimes N^{-1}|_D is a subsheaf of \mathcal{G}\otimes N^{-1}|_D, it follows that

The cycle D is a Cartier divisor in the smooth surface X, hence a Gorenstein curve. Serre duality and the restriction isomorphisms identify the left side with h^1(F)-h^1(F\otimes N). Applying the same argument to F\otimes N and N^{-1} proves the opposite inequality.

If p_g=0, Lemma 7.2, applied to \mathcal{O}_X and N, gives h^1(N)=0. Suppose that p_g>0, and put n:=h^1(N). There is nothing to prove if n=0. Assume that n>0. As in the restriction argument of Lemma 7.2, choose an effective exceptional cycle D with h^1(D,N|_D)=n, having minimal sum of coefficients among all such cycles. In particular, D\neq 0.

Put \mathcal{G}:=\omega_D\otimes N^{-1}|_D. We adapt the minimality argument in Konno [Konno2008, Lemma 3.1(2)] to this twisted dualizing sheaf. For every reduced irreducible component C\le D, adjunction gives

The first term is understood to be zero when D-C=0. If the induced restriction map on global sections were zero, this sequence and Serre duality would give

contrary to the minimality of D.

The kernels of these restriction maps are therefore proper linear subspaces of H^0(D,\mathcal{G}). Choose a section outside their finite union. Its restriction to each reduced component is nonzero, so its coefficient in a local trivialization is a unit at every generic point of D. Since D is a Cartier divisor in the smooth surface X, it is Cohen–Macaulay and has no embedded associated points. The section is consequently a nonzerodivisor and gives an exact sequence

where \mathcal{T} has finite length. Hence

Numerical triviality preserves the Euler characteristic under tensoring by N^{-1}|_D, as in the preceding proof. Thus Serre duality gives

It follows that

Here h^1(D,\mathcal{O}_D)\le p_g follows from the restriction sequence and (?), while h^0(D,\mathcal{O}_D)\ge 1 because D\neq 0.

Exterior differentiation preserves the indicated pole orders in a logarithmic basis, so C_D^\bullet is a complex of sheaves of complex vector spaces. Choose a G-invariant effective exceptional cycle Z\ge F such that -Z\le D. By Lemma 4.17, C_{-Z}^\bullet resolves j_!\mathbb{C}_{Y\setminus F}, where j\colon Y\setminus F\hookrightarrow Y. On a sufficiently small resolution neighborhood, Y retracts onto F. Thus the exact sequence

gives \mathbb{H}^k(Y,C_{-Z}^\bullet)=0 for every k.

Put

The quotient complex C_D^\bullet/C_{-Z}^\bullet has terms \mathcal{T}\otimes\bigwedge^i\Omega_Y^1(\log F), all supported on the proper exceptional curve. For a G-equivariant coherent sheaf \mathcal{M} with such support, write

We show that

Let G_i be the stabilizer of a component F_i, and let P_i be the reduced divisor of its intersections with the other components. The residue sequence

is G_i-equivariant, with the natural linearization on the quotient. Taking determinants gives

equivariantly. Tensoring the residue sequence by any G_i-equivariant coherent sheaf on F_i therefore makes the alternating cohomology classes of the three exterior powers cancel. Induction from G_i to G gives the same cancellation on the orbit of F_i.

The corresponding cancellation also holds for sheaves of finite length. At a smooth point of F, the residue map gives a trivial quotient of the logarithmic cotangent fiber. At a node with local equation xy=0, the point stabilizer permutes the classes of d\log x and d\log y in that fiber. Indeed, changes of the local equations by units contribute regular differentials, whose classes in the logarithmic cotangent fiber are zero. The sum of the two classes is therefore invariant. In both cases the fiber contains a trivial summand, so its alternating exterior-power class is zero. A filtration by powers of the maximal ideal gives the same cancellation for every equivariant sheaf of finite length.

A power of the ideal of F annihilates \mathcal{T}. The resulting equivariant filtration reduces the calculation to coherent sheaves on the reduced curve F. The normalization map is equivariant, and its comparison with a coherent sheaf has kernel and cokernel of finite length supported at the nodes. The component and point calculations above therefore prove the asserted cancellation. Comparing the quotient complex with the acyclic complex C_{-Z}^\bullet, we obtain finite-dimensional hypercohomology groups and

By (?), the hypercohomology spectral sequence

has only the rows q=0,1. The second row consists of finite-dimensional spaces, and E_2^{p,0}=B^p. The only possible higher differential is d_2\colon E_2^{0,1}\to E_2^{2,0}, whose source is finite dimensional. Since the abutment is finite dimensional, every B^p is finite dimensional as well. Comparing Euler characteristics gives

which proves (?).

Finally, a meromorphic function with zero differential is constant. A nonzero constant is a section of \mathcal{O}_Y(D) exactly when D\ge 0, and G acts trivially on constants.

If (V,0) is a rational double point, its minimal good resolution is crepant, so Z_K=0. Suppose that (V,0) is not a rational double point. Let p\colon Y\to Y_0 be the morphism to the minimal resolution, and let F_0 be its reduced exceptional divisor. By the projection formula, Z_{K,0}:=p_*Z_K is the numerical anticanonical cycle on Y_0, and it is integral. Popescu-Pampu–Seade [PopescuPampuSeade2009, Proposition 2.4] gives

Make the reduced exceptional divisor simple normal crossings by successively blowing up points where this condition fails. Consider one such blowup b\colon T'\to T, with center x and new exceptional curve C_{\mathrm{new}}. Suppose that the numerical anticanonical cycle before the blowup is Z=\sum_i z_iC_i, with every z_i\ge 1. Since K_{T'}=b^*K_T+C_{\mathrm{new}}, the new numerical anticanonical cycle is

Its coefficient along C_{\mathrm{new}} is

The last inequality holds because the reduced exceptional divisor is not simple normal crossings at x, so its multiplicity there is at least two. The coefficients on the strict transforms remain unchanged. Thus the numerical anticanonical cycle remains at least the reduced exceptional divisor throughout this process.

The resulting good resolution dominates Y. By the projection formula, its numerical anticanonical cycle pushes forward to Z_K, with unchanged coefficients on the components that remain. Hence Z_K\ge F.

Put B^1:=H^1(\Gamma(Y,C_D^\bullet)), and let p\colon Y\to Y_0 be the natural morphism. Uniqueness of the minimal good resolution gives the induced G-action on Y_0 and makes p equivariant. A class in B^1 is represented by a closed meromorphic one-form \alpha on Y, holomorphic off F. By van Straten–Steenbrink [VanStratenSteenbrink1985, Corollary (1.4)], its restriction to the punctured surface extends to a holomorphic one-form \alpha_0 on Y_0; see also Jörder [JorderExtension, Proposition 1.2]. The extension is unique and remains closed, since its exterior derivative vanishes off F_0. Moreover, p^*\alpha_0=\alpha, since the two forms agree off F.

Every section of \mathcal{O}_Y(D) restricts to a holomorphic function on the punctured normal surface and extends across the singular point. Its pullback to Y_0 is constant on F_0, so its differential restricts to zero on every component of F_0. Thus restriction is well defined on B^1. The restrictions of \alpha_0 to the components are regular one-forms. Their residues at the preimages of every node are zero, so they satisfy the residue compatibility condition defining \omega_{F_0}. We obtain a map

Uniqueness of extension and naturality of restriction make this map equivariant.

Suppose that the image of [\alpha] is zero. Then \alpha_0 restricts to zero on every component of F_0. As in the period argument of Lemma 4.5, loops in F_0 can be represented by piecewise smooth paths lying in its components. All their integrals are zero, including those arising from cycles in the dual graph. Since a sufficiently small resolution neighborhood retracts onto F_0, all periods of \alpha_0 vanish. It therefore has a global holomorphic primitive on Y_0. Normality gives (\pi_0)_*\mathcal{O}_{Y_0}=\mathcal{O}_V, where \pi_0\colon Y_0\to V, so this primitive descends to a holomorphic function f on V.

Put h:=\pi^*(f-f(0)). Then \alpha=dh. If h=0, the assertion follows immediately. Otherwise, h has positive order along every exceptional component. Let C be a component on which D has coefficient -a<0. Near a general point of C, choose coordinates with C=(x=0), and write h=x^m u, where m>0 and u is a unit. The coefficient of dx/x in dh is

which has order exactly m along C. Since dh\in H^0(Y,\Omega_Y^1(\log F)(D)), this coefficient must vanish to order at least a. Hence m\ge a. This holds for every component with a negative coefficient in D, so h\in H^0(Y,\mathcal{O}_Y(D)). Consequently [\alpha]=0 in B^1.

If (V,0) is smooth, Hartogs extension gives a holomorphic closed one-form on a sufficiently small ball in V. The holomorphic Poincaré lemma gives a primitive there. The same vanishing-order calculation on Y shows that its pullback, after subtracting its value at the origin, belongs to H^0(Y,\mathcal{O}_Y(D)). Thus B^1=0.

If F=\varnothing, all three cohomology groups vanish by Stein vanishing. Suppose that F\neq\varnothing. Put D:=Z_K-F, and write

for the cohomology groups of the global-section complex in Lemma 7.4. Let \pi_0\colon(Y_0,F_0)\to(V,0) be the minimal good resolution, and let p\colon Y\to Y_0 be the natural morphism. If (V,0) is smooth, take Y_0=V and F_0=\varnothing. The morphism p is equivariant. Put W:=H^0(F_0,\omega_{F_0}), with W=0 when F_0=\varnothing. By Lemma 7.6, B^1 injects equivariantly into W.

If (V,0) is smooth or a rational double point, then W=0, so B^1=0. Equation (?) expresses the class in the statement as [B^0]+[B^2], which is effective.

Suppose now that (V,0) is neither smooth nor a rational double point. Let Z_{K,0} be the numerical anticanonical cycle on Y_0. By Lemma 7.5, Z_{K,0}\ge F_0. The transformation formula for numerical anticanonical cycles gives

Together with the canonical bundle formula, this yields an isomorphism

of G-equivariant line bundles. Since Z_{K,0}\ge F_0, pullback followed by projection to cohomology defines a map H^0(Y_0,\omega_{Y_0}(F_0))\to B^2. Define

Adjunction and Grauert–Riemenschneider vanishing [GrauertRiemenschneider1970] give the equivariant exact sequence

If a logarithmic two-form has zero image in B^2, its pullback is the differential of a one-form in H^0(Y,\Omega_Y^1(\log F)(D)). On the punctured surface this primitive is holomorphic. Lemma 4.6, applied on Y_0, therefore shows that the logarithmic two-form has zero residue. Consequently residue descends to a well-defined equivariant surjection

Identify B^1 with its image in W. The inclusions \mathcal{J}\subseteq B^2 and B^1\subseteq W, together with the residue surjection, give

Every term on the right is the class of a finite-dimensional G-representation. Hence the class is effective, and (?) proves the assertion.

If E=\varnothing, then X is a sufficiently small smooth neighborhood of the origin. The connected cover is trivial, and we take all maps to be identities. Assume that E\ne\varnothing. Choose a sufficiently small representative of (V,0). Its punctured neighborhoods retract onto the link, so the connected cover remains connected after further shrinking.

The complement of E in a small coordinate neighborhood has fundamental group \mathbb{Z} at a smooth point of E, and \mathbb{Z}^2 at a node. Each connected local component of the cover therefore extends by normalization of

where m is the order of the local monodromy image. At a smooth point of E, take b=0. These normalizations glue by uniqueness of normalization to give \rho\colon\overline{X} \to X. They are smooth over smooth points of E, and have cyclic quotient singularities over its nodes; cf. Esnault–Viehweg [EsnaultViehweg1992, Lemma 3.24]. Their minimal toric resolutions give a G-equivariant toroidal resolution \sigma\colon Y \to \overline{X}. Put

The Stein factorization of \pi\circ q gives Y \xrightarrow{\pi'} V' \xrightarrow{\tau} V, with V' normal and \tau finite. Over V\setminus\{0\}, it is the cover U' \to U. If \tau^{-1}(0) contained more than one point, finiteness would separate the inverse image of a sufficiently small neighborhood into disjoint neighborhoods of these points. Removing the fiber would disconnect the restricted cover, a contradiction. Thus \tau^{-1}(0)=\{0'\}. The G-action descends to V', and \tau is a cyclic cover. Since Y is smooth, F has simple normal crossings, and \pi' is an isomorphism away from F, the map \pi'\colon(Y,F) \to (V',0') is a good resolution.

Over a node of E, toric coordinates give

and hence

The matrix is invertible over \mathbb{C}. Where only one toric boundary coordinate vanishes, the other is a unit, and its logarithmic differential is regular. Over a smooth point of E, the local map is x=u^m,\ y=v. Pullback sends dx/x to m du/u, and dy to dv. Away from F, the map is unramified. These calculations prove the isomorphism; cf. Ambro [Ambro2016, Theorem 1.1(b)]. It is G-equivariant because it is induced by pullback.

Write q=\rho\circ\sigma as in Lemma 7.8. Cyclic quotient singularities are rational; see Esnault–Viehweg [EsnaultViehweg1992, proof of Claim 5.13]. Thus

Since \rho is finite and X=\overline{X}/G, it follows that

The projection formula and Leray give

The Reynolds projection identifies the invariant subsheaf on the right with \mathcal{A} and commutes with cohomology. Taking invariants therefore proves (?).

By Lemma 7.9, the pullback connection is logarithmic along F. Its trivial monodromy gives a nonzero global horizontal section s on the connected space Y\setminus F.

Near a point of F, choose a local frame e of q^*P and coordinates in which F is defined by u=0 or uv=0. Flatness gives a connection form

with constant residues and h holomorphic. The second logarithmic term is omitted when F has one branch. Trivial monodromy implies that the residues are integral. The horizontal equation then gives

for a nonzero constant c, with the v-factor omitted in the one-branch case. Thus s extends meromorphically to Y, and D:=\operatorname{div}(s) is integral and supported on F.

The horizontal sections on Y\setminus F form a one-dimensional vector space preserved by G. Define \chi by g\cdot s=\chi(g)s. Then D is G-invariant, and multiplication by s gives the equivariant identification

Since q^*\nabla(s)=0, this identification carries exterior differentiation to q^*\nabla.

Choose a positive integer r such that rZ_K is integral. The line bundle \omega_X^{\otimes r}(rZ_K) has degree zero on every exceptional component. Since X retracts onto E and H^2(E,\mathbb{Z}) is freely generated by the component degree classes, its first Chern class is zero. The exponential sequence identifies the group of numerically trivial line bundles with a quotient of H^1(X,\mathcal{O}_X). Multiplication by r is surjective on this quotient. Hence there is a numerically trivial line bundle N such that

Put P:=L_X\otimes N. Since L_X\simeq\omega_X^\vee(-E), we have

Transport the exterior-differentiation connection to P^{\otimes r} through this isomorphism. Dividing its local connection forms by r defines a flat logarithmic connection \nabla on P. Indeed, the connection forms on P^{\otimes r} change by r times the logarithmic differentials of the transition functions of P. The rth tensor power of (P,\nabla) is trivial as a flat line bundle on U:=X\setminus E, so its monodromy is finite.

Let U' \to U be the connected cover corresponding to the kernel of this monodromy representation. Lemma 7.8 gives a good resolution \pi'\colon(Y,F) \to (V',0'), a map q\colon Y \to X, and a covering group G. The pullback connection has trivial monodromy on Y\setminus F. By Lemma 7.11, there are a G-invariant integral divisor D supported on F and a character \chi such that

The natural rank-two identity

and the logarithmic pullback isomorphism (?) give the following G-equivariant identifications:

The line bundle q^*N is numerically trivial: each exceptional curve on Y maps either to an exceptional curve on X or to a point. The last identification therefore gives

for every exceptional component C on Y. By uniqueness of the numerical anticanonical cycle,

This cycle is integral, so (V',0') is numerically Gorenstein, or is a smooth surface point.

Proposition 7.7, together with the three identifications above, shows that

is effective. Here tensoring by \mathbb{C}_\chi preserves effectivity. Taking G-invariants and applying Lemma 7.10 gives

as required.

Since N_i has depth two, local cohomology of (?) gives C_i \simeq H^1_{\mathfrak{m}_A}(M_i/tM_i). The sequence 0 \to M_i \xrightarrow{t} M_i \to M_i/tM_i \to 0 identifies this group with the displayed kernel. The regular-element criterion gives \operatorname{depth}_R M_i=\operatorname{depth}_A(M_i/tM_i)+1, so C_i=0 is equivalent to depth three. Finally, M_0=R and M_1=\omega_R are maximal Cohen–Macaulay.

The module \operatorname{Ext}^1_R(M_i,\omega_R) has finite length, since M_i is invertible off the closed point. Reflexivity and canonical duality in codimension one give \operatorname{Hom}_R(M_i,\omega_R)=M_{1-i}. Change of rings gives

Dualizing (?) over A, and using the Cohen–Macaulay property of N_i, gives

where D_A denotes Matlis duality. Applying \operatorname{Hom}_R(-,\omega_R) to 0 \to M_i \xrightarrow{t} M_i \to M_i/tM_i \to 0 therefore gives

Here \operatorname{Ext}^2_R(M_i,\omega_R)=0 by local duality and \operatorname{depth}_R M_i \ge 2. The kernel and cokernel of multiplication by t on \operatorname{Ext}^1_R(M_i,\omega_R) have equal lengths, and Matlis duality preserves length. This proves (?).

By Steenbrink [Steenbrink1995, Theorem 1], the smoothing extends, preserving the parameter, to a flat projective family g\colon\mathcal{Y} \to T. After shrinking T, the central fiber Y_0 has the given singularity as its only singular point, and g is smooth elsewhere. The sheaf \omega_{\mathcal{Y}/T}^{[i]} is torsion-free over the smooth curve T, and hence flat over T. Its restriction to a smooth fiber is \omega_{Y_t}^{\otimes i}. Constancy of its fiberwise Euler characteristic and the specialization sequence (?) give

Extend the chosen local resolution to a projective resolution p\colon\overline{X} \to Y_0, and write

Its restriction near the exceptional divisor is \mathscr{L}_i. Pullback of sections and reflexive extension across the singular point give p_*\overline{\mathscr{L}}_i\simeq\omega_{Y_0}^{[i]}. Over an affine neighborhood of that point, relative generation gives an exact sequence

Rationality gives R^1p_*\mathcal{O}_{\overline{X}}=0, and the fiber dimension gives R^2p_*\mathscr{G}=0. Thus

Consequently,

Rationality and flatness also give

The exceptional divisor is a tree of n rational curves, so e(E)=n+1. By Greuel–Steenbrink [GreuelSteenbrink1983], the Milnor fiber has b_1(M_\pi)=0. It has the homotopy type of a finite complex of dimension at most two, and hence e(M_\pi)=1+\mu_\pi. Comparing a resolution neighborhood with the Milnor fiber gives

Noether’s formula therefore yields

The canonical identification away from E gives

Applying Riemann–Roch to \overline{X} and Y_t in (?), we obtain

Since Z_i is exceptional, the definition of the numerical canonical cycle gives K_{\overline{X}}Z_i=KZ_i. Substitution proves (?). Expanding u_i=iK+Z_i then gives (?).

Let b\colon X' \to X be a blowup at a point of E, with exceptional curve C. The full line bundle on X' is b^*\mathscr{L}_i, so

Since C^2=-1 and C is orthogonal to pullbacks,

Any two resolutions on which the full pullback is invertible admit a common resolution by point blowups. Thus (?), and consequently (?), is independent of the chosen resolution.

Choose a common resolution on which the full pullbacks of \omega_A^{[j]}, for 0\leq j<r, are invertible. The local isomorphisms \omega_A^{[i+r]}\simeq\omega_A^{[i]} identify their full pullbacks, so u_{i+r}=u_i. Define

The blowup calculation in the proof of Theorem 8.3 shows that this number is independent of the resolution. It depends only on A, and the equality u_{i+r}=u_i gives its r-periodicity. Theorem 8.3 gives (?).

Lemma 8.1 gives \delta_0=\delta_1=0, so (?) implies \gamma_0=\gamma_1=0. Lemma 8.2 and the identity \binom{1-i}{2}=\binom{i}{2} then give \gamma_i=\gamma_{1-i}.

Taking i=r in (?) gives the formula for \delta_r. Since \delta_r\geq 0 and \binom{r}{2}>0, it follows that \mu_\pi\geq n+K^2. Finally, subtracting (?) for i from the same formula for i+r, and using

proves (?).

Recall that R=\mathcal{O}_{\mathcal{V},0}, A=\mathcal{O}_{V,0}=R/(t), M_i=\omega_R^{[i]}, and N_i=\omega_A^{[i]}.

Suppose that \delta_i(\pi)=0 for 2 \le i \le r. Since N_r \simeq A, the specialization sequence (?) gives M_r/tM_r \simeq A. Lifting a generator and applying Nakayama’s lemma gives a surjection R \to M_r. This is an isomorphism because R is a domain and M_r has rank one. Consequently,

By Lemma 8.1 and \delta_0=\delta_1=0, the modules M_0,\ldots,M_{r-1} are maximal Cohen–Macaulay. Periodicity gives the same assertion for every M_i. Another application of Lemma 8.1 shows that every specialization map is an isomorphism.

Put s:=\operatorname{index}(R). Since M_r \simeq R, we have s \mid r. Conversely, a trivialization of M_s restricts to a trivialization of the sth canonical power on V\setminus\{0\}. Reflexive extension gives N_s \simeq A, so r \mid s. Thus s=r.

Let q\colon(\widetilde{V},0) \to (V,0) be the canonical cover defined by a chosen trivialization N_r \simeq A, and put B:=\mathcal{O}_{\widetilde{V},0}. Choose a trivialization M_r \simeq R inducing this trivialization on the central fiber. Such a choice is possible because units of A lift to units of R. Form the cyclic algebra

Its grading defines an action of G:=\mu_r, with t invariant and \widetilde{R}^G=R. The specialization isomorphisms identify \widetilde{R}/t\widetilde{R} with B as a G-equivariant algebra: compatibility with multiplication holds on the punctured central surface and extends by reflexivity.

The finite R-algebra \widetilde{R} is local because its quotient by t is local. It is Cohen–Macaulay because each summand M_i is maximal Cohen–Macaulay over R. Since t is a nonzerodivisor and B is Gorenstein, \widetilde{R} is Gorenstein. Away from the closed point, R is regular and the cyclic cover is locally defined by z^r=u, with u a unit. It is therefore étale there. Thus \widetilde{R} is regular in codimension one and is normal by Serre’s criterion. It is flat over T, and its nonzero fibers are étale covers of the smooth fibers of \pi. Hence it defines the required G-equivariant smoothing of (\widetilde{V},0).

Conversely, suppose that \pi is induced by a G-equivariant smoothing \widetilde{\pi}\colon(\widetilde{\mathcal{V}},0) \to (T,0) of the canonical cover, with trivial action on T. Put \widetilde{R}:=\mathcal{O}_{\widetilde{\mathcal{V}},0}. Since \widetilde{R}/t\widetilde{R} \simeq B and t is a nonzerodivisor, \widetilde{R} is normal and Gorenstein. Every nonidentity element of G fixes only the origin on the central fiber. Its fixed locus in \widetilde{\mathcal{V}} therefore has dimension at most one near the origin. Consequently, the quotient map is étale in codimension one.

Choose an eigen-generator \eta of \omega_{\widetilde{R}}. Equivariant adjunction identifies its character with the canonical character \kappa of B, since t is invariant. On the locus where the quotient map is étale, multiplication by \eta^{\otimes i} and descent identify the \kappa^{-i}-eigensummand of \widetilde{R} with M_i.

A system of parameters of R is also a system of parameters of \widetilde{R}. Since \widetilde{R} is Cohen–Macaulay, it is maximal Cohen–Macaulay as an R-module. Its eigensummands are direct summands and have the same property. They are therefore reflexive, so the preceding identifications extend across the complement of the étale locus. Thus every M_i is maximal Cohen–Macaulay, and Lemma 8.1 gives \delta_i(\pi)=0 for every i \in \mathbb{Z}.

Corollary 8.4 gives

Since r>1, the equality \delta_r(\pi)=0 is equivalent to \mu_\pi=n+K^2. Under this equality, the remaining conditions \delta_j(\pi)=0 for 2 \le j<r are precisely \gamma_j(A)=0. Proposition 8.5 therefore proves the first assertion.

If r=2, periodicity and \gamma_0(A)=\gamma_1(A)=0 give \gamma_i(A)=0 for every i \in \mathbb{Z}. Substitution in (?) gives the displayed formula for \delta_i(\pi), and the first assertion gives the stated criterion.

Recall that R=\mathcal{O}_{\mathcal{V},0}, A=\mathcal{O}_{V,0}=R/(t), M_i=\omega_R^{[i]}, and N_i=\omega_A^{[i]}.

Suppose that \mu_\pi=n+K^2. Corollary 8.4 gives \delta_r(\pi)=0. Since N_r \simeq A, the specialization sequence (?) gives M_r/tM_r \simeq A. Lifting a generator and applying Nakayama’s lemma gives a surjection R \to M_r. This is an isomorphism because R is a domain and M_r has rank one. Thus K_{\mathcal{V}} is \mathbb{Q}-Cartier.

Put s:=\operatorname{index}(R). The isomorphism M_r \simeq R gives s \mid r. A trivialization of M_s restricts to a trivialization of the sth canonical power on V\setminus\{0\}. Reflexive extension gives N_s \simeq A, so r \mid s. Consequently, s=r.

Conversely, suppose that K_{\mathcal{V}} is \mathbb{Q}-Cartier, and let s be the canonical index of R. The same restriction argument gives r \mid s. Since M_s \simeq R, Lemma 8.1 gives \delta_s(\pi)=0. Periodicity and r \mid s give \gamma_s(A)=\gamma_0(A)=0. Hence Corollary 8.4 yields

Since s \ge r>1, it follows that \mu_\pi=n+K^2.

Proposition 8.8 gives \mu_\pi=n+K^2. Corollary 8.4 therefore gives \delta_j(\pi)=\gamma_j(A) for every j, and in particular \delta_r=0. Thus M_r/tM_r \to N_r is an isomorphism. A chosen trivialization of N_r lifts to one of M_r, since units of A lift to units of R. This gives compatible multiplications on the two cyclic algebras.

Take the direct sum of the specialization sequences (?) for 0\leq j<r. The resulting injection is compatible with multiplication on the punctured central fiber. It is therefore an algebra homomorphism everywhere, since B is torsion-free over A. In the canonical grading, the summands M_j and N_j have character \kappa^{-j}, as in the proof of Proposition 8.5. Its cokernel is consequently the direct sum of the C_j with these characters. Each C_j has finite length, and its complex dimension is \delta_j(\pi)=\gamma_j(A). This proves (?). The character \kappa has order r, so these are all the distinct irreducible characters of G.

By Lemma 8.1, \mathcal{C}_\pi=0 if and only if every M_j, for 0\leq j<r, is maximal Cohen–Macaulay over R. Their direct sum is \widetilde{R}. Since the finite local extension R\subseteq\widetilde{R} has dimension three, a system of parameters of R is also a system of parameters of \widetilde{R}. Thus this module condition is equivalent to \widetilde{R} being Cohen–Macaulay. Since \delta_r=0, Proposition 8.5 identifies the same vanishing with the strong \mathbb{Q}-Gorenstein condition. Finally, the r-periodicity of \gamma_j(A) and \gamma_0(A)=\gamma_1(A)=0 give the remaining equivalence and the shorter range.

Let b\colon\widehat{S} \to S be the blowup of the nine fixed points. By Roulleau–Urzúa [RoulleauUrzua2015, Proposition 3.1], the quotient Y:=\widehat{S}/G is the blowup of \mathbb{P}^2 at the twelve triple points of the dual Hesse arrangement. The quotient map is branched over the strict transforms of its nine lines.

Let \ell \subset Y be the strict transform of a general plane line. Its inverse image \widehat{C} is a smooth connected triple cover of \ell \simeq \mathbb{P}^1, totally ramified at nine points. Riemann–Hurwitz gives

Moreover, \widehat{C}^2=3, and \widehat{C} meets each exceptional curve of b transversely at one point. Consequently, C:=b(\widehat{C}) is smooth, contains all nine fixed points, and satisfies C^2=3+9=12. Its quotient is \ell, and its genus is seven. An irreducible curve of positive square on an abelian surface is ample.

Wahl [Wahl2015, Proposition 2.2] expresses 1+\mu_\pi-\alpha_\pi and \tau_\pi-2\alpha_\pi in terms of the cohomology and intersection numbers of the minimal good resolution of (V,0). Both expressions are independent of the smoothing. Subtracting their values for \pi and \pi' gives the two equalities.

Since \pi_0 is strongly \mathbb{Q}-Gorenstein, every \delta_i(\pi_0) vanishes. Equation (?) therefore gives

Taking i=2 and using \delta_2(\pi)\geq 0 proves the inequality. Equality holds precisely when every \delta_i(\pi) vanishes. By Proposition 8.5, this is equivalent to the strong \mathbb{Q}-Gorenstein condition.

Choose a strong \mathbb{Q}-Gorenstein smoothing \pi_0, and let \pi be weakly \mathbb{Q}-Gorenstein. Write n for the number of exceptional components of the minimal good resolution and K for its numerical canonical cycle. Proposition 8.8 gives

Proposition 9.2 therefore shows that \pi is strongly \mathbb{Q}-Gorenstein. The last assertion is the contrapositive.

The ring R is a three-dimensional Cohen–Macaulay normal local domain with a canonical module and contains \mathbb{C}. If R admits a Gorenstein modification, then K_R is \mathbb{Q}-Cartier by Dao–Iyama–Takahashi–Wemyss [DaoIyamaTakahashiWemyss2020, Theorem 3.5(2)]. Thus \pi is weakly \mathbb{Q}-Gorenstein. Corollary 9.3 shows that \pi is strong, and Proposition 9.2 gives \mu_\pi=\mu_{\pi_0}.

Conversely, suppose that \mu_\pi=\mu_{\pi_0}. Proposition 9.2 shows that \pi is strongly \mathbb{Q}-Gorenstein. By Proposition 8.5, R has canonical index r, and its canonical cover

is Gorenstein. By Dao–Iyama–Takahashi–Wemyss [DaoIyamaTakahashiWemyss2020, Theorem 3.5(1)], \operatorname{End}_R(\widetilde{R}) is a Gorenstein modification of R. Finally, every noncommutative crepant resolution is a Gorenstein modification, so the last assertion follows.

At each non-Gorenstein point P_i, Proposition 9.2 gives \mu_i\geq\mu_i^0, with equality precisely when the induced smoothing is strongly \mathbb{Q}-Gorenstein. A rational Gorenstein surface singularity is a rational double point, and every smoothing of such a point is Gorenstein with the same Milnor number. Thus the same conclusion holds at every P_i.

Let p\colon X\to Y be the minimal good resolution. Write

where K_i is the numerical canonical cycle supported over P_i, and let n_i be the number of exceptional components over P_i. The divisor K_Y is \mathbb{Q}-Cartier because the singularities of Y are rational. Proposition 8.8 gives \mu_i^0=n_i+K_i^2 at every non-Gorenstein point. At a rational double point, K_i=0 and \mu_i^0=n_i. Rationality gives \chi(\mathcal{O}_X)=\chi(\mathcal{O}_Y) and e(X)=e(Y)+\sum_i n_i. Since the exceptional cycles over distinct points are disjoint and orthogonal to p^*K_Y, Noether’s formula yields

Flatness gives \chi(\mathcal{O}_{Y_t})=\chi(\mathcal{O}_Y), and replacement of the singular points by their Milnor fibers gives e(Y_t)=e(Y)+\sum_i\mu_i. Applying Noether’s formula to Y_t and subtracting proves the identity and inequalities.

Equality holds precisely when every induced local smoothing is strong. By Proposition 8.5, every reflexive canonical power then specializes at the non-Gorenstein points. The same holds at the Gorenstein points and on the smooth locus. These conditions are local, and the finitely many local canonical indices have a common multiple. They therefore give the strong \mathbb{Q}-Gorenstein condition for g near Y. The converse follows by applying the same local criterion.

Choose a strong \mathbb{Q}-Gorenstein smoothing \pi_0. By Corollary 9.1,

for every one-parameter smoothing \pi. Proposition 9.2 shows that the right side is nonnegative and vanishes precisely when \pi is strongly \mathbb{Q}-Gorenstein. Since \tau_\pi is the dimension of the corresponding smoothing component, the assertion follows.

Fix i \in \mathbb{Z}, and choose a good resolution p\colon(X,E) \to (V,0) dominating the minimal good resolution, on which the full pullback of \omega_A^{[i]} is a line bundle. Write

where Z_i is an integral exceptional divisor and K is the numerical canonical cycle.

By Stipsicz–Szabó–Wahl [SSW2008, Proposition 2.4(2), (4)], the minimal good resolution lattice embeds in a negative diagonal lattice of the same rank. Under this embedding, the numerical canonical cycle maps to an integral characteristic element, and its square is the negative of the rank. These properties persist under point blowups. Indeed, a point blowup b adds an orthogonal class e with e^2=-1, and the numerical canonical cycle becomes b^*K+e. Thus the chosen resolution lattice also embeds in a negative diagonal lattice of rank n, in which K is integral and characteristic and K^2=-n.

Choose a diagonal basis e_1,\dotsc,e_n with e_a\cdot e_b=-\delta_{ab}, and write K=\sum_a k_a e_a. Since K is characteristic, every k_a is odd. The equality K^2=-n gives \sum_a k_a^2=n, so every k_a is 1 or -1. Changing the signs of the basis vectors, we may assume that K=\sum_a e_a.

Since \mu_\pi=0 and K^2=-n, Theorem 8.3 gives

Both K and the image of Z_i are integral in the diagonal lattice. Hence u_i=\sum_a u_{i,a}e_a with u_{i,a} \in \mathbb{Z}, and

Thus \delta_i=0. Since i was arbitrary, every reflexive canonical power specializes. Lemma 8.1 also shows that every \omega_R^{[i]} is maximal Cohen–Macaulay.

The rational singularity (V,0) has finite canonical index r. On its minimal good resolution, K^2=-n<0, so it is not a rational double point. Since a rational Gorenstein surface singularity is a rational double point [Artin1966, pp. 134–136], (V,0) is non-Gorenstein and r>1. Proposition 8.5 now gives index preservation and a G-equivariant smoothing of the index-one cover.

By Theorem 10.1, the smoothing is strongly \mathbb{Q}-Gorenstein. Since \mu_\pi=0 and a smoothing component has positive dimension, Theorem 6.1 gives

Hence \tau_\pi=1, and the equality criterion gives quasi-homogeneity. Theorem 10.1 and Lemma 8.2 give \alpha_\pi=\delta_{-1}=0. Wahl’s formula (?) therefore gives