Étale cohomology of the complement of a linear subspace arrangement

局部系统在实线排列补集上的同调

Homology of Local Systems on Real Line Arrangement Complements

研究复化实线排列补集的同调群，通过实图确定其维数，给出新的上界，并探讨包含锐对排列的情况，推进了Yoshinaga的猜想。

Complements and higher resonance varieties of hyperplane arrangements

Hyperplane arrangements form the geometric counterpart of combinatorial objects such as matroids. The shape of the sequence of Betti numbers of the complement of a hyperplane arrangement is of particular interest in combinatorics, where they are known, up to a sign, as Whitney numbers of the first kind, and appear as the coefficients of chromatic, or characteristic, polynomials. We show that certain combinations, some nonlinear, of these Betti numbers satisfy Schur positivity. At the same time, we study the higher degree resonance varieties of the arrangement. We draw some consequences, using …

The fundamental group of partial compactifications of the complement of a real line arrangement

Let $\mathscr{A}$ be a real projective line arrangement and $M(\mathscr{A})$ its complement in $\mathbb{CP}^2$. We obtain an explicit expression in terms of Randell's generators of the meridians around the exceptional divisors in the blow-up $\bar{X}$ of $\mathbb{CP}^2$ in the singular points of $\mathscr{A}$. We use this to investigate the partial compactifications of $M(\mathscr{A})$ contained in $\bar{X}$ and give a counterexample to a statement suggested by A. Dimca and P. Eyssidieux to the effect that the fundamental group of such an algebraic variety is finite whenever its abelianization…

Homological Properties of Determinantal Arrangements

We explore a natural extension of braid arrangements in the context of determinantal arrangements. We show that these determinantal arrangements are free divisors. Additionally, we prove that free determinantal arrangements defined by the minors of $2\times n$ matrices satisfy nice combinatorial properties. We also study the topology of the complements of these determinantal arrangements, and prove that their higher homotopy groups are isomorphic to those of $S^3$. Furthermore, we find that the complements of arrangements satisfying those same combinatorial properties above have Poincaré polyn…

Purity, formality, and arrangement complements

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.

Cohomology of the complement to an elliptic arrangement

We consider the complement to an arrangement of hyperplanes in a cartesian power of an elliptic curve and describe its cohomology with coefficients in a nontrivial rank one local system.

Grothendieck classes and Chern classes of hyperplane arrangements

We show that the characteristic polynomial of a hyperplane arrangement can be recovered from the class in the Grothendieck group of varieties of the complement of the arrangement. This gives a quick proof of a theorem of Orlik and Solomon relating the characteristic polynomial with the ranks of the cohomology of the complement of the arrangement. We also show that the characteristic polynomial can be computed from the total Chern class of the complement of the arrangement; this has also been observed by Huh. In the case of free arrangements, we prove that this Chern class agrees with the Chern…

Compactifications defined by arrangements I: the ball quotient case

We define a natural compactification of an arrangement complement in a ball quotient. We show that when this complement has a moduli space interpretation, then this compactification is often one that appears naturally by means of geometric invariant theory. We illustrate this with the moduli spaces of smooth quartic curves and rational elliptic surfaces.

Some cyclic covers of complements of arrangements

Motivated by the Milnor fiber of a central arrangement, we study the cohomology of a family of cyclic covers of the complement of an arbitrary arrangement. We give an explicit proof of the polynomial periodicity of the Betti numbers of the members of this family of cyclic covers.

添加一般超曲面的超曲面排列

Hypersurface Arrangements with Generic Hypersurfaces Added

本文研究添加一般超曲面后超曲面排列补集的欧拉示性数，给出基于特征多项式系数、Milnor 数和一般超曲面次数的表达式，并据此提出实超平面排列区域高效采样方法及区域数目新上界。

Complements of hypersurfaces, variation maps and minimal models of arrangements

We prove the minimality of the CW-complex structure for complements of hyperplane arrangements in $\mathbb C^n$ by using the theory of Lefschetz pencils and results on the variation maps within a pencil of hyperplanes. This also provides a method to compute the Betti numbers of complements of arrangements via global polar invariants.

The Hodge filtration on complements of complex coordinate subspace arrangements and integral representations of holomorphic functions

We compute the Hodge filtration on cohomology groups of complements of complex coordinate subspace arrangements. By means of this result we construct integral representations of holomorphic functions such that kernels of these representations have singularities on complex coordinate subspace arrangements.

On Endomorphisms of Arrangement Complements

