Arthur742Ramos/SpinorLean
Formalizes an exterior-model spinor construction for a field K in which 2 is invertible, using an explicit hyperbolic presentation and the Clifford conjugation action on the ambient quadratic space. The development proves field-sensitive covering and image results: the positive split-rank spin-to-isometry kernel is {1,-1}, the spin action therefore descends only projectively, the split-line image is exactly the square-scaling subgroup, and a finite-dimensional split Levi element associated to g lies in the ambient spin image exactly when det(g) is a square unit. The repository also packages…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-08-27-000017
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-27-000017/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-27-000017/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'