On complete generators of certain Lie algebras on Danielewski surfaces

Rafael B. Andrist

arxiv: 2406.14702 · v3 · submitted 2024-06-20 · 🧮 math.CV · math.AG

On complete generators of certain Lie algebras on Danielewski surfaces

Rafael B. Andrist This is my paper

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

classification 🧮 math.CV math.AG

keywords Danielewski surfacecomplete vector fieldsLie algebralocally nilpotent derivationsinfinite transitivitypolynomial vector fieldsvolume-preserving

0 comments

The pith

The Lie algebra of polynomial vector fields on the Danielewski surface xy = p(z) is generated by six complete vector fields.

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

The paper shows that on a smooth Danielewski surface xy = p(z), the full Lie algebra of polynomial vector fields is generated by six explicitly given complete vector fields. It also establishes that the subalgebra consisting of volume-preserving polynomial vector fields is generated by a finite collection of vector fields, where the exact number depends on the degree of the polynomial p. In addition, four locally nilpotent derivations generate a Lie subalgebra whose associated flows produce a group acting infinitely transitively on the surface, with the construction extended to the case where the third coordinate lies in higher-dimensional complex space.

Core claim

On the Danielewski surface defined by xy = p(z) with p a polynomial such that the surface is smooth, the Lie algebra of polynomial vector fields is generated by 6 complete vector fields. The Lie algebra of volume-preserving polynomial vector fields is generated by finitely many vector fields whose number depends on the degree of p. A Lie sub-algebra generated by 4 LNDs has the property that the group generated by its flows acts infinitely transitively on the surface, and this last result generalizes when z belongs to C^N.

What carries the argument

Six explicitly constructed complete vector fields that together generate the full Lie algebra of polynomial vector fields on the surface xy = p(z).

Load-bearing premise

The explicit constructions of the six complete vector fields and the four LNDs remain valid for every polynomial p(z) that defines a smooth Danielewski surface.

What would settle it

A concrete counterexample would be any specific polynomial p(z) yielding a smooth surface xy = p(z) for which the six given complete vector fields fail to generate the entire Lie algebra of polynomial vector fields.

read the original abstract

We study the Lie algebra of polynomial vector fields on a smooth Danielewski surface of the form $x y = p(z)$ with $x,y,z \in \mathbb{C}$. We provide explicitly given generators to show that: 1. The Lie algebra of polynomial vector fields is generated by $6$ complete vector fields. 2. The Lie algebra of volume-preserving polynomial vector fields is generated by finitely many vector fields, whose number depends on the degree of the defining polynomial. 3. There exists a Lie sub-algebra generated by $4$ LNDs whose flows generate a group that acts infinitely transitively on the Danielewski surface. The latter result is also generalized to higher dimensions where $z \in \mathbb{C}^N$.

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

Explicit generators for the polynomial vector fields on xy=p(z) surfaces, with the six complete fields claimed to work for general p but the high-degree case unverified in the provided material.

read the letter

The paper supplies explicit lists of six complete polynomial vector fields that are asserted to generate the full Lie algebra Der(C[X]) on the Danielewski surface xy = p(z), together with a finite (degree-dependent) set for the volume-preserving subalgebra and four LNDs whose flows act infinitely transitively. It also extends the transitivity result to higher-dimensional versions with z in C^N. These concrete constructions are the main new element relative to earlier, more abstract treatments of the same surfaces. The explicit forms let a reader compute brackets and check the claimed spanning property directly, which is a practical step forward for anyone who needs to work with these specific automorphism groups. The volume-preserving and transitivity claims follow the same pattern of listing generators and verifying the algebraic properties. The central generation argument uses repeated Lie brackets to reach a monomial basis and reduces degrees via the relation xy - p(z). That reduction works cleanly for low-degree p, but when deg(p) >= 3 the leftover higher z-terms may not all be reachable from the six fixed fields without coefficients that depend on the particular roots or leading term of p. The abstract states the result for arbitrary smooth p, yet no Gröbner-basis check or explicit high-degree example appears in the material supplied. If the full proofs contain a uniform argument that covers every degree, the concern disappears; otherwise the claim rests on an untested reduction step. The LND construction for transitivity looks less sensitive to this issue once the four fields are given. The work is aimed at researchers already studying infinite transitivity and automorphism groups of affine surfaces; a reader outside that niche will find the lists useful mainly as concrete data. The paper deserves a serious referee because the claims are specific enough to be checked and the constructions are reproducible in principle.

