{"id":"arxiv/2609.06822","url":"https://arxiv.org/abs/2609.06822","tags":["math.NT","math.CO"],"score":0,"title":"High dimensional Riemann--Roch spaces in linear spaces with small squares","domain":"math.NT","source":"arxiv","authors":["Nihan Tanısalı","Mieke Wessel"],"reviews":0,"subject":"math.NT","summary":"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 \\leq 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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-06","reactions":{}}