2020/12/05 by Xander Faber, Faber, Xander, Keith Pardue +3
Mathematics · Medicine · Pharmacology, Toxicology and Pharmaceutics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Alkaloids: synthesis and pharmacology #FOS: Mathematics #Magnolia and Illicium research #math.AG
paper · pdf · doi:10.48550/arxiv.2012.03073
22 pages
arxiv created 2020/12/05 · openalex publication_date 2020/12/05 · arxiv updated 2020/12/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The classical theory of the cross-ratio is a beautiful case study of the moduli of ordered points of the projective line and of invariants of the action of PGL2. We generalize the theory of the cross-ratio to the setting of S-valued points for an arbitrary scheme S. To accomplish this goal, we provide a comprehensive and computationally focused treatment of automorphisms of projective space over S, of equalizers in the category of schemes, and of vanishing loci of sections of line bundles. Most of these ideas exist in the literature, though not with the level of detail or generality that we require. After introducing the notion of a "strongly distinct" pair of morphisms, we define the cross-ratio of 4-tuples of pairwise strongly distinct S-valued points of the projective line -- which is valued in the units of the ring of global functions on the scheme S -- and show that it enjoys all of the familiar properties of the cross-ratio.