Additive actions on complete toric surfaces

Sergey Dzhunusov

REVIEW 2 major objections 4 minor 19 references

Additive actions on complete toric surfaces

T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Complete toric surfaces carry either one or two additive actions, and a simple fan condition decides which.

desk verdict The wide-fan classification is a nice new result, but the non-isomorphism proof has a false annihilator claim that needs fixing. read the letter →

arxiv 1908.03563 v1 pith:UIVPADG7 submitted 2019-08-07 math.AG

Sergey Dzhunusov This is my paper · ORCID

classification math.AG MSC 14L3014M2513N1514J5014M17

keywords additiveactiontoricvarietycompletesurfaceDemazurerootlocallynilpotentderivationCoxringunipotentgroupfanclassification

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

An additive action on a surface is a regular, effective action of the two-dimensional additive group $\mathbb{G}_a^2$ with an open orbit; it views the surface as an equivariant completion of the affine plane. This paper proves a complete classification for complete toric surfaces. Whenever such an action exists, there is either exactly one additive action up to isomorphism, or exactly two non-isomorphic ones, one normalized by the acting torus and one not. The alternative is determined by the fan: if the fan is wide, meaning the two root sets $R_1$ and $R_2$ each consist of a single element, the action is unique; otherwise both classes occur. This turns the classification into a finite combinatorial check on the defining fan and explains the known two-action pattern on $\mathbb{P}^2$ and Hirzebruch surfaces.

What carries the argument

The machinery is the dictionary between additive actions and pairs of commuting homogeneous locally nilpotent derivations of degree zero on the Cox ring $R(X_\Sigma)$, with roots indexed by Demazure roots. After fixing an ordering so that the primitive ray vectors $p_1,p_2$ are a basis, the root sets are $R_1=\{(-1,k):0\le k\le d_1\}$ and $R_2=\{(k,-1):0\le k\le d_2\}$ for some nonnegative integers; the fan is wide exactly when both sets are singletons, i.e. $d=0$. The load-bearing identity is the commutator relation $[\delta,\partial_k]=k\,\partial_{k-1}$, which forces the coefficient of $\partial_d$ to be invariant up to torus conjugation, so all nonzero values of that coefficient collapse into one non-normalized isomorphism class.

What would settle it

Compute, for the complete toric surface with ray vectors $p_1=(1,0)$, $p_2=(0,1)$, $p_3=(-1,-2)$, $p_4=(-2,-1)$, all pairs of commuting homogeneous locally nilpotent derivations of degree zero on its Cox ring; the theorem predicts that every pair is conjugate to the displayed normalized pair. If any pair not conjugate to that pair exists, Theorem 3 is false. Equivalently, any complete toric surface with a wide fan carrying two non-isomorphic additive actions would refute the dichotomy.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3 of the paper. Let $X_\Sigma$ be a complete toric surface admitting an additive action. Then $X_\Sigma$ has exactly one additive action up to isomorphism if and only if the fan $\Sigma$ is wide; otherwise it has exactly two non-isomorphic additive actions, one normalized and one not. The proof classifies all additive actions by describing the two-dimensional commutative subgroups of the maximal unipotent subgroup $U$ of $\mathrm{Aut}(X_\Sigma)$ generated by the one-parameter additive root subgroups. In Cox-ring coordinates the two classes are explicit: the normalized action is generated by derivations $\delta$ and $\partial_0$, while the non-normalized action is generated by $\delta + \partial_d$ and $\partial_0$ with $d>0$, and conjugation by the torus reduces every non-normalized action to the same normal form with coefficient $1$.

Load-bearing premise

The classification assumes that every additive action on a complete toric surface is isomorphic to a two-dimensional commutative subgroup of the subgroup of automorphisms generated by the one-parameter additive subgroups attached to the positive Demazure roots, so that classifying those subgroups is exhaustive; the paper uses this step without writing out a full proof.

Editorial extensions

If this is right

