可解多様体の例である井上曲面は
ケーラー・アインシュタイン計量もつ曲面の
対極的な存在