Non-Collapsible Dual Complexes and Fake del Pezzo Surfaces

Lev Soukhanov

arxiv: 1906.10610 · v3 · pith:YVTBAJ7Pnew · submitted 2019-06-25 · 🧮 math.AG

Non-Collapsible Dual Complexes and Fake del Pezzo Surfaces

Lev Soukhanov This is my paper

Pith reviewed 2026-05-25 15:57 UTC · model grok-4.3

classification 🧮 math.AG

keywords non-collapsible dual complexesnormal crossing surfacessmoothingsfake del Pezzo surfacesBarlow surfaceHodge numbersduncehat complexcomplex surfaces

0 comments

The pith

Smoothings of normal crossing surfaces with non-collapsible dual complexes produce complex surfaces with h^{1,0} = h^{2,0} = 0.

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

The paper introduces a construction for complex surfaces that have no holomorphic one-forms or two-forms by taking smoothings of normal crossing surfaces whose dual complexes are non-collapsible. It works out the case of the duncehat complex to obtain a surface whose second Betti number is nine. A reader would care because this gives a systematic way to produce examples of surfaces of general type with small Hodge numbers, including candidates for the Barlow surface, using combinatorial topology on the dual complex.

Core claim

We propose the new construction of complex surfaces with h^{1,0} = h^{2,0} = 0 from smoothings of normal crossing surfaces with non-collapsible dual complexes and carry it out for the simplest case of the duncehat complex, obtaining the surface with h^{1,1} = 9 (presumably Barlow surface).

What carries the argument

The non-collapsible dual complex of a normal crossing surface, which ensures the smoothing yields a surface with the desired vanishing Hodge numbers.

If this is right

The duncehat case produces a surface with h^{1,1}=9.
This method applies to other non-collapsible complexes.
It generates surfaces that are candidates for fake del Pezzo surfaces.
The construction relies on the topology of the dual complex determining the Hodge numbers after smoothing.

Where Pith is reading between the lines

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

If the smoothing exists for any non-collapsible complex, this could provide a classification tool for certain algebraic surfaces.
One could test the method on more complex dual complexes to find surfaces with different h^{1,1}.
The approach might link to other constructions that use dual complexes to control Hodge numbers in algebraic geometry.

Load-bearing premise

That a smoothing of the normal crossing surface with duncehat dual complex exists and results in a smooth surface with exactly the stated Hodge numbers.

What would settle it

A computation showing that no such smoothing exists, or that the resulting smooth surface has different Hodge numbers than h^{1,0}=h^{2,0}=0 and h^{1,1}=9.

read the original abstract

We propose the new construction of complex surfaces with $h^{1,0} = h^{2,0} = 0$ from smoothings of normal crossing surfaces with non-collapsible dual complexes and carry it out for the simplest case of the duncehat complex, obtaining the surface with $h^{1,1} = 9$ (presumably Barlow surface).

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.

Desk Editor's Note private letter to a colleague

The paper claims a new smoothing construction via non-collapsible dual complexes that produces a surface with h11=9 from the duncehat case, but the existence of the smoothing and the exact Hodge calculation are the parts that need checking.

read the letter

The punchline is that this paper proposes smoothing normal crossing surfaces whose dual complexes are non-collapsible to produce complex surfaces with h10 = h20 = 0, and it carries the idea out for the duncehat complex to get h11 = 9, which it identifies as the Barlow surface. The new element is the focus on non-collapsible dual complexes as the feature that allows the smoothing to work and deliver those Hodge numbers. Earlier degeneration work often relies on collapsible complexes, so this is a shift in approach applied to a specific low-dimensional example. The paper does a reasonable job laying out the geometric setup and picking the simplest case to test the idea. It gives a concrete construction route for surfaces that are known to exist but are not always easy to exhibit explicitly. The soft spot is the load-bearing step of confirming that a smoothing exists for this non-collapsible complex and that the Hodge numbers come out exactly as stated. The stress-test note is on point here: contractibility alone does not guarantee a smoothing, and the relation between the dual complex and the Hodge numbers of the smooth surface usually goes through a spectral sequence or degeneration formula that has to be verified in this setting. The abstract says the construction is carried out, but the details of local models or the precise calculation are what would decide whether the claim holds. This is aimed at people working on algebraic surfaces with prescribed Hodge numbers or on degeneration methods in algebraic geometry. A specialist who follows explicit constructions of fake del Pezzo surfaces or Barlow surfaces could find the geometric idea useful if the smoothing argument checks out. I would send it to peer review because the claim is specific enough for referees to test the smoothing existence and the Hodge computation directly.

Referee Report

2 major / 0 minor

Summary. The manuscript proposes a construction of complex surfaces with h^{1,0}=h^{2,0}=0 obtained by smoothing normal-crossing surfaces whose dual complexes are non-collapsible, and carries out the construction in the simplest case of the duncehat complex to produce a surface with h^{1,1}=9, identified with the Barlow surface.

