Showing 1–18 of 18 results for author: O'Dorney, E

Galois groups of reciprocal polynomials and the van der Waerden-Bhargava theorem

Authors: Theresa C. Anderson, Adam Bertelli, Evan M. O'Dorney

Abstract: We study the Galois groups $G_f$ of degree $2n$ reciprocal (a.k.a. palindromic) polynomials $f$ of height at most $H$, finding that $G_f$ falls short of the maximal possible group $S_2 \wr S_n$ for a proportion of all $f$ bounded above and below by constant multiples of $H^{-1} \log H$, whether or not $f$ is required to be monic. This answers a 1998 question of Davis-Duke-Sun and extends Bhargava'… ▽ More We study the Galois groups $G_f$ of degree $2n$ reciprocal (a.k.a. palindromic) polynomials $f$ of height at most $H$, finding that $G_f$ falls short of the maximal possible group $S_2 \wr S_n$ for a proportion of all $f$ bounded above and below by constant multiples of $H^{-1} \log H$, whether or not $f$ is required to be monic. This answers a 1998 question of Davis-Duke-Sun and extends Bhargava's 2023 resolution of van der Waerden's 1936 conjecture on the corresponding question for general polynomials. Unlike in that setting, the dominant contribution comes not from reducible polynomials but from those $f$ for which $(-1)^n f(1) f(-1)$ is a square, causing $G_f$ to lie in an index-$2$ subgroup. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: 21 pages

MSC Class: 11R32; 11R45; 11C08; 11N35; 20E22

Even-carry polynomials and cohomology of line bundles on the incidence correspondence in positive characteristic

Authors: Evan M. O'Dorney

Abstract: We consider the cohomology groups of line bundles $\mathcal{L}$ on the \emph{incidence correspondence}, that is, a general hypersurface $X \subset \mathbb{P}^{n-1} \times \mathbb{P}^{n-1}$ of degrees $(1,1)$. Whereas the characteristic $0$ situation is completely understood, the cohomology in characteristic $p$ depends in a mysterious way on the base-$p$ digits of the degrees $(d, e)$ of… ▽ More We consider the cohomology groups of line bundles $\mathcal{L}$ on the \emph{incidence correspondence}, that is, a general hypersurface $X \subset \mathbb{P}^{n-1} \times \mathbb{P}^{n-1}$ of degrees $(1,1)$. Whereas the characteristic $0$ situation is completely understood, the cohomology in characteristic $p$ depends in a mysterious way on the base-$p$ digits of the degrees $(d, e)$ of $\mathcal{L}$. Gao and Raicu (following Linyuan Liu) prove a recursive description of the cohomology for $n = 3$, which relates to Nim polynomials when $p = 2$. In this paper, we devise a suitable generalization of Nim polynomials, which we call \emph{even-carry polynomials,} by which we can solve the recurrence of Liu--Gao--Raicu to yield an explicit formula for the cohomology for $n = 3$ and general $p$. We also make some conjectures on the general form of the cohomology for general $n$ and $p$. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 16 pages, including 4 tables

MSC Class: 14M07; 14J60; 14G17

Degree asymptotics of the numerical semigroup tree

Authors: Evan O'Dorney

Abstract: A \emph{numerical semigroup} is a subset $Λ$ of the nonnegative integers that is closed under addition, contains $0$, and omits only finitely many nonnegative integers (called the \emph{gaps} of $Λ$). The collection of all numerical semigroups may be visually represented by a tree of element removals, in which the children of a semigroup $Λ$ are formed by removing one element of $Λ$ that exceeds a… ▽ More A \emph{numerical semigroup} is a subset $Λ$ of the nonnegative integers that is closed under addition, contains $0$, and omits only finitely many nonnegative integers (called the \emph{gaps} of $Λ$). The collection of all numerical semigroups may be visually represented by a tree of element removals, in which the children of a semigroup $Λ$ are formed by removing one element of $Λ$ that exceeds all existing gaps of $Λ$. In general, a semigroup may have many children or none at all, making it difficult to understand the number of semigroups at a given depth on the tree. We investigate the problem of estimating the number of semigroups at depth $g$ (i.e.\ of genus $g$) with $h$ children, showing that as $g$ becomes large, it tends to a proportion $φ^{-h-2}$ of all numerical semigroups, where $φ$ is the golden ratio. △ Less

