4 papers
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…
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…
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…
The structure of locally conformally product Lie algebras
Viviana del Barco, Andrei Moroianu
A locally conformally product (LCP) structure on a compact conformal manifold is a closed non-exact Weyl connection (i.e.~a linear connection which is locally but not globally the…