Let $Ω$ be the complement of a connected, essential hyperplane arrangement. We prove that every dominant endomorphism of $Ω$ extends to an endomorphism of the tropical compactification $X$ of $Ω$ associated to the Bergman fan structure on the tropicalization of $Ω$. This generalizes a previous result by Rémy, Thuillier and the second author which states that every automorphism of Drinfeld's half-space over a finite field $\mathbb{F}_q$ extends to an automorphism of the successive blow-up of projective space at all $\mathbb{F}_q$-rational linear subspaces. This successive blow-up is in fact the…

A nonhausdorff model for the complement of a complexified arrangement

Given a hyperplane arrangement A in a real vector space, we introduce a real algebraic prevariety Z(A), and exhibit the complement of the complexification of A as the total space of an affine bundle with fibers modeled on the dual of the ambient vector space.

Mixed Hodge structure on complements of complex coordinate subspace arrangements

We compute the mixed Hodge structure on the cohomology ring of complements of complex coordinate subspace arrangements. The mixed Hodge structure can be described in terms of the special bigrading on the cohomology ring of complements of complex coordinate subspace arrangements. Originally this bigrading was introduced in the setting of toric topology by V.M. Buchstaber and T.E. Panov.

On the homotopy type of the complement of an arrangement that is a 2-generic section of the parallel connection of an arrangement and a pencil of lines

Let $\mathcal{A} $ be a complexified-real arrangement of lines in $\mathbb{C}^2.$ Let $H$ be any line in $ \mathcal{A} $. Then, form a new complexified-real arrangement $ \mathcal{B}_H = \mathcal{A} \cup \mathcal{C} $ where $ \mathcal{C} \cup \{H\} $ is a pencil of lines with multiplicity $ m\geq 3 $, the intersection point in the pencil is not a multiple point in $ \mathcal{A}, $ and every line in $ \mathcal{C} $ intersects every line in $ \mathcal{A}\setminus \{H\} $ in points of multiplicity two. In this article, we show that for $ H_1, H_2 \in \mathcal{A} $ we may have that $ \mathcal{B}_{…

Hypersurface complements, Milnor fibers and minimality of arrangements

We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. The main tools are polar curves and the affine Lefschetz theory developped by H. Hamm and A. Némethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain an independant proof for the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result).

Cohomology of Complements of Toric Arrangements Associated to Root Systems

We compute the cohomology of the complement of toric arrangements associated to root systems as representations of the corresponding Weyl groups. Specifically, we develop an algorithm for computing the cohomology of the complement of toric arrangements associated to general root systems and we carry out this computation for the exceptional root systems $G_2$, $F_4$, $E_6$ and $E_7$. We also compute the total cohomology of the complement of the toric arrangement associated to $A_n$ as a representation of the Weyl group and give a formula for its Poincaré polynomial.

Geometric structures on the complement of a toric mirror arrangement

We study geometric structures on the complement of a toric mirror arrangement associated with a root system. Inspired by those special hypergeometric functions found by Heckman-Opdam, as well as the work of Couwenberg-Heckman-Looijenga on geometric structures on projective arrangement complements, we consider a family of connections on a total space, namely, a $\mathbb{C}^{\times}$-bundle on the complement of a toric mirror arrangement (=finite union of hypertori, determined by a root system). We prove that these connections are torsion free and flat, and hence define a family of affine struct…

线排列补空间的有限循环覆盖的同调群

The homology groups of finite cyclic covering of line arrangement complement

本文研究复线排列补空间有限循环覆盖的第一整同调群，在类似 Cohen-Dimca-Orlik 的条件下证明其无挠，并将 Williams 关于复化线排列的结果推广到任意复线排列。

复超平面排列补集上 $\mathbb{Z}$-局部系的上同调

Cohomology of $\mathbb{Z}$-local systems on complex hyperplane arrangement complements

本文证明了复超平面排列补集上秩一 $\mathbb{Z}$-局部系的 Cohen-Dimca-Orlik 型定理，从而解决了 S. Sugawara 最近提出的猜想。

超平面排列补集的局部系统上同调的最大Betti数

Maximal Betti number for local system cohomology of hyperplane arrangement complements

本文证明实超平面排列补集的局部系统上同调达到最大Betti数当且仅当局部系统为常值层，利用胞腔描述给出证明。

Non-formality of Milnor fibers of line arrangements

The complement of a hyperplane arrangement in the complex projective space is known to be formal. We prove the global Milnor fiber associated to the homogeneous polynomial defining the arrangement may not even be 1-formal, by giving an example in dimension 2.

Compactifications defined by arrangements II: locally symmetric varieties of type IV