Every complete toric surface that admits an additive action has at most two isomorphism classes of additive actions.
The unique-action case is characterized combinatorially: a fan is wide exactly when $R_1$ and $R_2$ are singletons, equivalently when primitive rays occur in both open regions of the negative quadrant separated by the diagonal.
When two actions exist, one is normalized by the torus and the other is not, and the non-normalized one has the explicit normal form $\delta+\partial_d,\partial_0$; the parameter $\mu_d$ is a fake modulus because torus conjugation identifies all nonzero values.
The classification reproduces the known cases: $\mathbb{P}^1\times\mathbb{P}^1$ and the fan with $p_3=-p_1-2p_2$, $p_4=-2p_1-p_2$ have a single action, while $\mathbb{P}^2$ and the Hirzebruch surface $F_1$ have two.
The two actions are distinguished by an explicit invariant computed in the Cox ring: the collection of annihilator lines $\operatorname{Ann}_V f$ on the homogeneous component $C$ containing $x_2$ is a continuous family of lines for the normalized action and a two-point set for the non-normalized one.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Beyond the paper's claims: the same normal-form computations suggest a testable extension to complete toric threefolds, where the paper notes $\mathbb{P}^3$ already has four non-isomorphic additive actions, so the one-or-two pattern is special to surfaces.
Beyond the paper's claims: the annihilator-line invariant used to separate the two surface actions could serve as a distinguishing invariant for additive actions on singular non-toric normal surfaces, where the Cox ring is still available but not polynomial; comparing it on the known singular del Pezzo examples would be a natural check.
Beyond the paper's claims: because the theorem reduces existence and uniqueness to integer comparisons among the coefficients $\alpha_{ji}$ of the excess rays, the classification is effectively checkable by a finite algorithm for any explicitly presented complete toric surface.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

The headline is that Dzhunusov proves a natural classification: every complete toric surface admits at most two additive actions, and exactly one iff the fan is wide. That is a real step beyond the known special cases (P^2, Hirzebruch surfaces, weighted projective planes), the criterion is a simple numerical condition on rays, and the Demazure-root machinery is used cleanly. The bracket computations, the normal form reduction in Lemma 7, and the torus-conjugation argument in Lemma 8 are all coherent.

The trouble is Lemma 9, the only proof that the normalized and non-normalized actions are non-isomorphic. The stress-test note is right: take f = M0 = product_{j≥3} x_j^{α_j2}. Both D1 = δ + ∂d and D2 = ∂0 kill M0, so Ann_V(M0) = V, not KD2 or 0. The paper's own equations (8) confirm this: when λ = 0 and all λ_k for k≥1 are zero, no condition constrains s1 or s2. So the asserted dichotomy is false, and the non-isomorphism half of Theorem 3 is not proved as written. The underlying invariant may still separate the actions, but the argument needs a new idea or a more careful choice of test subspace.

Two smaller points. First, the proof of Theorem 3 starts by saying it will classify two-dimensional subgroups of a single maximal unipotent subgroup U of Aut(XΣ), but I do not see where it is shown that every additive action is conjugate into that U. This may be standard or derivable from [5], but it should be stated. Second, in Lemma 6 the claim that the degrees of x3,...,xm form a basis of the character lattice of H_X is asserted "by construction"; this is true for complete toric surfaces, but the argument belongs in the text.

Overall: the theorem is likely correct and the paper is worth engaging, but it is not in publishable shape. A serious referee should send it back for a corrected Lemma 9 and a small clarification of the reduction step. I would not cite the main theorem until the proof is repaired, but I would bring the paper to the reading group—the wide-fan criterion is attractive and the flaw is instructive.

Referee Report

2 major / 4 minor

Summary. The paper classifies additive actions (effective regular actions of G_a^n with an open orbit) on complete toric surfaces. The main result, Theorem 3, states that a complete toric surface admitting an additive action has exactly one additive action up to isomorphism if and only if its fan is wide (equivalently, it has rays in both regions A_I and A_II defined in Section 6), and otherwise it has exactly two non-isomorphic additive actions, one normalized by the acting torus and one not. The proof uses the Cox ring description of toric varieties, Demazure roots, and a normal-form analysis of commuting locally nilpotent derivations corresponding to two-dimensional commutative unipotent subgroups of the automorphism group.

Significance. If correct, this gives a complete and effectively checkable classification of additive actions on complete toric surfaces, extending the known cases of the projective plane, Hirzebruch surfaces, and some weighted projective planes. The paper is generally clearly written and relies on standard, well-established machinery (Demazure root theory, Cox rings, the Arzhantsev-Romaskevich classification of normalized actions). The main result is a natural and valuable contribution to the literature on additive actions and equivariant compactifications of the affine plane. However, the proof as written contains a specific error in the non-isomorphism argument (Lemma 9) and an unproved reduction to a single maximal unipotent subgroup, so the classification is not yet fully established by the present text.

major comments (2)

