相关论文: A toy model of shtukas

We construct certain rational functions (modular units) on the moduli stack of Drinfeld shtukas. The divisors of these rational functions are supported on horospherical divisors of the moduli stack. The key to our construction is a…

We provide explicit equations for moduli spaces of Drinfeld shtukas over the projective line with $\Gamma(N)$, $\Gamma_1(N)$ and $\Gamma_0(N)$ level structures, where $N$ is an effective divisor on $\mathbb{P}^1$. If the degree of $N$ is…

The goal of this paper is to provide a categorical framework that leads to the definition of shtukas \`a la Drinfeld and of excursion operators \`a la V. Lafforgue. We take as the point of departure the Hecke action of Rep(G^L) on the…

We construct integral models for moduli spaces of shtukas with deep Bruhat-Tits level structures. We embed the moduli space of global shtukas for a deep Bruhat-Tits group scheme into the limit of the moduli spaces of shtukas for all…

We define Drinfeld level structures for Drinfeld shtukas of any rank and show that their moduli spaces are regular and admit finite flat level maps. In particular, the moduli spaces of Drinfeld shtukas with Drinfeld…

Assuming everywhere good reduction we generalize the class number formula of Taelman to Drinfeld modules over arbitrary coefficient rings. In order to prove this formula we develop a theory of shtukas and their cohomology.

We study moduli spaces of truncated local shtukas and truncated displays and describe them as concrete quotient stacks. To do this, we develop a general formalism of frames that can be applied in both cases and is also used to study…

The purpose of this paper and its sequel (Toric Stacks II) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as…

This is the second in a sequence of articles, in which we explore moduli stacks of global G-shtukas, the function field analogs for Shimura varieties. Here G is a flat affine group scheme of finite type over a smooth projective curve C over…

We give a log-geometric description of the space of twisted canonical divisors constructed by Farkas--Pandharipande. In particular, we introduce the notion of a principal rubber $k$-log-canonical divisor, and we study its moduli space. It…

We construct a smooth algebraic stack of tuples consisting of genus two nodal curves, simple effective divisors away from the nodes, and twisted fields. It provides a desingularization of the moduli of genus two stable maps to projective…

These are lectures notes of my talks at the IHES summer school on the Langlands program in 2022. We give an introduction to the notion of Shtukas, their relation with more familiar geometric objects, their moduli spaces and applications to…

We give a new proof of the base change fundamental lemma for GL_n for certain Hecke functions by comparing the cohomology of two different moduli space of $D$-shtukas. The original proof, due to Clozel and Labesse, make use of the trace…

Moduli spaces of bounded local $G$-shtukas are a group-theoretic generalization of the function field analog of Rapoport and Zink's moduli spaces of $p$-divisible groups. In this article we generalize some very prominent concepts in the…

We define and study "tautological classes" in the cohomology of moduli stacks of shtukas, pursuing two directions of applications. First, we prove a formula relating the "arithmetic volume" of tautological classes to higher derivatives of…

For proper stacks, unlike schemes, there is a distinction between rational and integral points. Moreover, rational points have extra automorphism groups. We show that these distinctions exactly account for the lower order main terms…

We generalize the construction of a moduli space of semistable pairs parametrizing isomorphism classes of morphisms from a fixed coherent sheaf to any sheaf with fixed Hilbert polynomial under a notion of stability to the case of projective…

We introduce local invariants of algebraic spaces and stacks which measure how far they are from being a scheme. Using these invariants, we develop mostly topological criteria to determine when the moduli space of a stack is a scheme. As an…

We present a novel notion of stable objects in a triangulated category. This Postnikov-stability is preserved by equivalences. We show that for the derived category of a projective variety this notion includes the case of semistable…

In connection with each global field of positive characteristic we exhibit many examples of two-variable algebraic functions possessing properties consistent with a conjectural refinement of the Stark conjecture in the function field case…