Tautological systems developed in [8, 9] are Picard-Fuchs type systems to study period integrals of complete intersections in Fano varieties. We generalize tautological systems to zero loci of global sections of vector bundles. In particular, we obtain similar criterion as in [8, 9] about holonomicity and regularity of the systems. We also prove solution rank formulas and geometric realizations of solutions following the work on hypersurfaces in homogeneous varieties .
Tautological systems are Picard-Fuchs type systems arising from varieties with large symmetry. In this survey, we discuss recent
progress on the study of tautological systems. This includes tautological systems for vector bundles, a new construction of Jacobian rings for homogenous vector bundles, and relations between period integrals and zeta functions.
We prove that the bounded derived category of coherent sheaves of the Brill-Noether variety G^r_d (C) that parametrizing linear series of degree d and dimension r on a general smooth projective curve C is indecomposable when d ≤ g(C)−1.
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.
We realize the moduli spaces of cubic fourfolds with specified group actions as arithmetic quotients of complex hyperbolic balls or type IV symmetric domains, and study their compactifications. We prove the geometric (GIT) compactifications are naturally isomorphic to the Hodge theoretic (Looijenga, in many cases Baily–Borel) compactifications. The key ingredients of the proof are the global Torelli theorem by Voisin, the characterization of the image of the period map given by Looijenga and Laza independently, and the functoriality of Looijenga compactifications proved in the Appendix.
Clifton L. R. CunninghamUniversity of CalgaryAndrew FioriUniversity of LethbridgeAhmed MoussaouiUniversité de PoitiersJames MracekAmazon, San FranciscoBin XuYau Mathematical Science Center, Tsinghua University
Number TheoryRepresentation TheoryAlgebraic Geometrymathscidoc:2206.24001
Memoirs of the American Mathematical Society, 276, (1353), 2022.3
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.
Taiwang DengYau Mathematical Sciences Center, Tsinghua University, Haidian District, Beijing, 100084, ChinaBin XuYau Mathematical Sciences Center and Department of Mathematics, Tsinghua University, Beijing, China
In this article we study a conjecture of Geiss-Leclerc-Schröer, which is an analogue of a classical conjecture of Lusztig in the Weyl group case. It concerns the relation between canonical basis and semi-canonical basis through the characteristic cycles. We formulate an approach to this conjecture and prove it for type quiver. In the general type A case, we reduce the conjecture to show that certain nearby cycles have vanishing Euler characteristic.