Restricted van der Waerden Theorem for Nilprogressions

Abstract

In [Adv. Math. 321 (2017) 269-286], using the theory of ultrafilters, J. H. Johnson Jr., and F. K. Richter proved the nilpotent polynomial Hales-Jewett theorem. Using this result they proved the restricted version of the van der Waerden theorem for nilprogressions of rank 2 and conjectured that this result must hold for arbitrary rank. In this article, we give an affirmative answer to their conjecture.