# Cohomology of the toric arrangement associated with \(A_n\)

- 148 Downloads

## Abstract

We compute the total cohomology of the complement of the toric arrangement associated with 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\).

## Keywords

Arrangements Cohomology Fixed points Root systems Weyl groups## Mathematics Subject Classification

Primary 20F55 Secondary 52C35 54H25## 1 Introduction

An arrangement \({\mathcal {A}}\) is a finite set of closed subvarieties of a variety *X*. A finite group \(\Gamma \) of automorphisms of *X*, which fixes \({\mathcal {A}}\) as a set, acts on the complement \(X_{\mathcal {A}}\) of \({\mathcal {A}}\). The group \(\Gamma \), therefore, also acts on the de Rham cohomology groups \(H^{i} \left( X_{\mathcal {A}}\right) \) which in this way become \(\Gamma \)-representations. It is an interesting, but often hard, problem to determine these representations. A somewhat easier, but still interesting, problem is to determine the total cohomology \(H^*(X_{\mathcal {A}})\) as a representation of \(\Gamma \).

In Sect. 2 we consider this problem and, generalizing ideas of Felder and Veselov [9], we develop a method for computing \(H^*(X_{\mathcal {A}})\) via fixed point theory, provided that the cohomology groups \(H^{i} \left( X_{\mathcal {A}}\right) \) have sufficiently nice mixed Hodge structure. It is known that many important classes of arrangements are of this type and in Sect. 4 we apply our method in the case of a toric arrangement associated with the root system \(A_n\) to compute the total cohomology as a representation of the Weyl group of \(A_n\).

### Theorem 1.1

In Sect. 5 we continue our study of the complement of the toric arrangement associated with \(A_n\), but we now forget about the action of the Weyl group and focus on the Poincaré polynomial, i.e. we study the dimensions of the individual cohomology groups.

### Theorem 1.2

### 1.1 Previous work

The study of Arnol’d was continued in a slightly different direction by Brieskorn [5] who described the action of the Weyl group of \(A_n\) on the cohomology ring of the complement of the associated hyperplane arrangement. These results were later improved and extended by Lehrer [15] and Lehrer and Solomon [16]. The study of the cohomology of complements of toric arrangements was initiated by Looijenga in [17] as part of his computation of the cohomology of the moduli space \({\mathcal {M}}_{3}\) of smooth curves of genus three (it should be mentioned that this paper contains some mistakes which later have been corrected by Getzler and Looijenga himself in [12] and by De Concini and Procesi in [7]). Theorem 1.1 is a toric analogue of the works of Brieskorn [5], Lehrer [15] and Lehrer–Solomon [16]. It should be pointed out that it can be derived from results of Getzler [13] (who was investigating moduli spaces of rational curves), as well as from results of Gaiffi [11], Mathieu [19] and Robinson and Whitehouse [22] (who all were more directly interested in arrangements). Relevant formulas (from the point of view of representation stability) can also be found in the work of Hersh and Reiner [14]. Our main contribution is thus the new, fixed point theoretic proof. It also seems to us that our method is the most promising for generalizations, e.g. to make computations for other root systems of classical type.

## 2 Arrangements

Unless otherwise specified, we shall always work over the complex numbers.

### Definition 2.1

Let *X* be a variety. An *arrangement* \({\mathcal {A}}\) in *X* is a finite set \(\{A_i\}_{i \in I}\) of closed subvarieties of *X*, where *I* is a finite index set.

*X*one may define its

*cycle*

*open complement*

Let \(\Gamma \) be a finite group of automorphisms of *X* that stabilizes \({\mathcal {A}}\) as a set. The action of \(\Gamma \) induces actions on \(X_{\mathcal {A}}\) and on the cohomology groups \(H^{i} \left( X_{\mathcal {A}}\right) \). Each individual cohomology group \(H^{i} \left( X_{\mathcal {A}}\right) \) thus becomes a \(\Gamma \)-representation and, therefore, so does the total cohomology \(H^* \left( X_{\mathcal {A}}\right) \). We shall now explain a method to determine \(H^* \left( X_{\mathcal {A}}\right) \) in a large class of interesting cases, including arrangements of hyperplanes and toric arrangements, generalizing ideas of Felder and Veselov [9].

