pith. sign in

arxiv: 2606.13553 · v2 · pith:FSA2IJYDnew · submitted 2026-06-11 · 🧮 math.DG · math.CV

A Levi-type decomposition on two-step solvable Lie algebras with a complex structure

Elia Fusi , Giovanni Gentili This is my paper

Pith reviewed 2026-06-27 05:31 UTC · model grok-4.3

classification 🧮 math.DG math.CV
keywords solvable Lie algebrascomplex structuresLevi-Malcev decompositionFino-Vezzoni conjectureSKT metricsunimodular Lie algebrascompletely solvable
0
0 comments X

The pith

A large class of two-step solvable Lie algebras with complex structure admits a J-adapted Levi-Malcev decomposition.

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

The paper shows that many two-step solvable Lie algebras carrying a complex structure J can be split into a semisimple part and a radical part that both respect J, in the style of the classical Levi-Malcev decomposition. This algebraic splitting makes representation-theoretic tools available inside the geometric setting defined by J. One immediate consequence is that the Fino-Vezzoni conjecture holds for the subclass of unimodular two-step solvable Lie algebras. The same splitting also supplies a structural description of the unimodular completely solvable ones that admit an SKT metric.

Core claim

We prove that a large class of 2-step solvable Lie algebras equipped with a complex structure J admits a Levi-Malcev type decomposition adapted to J. As an application, we prove that the Fino-Vezzoni conjecture holds true for 2-step solvable unimodular Lie algebras. Finally, we give a structural characterisation of 2-step, unimodular, completely solvable Lie algebras admitting an SKT metric.

What carries the argument

The J-adapted Levi-Malcev type decomposition that splits the algebra while preserving compatibility with the complex structure J.

If this is right

  • The Fino-Vezzoni conjecture holds for every 2-step solvable unimodular Lie algebra.
  • 2-step unimodular completely solvable Lie algebras that admit an SKT metric possess a specific algebraic structure given by the decomposition.
  • The J-compatibility of the splitting can be used to reduce geometric questions on the corresponding Lie groups to algebraic questions on the factors.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same decomposition technique might be tested on solvable Lie algebras equipped with other geometric structures such as symplectic forms.
  • Classification results for complex structures on low-step solvable Lie algebras could become more systematic once the splitting is available.
  • Existence of SKT metrics on non-unimodular examples might be approachable by relaxing the unimodularity hypothesis while keeping the two-step condition.

Load-bearing premise

The Lie algebras belong to a sufficiently large class where the Lie bracket and the complex structure J satisfy the compatibility conditions needed for the adapted decomposition to exist.

What would settle it

Exhibit one concrete 2-step solvable Lie algebra equipped with a complex structure J that lies inside the stated class yet possesses no J-adapted Levi-Malcev decomposition.

read the original abstract

We prove that a large class of $2$-step solvable Lie algebras equipped with a complex structure $J$ admits a Levi-Malcev type decomposition, adapted to $J$. As an application, we prove that the Fino--Vezzoni conjecture holds true for $2$-step solvable unimodular Lie algebras. Finally, we give a structural characterisation of $2$-step, unimodular, completely solvable Lie algebras admitting an SKT metric.

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.

Referee Report

0 major / 2 minor

Summary. The paper proves that a large class of 2-step solvable Lie algebras equipped with an integrable complex structure J admits a J-adapted Levi-Malcev decomposition (semisimple part plus nilradical, both J-invariant). The class is delimited by explicit bracket conditions and J-compatibility requirements that respect 2-step solvability. As applications, the decomposition is used to establish the Fino-Vezzoni conjecture for 2-step solvable unimodular Lie algebras and to give a structural characterization of 2-step unimodular completely solvable Lie algebras admitting SKT metrics.

Significance. If the stated decomposition holds under the given bracket and integrability conditions, the result supplies a concrete structural tool for complex structures on solvable Lie algebras, resolves the Fino-Vezzoni conjecture on a nontrivial subclass, and yields a clean characterization of SKT metrics in the 2-step unimodular completely solvable setting. The explicit, non-circular definition of the class and the direct construction of the splitting are strengths.

