Ergodic McKean-Vlasov Games: Verification Theorems and Linear-Quadratic Applications

This paper investigates two-player ergodic nonzero-sum stochastic differential games with McKean-Vlasov dynamics. We establish a verification theorem connecting solutions of coupled Hamilton-Jacobi-Bellman (HJB) Master equations to Nash equilibria, characterized through an auxiliary control problem defined on the measure space. A key contribution is showing that the value functions are uniquely determined (up to an additive constant) by the uniqueness of the invariant measure of the optimal state process. The theory is applied to Linear-Quadratic-Gaussian (LQG) settings, where explicit solutions to the Master equations are derived by exploiting their polynomial structure in measure variables.