Pith. sign in

REVIEW 3 major objections 4 minor 37 references

Symplectic solvmanifolds not satisfying the hard-Lefschetz condition

T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For completely solvable solvmanifolds G=R ⋉_φ R^m, every symplectic form satisfies the hard-Lefschetz condition exactly when φ is semisimple; otherwise every symplectic form fails it, at degree 1 or degree 2.

desk verdict A significant converse theorem for almost abelian symplectic solvmanifolds, but the proof of the key normal-form theorem contains a concrete false computation; the result is plausible and deserves refereeing, not acceptance as-is. read the letter →

arxiv 2505.08113 v1 pith:G2GAV4KN submitted 2025-05-12 math.DG

Adrián Andrada , Agustín Garrone This is my paper · ORCID
classification math.DG MSC 53D0522E2522E40
keywords hard-LefschetzconditionsolvmanifoldalmostabelianLiegroupsymplecticformsemisimpleactionJordancanonicalcohomologylattice
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes a dichotomy for symplectic solvmanifolds coming from almost abelian Lie groups G=R ⋉_φ R^m that are completely solvable and unimodular: if the defining action φ is semisimple, every symplectic form satisfies the hard-Lefschetz condition, and if φ is not semisimple, no symplectic form does. The authors prove the converse direction that was previously missing, completing the k=1 case of a question raised by Kasuya's theorem. They also show where the failure occurs: at degree 1 when the nilpotent part of the structure matrix acts on the zero eigenspace, and at degree 2, never at degree 1, when the nonzero spectrum has nontrivial Jordan blocks. The proof reduces the cohomological question to linear algebra: any symplectic form can be written, up to exact terms, as a sum of "circuits" built from double generalized eigenspaces, and a top-degree wedge product in one circuit is visibly exact.

What carries the argument

The load-bearing object is the "circuit": for two double elementary canonical subspaces X_+⊕X_- and Y_+⊕Y_- of the structure matrix A_0, the circuits are alternating sums g_l(x,y)=Σ_{i=1}^l (-1)^{i+1} x_i∧y_{m+l+1-i}. These are closed, non-exact 2-forms whose cohomology classes are linearly independent and span the relevant part of $H^{2}$. Proposition 3.1 supplies the starting point: every symplectic form on g_A can be normalized to ω=$f^{1}$∧$f^{2}$+ω_0 with A_0∈sp(ω_0). A change of basis then turns any symplectic form into $f^{1}$∧$f^{2}$ plus top-length unmixed circuits plus an exact term. The crucial identity is δ∧Γ_{m,2m}=-d($f^{2}$∧Γ_{m,2m-1}), which exhibits the exact kernel element responsible for the degree-2 failure, while the zero-eigenvalue case uses the nilpotent subalgebra g_M and a propagation lemma that transfers failures from a subalgebra to the whole Lie algebra.

What would settle it

Take a unimodular completely solvable almost abelian Lie algebra g_A whose A_0 has a Jordan block J_m(λ) with m≥2, write ω=$f^{1}$∧$f^{2}$+g_m(x,x), and compute the class [$ω^{{m-1}}$∧(x_1∧x_{m+1})] in $H^{{2m}}$(g_A); the paper proves it is zero while [x_1∧x_{m+1}] is not, so finding a case where this wedge is non-exact would refute Theorem 4.25. Alternatively, exhibit one non-semisimple unimodular completely solvable A and one symplectic form whose Lefschetz maps at all degrees are isomorphisms; the theorem predicts none exists.

Watch

Extended reading notes

Core claim

The central claim is Theorem 4.27: on a unimodular completely solvable almost abelian Lie algebra g_A with structure matrix A, a symplectic form satisfies the hard-Lefschetz condition if and only if A is semisimple. Since the de Rham cohomology of the solvmanifold is computed by left-invariant forms, the same statement holds for every symplectic form on every such solvmanifold Γ\G. The paper's contribution is the "only if" direction, proved by describing which Jordan blocks force a Lefschetz map to have kernel. If A has a nonzero nilpotent part on the zero generalized eigenspace, the subalgebra g_M is non-abelian nilpotent with an ω-orthogonal complement, so the nilmanifold theorem of Benson and Gordon propagates a degree-1 failure. If the nonzero part of A has a Jordan block of size at least 2, the symplectic form contains an unmixed circuit of length m≥2, and the wedge $ω^{{m-1}}$∧(x_1∧x_{m+1}) is exact even though [x_1∧x_{m+1}] is not, giving a degree-2 failure.

