A Generalization of the Chevalley-Warning and Ax-Katz Theorems with a View Towards Combinatorial Number Theory

preprint2022arXivOpen access

Abstract

We begin by explaining how arguments used by R. Wilson to give an elementary proof of the Fp\mathbb F_p case for the Ax-Katz Theorem can also be used to prove the following generalization of the Chevalley-Warning and Ax-Katz Theorems for Fp\mathbb F_p, where we allow varying prime power moduli. Given any box B=I1×…×In\mathcal B=\mathcal I_1\times\ldots\times\mathcal I_n, with each Ij⊆Z\mathcal I_j\subseteq\mathbb Z a complete system of residues modulo pp, and a collection of nonzero polynomials f1,…,fs∈Z[X1,…,Xn]f_1,\ldots,f_s\in \mathbb Z[X_1,\ldots,X_n], then the set of common zeros inside the box, V={a∈B:  f1(a)≡0mod  pm1,…,fs(a)≡0mod  pms},V=\{\mathbf a\in \mathcal B:\; f_1(\textbf a)\equiv 0\mod p^{m_1},\ldots,f_s(\textbf a)\equiv 0\mod p^{m_s}\}, satisfies ∣V∣≡0mod  pm|V|\equiv 0\mod p^m, provided n>(m−1)max⁡i∈[1,s]{pmi−1degfi}+∑i=1spmi−1p−1degfi.n>(m-1)\max_{i\in [1,s]}\Big\{p^{m_i-1}\mathsf{deg} f_i\Big\}+ \sum_{i=1}^{s}\frac{p^{m_i}-1}{p-1}\mathsf{deg} f_i. The introduction of the box B\mathcal B adds a degree of flexibility, in comparison to prior work of Zhi-Wei Sun. Indeed, incorporating the ideas of Sun, a weighted version of the above result is given. We continue by explaining how the added flexibility, combined with an appropriate use of Hensel's Lemma to choose the complete system of residues Ij\mathcal I_j, effectively allows many combinatorial applications of the Chevalley-Warning and Ax-Katz Theorems, previously only valid for Fpn\mathbb F_p^n, to extend with bare minimal modification to validity for an arbitrary finite abelian pp-group GG. We illustrate this be giving several examples, including a new proof of the exact value of the Davenport Constant D(G)\mathsf D(G) for finite abelian pp-groups, a streamlined proof of the Kemnitz Conjecture, and the resolution of a problem of Xiaoyu He regarding zero-sums of length kexp⁡(G)k\exp(G) related to a conjecture of Kubertin.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.