Abstract:Let $k\in \mathbb Z_+$ and $(X, \mathcal B(X), \mu)$ be a probability space equipped with a family of commuting invertible measure-preserving transformations $T_1,\ldots, T_k \colon X\to X$. Let $P_1,\ldots, P_k\in\mathbb Z[\rm n]$ be polynomials with integer coefficients and distinct degrees. We establish pointwise almost everywhere convergence of the multilinear polynomial ergodic averages \[A_{N; X, T_1,\ldots, T_k}^{P_1,\ldots, P_k}(f_1,\ldots, f_k)(x) = \frac{1}{N}\sum_{n=1}^Nf_1\big(T_1^{P_1(n)}x\big)\cdots f_k\big(T_k^{P_k(n)}x\big), \qquad x\in X, \] as $N\to\infty$ for any functions $f_1, \ldots, f_k\in L^{\infty}(X)$. Besides a couple of results in the bilinear setting (when $k=2$ and then only for single transformations), this is the first pointwise result for general polynomial multilinear ergodic averages in arbitrary measure-preserving systems. This answers a question of Bergelson from 1996 in the affirmative for any polynomials with distinct degrees, and makes progress on the Furstenberg-Bergelson-Leibman conjecture. In this paper, we build a versatile multilinear circle method by developing the Ionescu-Wainger multiplier theory for the set of canonical fractions, which gives a positive answer to a question of Ionescu and Wainger from 2005. We also establish sharp multilinear $L^p$-improving bounds and an inverse theorem in higher order Fourier analysis for averages over polynomial corner configurations, which we use to establish a multilinear analogue of Weyl's inequality and its real counterpart, a Sobolev smoothing inequality.

Lebesgue bounds for multilinear spherical and lacunary maximal averages

Bounds for lacunary bilinear spherical and triangle maximal functions

$L^{p}-$estimates for uncentered spherical averages and lacunary maximal functions

$L^p$ improving properties and maximal estimates for certain multilinear averaging operators

Twisted bilinear spherical maximal functions

Improved curvature conditions on $L^2\times\cdots\times L^2 \to L^{2/m}$ bounds for multilinear maximal averages

Norms of spherical averaging operators for some geometric group actions

Lacunary maximal functions on homogeneous groups

Variational Inequalities for Bilinear Averaging Operators over Convex Bodies

$L^2\times\cdots\times L^2 \to L^{2/m}$ Boundedness for Maximal Multilinear Operators

Variational Estimates for Bilinear Ergodic Averages Along Sublinear Sequences

Pointwise convergence of bilinear polynomial averages over the primes

Variational inequalities for generalized spherical means

LIL and the Approximation of Rectangular Sums of B-valued Random Variables when Extreme Terms Are Excluded

Multilinear estimates for maximal rough singular integrals

Compactness of averaging operators on Banach function spaces

Sparse Bounds for Discrete Maximal Functions associated with Birch-Magyar averages

The multilinear spherical maximal function in one dimension

Lp bounds for Stein's spherical maximal operators

Convergence of noncommutative spherical averages for actions of free groups

The multilinear circle method and a question of Bergelson