REVIEW 2 major objections 5 minor 8 references
On nilpotent generators of the symplectic Lie algebra
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For every nonzero nilpotent element of the symplectic Lie algebra, a nilpotent partner exists so that the two generate the whole algebra.
desk verdict The main theorem is true but not new; the paper's value is in the explicit proof and the criterion, though Lemma 2's consistency claim needs a real argument. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing construction is the 'consistent element' $T$: a semisimple element on which every root takes a nonzero value and distinct roots take distinct values. Lemma 1 shows that $T$ together with $N = \sum_{\alpha \in \Phi} v_\alpha$ generates the algebra, because the vectors $A_i = [T, A_{i-1}]$ form a Vandermonde system whose determinant is nonzero exactly when $T$ is consistent. In Lemma 2 the paper writes down an explicit matrix $T$ whose eigenvalues are the $2n$-th roots of unity, then subtracts the lowest root vector to make the partner $Y$ nilpotent. The claim that this $T$ is consistent is the point on which the rest of the proof depends.
What would settle it
For $n=2$ (the algebra $\mathfrak{sp}_4$), compute the eight root values $\alpha(T)$ directly from the displayed matrix $T$. If two distinct roots give the same value, or any root gives zero, the Vandermonde step in Lemma 2 fails and the proof of Theorem 1 would need a different partner $Y$; if all values are distinct and nonzero, the weak point is repaired at least in the smallest case.
Extended reading notes
Core claim
The central claim is Theorem 1: for any nonzero nilpotent $X \in \mathfrak{sp}_{2n}(\mathbb{K})$ there is a nilpotent $Y \in \mathfrak{sp}_{2n}(\mathbb{K})$ such that $X$ and $Y$ generate $\mathfrak{sp}_{2n}(\mathbb{K})$. The proof reduces to the lowest-weight case, in which $X$ is the lowest root vector and $Y$ is the sum of the simple root vectors. A general nilpotent element is brought into this picture because the closure of its adjoint orbit contains the lowest weight vector, and the property 'generates together with $Y_0$' is open in the Zariski topology, so it transfers from the orbit closure to the orbit itself. The engine of the proof is a Vandermonde argument showing that a consistent diagonal element together with the sum of all root vectors generates the whole algebra.
Load-bearing premise
The proof assumes that the explicit matrix $T$ built in Lemma 2 is consistent: every root direction of the algebra evaluates on $T$ to a different nonzero number, and this is inferred from the eigenvalues of $T$ rather than verified root by root.
Editorial extensions
If this is right
- For every additive one-parameter subgroup $U_1$ of the symplectic group, there is another $U_2$ such that $\langle U_1, U_2\rangle$ is the whole symplectic group, by exponentiating the nilpotent pair from Theorem 1.
- The generated pair acts transitively on $\mathbb{A}^{2n}\setminus\{0\}$, giving a concrete geometric consequence for symplectic group actions.
- The general conjecture for all simple Lie algebras is reduced to the lowest-weight-vector case, since the final Zariski-openness step of the proof is uniform across simple algebras.
- For simple Lie algebras whose simple-root system has no automorphism, a computer-assisted theorem already implies the conjecture, so Theorem 1 fits into a broader emerging picture of two-element nilpotent generation.
Reading between the lines
- Editorial inference: a direct root-by-root check of the consistency of $T$ would make Lemma 2 fully self-contained; the paper asserts consistency from the eigenvalue list without displaying that computation.
- Editorial inference: the same 'consistent $T$ plus all root vectors' recipe is a plausible template for other simple Lie algebras, with the choice of $T$ as the only algebra-specific input; the paper's remark that the naive choice fails for $\mathfrak{sl}_{2n}$ shows the template is non-trivial.
- Editorial inference: the group-level consequence, that one additive subgroup determines another so that together they generate the symplectic group, suggests a route toward infinite transitivity of symplectomorphism groups if non-linear one-parameter subgroups can be included, as Conjecture 2 envisions.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for any nonzero nilpotent element X in the symplectic Lie algebra sp_{2n}(K) over an algebraically closed field of characteristic zero, there exists another nilpotent element Y such that X and Y generate sp_{2n}(K). The proof strategy is to reduce to the case where X is the lowest weight vector of the adjoint representation, using an orbit-closure result of Collingwood–McGovern. In the lowest weight case, the author constructs a semisimple element T that is claimed to be consistent, and then applies a general lemma (Lemma 1) showing that a consistent Cartan element together with a sum of root vectors generates the Lie algebra. The general case is obtained by Zariski openness of the generating condition. The paper also contains examples of explicit generating pairs and two conjectures, one generalizing to arbitrary simple Lie algebras and one about infinite transitivity of symplectomorphism groups.
Significance. If the proof is completed, the result is a clean analogue for the symplectic series of Ionescu's two-generation theorem, specialized to nilpotent generators. The paper is largely self-contained, uses a transparent Vandermonde argument, and explicitly acknowledges the overlap with the computer-assisted results of Detinko–de Graaf ([5]); the conceptual proof here is a genuine contribution if the identified gap is fixed. The conjectures, especially the symplectic transitivity conjecture, are interesting but are not established. The central argument is elegant and, apart from the missing consistency verification, appears sound.
major comments (2)
- [Section 2, Lemma 2] The assertion 'It follows that all eigenvalues of the operator T are roots of unity of order 2n and thus T is consistent' is not justified. Consistency of T requires that all root values α(T) for the root system of sp_{2n} are nonzero and pairwise distinct. The eigenvalues of T on the 2n-dimensional defining representation being distinct roots of unity does not automatically imply this, because the root values are sums and differences of these eigenvalues; distinctness of the eigenvalues does not rule out collisions among sums or differences. This is load-bearing, since Lemma 1's Vandermonde argument depends on the full consistency of T. The missing verification is true for this T, but it must be supplied; for example, after ordering the eigenvalues as λ_1,...,λ_n,-λ_1,...,-λ_n, the root values are ±(λ_i−λ_j), ±(λ_i+λ_j), and ±2λ_i, and the fact that the unordered pair of unit complex numbers is uniquely determined by its sum shows these are all nonzero and distinct. The paper should include this argument.
- [Section 2, Lemma 2] The proof that X = ~H + ∑ ~vβ after conjugation is too terse. The step 'It remains to show that all entries of C^{-1}E_{n+1,1}C outside the main diagonal are non-zero' implicitly uses the fact that in sp_{2n} with the standard diagonal Cartan, nonvanishing of all off-diagonal entries of a matrix in sp_{2n} implies nonvanishing of its component on every root space. This is true, but it is not stated, and the connection to the decomposition needed to apply the modified Lemma 1 should be made explicit. This is not a fatal flaw, but it is a point where the written proof jumps and should be clarified.
minor comments (5)
- [Section 2, Lemma 2] The description of the simple root vectors contains a typo: 'E_{n−1,2n}' should almost certainly be 'E_{n,2n}', consistent with the displayed matrix and with the root 2e_n. This should be corrected.
- [Section 2, Lemma 2] The sentence 'Note that Lemma 1 holds if we replace N by N+H, where H∈h' should be justified in one line, since [T,H]=0 and hence the vectors A_i are unchanged.
- [Section 2, Proof of Theorem 1] The claim that the set of elements Z such that Z and Y0 generate sp_{2n}(K) is Zariski open is standard, but a brief justification or citation would make the proof self-contained.
- [Section 2, Lemma 2] The phrase 'coordinates of the vector e_{n+1}' in the Vandermonde argument is ambiguous; clarify that one replaces a column of the eigenvector matrix by the standard basis vector e_{n+1} and expands the determinant.
- [Throughout] There are minor typographical errors, including 'Ionescus' for 'Ionescu's', 'choosen' for 'chosen', and 'greaterorequalslant' in the text; these should be cleaned up.
Circularity Check
No circularity: the proof is self-contained, deriving the theorem from standard root-system facts and an external orbit-closure result; the only concern is a minor omitted verification in Lemma 2, which is a proof gap, not a circular step.
full rationale
The paper's central claim, Theorem 1, is proved by reducing to the lowest-weight vector case via the external orbit-closure result [4, Theorem 4.3.3], then explicitly constructing elements T and Y and proving generation via Lemma 1 and a Vandermonde argument. No parameter is fitted to the conclusion, no quantity is renamed as a prediction, and the theorem is not assumed in its own proof. The construction of T is entirely explicit, and the generation argument is algebraic and self-contained once the consistency of T is established. The author's self-citation [3] concerns the analogous result for sl_n and is not load-bearing here; the overlap with [5] is explicitly acknowledged in Section 4 and concerns novelty, not circularity. The only weakness in the written proof is the assertion in Lemma 2 that, because the eigenvalues of T on the defining representation are the 2n-th roots of unity, the element T is consistent. That conclusion requires checking that all root values alpha(T) are nonzero and distinct, which is not automatic from the eigenvalues on V; however, this is a missing verification in the proof, not a circular reduction. The claimed consistency is independent of the theorem being proved and can in fact be established by a direct calculation. Therefore the paper contains no circular derivation.
Assumptions & free parameters
assumptions (5)
- domain assumption K is algebraically closed of characteristic zero
- standard math Closure of the orbit of any nonzero nilpotent element contains the lowest weight vector X0 (Collingwood-McGovern, Theorem 4.3.3)
- domain assumption Structure of sp_{2n}: Cartan subalgebra of diagonal matrices, simple roots with root vectors E_{i,i+1}-E_{n+i+1,n+i} and E_{n,2n}
- domain assumption The exponential map gives a bijection between nilpotent elements of sp_{2n} and Ga-subgroups of Sp_{2n}
- standard math For fixed Y0, the set of Z with <Z,Y0> = g is Zariski open
Cite this review
Pith. "Pith review of On nilpotent generators of the symplectic Lie algebra." pith.science (2026). https://pith.science/paper/IXM6YJDD
@misc{pith2026190804065,
author = {Pith},
title = {Pith review of: On nilpotent generators of the symplectic Lie algebra},
year = {2026},
howpublished = {\url{https://pith.science/paper/IXM6YJDD}},
note = {Machine review of arXiv:1908.04065}
}
abstract
Let $\mathfrak{sp}_{2n}(\mathbb {K})$ be the symplectic Lie algebra over an algebraically closed field of characteristic zero. We prove that for any nonzero nilpotent element $X \in \mathfrak{sp}_{2n}(\mathbb {K})$ there exists a nilpotent element $Y \in \mathfrak{sp}_{2n}(\mathbb {K})$ such that $X$ and $Y$ generate $\mathfrak{sp}_{2n}(\mathbb {K})$.
Reference graph
Works this paper leans on
-
[5]
2-generation of simple Lie algebras a nd free dense subgroups of algebraic groups
Alla Detinko and Willem de Graaf. 2-generation of simple Lie algebras a nd free dense subgroups of algebraic groups. J. Algebra (2019), DOI: 10.1016/j.jalgebra.201 9.06.012
-
[1]
Infinite transitivity, finite generation, and Demazure roots
Ivan Arzhantsev, Karine Kuyumzhiyan, and Mikhail Zaidenberg. Infinite transitivity, finite generation, and Demazure roots. Adv. Math. 351 (2019), 1-32
work page 2019
-
[2]
Generators of simple Lie algebras in arbitrary ch aracteristics
Jean-Marie Bois. Generators of simple Lie algebras in arbitrary ch aracteristics. Math. Z. 262 (2009), no. 4, 715-741
work page 2009
-
[3]
On nilpotent generators of the Lie algebra sln
Alisa Chistopolskaya. On nilpotent generators of the Lie algebra sln. Linear Algebra Appl. 559 (2018), 73-79
work page 2018
-
[4]
Nilpotent orbits in semisimple Lie algebras
David Collingwood and William McGovern. Nilpotent orbits in semisimple Lie algebras. Van Nostrand Reinhold, New York (1993)
work page 1993
-
[6]
On the generators of semisimple Lie algebras
Tudor Ionescu. On the generators of semisimple Lie algebras. Lin ear Algebra Appl. 15 (1976), 271-292
work page 1976
-
[7]
The principal three-dimensional subgroup a nd the Betti numbers of a complex simple Lie group
Bertram Kostant. The principal three-dimensional subgroup a nd the Betti numbers of a complex simple Lie group. Amer. J. Math. 81 (1959), 973-1032
work page 1959
-
[8]
On everywhere dense imbeddings of free gr oups in Lie groups
Masatake Kuranishi. On everywhere dense imbeddings of free gr oups in Lie groups. Nagoya Math. J. 2 (1951), 63-71 Higher School of Economics, F aculty of Computer Science, Ko chnovsky Proezd 3, Moscow, 125319 Russia E-mail address : achistopolskaya@gmail.com
work page 1951
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.