Pointwise convergence of some multiple ergodic averages
We show that for every ergodic system (X,μ,T1,…,Td) with commuting transformations, the average Nd+11∑0≤n1,…,nd≤N−1∑0≤n≤N−1f1(T1n∏j=1dTjnjx)f2(T2n∏j=1dTjnjx)⋯fd(Tdn∏j=1dTjnjx). converges for μ-a.e. x∈X as N→∞. If X is distal, we prove that the average N1∑i=0Nf1(T1nx)f2(T2nx)⋯fd(Tdnx) converges for μ-a.e. x∈X as N→∞. We also establish the pointwise convergence of averages along cubical configurations arising from a system commuting transformations. Our methods combine the existence of sated and magic extensions introduced by Austin and Host respectively with ideas on topological models by Huang, Shao and Ye.