General type

A variety $X$ is of general type if its Kodaira dimension is equal to $\dim X$. It is a theorem of Eisenbud, Harris, and Mumford that $\mathcal{M}_g$ is of general type when $g \geq 24$.