Intersection cohomology and Severi varieties of quartic surfaces
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909649725292544 |
|---|---|
| author | Franco, Davide Sarti, Alessandra |
| author_facet | Franco, Davide Sarti, Alessandra |
| contents | We give two explicit versions of the decomposition theorem of Beilinson, Bernstein and Deligne applied to the universal family of quartic surfaces of $\mathbb{P}^3$. The starting point of our investigation is the remark that the nodes of a quartic surface impose independent conditions to the linear system $\mid \mathcal{O}_{\mathbb P^3}(4)\mid$. Although this property is known in literature, we provide a different argument more suited to our purposes. By a result of \cite{DGF}, the independence of the nodes implies in turn that each component of Severi's variety is smooth of the expected dimension and that the dual variety is a divisor with normal crossings around Severi's variety. This allows us to study the complex $Rπ{_*}\mathbb{Q}_{\mathcal{X}}$, the derived direct image of the constant sheaf over the universal family of quartic surfaces $ \mathcal{X} \stackrelπ{\longrightarrow} \mathbb P^{34}$, both in the open set parametrizing smooth and nodal quartics and in a tubular neighborhood of the variety of Kummer surfaces. We obtain in both cases an explicit decomposition and a formality result for the complex $Rπ{_*}\mathbb{Q}_{\mathcal{X}}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_20958 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Intersection cohomology and Severi varieties of quartic surfaces Franco, Davide Sarti, Alessandra Algebraic Geometry 14B05, 14E15, 14F43, 14F45 We give two explicit versions of the decomposition theorem of Beilinson, Bernstein and Deligne applied to the universal family of quartic surfaces of $\mathbb{P}^3$. The starting point of our investigation is the remark that the nodes of a quartic surface impose independent conditions to the linear system $\mid \mathcal{O}_{\mathbb P^3}(4)\mid$. Although this property is known in literature, we provide a different argument more suited to our purposes. By a result of \cite{DGF}, the independence of the nodes implies in turn that each component of Severi's variety is smooth of the expected dimension and that the dual variety is a divisor with normal crossings around Severi's variety. This allows us to study the complex $Rπ{_*}\mathbb{Q}_{\mathcal{X}}$, the derived direct image of the constant sheaf over the universal family of quartic surfaces $ \mathcal{X} \stackrelπ{\longrightarrow} \mathbb P^{34}$, both in the open set parametrizing smooth and nodal quartics and in a tubular neighborhood of the variety of Kummer surfaces. We obtain in both cases an explicit decomposition and a formality result for the complex $Rπ{_*}\mathbb{Q}_{\mathcal{X}}$. |
| title | Intersection cohomology and Severi varieties of quartic surfaces |
| topic | Algebraic Geometry 14B05, 14E15, 14F43, 14F45 |
| url | https://arxiv.org/abs/2503.20958 |