minor comments (2)
  1. §2: the notation for the nilradical and the semisimple complement should be introduced with a single consistent symbol (e.g., n and s) rather than alternating between descriptive phrases and ad-hoc letters.
  2. Definition 3.2: the J-compatibility condition on the bracket is stated twice in slightly different wording; a single numbered display equation would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive evaluation of our manuscript. We are grateful for the recommendation to accept the paper, as the referee's summary accurately captures the main results on the J-adapted Levi-Malcev decomposition for 2-step solvable Lie algebras, the confirmation of the Fino-Vezzoni conjecture in the unimodular case, and the characterization of SKT metrics.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper supplies explicit bracket conditions and J-compatibility requirements that define the class of 2-step solvable Lie algebras, followed by a direct construction of the J-adapted Levi-Malcev splitting. This construction is self-contained and does not reduce to fitted parameters, self-citations, or renamings of prior results. The applications to the Fino-Vezzoni conjecture and the characterisation of SKT metrics are formal consequences of the decomposition without load-bearing self-referential steps.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; full text would be needed to audit the proof structure.

pith-pipeline@v0.9.1-grok · 5593 in / 1075 out tokens · 18187 ms · 2026-06-27T05:31:46.672956+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. Long-time existence of the pluriclosed flow on some fibrations

    math.DG 2026-06 unverdicted novelty 7.0

    Establishes long-time existence of the pluriclosed flow on nilmanifolds, almost-abelian solvmanifolds, and holomorphic torus bundles via a general theorem on holomorphic submersions.

Reference graph

Works this paper leans on

