{"id":"arxiv/2609.39824","url":"https://arxiv.org/abs/2609.39824","tags":["math.LO","math.CO"],"score":0,"title":"Continuous graph homomorphisms of higher dimensional abelian group actions","domain":"math.LO","source":"arxiv","authors":["Ruijun Wang"],"reviews":0,"subject":"math.LO","summary":"For every fixed integer $d\\geq2$, we prove that the finite graphs receiving a continuous homomorphism from the standard Schreier graph $F(2^{\\mathbb Z^d})$ form a $Σ^0_1$-complete set. This extends a theorem of Gao, Jackson, Krohne and Seward when $d=2$. For the positive part of the reduction, we show that if a graph $H$ satisfies a certain property then there is a continuous graph homomorphism from $F(2^{\\mathbb Z^d})$ to $H$, in particular, the complete graph $K_4$ satisfies this property. This extends a theorem of Gao and Jackson. We also prove that $\\big (\\mathcal H_d\\big )$ is a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}