Related papers: Two monoidal structures on Satake category in mixe…
In this note we study symmetric monoidal functors from a symmetric monoidal 1-category to a cartesian symmetric monoidal $\infty$-category, which are in addition hypersheaves for a certain topology. We prove a symmetric monoidal version of…
Let $k$ be a perfect field of characteristic $p$ and $W(k)$ its ring of Witt vectors. We construct an equivalence of categories between the full subcategory of the derived category of quasi-coherent sheaves on the syntomification of $W(k)$…
We show that the equivalence between several possible characterizations of Frobenius algebras, and of symmetric Frobenius algebras, carries over from the category of vector spaces to more general monoidal categories. For Frobenius algebras,…
Two fields are Witt equivalent if their Witt rings of symmetric bilinear forms are isomorphic. Witt equivalent fields can be understood to be fields having the same quadratic form theory. The behavior of finite fields, local fields, global…
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor…
In this paper we prove the Knop conjecture asserting that two smooth affine spherical varieties with the same weight monoids are equivariantly isomorphic. We also state and prove a uniqueness property for not necessarily smooth affine…
These notes are devoted to a detailed exposition of the proof of the Geometric Satake Equivalence for general coefficients, following Mirkovic-Vilonen.
We show that two constructions yield equivalent braided monoidal categories. The first is topological, based on Legendrian tangles and skein relations, while the second is algebraic, in terms of chain complexes with complete flag and…
The Pappas-Rapoport coherence conjecture, proved by Zhu, states that the dimensions of spaces of sections of certain line bundles coincide. The two sides of the equality correspond to the line bundles on spherical Schubert varieties in the…
It is well-known that small categories have equivalent descriptions as partial monoids. We provide a formulation of partial monoid and partial monoid homomorphism involving $s$ and $t$ instead of identities and then following a recent…
We determine the splitting type of the Verlinde vector bundles in higher genus in terms of simple semihomogeneous factors. In agreement with strange duality, the simple factors are interchanged by the Fourier-Mukai transform, and their…
It is known by results of Dyckerhoff-Kapranov and of G\'alvez--Carrillo-Kock-Tonks that the output of the Waldhausen S.-construction has a unital 2-Segal structure. Here, we prove that a certain S.-functor defines an equivalence between the…
We propose a geometric realization of the Feigin-Loktev fusion product of graded cyclic modules over the current algebra. This allows us to compute it in several new cases. We also relate the Feigin-Loktev fusion product to the convolution…
Whittaker sheaves are ubiquitous in geometric representation theory; however, their definition requires one to restrict the sheaf-theoretic setting to either \'etale sheaves or $D$-modules. Gaitsgory and Lysenko proposed a solution to this…
We demonstrate the equivalence of Kazama-Suzuki cosets $G(m,n,k)$ and $G(k,n,m)$ based on complex Grassmannians by proving that the corresponding conformal precosheaves are isomorphic. We also determine all the irreducible representations…
We proceed to study the hybrid integrable structure in two-dimensional non-linear sigma models with target space three-dimensional squashed spheres. A quantum affine algebra and a pair of Yangian algebras are realized in the sigma models…
We construct the geometric Satake equivalence for quasi-split reductive groups over nonarchimedean local fields, using \'etale Artin-Tate motives with $\mathbb{Z}[\frac{1}{p}]$-coefficients. We consider local fields of both equal and mixed…
Let $F$ be a field of characteristic zero and let $E$ be the Grassmann algebra of an infinite dimensional $F$-vector space $L$. In this paper we study the superalgebra structures (that is the $\mathbb{Z}_{2}$-gradings) that the algebra $E$…
The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.
The problem of determining gauge and monoidal equivalence classes of fusion categories is considered from the perspective of geometric invariant theory. It is shown that the gauge (or monoidal) class of a fusion category is determined by…