REVIEW 3 major objections 4 minor 14 references
The moduli spaces of presymplectic forms on almost abelian Lie algebras
T0 review · 3 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read On every almost abelian Lie algebra, the moduli space of symplectic forms is finite and every symplectic form is a permuted canonical 2-form; rank-R presymplectic forms obey an explicit eigenvalue-pairing criterion.
desk verdict Genuinely new results, mostly sound, but the proof of the key canonical-form proposition has a real gap — needs revision, not rejection. 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 central object is the matrix congruence action on the solution space H^K_{J_N} = {B skew-symmetric : B J_N + J_N^t B = 0, rank K}, modulo congruence by A in T_{J_N} = {A : A J_N = J_N A}. On this space the paper builds a block calculus: the solutions have upper-alternating-Toeplitz or lower-alternating-Hankel blocks, and a sequence of explicit congruences (Lemmas 4.8–4.14, with complex analogue 5.7–5.11) isolates each nonzero block as a standard block I^{k±} and kills the corresponding row and column. Proposition 4.22 and Proposition 5.18 assert that at maximal rank this process ends in a direct sum of standard blocks, i.e. a permuted copy of the canonical matrix J. The rank criterion us
What would settle it
For J_5 = J_3(λ) ⊕ J_2(-λ), the five-dimensional real case of Example 4.21, take the maximal-rank solution A_1 displayed there and compute the full congruence orbit {A^t A_1 A : A in T_{J_5}}. Proposition 4.22 predicts every orbit member is congruent to P^t J_{5,4} P for some permutation P. If a computer search finds an orbit element whose support cannot be reduced to that permutation pattern by any A in T_{J_5}, the canonical-form lemma — and with it Theorem 6.3 — is false.
Extended reading notes
Core claim
The paper's central claims are Theorem 6.1 and Theorem 6.3. Theorem 6.1 states that, writing ad_{e_1} in real Jordan normal form as a direct sum of a real part J_{N_R} and a complex part J_{N_C}, a rank-R presymplectic form exists if and only if R ≤ 2 + R_{J_{N_R}} + R_{J_{N_C}}, where each R_J is N (or N_C) minus the number of unmatched odd-sized zero Jordan blocks minus the Manhattan distance between the ordered lists of block sizes for λ and −λ. Theorem 6.3 states that PΩ²_{D,closed}(g) is finite and that every class [ω] satisfies [ω] = [P·ω_0] for a permutation P fixing e_1. In other words, every left-invariant symplectic form on an almost abelian Lie algebra is, up to automorphism and n
Load-bearing premise
The argument for the finite moduli space assumes that the row-and-column cleaning used in Propositions 4.22 and 5.18 can be applied to every nonzero block in any order, with no later cleaning step undoing the normalization of an earlier one; if that simultaneous compatibility fails, the permutation normal form is not established.
Editorial extensions
If this is right
- Existence of presymplectic forms of any rank on any almost abelian Lie algebra is decidable by a finite computation from the real Jordan normal form of the defining map.
- The moduli space of left-invariant symplectic forms on any almost abelian Lie algebra is a finite set; there are no continuous families of inequivalent symplectic structures.
- Every symplectic form has a canonical representative P·ω_0, so invariant quantities of any symplectic form reduce to invariants of the permuted standard form.
- The maximal-rank matrix congruence normal form is a standalone statement: skew-symmetric solutions of the Lyapunov-type equation with maximal rank are classified, up to the relevant congruence, by permutations.
- The paired-eigenvalue conditions of Corollary 6.2 give an explicit list of which almost abelian Lie algebras admit symplectic forms at all.
Reading between the lines
- Editorial inference: the same permutation description may hold for rank-R presymplectic forms for every R once the non-maximal normalization gaps flagged in Remark 4.13 are resolved; Lemma 4.16 shows ranks descend by shifting blocks, which is the natural route.
- Editorial inference: because the equivalence relation includes scale, the result is really about conformal symplectic classes; dropping scale would likely introduce additional discrete invariants, such as ratios of Jordan block sizes within a paired λ/−λ family.
- Editorial inference: the finite moduli space suggests that geometric invariants of almost abelian symplectic Lie groups — for instance compatible complex or Kähler structures — may also admit finite or combinatorial classifications depending only on the Jordan form and a permutation.
- Editorial inference: a direct count of the classes is not given, but the normal form reduces the problem to computing the stabilizer of P·ω_0 in T_{J_N}; that computation would turn finiteness into an exact cardinality.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies left-invariant closed 2-forms of fixed rank on almost abelian Lie algebras. It reduces the existence and equivalence problems to a matrix congruence problem for solutions B of BJ_N + J_N^t B = 0 modulo the centralizer of J_N. The first main result, Theorem 6.1, gives an explicit rank criterion in terms of two numerical invariants R_{J_{N_R}} and R_{J_{N_C}}. The second main result, Theorem 6.3, claims that for the maximal (symplectic) rank the moduli space PΩ²_{D,closed}(g) is finite and that every class is represented by a permutation of the canonical symplectic form. The matrix-theoretic core is Propositions 4.22 and 5.18, which purport to provide canonical forms for maximal-rank solutions by a block-elimination algorithm.
Significance. If correct, these are strong and useful results: a complete existence criterion for all presymplectic ranks on all almost abelian Lie algebras, and a very rigid description of the symplectic moduli space. The reduction to the 'dotted' congruence quotient and the reliance on standard matrix-theoretic tools are appealing, and Theorem 6.1 is explicit enough to be applied directly. However, the proof of the canonical-form propositions that support Theorem 6.3 contains a substantial gap, so the significance of the paper is conditional at this stage. The potential contribution is real: the paper identifies the right matrix problem and gives a credible route to the answer.
major comments (3)
- [§4.2.2, Proposition 4.22] The proof (p. 25) says 'We can then apply Corollary 4.10 or Corollary 4.12 to all the rows and the corresponding columns.' This simultaneous normalization is not justified. Corollary 4.10 is derived from Lemma 4.9, whose hypotheses require that when C_ll has first nonzero diagonal at k, all same-size off-diagonal entries in row/column l have zero diagonals up to k. Corollary 4.12 requires C_ll = C_mm = 0. A maximal-rank matrix can contain a row with both a nonzero diagonal block and a nonzero same-size off-diagonal block, satisfying none of these hypotheses. For J_{N_R}=J_2(0)⊕J_2(0)⊕J_1(0), take the 5×5 block matrix with C_11=C_12=C_21=diag(1,-1), C_22=0, and the third row/column zero. This matrix lies in ˙H^4_{J_{N_R}} and has rank 4, but Corollary 4.10 fails for row 1 (C_12≠0), Corollary 4.12 fails for the pair (1,2) (C_11≠0), and Lemma 4.11 also fails. The proof gives no alternative.
- [§5.3.2, Proposition 5.18] The proof (p. 38) makes the same assertion: 'we can apply Corollary 5.9 or Corollary 5.11 to all rows and corresponding columns.' The complex variants inherit the same simultaneous-hypothesis conditions, and the proof refers back to the real case for details, so the gap is not repaired. A correct proof would need to specify an order of elimination that either keeps previously normalized blocks intact or shows that the hypotheses of the applicable lemma are satisfied at each step; no such argument is present.
- [§6, Theorem 6.1] The proof (p. 39) contains the sentence 'Define Y=R R and W=R−2−Y', which appears to be a typo; if Y=R then W=−2. The proof also needs to state explicitly how the nonemptiness of H^{R−2}_{J_N} yields a closed 2-form of rank R. Proposition 3.7 contains the lifting step (choose v outside Im B), but the proof of Theorem 6.1 should either invoke it or fill in the missing rank-arithmetic. This is a localized defect, but it concerns the proof of the first main theorem.
minor comments (4)
- [§4.2, Eq. (4.44)] The congruence '= N mod 2' uses N, but the discussion concerns N_R; it should presumably be N_R mod 2. Please clarify.
- [§5.2, Proposition 5.5] The statement says a matrix 'commutes with J_{N_C}', but the displayed equation is BJ_{N_C}+J_{N_C}^t B=0. The wording should be 'satisfies (5.18)' to avoid confusion.
- [§3, Corollary 3.5] The displayed matrix has an entry α in the (1,1) position, but the condition is written as AJ_N − J_N A = 0 with no α. If α is intended to be absorbed into A or into the scaling action, this should be stated explicitly.
- [General] There are several typographical slips (e.g., 'Fist' in the introduction, 'we can apply can' in the proof of Proposition 4.22, and 'by joining this results' in the proof of Theorem 6.3). These should be corrected in a revision.
Circularity Check
No circular derivation: the main results are supported by independent matrix-congruence theorems; self-citations are contextual only.
full rationale
The derivation chain is not circular in any of the enumerated senses. The closedness condition is reduced to the Lyapunov equation BJ_N+J_N^tB=0 (Prop 3.6), and existence of rank-R presymplectic forms is reduced to nonemptiness of the matrix sets H^K_{J_N} (Prop 3.7). The rank bounds in Thm 6.1 are established by explicit constructions and optimality arguments (Lemmas 4.15-4.17, 5.12-5.14, Props 4.18, 5.15) using external results [8,9,12]. The finiteness/canonical-form statement in Thm 6.3 is obtained from the congruence normal forms in Props 4.22 and 5.18, whose final step is Prop 4.2, itself proved from the external permutation canonical-form result [12]. The target of Thm 6.3 is the finite set of permutation images of the canonical 2-form omega_0; this is not the definition of the equivalence relation, which is Aut(g)-congruence up to scale. The self-citations [5,6] appear only as background and are not invoked as premises in the proofs; the note that Cor 6.2 'can also be found in [1]' is a comparison with an external classification, not a self-citation. The suspected proof gap in Prop 4.22 (and its complex analogue 5.18) concerning simultaneous application of Cor 4.10/4.12 is a potential correctness issue, not a circular reduction: it does not make the theorem equivalent to its own inputs or rename a fitted quantity as a prediction. Therefore no specific circular step can be quoted, and the circularity score is minimal despite minor self-referential framing.
Assumptions & free parameters
assumptions (5)
- domain assumption Any almost abelian Lie algebra decomposes as R e ⋉_J L with ad_e = J in real Jordan normal form, and two such algebras are isomorphic iff their (L, ad_e) pairs are similar up to nonzero scaling.
- standard math Closedness of a left-invariant 2-form is equivalent to the matrix equation B J_N + J_N^T B = 0 (Prop 3.6).
- standard math Solutions of C J − J C = 0 and C J + J^T C = 0 have block structure constrained by eigenvalue equality/opposition, being upper Toeplitz and lower alternating Hankel respectively (Horn–Johnson, Thm 4.4.6 and Lemma 4.4.11).
- standard math A real nonsingular matrix with no negative real eigenvalues has a polynomial square root equal to its inverse (Higham [8], Thm 7).
- standard math A skew-symmetric matrix whose absolute-value pattern is a permutation matrix is permutation-congruent to the canonical J (Li–Hou–Wang [12]).
Cite this review
Pith. "Pith review of The moduli spaces of presymplectic forms on almost abelian Lie algebras." pith.science (2026). https://pith.science/paper/P6KEUCMY
@misc{pith2026260214220,
author = {Pith},
title = {Pith review of: The moduli spaces of presymplectic forms on almost abelian Lie algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/P6KEUCMY}},
note = {Machine review of arXiv:2602.14220}
}
read the original abstract
We obtain necessary and sufficient conditions to determine the existence of presymplectic forms of a given rank on all almost abelian Lie algebras. We also study the moduli space of presymplectic forms (this is the set of all closed 2-forms of a given rank under a certain natural equivalence relation) on almost abelian Lie algebras. Most importantly we show that for any almost abelian Lie algebra its moduli space of symplectic forms is finite. Moreover we show that up to such natural equivalence all symplectic forms are permutations of a canonical 2-form. The important step in the proof is obtaining canonical representatives for a certain congruence of matrices, which is of some interest for matrix theory on its own.
Reference graph
Works this paper leans on
-
[1]
Arroyo, Mar ´ ıa L
Romina M. Arroyo, Mar ´ ıa L. Barberis, Ver´ onica S. D ´ ıaz, Yamile Godoy, and Isabel Hern´ andez, Classification of almost abelian Lie groups admitting left-invariant complex or symplectic structures, J. Geom. Anal.35(2025), no. 11, 331. MR 4953183
2025
-
[2]
Zhirayr Avetisyan,The structure of almost abelian lie algebras, Internat. J. Math.33(2022), no. 8, 2250057. MR 4462443
2022
-
[3]
379, vi+90
Oliver Baues and Vicente Cort´ es,Symplectic Lie groups: symplectic reduction, lagrangian extensions, and existence of lagrangian normal subgroups, Ast´ erisque (2016), no. 379, vi+90. MR 3499032
2016
-
[4]
MR 4634959
Giovanni Bazzoni, Marco Freibert, Adela Latorre, and Nicoletta Tardini,Complex symplec- tic Lie algebras with large abelian subalgebras, Linear Algebra Appl.677(2023), 254–305. MR 4634959
2023
-
[5]
J.52(2022), no
Luis Pedro Castellanos Moscoso,Left-invariant symplectic structures on diagonal almost abelian Lie groups, Hiroshima Math. J.52(2022), no. 3, 357–378. MR 4515688
2022
-
[6]
Algebra Geom.64(2023), no
Luis Pedro Castellanos Moscoso and Hiroshi Tamaru,A classification of left-invariant sym- plectic structures on some Lie groups, Beitr. Algebra Geom.64(2023), no. 2, 471–491. MR 4581140
2023
-
[7]
Diego Conti and Alejandro Gil-Garc ´ ıa,Almost abelian pseudo-k¨ ahler Lie algebras, Preprint, arXiv2506.22278 (2025)
arXiv 2025
-
[8]
Higham,Computing real square roots of a real matrix, Linear Algebra Appl.88–89 (1987), 405–430
Nicholas J. Higham,Computing real square roots of a real matrix, Linear Algebra Appl.88–89 (1987), 405–430. MR 882456
1987
Show all 14 references
-
[9]
Horn and Charles R
Roger A. Horn and Charles R. Johnson,Topics in matrix analysis, Cambridge University Press, Cambridge, 1994, Corrected reprint of the 1991 original. MR 1288752
1994
-
[10]
MR 2978290
,Matrix analysis, 2 ed., Cambridge University Press, Cambridge, 2013. MR 2978290
2013
-
[11]
Horn and Vladimir V
Roger A. Horn and Vladimir V. Sergeichuk,Canonical forms for complex matrix congruence and *congruence, Linear Algebra Appl.416(2006), no. 2–3, 1010–1032. MR 2242477
2006
-
[12]
Wen-Wei Li, Xin Hou, and Qing-Wen Wang,The canonical forms of permutation matrices, Symmetry15(2023), no. 2
2023
-
[13]
Yuichiro Sato and Takanao Tsuyuki,Lorentzian homogeneous ricci-flat metrics on almost abelian lie groups, Preprint, arXiv2504.11077 (2025)
2025 arXiv
-
[14]
,Spatially homogeneous solutions of vacuum Einstein equations in general dimensions, J. Math. Phys.66(2025), no. 2, 022501. MR 4859975 Osaka Central Advanced Mathematical Institute(OCAMI), Osaka Metropolitan Uni- versity Email address:caste3.1416@gmail.com
2025
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.