Referee Report

2 major / 2 minor

Summary. The manuscript claims that on a smooth Danielewski surface X given by xy = p(z), the Lie algebra Der(C[X]) of polynomial vector fields is generated by six explicitly constructed complete vector fields; the volume-preserving subalgebra is generated by finitely many fields whose number depends on deg(p); and a Lie subalgebra generated by four LNDs has flows that act infinitely transitively on X, with a generalization to the higher-dimensional case z in C^N.

Significance. If the explicit constructions and generation arguments hold for arbitrary p defining a smooth surface, the results supply concrete generators for these Lie algebras and a finitely generated subalgebra realizing infinite transitivity, which would be a concrete advance in the study of automorphism groups of affine surfaces.

major comments (2)

[Abstract (result 1) and the generation argument (presumably the section containing the bracket computations)] The central claim (abstract, result 1) that six complete polynomial vector fields generate the full Der(C[X]) for every smooth Danielewski surface requires explicit verification that the Lie brackets produce a basis of monomial derivations when deg(p) >= 3; the reduction via the relation xy - p(z) can leave unreduced higher-degree terms in the z-direction whose coefficients depend on the leading term or roots of p.
[The section proving result 1] No independent check (e.g., Gröbner-basis computation of the generated module or explicit basis for a concrete p of degree 4 or higher) is supplied to confirm that the six fields suffice without additional generators whose form depends on p; this is load-bearing for the claim that the construction works uniformly.

minor comments (2)

[Abstract] The abstract states the three numbered results but does not indicate the sections in which the explicit vector fields or the bracket computations appear; adding forward references would improve readability.
[Statement of result 3] Clarify whether the four LNDs in result 3 are among the six complete fields of result 1 or are constructed separately.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. Below we respond point by point to the major comments concerning result 1.

read point-by-point responses

Referee: [Abstract (result 1) and the generation argument (presumably the section containing the bracket computations)] The central claim (abstract, result 1) that six complete polynomial vector fields generate the full Der(C[X]) for every smooth Danielewski surface requires explicit verification that the Lie brackets produce a basis of monomial derivations when deg(p) >= 3; the reduction via the relation xy - p(z) can leave unreduced higher-degree terms in the z-direction whose coefficients depend on the leading term or roots of p.

Authors: The proof of result 1 consists of explicit successive Lie bracket computations performed in the coordinate ring C[X] = C[x,y,z]/(xy - p(z)). The six complete fields are constructed so that their brackets produce derivations whose coefficients, after reduction by the relation, generate all monomial vector fields of the required types. The reduction step uses the smoothness of X (ensuring p has distinct roots) only to guarantee that certain linear combinations remain nonzero; the algebraic identities themselves hold uniformly for any polynomial p of given degree and do not introduce coefficient dependence on the leading term or individual roots beyond what is already controlled by the general bracket formulas. revision: no
Referee: [The section proving result 1] No independent check (e.g., Gröbner-basis computation of the generated module or explicit basis for a concrete p of degree 4 or higher) is supplied to confirm that the six fields suffice without additional generators whose form depends on p; this is load-bearing for the claim that the construction works uniformly.

Authors: The manuscript supplies a direct algebraic proof rather than a computational one. Nevertheless, we agree that an explicit low-degree verification would increase readability. In the revised version we will add, for a concrete smooth Danielewski surface with deg(p)=4, the explicit list of all monomial derivations obtained after a finite number of brackets and confirm that they span the expected module. revision: yes

Circularity Check

0 steps flagged

No circularity; claims rest on explicit algebraic constructions

full rationale

