Let a,b,c,d,e,f be 6 points in the projective plane: they lie on a common conic iff [abc][ade][bdf][cef]=[abd][ace][bcf][def], where [xyz] stands for the 3×3 determinant of the homogeneous coordinates of the 3 points x,y,z. …
Interpreting such bracket expressions as ruler constructions (more precisely, with join and meet operations in the Grassmann-Cayley algebra) is the "Cayley factorization problem". Very far from solved, but one can at least recover Pascal's theorem:https://link.springer.com/article/10.1007/s00454-015-9738-2 …
-
-
The thing is, 6 points have 6!/12=60 ways of being arranged cyclically in a hexagon, giving rise to 60 different Pascal lines. The expression [abc][ade][bdf][cef]=[abd][ace][bcf][def] has 48 automorphisms, so there are 6!/48=15 such: each corresponds to 4 Pascal lines. …
-
…So Cayley factorization has to somehow break the symmetry… I guess… I'm a bit confused. I'll try reading Apel's paper (I know about Cayley factorization from Sturmfels's book, but this seems very nice). But I was more intrigued by the problem of symmetry in the 6 points.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.