### 2.1 The total cohomology

*X*and let \(\Gamma \) be a finite group of automorphisms of

*X*that fixes \({\mathcal {A}}\) as a set. The group \(\Gamma \) will then act on the individual cohomology groups of \(X_{\mathcal {A}}\) and thus on the total cohomology

*total character*at \(g \in \Gamma \) is defined as

*Lefschetz number*of \(g \in \Gamma \) is defined as

*g*, i.e.

*j*,

*j*) and where each element of \({\mathcal {A}}\) is fixed by complex conjugation. It is known, through work of Brieskorn [5] and Looijenga [17], that if \({\mathcal {A}}\) is a hyperplane arrangement or a toric arrangement, then \(H^{i} \left( X_{\mathcal {A}}\right) \) has Tate type (

*i*,

*i*) so many interesting examples are of this type (see [8] for a more complete discussion). We define an action of \(\Gamma \times {\mathbb {Z}}_2\) on

*X*by letting \((g,0) \in \Gamma \times {\mathbb {Z}}_2\) act as \(g \in \Gamma \) and \((\mathrm {id},1) \in \Gamma \times {\mathbb {Z}}_2\) act by complex conjugation. Since \({\mathcal {A}}\) is fixed under conjugation, this gives an action on \(X_{\mathcal {A}}\). We write \({\bar{g}}\) to denote the element \((g,1) \in \Gamma \times {\mathbb {Z}}_2\).

*i*,

*i*) modulo 2, complex conjugation acts as \((-1)^i\) on \(H^{i} \left( X_{\mathcal {A}}\right) \). We thus have

### Lemma 2.2

*X*be a smooth variety and let \({\mathcal {A}}\) be an arrangement in

*X*which is fixed by complex conjugation and such that \(H^{i} \left( X_{\mathcal {A}}\right) \) only has parts of Tate type congruent to (

*i*,

*i*) modulo 2. Let \(\Gamma \) be a finite group which acts on

*X*as automorphisms and which fixes \({\mathcal {A}}\) as a set. Then

## 3 Toric arrangements associated with root systems

Classically, arrangements of hyperplanes have been given most attention. However, in the past two decades an increasing number of authors have considered also toric arrangements and they have been studied from the point of view of geometry, topology, algebra and combinatorics.

### Definition 3.1

Let *X* be an *n*-torus. An arrangement \({\mathcal {A}}\) in *X* is called a *toric arrangement* if each element of \({\mathcal {A}}\) is a subtorus.

### Remark 3.2

We shall only be interested in the case where each subtorus in the arrangement has codimension one, i.e. where the arrangement is divisorial, and write “toric arrangement” to mean “divisorial toric arrangement”.

Let \(\Phi \) be a root system, let \(\Delta = \{\beta _1, \ldots , \beta _n\}\) be a set of simple roots and let \(\Phi ^+\) be the set of positive roots of \(\Phi \) with respect to \(\Delta \). We think of \(\Phi \) as a set of vectors in some real Euclidean vector space *V* and we let *M* be the \(\mathbb {Z}\)-linear span of \(\Phi \). Thus, *M* is a free \(\mathbb {Z}\)-module of finite rank *n*.

*X*from the right by precomposition, i.e.

*X*

*X*is then

## 4 Root systems of type *A*

*n*-dimensional subspace of \({\mathbb {R}}^{n+1}\). Denote the

*i*th coordinate vector of \({\mathbb {R}}^{n+1}\) by \(e_i\). The roots \(\Phi \) can then be chosen to be

### 4.1 The total character

