Search arXiv⌕ Search

arXiv · 2610.24936

Weighted homogeneous surface singularities admitting rational homology disk smoothings

Abstract

We study rational homology disk smoothings through canonical-cover representations and specialization of reflexive canonical powers, and recover the known dual graph and analytic classification. The geometric-genus representation of the canonical covering group, together with its complex conjugate, is a direct summand of the reduced regular representation. Specialization forces the canonical Riemann--Roch corrections to vanish; explicit formulas give equations for the Seifert invariants. For three arms and central weight two, these equations, the character restrictions, and the numerical identities determine the Seifert data without assuming the existence of a smoothing. Projective compactifications treat the remaining cases, and elliptic pencils explain the four-arm attachment points and the parameter independence of their cross ratios. We construct strong $\mathbb{Q}$-Gorenstein smoothings for all listed analytic structures by deforming canonical-cover equations and lifting generators of the full first syzygy module. The numerical Milnor formula gives rational homology disk fibers.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Heesang Park, Dongsoo Shin. 2026-10-18. Weighted homogeneous surface singularities admitting rational homology disk smoothings. https://arxiv.org/abs/2610.24936

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A cluster criterion for potential degeneracy of superelliptic curves

Let $K$ be a field with a discrete valuation; let $p$ be a prime; and let $C$ be the curve defined by an equation of the form $y^p = f(x)$. We show that the curve $C$ has a model over an algebraic extension of $K$ whose special fiber consists of genus-$0$ components and has at worst nodal singularities if and only if the cluster data of the roots of $f$ satisfies a certain criterion, and when these hold, we show explicitly how to build the minimal regular model of $C$. We develop an interpretation of cluster data in terms of a convex hull in the Berkovich projective line and express the above results directly in terms of this convex hull.

math.AG↗

A note on complex Lie Algebras isomorphic to their conjugate

A real Lie algebra defines by extension of scalars a complex Lie algebra that is isomorphic to its Galois conjugate. In this paper, we are interested in the converse property: given a complex Lie algebra that is isomorphic to its conjugate, is it defined over the real numbers? We prove the existence of a $10$-dimensional nilpotent complex Lie algebra for which the answer is negative, disproving a recent conjecture by Deré. In addition, we compute the generic obstruction to this descent problem in terms of Brauer groups.

math.AG↗