特異点つき空間で、L2-コホモロジーと交叉コホモロジーと同型になるという予想は解決されたのかな？
孤立特異点くらいなら証明されていたと思うが、一般の場合はどうなっているんだろう。