Bilinear form of real configuration of hyperplanes
type: Item
instance of: scholarly article
title: Bilinear form of real configuration of hyperplanes
zbMATH Open document ID: 0777.52006
published in: Advances in Mathematics
publication date: 1993-06-29T00:00:00Z
review text: A real configuration \({\mathcal C}\) is a finite set of hyperplanes in some real affine space (synonymous to real arrangement of hyperplanes in \textit{P. Orlik} and \textit{H. Terao} [Arrangements of hyperplanes (1992; Zbl 0757.55001)], any nonempty intersection of some subset of \({\mathcal C}\) is called an edge, the connected components of the complement of the union of \({\mathcal C}\) are called domains. If to any hyperplane \(H\in{\mathcal C}\) there is assigned a real number \(a(H)\) called weight, then edges are weighted with the product of all hyperplanes containing them. Let \(A_{\mathcal C}\) be the ring of polynomials with \(\{a(H)| H\in{\mathcal C}\}\) as set of variables, and with integer coefficients, \(M_{\mathcal C}\) the space of \(A_{\mathcal C}\)- linear combinations of domains of \({\mathcal C}\). Then \(B(P,Q):=\prod\{a(H)| H\in{\mathcal C}\) separates \(P\) and \(Q\}\) defines an \(A_{\mathcal C}\)-bilinear symmetric form in \(M_{\mathcal C}\), which the author calls the quantum bilinear form of \({\mathcal C}\). The major part of the paper is devoted to the proof of the following. Theorem. The determinant of \(B\) is equal to a product of powers of binomials of the form \(1-a(L)^ 2\) where \(L\) runs through all the edges of \({\mathcal C}\), and any such binomial occurs with an exponent which is shown to be the product of the number of domains of the configuration in \(L\) induced by restriction of \({\mathcal C}\), and of some well-defined integer which depends on how \({\mathcal C}\) restricts to an arbitrarily chosen normal of \(L\). In particular, if \(B\) belongs to the configuration of all hyperplanes \(\text{Ker}(t_ i-t_ j)\) in real \(k\)-space where \(1\leq i\leq j\leq k\), then it can be interpreted as the contravariant form of some suitable quantum group [cf. \textit{V. Schechtman} and the author, ICM-90 Satell. Conf. Proc., 182-197 (1991; Zbl 0760.17014)].
Mathematics Subject Classification ID: 52C35
Mathematics Subject Classification ID: 05B35
Mathematics Subject Classification ID: 17B37
Mathematics Subject Classification ID: 17B67
Mathematics Subject Classification ID: 51D25
Mathematics Subject Classification ID: 17B55
zbMATH DE Number: 221227
zbMATH Keywords: quantum bilinear form
zbMATH Keywords: real arrangement
zbMATH Keywords: Kac-Moody algebra
zbMATH Keywords: quantum group
author: A. Varchenko
reviewed by: Horst Szambien
MaRDI profile type: Publication
full work available at URL: aima.1993.1003
OpenAlex ID: W2030621045
DOI: 10.1006/AIMA.1993.1003
description: scientific article; zbMATH DE number 221227