ネターの不等式
複素曲面に対して、別の公式化は基礎となっている向き付けされた実 4次元多様体の位相不変量の項でこの不等式を表している。一般型曲面はケーラー曲面であるので、第二コホモロジーの交叉形式の最も大きい正の部分空間の次元は b = 1 + 2p で与えられる。加えて、ヒルツェブルフの符号定理により、c (X) = 2e + 3σ であり、ここに e = c(X) はトポロジカルなオイラー標数であり、σ = b − b は交叉形式の符号である。従って、ネターの不等式は