Degenerations of Jordan algebras
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$…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.31179
curl -X POST /api/v1/records/arxiv/2610.31179/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.31179/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'