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.

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.

For each integer we describe the space of stability conditions on the derived category of the n-dimensional Ginzburg algebra associated to the A2 quiver. The form of our results points to a close relationship between these spaces and the Frobenius-Saito structure on the unfolding space of the A2 singularity.

Let M and N be two compact complex manifolds. We show that if the tautological line bundle O_{T^∗}M(1) is not pseudo-effective and O_{T^∗}N(1) is nef, then there is no non-constant holomorphic map from M to N. In particular, we prove that any holomorphic map from a compact complex manifold M with RC-positive tangent bundle to a compact complex manifold N with nef cotangent bundle must be a constant map. As an application, we obtain that there is no non-constant holomorphic map from a compact Hermitian manifold with positive holomorphic sectional curvature to a Hermitian manifold with non-positive holomorphic bisectional curvature.

We develop a new technique to study ranks of multiplication maps for linear series via limit linear series and degenerations to chains of elliptic curves. We prove an elementary criterion and apply it to proving cases of the Maximal Rank Conjecture. We give a new proof of the case of quadrics, and also treat several families in the case of cubics. Our proofs do not require restrictions on direction of approach, so we recover new information on the locus in the moduli space of curves on which the maximal rank condition fails.