Submitted 19 March, 2024; originally announced March 2024.

Comments: 12 pages, 1 figure. Corrects several typos in the 2013 published version

MSC Class: 20M14

Journal ref: Semigroup Forum 87 (2013) 601-616,

Section Rings of $\mathbb{Q}$-Divisors on Genus $1$ Curves

Authors: Michael Cerchia, Jesse Franklin, Evan O'Dorney

Abstract: We compute generators and relations for the section ring of a rational divisor on an elliptic curve. Our technique generalizes the work of O'Dorney (in genus zero) and Voight--Zureick-Brown (for specific divisors arising from the study of stacky curves). For effective divisors supported on at most two points, we give explicit descriptions of the generators and the leading terms of the relations fo… ▽ More We compute generators and relations for the section ring of a rational divisor on an elliptic curve. Our technique generalizes the work of O'Dorney (in genus zero) and Voight--Zureick-Brown (for specific divisors arising from the study of stacky curves). For effective divisors supported on at most two points, we give explicit descriptions of the generators and the leading terms of the relations for a minimal presentation. As in the genus zero case, the generators are parametrized by best lower approximations to the coefficients, but there are added wrinkles. Following Landesman, Ruhm and Zhang we can bound the degrees of generators for the section ring of an effective divisor supported at any finite number of points. △ Less

Submitted 1 March, 2024; v1 submitted 22 December, 2023; originally announced December 2023.

Comments: 30 pages, 5 figures. Amplified with new results since last version; intended to be submitted for publication

Renaissance canons with asymmetric schemes

Authors: Evan M. O'Dorney