Load-bearing premise

The proof rests on the cited Proposition 3.1, which says that every symplectic form on an almost abelian Lie algebra can be normalized to ω=$f^{1}$∧$f^{2}$+ω_0 with A_0∈sp(ω_0); if that structural classification were false or incomplete, the circuit analysis and both main theorems would need reworking.

Editorial extensions

If this is right

  • For every completely solvable almost abelian solvmanifold of even dimension, the hard-Lefschetz property is independent of the symplectic form: either all symplectic forms have it or none do.
  • A symplectic form on such a solvmanifold is hard-Lefschetz exactly when the defining action is semisimple, so a single matrix computation decides the entire cohomological property.
  • The failure of hard Lefschetz is concentrated at degree 1 or degree 2: in the zero-eigenvalue nilpotent case at degree 1, and in the nonzero-Jordan-block case at degree 2 with degree 1 always an isomorphism.
  • Many concrete examples now exist: the lattice constructions in Section 5 produce symplectic solvmanifolds with no hard-Lefschetz symplectic form, using blocks J_{2t}(0) or J_m(t_k)⊕J_m(-t_k).
  • Combined with Kasuya's theorem, the result gives a complete characterization for k=1, so any counterexample to the broader question would have to lie outside the completely solvable almost abelian family or have k>1.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same circuit machinery may answer the authors' question for k>1: if the proof generalizes, non-semisimplicity of φ: R^k→Aut(R^m) would force failure of hard Lefschetz for every symplectic form on such solvmanifolds.
  • The dichotomy suggests that within almost abelian solvmanifolds the hard-Lefschetz condition is a purely representation-theoretic property of the action, not a property of the chosen symplectic structure.
  • A testable extension is to check whether the exactness identity δ∧Γ_{m,2m}=-d(f^2∧Γ_{m,2m-1}) persists when A has complex eigenvalues; if it does, the non-completely-solvable case would also fail hard Lefschetz at degree 2.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies symplectic forms on almost abelian completely solvable Lie algebras g_A = R ⋉_A R^m and the associated solvmanifolds. The main theorem (Theorem 4.27) asserts that, for unimodular completely solvable almost abelian Lie algebras, every symplectic form satisfies the hard-Lefschetz condition if and only if A is semisimple. The semisimple direction is taken from Kasuya, and the nonsemisimple direction is proved by a detailed analysis of H^1, H^2, H^{2n-2}, and H^{2n-1}, with the failure located at degree 1 when 0 lies in the spectrum of A_0 and at degree 2 otherwise. The paper also constructs lattices for several of the Lie groups in question, yielding explicit symplectic solvmanifolds without the hard-Lefschetz property for any symplectic form.

Significance. If the main theorem is correct, it provides a complete answer for the class of almost abelian completely solvable Lie groups with a one-dimensional semisimple factor, sharpening the known results of Benson-Gordon and Kasuya and exhibiting a clean dichotomy: either all symplectic forms are hard-Lefschetz or none are. The cohomological analysis via 'circuits' is concrete and potentially reusable, and the lattice constructions give nontrivial examples. The paper is also careful to state the precise degree at which the Lefschetz map fails. However, as detailed below, the current proof contains a false key normal-form statement and a missing case, and it depends on an unpublished external proposition, so the significance is conditional on a substantial repair.