300 extracted references · 183 canonical work pages · cited by 1 Pith paper

  1. [1]

    A characterization of

    Kanda, Shuho , journal=. A characterization of

  2. [2]

    Fino, Anna and Kasuya, Hisashi , title =. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) , volume =

  3. [3]

    arXiv preprint arXiv:2606.09583 , year =

    Asia Mainenti and Andrei Moroianu , title =. arXiv preprint arXiv:2606.09583 , year =

    Pith/arXiv arXiv

  4. [4]

    Brienza, Beatrice and Fino, Anna , title =. Math. Nachr. , issn =

  5. [5]

    Gorginyan, Yulia , TITLE =. Funct. Anal. Appl. , FJOURNAL =. 2024 , NUMBER =

    2024

  6. [6]

    Andrada, Adri\'an and Barberis, Mar\'ia Laura and Brienza, Beatrice , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2026 , NUMBER =

    2026

  7. [7]

    Gorginyan, Yulia , TITLE =. J. Geom. Phys. , FJOURNAL =. 2023 , PAGES =

    2023

  8. [8]

    Linear Algebra Appl

    Andrada, Adri\'an and Garrone, Agust\'in , TITLE =. Linear Algebra Appl. , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.laa.2024.11.018 , URL =

    work page doi:10.1016/j.laa.2024.11.018 2025

  9. [9]

    Balanced and pluriclosed metrics on real semisimple

    Kwong, Joseph , journal=. Balanced and pluriclosed metrics on real semisimple

  10. [10]

    , TITLE =

    Besse, Arthur L. , TITLE =. 1987 , PAGES =. doi:10.1007/978-3-540-74311-8 , URL =

    work page doi:10.1007/978-3-540-74311-8 1987

  11. [11]

    , TITLE =

    B\"ohm, Christoph and Lafuente, Ramiro A. , TITLE =. Invent. Math. , FJOURNAL =. 2018 , NUMBER =

    2018

  12. [12]

    Lauret, Jorge , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2010 , NUMBER =

    2010

  13. [13]

    Tolcachier, Alejandro , title =. Math. Nachr. , issn =

  14. [14]

    Palais, R. S. , title =. Am. Math. Mon. , issn =. 1968 , language =. doi:10.2307/2313414 , zbMATH =

    work page doi:10.2307/2313414 1968

  15. [15]

    and Origlia, M

    Andrada, A. and Origlia, M. , title =. Geom. Dedicata , issn =

  16. [16]

    and Barberis, M

    Andrada, A. and Barberis, M. L. and Dotti, I. , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2011 , NUMBER =

    2011

  17. [17]

    Atti della Reale Accademia delle Scienze di Torino

    Levi, Eugenio Elia , TITLE =. Atti della Reale Accademia delle Scienze di Torino. (in Italian) , VOLUME =. 1905 , PAGES =

    1905

  18. [18]

    , TITLE =

    Malcev, A. , TITLE =. C. R. (Doklady) Acad. Sci. URSS (N.S.) , FJOURNAL =. 1942 , PAGES =

    1942

  19. [19]

    2014 , PAGES =

    Classification and identification of. 2014 , PAGES =

    2014

  20. [20]

    , title =

    Pierce, Richard S. , title =. 1982 , publisher =

    1982

  21. [21]

    and Wang, X

    Streets, J. and Wang, X. , date-added =. arXiv preprint arXiv:2512.11246 , title =

    arXiv

  22. [22]

    , date-added =

    Paradiso, F. , date-added =. Locally conformally balanced metrics on almost abelian. Complex Manifolds , keywords =. 2021 , bdsk-url-1 =

    2021

  23. [23]

    Hano, Jun-ichi , TITLE =. Amer. J. Math. , FJOURNAL =. 1957 , PAGES =

    1957

  24. [24]

    A general

    Broder, Kyle and Stanfield, James , date-added =. A general. 2023 , bdsk-url-1 =

    2023

  25. [25]

    , date-added =

    Lu, Y.-C. , date-added =. Holomorphic mappings of complex manifolds , volume =. J. Differ. Geom. , pages =. 1968 , bdsk-url-1 =

    1968

  26. [26]

    and Barberis, M

    Andrada, A. and Barberis, M. L. and Dotti, I. G. , date-added =. Abelian. Differ. Geom. Appl. , keywords =. 2012 , zbl =. doi:10.1016/j.difgeo.2012.07.001 , fjournal =

    work page doi:10.1016/j.difgeo.2012.07.001 2012

  27. [27]

    Petravchuk, A. P. , date-added =. Lie algebras, decomposable into a sum of an. Ukr. Math. J. , keywords =. 1988 , zbl =. doi:10.1007/BF01061314 , fjournal =

    work page doi:10.1007/bf01061314 1988

  28. [28]

    and Tomassini, A

    Piovani, R. and Tomassini, A. , date-added =. Aeppli cohomology and. Complex Anal. Oper. Theory , number =. 2020 , bdsk-url-1 =

    2020

  29. [29]

    , date-added =

    Topping, P. , date-added =. Lectures on the

  30. [30]

    , booktitle =

    Lauret, J. , booktitle =. The search for solitons on homogeneous spaces , year =

  31. [31]

    , date-added =

    Ustinovskiy, Y. , date-added =. The. Am. J. Math. , number =. 2019 , bdsk-url-1 =

    2019

  32. [32]

    and Phong, D

    Fei, T. and Phong, D. H. , booktitle =. Unification of the. 2020 , bdsk-url-1 =

    2020

  33. [33]

    , date-added =

    Perelman, G. , date-added =. Finite extinction time for the solutions to the. arXiv preprint math/0307245 , pages =

    Pith/arXiv arXiv

  34. [34]

    , date-added =

    Perelman, G. , date-added =. arXiv preprint math.DG/0303109 , pages =

    arXiv

  35. [35]

    , date-added =

    Perelman, G. , date-added =. The entropy formula for the. arXiv preprint math/0211159 , pages =

    Pith/arXiv arXiv

  36. [36]

    Hamilton, R. S. , date-added =. Three-manifolds with positive. J. Differ. Geom. , keywords =. 1982 , bdsk-url-1 =

    1982

  37. [37]

    and Calamai, S

    Angella, D. and Calamai, S. and Pediconi, F. and Spotti, C. , date-added =. A moment map for twisted-. Transform. Groups , pages =

  38. [38]

    , date-added =

    Reid, M. , date-added =. The moduli space of 3-folds with. Math. Ann. , keywords =. 1987 , bdsk-url-1 =

    1987

  39. [39]

    , date-added =

    Alesker, S. , date-added =. Solvability of the quaternionic. Adv. Math. , keywords =. 2013 , bdsk-url-1 =. doi:10.1016/j.aim.2013.03.021 , fjournal =

    work page doi:10.1016/j.aim.2013.03.021 2013

  40. [40]

    , date-added =

    Donaldson, S. , date-added =. Fields Medallists' lectures, World Sci. Ser. 20th Century Math., , pages =

  41. [41]

    , date-added =

    Fujiki, A. , date-added =. Sugaku Expositions , number =

  42. [42]

    and Tardini, N

    Gentili, G. and Tardini, N. , date-added =. Q. J. Math. , number =. 2024 , bdsk-url-1 =. doi:10.1093/qmath/haae013 , eprint =

    work page doi:10.1093/qmath/haae013 2024

  43. [43]

    , date-added =

    Agmon, S. , date-added =. Lectures on elliptic boundary value problems , year =

  44. [44]

    and Lafuente, R

    Fusi, E. and Lafuente, R. A. and Stanfield, J. , date-added =. The homogeneous generalized. arXiv preprint arXiv:2404.15749 , pages =

    arXiv

  45. [45]

    and Hopper, C

    Andrews, B. and Hopper, C. , date-added =. The. 2011 , zbl =. doi:10.1007/978-3-642-16286-2 , fseries =

    work page doi:10.1007/978-3-642-16286-2 2011

  46. [46]

    , booktitle =

    Rong, X. , booktitle =. Convergence and collapsing theorems in

  47. [47]

    and Burago, Y

    Burago, D. and Burago, Y. and Ivanov, S. , date-added =. A course in metric geometry , volume =. 2001 , zbl =

    2001

  48. [48]

    and Verbitsky, M

    Moraru, R. and Verbitsky, M. , date-added =. Stable bundles on hypercomplex surfaces , volume =. Cent. Eur. J. Math. , keywords =. 2010 , zbl =. doi:10.2478/s11533-010-0006-7 , fjournal =

    work page doi:10.2478/s11533-010-0006-7 2010

  49. [49]

    and Streets, J

    Gindi, S. and Streets, J. , date-added =. Structure of collapsing solutions of generalized. J. Geom. Anal. , keywords =. 2021 , zbl =. doi:10.1007/s12220-020-00433-y , fjournal =

    work page doi:10.1007/s12220-020-00433-y 2021

  50. [50]

    Manuscripta Math

    Snow, Joanne Erdman , TITLE =. Manuscripta Math. , FJOURNAL =. 1990 , NUMBER =

    1990

  51. [51]

    and Streets, J

    Apostolov, V. and Streets, J. and Ustinovskiy, Y. , date-added =. Variational structure and uniqueness of generalized. Peking Math. J. , keywords =. 2023 , zbl =. doi:10.1007/s42543-022-00049-x , fjournal =

    work page doi:10.1007/s42543-022-00049-x 2023

  52. [52]

    Alekseevsky, D. V. and Kimel'fel'd, B. N. , date-added =. Structure of homogeneous. Funct. Anal. Appl. , keywords =. 1975 , zbl =. doi:10.1007/BF01075445 , fjournal =

    work page doi:10.1007/bf01075445 1975

  53. [53]

    and Vezzoni, L

    Raffero, A. and Vezzoni, L. , date-added =. On the dynamical behaviour of the generalized. J. Geom. Anal. , keywords =. 2021 , zbl =. doi:10.1007/s12220-021-00656-7 , fjournal =

    work page doi:10.1007/s12220-021-00656-7 2021

  54. [54]

    Poon, Y. S. and Swann, A. , date-added =. Potential functions of. Classical Quantum Gravity , keywords =. 2001 , zbl =. doi:10.1088/0264-9381/18/21/318 , fjournal =

    work page doi:10.1088/0264-9381/18/21/318 2001

  55. [55]

    , date-added =

    Lamari, A. , date-added =. Courants k. Ann. Inst. Fourier , keywords =. 1999 , zbl =. doi:10.5802/aif.1673 , fjournal =

    work page doi:10.5802/aif.1673 1999

  56. [56]

    , date-added =

    Buchdahl, N. , date-added =. On compact. Ann. Inst. Fourier , keywords =. 1999 , zbl =. doi:10.5802/aif.1674 , fjournal =

    work page doi:10.5802/aif.1674 1999

  57. [57]

    Kronheimer, P. B. , date-added =. A. J. Differ. Geom. , keywords =. 1989 , bdsk-url-1 =. doi:10.4310/jdg/1214443067 , fjournal =

    work page doi:10.4310/jdg/1214443067 1989

  58. [58]

    Kronheimer, P. B. , date-added =. The construction of. J. Differ. Geom. , keywords =. 1989 , bdsk-url-1 =. doi:10.4310/jdg/1214443066 , fjournal =

    work page doi:10.4310/jdg/1214443066 1989

  59. [59]

    Gibbons, G. W. and Hawking, S. W. , date-added =. Classification of gravitational instanton symmetries , url =. Comm. Math. Phys. , mrclass =. 1979 , bdsk-url-1 =

    1979

  60. [60]

    , booktitle =

    Calabi, E. , booktitle =. M\'

  61. [61]

    and Hanson, A

    Eguchi, T. and Hanson, A. J. , date-added =. Self-dual solutions to. Ann. Physics , mrclass =. 1979 , bdsk-url-1 =. doi:10.1016/0003-4916(79)90282-3 , fjournal =

    work page doi:10.1016/0003-4916(79)90282-3 1979

  62. [62]

    O'Grady, K. G. , date-added =. A new six-dimensional irreducible symplectic variety , url =. J. Algebraic Geom. , mrclass =. 2003 , bdsk-url-1 =. doi:10.1090/S1056-3911-03-00323-0 , fjournal =

    work page doi:10.1090/s1056-3911-03-00323-0 2003

  63. [63]

    O'Grady, K. G. , date-added =. Desingularized moduli spaces of sheaves on a. J. Reine Angew. Math. , mrclass =. 1999 , bdsk-url-1 =. doi:10.1515/crll.1999.056 , fjournal =

    work page doi:10.1515/crll.1999.056 1999

  64. [64]

    , date-added =

    Beauville, A. , date-added =. Vari\'. J. Differ. Geom. , mrclass =. 1983 , bdsk-url-1 =

    1983

  65. [65]

    Sommese, A. J. , date-added =. Quaternionic manifolds , volume =. Math. Ann. , keywords =. 1975 , zbl =. doi:10.1007/BF01357140 , fjournal =

    work page doi:10.1007/bf01357140 1975

  66. [66]

    Alekseevsky, D. V. and Marchiafava, S. , date-added =. Quaternionic-like structures on a manifold. Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. , keywords =. 1993 , zbl =

    1993

  67. [67]

    , date-added =

    Soldatenkov, A. , date-added =. Holonomy of the. Int. Math. Res. Not. , keywords =. 2012 , zbl =. doi:10.1093/imrn/rnr152 , fjournal =

    work page doi:10.1093/imrn/rnr152 2012

  68. [68]

    Barberis, M. L. and Dotti, I. , date-added =. Abelian complex structures on solvable. J. Lie Theory , keywords =. 2004 , zbl =

    2004

  69. [69]

    Barberis, M. L. , date-added =. Abelian hypercomplex structures on central extensions of. J. Pure Appl. Algebra , keywords =. 2001 , zbl =. doi:10.1016/S0022-4049(00)00022-0 , fjournal =

    work page doi:10.1016/s0022-4049(00)00022-0 2001

  70. [70]

    and Verbitsky, M

    Soldatenkov, A. and Verbitsky, M. , date-added =. Holomorphic. Int. Math. Res. Not. , keywords =. 2015 , zbl =. doi:10.1093/imrn/rnt218 , fjournal =

    work page doi:10.1093/imrn/rnt218 2015

  71. [71]

    and Fino, A

    Dotti, I. and Fino, A. , date-added =. Hypercomplex eight-dimensional nilpotent. J. Pure Appl. Algebra , keywords =. 2003 , zbl =. doi:10.1016/S0022-4049(03)00104-X , fjournal =

    work page doi:10.1016/s0022-4049(03)00104-x 2003

  72. [72]

    and Poon, Y

    Pedersen, H. and Poon, Y. S. , date-added =. Deformations of hypercomplex structures , volume =. J. Reine Angew. Math. , keywords =. 1998 , zbl =

    1998

  73. [73]

    and Poon, Y

    Pedersen, H. and Poon, Y. S. and Swann, A. , date-added =. Hypercomplex structures associated to quaternionic manifolds , volume =. Differ. Geom. Appl. , keywords =. 1998 , zbl =. doi:10.1016/S0926-2245(98)00026-6 , fjournal =

    work page doi:10.1016/s0926-2245(98)00026-6 1998

  74. [74]

    and Poon, Y

    Pedersen, H. and Poon, Y. S. , date-added =. Inhomogeneous hypercomplex structures on homogeneous manifolds , volume =. J. Reine Angew. Math. , keywords =. 1999 , zbl =. doi:10.1515/crll.1999.083 , fjournal =

    work page doi:10.1515/crll.1999.083 1999

  75. [75]

    , date-added =

    Joyce, D. , date-added =. The hypercomplex quotient and the quaternionic quotient , volume =. Math. Ann. , keywords =. 1991 , zbl =. doi:10.1007/BF01459248 , fjournal =

    work page doi:10.1007/bf01459248 1991

  76. [76]

    and Pedersen, H

    Grantcharov, F. and Pedersen, H. and Poon, Y. S. , date-added =. Deformations of hypercomplex structures associated to. Q. J. Math. , keywords =. 2008 , zbl =. doi:10.1093/qmath/ham040 , fjournal =

    work page doi:10.1093/qmath/ham040 2008

  77. [77]

    and Galicki, K

    Boyer, C. and Galicki, K. and Mann, B. M. , date-added =. Hypercomplex structures from 3-. J. Reine Angew. Math. , keywords =. 1998 , zbl =

    1998

  78. [78]

    and Galicki, K

    Boyer, C. and Galicki, K. and Mann, B. M. , date-added =. Hypercomplex structures on. Ann. Global Anal. Geom. , keywords =. 1996 , zbl =. doi:10.1007/BF00128197 , fjournal =

    work page doi:10.1007/bf00128197 1996

  79. [79]

    and Galicki, K

    Boyer, C. and Galicki, K. and Mann, B. M. , date-added =. Some new examples of compact inhomogeneous hypercomplex manifolds , volume =. Math. Res. Lett. , keywords =. 1994 , zbl =. doi:10.4310/MRL.1994.v1.n5.a1 , fjournal =

    work page doi:10.4310/mrl.1994.v1.n5.a1 1994

  80. [80]

    and Suneeta, V

    Oliynyk, T. and Suneeta, V. and Woolgar, E. , date-added =. A gradient flow for worldsheet nonlinear sigma models , volume =. Nuclear Phys. B , keywords =. 2006 , zbl =. doi:10.1016/j.nuclphysb.2006.01.036 , fjournal =

    work page doi:10.1016/j.nuclphysb.2006.01.036 2006

Showing first 80 references.