We define a new class of completions of locally symmetric varieties of type IV which interpolates between the Baily-Borel compactification and Mumford's toric compactifications. An arithmetic arrangement in a locally symmetric variety of type IV determines such a completion canonically. This completion admits a natural contraction that leaves the complement of the arrangement untouched. The resulting completion of the arrangement complement is very much like a Baily-Borel compactification: it is the proj of an algebra of meromorphic automorphic forms. When that complement has a moduli space in…

Higher homotopy groups of complements of complex hyperplane arrangements

We generalize results of Hattori on the topology of complements of hyperplane arrangements, from the class of generic arrangements, to the much broader class of hypersolvable arrangements. We show that the higher homotopy groups of the complement vanish in a certain combinatorially determined range, and we give an explicit Zπ_1-module presentation of π_p, the first non-vanishing higher homotopy group. We also give a combinatorial formula for the π_1-coinvariants of π_p. For affine line arrangements whose cones are hypersolvable, we provide a minimal resolution of π_2, and study some of the pro…

On the cohomology of discriminantal arrangements and Orlik-Solomon algebras

We relate the cohomology of the Orlik-Solomon algebra of a discriminantal arrangement to the local system cohomology of the complement. The Orlik-Solomon algebra of such an arrangement (viewed as a complex) is shown to be a linear approximation of a complex arising from the fundamental group of the complement, the cohomology of which is isomorphic to that of the complement with coefficients in an arbitrary complex rank one local system. We also establish the relationship between the cohomology support loci of the complement of a discriminantal arrangement and the resonant varieties of its Orli…

On the fundamental group of the complement of a complex hyperplane arrangement

We construct two combinatorially equivalent line arrangements in the complex projective plane such that the fundamental groups of their complements are not isomorphic. The proof uses a new invariant of the fundamental group of the complement to a line arrangement of a given combinatorial type with respect to isomorphisms inducing the canonical isomorphism of the first homology groups.

复化实构形补空间的有限循环覆盖的上同调群

The cohomology groups of finite cyclic covers of complexified real arrangement complements

本文研究复化实构形补空间有限循环覆盖的上同调群，利用Yoshinaga的室上链复形得到贝蒂数上界，引入类CDO组合条件证明此类覆盖整上同调无挠，部分推广了作者与Liu的相关结果。

Resonant local systems on complements of discriminantal arrangements and sl_2 representations

We calculate the skew-symmetric cohomology of the complement of a discriminantal hyperplane arrangement with coefficients in local systems arising in the context of the representation theory of the Lie algebra sl_2. For a discriminantal arrangement in C^k, the skew-symmetric cohomology is nontrivial in dimension k-1 precisely when the "master function" which defines the local system on the complement has nonisolated critical points. In symmetric coordinates, the critical set is a union of lines. Generically, the dimension of this nontrivial skew-symmetric cohomology group is equal to the numbe…

Homotopy types of complements of 2-arrangements in R^4

We study the homotopy types of complements of arrangements of n transverse planes in R^4, obtaining a complete classification for n <= 6, and lower bounds for the number of homotopy types in general. Furthermore, we show that the homotopy type of a 2-arrangement in R^4 is not determined by the cohomology ring, thereby answering a question of Ziegler. The invariants that we use are derived from the characteristic varieties of the complement. The nature of these varieties illustrates the difference between real and complex arrangements.

Arrangements of hypersurfaces and Bestvina-Brady groups

We show that quasi-projective Bestvina-Brady groups are fundamental groups of complements to hyperplane arrangements. Furthermore we relate other normal subgroups of right-angled Artin groups to complements to arrangements of hypersurfaces. We thus obtain examples of hypersurface complements whose fundamental groups satisfy various finiteness properties.

Morse theory, Milnor fibers and minimality of hyperplane arrangements

Through the study of Morse theory on the associated Milnor fiber, we show that complex hyperplane arrangement complements are minimal. That is, the complement of a complex hyperplane arrangement has the homotopy type of a CW complex in which the number of p-cells equals the p-th betti number.

Double coverings of arrangement complements and $2$-torsion in Milnor fiber homology

We prove that the mod $2$ Betti numbers of double coverings of a complex hyperplane arrangement complement are combinatorially determined. The proof is based on a relation between the mod $2$ Aomoto complex and the transfer long exact sequence. Applying the above result to the icosidodecahedral arrangement ($16$ planes in the three dimensional space related to the icosidodecahedron), we conclude that the first homology of the Milnor fiber has non-trivial $2$-torsion.

A converse to a theorem of Oka and Sakamoto for complex line arrangements