major comments (3)
  1. [Section 4.4, Theorem 4.21] The proof's central assertion that d(ex_i)=d(x_i) is false in general, and the theorem as stated is false under the reading required by Definition 4.9 and by the later use in Theorem 4.25. Take m=2, lambda != 0, and basis with brackets [f1,x1]=lambda x1+x2, [f1,x2]=lambda x2, [f1,x3]=-lambda x3+x4, [f1,x4]=-lambda x4. The form omega=delta+b1 x1^ x3+b2(x1^ x4-x2^ x3) is symplectic for every b1 provided b2 != 0. The proof defines ex3=b2 x3 and ex4=b1 x3+b2 x4. With the convention of Section 3, d x3=lambda f1^ x3-f1^ x4 and d x4=lambda f1^ x4, whereas d(ex3)=b2 lambda f1^ x3-b2 f1^ x4 and d(ex4)=b1 lambda f1^ x3+(b2 lambda-b1) f1^ x4. These coincide with d x3 and d x4 only when b2=1 and b1=0, so the map phi is not a Lie algebra homomorphism. Moreover, by Theorem 4.14 the class [x1^ x3]=[g1] is nonzero in H^2(g_A), so for b1 != 0 the class of omega has a nonzero multiple of [g1], while the right-hand side of (17) has none; an exact term cannot remove this component. Since Theorem 4.25 uses (17)-(18) to obtain the splitting to which Lemma 3.5 is applied, this is a load-bearing gap in the proof of the main theorem. The authors should either correct Theorem 4.21 or replace the argument in Theorem 4.25 by a direct computation that does not rely on this normal form.
  2. [Section 4.5, Theorem 4.24] Theorem 4.24 allows M to be nonzero with v=0, but its proof invokes Proposition 4.19(i), which is stated only under the hypothesis v != 0. When v=0 and Z (hence M) is nonzero, Proposition 4.19(i) does not provide the orthogonal decomposition g_A = g_M ⋉ W used in the proof. In that case closed, non-exact 2-forms of the type f1^nu with nu in W^* can occur (see Remark 4.7), so the claimed splitting and the propagation step require a separate argument. Please either supply the missing v=0 case or restrict the statement of Theorem 4.24 and adjust the main theorem accordingly.
  3. [Section 3, Proposition 3.1] The proofs of the main results rely on Proposition 3.1, which is cited from the unpublished preprint [3], and the companion reference [4] is listed as 'In preparation'. This proposition is used to reduce every symplectic form to the form omega = f1^ f2 + omega_0 with A_0 in sp(omega_0) and to obtain the normal form in equation (5). Since neither proposition is proved in the manuscript, the main theorem is not self-contained. Please include a proof of Proposition 3.1 or replace the citation by a published, verifiable source; at minimum, state precisely which statements from [3] and [4] are needed and why they are available to the reader.
minor comments (4)
  1. [Section 4.1 and proof of Theorem 4.21] The notation x_i is used both for Lie algebra basis vectors and for the dual 1-forms, which makes the computation d(ex_i)=d(x_i) very hard to follow. Please use separate notation for the dual basis, or state explicitly that all computations are performed in the dual space V^* g_A.
  2. [Section 2.2, Theorem 2.13] Theorem 2.13 is stated for nilmanifolds, but in Theorem 4.24 it is applied to the nilpotent Lie algebra g_M. Please state the Lie-algebra version used here and give a reference or a short justification, since the underlying manifold gamma\G_M may not exist for arbitrary M.
  3. [References [3] and [4]] Reference [4] is listed as 'In preparation'. Please update the publication status of both [3] and [4] before final submission, or indicate that the relevant statements have been incorporated into the present paper.
  4. [Section 5, Case (iii)] In Case (iii) the sentence stating that the symplectic solvmanifold fails the hard-Lefschetz property 'as a consequence of either Theorem 4.24 or Theorem 4.25' should specify which theorem applies in the mixed case and, if both t != 0 and some m_i >= 2 occur, what the degree of failure is.

Circularity Check

0 steps flagged · score 1.0 of 10

No material circularity: the nonsemisimple direction is proved by direct cohomology computation; self-citations are contextual and not load-bearing.

full rationale

