Isotropy subgroups of homogeneous locally nilpotent derivations

Dmitriy Chunaev; Polina Evdokimova

arxiv: 2604.04762 · v1 · submitted 2026-04-06 · 🧮 math.AG

Isotropy subgroups of homogeneous locally nilpotent derivations

Dmitriy Chunaev , Polina Evdokimova This is my paper

Pith reviewed 2026-05-10 18:51 UTC · model grok-4.3

classification 🧮 math.AG

keywords locally nilpotent derivationsisotropy subgroupsaffine toric varietiestrinomial hypersurfacesmaximal derivationshomogeneous derivationsGa-actionsaffine varieties

0 comments

The pith

Maximal homogeneous locally nilpotent derivations on affine toric varieties and certain trinomial hypersurfaces have explicitly describable isotropy groups.

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

The paper establishes explicit descriptions of the isotropy groups attached to maximal homogeneous locally nilpotent derivations on affine toric varieties and on certain trinomial hypersurfaces. It also supplies criteria that determine when a homogeneous locally nilpotent derivation on these varieties is maximal. These objects correspond to algebraic actions of the additive group on the varieties, so the results classify the largest possible commuting families of such actions in concrete geometric settings where explicit computation is feasible.

Core claim

A locally nilpotent derivation δ is called maximal when no inequivalent locally nilpotent derivation commutes with it. For affine toric varieties and for certain trinomial hypersurfaces the isotropy groups of all maximal homogeneous locally nilpotent derivations admit explicit descriptions, and separate criteria are given that decide whether any given homogeneous locally nilpotent derivation on these varieties is maximal.

What carries the argument

The maximality condition on a homogeneous locally nilpotent derivation, defined by the non-existence of any inequivalent commuting locally nilpotent derivation, together with the associated isotropy subgroup.

If this is right

On affine toric varieties the isotropy groups of maximal homogeneous locally nilpotent derivations are completely determined by the weights or support of the derivation.
On the indicated trinomial hypersurfaces the same isotropy groups admit a parallel explicit description.
The maximality criteria give a practical test that decides, for any homogeneous locally nilpotent derivation on these varieties, whether it is maximal.
The results therefore classify all maximal Ga-actions whose derivations are homogeneous on these two families of affine varieties.

Where Pith is reading between the lines

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

The explicit descriptions may serve as a model for obtaining similar isotropy-group data on other classes of affine varieties whose homogeneous locally nilpotent derivations are already classified.
If the maximality criteria can be verified without the toric or trinomial hypotheses, the same technique would apply to a wider range of hypersurface singularities.
The isotropy-group information directly constrains the possible stabilizers of points under the corresponding Ga-actions.

Load-bearing premise

The varieties under study must be precisely affine toric varieties or the indicated trinomial hypersurfaces and the derivations must be both homogeneous and locally nilpotent.

What would settle it

An explicit homogeneous locally nilpotent derivation on an affine toric variety that satisfies the maximality criterion yet whose isotropy group fails to match the form given by the paper's description.

read the original abstract

We say that a locally nilpotent derivations $\delta$ is maximal if there are no inequivalent locally nilpotent derivations that commute with $\delta$. The paper gives a description of isotropy groups of maximal homogeneous locally nilpotent derivations on affine toric varieties and on certain trinomial hypersurfaces. Moreover, the criteria for homogeneous locally nilpotent derivations to be maximal were obtained for these classes of varieties.

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

This paper supplies explicit descriptions of isotropy subgroups for maximal homogeneous LNDs on affine toric varieties and trinomial hypersurfaces, plus maximality criteria based on absence of commuting inequivalent derivations.

read the letter