Let C_1 and C_2 be algebraic plane curves in the complex plane such that the curves intersect in d_1\cdot d_2 points where d_1,d_2 are the degrees of the curves respectively. Oka and Sakamoto proved that the fundamental group of the complement of C_1 \cup C_2 is isomorphic to the direct of product of the fundamental group of the complement of C_1 and the fundamental group of the complement of C_2. In this paper we prove the converse of Oka and Sakamoto's result for line arrangements. Let A_1 and A_2 be non-empty arrangements of lines in complex plane such that the fundamental group of the comp…

Boundary Manifolds of Line Arrangements

In this paper we describe the complement of real line arrangements in the complex plane in terms of the boundary three-manifold of the line arrangement. We show that the boundary manifold of any line arrangement is a graph manifold with Seifert fibered vertex manifolds, and depends only on the incidence graph of the arrangement. When the line arrangement is defined over the real numbers, we show that the homotopy type of the complement is determined by the incidence graph together with orderings on the edges emanating from each vertex.

Hyperplane arrangements, M-tame polynomials and twisted cohomology

A new relation between a class of complex polynomials with a good behavior at infinity studied by A. Némethi and A. Zaharia and the cohomology groups of affine complex hyperplane arrangement complements with rank one local system coefficients is introduced and explored. This approach gives in particular new upper-bounds for the dimension of the twisted cohomology groups of line arrangement complements in the complex affine plane.

Hypersurface complements, Milnor fibers and higher homotopy groups of arrangements

We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. In particular we show that any projective hypersurface has affine parts which are bouquets of spheres. The main tools are the polar curves and the affine Lefschetz theory developped by H. Hamm, D.T. Lê and A. Némethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result). This is then…

Lie algebras associated to fiber-type arrangements

Given a hyperplane arrangement in a complex vector space of dimension n, there is a natural associated arrangement of codimension k subspaces in a complex vector space of dimension k*n. Topological invariants of the complement of this subspace arrangement are related to those of the complement of the original hyperplane arrangement. In particular, if the hyperplane arrangement is fiber-type, then, apart from grading, the Lie algebra obtained from the descending central series for the fundamental group of the complement of the hyperplane arrangement is isomorphic to the Lie algebra of primitive…

Geometric structures on the complement of a projective arrangement

Consider a complex projective space with its Fubini-Study metric. We study certain one parameter deformations of this metric on the complement of an arrangement (=a finite union of hyperplanes) whose Levi-Civita connection is of Dunkl type--interesting examples are obtained from the arrangements defined by finite complex reflection groups. We determine a parameter interval for which the metric is locally of Fubini-Study type, flat, or complex-hyperbolic. We find a finite subset of this interval for which we get a complete orbifold or at least a Zariski open subset thereof, and we analyze these…

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 abelian arrangement. For unimodular abelian arrangements, we provide a combinatorial presentation for a differential graded algebra whose cohomology is isomorphic to the rational cohomology of the complement. Moreover, this DGA has a bi-grading that allows us to compute the mixed Hodge numbers.

Rank one local systems on complements of hyperplanes and Aomoto complexes

