REVIEW 3 major objections 4 minor 7 references
The paper constructs an explicit 10-dimensional complex two-step nilpotent Lie algebra that is isomorphic to its complex conjugate but cannot be defined over the real numbers, disproving a conjecture in the smallest possible dimension.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 12:30 UTC pith:GHILKJAY
load-bearing objection Explicit 10-dim counterexample to Deré's conjecture, but the stabilizer proof rests on unshipped computer checks. the 3 major comments →
Constructing a complex Lie algebra isomorphic to its complex conjugate but not definable over reals
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Theorem 1.2 asserts that with V10 = C^10 in the standard basis and the displayed tensor t in (∧^2 V10^*) ⊗ V10, the induced bracket makes Lt = (V10, [,]t) a non-degenerate two-step nilpotent Lie algebra of type (6,4). The claim is two-fold: (i) Lt is isomorphic to its complex conjugate, and (ii) Lt has no real form. For (i), the paper provides an explicit matrix J with J^2 = -I such that J^*(γW) = W, which translates to the desired isomorphism. For (ii), the paper proves that the stabilizer of W in PGL_6(C) is trivial (only scalar matrices in GL_6(C) preserve W). If a real form existed, one would obtain g ∈ GL(V) with γ(g^*F) = g^*F; combined with the trivial stabilizer this forces g^{-1}γg
What carries the argument
The central object is the 4-dimensional subspace W of ∧^2(C^6)^* spanned by the four displayed skew forms w1,...,w4, equivalently a point of the Grassmannian Gr(4, ∧^2 C^6*). Non-degenerate two-step nilpotent Lie algebras of type (6,4) are in bijection with 11-dimensional subspaces F of ∧^2(C^6), and W = F^⊥. The paper uses this bijection to translate 'isomorphic to its conjugate' into the existence of g with g^*(γW) = W, and 'has a real form' into the existence of g with γ(g^*W) = W. The proof splits into a computational stabilizer calculation (using the Pfaffian cubic of a 6x6 skew-symmetric matrix attached to W) and a short Galois-cohomology contradiction λγλ = -1.
Load-bearing premise
The argument rests on the computer-checked claims that the subspace W is non-degenerate, that J^*(γW) = W, and that the stabilizer of W in PGL_6(C) is exactly the scalar matrices; if any of these calculations is flawed, the counterexample may fail.
What would settle it
Use a computer algebra system to compute the full stabilizer of W (the four vectors w1,...,w4 displayed in the paper) inside GL(6,C) or PGL(6,C). The theorem asserts this stabilizer is just the scalar matrices. If any non-scalar g satisfies g^*(W) = W, the proof's obstruction disappears. Alternatively, a direct search for g satisfying γ(g^*F) = g^*F for F = W^⊥ would yield an explicit real form, contradicting the conclusion.
If this is right
- If the theorem holds, the conjecture that self-conjugate complex Lie algebras are definable over R is false in dimension 10.
- Dimension 10 is minimal among two-step nilpotent Lie algebras: the paper notes that dimensions ≤ 8 always admit real forms and that computer checks show the conjecture holds in dimension 9.
- The counterexample is explicit and coordinate-based, so it can serve as a test case for algorithms that decide whether a given complex Lie algebra has a real form.
- The same orbit-stabilizer mechanism shows that a Galois-stable orbit in a Grassmannian can lack real points purely because of a scalar-matrix stabilizer, a structural fact independent of the particular tensor.
- The explicit tensor t gives a concrete 10-dimensional algebra that can be used to probe the boundary between 'self-conjugate' and 'real' in wider classifications.
Where Pith is reading between the lines
- Similar counterexamples could likely be produced in higher dimensions by choosing subspaces W with trivial stabilizer and a symmetry J with J^2 = -I; dimension 6 is natural because ∧^2 C^6 has dimension 15 and a Pfaffian gives a degree-2 invariant.
- The Pfaffian-cubic trick may generalize: restricting the stabilizer action to a line in the space of Pfaffians turns a hard stabilizer problem into a polynomial one, potentially automating the search for further examples.
- Because the proof depends on four computer computations that are stated without code, an independent verification (e.g., re-running the Gröbner basis computations) is the natural next step; the example is small enough for such verification.
- The result suggests that real-form existence is a genuinely stronger condition than self-conjugacy in the nilpotent setting, and the gap may be governed by arithmetic invariants of the stabilizer (here the scalar λ satisfying λγλ = -1).
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs an explicit 10-dimensional complex two-step nilpotent Lie algebra L_t, given by a tensor t (Theorem 1.2), and proves that L_t is isomorphic to its complex conjugate but admits no real form. The proof follows Demarche's strategy: via the correspondence between non-degenerate two-step nilpotent Lie algebras and pairs (V,F) with F a subspace of \wedge^2 V, it suffices to exhibit a codimension-4 subspace F of \wedge^2 C^6 whose GL-stabilizer is trivial up to scalars and which is conjugate to its complex conjugate under a fixed anti-holomorphic involution. Proposition 4.1 gives a clean reduction from such a subspace to the desired Lie algebra. The bulk of the paper (§5) verifies the stabilizer condition for the explicit W = F^\perp through a sequence of computational lemmas: Lemma 4.3 (non-degeneracy), Lemma 4.4 (the anti-holomorphic invariance), Lemma 5.1 (a Pfaffian formula), Proposition 5.2 (the stabilizer of a cubic form), and Lemma 5.3 (a linear algebra computation). The non-computational parts of the proof are clearly written and logically sound.
Significance. If the computational assertions are correct, this is an important result: it is the first explicit counterexample to Deré's conjecture, complementing Demarche's existence proof, and it shows that dimension 10 is the minimal dimension for such a phenomenon among two-step nilpotent Lie algebras. The theoretical framework of §2–§4 is elegant, and the explicit tensor t is a concrete, falsifiable object. The paper is also honest about the role of computer calculations and about the contribution of an LLM in suggesting the proof strategy. However, the central claim depends critically on two computer-assisted steps (Proposition 5.2 and Lemma 5.3) for which no code or certificate is supplied. This is a significant reproducibility gap: without those computations, Theorem 4.5 is not verifiable from the manuscript text alone.
major comments (3)
- [§5, Proposition 5.2] This proposition asserts that Stab_{GL(W)}(C^×·f) = (C^×·Id_4) ∪ (C^×·ϕ), with proof given only as 'A computer computation using the Gröbner basis algorithm.' This is a load-bearing step: Theorem 4.5, and hence Theorem 1.2, would collapse if the stabilizer of the line [f] were any larger. The manuscript does not supply the Gröbner basis computation, the input system, the code, or the output, so the claim cannot be independently checked. Please provide the computation as an appendix or supplementary file, or include a human-readable algebraic certificate.
- [§5, Lemma 5.3] The lemma states that the preimage of (C^×·Id_4) ∪ (C^×·ϕ) in Stab_{GL(V)}(W) is C^×·Id_6, based on solving 'linear necessary conditions' for M = Id_4 and M = ϕ. These conditions are not explicitly written out and their solution spaces are not shown. This is the second load-bearing computational assertion. Please display the linear systems and their solutions, or provide the code used to solve them.
- [§4, Lemma 4.3; §5, Lemma 5.1] The non-degeneracy of (V,W) and the Pfaffian formula are also justified only by 'an easy computer calculation' and 'a Magma computation', respectively. These are elementary to verify by hand from the explicit matrix A(x), and I encourage the authors to replace these computer claims with short hand checks or to include the code. This is less serious than the two items above, but it is part of the reproducibility of the proof.
minor comments (4)
- [§2–§5] The exterior product \wedge is rendered as 'V2' throughout (e.g., 'V2 V', 'V2 V^*'). This appears to be a LaTeX macro issue; in the published version it should be \bigwedge^2.
- [§5, first paragraph] The sentence 'Using a computer, we could easily show that the Lie algebra of the stabilizer G_W is trivial' is not used in the proof that follows. Either remove it or explain its role (e.g., to justify finiteness of the stabilizer).
- [Introduction / Acknowledgements] The paper credits 'LLM Claude Fable' with an autonomous proof of Theorem 4.5 and says the authors use 'only the ideas, not its results.' Please clarify in the acknowledgements which statements were verified by the authors and which are AI-generated, in line with the journal's AI disclosure policy.
- [§4, Proposition 4.1] After deriving λγλ = -1, it would be helpful to note explicitly that λγλ = |λ|^2 > 0 for complex conjugation, making the contradiction immediate.
Circularity Check
No circularity: the construction is explicit, the stabilizer theorem is verified by external computations, and no load-bearing step is equivalent to its input.
full rationale
The paper's derivation chain is self-contained: it constructs a specific subspace W, defines F = W^\perp, proves the orbit is γ-stable via the explicit identity J_*(γW) = W (Lemma 4.4), and proves the stabilizer is scalar via Theorem 4.5, whose proof uses independent computational checks (Gröbner basis computations and linear necessary conditions). None of these steps fits a parameter to the desired conclusion or renames an input as an output: the stabilizer computation is a verification, not a prediction forced by construction. The self-citations ([BDG24], [GL24], [GG20]) appear in contextual remarks (Remark 1.3, Remark 5.4) and are not load-bearing for the main theorem; in any case they cite external published classifications and generic-stabilizer results, not an unverified chain from the present authors. The computer-assisted assertions in Section 5 are not accompanied by code or detailed derivations, but this is a correctness/verification risk, not circularity: an incorrect computation would invalidate the theorem rather than make it true by construction. No equation in the paper reduces by definition to the claimed result, and the proof does not assume the existence of the counterexample. Therefore the circularity score is 0.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Correctness of the unshipped computer calculations (Lemma 4.3, Lemma 4.4, Lemma 5.1, Prop 5.2, Lemma 5.3)
read the original abstract
Following an idea of Demarche and using computer calculations of the authors and ideas of LLM Claude Fable, we construct an explicit 10-dimensional complex two-step nilpotent Lie algebra that is isomorphic to its complex conjugate but cannot be defined over the field of real numbers R.
Reference graph
Works this paper leans on
-
[1]
Dina, and Willem A
Mikhail Borovoi, Bodgan A. Dina, and Willem A. de Graaf, Real non-degenerate two-step nilpotent Lie algebras of dimension eight , Eur. J. Math. 10 (2024), no. 1, Paper No. 16, 27 pp
2024
-
[2]
Cyril Demarche, A note on complex Lie algebras isomorphic to their conjugate , arXiv:2604.06979
-
[3]
581 (2019), 471--495
Jonas Deré, The structure of underlying Lie algebras , Linear Algebra Appl. 581 (2019), 471--495
2019
-
[4]
L. Yu. Galitski and Dmitry A. Timashev. On classification of metabelian Lie algebras , J. Lie Theory 9 no. 1, 125--156 (1999)
1999
-
[5]
Guralnick, Generically free representations, I: Large representations , Algebra Number Theory 14 (6)) 1577--1611, 2020
Skip Garibaldi and Robert M. Guralnick, Generically free representations, I: Large representations , Algebra Number Theory 14 (6)) 1577--1611, 2020
2020
-
[6]
Guralnick and Ross Lawther, Generic stabilizers in actions of simple algebraic groups , Mem
Robert M. Guralnick and Ross Lawther, Generic stabilizers in actions of simple algebraic groups , Mem. Amer. Math. Soc. 300 (2024), no. 1502, v+303 pp
2024
-
[7]
Texts in Math., 211, Springer-Verlag, New York, 2002
Serge Lang, Algebra , Revised third edition, Grad. Texts in Math., 211, Springer-Verlag, New York, 2002. xvi+914 pp
2002
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.