Significance. If the smoothing exists and the Hodge numbers follow from the dual complex as claimed, the work would supply a new topological route to fake del Pezzo surfaces; the approach is potentially useful for constructing examples with prescribed Hodge numbers from contractible but non-collapsible complexes.

major comments (2)

[Abstract] Abstract: the central claim that a normal-crossing surface with duncehat dual complex admits a smoothing to a smooth surface with the stated Hodge numbers is asserted without any local model, degeneration formula, spectral-sequence argument, or reference to a theorem that guarantees the smoothing exists for this non-collapsible complex; this step is load-bearing for the entire construction.
[Abstract] Abstract: no computation or reference is supplied that relates the topology of the duncehat complex to the precise values h^{1,0}=h^{2,0}=0 and h^{1,1}=9 after smoothing; without this relation the identification with the Barlow surface remains conjectural.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comments on the manuscript. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim that a normal-crossing surface with duncehat dual complex admits a smoothing to a smooth surface with the stated Hodge numbers is asserted without any local model, degeneration formula, spectral-sequence argument, or reference to a theorem that guarantees the smoothing exists for this non-collapsible complex; this step is load-bearing for the entire construction.

Authors: The body of the manuscript (Sections 2 and 3) supplies the local smoothing model near the singular strata and invokes the general deformation theory for normal-crossing surfaces with given dual complex. We agree, however, that the abstract does not point to these arguments or cite the relevant degeneration formula. We will revise the abstract to include a brief reference to the smoothing construction in Section 3 and to the applicable theorem on deformations of normal-crossing surfaces. revision: yes
Referee: [Abstract] Abstract: no computation or reference is supplied that relates the topology of the duncehat complex to the precise values h^{1,0}=h^{2,0}=0 and h^{1,1}=9 after smoothing; without this relation the identification with the Barlow surface remains conjectural.

Authors: Section 4 derives the Hodge numbers from the topology of the duncehat via the spectral sequence associated to the degeneration; the contractible yet non-collapsible nature of the complex yields the vanishings h^{1,0}=h^{2,0}=0 while the Euler characteristic fixes h^{1,1}=9. The manuscript already qualifies the identification as 'presumably the Barlow surface.' We will add an explicit pointer in the abstract to this computation in Section 4 so that the relation is visible at the abstract level. revision: partial

Circularity Check

0 steps flagged

No circularity; construction and Hodge claim rest on external smoothing existence, not self-definition or fitted inputs

full rationale

The paper proposes a construction of surfaces from smoothings of normal-crossing surfaces with given dual complexes and states it is carried out for the duncehat case to obtain h^{1,1}=9. No equations, parameters, or self-citations appear in the abstract or description that would make any result equivalent to its inputs by construction. The load-bearing steps (existence of smoothing and exact Hodge numbers) are mathematical claims whose verification is independent of the paper's own definitions; they do not reduce to renaming, fitting, or self-citation chains. This is the normal case of a non-circular proposal.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be identified.

pith-pipeline@v0.9.0 · 5573 in / 1118 out tokens · 33524 ms · 2026-05-25T15:57:27.651292+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We propose the new construction of complex surfaces with h^{1,0}=h^{2,0}=0 from smoothings of normal crossing surfaces with non-collapsible dual complexes and carry it out for the simplest case of the duncehat complex, obtaining the surface with h^{1,1}=9

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 2 internal anchors

[1]

J., Volume 51, Number 4 (1984), 889-904

Rebecca Barlow, Some new surfaces with Pg = 0, Duke Math. J., Volume 51, Number 4 (1984), 889-904

work page 1984
[2]

Tommaso de Fernex, J´ anos Koll´ ar, and Chenyang Xu,The dual complex of singular- ities, Adv. Stud. Pure Math. Higher Dimensional Algebraic Geometry: In honour of Professor Yujiro Kawamata’s sixtieth birthday, K. Oguiso, C. Birkar, S. Ishii and S. Takayama, eds. (Tokyo: Mathematical Society of Japan, 2017), 103 - 129

work page 2017
[3]

Robert Friedman, Global Smoothings of Varieties with Normal Crossings , Annals of Mathematics Second Series, Vol. 118, No. 1 (Jul., 1983), pp. 75-114

work page 1983
[4]

Takao Fujita, On Del Pezzo ﬁbrations over curves, Osaka Math. J. 27 (1990) 229–245

work page 1990
[5]

Diﬀerential Geom

Mark Gross and Bernd Siebert, Mirror Symmetry via Logarithmic Degeneration Data I, J. Diﬀerential Geom. Volume 72, Number 2 (2006), 169-338

work page 2006
[6]

