Skip to main content
1 of 2
Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201

I am not sure either what you are asking. But let me make two comments.

  1. It is not known for which $g,n$ the space $\overline M_{g,n}$ is of general type.

  2. It is almost certainly false that if $\overline M_{g,n}$ is of general type, then the same holds for $\overline M_{g',n'}$ such that $g' \geq g$ and $n' \geq n$. (It might seem plausible that Kodaira dimension should be monotone in $g$ and $n$.) However there is to my knowledge no explicit counterexample. But Farkas has proven that $\overline M_{22}$ is of general type and also proved the inequality $\kappa(\overline M_{23}) \geq 2$ which he conjectures is sharp. Also note that Logan's function $f(g)$ such that $\overline M_{g,n}$ is of general type for $n \geq f(g)$ is not monotone in $g$.

Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201