{"id":"arxiv/2610.31179","url":"https://arxiv.org/abs/2610.31179","tags":["math.RA"],"score":0,"title":"Degenerations of Jordan algebras","domain":"math.RA","source":"arxiv","authors":["Victor Bovdi","Ivan Kaygorodov","Yury Popov","Azamat Saydaliyev","Yury Volkov"],"reviews":0,"subject":"math.RA","summary":"We describe all degenerations of complex $4$-dimensional Jordan algebras and of complex $5$-dimensional nilpotent Jordan algebras. The proofs do not use other papers on degenerations, and all degenerations and non-degenerations were formally verified in the proof assistant Lean~4. The graph of primary degenerations of $4$-dimensional Jordan algebras has $73$ vertices and $160$ edges. The variety of $5$-dimensional nilpotent Jordan algebras is stratified into $63$ normal forms, five of which are one- or two-parameter families; together with two special members of a family this gives $65$…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-22","reactions":{}}