{"id":"arxiv/2610.37735","url":"https://arxiv.org/abs/2610.37735","tags":["math.NT"],"score":0,"title":"On the convexity of the fundamental domain of binary cyclotomic forms","domain":"math.NT","source":"arxiv","authors":["Étienne Fouvry","Michel Waldschmidt"],"reviews":0,"subject":"math.NT","summary":"Denote by $Φ_m(X,Y)\\in\\Z[X,Y]$, $m\\geqslant 1$ the sequence of binary cyclotomic forms, so that $Φ_m(T,1)\\in\\Z[T]$, $m\\geqslant 1$ is the sequence of cyclotomic polynomials. We prove that, for $m\\geqslant 3$, the fundamental domain $ \\cal{O}_m:= \\{ (x,y)\\in\\R^2\\; \\mid \\; Φ_m(x,y)\\leqslant 1\\} $ of $Φ_m$ is a convex subset of $\\R^2$ if and only if $m$ is equal to $p$, $2p$ or $2^k$ with $p$ an odd prime and $k\\geqslant 2$. Finally we investigate the convexity of the fundamental domains attached to some products of binary forms $Φ_m$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-27","reactions":{}}