arxiv: 2605.11932 · v1 · submitted 2026-05-12 · 🧮 math.AG

Recognition: 2 theorem links

· Lean Theorem

Double Veronese cones with singularities

Yuri Prokhorov

Pith reviewed 2026-05-13 05:00 UTC · model grok-4.3

classification 🧮 math.AG

keywords double Veronese conesdel Pezzo varietiesterminal Gorenstein singularitiesnodesautomorphism groupsrationalityunirationalityQ-factorial varieties

0 comments

The pith

Double Veronese cones with terminal Gorenstein singularities have sharp bounds on nodes and explicit rationality criteria.

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

The paper examines three-dimensional del Pezzo varieties of degree one, called double Veronese cones, that carry terminal Gorenstein singularities. It establishes sharp upper limits on the number of nodes these objects can contain, especially when they are Q-factorial. The analysis also fixes the structure of their automorphism groups and supplies conditions that decide rationality or unirationality. A concrete construction realizes the bound with exactly 21 nodes in the Q-factorial setting. These results classify a family of singular Fano threefolds and clarify when such varieties are rational.

Core claim

We study double Veronese cones -- three-dimensional del Pezzo varieties of degree one -- with terminal Gorenstein singularities. We prove sharp bounds for the number of nodes, determine the structure of the automorphism group, and establish criteria for rationality and unirationality. In particular, we exhibit a Q-factorial nodal double Veronese cone with 21 nodes.

What carries the argument

The double Veronese cone, realized as a three-dimensional del Pezzo variety of degree one equipped with terminal Gorenstein singularities, whose nodes and Q-factoriality control the bounds, automorphism structure, and rationality criteria.

If this is right

The number of nodes on a Q-factorial double Veronese cone is at most 21.
The automorphism group of such a cone is completely determined by the configuration of its nodes.
Rationality or unirationality of a double Veronese cone is decided by explicit conditions on its singularities.
Non-Q-factorial examples obey different bounds and may fail the rationality criteria that hold in the Q-factorial case.

Where Pith is reading between the lines

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

The 21-node example supplies a concrete test case for open questions about rationality of singular Fano threefolds.
The same counting techniques may extend to del Pezzo varieties of other degrees or to terminal singularities of higher index.
The classification of automorphism groups could feed into the minimal model program for threefolds with isolated singularities.

Load-bearing premise

The objects under study are three-dimensional del Pezzo varieties of degree one equipped with terminal Gorenstein singularities.

What would settle it

Construction or discovery of a Q-factorial double Veronese cone with 22 or more nodes would disprove the claimed sharp bound.

Figures

Figures reproduced from arXiv: 2605.11932 by Yuri Prokhorov.

