Purity, formality, and arrangement complements

  title={Purity, formality, and arrangement complements},
  author={Cl'ement Dupont},
  journal={arXiv: Algebraic Geometry},
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. 


We use mixed Hodge theory to show that the functor of singular chains with rational coefficients is formal as a lax symmetric monoidal functor, when restricted to complex varieties whose weight

On the cohomology of arrangements of subtori

Given an arrangement of subtori of arbitrary codimension in a complex torus, we compute the cohomology groups of the complement. Then, by using the Leray spectral sequence, we describe the

Homotopy transfer and formality

In a recent paper, the second author and Joana Cirici proved a theorem that says that given appropriate hypotheses, $n$-formality of a differential graded algebraic structure is equivalent to the

A differential algebra and the homotopy type of the complement of a toric arrangement

We show that the rational homotopy type of the complement of a toric arrangement is completely determined by two sets of combinatorial data. This is obtained by introducing a differential graded

Combinatorics of toric arrangements

  • Roberto Pagaria
  • Mathematics
    Rendiconti Lincei - Matematica e Applicazioni
  • 2019
In this paper we build an Orlik-Solomon model for the canonical gradation of the cohomology algebra with integer coefficients of the complement of a toric arrangement. We give some results on the

Étale cohomology, purity and formality with torsion coefficients

We use Galois group actions on étale cohomology to prove results of formality for dg‐operads and dg‐algebras with torsion coefficients. Our theory applies, among other related objects, to the

A basis for the cohomology of compact models of toric arrangements

In this paper we find monomial bases for the integer cohomology rings of compact wonderful models of toric arrangements. In the description of the monomials various combinatorial objects come into

The Goresky-MacPherson formula for toric arrangements

A subspace arrangement is a finite collection of affine subspaces in $\mathbb{R}^n$. One of the main problems associated to arrangements asks up to what extent the topological invariants of the union

Corrigendum to “Orlik-Solomon-type presentations for the cohomology algebra of toric arrangements”

We give an explicit presentation for the integral cohomology ring of the complement of any arrangement of level sets of characters in a complex torus (alias "toric arrangement"). Our description

Ranks of homotopy and cohomology groups for rationally elliptic spaces and algebraic varieties

We discuss inequalities between the values of homotopical and cohomological Poincaré polynomials of the self-products of rationally elliptic spaces. For rationally elliptic quasi-projective



Cohomology of abelian arrangements

An abelian arrangement is a finite set of codimension one abelian subvarieties (possibly translated) in a complex abelian variety. In this paper, we study the cohomology of the complement of an

Around the tangent cone theorem

A cornerstone of the theory of cohomology jump loci is the Tangent Cone theorem, which relates the behavior around the origin of the characteristic and resonance varieties of a space. We revisit this

Cohomology rings and formality properties of nilpotent groups

The Orlik-Solomon model for hypersurface arrangements

We develop a model for the cohomology of the complement of a hypersurface arrangement inside a smooth projective complex variety. This generalizes the case of normal crossing divisors, discovered by

Deletion-restriction in toric arrangements

Deletion-restriction is a fundamental tool in the theory of hyperplane arrangements. Various important results in this field have been proved using deletion-restriction. In this paper we use

Topology and geometry of cohomology jump loci

We elucidate the key role played by formality in the theory of characteristic and resonance varieties. We define relative characteristic and resonance varieties, V_k and R_k, related to twisted group

On the geometry of toric arrangements

AbstractMotivated by the counting formulas of integral polytopes, as in Brion and Vergne, and Szenes and Vergne, we start to form the foundations of a theory for toric arrangements, which may be

Weights in cohomology groups arising from hyperplane arrangements

The formalism of weights allows very simple analysis of the cohomology of hyperplane complements in a uniform fashion for different cohomology theories. An l-adic analogue of Arnold's conjecture on

Mixed Hodge Structures

With a basic knowledge of cohomology theory, the background necessary to understand Hodge theory and polarization, Deligne's mixed Hodge structure on cohomology of complex algebraic varieties is

Mixed Hodge structures

Basic Hodge Theory.- Compact Kahler Manifolds.- Pure Hodge Structures.- Abstract Aspects of Mixed Hodge Structures.- Mixed Hodge Structures on Cohomology Groups.- Smooth Varieties.- Singular