intersection cohomology

Last modified date: <%+ tp.file.last_modified_date() %>


- Tags: - #todo/untagged - Refs: - #todo/add-references - Links: - Hilbert scheme


intersection cohomology

attachments/Pasted%20image%2020220422233408.png

attachments/Pasted%20image%2020220422233451.png attachments/Pasted%20image%2020220422233503.png

Intersection complex

attachments/Pasted%20image%2020220422234017.png attachments/Pasted%20image%2020220422234111.png

The \(\operatorname{\mathcal{IC}}^{-i}\) are soft sheaves.

Taking hypercohomology computes the intersection cohomology: attachments/Pasted%20image%2020220422234138.png

These yield perverse sheaves: attachments/Pasted%20image%2020220422234157.png

In terms of local systems attachments/Pasted%20image%2020220422234221.png

attachments/Pasted%20image%2020220422234310.png

Misc properties and results

attachments/Pasted%20image%2020220422234320.png attachments/Pasted%20image%2020220422234350.png

A push-pull LES: attachments/Pasted%20image%2020220422234509.png

attachments/Pasted%20image%2020220422234547.png

attachments/Pasted%20image%2020220422234650.png

Examples

attachments/Pasted%20image%2020220422233523.png attachments/Pasted%20image%2020220422233537.png

attachments/Pasted%20image%2020220422233511.png attachments/Pasted%20image%2020220422233551.png attachments/Pasted%20image%2020220422233819.png

attachments/Pasted%20image%2020220422234242.png

#todo/untagged #todo/add-references