[Section 6, Lemma 9] The proof of Lemma 9 is incorrect: the claim that for the non-normalized action (6) the annihilator Ann_V(f) is either KD2 or 0 for every nonzero f in C fails. Taking f = ∏_{j≥3} x_j^{α_j2} (the k=0 monomial, so λ=0, λ_0=1, λ_k=0 for k≥1), both D1=δ+∂d and D2=∂0 annihilate f, because f involves neither x1 nor x2. Equations (8) impose no condition on s1 and s2 in this case, so Ann_V(f)=V, the full two-dimensional Lie algebra. Since Lemma 9 is the only argument proving that the normalized action (5) and the non-normalized action (6) are non-isomorphic, the proof of the 'otherwise there exist two non-isomorphic additive actions' half of Theorem 3 is incomplete as written. A correct invariant can likely be recovered by comparing the full collection of one-dimensional annihilators (the normalized action admits K D1, which never occurs for the non-normalized action), but this corrected argument does not appear in the paper.
[Section 6, proof of Theorem 3] The proof begins by declaring that additive actions on XΣ are classified by describing two-dimensional subgroups of a fixed maximal unipotent subgroup U of Aut(XΣ) generated by the positive Demazure roots R+ (with positivity determined by a vector u from Proposition 2). No justification is given for the reduction to this particular U: the authors do not prove (or cite a theorem stating) that every additive action on a complete toric surface is conjugate in Aut(XΣ) to a subgroup of U. This is load-bearing, because if some additive action were not conjugate into U, the classification in Theorem 3 would omit it. The gap is likely repairable using standard facts on unipotent subgroups of algebraic groups (the image of G_a^2 is connected and unipotent, hence lies in a maximal unipotent subgroup of Aut(XΣ)^0), but the argument must be supplied.

minor comments (4)

[Section 6, Lemma 6] The assertion that 'the weights of the remaining m-2 coordinates with respect to the Cl(X)-grading form a basis of the lattice of characters of the torus H_X' is stated 'by construction' but not proved. Since p1 and p2 form a basis of N, the exact sequence 0→M→Z^m→Cl(X)→0 for a complete toric surface implies that the classes [D_3],...,[D_m] form a basis of Cl(X)≅Z^{m-2}; this should be spelled out to justify the open-orbit claim.
[Section 6, Lemma 7] The proof uses exp(δ+∑η_k∂k) as an automorphism of the Cox ring, but the local nilpotence of the derivation δ+∑η_k∂k is not justified. It follows from the triangular form of the derivation with respect to the variables, but this point should be mentioned explicitly.
[Section 5, Lemma 2] In the proof of Lemma 2, the expression '−p_i^* + ∑_{l≠i} Z_{\ge0} p_j^*' contains a typo: the summation index is l but the basis vector is written as p_j^*; it should be p_l^*.
[Throughout] There are several typographical errors, including 'Surf ac es' and 'tor ic' in the title and abstract, 'In there term' in Section 6, and 'Propostion' in Example 4.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the classification is derived from external toric, Cox, and Demazure results, with no fitted inputs or self-referential definitions.

full rationale

I find no circularity in the claimed derivation. Theorem 3's classification is not obtained by defining the target into existence: the wide-fan condition (Definition 5) is formulated purely in terms of ray data, namely the existence of rays in the two regions A_I and A_II, independent of the additive-action classification. The two action classes (5) and (6) are concrete Cox-ring formulas, and their non-isomorphism is attacked by annihilator computations in Lemma 9. Whatever the merits of that computation, including the skeptic's objection that Ann_V(M_0) = V for M_0 = \prod_{j\ge 3} x_j^{\alpha_{j2}}, that is a potential correctness flaw, not a circular one; it does not define non-isomorphism into the conclusion. The proof's load-bearing reductions, that normalized additive actions correspond to complete collections of Demazure roots and that any additive action admits a normalized one, are cited to [5, Theorems 1 and 3] and to Cox/Demazure theory ([9], [11]); the cited authors are not the present author, so this is not a self-citation chain. Lemma 6's 'by construction' statement that the Cl(X)-degrees of the remaining m-2 Cox coordinates form a basis of the character lattice is a consequence of the Cox exact sequence and the fact that p1 and p2 are a basis of N; it is a derivation step, not an assumption of the conclusion. No fitted parameter is renamed a prediction, no quantity is defined in terms of the result it is used to prove, and the paper does not invoke the authors' own uniqueness theorem as the sole support for its central claim. Hence the paper is self-contained relative to standard external toric-geometry results, and the circularity score is 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim rests on standard toric geometry, Cox ring theory, Demazure root classification, and two theorems from Arzhantsev-Romaskevich. No parameters are fitted to data and no new physical or geometric entities are introduced; the only notable burden is the unstated unipotent-subgroup reduction.

assumptions (6)

