Related papers: Decomposition Theorem for Perverse sheaves on Arti…

Lurie's theorem states that there exists a sheaf of ring spectra on the site of formally \'etale Deligne--Mumford stacks over the moduli stack of $p$-divisible groups of height $n$, which agrees with the classical Landweber exact functor…

Since the work of Mikhail Kapranov in [Kap], it is known that the shifted tangent complex $\mathbb{T}_X[-1]$ of a smooth algebraic variety $X$ is endowed with a weak Lie structure. Moreover any complex of quasi-coherent sheaves on $X$ is…

We describe a construction of explicit affine extractors over large finite fields with exponentially small error and linear output length. Our construction relies on a deep theorem of Deligne giving tight estimates for exponential sums over…

Cases of Deligne's companion conjecture for normal schemes over finite fields have been proven by L. Lafforgue, Drinfeld, and Zheng in recent years: L. Lafforgue proved the conjecture for curves, Drinfeld proved the conjecture for all…

We give a proof of Gabber's presentation lemma for finite fields. We use ideas from Poonen's proof of Bertini's theorem to prove this lemma in the special case of open subsets of the affine plane. We then reduce the case of general smooth…

We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…

Let X be a smooth, complete, geometrically connected curve over a field of characteristic p. The geometric Langlands conjecture states that to each irreducible rank n local system E on X one can attach a perverse sheaf on the moduli stack…

We generalise the techniques of semistable reduction for flat families of sheaves to the setting of the derived category $D^b(X)$ of coherent sheaves on a smooth projective three-fold $X$. Then we construct the moduli of PT-semistable…

We prove a monodromy theorem for local vector fields belonging to a sheaf satisfying the unique continuation property. In particular, in the case of admissible regular sheaves of local fields defined on a simply connected manifold, we…

We prove that an algebraic stack with affine stabilizers over an arbitrary base is \'etale-locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors of this article (stacks…

Let $X$ be a smooth connected projective algebraic curve over an algebraically closed field, and let $S$ be a finite nonempty closed subset in $X$. We study deformations of $\overline{\mathbb F}_\ell$-sheaves. The universal deformation…

We develop a theory of toric Artin stacks extending the theories of toric Deligne-Mumford stacks developed by Borisov-Chen-Smith, Fantechi-Mann-Nironi, and Iwanari. We also generalize the Chevalley-Shephard-Todd theorem to the case of…

We prove a general version of the "Stability Theorem": if $K$ is a valued field such that the ramification theoretical defect is trivial for all of its finite extensions, and if $F|K$ is a finitely generated (transcendental) extension of…

In this summary paper, we present the key ideas behind the recent proof of the $K(\pi, 1)$ conjecture for affine Artin groups, which states that complements of locally finite affine hyperplane arrangements with real equations and stable…

Improved local and global versions of the effective Nullstellensatz for ideal sheaves on non-singular complex varieties are obtained, based on a new invariant motivated by the notion of finite type from the theory of several complex…

In the strict semi stable reduction situation, we describe the various filtrations of the perverse sheaf of nearby cycles in terms of irreducible perverse sheaves together with the action of the monodromy operator. We then study the…

We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of…

Using a general result of Lusztig, we find the decomposition into irreducibles of certain induced characters of the projective general linear group over a finite field of odd characteristic.

The paper discusses stably trivial torsors for spin and orthogonal groups over smooth affine schemes over infinite perfect fields of characteristic unequal to 2. We give a complete description of all the invariants relevant for the…

In this paper we propose a construction of generic character sheaves on reductive groups over finite local rings at even levels, whose characteristic functions are higher Deligne--Lusztig characters when the parameters are generic. We…