Related papers: Two monoidal structures on Satake category in mixe…

We prove that the homotopy theory of monoidal relative categories is equivalent to that of monoidal $\infty$-categories, and likewise in the symmetric monoidal setting. As an application, we give a concise and complete proof of the fact…

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…

For Grassmann varieties, we explain how the duality between the Gelfand-Tsetlin polytopes and the Feigin-Fourier-Littelmann-Vinberg polytopes arises from different positive structures.

We prove that a large class of natural transformations (consisting roughly of those constructed via composition from the "functorial" or "base change" transformations) between two functors of the form $\cdots f^* g_* \cdots$ actually has…

We study the representation theory of the Kazama-Suzuki coset vertex operator superalgebra associated with the pair of a complex simple Lie algebra and its Cartan subalgebra. In the case of type $A_{1}$, B.L. Feigin, A.M. Semikhatov, and…

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…

The article is a contribution to the local theory of geometric Langlands correspondence. The main result is a categorification of the isomorphism between the (extended) affine Hecke algebra, thought of as an algebra of Iwahori bi-invariant…

We describe an isomorphism of categories conjectured by Kontsevich. If $M$ and $\widetilde{M}$ are mirror pairs then the conjectural equivalence is between the derived category of coherent sheaves on $M$ and a suitable version of Fukaya's…

The coherence conjecture of Pappas and Rapoport, proved by Zhu, asserts the equality of dimensions for the global sections of a line bundle over a spherical Schubert variety in the affine Grassmannian and those of another line bundle over a…

For a reductive group $G$ we equip the category of $G_\mathcal{O}$-equivariant polarizable pure Hodge modules on the affine Grassmannian $\mathrm{Gr}_G$ with a structure of neutral Tannakian category. We show that it is equivalent to a…

The monoidal version of classical Morita theory is a theory of bialgebroids. To make this explicit we construct a bicategory the objects of which are the bialgebroids and in which equivalence of objects means that the corresponding module…

Let G^\vee be a complex simple algebraic group. We describe certain morphisms of G^\vee(\calO)-equivariant complexes of sheaves on the affine Grassmannian \Gr of G^\vee in terms of certain morphisms of G-equivariant coherent sheaves on…

We explain two related constructions on the data of two monoidal symmetric closed categories $\mathscr{A}$ and $\mathscr{E}$ and monoidal functors $F: \mathscr{E}\to \mathscr{A}$ and $G: \mathscr{A}\to \mathscr{E}$. In a first part, we…

We prove the $S=T$ conjecture proposed by Xiao--Zhu in \cite{2017arXiv170705700X}, making use of Scholze's theory of diamonds and v-stacks and Fargues--Scholze's geometric Satake equivalence. Following \cite{2018arXiv180205299X}, we deduce…

We consider the joint system of equivariant quantum differential equations (qDE) and qKZ difference equations for the Grassmannian $G(k,n)$, which parametrizes $k$-dimensional subspaces of $\mathbb{C}^n$. First, we establish a connection…

Two fields are Witt equivalent if, roughly speaking, they have the same quadratic form theory. Formally, that is to say that their Witt rings of symmetric bilinear forms are isomorphic. This equivalence is well understood only in a few…

Modular functors are traditionally defined as systems of projective representations of mapping class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the…

We show the equivalence between Deitmar's and Toen-Vaquie's notions of schemes over F_1 (the 'field with one element'), establishing a symmetry with the classical case of schemes, seen either as spaces with a structure sheaf, or functors of…

Tannaka Duality describes the relationship between algebraic objects in a given category and their representations; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful…

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…