The core result is a description of the isotropy groups of maximal homogeneous locally nilpotent derivations on affine toric varieties, worked out via the standard grading and Demazure roots, together with the same for certain trinomial hypersurfaces. It also gives criteria for when a homogeneous LND counts as maximal on these classes, stated as the lack of inequivalent homogeneous LNDs that commute with it. These come from direct checks against the definitions of homogeneity and local nilpotency, without extra machinery. That is the concrete advance: targeted, usable descriptions rather than a general theory overhaul. The approach stays self-contained and rests on standard facts about toric varieties and the chosen hypersurfaces, which is a strength for specialists who need explicit groups or checks for maximality. The stress-test note aligns with this, confirming no hidden assumptions about the variety classes are required beyond what is stated. Soft spots are limited. The work is deliberately narrow, so it does not extend to other varieties or non-homogeneous cases, and that keeps expectations realistic. If the full proofs in the manuscript are as direct as the note suggests, they should verify cleanly, but the abstract alone left the details opaque. No circularity or fitting issues appear in the claims. This paper is for researchers already working on locally nilpotent derivations, toric varieties, or hypersurface classifications in algebraic geometry. Someone in that niche would find the isotropy descriptions and maximality tests practical for their own calculations or extensions. It shows clear, honest engagement with the relevant literature and definitions. I would cite it in my own work if I were handling similar explicit computations on these varieties. It deserves a serious referee because the results are specific, verifiable, and fill a targeted gap, even if the audience stays small. Recommend sending it to peer review instead of a desk reject.

Referee Report

0 major / 1 minor

Summary. The paper defines a locally nilpotent derivation δ as maximal if there exist no inequivalent LNDs that commute with it. It supplies explicit descriptions of the isotropy subgroups of maximal homogeneous LNDs on affine toric varieties (via the standard grading and Demazure roots) and on certain trinomial hypersurfaces, together with criteria for a homogeneous LND to be maximal on these classes of varieties. The constructions rest on direct verification from the definitions of homogeneity and local nilpotency.

Significance. If the results hold, the work contributes concrete descriptions of isotropy groups and maximality criteria for homogeneous LNDs on two families of affine varieties. This is useful for studying automorphism groups and algebraic group actions in toric geometry and hypersurface settings. The self-contained character of the arguments, relying only on the stated definitions without additional hidden assumptions, is a positive feature.

minor comments (1)

The opening sentence of the abstract contains a grammatical error ('a locally nilpotent derivations δ is maximal' should read 'a locally nilpotent derivation δ is maximal').

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our manuscript and the positive assessment of its significance for studying automorphism groups and algebraic group actions in toric geometry and hypersurface settings. We note the recommendation for minor revision, but observe that the major comments section contains no specific points.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The manuscript defines a maximal LND explicitly as one admitting no inequivalent commuting LNDs, then derives isotropy-subgroup descriptions and maximality criteria for homogeneous LNDs on affine toric varieties (via the standard grading and Demazure roots) and on the indicated trinomial hypersurfaces. These rest on direct verification from the definitions of homogeneity and local nilpotency together with the explicit coordinate descriptions of the varieties; no step reduces by construction to a fitted input, a self-referential definition, or a load-bearing self-citation. The central claims therefore remain independent of the inputs and are self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities can be identified from the abstract alone; the work appears to rely on standard background in algebraic geometry and derivation theory without introducing new postulated objects.

pith-pipeline@v0.9.0 · 5349 in / 1227 out tokens · 62427 ms · 2026-05-10T18:51:32.199291+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/DimensionForcing.lean (and Cost/FunctionalEquation.lean) reality_from_one_distinction; washburn_uniqueness_aczel unclear

?

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

We say that a locally nilpotent derivation δ is maximal if there are no inequivalent locally nilpotent derivations that commute with δ. ... description of isotropy groups of maximal homogeneous LNDs on affine toric varieties ... combinatorial criterion ... Demazure roots ... ⟨e, v'⟩ ≠ 0 for every extremal ray ρ' ∈ E(ρ)

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

25 extracted references · 25 canonical work pages

[1]

Arzhantsev, S

I. Arzhantsev, S. Gaifullin.The automorphism group of a rigid affine variety, Math. Nachr. 290 (2017), no. 5-6, 662-671

