Farey Symbols for the Picard Group
We introduce Picard Farey symbols for finite-index subgroups of \(G=\PSL_2(\ZZ[i])\), using the Gaussian Farey tessellation of \(\HH^3\) by ideal octahedra. A symbol records finitely many Gaussian-rational octahedral occurrences, their local stabilizers, and ordered cooriented face pairings. We prove that a valid marke...