Exterior power structure on the twisted de Rham cohomology of the complements of real Veronese arrangements (Q1914549)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Exterior power structure on the twisted de Rham cohomology of the complements of real Veronese arrangements |
scientific article |
Statements
Exterior power structure on the twisted de Rham cohomology of the complements of real Veronese arrangements (English)
0 references
5 January 1997
0 references
Consider \(m\) hyperplanes \(H_1,\dots, H_m\) in \(n\)-dimensional affine complex space with coordinates \((t_1,\dots, t_n)\) defined by linear equations \(L_j(t,x)=\sum^n_{i=0} x_{ij} t_i\), \(j=1,\dots, m\), where \(t_0=1\). Assume that the corresponding arrangement is in general position, that is, any \(n\) hyperplanes intersect in a point and any \(n + 1\) hyperplanes have empty intersection. Set \(U(t,x)=\prod^m_{j=1} L_j(t,x)^{\alpha_j}\), \(\alpha_j \in \mathbb{C}\), \(j=1,\dots,n\). Thus, \(U(t,x)\) is a multi-valued function in indeterminants \(t_1,\dots, t_n\). Denote by \(H\) the union of hyperplanes \(H_1, \dots, H_m\) in \(\mathbb{C}^n\) and by \(T=\mathbb{C}^n\setminus H\) its complement. Then \(\Omega=dU/U\) is a meromorphic differential 1-form on \(\mathbb{C}^n\) having logarithmic poles along \(H\). It is also clear that \(\Omega\) is a holomorphic 1-form on the complex affine manifold \(T\). Let \(\nabla_\Omega=d + \Omega \bigwedge\) be the covariant derivative with respect to \(\Omega\). Denote by \({\mathcal L}_\Omega\) the locally constant sheaf of horizontal \(\nabla_\Omega\)-sections. Then the twisted homology and cohomology groups \(H_p(T,{\mathcal L}_\Omega)\) and \(H^p(T, {\mathcal L}_\Omega)\) are well-defined for all \(p=0,1,\dots,n\) [the second named, author, J. Math. Soc. Japan 45, No. 4, 645-669 (1993; Zbl 0799.33009)]. On the other hand assume that \(x_{ij}=(-\xi_j)^i\), \(i=0,\dots, n\), \(j=1,\dots, m,\) where \(\xi_j\) are distinct real points in an affine complex \(s\)-line. In such a case the hyperplanes \(H_j\), \(j=1,\dots, m,\) define the arrangement which is in general position. Thus, the point in the dual projective \(n\)-space corresponding to the hyperplane \(H_j\) is the image of a point \(\xi_j\) in \(P^1\) by the Veronese map. Analogously to the above construction one can consider the function \(u(s)=\prod^m_{j=1} (s- \xi_j)^{\alpha_j}\) defined on the lower half plane, the holomorphic 1-form \(\omega=du/u\) on the complement \(S\) of the set \(\{\xi_1,\dots, \xi_m\}\) in the affine line, the covariant derivative \(\nabla_\omega=d + \omega \bigwedge\) and the local the constant sheaf \({\mathcal L}_\omega\) of horizontal \(\nabla_\omega\)-sections. Let us suppose that at least one of the \(\alpha_j\)'s is not an integer. The authors prove that \(H^p(T,{\mathcal L}_\Omega)=0\) for \(p \neq n\), and there is an isomorphism between \(H^n(T,{\mathcal L}_\Omega)\) and the \(n\)-th exterior power of the complex vector space \(H^1(S, {\mathcal L}_\omega)\). Moreover, the isomorphism is explicitly expressed in terms of logarithmic differential forms. In fact, these results generalize statements of [the second author and \textit{M. Noumi}, Jap. J. Math., New Ser. 9, 113-157 (1983; Zbl 0549.32003)] and some others.
0 references
arrangements of hyperplanes
0 references
covariant derivative
0 references
local system
0 references
twisted cohomology
0 references
logarithmic forms
0 references
intersection form
0 references
Künneth formula
0 references
Veronese map
0 references