1 citations · 1 across the 11 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
math.DG2025
Einstein metrics, their moduli spaces and stability
Paul Schwahn, Uwe Semmelmann
This survey deals with two closely connected topics: first, the stability of Einstein metrics under the Einstein-Hilbert functional, and second, their deformation theory and the st…
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…
math.DG2025
Sandwich operators and Einstein deformations of compact symmetric spaces related to Jordan algebras
Stuart James Hall, Paul Schwahn, Uwe Semmelmann
We study the deformability of the symmetric Einstein metrics on the spaces and , thereby concluding the problem to s…