High dimensional Riemann--Roch spaces in linear spaces with small squares

Abstract

Let $F$ be a function field over an algebraically closed field $K$ and $S$ a finite dimensional $K$-subspace of $F$. The square of $S$ is spanned by all products of pairs of elements in $S$. We conjecture that if $\dim S^2\le 3\dim S-4$, then $S^2$ must contain a Riemann--Roch space of dimension at least $2\dim S-1+g$, where $g$ is the genus of $F$. This generalizes a theorem of Freiman from additive combinatorics, stating that small sumsets must contain long arithmetic progressions. We prove our conjecture in the case that $S$ is contained in a Riemann--Roch space of dimension at most $3/2\dim S+1$. For the proof we study the annihilator of $S$ and introduce the notion of weight for linear forms.

31 pages