A nilpotent IP polynomial multiple recurrence theorem

We generalize the IP-polynomial Szemer'edi theorem due to Bergelson and McCutcheon and the nilpotent Szemer'edi 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.