pith. sign in

arxiv: 2504.06929 · v4 · pith:V2ERIYVCnew · submitted 2025-04-09 · 🧮 math.GT · math.AG

Minimal rational graphs admitting a QHD smoothing

M\'arton Beke This is my paper

Pith reviewed 2026-05-22 20:39 UTC · model grok-4.3

classification 🧮 math.GT math.AG
keywords resolution graphQHD smoothingpicture deformationrational singularitysurface singularityweighted homogeneous singularitycusp singularityrational homology disk
0
0 comments X

The pith

Resolution graphs with three or four large nodes never admit QHD smoothings.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that no surface singularity whose minimal resolution graph contains three or four large nodes—vertices satisfying d(v) + e(v) ≤ -2—can be smoothed to a rational homology disk. The argument proceeds by first constructing a reduction algorithm that simplifies any candidate graph while preserving the existence of a QHD smoothing, then applying exhaustive enumeration via the picture-deformation method. A reader would care because the result removes an infinite family of graphs from the search for such smoothings and supplies both new admissible examples and a fresh proof of the classification theorem for weighted-homogeneous cases. The work therefore narrows the remaining open cases in the combinatorial classification of rational homology disk smoothings.

Core claim

Using the picture deformation technique, no singularity whose resolution graph has three or four large nodes admits a QHD smoothing; this is proved by a general reduction algorithm that contracts graphs while retaining any possible QHD smoothing, followed by complete enumeration of the reduced graphs. The same technique yields new families that satisfy the incidence conditions for a combinatorial QHD smoothing and supplies a new proof of the Bhupal–Stipsicz classification of weighted homogeneous singularities that admit QHD smoothings, obtained by reducing to cusp singularities.

What carries the argument

The reduction algorithm for graphs admitting QHD smoothings, which repeatedly contracts or removes vertices while preserving the possibility of a smoothing, combined with picture deformations that realize the smoothing combinatorially.

If this is right

  • All graphs with three or four large nodes are excluded from the list of candidates for QHD smoothings.
  • The classification of minimal rational graphs admitting QHD smoothings is reduced to the cases with zero, one, or two large nodes.
  • New infinite families of graphs that satisfy the combinatorial incidence conditions for a QHD smoothing are identified.
  • The Bhupal–Stipsicz theorem receives an independent proof that proceeds by reducing weighted homogeneous cases to cusp singularities.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The reduction technique may be iterable to decide the status of graphs containing five or more large nodes.
  • The same combinatorial obstructions could constrain the existence of rational homology disk fillings for other classes of 4-manifolds obtained by plumbing.
  • If the enumeration is complete, the remaining open graphs with at most two large nodes become the next natural target for exhaustive search.

Load-bearing premise

The reduction algorithm together with picture deformations and the enumeration correctly detects every possible QHD smoothing without missing graphs or producing false negatives.

What would settle it

Exhibiting one explicit resolution graph containing exactly three large nodes together with an explicit set of picture deformations that produce a rational homology disk smoothing would falsify the claim.

Figures

Figures reproduced from arXiv: 2504.06929 by M\'arton Beke.

