Jiang Yu

A certified degree-56 totally real realization of SL2(F13)

We develop an explicit construction over the rational numbers starting from a fixed totally real degree-fourteen polynomial with splitting group PSL2(F13). A rational isometry of its full trace form produces a nonzero, totally positive Spin determinant in the splitting field. We...

A certified degree-56 totally real realization of SL2(F13)

We develop an explicit construction over the rational numbers starting from a fixed totally real degree-fourteen polynomial with splitting group PSL2(F13). A rational isometry of its full trace form produces a nonzero, totally positive Spin determinant in the splitting field. We...