The paper's central claims rest on providing explicit generators (six complete vector fields, four LNDs) whose Lie brackets are asserted to produce the full polynomial derivation algebra on xy = p(z). No step reduces a claimed generator or transitivity property to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The constructions are stated to hold for arbitrary smooth p(z), and verification would proceed by direct computation of brackets and degree reduction using the surface equation, which is independent of the target result itself. This is the normal case of a constructive paper whose derivation chain does not collapse by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard definition of the Lie algebra of polynomial vector fields on an affine variety and on the notion of complete vector fields and locally nilpotent derivations; no free parameters, ad-hoc axioms, or new entities are visible in the abstract.

axioms (2)

standard math The Lie bracket of polynomial vector fields on an affine algebraic variety forms a Lie algebra.
Invoked implicitly when claiming that certain fields generate the full algebra.
standard math A vector field is complete if its flow exists for all time.
Used in the first numbered claim.

pith-pipeline@v0.9.0 · 5653 in / 1308 out tokens · 26481 ms · 2026-05-24T00:00:24.570443+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

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

Infinite transitivity and polynomial vector fields
math.AG 2026-05 unverdicted novelty 6.0

For many pairs H1, H2 of root subgroups of Aut(C^2), the group they generate acts with an open orbit on (C^2)^m for every positive integer m.

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages · cited by 1 Pith paper

[1]

Andrist, Integrable generators of Lie algebras of vector ﬁelds on Cn, Forum Math

[And19] Rafael B. Andrist, Integrable generators of Lie algebras of vector ﬁelds on Cn, Forum Math. 31 (2019), no. 4, 943–949, DOI 10.1515/forum-2018-

work page doi:10.1515/forum-2018- 2019
[2]

[And23] , Integrable generators of Lie algebras of vector ﬁelds on SL2(C) and on xy = z2, J. Geom. Anal. 33 (2023), DOI 10.1007/s12220-023- 01294-x. [AKZ19] I. Arzhantsev, K. Kuyumzhiyan, and M. Zaidenberg, Inﬁnite transitivity, ﬁnite generation, and Demazure roots , Adv. Math. 351 (2019), 1–32, DOI 10.1016/j.aim.2019.05.006. MR3949984 [For17] Franc Forst...

work page doi:10.1007/s12220-023- 2023
[3]

MR3700709 [FK22] F

The homotopy principle in complex ana l- ysis. MR3700709 [FK22] F. Forstneriˇ c and F. Kutzschebauch, The ﬁrst thirty years of An- ders´ en-Lempert theory, Anal. Math. 48 (2022), no. 2, 489–544, DOI 10.1007/s10476-022-0130-1. MR4440754 [KK08] Shulim Kaliman and Frank Kutzschebauch, Density property for hy- persurfaces U V = P ( X), Math. Z. 258 (2008), no...

work page doi:10.1007/s10476-022-0130-1 2022

[1] [1]

Andrist, Integrable generators of Lie algebras of vector ﬁelds on Cn, Forum Math

[And19] Rafael B. Andrist, Integrable generators of Lie algebras of vector ﬁelds on Cn, Forum Math. 31 (2019), no. 4, 943–949, DOI 10.1515/forum-2018-

work page doi:10.1515/forum-2018- 2019

[2] [2]

[And23] , Integrable generators of Lie algebras of vector ﬁelds on SL2(C) and on xy = z2, J. Geom. Anal. 33 (2023), DOI 10.1007/s12220-023- 01294-x. [AKZ19] I. Arzhantsev, K. Kuyumzhiyan, and M. Zaidenberg, Inﬁnite transitivity, ﬁnite generation, and Demazure roots , Adv. Math. 351 (2019), 1–32, DOI 10.1016/j.aim.2019.05.006. MR3949984 [For17] Franc Forst...

work page doi:10.1007/s12220-023- 2023

[3] [3]

MR3700709 [FK22] F

The homotopy principle in complex ana l- ysis. MR3700709 [FK22] F. Forstneriˇ c and F. Kutzschebauch, The ﬁrst thirty years of An- ders´ en-Lempert theory, Anal. Math. 48 (2022), no. 2, 489–544, DOI 10.1007/s10476-022-0130-1. MR4440754 [KK08] Shulim Kaliman and Frank Kutzschebauch, Density property for hy- persurfaces U V = P ( X), Math. Z. 258 (2008), no...

work page doi:10.1007/s10476-022-0130-1 2022