Gale duality and Koszul duality (Q1959452): Difference between revisions

A polarized arrangement \(\mathcal V\) is a triple \((V, \eta, \xi)\) consisting of a linear subspace \(V\subset {\mathbb R}^I\) and two vectors \(\eta \in {\mathbb R}^I/V\) and \(\xi \in V^*\). The Gale dual \({\mathcal V}^{\vee}\) of such arrangement is defined as \((V^{\perp}, -\xi, -\eta )\), where \(V^{\perp}\) is the space of linear forms on \({\mathbb R}^I\) vanishing on \(V\). The paper under review associates to every polarized arrangement two quadratic algebras \(A({\mathcal V})\) and \(B({\mathcal V})\) which are Koszul dual to each other. Moreover, the roles of these algebras are reversed by the Gale duality, i.e., \(A({\mathcal V}^{\vee})\) is isomorphic to \(B({\mathcal V})\). The categories of representations of \(A({\mathcal V})\) and \(B({\mathcal V})\) are analogous to the integral blocks in the category \(\mathcal O\) introduced by \textit{I. N. Bernstein, I. M. Gelfand} and \textit{S. I. Gelfand} in [Funct. Anal. Appl. 10, 87-92 (1976); translation from Funkts. Anal. Prilozh. 10, No. 2, 1-8 (1976; Zbl 0353.18013)]. When the arrangement \(\mathcal V\) is rational, one can associate to \(\mathcal V\) a hypertoric variety \(M({\mathcal V})\) and in this case both algebras \(A({\mathcal V})\) and \(B({\mathcal V})\) have geometric interpretations. In case of \(B({\mathcal V})\) this is related to a cohomology ring of intersections of components of a certain lagrangian subvariety \(X\) of the hypertoric variety \(M(\mathcal V)\). Moreover, the center of \(B({\mathcal V})\) is isomorphic to the cohomology ring of \(M({\mathcal V})\). In case of \(A({\mathcal V})\) the algebra is related to the category of modules supported on \(X\) over a quantization of the structure sheaf of \(M({\mathcal V})\). The authors also prove that the bounded derived categories of graded modules over \(A({\mathcal V})\) and \(B({\mathcal V})\) depend only on the subspace \(V\).