Abstract: By a "scheme" of a musical canon, we mean the time and pitch displacement of each entering voice. When the time displacements are unequal, achieving consonant sonorities is especially challenging. Using a first-species theoretical model, we quantify the flexibility of schemes that Renaissance composers used or could have used. We craft an algorithm to compute this flexibility value precisely (find… ▽ More By a "scheme" of a musical canon, we mean the time and pitch displacement of each entering voice. When the time displacements are unequal, achieving consonant sonorities is especially challenging. Using a first-species theoretical model, we quantify the flexibility of schemes that Renaissance composers used or could have used. We craft an algorithm to compute this flexibility value precisely (finding in the process that it is an algebraic integer). We find that Palestrina consistently selected some of the most flexible schemes, more so than his predecessors, but that he by no means exhausted all feasible schemes. To add support to the model, we present two new compositions within the limits of the style utilizing unexplored canonic schemes. In the Online Supplement (attached via Papers with Code), we provide MIDI realizations of the musical examples and Sage code used in the numerical computations. △ Less

Submitted 27 September, 2023; v1 submitted 27 February, 2023; originally announced February 2023.

Comments: 27 pages, including 17 figures and 3 tables. Revised and amplified to reflect comments made by the reviewers

MSC Class: 00A65 (Primary); 68R10; 05C38; 90B10; 11R06 (Secondary)

Large orbits on Markoff-type K3 surfaces over finite fields

Authors: Evan M. O'Dorney

Abstract: We study the surface $\mathcal{W}_k : x^2 + y^2 + z^2 + x^2 y^2 z^2 = k x y z$ in $(\mathbb{P}^1)^3$, a tri-involutive K3 (TIK3) surface. We explain a phenomenon noticed by Fuchs, Litman, Silverman, and Tran: over a finite field of order $\equiv 1$ mod $8$, the points of $\mathcal{W}_4$ do not form a single large orbit under the group $Γ$ generated by the three involutions fixing two variables and… ▽ More We study the surface $\mathcal{W}_k : x^2 + y^2 + z^2 + x^2 y^2 z^2 = k x y z$ in $(\mathbb{P}^1)^3$, a tri-involutive K3 (TIK3) surface. We explain a phenomenon noticed by Fuchs, Litman, Silverman, and Tran: over a finite field of order $\equiv 1$ mod $8$, the points of $\mathcal{W}_4$ do not form a single large orbit under the group $Γ$ generated by the three involutions fixing two variables and a few other obvious symmetries, but rather admit a partition into two $Γ$-invariant subsets of roughly equal size. The phenomenon is traced to an explicit double cover of the surface. △ Less

Submitted 16 November, 2022; v1 submitted 21 September, 2022; originally announced September 2022.

Comments: 4 pages. Accepted at IMRN

MSC Class: 11G25; 14J27; 14J28

Journal ref: Int. Math. Res. Not. IMRN; Dec. 2022

Diophantine approximation on conics

Authors: Evan M. O'Dorney

Abstract: Given a conic $\mathcal{C}$ over $\mathbb{Q}$, it is natural to ask what real points on $\mathcal{C}$ are most difficult to approximate by rational points of low height. For the analogous problem on the real line (for which the least approximable number is the golden ratio, by Hurwitz's theorem), the approximabilities comprise the classically studied Lagrange and Markoff spectra, but work by Cha-K… ▽ More Given a conic $\mathcal{C}$ over $\mathbb{Q}$, it is natural to ask what real points on $\mathcal{C}$ are most difficult to approximate by rational points of low height. For the analogous problem on the real line (for which the least approximable number is the golden ratio, by Hurwitz's theorem), the approximabilities comprise the classically studied Lagrange and Markoff spectra, but work by Cha-Kim and Cha-Chapman-Gelb-Weiss shows that the spectra of conics can vary. We provide notions of approximability, Lagrange spectrum, and Markoff spectrum valid for a general $\mathcal{C}$ and prove that their behavior is exhausted by the special family of conics $\mathcal{C}_n : XZ = nY^2$, which has symmetry by the modular group $Γ_0(n)$ and whose Markoff spectrum was studied in a different guise by A. Schmidt and Vulakh. The proof proceeds by using the Gross-Lucianovic bijection to relate a conic to a quaternionic subring of $\operatorname{Mat}^{2\times 2}(\mathbb{Z})$ and classifying invariant lattices in its $2$-dimensional representation. △ Less

Submitted 31 January, 2024; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: 12 pp., incl. 2 tables. Corrected some minor errors and omissions from published version

MSC Class: 11J06

Journal ref: Proc. Amer. Math. Soc., 151(5):1889-1905, 2023

Reflection theorems of Ohno-Nakagawa type for quartic rings and pairs of $n$-ary quadratic forms

Authors: Evan M. O'Dorney

Abstract: We prove a reflection theorem, conjectured by Nakagawa and Ohno, for the number of quartic rings, or pairs of ternary quadratic forms, with a given cubic resolvent. Over $\mathbb{Z}$, our results are unconditional; we also allow the base to be the ring of integers of a general number field, conditional on some algebraic identities that are Monte Carlo verified. We also establish a reflection theor… ▽ More We prove a reflection theorem, conjectured by Nakagawa and Ohno, for the number of quartic rings, or pairs of ternary quadratic forms, with a given cubic resolvent. Over $\mathbb{Z}$, our results are unconditional; we also allow the base to be the ring of integers of a general number field, conditional on some algebraic identities that are Monte Carlo verified. We also establish a reflection theorem for quartic $11111$-forms and $48441$-forms that relates them to the number of $3\times 3$ symmetric matrices with given characteristic polynomial. Along the way, we find elegant new results on Igusa zeta functions of conics and the average value of a quadratic character over a box in a local field. We conjecture that a reflection theorem holds for pairs of $n$-ary quadratic forms for any odd $n$, and we prove this for odd cubefree discriminant. This furnishes a more satisfactory answer for a question raised by Cohen, Diaz y Diaz, and Olivier, namely whether there exist an infinite family of reflection theorems of Ohno-Nakagawa type. △ Less

Submitted 30 April, 2022; v1 submitted 22 April, 2022; originally announced April 2022.

Comments: 156 pages, including 4 tables and appendix. An improved version of the latter part of arXiv:2107.04727. Abstract revised for this version

MSC Class: 11R16; 11A15; 11E12; 11E08; 11R54

Reflection theorems for number rings generalizing the Ohno-Nakagawa identity

Authors: Evan M. O'Dorney

Abstract: The Ohno-Nakagawa (O-N) reflection theorem is an unexpectedly simple identity relating the number of $\mathrm{GL}_2 \mathbb{Z}$-classes of binary cubic forms (equivalently, cubic rings) of two different discriminants $D$, $-27D$; it generalizes cubic reciprocity and the Scholz reflection theorem. In this paper, we present a new approach to this theorem using Fourier analysis on the adelic cohomolo… ▽ More The Ohno-Nakagawa (O-N) reflection theorem is an unexpectedly simple identity relating the number of $\mathrm{GL}_2 \mathbb{Z}$-classes of binary cubic forms (equivalently, cubic rings) of two different discriminants $D$, $-27D$; it generalizes cubic reciprocity and the Scholz reflection theorem. In this paper, we present a new approach to this theorem using Fourier analysis on the adelic cohomology $H^1(\mathbb{A}_K, M)$ of a finite Galois module, modeled after the celebrated Fourier analysis on $\mathbb{A}_K$ used in Tate's thesis. This method reduces reflection theorems of O-N type to local identities. We establish reflection theorems of O-N type for cubic forms and rings over arbitrary number fields, and also for quadratic forms counting by a peculiar invariant $a(b^2 - 4ac)$. We also find relations for the number of forms over $\mathbb{Z}[1/N]$ and for forms of highly non-squarefree discriminant (discriminant reduction). In a sequel to this paper, we will deal with reflection theorems for quartic rings, $2\times 3\times 3$ symmetric boxes, and binary quartic forms. In these cases the local step is much more involved. △ Less

Submitted 16 February, 2022; v1 submitted 18 November, 2021; originally announced November 2021.

Comments: 51 pages, 2 figures. A condensed version of the first half of arxiv:2107.04727

MSC Class: 11R16; 11A15; 11E76; 11R54; 11G20

Reflection theorems for number rings

Authors: Evan M. O'Dorney

Abstract: This is the original version of my Ph.D. thesis. The main results have been divided up between papers arXiv:2111.09784 and arXiv:2204.10924. This paper has been kept on the arXiv to preserve some proofs of elementary lemmas that will be removed from the peer-reviewed version. This is the original version of my Ph.D. thesis. The main results have been divided up between papers arXiv:2111.09784 and arXiv:2204.10924. This paper has been kept on the arXiv to preserve some proofs of elementary lemmas that will be removed from the peer-reviewed version. △ Less

Submitted 30 April, 2022; v1 submitted 9 July, 2021; originally announced July 2021.

Comments: Abstract revised for this version

MSC Class: 11R16 11A15 11E20 11R54 11G20

Harmonic Analysis and Statistics of the First Galois Cohomology Group

Authors: Brandon Alberts, Evan O'Dorney

Abstract: We utilize harmonic analytic tools to count the number of elements of the Galois cohomology group $f\in H^1(K,T)$ with discriminant-like invariant ${\rm inv}(f)\le X$ as $X\to\infty$. Specifically, Poisson summation produces a canonical decomposition for the corresponding generating series as a sum of Euler products for a very general counting problem. This type of decomposition is exactly what is… ▽ More We utilize harmonic analytic tools to count the number of elements of the Galois cohomology group $f\in H^1(K,T)$ with discriminant-like invariant ${\rm inv}(f)\le X$ as $X\to\infty$. Specifically, Poisson summation produces a canonical decomposition for the corresponding generating series as a sum of Euler products for a very general counting problem. This type of decomposition is exactly what is needed to compute asymptotic growth rates using a Tauberian theorem. These new techniques allow for the removal of certain obstructions to known results and answer some outstanding questions on the generalized version of Malle's conjecture for the first Galois cohomology group. △ Less

Submitted 10 July, 2023; v1 submitted 22 February, 2021; originally announced February 2021.

Comments: 29 pages. Edited to correct an error in the main proof, incorporating changes published in a separate corrigendum. Minor typos also fixed

Journal ref: Res Math Sci 8:50 (2021); corrigendum: Res Math Sci 10:31 (2023)

Visibly irreducible polynomials over finite fields

Authors: Evan M. O'Dorney

Abstract: H. Lenstra has pointed out that a cubic polynomial of the form (x-a)(x-b)(x-c) + r(x-d)(x-e), where {a,b,c,d,e} is some permutation of {0,1,2,3,4}, is irreducible modulo 5 because every possible linear factor divides one summand but not the other. We classify polynomials over finite fields that admit an irreducibility proof with this structure. H. Lenstra has pointed out that a cubic polynomial of the form (x-a)(x-b)(x-c) + r(x-d)(x-e), where {a,b,c,d,e} is some permutation of {0,1,2,3,4}, is irreducible modulo 5 because every possible linear factor divides one summand but not the other. We classify polynomials over finite fields that admit an irreducibility proof with this structure. △ Less

Submitted 30 August, 2018; originally announced August 2018.

Comments: 11 pages. To appear in the American Mathematical Monthly

MSC Class: 11T06 (Primary); 12E20; 20G40 (Secondary)

Journal ref: American Mathematical Monthly, Volume 127, Issue 2, pp. 112-124, 2020

A remarkable identity in class numbers of cubic rings

Authors: Evan M. O'Dorney

Abstract: In 1997, Y. Ohno empirically stumbled on an astoundingly simple identity relating the number of cubic rings $h(D)$ of a given discriminant $D$, over the integers, to the number of cubic rings $h'(D)$ of discriminant $-27D$ in which every element has trace divisible by 3: $h'(D) = h(D)$, if $D < 0$, and $h'(D) = 3h(D)$ if $D > 0$, where in each case, rings are weighted by the reciprocal of their nu… ▽ More In 1997, Y. Ohno empirically stumbled on an astoundingly simple identity relating the number of cubic rings $h(D)$ of a given discriminant $D$, over the integers, to the number of cubic rings $h'(D)$ of discriminant $-27D$ in which every element has trace divisible by 3: $h'(D) = h(D)$, if $D < 0$, and $h'(D) = 3h(D)$ if $D > 0$, where in each case, rings are weighted by the reciprocal of their number of automorphisms. This allows the functional equations governing the analytic continuation of the Shintani zeta functions (the Dirichlet series built from the values of $h$ and $h'$) to be put in self-reflective form. In 1998, J. Nakagawa verified Ohno's conjecture. We present a new proof of the identity that uses the main ingredients of Nakagawa's proof (binary cubic forms, recursions, and class field theory), as well as one of Bhargava's celebrated higher composition laws, while aiming to stay true to the stark elegance of the identity. △ Less

Submitted 30 July, 2016; originally announced August 2016.

Comments: 18 pages. Part III essay at Cambridge University

MSC Class: 11E76; 11R16 (Primary); 11M41; 11R37 (Secondary)

Journal ref: J. of Number Theory Vol. 176, July 2017, pp. 302-332

Quintic algebras over Dedekind domains and their sextic resolvents

Authors: Evan M. O'Dorney

Abstract: Bhargava parametrized quintic rings over $\mathbb{Z}$ by quadruples of $5\times 5$ alternating matrices. We extend the construction to work similarly over any Dedekind domain $R$. No assumptions are needed on the characteristic of $R$. The resolvent consists of a pair of locally free modules $L$, $M$ with two multilinear maps between them; we can view $L$ as $Q/R$, for $Q$ the quintic ring, and… ▽ More Bhargava parametrized quintic rings over $\mathbb{Z}$ by quadruples of $5\times 5$ alternating matrices. We extend the construction to work similarly over any Dedekind domain $R$. No assumptions are needed on the characteristic of $R$. The resolvent consists of a pair of locally free modules $L$, $M$ with two multilinear maps between them; we can view $L$ as $Q/R$, for $Q$ the quintic ring, and $M$ as $S/R$, where $S$ is a sextic resolvent ring. As in Bhargava's treatment, any quintic ring has a resolvent ring, and for a maximal ring, the resolvent is unique. We hope that this work will enable the removal of the condition that the characteristic be different from $2$ in Bhargava-Shankar-Wang's proof of Linnik's conjecture on the asymptotic distribution of discriminants of relative extensions. △ Less

Submitted 9 April, 2022; v1 submitted 10 November, 2015; originally announced November 2015.

Comments: 13 pages. Accepted at Research in Number Theory

MSC Class: 13F05; 13B02 (Primary); 11E76; 11R21 (Secondary)

Journal ref: Research in Number Theory, Volume 8, Article number: 46 (2022)

Geometry of Positive Configurations in Affine Buildings

Authors: Ian Le, Evan O'Dorney

Abstract: Positive configurations of points in the affine building were introduced in \cite{Le} as the basic object needed to define higher laminations. We start by giving a self-contained, elementary definition of positive configurations of points in the affine building and their basic properties. Then we study the geometry of these configurations. The canonical functions on triples of flags that were defi… ▽ More Positive configurations of points in the affine building were introduced in \cite{Le} as the basic object needed to define higher laminations. We start by giving a self-contained, elementary definition of positive configurations of points in the affine building and their basic properties. Then we study the geometry of these configurations. The canonical functions on triples of flags that were defined by Fock and Goncharov in \cite{FG1} have a tropicalization that gives functions on triples of points in the affine Grassmannian. One expects that these functions, though of algebro-geometric origin, have a simple description in terms of the metric structure on the corresponding affine building. We give a several conjectures describing the tropicalized canonical functions in terms of the geometry of affine buildings, and give proofs of some of them. The statements involve minimal networks and have some resemblance to the max-flow/min-cut theorem, which also plays a role in the proofs in unexpected ways. The conjectures can be reduced to purely algebraic statements about valuations of lattices that we argue are interesting in their own right. One can view these conjectures as the first examples of intersection pairings between higher laminations. They fit within the framework of the Duality Conjectures of \cite{FG1}. △ Less

Submitted 31 October, 2015; originally announced November 2015.

Comments: 14 pages

Rings of small rank over a Dedekind domain and their ideals

Authors: Evan O'Dorney

Abstract: In 2001, M. Bhargava stunned the mathematical world by extending Gauss's 200-year-old group law on integral binary quadratic forms, now familiar as the ideal class group of a quadratic ring, to yield group laws on a vast assortment of analogous objects. His method yields parametrizations of rings of degree up to 5 over the integers, as well as aspects of their ideal structure, and can be employed… ▽ More In 2001, M. Bhargava stunned the mathematical world by extending Gauss's 200-year-old group law on integral binary quadratic forms, now familiar as the ideal class group of a quadratic ring, to yield group laws on a vast assortment of analogous objects. His method yields parametrizations of rings of degree up to 5 over the integers, as well as aspects of their ideal structure, and can be employed to yield statistical information about such rings and the associated number fields. In this paper, we extend a selection of Bhargava's most striking parametrizations to cases where the base ring is not Z but an arbitrary Dedekind domain R. We find that, once the ideal classes of R are properly included, we readily get bijections parametrizing quadratic, cubic, and quartic rings, as well as an analogue of the 2x2x2 cube law reinterpreting Gauss composition for which Bhargava is famous. We expect that our results will shed light on the analytic distribution of extensions of degree up to 4 of a fixed number field and their ideal structure. △ Less

Submitted 14 December, 2020; v1 submitted 11 August, 2015; originally announced August 2015.

Comments: 39 pages, 1 figure. Harvard College senior thesis, edited

MSC Class: 13F05; 11E16; 11E20; 11R11; 11R16 (Primary); 13B02; 13A15; 11E76 (Secondary)

Journal ref: Res. Math. Sci. 3 (2016), Paper No. 8, 36 pp

Continued Fractions and Linear Fractional Transformations

Authors: Evan O'Dorney

Abstract: Rational approximations to a square root $\sqrt{k}$ can be produced by iterating the transformation $f(x) = (dx+k)/(x+d)$ starting from $\infty$ for any positive integer $d$. We show that these approximations coincide infinitely often with continued fraction convergents if and only if $4d^2/(k-d^2)$ is an integer, in which case the continued fraction has a rich structure. It consists of the concat… ▽ More Rational approximations to a square root $\sqrt{k}$ can be produced by iterating the transformation $f(x) = (dx+k)/(x+d)$ starting from $\infty$ for any positive integer $d$. We show that these approximations coincide infinitely often with continued fraction convergents if and only if $4d^2/(k-d^2)$ is an integer, in which case the continued fraction has a rich structure. It consists of the concatenation of the continued fractions of certain explicitly definable rational numbers, and it belongs to one of infinitely many families of continued fractions whose terms vary linearly in two parameters. We also give conditions under which the orbit $\{f^n(\infty)\}$ consists exclusively of convergents or semiconvergents and prove that with few exceptions it includes all solutions $p/q$ to the Pell equation $p^2 - k q^2 = \pm 1$. △ Less

Submitted 23 September, 2014; originally announced September 2014.

Comments: 18 pages

MSC Class: 11A55

Journal ref: Integers 2015, A1

Canonical rings of Q-divisors on P^1

Authors: Evan M. O'Dorney

Abstract: The canonical ring $S_D = \bigoplus_{d \geq 0} H^0(X, \lfloor dD \rfloor)$ of a divisor D on a curve X is a natural object of study; when D is a Q-divisor, it has connections to projective embeddings of stacky curves and rings of modular forms. We study the generators and relations of S_D for the simplest curve X = P^1. When D contains at most two points, we give a complete description of S_D; for… ▽ More The canonical ring $S_D = \bigoplus_{d \geq 0} H^0(X, \lfloor dD \rfloor)$ of a divisor D on a curve X is a natural object of study; when D is a Q-divisor, it has connections to projective embeddings of stacky curves and rings of modular forms. We study the generators and relations of S_D for the simplest curve X = P^1. When D contains at most two points, we give a complete description of S_D; for general D, we give bounds on the generators and relations. We also show that the generators (for at most five points) and a Groebner basis of relations between them (for at most four points) depend only on the coefficients in the divisor D, not its points or the characteristic of the ground field; we conjecture that the minimal system of relations varies in a similar way. Although stated in terms of algebraic geometry, our results are proved by translating to the combinatorics of lattice points in simplices and cones. △ Less

Submitted 17 July, 2014; originally announced July 2014.

Comments: 19 pages, 3 figures

MSC Class: 14N10 (Primary) 14C20 (Secondary)

Journal ref: ODorney, Evan. Ann. Comb. (2015) 19: 765