The main theorem (Theorem 4.27) does not reduce to its inputs. The semisimple implication is taken from Kasuya [17, Theorem 2.15] and Benson-Gordon [6, Theorem 2.13], both external published results; the nonsemisimple implication is proved directly in Theorems 4.24 and 4.25. Theorem 4.24 decomposes an arbitrary symplectic form via Proposition 3.1 and Proposition 4.19 and invokes the external nilmanifold theorem on a nilpotent factor; Theorem 4.25 computes Lefschetz maps explicitly on circuit representatives and uses Corollary 4.18, a direct computation. The structural input Proposition 3.1 is cited from the external preprint [3] (Arroyo-Barberis-Diaz-Godoy-Hernandez), not from the present authors, and it is a supporting lemma, not the target equivalence. Self-citations to [1] occur only for notation and contextual prior work, e.g., 'This is a similar notation to that used by the authors in [1]', and are not load-bearing for the hard-Lefschetz conclusion. The reliance on unpublished references [3,4] is an availability concern, not circularity. Separately, I flag an omitted-proof issue in Theorem 4.21: the claim 'It is straightforward to check that d ex_i = d x_i for all 1 <= i <= 2m' is asserted without details and may fail for generic coefficients; this is a correctness/rigor gap, but a gap is not a circular reduction, so it does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented physical entities. The paper introduces mathematical objects (circuits, double elementary canonical subspaces) but these are tools, not postulated entities requiring independent evidence. The main external inputs are standard theorems and two structural results from unpublished or in-preparation references, which are the main fragility.

assumptions (5)
  • standard math Hattori's theorem: for Γ\G with G completely solvable, the inclusion of left-invariant forms induces an isomorphism H*(g) ≅ H*_dR(Γ\G).
    Invoked in Remark 2.14 and Section 2.2 to justify transferring all cohomological computations from the solvmanifold to the Lie algebra g_A.
  • standard math Benson-Gordon's theorem: a symplectic nilmanifold is hard-Lefschetz iff it is a torus, with failure at degree 1.
    Used in Theorem 4.24 to conclude that a non-abelian nilpotent symplectic subalgebra g_M fails hard Lefschetz at degree 1. The theorem as stated is for nilmanifolds; the paper applies it at the Lie algebra level.
  • standard math Kasuya's theorem: a symplectic solvmanifold with semisimple action φ is hard-Lefschetz for every symplectic form.
    Supplies the semisimple direction of the dichotomy in Theorem 4.27.
  • domain assumption Proposition 3.1 (from [3]): every symplectic form on g_A splits as f^1∧f^2 + ω_0 with A_0 ∈ sp(ω_0).
    Load-bearing structural premise, cited from an unpublished arXiv preprint; all subsequent reductions depend on it.
  • domain assumption Proposition 3.8 (from [4]): classification of real matrices in sp(m,R) with only real eigenvalues in terms of paired Jordan blocks.
    Used to place A_0 in Jordan form with the pairing properties in equation (5); cited to a reference listed as 'In preparation'.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Symplectic solvmanifolds not satisfying the hard-Lefschetz condition." pith.science (2026). https://pith.science/paper/G2GAV4KN

@misc{pith2026250508113,
  author       = {Pith},
  title        = {Pith review of: Symplectic solvmanifolds not satisfying the hard-Lefschetz condition},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/G2GAV4KN}},
  note         = {Machine review of arXiv:2505.08113}
}
abstract

For Lie groups $G$ of the form $G = \R^k \ltimes_{\phi} \R^m$, with $k + m$ even, a result of H. Kasuya shows that if the action $\phi:\R^k \to \mathrm{Aut}(\R^m)$ is semisimple then any symplectic solvmanifold $(\Gamma \backslash G, \omega)$ satisfies the hard-Lefschetz condition for any symplectic form. In this article, we prove the converse in the case $k = 1$ and $G$ completely solvable: no symplectic form on such a solvmanifold satisfies the hard-Lefschetz condition if $\phi$ is not semisimple; moreover, we show that the failure occurs either at degree $1$ or at degree $2$ in cohomology, depending on the spectrum of the differential of the action $\phi$. This result is achieved through a detailed analysis of the cohomology groups $H^1(\g)$, $H^2(\g)$, $H^{2n-2}(\g)$, $H^{2n-1}(\g)$ of the Lie algebra $\g$ of such Lie groups. Among other things, this analysis yields useful representatives for each cohomology class corresponding to any symplectic form on $\g$, allowing the most delicate cases to be reduced to a straightforward computation. We also construct lattices for many of the Lie groups under consideration, thereby exhibiting examples of symplectic solvmanifolds of completely solvable Lie groups failing to have the hard-Lefschetz property for any symplectic form.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

