1: \begin{abstract}

2: We develop a unifying theory for four different objects:

3: \begin{enumerate}[$(1)$]

4: \item\label{i:Abstract:1} infinite systems of interacting massive particles;

5: \item\label{i:Abstract:2} solutions to the Dean--Kawasaki equation with singular drift and space-time white noise;

6: \item\label{i:Abstract:3} Wasserstein diffusions with  a.s.\ purely atomic reversible random measures;

7: \item\label{i:Abstract:4} metric measure Brownian motions induced by Cheeger energies on $L^2$-Wasserstein spaces.

8: \end{enumerate}

9: 

10: For the objects in~\ref{i:Abstract:1}--\ref{i:Abstract:3} we prove existence and uniqueness of solutions, and several characterizations, on an arbitrary locally compact Polish ambient space~$M$ with exponentially recurrent Feller driving noise.

11: In the case of the Dean--Kawasaki equation, this amounts to replacing the Laplace operator with some arbitrary diffusive Markov generator~$\mssL$ with ultracontractive semigroup.

12: In addition to a complete discussion of the free case, we consider singular interactions, including, e.g., mean-field repulsive isotropic pairwise interactions of Riesz and logarithmic type under the assumption of local integrability.

13: 

14: We further show that each Markov diffusion generator~$\mssL$ on~$M$ induces in a natural way a geometry on the space of probability measures over~$M$.

15: When~$M$ is a manifold and~$\mssL$ is a drifted Laplace--Beltrami operator, this geometry coincides with the geometry of $L^2$-optimal transportation.

16: The corresponding `geometric Brownian motion' coincides with the `metric measure Brownian motion' in~\ref{i:Abstract:4}.

17: 

18: 

19: \end{abstract}

20: