Abstract:Let $D$ be the Auslander algebra of $\mathbb{C}[t]/(t^n)$, which is quasi-hereditary, and $\mathcal{F}_\Delta$ the subcategory of good $D$-modules. For any $\mathsf{J}\subseteq[1, n-1]$, we construct a subcategory $\mathcal{F}_\Delta(\mathsf{J})$ of $\mathcal{F}_\Delta$ with an exact structure $\mathcal{E}$. We show that under $\mathcal{E}$, $\mathcal{F}_\Delta(\mathsf{J})$ is Frobenius stably 2-Calabi-Yau and admits a cluster structure consisting of cluster tilting objects. This then leads to an additive categorification of the cluster structure on the coordinate ring $\mathbb{C}[\operatorname{Fl}(\mathsf{J})]$ of the (partial) flag variety $\operatorname{Fl}(\mathsf{J})$. We further apply $\mathcal{F}_\Delta(\mathsf{J})$ to study flag combinatorics and the quantum cluster structure on the flag variety $\operatorname{Fl}(\mathsf{J})$. We show that weak and strong separation can be detected by the extension groups $\operatorname{ext}^1(-, -)$ under $\mathcal{E}$ and the extension groups $\operatorname{Ext}^1(-,-)$, respectively. We give a interpretation of the quasi-commutation rules of quantum minors and identify when the product of two quantum minors is invariant under the bar involution. The combinatorial operations of flips and geometric exchanges correspond to certain mutations of cluster tilting objects in $\mathcal{F}_\Delta(\mathsf{J})$. We then deduce that any (quantum) minor is reachable, when $\mathsf{J}$ is an interval. Building on our result for the interval case, Geiss-Leclerc-Schröer's result on the quantum coordinate ring for the open cell of $\operatorname{Fl}(\mathsf{J})$ and Kang-Kashiwara-Kim-Oh's enhancement of that to the integral form, we prove that $\mathbb{C}_q[\operatorname{Fl}(\mathsf{J})]$ is a quantum cluster algebra over $\mathbb{C}[q,q^{-1}]$.

Equivariant K-theory of the space of partial flags

A dual basis for the equivariant quantum $K$-theory of cominuscule varieties

On quantum $K$-groups of partial flag manifolds

Drinfeld rational fractions for affine Kac-Moody quantum symmetric pairs

A geometric construction of $U(\mathfrak{n})$ for affine Kac-Moody algebras of type $\tilde{\mathsf{C}}_{n}$

Reciprocity laws and $K$-theory

Affine flag varieties of type D

Auslander algebras, flag combinatorics and quantum flag varieties

Generalized Schur-Weyl dualities for quantum affine symmetric pairs and orientifold KLR algebras

Quantum K-Rings of Partial Flag Varieties, Coulomb Branches, and the Bethe Ansatz

A general Chevalley formula for semi-infinite flag manifolds and quantum K-theory

Equivariant Chern-Schwartz-MacPherson classes in partial flag varieties: interpolation and formulae

Equivariant $K$-homology of affine Grassmannian and $K$-theoretic double $k$-Schur functions

Positivity in $T$-Equivariant $K$-theory of partial flag varieties associated to Kac-Moody groups

Multifunctorial Equivariant Algebraic K-Theory

Loop structure on equivariant $K$-theory of semi-infinite flag manifolds

Equivariant $K$-theory of even-dimensional complex quadrics

A presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, Part I: the defining ideal

Quiver varieties and a non-commutative P^2

Units of $\mathbb{Z}/p\mathbb{Z}$-equivariant $K$-theory and bundles of UHF-algebras

Seidel and Pieri products in cominuscule quantum K-theory