Serre's positivity conjecture

Statement

• Serre's positivity conjecture that if $R$ is a commutative regular local ring, and $P, Q$ are prime ideals of $R$, then $\dim (R/P) + \dim (R/Q) = \dim (R)$ implies $\chi(R/P, R/Q) > 0$.