TY - JOUR
T1 - Sums of two squares in short intervals in polynomial rings over finite fields
AU - Bank, Efrat
AU - Bary-Soroker, Lior
AU - Fehm, Arno
N1 - Publisher Copyright:
© 2018 by Johns Hopkins University Press.
PY - 2018/8
Y1 - 2018/8
N2 - Landau’s theorem asserts that the asymptotic density of sums of two squares in the interval 1 ≤ n ≤ x is K/ √logx, where K is the Landau-Ramanujan constant. It is an old problem in number theory whether the asymptotic density remains the same in intervals |n−x| ≤ xϵ for a fixed ϵ and x → ∞. This work resolves a function field analogue of this problem, in the limit of a large finite field. More precisely, consider monic f0 ∈ Fq [T] of degree n and take ϵ with 1 > ϵ ≥ 2/n. Then the asymptotic density of polynomials f in the “interval” deg(f − f0) ≤ ϵn that are of the form f = A2 +TB2, A,B ∈ Fq [T] is 1/4n (2n/n) as q →∞. This density agrees with the asymptotic density of such monic f’s of degree n as q → ∞, as was shown by the second author, Smilanski, and Wolf. A key point in the proof is the calculation of the Galois group of f(−T2), where f is a polynomial of degree n with a few variable coefficients: The Galois group is the hyperoctahedral group of order 2nn!.
AB - Landau’s theorem asserts that the asymptotic density of sums of two squares in the interval 1 ≤ n ≤ x is K/ √logx, where K is the Landau-Ramanujan constant. It is an old problem in number theory whether the asymptotic density remains the same in intervals |n−x| ≤ xϵ for a fixed ϵ and x → ∞. This work resolves a function field analogue of this problem, in the limit of a large finite field. More precisely, consider monic f0 ∈ Fq [T] of degree n and take ϵ with 1 > ϵ ≥ 2/n. Then the asymptotic density of polynomials f in the “interval” deg(f − f0) ≤ ϵn that are of the form f = A2 +TB2, A,B ∈ Fq [T] is 1/4n (2n/n) as q →∞. This density agrees with the asymptotic density of such monic f’s of degree n as q → ∞, as was shown by the second author, Smilanski, and Wolf. A key point in the proof is the calculation of the Galois group of f(−T2), where f is a polynomial of degree n with a few variable coefficients: The Galois group is the hyperoctahedral group of order 2nn!.
UR - http://www.scopus.com/inward/record.url?scp=85050091763&partnerID=8YFLogxK
U2 - 10.1353/ajm.2018.0025
DO - 10.1353/ajm.2018.0025
M3 - מאמר
AN - SCOPUS:85050091763
VL - 140
SP - 1113
EP - 1131
JO - American Journal of Mathematics
JF - American Journal of Mathematics
SN - 0002-9327
IS - 4
ER -