arXiv++ Combinatorics

In a first part of this paper, we prove constancy of the canonical graded Betti table among the smooth curves in linear systems on Gorenstein weak Fano toric surfaces. In a second part, we show that Green's canonical syzygy conjecture holds for all smooth curves of genus at most 32 or Clifford index at most 6 on arbitrary toric surfaces. Conversely we use known results on Green's conjecture (due to Lelli-Chiesa) to obtain new facts about graded Betti tables of projectively embedded toric surfaces.

We present various facts on the graded Betti table of a projectively embedded toric surface, expressed in terms of the combinatorics of its defining lattice polygon. These facts include explicit formulas for a number of entries, as well as a lower bound on the length of the linear strand that we conjecture to be sharp (and prove to be so in several special cases). We also present an algorithm for determining the graded Betti table of a given toric surface by explicitly computing its Koszul cohomology, and report on an implementation in SageMath. This works well for ambient projective spaces of dimension up to roughly $25$, depending on the concrete combinatorics, although the current implementation runs in finite characteristic only. As a main application we obtain the graded Betti table of the Veronese surface $ν_6(\mathbb{P}^2) \subseteq \mathbb{P}^{27}$ in characteristic $40\,009$. This allows us to formulate precise conjectures predicting what certain entries look like in the case of an arbitrary Veronese surface $ν_d(\mathbb{P}^2)$.

In this paper, we describe a new infinite family of $\frac{q^{2}-1}{2}$-tight sets in the hyperbolic quadrics $\mathcal{Q}^{+}(5,q)$, for $q \equiv 5 \mbox{ or } 9 \bmod{12}$. Under the Klein correspondence, these correspond to Cameron--Liebler line classes of ${\rm PG}(3,q)$ having parameter $\frac{q^{2}-1}{2}$. This is the second known infinite family of nontrivial Cameron--Liebler line classes, the first family having been described by Bruen and Drudge with parameter $\frac{q^{2}+1}{2}$ in ${\rm PG}(3,q)$ for all odd $q$. The study of Cameron--Liebler line classes is closely related to the study of symmetric tactical decompositions of ${\rm PG}(3,q)$ (those having the same number of point classes as line classes). We show that our new examples occur as line classes in such a tactical decomposition when $q \equiv 9 \bmod 12$ (so $q = 3^{2e}$ for some positive integer $e$), providing an infinite family of counterexamples to a conjecture made by Cameron and Liebler in 1982; the nature of these decompositions allows us to also prove the existence of a set of type $\left(\frac{1}{2}(3^{2e}-3^{e}), \frac{1}{2}(3^{2e}+3^{e}) \right)$ in the affine plane ${\rm AG}(2,3^{2e})$ for all positive integers $e$. This proves a conjecture made by Rodgers in his PhD thesis.