work page 2017
[2]

Baltazar, M

R. Baltazar, M. Veloso.On isotropy group of Danielewski surfaces, Comm. Algebra 49 (2021), no. 3, 1006–1016

work page 2021
[3]

Boldyrev, S

I. Boldyrev, S. Gaifullin.Automorphisms of Nonnormal Toric Varieties, Math. Notes 110 (2021),№6, 872-886

work page 2021
[4]

Cassels.An Introduction to the Geometry of Numbers, Springer-Verlag, Berlin, Göttingen, Heidelberg, 1959

J.W.S. Cassels.An Introduction to the Geometry of Numbers, Springer-Verlag, Berlin, Göttingen, Heidelberg, 1959

work page 1959
[5]

D. Cox, J. Little, H. Schenck.Toric Varieties, Grad. Stud. Math., 124, Amer. Math. Soc., Providence, RI, 2011

work page 2011
[6]

Dasgupta, S

N. Dasgupta, S. Gaifullin.On locally nilpotent derivations of polynomial algebra in three variables, Sb. Math 216 (2025),№4, 456-484

work page 2025
[7]

Dasgupta, S

N. Dasgupta, S. Gaifullin, A. Lahiri.Isotropy subgroups of locally nilpotent derivations, in preparation

work page
[8]

Dasgupta, A

N. Dasgupta, A. Lahiri.Isotropy subgroups of some almost rigid domains, J. Pure Appl. Algebra 227 (2023), no. 4, 107250

work page 2023
[9]

Demazure.Sous-groupes algebraiques de rang maximum du groupe de Cremona, Ann

M. Demazure.Sous-groupes algebraiques de rang maximum du groupe de Cremona, Ann. Sci. Éc. Norm. Supér 3 (1970), no. 4, 507–588

work page 1970
[10]

R. Díaz, A. Liendo.On the automorphism group of non-necessarily normal affine toric varieties, Int. Math. Res. Not. 2024 (2024), no. 2, 1624-1649

work page 2024
[11]

Freudenburg.Algebraic Theory of Locally Nilpotent Derivations, Second Edition, Springer-Verlag, Berlin, Heidelberg, 2017

G. Freudenburg.Algebraic Theory of Locally Nilpotent Derivations, Second Edition, Springer-Verlag, Berlin, Heidelberg, 2017

work page 2017
[12]

Flenner, M

H. Flenner, M. Zaidenberg.On the uniqueness ofC⋆-actions on affine surfaces. In: Affine Algebraic Geometry, Contemp. Math. 369, Amer. Math. Soc., Providence, RI (2005), 97-111

work page 2005
[13]

Fulton.Introduction to Toric Varieties, Ann

W. Fulton.Introduction to Toric Varieties, Ann. of Math. Stud., 131, Princeton Univ. Press, Princeton, NJ, 1993

work page 1993
[14]

On the geometry of the automorphism groups of affine varieties

J.-P. Furter, H. Kraft.On the geometry of the automorphism groups of affine varieties, arXiv:1809.04175, 2018

work page Pith review arXiv 2018
[15]

Gaifullin.Automorphisms of Danielewski varieties, J

S. Gaifullin.Automorphisms of Danielewski varieties, J. Algebra 573 (2021), no. 4, 364-392

work page 2021
[16]

On rigidity of trinomial hypersurfaces and factorial trinomial varieties

S. Gaifullin.On Rigidity of trinomial hypersurfaces and factorial trinomial varieties, arXiv:1902.06136v2, 2019

work page Pith review arXiv 1902
[17]

Hausen, M

J. Hausen, M. Wrobel.Non-complete rational T-varieties of complexity one, Math. Nachr. 290 (2017), no. 5-6, 815-826

work page 2017
[18]

Liendo.Affine T-varieties of complexity one and locally nilpotent derivations, Transform

A. Liendo.Affine T-varieties of complexity one and locally nilpotent derivations, Transform. Groups 15 (2010), no. 2, 389–425