domain assumption K is algebraically closed of characteristic zero.
The whole paper works over such a field, as stated in the introduction; G_a, toric varieties, and locally nilpotent derivations are used in this setting.
domain assumption [5, Theorem 1]: normalized additive actions on XΣ are in bijection with complete collections of Demazure roots.
Used as Theorem 1 in Section 4 and is the starting point for Proposition 1.
domain assumption [5, Theorem 2]: for a complete toric variety, existence of an additive action implies existence of a normalized one.
Used in Proposition 1 and Theorem 3 to reduce all additive actions to the normalized setting.
standard math The Cox ring of a toric variety is a polynomial ring K[x_1,...,x_m] graded by Cl(X), and regular G_a-actions correspond to homogeneous locally nilpotent derivations of degree zero.
Standard Cox/Demazure theory cited to [9] and [3, Theorem 4.2.3.2], used throughout Sections 3-6.
standard math Demazure roots describe normalized G_a-actions, and every such action is induced by a homogeneous LND of the form x^a ∂/∂x_i.
Introduced in Section 3 and used to compute the brackets in Lemma 4 and the explicit action formulas.
domain assumption All unipotent subgroups of Aut(XΣ) can be assumed to lie in one maximal unipotent subgroup U generated by positive root subgroups.
Invoked without proof in the proof of Theorem 3 before Lemma 3; standard for linear algebraic groups, but not explicitly justified for automorphism groups of toric surfaces.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Additive actions on complete toric surfaces." pith.science (2026). https://pith.science/paper/UIVPADG7

@misc{pith2026190803563,
  author       = {Pith},
  title        = {Pith review of: Additive actions on complete toric surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UIVPADG7}},
  note         = {Machine review of arXiv:1908.03563}
}

abstract

By an additive action on an algebraic variety $X$ we mean a regular effective action $\mathbb{G}_a^n\times X\to X$ with an open orbit of the commutative unipotent group $\mathbb{G}_a^n$. In this paper, we give a classification of additive actions on complete toric surfaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[5]

Additive actions on tor ic varieties

Ivan Arzhantsev and Elena Romaskevich. Additive actions on tor ic varieties. Proc. Amer. Math. Soc. 145 (2017), no. 5, 1865–1879

work page 2017
[1]

Flag varieties as equivariant compactiﬁcation s of Gn a

Ivan Arzhantsev. Flag varieties as equivariant compactiﬁcation s of Gn a . Proc. Amer. Math. Soc. 139 (2011), no. 3, 783–786

work page 2011
[2]

Commutative algebraic monoid structures on affine spaces

Ivan Arzhantsev, Sergey Bragin, and Yulia Zaitseva. Commutat ive algebraic monoid structures on aﬃne spaces. Comm. Contem. Math., to appear; arXiv:1809.052911

work page Pith review arXiv
[3]

Cox rings

Ivan Arzhantsev, Ulrich Derenthal, J¨ urgen Hausen, and Anto nio Laface. Cox rings . Cambridge Studies in Adv. Math. 144, Cambridge University Press, New York, 2 015

work page
[4]

Additive actions on pro jective hypersurfaces

Ivan Arzhantsev and Andrey Popovskiy. Additive actions on pro jective hypersurfaces. In: Auto- morphisms in Birational and Aﬃne Geometry, Proc. Math. Stat. 79, Springer, 2014, 17-33

work page 2014
[6]

Hassett-Tschinkel cor respondence: Modality and projective hypersurfaces

Ivan Arzhantsev and Elena Sharoyko. Hassett-Tschinkel cor respondence: Modality and projective hypersurfaces. J. Algebra 348 (2011), no. 1, 217–232

work page 2011
[7]

On the distribution of points of bounded height on equivariant compactiﬁcations of vector groups

Antoine Chambert-Loir and Yuri Tschinkel. On the distribution of points of bounded height on equivariant compactiﬁcations of vector groups. Invent. Math. 1 48 (2002), no. 2, 421-452

work page 2002
[8]

Integral points of b ounded height on partial equivariant compactiﬁcations of vector groups

Antoine Chambert-Loir and Yuri Tschinkel. Integral points of b ounded height on partial equivariant compactiﬁcations of vector groups. Duke Math. J. 161 (2012), n o. 15, 2799–2836

work page 2012

Show all 19 references

[9]

The homogeneous coordinate ring of a toric variety

David Cox. The homogeneous coordinate ring of a toric variety. J . Alg. Geom. 4 (1995), no. 1, 17–50

1995
[10]

Toric Varieties

David Cox, John Little, and Henry Schenck. Toric Varieties. Graduate Studies in Math. 124, AMS, Providence, RI, 2011

2011
[11]

Sous-groupes algebriques de rang maximum d u groupe de Cremona

