{"id":"arxiv/2607.12251","url":"https://arxiv.org/abs/2607.12251","tags":["math.MG","math.CO","math.NT"],"score":0,"title":"$p$-adic Sum-Product, Projections, and Furstenberg Sets","domain":"math.MG","source":"arxiv","authors":["Jiahe Shen"],"reviews":0,"subject":"math.MG","summary":"Let $p$ be a prime number. We prove the sharp Furstenberg set bound in the $p$-adic plane $\\mathbb{Q}_p^2$: every $(s,t)$-Furstenberg set $E\\subset\\mathbb{Q}_p^2$ satisfies $$ \\dim_H E\\ge \\min\\left\\{s+t,\\frac{3s+t}{2},s+1\\right\\}. $$ This matches the sharp lower bound in the Euclidean plane. We also derive two related consequences: a $p$-adic projection theorem for the maps $π_θ(x,y)=x+θy$, together with the corresponding exceptional set estimate giving a $p$-adic analogue of Oberlin's projection question; and a discretized fractal sum-product estimate over $\\mathbb{Q}_p$, showing that…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-14","reactions":{}}