work page 2010
[19]

Mendes, I

L.G. Mendes, I. Pan.On plane polynomial automorphisms commuting with simple derivations, J. Pure Appl. Algebra 221, (2017), no. 4, 875-882

work page 2017
[20]

Perepechko, A

A. Perepechko, A. Regeta.When is the automorphism group of an affine variety nested?Transform. Groups 28 (2023), no. 1, 401-412

work page 2023
[21]

Rassolov.Homogeneous locally nilpotent derivations on trinomial varieties, Math

K. Rassolov.Homogeneous locally nilpotent derivations on trinomial varieties, Math. Notes 118 (2025), no. 4, 820-835

work page 2025
[22]

Regeta, I

A. Regeta, I. van Santen.Maximal commutative unipotent subgroups and a characterization of affine spherical varieties, J. Eur. Math. Soc. (2024), published online first

work page 2024
[23]

Rentschler.Operations du groupe additif sur le plane affine, C

R. Rentschler.Operations du groupe additif sur le plane affine, C. R. Math. Acad. Sci. Paris 267 (1968), 384-387

work page 1968
[24]

Shafarevich.On some infinite-dimensional groups, Rend

I.R. Shafarevich.On some infinite-dimensional groups, Rend. Mat. e Appl. (5) 25 (1966), no. 1-2, 208–212

work page 1966
[25]

Shafarevich.On some infinite-dimensional groups

I.R. Shafarevich.On some infinite-dimensional groups. II, Izv. Akad. Nauk SSSR Ser. Mat. 45 (1981), no. 1, 214–226 Lomonosov Moscow State University National Research University Higher School of Eco- nomics, Moscow Email address:dchunaev@hse.ru Lomonosov Moscow State University National Research University Higher School of Eco- nomics, Moscow Email addres...

work page 1981

[1] [1]

Arzhantsev, S

I. Arzhantsev, S. Gaifullin.The automorphism group of a rigid affine variety, Math. Nachr. 290 (2017), no. 5-6, 662-671

work page 2017

[2] [2]

Baltazar, M

R. Baltazar, M. Veloso.On isotropy group of Danielewski surfaces, Comm. Algebra 49 (2021), no. 3, 1006–1016

work page 2021

[3] [3]

Boldyrev, S

I. Boldyrev, S. Gaifullin.Automorphisms of Nonnormal Toric Varieties, Math. Notes 110 (2021),№6, 872-886

work page 2021

[4] [4]

Cassels.An Introduction to the Geometry of Numbers, Springer-Verlag, Berlin, Göttingen, Heidelberg, 1959

J.W.S. Cassels.An Introduction to the Geometry of Numbers, Springer-Verlag, Berlin, Göttingen, Heidelberg, 1959

work page 1959

[5] [5]

D. Cox, J. Little, H. Schenck.Toric Varieties, Grad. Stud. Math., 124, Amer. Math. Soc., Providence, RI, 2011

work page 2011

[6] [6]

Dasgupta, S

N. Dasgupta, S. Gaifullin.On locally nilpotent derivations of polynomial algebra in three variables, Sb. Math 216 (2025),№4, 456-484

work page 2025

[7] [7]

Dasgupta, S

N. Dasgupta, S. Gaifullin, A. Lahiri.Isotropy subgroups of locally nilpotent derivations, in preparation

work page

[8] [8]

Dasgupta, A

N. Dasgupta, A. Lahiri.Isotropy subgroups of some almost rigid domains, J. Pure Appl. Algebra 227 (2023), no. 4, 107250

work page 2023

[9] [9]

Demazure.Sous-groupes algebraiques de rang maximum du groupe de Cremona, Ann

M. Demazure.Sous-groupes algebraiques de rang maximum du groupe de Cremona, Ann. Sci. Éc. Norm. Supér 3 (1970), no. 4, 507–588

work page 1970

[10] [10]

R. Díaz, A. Liendo.On the automorphism group of non-necessarily normal affine toric varieties, Int. Math. Res. Not. 2024 (2024), no. 2, 1624-1649