Figure 1
Figure 1. Figure 1: The graphs of W, N and M where p, q, r ≥ −1. The remaining A, B, C are defined by repeated blowups of an edge next to the unique −1 vertex or the −1 vertex itself, beginning from the graph of [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The starting graph for the construction of the A, B, C families. (a, b, c) = (3, 3, 3),(2, 4, 4),(2, 3, 6) respectively. Theorem 2.4 ([15, Theorem 1.10]). For every element Γ ∈ G ∪ W ∪ N ∪ M, there is a complex surface singularity with resolution graph Γ admitting a QHD smoothing. The case of the A, B, C classes is only partially resolved, but there is a complete classification for weighted homogeneous sin… view at source ↗
Figure 3
Figure 3. Figure 3: f denotes the incidence matrix of a combina￾torial smoothing, and Ff the Milnor fiber ([3, Diagram 5.9]) the configuration, and for all lines that do not contain x, add all of the ai . This is a QHD smoothing for the graph we denote fpp(n)l . Example 5.2. Consider k "clusters" consisting of n points each: {Ai} k 1 with |Ai | = n. Define sets of curves as follows: C i j = ∪l̸=iAl∪{aj} where aj ∈ Ai . This i… view at source ↗
Figure 4
Figure 4. Figure 4: The graph Cl(k, n) for k > 1. The number x on an edge represents a path of x many −2 vertices. Remark 5.3. We define cluster extension of the graphs Cl(k, n). Here, consider an additional set B, with |B| = b (which we call the parameter of the extension), and add its points to all existing curves. Furthermore add new curves Di = ∪Al ∪ {bi} (or ∪Al ∪ B \ {bi} for b < 0). The construction corresponds to a co… view at source ↗
Figure 5
Figure 5. Figure 5: The graph we obtain after cluster extending Cl(k, n) for k > 1. For k < −1, we still get some p 2 pq−1 linear graphs, which admit a QHD smoothing. Another construction one can make is the star extension of Cl(k, n). Add a new point x and a new set B of size b. Add the elements of B to the existing curves, and define new curves Si = {x} ∪ {bi} and F = ∪ k 1Ai ∪ {x}. -b-2 -3 kn-2 -k-1 1+b-2n -n-1 -n-1 n-3 n-… view at source ↗
Figure 6
Figure 6. Figure 6: The graph we obtain after star extending Cl(k, n) for k > 1. Example 5.4. Using the complement idea, we generalize the family of Wahl [16, 5.9.2]. In this case we consider 3 sets A, B, C of sizes |a|, |b|, |c|, the curves are A∪{bi}, B∪{ci}, C∪{ai}, or one can take the complements of the singletons inside their containing sets. We denote this choice by flipping the sign of the set, that the corresponding c… view at source ↗
Figure 7
Figure 7. Figure 7: The graph t(−a, −b, −b). 6. Weighted homogeneous singularities – stars This section presents a new proof of the main theorem of [1], namely the classification of weighted homogeneous singularities admitting a QHD smoothing. From Theorem 2.4, we only need to check the star￾shaped elements of A, B, C. In contrast to Section 3, not all graphs will be minimal rational; most curvettas will be ordinary cusps. 6.… view at source ↗
Figure 8
Figure 8. Figure 8: The general case graph with the curves indi￾cated. Since the node has framing at most −2, we know that the C j i will be star-shaped and the Li , Si will be smooth. We provide their intersec￾tions in Table 1b [PITH_FULL_IMAGE:figures/full_fig_p017_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Graphs in C6 admitting a QHD smoothing Theorem 6.5. In C6, only the family depicted in [PITH_FULL_IMAGE:figures/full_fig_p019_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: The graphs for the C3 case, p ≥ 0, q ≥ −1. Theorem 6.6. In C3, only the graphs of [PITH_FULL_IMAGE:figures/full_fig_p019_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: The graphs for the C2 case, p ≥ 0, q ≥ −1. Theorem 6.7. In C2, only the graphs of [PITH_FULL_IMAGE:figures/full_fig_p020_11.png] view at source ↗
Figure 11
Figure 11. Figure 11: The other case plays out similarly. If X(C j i ) = ps, then every other curve has to have its double point at ps and go through pd to intersect Si and C 1 ℓ enough times. The same argument shows that C j i = C 2 ℓ , there are no further curves and ℓ = n − 4. This is the second graph of [PITH_FULL_IMAGE:figures/full_fig_p021_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: The graphs for the B2 case, p ≥ 0, q ≥ −1. Theorem 6.8. In B2, only the graphs of [PITH_FULL_IMAGE:figures/full_fig_p021_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: The graph for the B4 case, p ≥ 0. Theorem 6.9. In B4, only the graph of [PITH_FULL_IMAGE:figures/full_fig_p022_13.png] view at source ↗
Figure 14
Figure 14. Figure 14: The graphs for the A3 case, p ≥ 0. 6.1.3. Graphs in A. Theorem 6.10. In A3, only the graph of [PITH_FULL_IMAGE:figures/full_fig_p022_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: The valency 4 graphs, which ad￾mit a QHD smoothing, where [a, b, c; d] ∈ {[3, 3, 3; 4], [2, 4, 4; 3], [2, 3, 6; 2]} and p ≥ 0. 6.2.1. Graphs in C. Theorem 6.15. In C 4 , only the graph of [PITH_FULL_IMAGE:figures/full_fig_p024_15.png] view at source ↗
read the original abstract

Using the picture deformation technique of De Jong-Van Straten we show that no singularity whose resolution graph has 3 or 4 large nodes, i.e., nodes satisfying d(v)+e(v)\leq -2, has a QHD smoothing. This is achieved by providing a general reduction algorithm for graphs with QHD smoothings, and enumeration. New examples and families are presented, which admit a combinatorial QHD smoothing, i.e. the incidence relations for a sandwich presentation can be satisfied. We also give a new proof of the Bhupal-Stipsicz theorem on the classification of weighted homogeneous singularities admitting QHD smoothings with this method by using cusp singularities.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 4 minor

Summary. The manuscript develops a general reduction algorithm for minimal rational graphs admitting QHD smoothings, derived from the De Jong-Van Straten picture deformation technique. Using this algorithm together with exhaustive enumeration, the authors prove that no resolution graph containing exactly 3 or 4 large nodes (nodes v satisfying d(v) + e(v) ≤ −2) admits a QHD smoothing. The paper also exhibits new families of graphs that admit combinatorial QHD smoothings (i.e., whose incidence relations satisfy a sandwich presentation) and recovers the Bhupal-Stipsicz classification of weighted homogeneous singularities as a consistency check by applying the same method to cusp singularities.

Significance. If the reduction rules and enumeration are complete, the result supplies a concrete combinatorial obstruction to the existence of QHD smoothings for an infinite family of rational graphs. The recovery of the known Bhupal-Stipsicz theorem via an independent route provides a useful internal consistency check, and the new examples enlarge the set of graphs known to admit combinatorial QHD smoothings. These contributions are of interest to researchers working on symplectic fillings, rational singularities, and the topology of 4-manifolds.

minor comments (4)
  1. [§2] §2 (Reduction algorithm): The statement of the reduction rules would be clearer if each rule were accompanied by a short diagram showing the local change to the graph and the corresponding change to the sandwich data.
  2. [§4] §4 (Enumeration for 3-large-node graphs): The case division is presented in a table, but the table does not explicitly record which reduction rule was applied at each step; adding a column for the rule identifier would make the exhaustion argument easier to follow.
  3. [§5] §5 (New proof of Bhupal-Stipsicz): The comparison with the original proof is only sketched; a short paragraph contrasting the two approaches would help readers assess the novelty of the cusp-singularity route.
  4. [Figure 3] Figure 3: The labels on the nodes in the sandwich presentation are too small to read comfortably; increasing the font size or adding a separate legend would improve legibility.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments were listed in the report, so we have no point-by-point responses to provide. The manuscript stands as submitted with respect to the referee's feedback.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper derives its central result by applying the external De Jong-Van Straten picture deformation technique to produce a general reduction algorithm, then exhaustively enumerates minimal rational graphs to conclude that none with 3 or 4 large nodes admit a QHD smoothing. It recovers the known Bhupal-Stipsicz classification only as an independent consistency check on the same external method. No step reduces a claimed prediction or uniqueness result to a self-defined parameter, fitted input, or load-bearing self-citation; the derivation remains self-contained against the cited external technique and does not equate its outputs to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the applicability of the De Jong-Van Straten picture deformation technique to the graphs under consideration and on the correctness and completeness of the authors' reduction algorithm and enumeration procedure.

axioms (1)
  • domain assumption The picture deformation technique of De Jong-Van Straten can be applied to analyze the existence of QHD smoothings for the resolution graphs in question.
    Invoked to obtain the no-existence result for graphs with 3 or 4 large nodes.

pith-pipeline@v0.9.0 · 5627 in / 1397 out tokens · 27691 ms · 2026-05-22T20:39:51.506301+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The Gompf $\theta$-Invariant of Canonical Contact Structures via Legendrian Surgery

    math.GT 2026-05 unverdicted novelty 7.0

    Authors derive a closed-form formula for Gompf's θ-invariant of canonical contact structures on Seifert fibered 3-manifolds and a recursive formula for general plumbing trees using Legendrian surgery descriptions.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Weighted homogeneous singularities and rational homology disk smoothings.American journal of mathematics, 133(5):1259–1297, 2011

    Mohan Bhupal and András I Stipsicz. Weighted homogeneous singularities and rational homology disk smoothings.American journal of mathematics, 133(5):1259–1297, 2011

    work page 2011

  2. [2]

    Smoothings of singularities and symplec- tic topology

    Mohan Bhupal and András I Stipsicz. Smoothings of singularities and symplec- tic topology. InDeformations of surface singularities, pages 57–97. Springer, 2013

    work page 2013

  3. [3]

    De Jong and D

    T. De Jong and D. Van Straten. Deformation theory of sandwiched singulari- ties.Duke mathematical journal, 95(3):451–522, 1998

    work page 1998

  4. [4]

    Knots, Links, and 4-Manifolds

    Ronald Fintushel and Ronald J Stern. Knots, links, and 4-manifolds.arXiv preprint dg-ga/9612014, 1996

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  5. [5]

    PhD thesis, The University of North Carolina at Chapel Hill, 2013

    Jacob R Fowler.Rational homology disk smoothing components of weighted ho- mogeneous surface singularities. PhD thesis, The University of North Carolina at Chapel Hill, 2013

    work page 2013

  6. [6]

    Gay and András I

    David T. Gay and András I. Stipsicz. On symplectic caps.Perspectives in Analysis, Geometry, and Topology: On the Occasion of the 60th Birthday of Oleg Viro, pages 199–212, 2012

    work page 2012

  7. [7]

    Universität Kaiserslautern

    Gert-Martin Greuel and Joseph Steenbrink.On the topology of smoothable singularities. Universität Kaiserslautern. Fachbereich Mathematik, 1981

    work page 1981

  8. [8]

    Flips, flops, minimal models, etc.Surveys in differential geometry, 1(1):113–199, 1990

    J Kollár. Flips, flops, minimal models, etc.Surveys in differential geometry, 1(1):113–199, 1990

    work page 1990

  9. [9]

    Taut two-dimensional singularities.Mathematische Annalen, 205:131–164, 1973

    Henry B Laufer. Taut two-dimensional singularities.Mathematische Annalen, 205:131–164, 1973

    work page 1973

  10. [10]

    Quadratic functions and smoothing surface singularities.Topology, 25(3):261–291, 1986

    Eduard Looijenga and Jonathan Wahl. Quadratic functions and smoothing surface singularities.Topology, 25(3):261–291, 1986

    work page 1986

  11. [11]

    Springer, 1973

    John Willard Milnor, Dale Husemoller, et al.Symmetric bilinear forms, vol- ume 73. Springer, 1973. 28 MÁRTON BEKE

    work page 1973

  12. [12]

    Springer Nature, 2022

    András Némethi.Normal Surface Singularities, volume 74. Springer Nature, 2022

    work page 2022

  13. [13]

    Unexpected stein fillings, ratio- nal surface singularities and plane curve arrangements.Geometry & Topology, 27(3):1083–1202, 2023

    Olga Plamenevskaya and Laura Starkston. Unexpected stein fillings, ratio- nal surface singularities and plane curve arrangements.Geometry & Topology, 27(3):1083–1202, 2023

    work page 2023

  14. [14]

    Sandwiched singularities and desingularization of surfaces by normalized Nash transformations.Annals of mathematics, pages 411–491, 1990

    Mark Spivakovsky. Sandwiched singularities and desingularization of surfaces by normalized Nash transformations.Annals of mathematics, pages 411–491, 1990

    work page 1990

  15. [15]

    Rational blowdowns and smoothings of surface singularities.Journal of Topology, 1(2):477–517, 2008

    András I Stipsicz, Zoltán Szabó, and Jonathan Wahl. Rational blowdowns and smoothings of surface singularities.Journal of Topology, 1(2):477–517, 2008

    work page 2008

  16. [16]

    Smoothings of normal surface singularities.Topology, 20(3):219–246, 1981

    Jonathan Wahl. Smoothings of normal surface singularities.Topology, 20(3):219–246, 1981

    work page 1981

  17. [17]

    On rational homology disk smoothings of valency 4 surface singularities.Geometry & Topology, 15(2):1125–1156, 2011

    Jonathan Wahl. On rational homology disk smoothings of valency 4 surface singularities.Geometry & Topology, 15(2):1125–1156, 2011. Alfréd Rényi Institute of Mathematics, Budapest, University of Technology and Economics, Budapest, Hungary Email address:bekem@renyi.hu

    work page 2011