arXiv++ Combinatorics

We generalize the IP-polynomial Szemerédi theorem due to Bergelson and McCutcheon and the nilpotent Szemerédi theorem due to Leibman. Important tools in our proof include a generalization of Leibman's result that polynomial mappings into a nilpotent group form a group and a multiparameter version of the nilpotent Hales-Jewett theorem due to Bergelson and Leibman.