In this section we shall compute the value of the total character at any element \(g \in W_{A_n}\). This will determine the total cohomology \(H^{*} \left( X_{A_n}\right) \) as an \(W_{A_n}\)-representation. Although we have not pursued this, similar methods should allow the computation of \(H^{*} \left( X_{\Phi }\right) \) also in the case of root systems of type \(B_n\), \(C_n\) and \(D_n\).

### Lemma 4.1

Let \(W_{A_n}\) be the Weyl group of \(A_n\) and suppose that \(g \in W_{A_n}\) has a cycle of length greater than two. Then \(X_{A_n}^{{\bar{g}}}\) is empty.

### Proof

*g*so suppose that

*g*contains the cycle \((1,2,\ldots ,s)\), where \(s \ge 3\). We then have

If we apply Lemma 2.2 and Lemma 4.1 we obtain the following corollary:

### Corollary 4.2

*g*is an element of the Weyl group of \(A_n\) such that \(g^2 \ne \mathrm {id}\), then

We thus know the total character of all elements in the Weyl group of \(A_n\) of order greater than 2. We shall, therefore, turn our attention to the involutions.

### Lemma 4.3

*g*is an element of the Weyl group of \(A_n\) of order 2 which is not a reflection, then

### Proof

*M*:

We can now see that each connected component of \(X_{A_n}^{{\bar{g}}}\) is homeomorphic to \({\mathcal {C}}_{k-1}({\mathbb {C}}{\setminus } \{0,1 \}) \times (0,1) \times {\mathbb {R}}^{n-2k+1}\), where \({\mathcal {C}}_{k-1}({\mathbb {C}}{\setminus } \{0,1 \})\) is the configuration space of \(k-1\) points in the twice punctured complex plane. This space is in turn homotopic to the configuration space \({\mathcal {C}}_{k+1}({\mathbb {C}})\) of \(k+1\) points in the complex plane. The space \({\mathcal {C}}_{k+1}({\mathbb {C}})\) is known to have Euler characteristic zero for \(k \ge 1\). \(\square \)

### Remark 4.4

Note that it is essential that we use ordinary cohomology in the above proof, since compactly supported cohomology is not homotopy invariant. However, since \(X_{\Phi }\) satisfies Poincaré duality, the corresponding result follows also in the compactly supported case.

We now turn to the reflections:

### Lemma 4.5

*g*is a reflection in the Weyl group of \(A_n\), then

### Proof

*Y*is the space where the last \(n-2\) coordinates \(z_3, \ldots ,z_n\) takes their values.

*i*th step we have

*i*components to choose from. Thus,

*Y*consists of

It remains to compute the value of the total character at the identity element.

### Lemma 4.6

\(E(X_{A_n}^{\bar{\mathrm {id}}})=P(X_{A_n})(\mathrm {id})=\frac{(n+2)!}{2}\)

### Proof

The proof is a calculation similar to that in the proof of Lemma 4.5. We note that the equations for \(X_{A_n}^{\bar{\text {id}}}\) are \(z_i = {\bar{z}}_i\), \(i=1, \ldots , n\) so the computation of \(E(X_{A_n}^{\bar{\text {id}}})\) is essentially the same as that for *E*(*Y*) above. The difference is that we have *n* steps and in the *i*th step we have \(i+1\) choices. This gives the result. \(\square \)

Lemmas 4.1, 4.3, 4.5 and 4.6 together determine the character of \(W_{A_{n}}\) on \(H^{*} \left( X_{A_n}\right) \). The representation \(\mathrm {Ind}_{\langle s \rangle }^{W_{A_n}}(\mathrm {Triv}_{\langle s \rangle })\) takes value \(\frac{(n+1)!}{2}\) on the identity element, \(2(n-1)!\) on transpositions and is zero elsewhere. Since the character of \(H^*(X_{A_n})\) takes the value \((n+2)!/2\) on the identity, *n*! on transpositions and is zero elsewhere, we see that Theorem 1.1 holds.