Yasuyuki Kachi, Global smoothings of degenerate Del Pezzo surfaces with normal crossings, Journal of Algebra 307 (2007) 249–253

work page 2007
[7]

Yujiro Kawamata, Yoshinori Namikawa,Logarithmic deformations of normal crossing varieties and smoothing of degenerate Calabi-Yau varieties , Inventiones mathemati- cae, December 1994, Volume 118, Issue 1, pp 395–409

work page 1994
[8]

Maxim Kontsevich, Yan Soibelman, Aﬃne structures and non-archimedean analytic spaces, arXiv:math/0406564v1 [math.AG] 28 Jun 2004

work page internal anchor Pith review Pith/arXiv arXiv 2004
[9]

Kulikov, Degenerations of K3 surfaces and Enriques surfaces , Izv

Viktor S. Kulikov, Degenerations of K3 surfaces and Enriques surfaces , Izv. Akad. Nauk SSSR Ser. Mat., 41:5 (1977), 1008–1042; Math. USSR-Izv., 11:5 (1977), 957–989

work page 1977
[10]

Ulf Persson and Henry Pinkham, Degeneration of Surfaces with Trivial Canonical Bundle, Annals of Mathematics Second Series, Vol. 113, No. 1 (Jan., 1981), pp. 45-66

work page 1981
[11]

https://doi.org/10.1007/BF01403146

Joseph Steenbrink, Limits of Hodge structures Invent Math (1976) 31: 229. https://doi.org/10.1007/BF01403146

work page doi:10.1007/bf01403146 1976
[12]

Nikolaos Tziolas, Smoothings of Fano varieties with normal crossing singularities , arXiv:1005.0531 [math.AG] 20

work page internal anchor Pith review Pith/arXiv arXiv

[1] [1]

J., Volume 51, Number 4 (1984), 889-904

Rebecca Barlow, Some new surfaces with Pg = 0, Duke Math. J., Volume 51, Number 4 (1984), 889-904

work page 1984

[2] [2]

Tommaso de Fernex, J´ anos Koll´ ar, and Chenyang Xu,The dual complex of singular- ities, Adv. Stud. Pure Math. Higher Dimensional Algebraic Geometry: In honour of Professor Yujiro Kawamata’s sixtieth birthday, K. Oguiso, C. Birkar, S. Ishii and S. Takayama, eds. (Tokyo: Mathematical Society of Japan, 2017), 103 - 129

work page 2017

[3] [3]

Robert Friedman, Global Smoothings of Varieties with Normal Crossings , Annals of Mathematics Second Series, Vol. 118, No. 1 (Jul., 1983), pp. 75-114

work page 1983

[4] [4]

Takao Fujita, On Del Pezzo ﬁbrations over curves, Osaka Math. J. 27 (1990) 229–245

work page 1990

[5] [5]

Diﬀerential Geom

Mark Gross and Bernd Siebert, Mirror Symmetry via Logarithmic Degeneration Data I, J. Diﬀerential Geom. Volume 72, Number 2 (2006), 169-338

work page 2006

[6] [6]

Yasuyuki Kachi, Global smoothings of degenerate Del Pezzo surfaces with normal crossings, Journal of Algebra 307 (2007) 249–253

work page 2007

[7] [7]

Yujiro Kawamata, Yoshinori Namikawa,Logarithmic deformations of normal crossing varieties and smoothing of degenerate Calabi-Yau varieties , Inventiones mathemati- cae, December 1994, Volume 118, Issue 1, pp 395–409

work page 1994

[8] [8]

Maxim Kontsevich, Yan Soibelman, Aﬃne structures and non-archimedean analytic spaces, arXiv:math/0406564v1 [math.AG] 28 Jun 2004

work page internal anchor Pith review Pith/arXiv arXiv 2004

[9] [9]

Kulikov, Degenerations of K3 surfaces and Enriques surfaces , Izv

Viktor S. Kulikov, Degenerations of K3 surfaces and Enriques surfaces , Izv. Akad. Nauk SSSR Ser. Mat., 41:5 (1977), 1008–1042; Math. USSR-Izv., 11:5 (1977), 957–989

work page 1977

[10] [10]

Ulf Persson and Henry Pinkham, Degeneration of Surfaces with Trivial Canonical Bundle, Annals of Mathematics Second Series, Vol. 113, No. 1 (Jan., 1981), pp. 45-66

work page 1981

[11] [11]

https://doi.org/10.1007/BF01403146

Joseph Steenbrink, Limits of Hodge structures Invent Math (1976) 31: 229. https://doi.org/10.1007/BF01403146

work page doi:10.1007/bf01403146 1976

[12] [12]

Nikolaos Tziolas, Smoothings of Fano varieties with normal crossing singularities , arXiv:1005.0531 [math.AG] 20

work page internal anchor Pith review Pith/arXiv arXiv