37 extracted references · 35 canonical work pages

  1. [3]

    R. M. Arroyo, M. L. Barberis, V. D´ ıaz, Y. Godoy and I. Hern´ andez. Classification of nilpotent almost abelian Lie groups admitting left-invariant complex or symplectic structures. Preprint 2024, arXiv:2406.06819

    arXiv 2024

  2. [4]

    R. M. Arroyo, M. L. Barberis, V. D´ ıaz, Y. Godoy and I. Hern´ andez. Classification of almost abelian Lie groups admitting left-invariant complex or symplectic structures. In preparation

    work page

  3. [1]

    Andrada and A

    A. Andrada and A. Garrone. Construction of symplectic solvmanifolds satisfying the hard-Lefschetz con- dition. Linear Algebra Appl. 706 (2025), 70–100

    work page 2025

  4. [2]

    Angella and H

    D. Angella and H. Kasuya. Symplectic Bott-Chern cohomology of solvmanifolds. J. Symplectic Geom. 17 (2019), 41–91

    work page 2019

  5. [5]

    de Bartolomeis and A

    P. de Bartolomeis and A. Tomassini. On solvable generalized Calabi-Yau manifolds. Ann. Inst. Fourier 56 (2006), 1281–1296

    work page 2006

  6. [6]

    Benson and C

    C. Benson and C. S. Gordon. K¨ ahler and symplectic structures on nilmanifolds. Topology 27 (1988), 513– 518

    work page 1988

  7. [7]

    Benson and C

    C. Benson and C. S. Gordon. K¨ ahler structures on compact solvmanifolds. Proc. Am. Math. Soc. 108 (1990), 971–980

    work page 1990

  8. [8]

    C. Bock. On low-dimensional solvmanifolds. Asian J. Math. 20 (2016), 199–262

    work page 2016

