Perverse sheaves on varieties with large fundamental groups
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909469637607424 |
|---|---|
| author | Arapura, Donu Wang, Botong |
| author_facet | Arapura, Donu Wang, Botong |
| contents | We conjecture that any perverse sheaf on a compact aspherical Kähler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the Kähler setting. We verify the stronger conjecture when the manifold X has non-positive holomorphic bisectional curvature. We also show that the conjecture holds when X is projective and in possession of a faithful semi-simple rigid local system. The first result is proved by expressing the Euler characteristic as an intersection number involving the characteristic cycle, and then using the curvature conditions to deduce non-negativity. For the second result, we have that the local system underlies a complex variation of Hodge structure. We then deduce the desired inequality from the curvature properties of the image of the period map. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2109_07887 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Perverse sheaves on varieties with large fundamental groups Arapura, Donu Wang, Botong Algebraic Geometry Differential Geometry We conjecture that any perverse sheaf on a compact aspherical Kähler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the Kähler setting. We verify the stronger conjecture when the manifold X has non-positive holomorphic bisectional curvature. We also show that the conjecture holds when X is projective and in possession of a faithful semi-simple rigid local system. The first result is proved by expressing the Euler characteristic as an intersection number involving the characteristic cycle, and then using the curvature conditions to deduce non-negativity. For the second result, we have that the local system underlies a complex variation of Hodge structure. We then deduce the desired inequality from the curvature properties of the image of the period map. |
| title | Perverse sheaves on varieties with large fundamental groups |
| topic | Algebraic Geometry Differential Geometry |
| url | https://arxiv.org/abs/2109.07887 |