Schubert line defects in 3d GLSMs, part I: Complete flag manifolds and quantum Grothendieck polynomials

TL;DR

This paper constructs new line defects in 3d supersymmetric gauge theories related to complete flag manifolds, linking them to quantum K-theory and Grothendieck polynomials through explicit quiver models.

Contribution

It introduces a novel realization of Schubert line defects in 3d GLSMs, connecting them to quantum K-theory and providing explicit quiver constructions and index computations.

Findings

Schubert line defects correspond to objects supported on Schubert varieties.

The 1d flavored Witten index reproduces quantum Grothendieck polynomials.

The construction generalizes previous results from Grassmannians to complete flag manifolds.

Abstract

We construct new half-BPS line defects in 3d $\mathcal{N}=2$ supersymmetric quiver gauge theories whose Higgs branches are complete flag manifolds $X = {\rm Fl}(n)$. Upon circle compactification, the bulk theory flows to a non-linear sigma model (NLSM) with target space $X$ and the line defects flow to objects supported on Schubert varieties $X_w \subseteq X$. These Schubert line defects form an important basis of the quantum K-theory of $X$. They are realized as $\mathcal{N}=2$ supersymmetric quantum mechanics (SQM) quivers coupled to the 3d gauge theory. We show that the insertion of the Schubert line defect restricts the target space of the 3d gauged linear sigma model (GLSM) to the Schubert variety $X_w$, with the 1d degrees of freedom physically realizing a Bott--Samelson resolution of $X_w$. Moreover, we verify in examples that the 1d flavored Witten index of the quiver SQM reproduces the (equivariant) Chern character of the structure sheaf $\mathcal{O}_{X_w}$ as a (double) quantum Grothendieck polynomial, generalizing previous results for $X$ a Grassmannian manifold. Our construction thus provides a more direct realization of the 3d GLSM/quantum K-theory correspondence for complete flag manifolds. Finally, in the small-circle limit, we obtain a 0d-2d coupled system that realizes the Schubert classes $[X_w]$ in the quantum cohomology ring of $X$.