Related papers: Geometrization of the local Langlands corresponden…

We combine several mini miracles to achieve an elementary understanding of infinite loop spaces and very effective spectra in the algebro-geometric setting of motivic homotopy theory. Our approach combines $\Gamma$-spaces and framed…

This is a survey article on Hall algebras and their applications to the study of motivic invariants of moduli spaces of coherent sheaves on Calabi-Yau threefolds. It is a write-up of my talks at the 2015 Salt Lake City AMS Summer Research…

Let $k$ be a field of characteristic zero containing all roots of unity and $K=k((t))$. We build a ring morphism from the Grothendieck group of semi-algebraic sets over $K$ to the Grothendieck group of motives of rigid analytic varieties…

This paper is the second in a series of three, the aim of which is to construct algebraic geometry over a free metabelian Lie algebra $F$. For the universal closure of free metabelian Lie algebra of finite rank $r \ge 2$ over a finite field…

We extend the constructive dependent type theory of the Logical Framework $\mathsf{LF}$ with monadic, dependent type constructors indexed with predicates over judgements, called Locks. These monads capture various possible proof attitudes…

For a cellular variety $X$ over a field $k$ of characteristic 0 and an algebraic oriented cohomology theory $\hh$ of Levine-Morel we construct a filtration on the cohomology ring $\hh(X)$ such that the associated graded ring is isomorphic…

This is the final paper in the series of five, in which we prove the geometric Langlands conjecture (GLC). We conclude the proof of GLC by showing that there exists a unique (up to tensoring up by a vector space) Hecke eigensheaf…

This third paper,devoted to global correspondences of Langlands,bears more particularly on geometric-shifted bilinear correspondences on mixed (bi)motives generated under the action of the products,right by left,of differential elliptic…

The purpose of this paper is to announce some new results on the structure of the higher order Euler-Lagrange mapping of the multiple-integral variational calculus on fibered manifolds,namely a description of its kernel and its image,and an…

We revisit the classical two-dimensional McKay correspondence in two respects: The first one, which is the main point of this work, is that we take into account of the multiplicative structure given by the orbifold product; second, instead…

We extend Langton's valuative criterion for families of coherent algebraic sheaves to a complex analytic set-up. As a consequence we derive a set of sufficient conditions for the compactness of a moduli space of semistable sheaves over a…

In this paper, we show Langton's type theorem on separatedness and properness of moduli functor of torsion free semistable sheaves on algebraic orbifolds over an algebraically closed field k

We continue to develop the analytic Langlands program for curves over local fields initiated in arXiv:1908.09677, arXiv:2103.01509 following a suggestion of Langlands and a work of Teschner. Namely, we study the Hecke operators introduced…

We prove a rigidity result for certain $p$-complete \'etale $\mathbf{A}^{1}$-invariant sheaves of anima over a qcqs finite-dimensional base scheme $S$ of bounded \'etale cohomological dimension with $p$ invertible on $S$. This generalizes…

We study, in the context of Voevodsky's triangulated category of motives, several adequate equivalence relations (in the sense of Samuel) on the graded Chow ring $CH^\ast (X\times Y)$ for $X$, $Y$ smooth projective varieties over a field.

Let $F$ be a non archimedean local field of residual characteristic $p$ and $\ell$ a prime number different from $p$. Let $\mathrm{V}$ denote Vign\'eras' $\ell$-modular local Langlands correspondence between irreducible $\ell$-modular…

We construct a geometric realization of categories of representations of affine Hecke algebras and split reductive $p$-adic groups via a $K$-motivic Springer theory. We suggest a connection to the coherent Springer theory of Ben-Zvi, Chen,…

We prove that a strengthened form of the local Langlands conjecture is valid throughout the principal series of any connected split reductive $p$-adic group. The method of proof is to establish the presence of a very simple geometric…

Genestier--Lafforgue and Fargues--Scholze have constructed a semisimple local Langlands paramterization for reductive groups over equicharacteristic local fields. Assuming a version of the stable twisted trace formula for function fields,…

This paper uses rigid Hecke eigensheaves, building on Yun's work on the construction of motives with exceptional Galois groups, to produce the first robust examples of `generalized Kuga-Satake theory' outside the Tannakian category of…