On Formality and Combinatorial Formality for hyperplane arrangements
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2022
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910509548175360 |
|---|---|
| author | Möller, Tilman Mücksch, Paul Roehrle, Gerhard |
| author_facet | Möller, Tilman Mücksch, Paul Roehrle, Gerhard |
| contents | A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the fact that complex arrangements with aspherical complements are formal. The aim of this note is twofold. While work of Yuzvinsky shows that formality is not combinatorial, in our first main theorem we prove that the combinatorial property of niceness of arrangements does entail formality. Our second main theorem shows that formality is hereditary, i.e. is passed to restrictions. This is rather counter-intuitive, as in contrast the known sufficient conditions for formality, i.e. asphericity, freeness and niceness (owed to our first theorem), are not hereditary themselves. We also demonstrate that the stronger property of $k$-formality, due to Brandt and Terao, is not hereditary. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2202_09104 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | On Formality and Combinatorial Formality for hyperplane arrangements Möller, Tilman Mücksch, Paul Roehrle, Gerhard Combinatorics 20F55, 52B30, 52C35, 14N20 A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the fact that complex arrangements with aspherical complements are formal. The aim of this note is twofold. While work of Yuzvinsky shows that formality is not combinatorial, in our first main theorem we prove that the combinatorial property of niceness of arrangements does entail formality. Our second main theorem shows that formality is hereditary, i.e. is passed to restrictions. This is rather counter-intuitive, as in contrast the known sufficient conditions for formality, i.e. asphericity, freeness and niceness (owed to our first theorem), are not hereditary themselves. We also demonstrate that the stronger property of $k$-formality, due to Brandt and Terao, is not hereditary. |
| title | On Formality and Combinatorial Formality for hyperplane arrangements |
| topic | Combinatorics 20F55, 52B30, 52C35, 14N20 |
| url | https://arxiv.org/abs/2202.09104 |