加载中…
Let be a complex, irreducible, quasi-projective variety, and a resolution of singularities of . Assume that the singular locus of is smooth, that the induced map is a smooth fibration admitting a cohomology extension of the fiber, and that has a negative normal bundle in . We present a very short and explicit proof of the Decomposition Theorem for , providing a way to compute the intersection cohomology of by means of the cohomology of and of . Our result applies to special Schubert varieties with two strata, even if is non-small. And to certain hypersurfaces of with one-dimensional singular locus.

生成讲解博客的中文版本

生成AI智能校验的中文版本