### Remark 4.7

The corresponding calculation for the affine hyperplane case was first computed by Lehrer in [15] and later by Felder and Veselov in [9]. In the hyperplane case, the total cohomology turned out to be \(2 \, \mathrm {Ind}_{\langle s \rangle }^{W_{A_n}}(\mathrm {Triv_{\langle s \rangle }})\), where *s* is a transposition, i.e. the cohomology is twice the representation induced up from the trivial representation of the subgroup generated by a transposition. Thus, the representation \(\mathrm {Ind}_{\langle s \rangle }^{W_{A_n}}(\mathrm {Triv}_{\langle s \rangle })\) accounts for most of the cohomology also in the hyperplane case.

## 5 The Poincaré polynomial

In this section we shall see that the Poincaré polynomial of the complement of the toric arrangement associated with \(A_n\) satisfies the formula given in Theorem 1.2. We give several proofs of this result. Before giving the first proof we remark that setting \(t=1\) in Theorem 1.2 gives another proof of Lemma 4.6.

### Proof 1

*q*elements by choosing \(n+3\) distinct points on \({\mathbb {P}}^1\) and dividing the result by the order of \(\mathrm {PGL}(2,{\mathbb {F}}_q)\). We have \(|{\mathbb {P}}^1({\mathbb {F}}_q)|=q+1\) and \(|\mathrm {PGL}(2,{\mathbb {F}}_q)| = (q+1)q(q-1)\). This gives

*p*(

*q*). By results of Dimca and Lehrer [8] we obtain the Poincaré polynomial of \({\mathcal {M}}_{0,n+3}\) as \((-t)^n \cdot p(-1/t)\). \(\square \)

The Poincaré polynomial of \({\mathcal {M}}_{0,n}\) is well known and the above proof is not new, although it seems to be missing in the literature. The advantage of the above proof is that it easily extends to make equivariant computations. Neither this is new and we refer the interested reader to Getzler [13] for the results (although his methods are quite different).

In the above proof, we computed something quite different from what we originally were interested in (the number of points of \({\mathcal {M}}_{0,n+3}\) over \({\mathbb {F}}_q\)) and arrived at the desired result via a change of variables. This will also be the case in the second proof which has a more combinatorial flavour.

### Proof 2

The advantage of the above proof is that it extends to other root systems of classical type. However, it does not seem to work well equivariantly.

*X*we define the intersection poset of \({\mathcal {A}}\) as the set

Let \(V = M \otimes {\mathbb {C}}\). Fleischmann and Janiszczak [10] define the poset \({\mathscr {P}}(\Phi )\) as the poset of linear spans in *V* of subsets of \(\Phi \), ordered by inclusion, and show that the posets \({\mathscr {L}}({\mathcal {B}}_{\Phi })\) and \({\mathscr {P}}(\Phi )\) are isomorphic. We follow them and define \({\mathscr {R}}(\Phi )\) as the poset of submodules of *M* spanned by elements of \(\Phi \), ordered by inclusion. In very much the same way we have that the posets \({\mathscr {L}}({\mathcal {A}}_{\Phi })\) and \({\mathscr {R}}(\Phi )\) are isomorphic.

There is a surjective order preserving map \(\rho : {\mathscr {R}}(\Phi ) \rightarrow {\mathscr {P}}(\Phi )\) sending a submodule \(N \subset M\) to \(N \otimes {\mathbb {C}}\). If we represent elements in \({\mathscr {R}}(\Phi )\) and \({\mathscr {P}}(\Phi )\) by their echelon basis matrices, \(\rho \) sends a matrix *C* to the matrix obtained from *C* by dividing each row by the greatest common divisor of its entries, i.e. sending a matrix to its saturation. We thus see that \(\rho \) is an isomorphism if and only if every module in \({\mathscr {R}}(\Phi )\) is saturated. For \(\Phi =A_n\) this is indeed the case. The pivotal observation for proving this is the following lemma, which can be proven via a simple induction argument on the number of rows using Gaussian elimination.

