Hyperplane arrangements and tensor product invariants (Q2286443)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hyperplane arrangements and tensor product invariants |
scientific article |
Statements
Hyperplane arrangements and tensor product invariants (English)
0 references
22 January 2020
0 references
Let \(W\) be an \(M\)-dimensional complex affine space. Consider a weighted hyperplane arrangement \((W,\mathcal{C},a)\) in \(W\), where \(\mathcal{C}\) is a finite collection of hyperplanes in \(W\), and \(a\) is a weight function \(a : \mathcal{C} \rightarrow \mathbb{C}\) that assigns to every hyperplane \(H \in \mathcal{C}\) its weight \(a(H)\). Let \(U = W \setminus \bigcup_{H \in \mathcal{C}}H\) and let \(P\) be any smooth projective compactification of \(U\) with \(P \setminus U = \bigcup_{\alpha} E_{\alpha}\) a divisor with normal crossings. The Aomoto complex of the weighted hyperplane arrangement \((W,\mathcal{C},a)\) is the subalgebra \(A^{\bullet}(U)\) of \(\Omega^{\bullet}(U)\) generated over \(\mathbb{C}\) by the forms \(\omega_{H} = df_{H} / f_{H}\) for \(H \in \mathcal{C}\) with \(H = V(f_{H})\) and \(f_{H}\) is an affine linear function. It is equipped with a differential \(\omega \mapsto \eta_{a} \wedge \omega\) with \(\eta_{a} = \sum_{H \in \mathcal{C}}a(H)\omega_{H}\). We call the pair \((A^{\bullet}(U), \eta_{a} \wedge )\) the Aomoto complex. Consider now the natural map \[ H^{i}_{c}(U, \mathcal{L}(a)) \rightarrow H^{i}(U, \mathcal{L}(a)), \] which is non-zero only when \(i=M\). In this case it is induced by an element \[ \Sigma \in H^{M}(U, \mathcal{L}(a)^{*}) \otimes H^{M}(U, \mathcal{L}(a)) = H^{2M}(U \times U, \mathcal{L}(a) \boxtimes \mathcal{L}(-a)). \] Here \(\mathcal{L}(a) \boxtimes \mathcal{L}(-a) = p^{-1}_{1}\mathcal{L}(a) \otimes p^{-1}_{2}\mathcal{L}(-a)\), where \(p_{1},p_{2}\) are the two projections \(U \times U \rightarrow U\). Observe that \(H^{2M}(U \times U, \mathcal{L}(a) \boxtimes \mathcal{L}(-a))\) is computed by the Aomoto complex of a hyperplane arrangement in \(W \times W\). Let \[ \xi_{a} = \sum_{H \in \mathcal{C}}a(H)p^{*}_{1}\omega_{H} \wedge p^{*}_{2}\omega_{H} \in A^{2}(U \times U). \tag{\(\triangle\)} \] One can see that in fact the global hypercohomology of the complex \((\Omega^{\bullet}_{P}(\log \, E), d + \eta_{a}\wedge )\) coincides with the cohomology of the Aomoto complex \((A^{\bullet}(U), \eta_{a} \wedge )\). Let us consider \(\overline{\mathcal{L}}(a) = (\Omega^{\bullet}_{P}(\log \, E), d + \eta_{a} \wedge )\) as an object in \(D^{b}_{c}(P)\). Here \(D^{b}_{c}(P)\) denotes the bounded derived category of sheaves of \(\mathbb{C}\)-vector spaces on \(P\) with constructible cohomology. Let \[ H^{M}(P, D(\overline{\mathcal{L}}(-a))[-2M]) \rightarrow H^{M}(P, \overline{\mathcal{L}}(a)). \] We have a canonical element \[ \Sigma \in H^{2M}(P, \overline{\mathcal{L}}(-a)) \otimes H^{M}(P, \overline{\mathcal{L}}(a)) = H^{2M}(P \times P, \overline{\mathcal{L}}(a) \boxtimes \overline{\mathcal{L}}(-a)), \] where \(\overline{\mathcal{L}}(a) \boxtimes \overline{\mathcal{L}}(-a) = p^{-1}_{1} \mathcal{L}(a) \otimes p_{2}^{-1}\mathcal{L}(-a)\), and \(p_{1},p_{2}\) are the two projections of \(P \times P \rightarrow P\). The main result of the paper shows that \(\Sigma\) defined as above is represented by an explicit form as follows. Main Theorem. Let \(S_{a} = \xi_{a}^{M}/M! \in A^{2M}(U \times U)\) as \((\triangle)\). Then there exists a nonzero constant \(c \in \mathbb{C}\) such that the image of \(cS_{a}\) in \(H^{2M}(P \times P, \overline{\mathcal{L}}(a) \boxplus \overline{\mathcal{L}}(-a))\) equals to \(\Sigma\).
0 references
cohomology
0 references
tensor invariants
0 references
Aomoto complexes
0 references
weighted hyperplane arrangements
0 references
0 references