3 papers
math.DG2025
The characteristic group of Lie LCP manifolds
Viviana del Barco, Andrei Moroianu
The (reduced) characteristic group of a locally conformally product manifold is obtained by restricting the action of its fundamental group to the non-flat factor of the universal…
math.DG2025
Left-invariant -structures of type III
Viviana del Barco, Ana Cristina Ferreira, Ines Kath
We investigate left-invariant -structures on 7-dimensional Lie groups, focusing on those whose holonomy algebras are indecomposable and of type III, the latter meaning…
cs.LO2025
Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
Viviana del Barco, Gustavo Infanti, Exequiel Rivas +1
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic…