Cheeger–Goresky–MacPherson conjecture on intersection cohomology and L2L^2-cohomology

Let XPNX\subset \mathbb{P}^N be a projective variety, let XregX_{\rm reg} be its regular locus, and let dsFS2ds^2_{\rm FS} be the Fubini–Study metric on XregX_{\rm reg}. Write H(2)(Xreg,dsFS2)H^\ast_{(2)}(X_{\rm reg},ds^2_{\rm FS}) for the corresponding L2L^2-cohomology and IH(X,C)IH^\ast(X,\mathbb{C}) for the intersection cohomology of XX. Cheeger–Goresky–MacPherson conjecture. There is an isomorphism

H(2)(Xreg,dsFS2)IH(X,C).H^\ast_{(2)}(X_{\rm reg},ds^2_{\rm FS})\simeq IH^\ast(X,\mathbb{C}).

The conjecture proposes an analytic realization of intersection cohomology by square-integrable differential forms. Such an identification would provide analytic access to the Hard Lefschetz theorem and the pure Hodge structure on the intersection cohomology of a projective variety; the supplied text does not state its resolution.

Sources & referencesView supporting material

Primary source

Junchao Shentu and Chen Zhao, “L^2-representation of Hodge Modules”, arXiv:2103.04030 (2021).

Additional references

2 papers in this index state this conjecture (2006–2021). The statement above is taken from the most recent of them; the others are arXiv:math/0610569.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.