Pushforward dynamics on Wasserstein spaces and measure rigidity

Abstract

For an endomorphism $ϕ$ of a closed Riemannian manifold $M$, we study the pushforward action $ϕ_\ast$ on the Wasserstein space $\mathcal{P}(M)$ at a measure $μ_0$ preserved by $ϕ$. We show that if $ϕ$ is a $C^2$ covering map and $μ_0$ has positive $C^1$ density, then $ϕ_\ast$ is Gâteaux differentiable at $μ_0$ along tangent directions, with derivative given by the transfer operator of $ϕ$ acting on vector fields, followed by orthogonal projection onto the tangent space. The derivative is the adjoint of the Koopman operator restricted to the tangent space, and its fixed space consists of the directions in which $μ_0$ can be deformed while preserving invariance to first order. For appropriate pairs of endomorphisms of $\mathbb{T}^d$, we compute the intersection of their fixed spaces, show that it contains an infinite family of linearly independent continuous vector fields, and construct, for every $n$, an embedded $n$-dimensional family of measures that are nearly invariant under both endomorphisms. First-order rigidity therefore fails in every dimension. In particular, rigidity phenomena such as higher-dimensional analogues of the Furstenberg conjecture, if true, are genuinely nonlinear.