This work is devoted to the study of the foundations of quantum K-theory, a K-theoretic version of quantum cohomology theory. In particular, it gives a deformation of the ordinary K-ring K(X) of a smooth projective variety X, analogous to the relation between quantum cohomology and ordinary cohomology. This new quantum product also gives a new class of Frobenius manifolds.

In this article we propose a geometric description of Arthur packets for p-adic groups using vanishing cycles of perverse sheaves. Our approach is inspired by the 1992 book by Adams, Barbasch and Vogan on the Langlands classification of admissible representations of real groups and follows the direction indicated by Vogan in his 1993 paper on the Langlands correspondence. Using vanishing cycles, we introduce and study a functor from the category of equivariant perverse sheaves on the moduli space of certain Langlands parameters to local systems on the regular part of the conormal bundle for this variety. In this article we establish the main properties of this functor and show that it plays the role of microlocalization in the work of Adams, Barbasch and Vogan. We use this to define ABV-packets for pure rational forms of p-adic groups and propose a geometric description of the transfer coefficients that appear in Arthur's main local result in the endoscopic classification of representations. This article includes conjectures modelled on Vogan's work, especially the prediction that Arthur packets are ABV-packets for p-adic groups. We gather evidence for these conjectures by verifying them in numerous examples.

Let (X, g) be a compact Riemannian manifold with quasi-positive Riemannian scalar curvature. If there exists a complex structure J compatible with g, then the Kodaira dimension of (X, J) is equal to −∞ and the canonical bundle KX is not pseudo-effective. We also introduce the complex Yamabe number λc(X) for compact complex manifold X, and show that if λ_c(X) is greater than 0, then κ(X) is equal to −∞; moreover, if X is also spin, then the Hirzebruch A-hat genus \hat{A}(X) is zero.

The paper is Part III of our ongoing project to study a case of Crepant Transformation Conjecture: K-equivalence Conjecture for ordinary flops. In this paper we prove the invariance of quantum rings for general ordinary flops, whose local models are certain non-split toric bundles over arbitrary smooth base. An essential ingredient in the proof is a quantum splitting principle, which reduces a statement in Gromov--Witten theory on non-split bundles to the case of split bundles.

We study the existence of Artin–Schreier curves with large a‑number. We show that Artin–Schreier curves with large a‑number can be written in certain forms and discuss their supersingularity. We also give a basis of the de Rham cohomology of Artin–Schreier curves. By computing the rank of the Hasse–Witt matrix of the curve, we also give bounds on the a‑number of trigonal curves of genus 5 in small characteristic.

We investigate birational boundedness of Fano varieties and Fano fibrations. We establish an inductive step towards birational boundedness of Fano fibrations via conjectures related to bound- edness of Fano varieties and Fano fibrations. As corollaries, we provide approaches towards birational boundedness and boundedness of anti-canonical volumes of varieties of ε-Fano type. Furthermore, we show birational boundedness of 3-folds of ε-Fano type.

We establish a generic vanishing theorem for surfaces in characteristic p that lift to p and use it for classification of surfaces of general type with Euler characteristic p and large Albanese dimension.

No abstract uploaded!

We conjecture that appropriate K-theoretic Gromov-Witten invariants of complex flag manifolds G/B are governed by finite-difference versions of Toda systems constructed in terms of the Langlands-dual quantized universal enveloping algebras U_q(g'). The conjecture is proved in the case of classical flag manifolds of the series A. The proof is based on a refinement of the famous Atiyah-Hirzebruch argument for rigidity of arithmetical genus applied to hyperquot-scheme compactifications of spaces of rational curves in the flag manifolds.

In this paper we realize the moduli spaces of singular sextic curves with specified symmetry type as arithmetic quotients of complex hyperbolic balls or type IV domains. We also identify their GIT compactifications with the Looijenga compactifications of the corresponding period domains, most of which are actually Baily-Borel compactifications.