work page 2024

[11] [11]

Freudenburg.Algebraic Theory of Locally Nilpotent Derivations, Second Edition, Springer-Verlag, Berlin, Heidelberg, 2017

G. Freudenburg.Algebraic Theory of Locally Nilpotent Derivations, Second Edition, Springer-Verlag, Berlin, Heidelberg, 2017

work page 2017

[12] [12]

Flenner, M

H. Flenner, M. Zaidenberg.On the uniqueness ofC⋆-actions on affine surfaces. In: Affine Algebraic Geometry, Contemp. Math. 369, Amer. Math. Soc., Providence, RI (2005), 97-111

work page 2005

[13] [13]

Fulton.Introduction to Toric Varieties, Ann

W. Fulton.Introduction to Toric Varieties, Ann. of Math. Stud., 131, Princeton Univ. Press, Princeton, NJ, 1993

work page 1993

[14] [14]

On the geometry of the automorphism groups of affine varieties

J.-P. Furter, H. Kraft.On the geometry of the automorphism groups of affine varieties, arXiv:1809.04175, 2018

work page Pith review arXiv 2018

[15] [15]

Gaifullin.Automorphisms of Danielewski varieties, J

S. Gaifullin.Automorphisms of Danielewski varieties, J. Algebra 573 (2021), no. 4, 364-392

work page 2021

[16] [16]

On rigidity of trinomial hypersurfaces and factorial trinomial varieties

S. Gaifullin.On Rigidity of trinomial hypersurfaces and factorial trinomial varieties, arXiv:1902.06136v2, 2019

work page Pith review arXiv 1902

[17] [17]

Hausen, M

J. Hausen, M. Wrobel.Non-complete rational T-varieties of complexity one, Math. Nachr. 290 (2017), no. 5-6, 815-826

work page 2017

[18] [18]

Liendo.Affine T-varieties of complexity one and locally nilpotent derivations, Transform

A. Liendo.Affine T-varieties of complexity one and locally nilpotent derivations, Transform. Groups 15 (2010), no. 2, 389–425

work page 2010

[19] [19]

Mendes, I

L.G. Mendes, I. Pan.On plane polynomial automorphisms commuting with simple derivations, J. Pure Appl. Algebra 221, (2017), no. 4, 875-882

work page 2017

[20] [20]

Perepechko, A

A. Perepechko, A. Regeta.When is the automorphism group of an affine variety nested?Transform. Groups 28 (2023), no. 1, 401-412

work page 2023

[21] [21]

Rassolov.Homogeneous locally nilpotent derivations on trinomial varieties, Math

K. Rassolov.Homogeneous locally nilpotent derivations on trinomial varieties, Math. Notes 118 (2025), no. 4, 820-835

work page 2025

[22] [22]

Regeta, I

A. Regeta, I. van Santen.Maximal commutative unipotent subgroups and a characterization of affine spherical varieties, J. Eur. Math. Soc. (2024), published online first

work page 2024

[23] [23]

Rentschler.Operations du groupe additif sur le plane affine, C

R. Rentschler.Operations du groupe additif sur le plane affine, C. R. Math. Acad. Sci. Paris 267 (1968), 384-387

work page 1968

[24] [24]

Shafarevich.On some infinite-dimensional groups, Rend

I.R. Shafarevich.On some infinite-dimensional groups, Rend. Mat. e Appl. (5) 25 (1966), no. 1-2, 208–212

work page 1966

[25] [25]

Shafarevich.On some infinite-dimensional groups

I.R. Shafarevich.On some infinite-dimensional groups. II, Izv. Akad. Nauk SSSR Ser. Mat. 45 (1981), no. 1, 214–226 Lomonosov Moscow State University National Research University Higher School of Eco- nomics, Moscow Email address:dchunaev@hse.ru Lomonosov Moscow State University National Research University Higher School of Eco- nomics, Moscow Email addres...

work page 1981