相关论文: Betti Tate's thesis and the trace of perverse scho…

Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves…

When $W$ is a finite Coxeter group acting by its reflection representation on $E$, we describe the category ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ of $W$-equivariant perverse sheaves on $E_{\mathbb C}$, smooth with…

For any field $k$, we give an algebraic description of the category $\mathrm{Perv}_\mathscr{S}(S^n (\mathbb{C}^2),k)$ of perverse sheaves on the $n$-fold symmetric product of the plane $S^n(\mathbb{C}^2)$ constructible with respect to its…

This survey paper, based on a talk at the International Congress of Basic Science in Beijing in July 2025, summarizes joint work of the authors with M. Kontsevich [1408.2673] establishing the relation between the ``Algebra of the Infrared"…

This is an expanded version of the text ``Perverse Sheaves on Loop Grassmannians and Langlands Duality'', AG/9703010. The main new result is a topological realization of algebraic representations of reductive groups over arbitrary rings. We…

We study an invariant, the secondary trace, attached to two commuting endomorphisms of a 2-dualizable object in a symmetric monoidal higher category. We establish a secondary trace formula which encodes the natural symmetries of this…

We introduce and survey a Betti form of the geometric Langlands conjecture, parallel to the de Rham form developed by Beilinson-Drinfeld and Arinkin-Gaitsgory, and the Dolbeault form of Donagi-Pantev, and inspired by the work of…

In this paper, we prove a homological mirror symmetry equivalence for pairs of multiplicative hypertoric varieties, and we calculate monodromy autoequivalences of these categories by promoting our result to an equivalence of perverse…

We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the dual group $\check G$ is naturally equivalent to a…

In this paper we prove that the category of parity complexes on the flag variety of a complex connected reductive group is a "graded version" of the category of tilting perverse sheaves on the flag variety of the dual group, for any field…

For a reductive group over an algebraically closed field of characteristic $p > 0$ we construct the abelian category of perverse $\mathbb{F}_p$-sheaves on the affine Grassmannian that are equivariant with respect to the action of the…

We define 2-categories of microlocal perverse (resp. coherent) sheaves of categories on the skeleton of a hypertoric variety and show that the generators of these 2-categories lift the projectives (resp. simples) in hypertoric category…

In this paper we study the Witt groups of symmetric and anti-symmetric forms on perverse sheaves on a finite-dimensional topologically stratified space with even dimensional strata. We show that the Witt group has a canonical decomposition…

We prove the symmetrising trace conjecture of Brou\'e, Malle and Michel for the generic Hecke algebra associated to the exceptional irreducible complex reflection group $G_{13}$. Our result completes the proof of the conjecture for the…

The derived category of coherent sheaves $\mathcal{T}_B$ associated to a birational cobordism which is either a weighted projective space, a stacky Atiyah flip, or a stacky blow-up of a point has a conjectural mirror Fukaya-Seidel category…

We introduce and motivate -- based on ongoing joint work with Germ\'an Stefanich -- the notion of potent categorical representations of a complex reductive group $G$, specifically a conjectural Langlands correspondence identifying potent…

We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor…

In this paper we give a geometric version of the Satake isomorphism. Given a connected complex reductive algebraic group, we show that the category of representations of its Langlands dual is naturally equivalent to a certain category of…

The exceptional complex reflection groups of rank 2 are partitioned into three families. We construct explicit matrix models for the Hecke algebras associated to the maximal groups in the tetrahedral and octahedral family, and use them to…

We prove an isomorphism for simple perverse sheaves on the affine Grassmannian of a connected reductive algebraic group that is a geometric counterpart (in light of the Finkelberg-Mirkovi\'c conjecture) of the Steinberg tensor product…