Related papers: A Jacobian Criterion for Artin $v$-stacks

Deligne's conjecture that $\ell$-adic sheaves on normal schemes over a finite field admit $\ell'$-companions was proved by L. Lafforgue in the case of curves and by Drinfeld in the case of smooth schemes. In this paper, we extend Drinfeld's…

Following the idea of [Far16], we develop the foundations of the geometric Langlands program on the Fargues--Fontaine curve. In particular, we define a category of $\ell$-adic sheaves on the stack $\mathrm{Bun}_G$ of $G$-bundles on the…

We completely classify all quotient bundles of a given vector bundle on the Fargues-Fontaine curve. As consequences, we have two additional classification results: a complete classification of all vector bundles that are generated by a…

In this article we formulate and prove the analogue of the Langlands-Rapoport conjecture for the moduli stacks of global $G$-shtukas. Here $G$ is a parahoric Bruhat-Tits group scheme over a smooth projective curve $C$ over a finite field…

We prove that smooth, separated Deligne--Mumford stacks in mixed characteristic with quasi-projective coarse moduli space are global quotient stacks and satisfy the resolution property. This builds on work of Kresch and Vistoli and of…

We explain how any Artin stack $\mathfrak{X}$ over $\mathbb{Q}$ extends to a functor on non-negatively graded commutative cochain algebras, which we think of as functions on Lie algebroids or stacky affine schemes. There is a notion of…

We show how to attach to any rigid analytic variety $V$ over a perfectoid space $P$ a rigid analytic motive over the Fargues-Fontaine curve $\mathcal{X}(P)$ functorially in $V$ and $P$. We combine this construction with the overconvergent…

We explain how to construct a cohomology theory on the category of separated quasi-compact smooth rigid spaces over $\mathbf{C}_p$ (or more general base fields), taking values in the category of vector bundles on the Fargues-Fontaine curve,…

This paper proves a result on the existence of finite flat scheme covers of Deligne-Mumford stacks. This result is used to prove that a large class of smooth Deligne-Mumford stacks with affine moduli space are quotient stacks, and in the…

We construct modular compactifications of the universal Jacobian stack over the moduli stack of reduced curves with marked points depending on stability parameters obtained out of fixing a vector bundle on the universal curve. When…

We study the structure of Jacobians of geometrically reduced curves over arbitrary (i. e., not necessarily perfect) fields. We show that, while such a group scheme cannot in general be decomposed into an affine and an Abelian part as over…

On the rank of Jacobians over function fields.} Let $f:\mathcal{X}\to C$ be a projective surface fibered over a curve and defined over a number field $k$. We give an interpretation of the rank of the Mordell-Weil group over $k(C)$ of the…

In a previous joint article with F. Abu Salem, we gave efficient algorithms for Jacobian group arithmetic of "typical" divisor classes on C_{3,4} curves, improving on similar results by other authors. At that time, we could only state that…

We prove that the category of ``vector bundles on the absolute Fargues--Fontaine curve'' (more precisely the category of sections over some discrete algebraically closed field of the $v$-stack $\mathrm{Bun}_\mathrm{FF}$ of vector bundles on…

A set of multi-homogeneous equations for the Jacobian of a genus two curve is given. The approach used is to write down affine equations for the Jacobian minus various tranlations of the Theta-divisor by [2]-division points, and then to…

We give algorithms for computing with divisors on projective curves over finite fields, and with their Jacobians, using the algorithmic representation of projective curves developed by Khuri-Makdisi. We show that many desirable operations…

We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi-Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use…

Schwartz functions, or measures, are defined on any smooth semi-algebraic ("Nash") manifold, and are known to form a cosheaf for the semi-algebraic restricted topology. We extend this definition to smooth semi-algebraic stacks, which are…

Fargues-Scholze developed a framework for the geometric Langlands program on the Fargues-Fontaine curve. In particular, they proved the geometric Satake equivalence on the moduli space of closed Cartier divisors on the curve. We prove the…

Under certain conditions, a scheme can be reconstructed from its category of quasi-coherent sheaves. The Tannakian reconstruction theorem provides another example where a geometric object can be reconstructed from an associated category, in…