In this paper, we extend our previous work to construct (0, 2) Toda-like mirrors to A/2-twisted theories on more general spaces, as part of a program of understanding (0,2) mirror symmetry. Specifically, we propose (0, 2) mirrors to GLSMs on toric del Pezzo surfaces and Hirzebruch surfaces with deformations of the tangent bundle. We check the results by comparing correlation functions, global symmetries, as well as geometric blowdowns with the corresponding (0, 2) Toda-like mirrors. We also briefly discuss Grassmannian manifolds.

Given a gauged linear sigma model (GLSM) $\mathcal{T}_{X}$ realizing a projective variety $X$ in one of its phases, i.e. its quantum K\"ahler moduli has a geometric point, we propose an \emph{extended} GLSM $\mathcal{T}_{\mathcal{X}}$ realizing the homological projective dual category $\mathcal{C}$ to $D^{b}Coh(X)$ as the category of B-branes of the Higgs branch of one of its phases. In most of the cases, the models $\mathcal{T}_{X}$ and $\mathcal{T}_{\mathcal{X}}$ are anomalous and the analysis of their Coulomb and mixed Coulomb-Higgs branches gives information on the semiorthogonal/Lefschetz decompositions of $\mathcal{C}$ and $D^{b}Coh(X)$. We also study the models $\mathcal{T}_{X_{L}}$ and $\mathcal{T}_{\mathcal{X}_{L}}$ that correspond to homological projective duality of linear sections $X_{L}$ of $X$. This explains why, in many cases, two phases of a GLSM are related by homological projective duality. We study mostly abelian examples: linear and Veronese embeddings of $\mathbb{P}^{n}$ and Fano complete intersections in $\mathbb{P}^{n}$. In such cases, we are able to reproduce known results as well as produce some new conjectures. In addition, we comment on the construction of the HPD to a nonabelian GLSM for the Pl\"ucker embedding of the Grassmannian $G(k,N)$.

In this paper we give a proposal for mirrors to (0,2) supersymmetric gauged linear sigma models (GLSMs), for those (0,2) GLSMs which are deformations of (2,2) GLSMs. Specifically, we propose a construction of (0,2) mirrors for (0,2) GLSMs with E terms that are linear and diagonal, reducing to both the Hori-Vafa prescription as well as a recent (2,2) nonabelian mirrors proposal on the (2,2) locus. For the special case of abelian (0,2) GLSMs, two of the authors have previously proposed a systematic construction, which is both simplified and generalized by the proposal here.

We study the quantum sheaf cohomology of flag manifolds with deformations of the tangent bundle and use the ring structure to derive how the deformation transforms under the biholomorphic duality of flag manifolds. Realized as the OPE ring of A/2-twisted twodimensional theories with (0,2) supersymmetry, quantum sheaf cohomology generalizes the notion of quantum cohomology. Complete descriptions of quantum sheaf cohomology have been obtained for abelian gauged linear sigma models (GLSMs) and for nonabelian GLSMs describing Grassmannians. In this paper we continue to explore the quantum sheaf cohomology of nonabelian theories. We first propose a method to compute the generating relations for (0,2) GLSMs with (2,2) locus. We apply this method to derive the quantum sheaf cohomology of products of Grassmannians and flag manifolds. The dual deformation associated with the biholomorphic duality gives rise to an explicit IR duality of two A/2-twisted (0,2) gauge theories.

We provide a uniform construction of “mixed versions” or “graded lifts” in the sense of Beilinson-Ginzburg–Soergel which works for arbitrary Artin stacks. In particular, we obtain a general construction of graded lifts of many categories arising in geometric representation theory and categorified knot invariants. Our new theory associates to each Artin stack of finite type Y over F_q a symmetric monoidal DG-category Shv_{gr,c}(Y) of constructible graded sheaves on Y along with the six-functor formalism, a perverse t-structure, and a weight (or co-t-)structure in the sense of Bondarko and Pauksztello. This category sits in between the category Shv_{m,c}(Y_n) of constructible mixed ℓ-adic sheaves in the sense of Beilinson–Bernstein–Deligne--Gabber for any F_{q^n} -form Y_n of Y and the category Shv_c(Y) of constructible ℓ-adic sheaves on Y, compatible with the six-functor formalism, perverse t-structures, and Frobenius weights. Classically, mixed versions were only constructed in very special cases. However, the category Shv_{gr,c}(Y) agrees with those previously constructed when they are available. For example, for any reductive group G with a fixed pair T ⊂ B of a maximal torus and a Borel subgroup, we have an equivalence of monoidal DG weight categories Shv_{gr,c}(B\G/B) ≃ Ch^b(SBim_W), where Ch^b(SBim_W) is the monoidal DG-category of bounded chain complexes of Soergel bimodules and W is the Weyl group of G.