Show all 37 references
  1. [9]

    J. L. Brylinski. A differential complex for Poisson manifolds. J. Differ. Geom. 28 (1988), 93–114

    1988

  2. [10]

    L. P. Castellanos Moscoso. Left-invariant symplectic structures on diagonal almost abelian Lie groups. Hiroshima Math. J. 52 (2022), 357–378

    2022

  3. [11]

    G. R. Cavalcanti. New aspects of the ddc-Lemma. Oxford Thesis D. Phil. (2005), arxiv.org/abs/math/0501406

    2005 arXiv

  4. [12]

    G. R. Cavalcanti. The Lefschetz property, formality, and blowing up in symplectic geometry. Trans. Am. Math. Soc. 359 (2007), 333–348

    2007

  5. [13]

    Y. Cho. Hard-Lefschetz condition of symplectic structures on compact K¨ ahler manifolds.Trans. Am. Math. Soc. 368 (2016), 8223–8248

    2016

  6. [14]

    Freibert

    M. Freibert. Cocalibrated structures on Lie algebras with a codimension-one abelian ideal. Ann. Glob. Anal. Geom. 42 (2012), 537–563

    2012

  7. [15]

    D. B. Fuks. Cohomology of infinite-dimensional Lie algebras. Springer, Monographs in Contemporary Math- ematics (1986)

    1986

  8. [16]

    A. Hattori. Spectral sequence in the de Rham cohomology of fibre bundles. J. Fac. Sci. Univ. Tokyo Sect. I 8 (1960), 289–331

    1960

  9. [17]

    H. Kasuya. Formality and hard-Lefschetz condition of aspherical manifolds. Osaka J. Math. 50 (2013), 439–455

    2013

  10. [18]

    H. Kasuya. Minimal models, formality, and hard Lefschetz properties of solvmanifolds with local systems. J. Differ. Geom. 93 (2013), 269–297

    2013

  11. [19]

    Lauret and E

    J. Lauret and E. Rodr´ ıguez-Valencia. On the Chern-Ricci flow and its solitons for Lie groups,Math. Nachr. 288 (2015), 1512–1526

    2015

  12. [20]

    Lauret and C

    J. Lauret and C. Will. On the symplectic curvature flow for locally homogeneous manifolds. J. Symplectic Geom. 15 (2014), 1–49

    2014

  13. [21]

    Lusetti and A

    F. Lusetti and A. Tomassini. Hard Lefschetz condition on symplectic non-K¨ ahler solvmanifolds. Preprint 2025, arXiv:2501.13179

    2025

  14. [22]

    A. Malcev. On a class of homogeneous spaces. Izv. Akad. Nauk SSSR 13 (1949), 9–32; English translation in Am. Math. Soc. Transl. 39 (1951)

    1949

  15. [23]

    O. Mathieu. Harmonic cohomology classes of symplectic manifolds. Comment. Math. Helv. 70 (1995), 1–9

    1995

  16. [24]

    C. Mehl, V. Mehrmann, A. C. M. Ran and L. Rodman. Eigenvalue perturbation theory of structured real matrices and their sign characteristics under generic structured rank-one perturbations, Linear Multilinear Algebra 64 (2016), 527–556

    2016

  17. [25]

    S. A. Merkulov. Formality of canonical symplectic complexes and Frobenius manifolds. Internat. Math. Res. Notices. 1998 (1998), 727–733

    1998

  18. [26]

    J. Milnor. Curvatures of left invariant metrics on Lie groups. Adv. Math. 21 (1976), 293–329

    1976

  19. [27]

    M. V. Milovanov, A description of solvable Lie groups with a given uniform subgroup, Math. USSR Sbornik 41 (1982), 83–99. 30 ADRI ´AN ANDRADA AND AGUST´IN GARRONE

    1982

  20. [28]

    G. D. Mostow. Factor spaces of solvable groups. Ann. Math. 60 (1954), 1–27

    1954

  21. [29]

    K. Nomizu. On the cohomology of compact homogeneous spaces of nilpotent Lie groups. Ann. Math. 59 (1954), 531–538

    1954

  22. [30]

    M. Saito. Sur certains groupes de Lie r´ esolubles II. Sci. Papers Coll. Gen. Ed. Univ. Tokyo 7 (1957), 157–168

    1957

  23. [31]

    H. Sawai. A construction of lattices on certain solvable Lie groups, Topology Appl. 154 (2007), 3125–3134

    2007

  24. [32]

    Sawai and T

    H. Sawai and T. Yamada. Lattices on Benson–Gordon type solvable Lie groups. Topology Appl. 149 (2005), 85–95

    2005

  25. [33]

    Tan and A

    Q. Tan and A. Tomassini. Remarks on some compact symplectic solvmanifolds. Acta. Math. Sin., English Ser. 39 (2023), 1874–1886

    2023

  26. [34]

    D. Witte. Superrigidity of lattices in solvable Lie groups, Invent. Math. 122 (1995), 147–193

    1995

  27. [35]

    T. Yamada. Examples of compact Lesfschetz manifolds. Tokyo J. Math. 25 (2002), 261–283

    2002

  28. [36]

    T. Yamada. A construction of lattices in splittable solvable Lie groups. Kodai Math. J. 39 (2016), 378–388

    2016

  29. [37]

    D. Yan. Hodge structure on symplectic manifolds. Adv. Math. 120 (1996), 143–154. Email address : adrian.andrada@unc.edu.ar Email address : agustin.garrone@unc.edu.ar FAMAF, Universidad Nacional de C ´ordoba and CIEM-CONICET, Av. Medina Allende s/n, Ciudad Universitaria, X5000H...

    1996

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.