We show that the cohomology of a rank 1 local system on the complement of a projective hyperplane arrangement can be calculated by the Aomoto complex in certain cases even if the condition on the sum of the residues of connection due to Esnault et al is not satisfied. For this we have to study the localization of Hodge-logarithmic differential forms which are defined by using an embedded resolution of singularities. As an application we can compute certain monodromy eigenspaces of the first Milnor cohomology group of the defining polynomial of the reflection hyperplane arrangement of type $G_{…

Length of Perverse Sheaves on Hyperplane Arrangements

In this article we address the length of perverse sheaves arising as direct images of rank one local systems on complements of hyperplane arrangements. In the case of a cone over an essential line arrangement with at most triple points, we provide combinatorial formulas for these lengths. As by-products, we also obtain in this case combinatorial formulas for the intersection cohomology Betti numbers of rank one local systems on the complement with same monodromy around the planes.

Stratified Morse Theory in Arrangements

This paper is a survey of our work based on the stratified Morse theory of Goresky and MacPherson. First we discuss the Morse theory of Euclidean space stratified by an arrangement. This is used to show that the complement of a complex hyperplane arrangement admits a minimal cell decomposition. Next we review the construction of a cochain complex whose cohomology computes the local system cohomology of the complement of a complex hyperplane arrangement. Then we present results on the Gauss-Manin connection for the moduli space of arrangements of a fixed combinatorial type in rank one local sys…

Manin-Schechtman排列的同调群非消失性

Non-vanishing of homotopy groups of Manin--Schechtman arrangements

本文研究Manin-Schechtman排列的补集，证明其高维同调群非零，从而推翻其为K(π,1)空间的假设。

Hodge spectrum of hyperplane arrangements

In this article there are two main results. The first result gives a formula, in terms of a log resolution, for the graded pieces of the Hodge filtration on the cohomology of a unitary local system of rank one on the complement of an arbitrary divisor in a smooth projective complex variety. The second result is an application of the first. We give a combinatorial formula for the spectrum of a hyperplane arrangement. M. Saito recently proved that the spectrum of a hyperplane arrangement depends only on combinatorics. However, a combinatorial formula was missing. The formula is achieved by a dif…

Combinatorial stratifications and minimality of 2-arrangements

We prove that the complement of any affine 2-arrangement in R^d is minimal, that is, it is homotopy equivalent to a cell complex with as many i-cells as its i-th rational Betti number. For the proof, we provide a Lefschetz-type hyperplane theorem for complements of 2-arrangements, and introduce Alexander duality for combinatorial Morse functions. Our results greatly generalize previous work by Falk, Dimca--Papadima, Hattori, Randell, and Salvetti--Settepanella and others, and they demonstrate that in contrast to previous investigations, a purely combinatorial approach suffices to show minimali…

An arithmetic Zariski pair of line arrangements with non-isomorphic fundamental group

In a previous work, the third named author found a combinatorics of line arrangements whose realizations live in the cyclotomic group of the fifth roots of unity and such that their non-complex-conjugate embedding are not topologically equivalent in the sense that they are not embedded in the same way in the complex projective plane. That work does not imply that the complements of the arrangements are not homeomorphic. In this work we prove that the fundamental groups of the complements are not isomorphic. It provides the first example of a pair of Galois-conjugate plane curves such that the …

Admissible local systems for a class of line arrangements

A rank one local system $\LL$ on a smooth complex algebraic variety $M$ is admissible roughly speaking if the dimension of the cohomology groups $H^m(M,\LL)$ can be computed directly from the cohomology algebra $H^*(M,\C)$. We say that a line arrangement $\A$ is of type $\CC_k$ if $k \ge 0 $ is the minimal number of lines in $\A$ containing all the points of multiplicity at least 3. We show that if $\A$ is a line arrangement in the classes $\CC_k$ for $k\leq 2$, then any rank one local system $\LL$ on the line arrangement complement $M$ is admissible. Partial results are obtained for the class…

Minimal stratifications for line arrangements and positive homogeneous presentations for fundamental groups

The complement of a complex hyperplane arrangement is known to be homotopic to a minimal CW complex. There are several approaches to the minimality. In this paper, we restrict our attention to real two dimensional cases, and introduce the "dual" objects so called minimal stratifications. The strata are explicitly described as semialgebraic sets. The stratification induces a partition of the complement into a disjoint union of contractible spaces, which is minimal in the sense that the number of codimension $k$ pieces equals the $k$-th Betti number. We also discuss presentations for the fundame…

Nonresonance conditions for arrangements

We prove a vanishing theorem for the cohomology of the complement of a complex hyperplane arrangement with coefficients in a complex local system. This result is compared with other vanishing theorems, and used to study Milnor fibers of line arrangements, and hypersurface arrangements.

Cohomology of the toric arrangement associated with $A_n$

We compute the total cohomology of the complement of the toric arrangement associated to the root system $A_n$ as a representation of the corresponding Weyl group via fixed point theory of a "twisted" action of the group. We also provide several proofs of an explicit formula for the Poincaré polynomial of the complement of the toric arrangement associated with $A_n$.

子流形排列补集的有理同调类型

Rational Homotopy Type of Complements of Submanifold Arrangements

本文通过构造cdga模型，研究了子流形排列补集的有理同调类型，并推广了多个关于排列补集的已知结果。

Decomposition of D-modules over a hyperplane arrangement in the plane

We consider the D-module defined as the push-forward of a rank one linear system on the complement of a central plane hyperplane arrangement, and calculate its decomposition series, using algebraic calculations in the Weyl algebra.

论实数安排与复数安排的区别

On the difference between real and complex arrangements

令$B$是$C^d$中线性复超平面的排列。然后Orlik \& Solomon的一个经典结果断言补的上同调代数可以由交格给出的组合数据构造。如果$B'$更一般地是$R^{2d}$中的$2$ -排列（具有偶数维交叉的余维$2$的实子空间的排列），则交叉格仍然确定补的上同调{ \it群}，如Goresky \& MacPherson所示。然而，我们证明，对于$2$ -安排的上同调{ \it代数}是不确定的交叉格。它编码符号模式的额外信息，这些信息可以从线性关系的行列式中计算出来，或者等价地，从纽结理论意义上的连接系数中计算出来。这也允许我们（在$d=2$的情况下）识别具有相同晶格但不同基本群的排列。