{"id":"arxiv/2608.24612","url":"https://arxiv.org/abs/2608.24612","tags":["math.NT"],"score":0,"title":"Polynomial representatives of finite-field maps: a sharp dimensional dichotomy","domain":"math.NT","source":"arxiv","authors":["Stefan Barańczuk","Tomasz Ślusarski"],"reviews":0,"subject":"math.NT","summary":"Let $k=\\mathbb{F}_q$. A polynomial representative of a finite-set map is a tuple of polynomials inducing that map on the rational-point grid. We prove a sharp distinction between a finite-set map and the geometry of its representatives. If $n=1$ or $n=2$, every polynomial representative of a permutation of $k^n$ has algebraically independent coordinates. If $n\\geq3$, every set map $k^n\\to k^n$ has both an algebraically independent and an algebraically dependent representative; the latter may be chosen to satisfy \\[ F_2^q-F_2=(F_1^q-F_1)F_3. \\] More generally, every map $k^m\\to k^n$ has an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-25","reactions":{}}