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.

Multicommutators and Multiplier Theorems

Multilinear Multiplier Theorems and Applications

Exact Parameterized Multilinear Monomial Counting via k-Layer Subset Convolution and k-Disjoint Sum.

The <img src="/fulltext-image.asp?format=htmlnonpaginated&src=CTVFNXKGQ03863LU_html\10114_2004_Article_457_TeX2GIFIEq1.gif" border="0" alt="$${\left( {L^{p} ,\dot{F}^{{\beta ,\infty }}_{p} } \right)}$$" />–Boundedness of Commutators of Multipliers

The Hormander Multiplier Theorem, Ii: The Bilinear Local Case

Boundedness of commutators for multilinear Calderón-Zygmund operators on Generalized Morrey Spaces

The Hörmander multiplier theorem, II: The bilinear local L^2 case

On the compactness of the bi-commutator

The Hörmander Multiplier Theorem, I: the Linear Case Revisited

Multidimensional operator multipliers

Bilinear Θ‐type Calderón–Zygmund operators and their commutators on product generalized fractional mixed Morrey spaces

Compactness properties of operator multipliers

On the $L^p$-to-$L^q$ boundedness and compactness of commutators along monomial curves

Reproducing formulas for L2-multiplier operators related to the k-Hankel transform

The multilinear circle method and a question of Bergelson

Multipliers and equivalence of functions, spaces, and operators

A compact multilinear $T1$ theorem on product spaces

The (L-P, F-P(Beta,Infinity))-Boundedness Of Commutators Of Multipliers

Initial $L^2\times\cdots\times L^2 $ bounds for multilinear operators

Quantitative weighted estimates for generalized commutators of multilinear Calderón–Zygmund operators with the kernels of Dini type

Compactness for the Commutators of Multilinear Singular Integral Operators with Non-Smooth Kernels