**Figure 1.** Figure 1: Ga-invariant pencil of conics. can be given by the equation (6.6) z 2 + y 3 + εyψλ ′ 1 ψλ ′ 2 + ψλ1ψλ2ψλ3 = 0, where ε ∈ k is a constant and ψλi , ψλ ′ j are given by (6.3), and Ga acts on X via (6.7) (x1, x2, x3, y, z) 7−→ x1 + x2t + 1 2 x3t 2 , x2 + x3t, x3, y, z . where ε ∈ k is a constant and the quadratic forms ψλi , ψλ ′ j are given by (6.3). The singular locus of X consists of a single point P := (… view at source ↗

read the original abstract

We study double Veronese cones -- three-dimensional del Pezzo varieties of degree one -- with terminal Gorenstein singularities. We prove sharp bounds for the number of nodes, determine the structure of the automorphism group, and establish criteria for rationality and unirationality. In particular, we exhibit a $\mathbb{Q}$-factorial nodal double Veronese cone with $21$ nodes.

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

Prokhorov pins down sharp node bounds for double Veronese cones and gives an explicit 21-node Q-factorial example using explicit equations and Milnor numbers.

read the letter

Hi, the key point is that this paper establishes sharp bounds on the number of nodes for double Veronese cones with terminal Gorenstein singularities and constructs a concrete Q-factorial example with 21 nodes. That example and the bound look like the main new pieces. The work proceeds by writing the varieties as hypersurfaces in weighted projective space, then using the genus formula together with local Milnor number calculations to limit the nodes. The 21-node case is built as a specific quartic whose singular points are found by solving the system of partial derivatives. The automorphism group is read off by lifting to the ambient space and checking stabilizers, while rationality and unirationality criteria come from explicit birational maps to P^3 or conic bundles. All of this stays internally consistent and avoids any special assumptions on the base field or characteristic. The methods are the usual ones for this corner of birational geometry, so nothing revolutionary in technique, but the explicit constructions and the sharp bound are useful additions to the existing classification results on singular del Pezzo threefolds of degree one. The only real limitation is that the topic is narrow; the results will mainly interest people already working on terminal singularities and 3-fold classifications rather than a wider audience. Within that group the paper is worth reading because the claims are specific and the constructions are checkable. It deserves a serious referee. I would send it out for review.

Referee Report

0 major / 3 minor

Summary. The paper studies double Veronese cones, defined as three-dimensional del Pezzo varieties of degree one, equipped with terminal Gorenstein singularities. It classifies such singularities via explicit equations in weighted projective space, derives sharp bounds on the number of nodes by combining the genus formula with local Milnor number calculations, determines the structure of the automorphism group by lifting to the ambient space and checking stabilizers, establishes criteria for rationality and unirationality via explicit birational maps to P^3 or conic bundles, and constructs a specific Q-factorial nodal example with 21 nodes realized as a quartic hypersurface whose singular locus is found by solving a system of partial derivatives.

Significance. If the results hold, the work provides a concrete classification and explicit constructions for singular del Pezzo threefolds of degree one, including a notable 21-node Q-factorial example that achieves the sharp bound. The combination of genus/Milnor number techniques with birational geometry strengthens the contribution to the study of terminal singularities and rationality questions in algebraic geometry.

minor comments (3)

§1 (Introduction): the statement of the sharp node bound is given only in the abstract and theorem statements; include a brief numerical summary (e.g., 'at most 21 nodes') in the opening paragraph for immediate readability.
§3 (Classification of singularities): the transition from the weighted projective embedding to the explicit quartic equation for the 21-node example would benefit from an additional sentence clarifying the choice of weights and the enumeration of solutions to the partial derivative system.
Table 1 (node counts): verify that the Milnor number computations for each singularity type are cross-referenced to the corresponding local equation in §2.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our work and the positive recommendation for minor revision. The referee's description accurately captures the main results on the classification of terminal Gorenstein singularities of double Veronese cones, the sharp bounds on nodes via genus and Milnor number techniques, the determination of automorphism groups, the rationality/unirationality criteria, and the explicit Q-factorial 21-node example.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The manuscript classifies terminal Gorenstein singularities on double Veronese cones via explicit equations in weighted projective space, derives node bounds from the genus formula combined with local Milnor number calculations, and constructs the 21-node example as a specific quartic hypersurface by enumerating solutions to a system of partial derivatives. Automorphism groups are found by lifting to ambient space and checking stabilizers; rationality criteria use explicit birational maps to P^3 or conic bundles. All steps are direct geometric computations with no fitted parameters renamed as predictions, no self-definitional loops, and no load-bearing self-citations that reduce the central claims to prior unverified inputs. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The study rests on the standard definition of double Veronese cones as degree-one del Pezzo threefolds together with the assumption that singularities are terminal and Gorenstein; no free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Objects are three-dimensional del Pezzo varieties of degree one with terminal Gorenstein singularities
This is the explicit setup stated in the abstract.

pith-pipeline@v0.9.0 · 5335 in / 1123 out tokens · 53817 ms · 2026-05-13T05:00:43.412338+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/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
We prove sharp bounds for the number of nodes... exhibit a Q-factorial nodal double Veronese cone with 21 nodes.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
The identity component of the automorphism group Aut(X) is either a torus G_m or the additive group G_a.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

[1]

On non-normal del P ezzo surfaces

Makoto Abe and Mikio Furushima. On non-normal del P ezzo surfaces . Math. Nachr. , 260:3--13, 2003

work page 2003
[2]

Lie groups and L ie algebras

Nicolas Bourbaki. Lie groups and L ie algebras. C hapters 4--6 . Elements of Mathematics (Berlin) . Springer-Verlag, Berlin, 2002. Translated from the 1968 French original by Andrew Pressley

work page 2002
[3]

On factoriality of nodal threefolds

Ivan Cheltsov. On factoriality of nodal threefolds . J. Algebraic Geom. , 14(4):663--690, 2005

work page 2005
[4]

Lectures on invariant theory , volume 296 of Lond

Igor Dolgachev. Lectures on invariant theory , volume 296 of Lond. Math. Soc. Lect. Note Ser. Cambridge: Cambridge University Press, 2003

work page 2003
[5]

Nonnormal D el P ezzo surfaces and F ano threefolds of the first kind

Mikio Furushima and Minoru Tada. Nonnormal D el P ezzo surfaces and F ano threefolds of the first kind. J. Reine Angew. Math. , 429:183--190, 1992

work page 1992
[6]

Classification theories of polarized varieties , volume 155 of London Mathematical Society Lecture Note Series

Takao Fujita. Classification theories of polarized varieties , volume 155 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 1990

work page 1990
[7]

M. M. Grinenko. Mori structures on a F ano threefold of index 2 and degree 1 . Proc. Steklov Inst. Math. , 246:103--128, 2004

work page 2004
[8]

Grayson and Michael E

Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at https://macaulay2.com/

work page
[9]

Normal G orenstein surfaces with ample anti-canonical divisor

Fumio Hidaka and Keiichi Watanabe. Normal G orenstein surfaces with ample anti-canonical divisor. Tokyo J. Math. , 4(2):319--330, 1981

work page 1981
[10]

V. A. Iskovskikh and Yu. Prokhorov. Fano varieties. A lgebraic geometry V , volume 47 of Encyclopaedia Math. Sci. Springer, Berlin, 1999

work page 1999
[11]

V. A. Iskovskikh. Anticanonical models of three-dimensional algebraic varieties. J. Sov. Math. , 13:745--814, 1980

work page 1980
[12]

V. A. Iskovskikh. Minimal models of rational surfaces over arbitrary fields. Math. USSR-Izv. , 14(1):17--39, 1980

work page 1980
[13]

V. A. Iskovskikh. Factorization of birational mappings of rational surfaces from the point of view of M ori theory. Russian Math. Surveys , 51(4):585--652, 1996

work page 1996
[14]

Ueber die transformation siebenter ordnung der elliptischen functionen

Felix Klein. Ueber die transformation siebenter ordnung der elliptischen functionen. Mat. Ann. , 14(3):428--471, 1878. English translation by Silvio Levy: On the Order-Seven Transformation of Elliptic Functions, in ``The Eightfold Way: The Beauty of Klein's Quartic Curve'' (Mathematical Sciences Research Institute Publications) Cambridge University Press, 1999

work page 1999
[15]

Quadratic families of elliptic curves and unirationality of degree 1 conic bundles

J \'a nos Koll \'a r and Massimiliano Mella. Quadratic families of elliptic curves and unirationality of degree 1 conic bundles . Am. J. Math. , 139(4):915--936, 2017

work page 2017
[16]

Unirationality of cubic hypersurfaces

J \'a nos Koll \'a r. Unirationality of cubic hypersurfaces. J. Inst. Math. Jussieu , 1(3):467--476, 2002

work page 2002
[17]

On higher-dimensional del P ezzo varieties

Alexander Kuznetsov and Yuri Prokhorov. On higher-dimensional del P ezzo varieties. Izvestiya: Math. , 87(3):75--148, 2023

work page 2023
[18]

Hilbert schemes of lines and conics and automorphism groups of F ano threefolds

Alexander Kuznetsov, Yuri Prokhorov, and Constantin Shramov. Hilbert schemes of lines and conics and automorphism groups of F ano threefolds. Japanese J. Math. , 13(1):109--185, 2018

work page 2018
[19]

Yu. I. Manin. Cubic forms: algebra, geometry, arithmetic . North-Holland Publishing Co., Amsterdam, 1974. Translated from the Russian by M. Hazewinkel, North-Holland Mathematical Library, Vol. 4

work page 1974
[20]

G- F ano threefolds, I

Yuri Prokhorov. G- F ano threefolds, I . Adv. Geom. , 13(3):389--418, 2013

work page 2013
[21]

Prokhorov

Yuri. Prokhorov. On the number of singular points of terminal factorial F ano threefolds. Math. Notes , 101(5-6):1068--1073, 2017

work page 2017
[22]

Conic bundle structures on Q - F ano threefolds

Yuri Prokhorov. Conic bundle structures on Q - F ano threefolds. Electron. Res. Arch. , 30(5):1881--1897, 2022. Special issue on birational geometry and moduli of projective varieties

work page 2022
[23]

Prokhorov

Yuri G. Prokhorov. Fano threefolds. Proc. Steklov Inst. Math. , 328(Suppl. 1):1--130, 2025

work page 2025
[24]

Double V eronese cones admitting an action of the K lein simple group

Yuri Prokhorov. Double V eronese cones admitting an action of the K lein simple group. in preparation, 2026

work page 2026
[25]

On the H ilbert scheme compactification of the space of twisted cubics

Ragni Piene and Michael Schlessinger. On the H ilbert scheme compactification of the space of twisted cubics. Amer. J. Math. , 107(4):761, August 1985

work page 1985
[26]

Minimal models of canonical 3 -folds

Miles Reid. Minimal models of canonical 3 -folds. In Algebraic varieties and analytic varieties ( T okyo, 1981) , volume 1 of Adv. Stud. Pure Math. , pages 131--180. North-Holland, Amsterdam, 1983

work page 1981
[27]

Nonnormal del P ezzo surfaces

Miles Reid. Nonnormal del P ezzo surfaces. Publ. Res. Inst. Math. Sci. , 30(5):695--727, 1994

work page 1994
[28]

3 -dimensional F ano varieties with canonical singularities

Kil-Ho Shin. 3 -dimensional F ano varieties with canonical singularities. Tokyo J. Math. , 12(2):375--385, 1989

work page 1989
[29]

On the unirationality of del P ezzo surfaces of degree 2

Cec \'i lia Salgado, Damiano Testa, and Anthony V \'a rilly-Alvarado. On the unirationality of del P ezzo surfaces of degree 2 . J. Lond. Math. Soc. (2) , 90(1):121--139, 2014

work page 2014
[30]

Weak Fano threefolds with del Pezzo fibration

Kiyohiko Takeuchi. Weak Fano threefolds with del Pezzo fibration. Eur. J. Math. , 8(3):1225--1290, 2022

work page 2022
[31]

A. N. Tyurin. The middle J acobian of three-dimensional varieties . J. Sov. Math. , 13:707--745, 1980

work page 1980
[32]

H. Weber. Lehrbuch der Algebra , volume 2. Braunschweig: Fr . Vieweg & Sohn , 2 edition, 1899

work page