### Lemma 5.1

Let *C* be a binary matrix of full rank such that the 1’s in each row of *C* are consecutive. Then each pivot element in the row reduced echelon matrix (over \({\mathbb {Z}}\)) obtained from *C* is 1.

If one expresses the positive roots of \(A_n\) in terms of the simple roots \(\beta _i\), each root is a vector of zeros and ones with all ones consecutive. It thus follows from Lemma 5.1 that the modules in \({\mathscr {R}}(A_n)\) are saturated and, therefore, we have that the map \(\rho : {\mathscr {R}}(A_n) \rightarrow {\mathscr {P}}(A_n)\) is an isomorphism of posets.

### Remark 5.2

After the appearance of the first preprint of this paper, Bibby [4] showed the stronger result that the intersection poset of a hyperplane arrangement, a toric arrangement and of an abelian arrangement associated with \(A_n\) is isomorphic to the partition lattice.

The above observation is one key ingredient in our third proof of Theorem 1.2. Another key ingredient is the following theorem of MacMeikan:

### Theorem 5.3

*Z*in

*X*and \(\mu \) denotes the Möbius function of \(\mathscr {L} \left( \mathcal {A}\right) \).

MacMeikan’s result is in fact quite a bit stronger but this version is enough for our purposes. Note that if \({\mathcal {A}}\) is a toric arrangement, then each \(Z \in \mathscr {L} \left( \mathcal {A}\right) \) is a disjoint union of tori and \(P(Z,t)=c_Z(1+t)^{\mathrm {dim}(Z)}\) where \(c_Z\) is the number of components of *Z*. Note also that if \({\mathcal {A}}\) is a hyperplane arrangement, then each \(Z \in \mathscr {L} \left( \mathcal {A}\right) \) is an affine space and, therefore, \(P(Z,t)=1\) and Theorem 5.3 thus reduces to the Orlik–Solomon formula in this case.

### Proof 3

*r*th elementary symmetric polynomial. We saw above that the map \(\rho : {\mathscr {R}}(\Phi ) \rightarrow {\mathscr {P}}(\Phi )\) is an isomorphism of posets. Hence, if \(\mu _{{\mathscr {R}}}\) denotes the Möbius function of \({\mathscr {R}}(\Phi )\) we have that

## Notes

### Acknowledgements

Some portion of this paper is based on parts of my thesis [3]. I would like to thank Carel Faber and Jonas Bergström for helpful discussions and comments, Federico Ardila for pointing out a preprint of the interesting paper [1], Emanuele Delucchi for interesting discussions and an anonymous referee for many helpful comments and suggestions.

## References

