2009/10/12 by Ian Morrison, Morrison, Ian, David Swinarski +1 · 2 citations
Computer Science · Mathematics · #14H10 #14L24 #Advanced Differential Equations and Dynamical Systems #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra (math.AC) #FOS: Mathematics #Polynomial and algebraic computation #math.AC #math.AG #msc:14H10 #msc:14L24
paper · pdf · doi:10.48550/arxiv.0910.2047
25 pages, 2 figures, accompanying file of code samples
arxiv created 2009/10/12 · openalex publication_date 2009/10/12 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We give a method for verifying, by a symbolic calculation, the stability or semistability with respect to a linearization of fixed, possibly small, degree m, of the Hilbert point of a scheme X ∈ \mathbb P(V) having a suitably large automorphism group. We also implement our method and apply it to analyze the stability of bicanonical models of certain curves. Our examples are very special, but they arise naturally in the log minimal model program for \mathcal Mg. In some examples, this connection provides a check of our computations; in others, the computations confirm predictions about conjectural stages of the program.