Related papers: Tannaka Duality for Geometric Stacks

We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion…

We define a semidirect product groupoid of a system of partially defined local homeomorphisms $T=(T_{1},..., T_{r})$. We prove that this construction gives rise to amenable groupoids. The associated algebra is a Cuntz-like algebra. We use…

A geometric stack is a quasi-compact and semi-separated algebraic stack. We prove that the quasi-coherent sheaves on the small flat topology, Cartesian presheaves on the underlying category, and comodules over a Hopf algebroid associated to…

We consider the set of affine alcoves associated with a root system R as a topological space and consider a certain category S of sheaves of Z-modules on this space. Here Z is the structure algebra of the root system over a field k. To any…

For (X,L) a polarized toric variety and G a torus of automorphisms of (X,L), denote by Y the GIT quotient X/G. We define a family of fully faithful functors from the category of torus equivariant reflexive sheaves on Y to the category of…

We characterise the class of exponentiable $\infty$-toposes: $\mathcal X$ is exponentiable if and only if $\mathcal S\mathrm{h}(\mathcal X)$ is a continuous $\infty$-category. The heart of the proof is the description of the…

We lay the foundations for a model theoretic study of proalgebraic groups. Our axiomatization is based on the tannakian philosophy. Through a tensor analog of skeletal categories we are able to consider neutral tannakian categories with a…

Using the new approach to analytic geometry developed by Clausen and Scholze by means of condensed mathematics, we prove that for every affinoid analytic adic space $X$, pseudocoherent complexes, perfect complexes, and finite projective…

We give a generalization of Gabriel's Theorem on coherent sheaves to the case of coherent twisted sheaves on a smooth variety X over a field k. We show that the category Coh(X,\alpha) determines the scheme structure of X for \alpha in the…

We present an elementary proof of the fact that every torsor for an affine group scheme over an algebraically closed field is trivial. This is related to the uniqueness of fibre functors on neutral tannakian categories.

Representations of vertex operator algebras define sheaves of coinvariants and conformal blocks on moduli of stable pointed curves. Assuming certain finiteness and semisimplicity conditions, we prove that such sheaves satisfy the…

In this paper we study the category of standard holomorphic vector bundles on a noncommutative two-torus. We construct a functor from the derived category of such bundles to the derived category of coherent sheaves on an elliptic curve and…

Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…

We recall P. Balmer's definition of tensor triangular Chow group for a tensor triangulated category $\mathcal{K}$ and explore some of its properties. We give a proof that for a suitably nice scheme $X$ it recovers the usual notion of Chow…

Let X be a manifold. The classification of all equivariant bilinear maps between tensor density modules over X has been investigated by Yu Grozman, who has provided a full classification for those which are differential operators. Here, we…

We give a proof of openness of versality using coherent functors. As an application, we streamline Artin's criterion for algebraicity of a stack. We also introduce multi-step obstruction theories, employing them to produce obstruction…

First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $\Sigma_g$ of genus $g\geq 2$, satisfying the condition that the image of…

Kazhdan and Lusztig identified the affine Hecke algebra $\mathcal{H}$ with an equivariant $K$-group of the Steinberg variety, and applied this to prove the Deligne-Langlands conjecture, i.e., the local Langlands parametrization of…

We classify which dual functors on a unitary multitensor category are compatible with the dagger structure in terms of groupoid homomorphisms from the universal grading groupoid to $\mathbb{R}_{>0}$ where the latter is considered as a…

For an arbitrary commutative ring k and t in k, we construct a 2-functor S_t which sends a tensor category to a new tensor category. By applying it to the representation category of a bialgebra we obtain a family of categories which…