We introduce the notion of completed F-crystals on the absolute prismatic site of a smooth p-adic formal scheme. We define a functor from the category of completed prismatic F-crystals to that of crystalline étale Zp-local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which treats the case of a complete discrete valuation ring with perfect residue field.
We give a definition of character sheaves on the group compactification which is equivalent to Lusztig's definition in [G. Lusztig, Parabolic character sheaves, II, Mosc. Math. J. 4 (4) (2004) 869896]. We also prove some properties of the character sheaves on the group compactification.
Yuan-Pin LeeDepartment of Mathematics, University of Utah, Salt Lake City, Ut., U.S.A.Hui-Wen LinDepartment of Mathematics, National Taiwan University, Taipei 106Chin-Lung WangDepartment of Mathematics, National Taiwan University, Taipei 106
This is an expanded version of the third author's lecture in String-Math 2015 at Sanya. It summarizes some of our works in quantum cohomology.
After reviewing the quantum Lefschetz and quantum Leray--Hirsch, we discuss their applications to the functoriality properties under special smooth flops, flips and blow-ups. Finally, for conifold transitions of Calabi--Yau 3-folds, formulations for small resolutions (blow-ups along Weil divisors) are sketched.
Mirror principle is a general method developed in [LLY1]-[LLY4] to compute characteristic classes and characteristic numbers on moduli spaces of stable maps in terms of hypergeometric type series. The counting of the numbers of curves in Calabi-Yau manifolds from mirror symmetry corresponds to the computation of Euler numbers. This principle computes quite general Hirzebruch multiplicative classes such as the total Chern classes.
We define tautological relations for the moduli space of stable maps to a target variety. Using the double ramification cycle formula for target varieties of Janda–Pandharipande–Pixton–Zvonkine, we construct non-trivial tautological relations parallel to Pixton’s double ramification cycle relations for the moduli of curves. Examples and applications are discussed.
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.
Let R be a non-discrete rank one valuation ring of characteristic p and let E be any discrete valuation ring, we prove the ring of E-Witt vectors over R has uncountable Krull dimension without assuming the axiom of existence of prime ideals for general commutative unitary rings.
Let X be a smooth complex projective variety. Using a construction devised by Gathmann, we present a recursive formula for some of the Gromov–Witten invariants of X. We prove that, when X is homogeneous, this formula gives the number of osculating rational curves at a general point of a general hypersurface of X. This generalizes the classical well known pairs of inflection (asymptotic) lines for surfaces in P^3 of Salmon, as well as Darboux’s 27 osculating conics.
We prove the existence of global sections trivializing the Hodge bundles on the Hodge metric completion space of the Torelli space of CalabiYau manifolds, a global splitting property of these Hodge bundles. We also prove that a compact CalabiYau manifold can not be deformed to its complex conjugate. These results answer certain open questions in the subject. A general result about certain period map to be bi-holomorphic from the Hodge metric completion space of the Torelli space of CalabiYau type manifolds to their period domains is proved and applied to the cases of K3 surfaces, cubic fourfolds, and hyperkhler manifolds.