Related papers: Arc-descent for the perfect loop functor and $p$-a…

For a reductive group $G$ over a local non-archimedean field $K$ one can mimic the construction from the classical Deligne--Lusztig theory by using the loop space functor. We study this construction in special the case that $G$ is an inner…

We prove $p$-complete arc-descent results for finite projective modules and perfect complexes over integral perfectoid rings. Using our results, we clarify a reduction argument in the proof of the classification of $p$-divisible groups over…

We analyze the geometry of some $p$-adic Deligne--Lusztig spaces $X_w(b)$ introduced in [Iva21] attached to an unramified reductive group ${\bf G}$ over a non-archimedean local field. We prove that when ${\bf G}$ is classical, $b$ basic and…

Let $R$ be a regular semilocal integral domain containing an infinite field $k$. Let $f\in R$ be an element such that for all maximal ideals $\mathfrak m$ of $R$ we have $f\notin\mathfrak m^2$. Let $\mathbf G$ be a reductive group scheme…

We give a description of the cohomology groups of the structure sheaf on smooth compactifications $\overline{X}(w)$ of Deligne--Lusztig varieties $X(w)$ for ${\rm GL}_n$, for all elements $w$ in the Weyl group. As a consequence, we obtain…

We prove a 1979 conjecture of Lusztig on the cohomology of semi-infinite Deligne--Lusztig varieties attached to division algebras over local fields. We also prove the two conjectures of Boyarchenko on these varieties. It is known that in…

We prove an equivariant localization theorem over an algebraically closed field of characteristic zero for smooth quotient stacks by reductive groups $X/G$ in the setting of derived loop spaces as well as Hochschild homology and its cyclic…

Let F be a non-archimedean local field, let L be the maximal unramified extension of F, and let fr be the Frobenius automorphism. Let G be a split connected reductive group over F, and let B(1) be the Bruhat-Tits building associated to…

We use geometry of the wonderful compactification to obtain a new proof of the relation between Deligne-Lusztig (or Alvis-Curtis) duality for $p$-adic groups and the homological duality. This provides a new way to introduce an involution on…

In 1979, Lusztig proposed a cohomological construction of supercuspidal representations of reductive $p$-adic groups, analogous to Deligne-Lusztig theory for finite reductive groups. In this paper we establish a new instance of Lusztig's…

We prove a conjecture of Broue about the Jordan decomposition of blocks of finite reductive groups. We show that a block of a finite connected reductive group, in non-describing characteristic, is Morita-equivalent to a quasi-isolated block…

We show how a quasi-smooth derived enhancement of a Deligne-Mumford stack X naturally endows X with a functorial perfect obstruction theory in the sense of Behrend-Fantechi. This result is then applied to moduli of maps and perfect…

To any non-negatively graded dg Lie algebra $g$ over a field $k$ of characteristic zero we assign a functor $\Sigma_g: art/k \to Kan$ from the category of commutative local artinian $k$-algebras with the residue field $k$ to the category of…

Let $K$ be a local non-Archimedean field of positive characteristic and let $L$ be the degree-$n$ unramified extension of $K$. Via the local Langlands and Jacquet-Langlands correspondences, to each sufficiently generic multiplicative…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

A result of Andr\'e Weil allows one to describe rank $n$ vector bundles on a smooth complete algebraic curve up to isomorphism via a double quotient of the set $\mathrm{GL}_n(\mathbb{A})$ of regular matrices over the ring of ad\`eles (over…

We study a Grothendieck topology on schemes which we call the $\mathrm{arc}$-topology. This topology is a refinement of the $v$-topology (the pro-version of Voevodsky's $h$-topology) where covers are tested via rank $\leq 1$ valuation…

In this note, we introduce a natural analogue of Steinberg's cross-section in the loop group of an unramified reductive group $\mathbf G$. We show this loop Steinberg's cross-section provides a simple geometric model for the poset…

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group over a regular semilocal ring is itself trivial. Extending the work of \v{C}esnavi\v{c}ius and Fedorov, we prove a non-noetherian…

Denef and Loeser defined a map from the Grothendieck ring of sets definable in pseudo-finite fields to the Grothendieck ring of Chow motives, thus enabling to apply any cohomological invariant to these sets. We generalize this to perfect,…