Related papers: A combinatorial geometric Satake equivalence
We establish a Dwyer-Kan equivalence of relative categories of combinatorial model categories, presentable quasicategories, and other models for locally presentable (infinity,1)-categories. This implies that the underlying quasicategories…
We prove the geometrical Satake isomorphism for a reductive group defined over F=k((t)), and split over a tamely ramified extension. As an application, we give a description of the nearby cycles on certain Shimura varieties via the…
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…
We study geometric representation theory of Lie algebroids. A new equivalence relation for integrable Lie algebroids is introduced and investigated. It is shown that two equivalent Lie algebroids have equivalent categories of infinitesimal…
We use twisted Fourier-Mukai transforms to study the relation between an abelian fibration on a holomorphic symplectic manifold and its dual fibration. Our reasoning leads to an equivalence between the derived category of coherent sheaves…
Let G be a reductive group. The geometric Satake equivalence realized the category of representations of the Langlands dual group ^LG in terms of spherical perverse sheaves (or D-modules) on the affine Grassmannian Gr_G=G((t))/G[[t]] of the…
Fargues and Scholze proved the geometric Satake equivalence over the Fargues--Fontaine curve. On the other hand, Zhu proved the geometric Satake equivalence using a Witt vector affine Grassmannian. In this paper, we explain the relation…
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…
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 establish a derived geometric Satake equivalence for the real group $G_{\mathbb R}=PSO(2n-1,1)$ (resp. $PE_6(F_4)$), to be called the Lorentzian Satake equivalence (resp. Octonionic Satake equivalence). By applying the real-symmetric…
We consider homological mirror symmetry in the context of hypertoric varieties, showing that appropriate categories of B-branes (that is, coherent sheaves) on an additive hypertoric variety match a category of A-branes on a Dolbeault…
The proposed physical duality known as 3d mirror symmetry relates the geometries of dual pairs of holomorphic symplectic stacks. It has served in recent years as a guiding principle for developments in representation theory. However, due to…
In this paper we extend the twisted Satake equivalence established in arXiv:0809.3738 for almost simple groups to the case of split reductive groups.
We give a characterization of the sets of objects of the derived category of a block of a finite group algebra (or other symmetric algebra) that occur as the set of images of simple modules under an equivalence of derived categories. We…
Let $G$ be a connected, simply-laced, almost simple algebraic group over $\mathbf{C}$, let $G_c$ be a maximal compact subgroup of $G(\mathbf{C})$, and let $T_c$ be a maximal torus therein. Let $\mathrm{Gr}_G$ denote the affine Grassmannian…
Homological mirror symmetry is a conjecture that a category constructed in the A-model and a category constructed in the B-model are equivalent in some sense. We construct a cyclic differential graded (DG) category of holomorphic vector…
We endow the set of lattices in Q_p^n with a reasonable algebro-geometric structure. As a result, we prove the representability of affine Grassmannians and establish the geometric Satake correspondence in mixed characteristic. We also give…
Let $G$ be a reductive complex algebraic group. We fix a pair of opposite Borel subgroups and consider the corresponding semiinfinite orbits in the affine Grassmannian $Gr_G$. We prove Simon Schieder's conjecture identifying his bialgebra…
Using ideas from shape theory we embed the coarse category of metric spaces into the category of direct sequences of simplicial complexes with bonding maps being simplicial. Two direct sequences of simplicial complexes are equivalent if one…
We construct an equivalence of categories from a strong categorical sl(2) action, following the work of Chuang-Rouquier. As an application, we give an explicit, natural equivalence between the derived categories of coherent sheaves on…