2015
DOI: 10.1093/imrn/rnv260
|View full text |Cite
|
Sign up to set email alerts
|

Purity, Formality, and Arrangement Complements

Abstract: We prove a "purity implies formality" statement in the context of the rational homotopy theory of smooth complex algebraic varieties, and apply it to complements of hypersurface arrangements. In particular, we prove that the complement of a toric arrangement is formal. This is analogous to the classical formality theorem for complements of hyperplane arrangements, due to Brieskorn, and generalizes a theorem of De Concini and Procesi.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
23
0

Year Published

2019
2019
2024
2024

Publication Types

Select...
7
1

Relationship

0
8

Authors

Journals

citations
Cited by 20 publications
(24 citation statements)
references
References 22 publications
1
23
0
Order By: Relevance
“…-Using étale cohomology with coefficients in Q instead of Z , we can also prove formality (without bound) of cohomology of complements of hyperplane and toric arrangements with Q -coefficients. This gives an alternative proof of the results of Brieskorn and Dupont (proved respectively in [3] and [14]). Let us mention however that the étale cohomology method only yields formality if the arrangement is defined over a p-adic field.…”
Section: Annales De L'institut Fouriersupporting
confidence: 53%
See 2 more Smart Citations
“…-Using étale cohomology with coefficients in Q instead of Z , we can also prove formality (without bound) of cohomology of complements of hyperplane and toric arrangements with Q -coefficients. This gives an alternative proof of the results of Brieskorn and Dupont (proved respectively in [3] and [14]). Let us mention however that the étale cohomology method only yields formality if the arrangement is defined over a p-adic field.…”
Section: Annales De L'institut Fouriersupporting
confidence: 53%
“…It should be noted that the approach outlined in this section is dependent on Conjecture 4.1. However the result is true regardless of this conjecture as was proved, in various degrees of generality, in [7,12,14]. It should also be noted that if instead the variety X has the property that H k (X, R) is a pure Hodge structure of weight αk for all k, where α is a fixed non-zero rational number, then, using Theorem 3.1, we also get a formality result that recovers the one of [7].…”
Section: Hodge Theorymentioning
confidence: 92%
See 1 more Smart Citation
“…In Section 4, we prove that the MHS on Tors R H j (U f ; k) 1 does not depend on finite covers of U . Finally, in Section 5, we prove Corollary 1.7 using results of Dupont [9] and Budur-Liu-Wang [3], discuss the formula for the dimension of Tors R H j (U f ; k) 1 (Remark 5.12) in the cases of Remark 1.8, and talk about the MHS on Alexander modules of hyperplane arrangement complements in more detail.…”
Section: Indeed Ifmentioning
confidence: 99%
“…A deeper inspection of the Salvetti's complex was made in [5] (see also the erratum); this leads to a presentation of the cohomology module with integer coefficients. The wonderful model was described in [8,9,21] and the formality was proven in [13].…”
Section: Introductionmentioning
confidence: 99%