This article, which serves as the PhD thesis of the author, proves the best known bounds for the equidistribution of nilsequences, the inverse theorem for the Gowers $U^{s + 1}[N]$ norm, Szemer