2025/11/11 by Towers, David, Gutierrez, Ismael, Fernandez, Luis
#05C25 #05C40 #17B30 #17B45 #Combinatorics (math.CO) #FOS: Mathematics #Group Theory (math.GR) #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.2511.08290
We introduce and investigate the solvable graph Γ_\mathfrakS(L) of a finite-dimensional Lie algebra L over a field F. The vertices are the elements outside the solvabilizer \sol(L), and two vertices are adjacent whenever they generate a solvable subalgebra. After developing the basic properties of solvabilizers and S-Lie algebras, we establish divisibility conditions, coset decompositions, and degree constraints for solvable graphs. Explicit examples, such as \mathfraksl2(\mathbbF3), illustrate that solvable graphs may be non-connected, in sharp contrast with the group-theoretic setting. We further determine the degree sequences of Γ_\mathfrakS(\mathfrakgl2(\Fq)) and Γ_\mathfrakS(\mathfraksl2(\Fq)), highlighting how spectral types of matrices dictate combinatorial patterns. An algorithmic framework based on GAP and SageMath is also provided for practical computations. Our results reveal both analogies and differences with the nilpotent graph of Lie algebras, and suggest that solvable graphs encode structural invariants in a genuinely new way. This work opens the door to a broader graphical approach to solvability in Lie theory.