Michel Demazure. Sous-groupes algebriques de rang maximum d u groupe de Cremona. Ann. Sci. Ecole Norm. Sup. 3 (1970), 507–588

1970
[12]

Singular del Pezzo surf aces that are equivariant compacti- ﬁcations

Ulrich Derenthal and Daniel Loughran. Singular del Pezzo surf aces that are equivariant compacti- ﬁcations. J. Math. Sciences 171 (2010), no. 6, 714–724

2010
[13]

Unipotent commutative group actions on ﬂ ag varieties and nilpotent multipli- cations

Rostislav Devyatov. Unipotent commutative group actions on ﬂ ag varieties and nilpotent multipli- cations. Transform. Groups 20 (2015), no. 1, 21–64

2015
[14]

GM a degeneration of ﬂag varieties

Evgeny Feigin. GM a degeneration of ﬂag varieties. Selecta Math. New Ser. 18 (2012), no. 3, 513–537

2012
[15]

Uniqueness of equivariant comp actiﬁcations of Cn by a Fano manifold of Picard number 1

Baohua Fu and Jun-Muk Hwang. Uniqueness of equivariant comp actiﬁcations of Cn by a Fano manifold of Picard number 1. Math. Research Letters 21 (2014), n o. 1, 121–125

2014
[16]

Introduction to toric varieties

William Fulton. Introduction to toric varieties . Annales of Math. Studies 131, Princeton University Press, Princeton, NJ, 1993

1993
[17]

Geometry of equivariant compactiﬁcations of Gn a

Brendan Hassett and Yuri Tschinkel. Geometry of equivariant compactiﬁcations of Gn a . Int. Math. Res. Notices 1999 (1999), no. 22, 1211–1230

1999
[18]

Commutative algebraic grou ps and intersections of quadrics

Friedrich Knop and Herbert Lange. Commutative algebraic grou ps and intersections of quadrics. Math. Ann. 267 (1984), no. 4, 555-571

1984
[19]

Convex bodies and algebraic geometry: an introduction to to ric varieties

Tadao Oda. Convex bodies and algebraic geometry: an introduction to to ric varieties . A Series of Modern Surveys in Math. 15, Springer Verlag, Berlin, 1988 Lomonosov Moscow State University, F aculty of Mechanics an d Mathematics, De- partment of Higher Algebra, Leninskie Gor...

1988

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [5]

Additive actions on tor ic varieties

Ivan Arzhantsev and Elena Romaskevich. Additive actions on tor ic varieties. Proc. Amer. Math. Soc. 145 (2017), no. 5, 1865–1879

work page 2017

[2] [1]

Flag varieties as equivariant compactiﬁcation s of Gn a

Ivan Arzhantsev. Flag varieties as equivariant compactiﬁcation s of Gn a . Proc. Amer. Math. Soc. 139 (2011), no. 3, 783–786

work page 2011

[3] [2]

Commutative algebraic monoid structures on affine spaces

Ivan Arzhantsev, Sergey Bragin, and Yulia Zaitseva. Commutat ive algebraic monoid structures on aﬃne spaces. Comm. Contem. Math., to appear; arXiv:1809.052911

work page Pith review arXiv

[4] [3]

Cox rings

Ivan Arzhantsev, Ulrich Derenthal, J¨ urgen Hausen, and Anto nio Laface. Cox rings . Cambridge Studies in Adv. Math. 144, Cambridge University Press, New York, 2 015

work page

[5] [4]

Additive actions on pro jective hypersurfaces

Ivan Arzhantsev and Andrey Popovskiy. Additive actions on pro jective hypersurfaces. In: Auto- morphisms in Birational and Aﬃne Geometry, Proc. Math. Stat. 79, Springer, 2014, 17-33

work page 2014

[6] [6]

Hassett-Tschinkel cor respondence: Modality and projective hypersurfaces

Ivan Arzhantsev and Elena Sharoyko. Hassett-Tschinkel cor respondence: Modality and projective hypersurfaces. J. Algebra 348 (2011), no. 1, 217–232

work page 2011

[7] [7]

On the distribution of points of bounded height on equivariant compactiﬁcations of vector groups

Antoine Chambert-Loir and Yuri Tschinkel. On the distribution of points of bounded height on equivariant compactiﬁcations of vector groups. Invent. Math. 1 48 (2002), no. 2, 421-452

work page 2002

[8] [8]

Integral points of b ounded height on partial equivariant compactiﬁcations of vector groups

Antoine Chambert-Loir and Yuri Tschinkel. Integral points of b ounded height on partial equivariant compactiﬁcations of vector groups. Duke Math. J. 161 (2012), n o. 15, 2799–2836

work page 2012