Real Normalized Differentials and Arbarello's Conjecture

Using meromorphic differentials with real periods, we prove Arbarello's conjecture that any compact complex cycle of dimension $g-n$ in the moduli space $\mathcal{M}_g$ of smooth algebraic curves of genus $g$ must intersect the locus of curves having a Weierstrass point of order at most $n$.