The authors describe the relationships between categories of B-branes in different phases of the non-Abelian gauged linear sigma model. The relationship is described explicitly for the model proposed by Hori and Tong with non-Abelian gauge group that connects two non-birational Calabi-Yau varieties studied by Rødland. A grade restriction rule for this model is derived using the hemisphere partition function and it is used to map B-type D-branes between the two Calabi-Yau varieties.

In this paper, we prove that if a compact Kähler manifold X has a smooth Hermitian metric ω such that (T_X,ω) is uniformly RC-positive, then X is projective and rationally connected. Conversely, we show that, if a projective manifold X is rationally connected, then there exists a uniformly RC-positive complex Finsler metric on T_X .

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.

We prove the representability theorem in derived analytic geometry. The theorem as- serts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack. Our result applies to both derived complex analytic geometry and derived nonarchimedean analytic geometry (rigid analytic geometry). The representability theorem is of both philosophical and prac- tical importance in derived geometry. The conditions of representability are natural expectations for a moduli functor. So the theorem confirms that the notion of derived analytic space is natural and sufficiently general. On the other hand, the conditions are easy to verify in practice. So the theo- rem enables us to enhance various classical moduli spaces with derived structures, thus providing plenty of down-to-earth examples of derived analytic spaces. For the purpose of proof, we study analytification, square-zero extensions, analytic modules and cotangent complexes in the context of derived analytic geometry. We will explore applications of the representability theorem in our subsequent works. In particular, we will establish the existence of derived mapping stacks via the representability theorem.

We construct the Frobenius structure on a rigid connection Be_{\hat G} on G_m for a split reductive group \hat G introduced by Frenkel-Gross. These data form a \hat G-valued overconvergent F-isocrystal Be^†_{\hat G} on G_{m,F_p}, which is the p-adic companion of the Kloosterman \hat G-local system Kl_{\hat G} constructed by Heinloth-Ngô-Yun. By studying the structure of the underlying differential equation, we calculate the monodromy group of Be^†_{\hat G} when \hat G is almost simple (which recovers the calculation of monodromy group of Kl_{\hat G} due to Katz and Heinloth–Ngô–Yun), and prove a conjecture of Heinloth-Ngô-Yun on the functoriality between different Kloosterman \hat G-local systems. We show that the Frobenius Newton polygons of Kl_{\hat G} are generically ordinary for every \hat G and are everywhere ordinary on |G_{m,F_p}| when \hat G is classical or G_2.