- 1.Ardila, F., Castillo, F., Henley, M.: The arithmetic Tutte polynomials of the classical root systems. Int. Math. Res. Not. IMRN
**12**, 3830–3877 (2015)MathSciNetzbMATHGoogle Scholar - 2.Arnol’d, V.I.: The cohomology ring of the group of dyed braids. Mat. Zametki
**5**, 227–231 (1969)MathSciNetGoogle Scholar - 3.Bergvall, O.:Cohomology of arrangements and moduli spaces. Ph.D. Thesis, Stockholms Universitet (2016)Google Scholar
- 4.Bibby, Christin: Representation stability for the cohomology of arrangements associated to root systems. J. Algebraic Combin.
**48**(1), 51–75 (2018)MathSciNetCrossRefGoogle Scholar - 5.Brieskorn, E.: Sur les groupes de tresses. Sminaire Bourbaki
**14**, 21–44 ( 1971-1972)Google Scholar - 6.Brown, K.: Complete Euler characteristics and fixed-point theory. J. Pure Appl. Algebra
**24**(2), 103–121 (1982)MathSciNetCrossRefGoogle Scholar - 7.De Concini, C., Procesi, C.: On the geometry of toric arrangements. Transform. Groups
**10**(3–4), 387–422 (2005)MathSciNetCrossRefGoogle Scholar - 8.Dimca, A., Lehrer, G.: Purity and Equivariant Weight Polynomials. In: Lehrer, G.I. (ed.) Algebraic Groups and Lie Groups, Australian Mathematical Society Lecture Series, pp. 161–182. Cambridge University Press, Cambridge (1997)Google Scholar
- 9.Felder, G., Veselov, A.: Coxeter group actions on the complement of hyperplanes and special involutions. J. Eur. Math. Soc. (JEMS)
**7**(1), 101–116 (2005)MathSciNetCrossRefGoogle Scholar - 10.Fleischmann, P., Janiszczak, I.: Combinatorics and Poincaré polynomials of hyperplane complements for exceptional Weyl groups. J. Combin. Theory Ser. A
**63**(2), 257–274 (1993)MathSciNetCrossRefGoogle Scholar - 11.Gaiffi, G.: The actions of \(S_{n+1}\) and \(S_n\) on the cohomology ring of a Coxeter arrangement of type \(A_{n-1}\). Manuscr. Math.
**91**(1), 83–94 (1996)MathSciNetCrossRefGoogle Scholar - 12.Getzler, E., Looijenga E.: The Hodge polynomial of \(\overline{{\cal{M}}}_{3,1}\). arXiv:math/9910174 (1999)
- 13.Getzler, E.: Operads and moduli spaces of genus \(0\) Riemann surfaces. In Dijkgraaf, R., Faber, C., van der Gerr, G. (eds.) The Moduli Space of Curves, volume 129 of
*Progress in Mathematics*, pp. 199–230. Birkhäuser, Basel (1995)Google Scholar - 14.Hersh, P., Reiner, V.: Representation stability for cohomology of configuration spaces in \({\mathbb{R}}^d\). Int. Math. Res. Not.
**5**, 1433–1486 (2017)Google Scholar - 15.Lehrer, G.: On the Poincaré series associated with Coxeter group actions on complements of hyperplanes. J. Lond. Math. Soc. (2)
**36**(2), 275–294 (1987)CrossRefGoogle Scholar - 16.Lehrer, G., Solomon, L.: On the action of the symmetric group on the cohomology of the complement of its reflecting hyperplanes. J. Algebra
**104**(2), 410–424 (1986)MathSciNetCrossRefGoogle Scholar - 17.Looijenga E.: Cohomology of \({\cal{M}}_3\) and \({\cal{M}}_3^1\). In: Bödigheimer, C.-F., Hain, R.M. (eds.) Mapping Class Groups and Moduli Spaces of Riemann Surfaces, volume 150 of Contemporary Mathematics, pp. 205–228 (1993)Google Scholar
- 18.Macmeikan, C.: The Poincaré polynomial of an MP arrangement. Proc. Am. Math. Soc.
**132**(6), 1575–1580 (2004)MathSciNetCrossRefGoogle Scholar - 19.Mathieu, O.: Hidden \(\Sigma _{n+1}\)-Actions. Commun. Math. Phys.
**176**(2), 467–474 (1996)MathSciNetCrossRefGoogle Scholar - 20.Moci, L.: A Tutte polynomial for toric arrangements. Trans. Am. Math. Soc.
**364**(2), 1067–1088 (2012)MathSciNetCrossRefGoogle Scholar - 21.Orlik, P., Solomon, L.: Combinatorics and topology of complements of hyperplanes. Invent. Math.
**56**(2), 167–189 (1980)MathSciNetCrossRefGoogle Scholar - 22.Robinson, A., Whitehouse, S.: The tree representation of \(\Sigma _{n+1}\). J. Pure Appl. Algebra
**111**(1–3), 245–253 (1996)MathSciNetCrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.