[Paper Review] Gale duality and Koszul duality

Tom Braden, Anthony Licata+2 more|arXiv (Cornell University)|Jun 19, 2008

Algebraic structures and combinatorial models13 references3 citations

TL;DR

This paper introduces two finite-dimensional, noncommutative algebras, A and B, associated with a polarized hyperplane arrangement, proving they are Koszul dual and duality under Gale transformation. The key result shows that the derived categories of representations of these algebras are equivalent via functors induced by bimodules, generalizing duality phenomena in category O and hypertoric geometry.

ABSTRACT

Given an affine hyperplane arrangement with some additional structure, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul dual to each other, and that the roles of the two algebras are reversed by Gale duality. We also study the centers and representation categories of our algebras, which are in many ways analogous to integral blocks of category O.

Motivation & Objective

• To define two finite-dimensional graded algebras, A and B, associated with a polarized arrangement (V, η, ξ), motivated by hypertoric geometry.
• To establish that A and B are Koszul dual, generalizing duality structures in category O.
• To show that the roles of A and B are interchanged under Gale duality of the underlying arrangement.
• To study the centers and representation categories of A and B, showing they share structural properties with integral blocks of category O.
• To construct derived equivalences between categories of modules over A and B using bimodules and prove their composition is isomorphic to the inverse functor.

Proposed method

• The algebras A and B are defined combinatorially via quiver with relations, based on the sign vectors of the hyperplane arrangement and the linear functionals ξ and η.
• Koszul duality is established via the quadratic dual construction, showing A! ≅ A(V∨) and A(V∨) ≅ B(V).
• Gale duality is applied to the arrangement (V, η, ξ), producing (V⊥, −ξ, −η), and the algebras transform accordingly.
• Derived functors are constructed as derived tensor products with bimodules N₁₂, N₂₃, and their composition is shown to be isomorphic to the inverse functor via dimension comparison and path surjectivity.
• The proof of equivalence relies on showing that the natural map between tensor products of bimodules and the target bimodule is an isomorphism, using sign vector feasibility and path decomposition.
• The Serre functor is used to verify equivalence by checking it preserves projective-injective modules and sends projectives to injectives.

Experimental results

Research questions

• RQ1 How do the algebras A and B defined from a hyperplane arrangement relate to each other via Koszul duality?
• RQ2 What happens to the algebras A and B under Gale duality of the underlying arrangement?
• RQ3 How do the centers of B and the representation categories of A and B compare to those of integral blocks of category O?
• RQ4 Can the derived categories of A and B be related via functors, and are these functors equivalences?
• RQ5 What is the structure of the composition of functors between derived categories associated with different parameters in the same arrangement?

Key findings

• The algebras A and B are Koszul dual, with A! ≅ A(V∨) and A(V∨) ≅ B(V), establishing a double duality structure.
• The derived categories D(A(V)) and D(B(V)) are equivalent via functors induced by bimodules, with the composition of functors Φ₁₂ and Φ₂₃ isomorphic to Φ⁻ when parameters are reversed.
• When the arrangement is rational, the center of B is canonically isomorphic to the cohomology ring of the associated hypertoric variety M_H.
• There is a canonical bijection between indecomposable projective-injective B-modules and compact chambers of the hyperplane arrangement, which in the rational case correspond to irreducible projective lagrangian subvarieties of M_H.
• The natural transformation between the composition of functors and the inverse functor is an isomorphism, proven by showing surjectivity of path representations through intermediate sign vectors.
• The Serre functor on the derived category acts trivially on projective-injective modules, and the functors preserve the required Serre functor conditions, confirming equivalence.