Homological projective duality via variation of geometric invariant theory quotients (Q522511)

In this paper, the authors provide a geometric approach to constructing Lefschetz collections and Landau-Ginzburg homological projective duals from a variation of Geometric Invariant Theory (GIT) quotients. The main idea is to pass from a hypersurface to the total space of a line bundle and then to vary GIT quotients to perform a birational transformation to the total space of this line bundle. The results are applied to the Veronese embeddings \(\mathbb P(W) \to \mathbb P(S^d W)\) where \(W\) is a vector space, \(0 < d \leq \dim W\), and \(S^d W\) is the \(d\)-th symmetric product of \(W\). After recovering the natural Lefschetz decomposition in this case, the authors prove that the Landau-Ginzburg pair \(\big ([W \times \mathbb P(S^d W^*)/\mathbb G_m], w \big )\), where the \(\mathbb G_m\)-action is by dilation on \(W\) and \(w\) is the universal degree-\(d\) polynomial, is a homological projective dual to the Veronese embedding. Section~2 is devoted to background material such as derived categories of Landau-Ginzburg models, semi-orthogonal decompositions, relation between elementary wall-crossings and derived categories, and homological projective duality. In Section~3, the authors construct a weak homological projective dual to a GIT quotient given the data of an elementary wall-crossing. The results of the previous two sections are applied in Section~4 to produce a homological projective dual to the degree-\(d\) Veronese embedding (in the relative setting).