Related papers: Filtered fiber functors over a general base
We prove that if a group scheme of multiplicative type acts on an algebraic stack with affine, finitely presented diagonal then the stack of fixed points is algebraic. For this, we extend two theorems of [SGA3.2] on functors of subgroups of…
We give a complete classification, up to birational equivalence, of all fibrations by plane projective rational quartic curves in characteristic two.
We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat…
We present the notion of a filtered bundle as a generalisation of a graded bundle. In particular, we weaken the necessity of the transformation laws for local coordinates to exactly respect the weight of the coordinates by allowing more…
We construct a fundamental theory of the derived category of non-finite bi-filtered complexes.
We show that the (2-)category of categorical representations of the loop group embeds fully faithfully into the (2-)category of factorization module categories with respect to the affine Grassmannian.
We give a universal construction of a derived affine group scheme and its representation category from a symmetric monoidal infinity-category, which we shall call the tannnakization of a symmetric monoidal infinity-category. This can be…
The fundamental group of a smooth projective variety is fibered if it maps onto the fundamental group of smooth curve of genus 2 or more. The goal of this paper is to establish some strong restrictions on these groups, and in particular on…
The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods…
We introduce ``sheafification'' functors from categories of (lax monoidal) linear functors to categories of quasi-coherent sheaves (of algebras) of stacks. They generalize the homogeneous sheafification of graded modules for projective…
We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces…
We study projective completions of affine algebraic varieties induced by filtrations on their coordinate rings. In particular, we study the effect of the 'multiplicative' property of filtrations on the corresponding completions and…
We classify the filtered modules with coefficients corresponding to two-dimensional potentially semi-stable $p$-adic representations of the absolute Galois groups of $p$-adic fields under the assumptions that $p$ is odd and the coefficients…
Given a projective family of semi-stable curves over a complete discrete valuation ring of characteristic p with algebraically closed residue field, we construct a specialization functor between the category of continuous representations of…
Let $f: (X,D) \to B$ be a stably family with log canonical general fiber. We prove that, after a birational modification of the base $\tilde{B} \to B$, there is a morphism from a high fibered power of the family to a pair of log general…
We give an account, in terms of fibered categories and their fibrewise duals, of aspects of the theory of bundle functors and star-bundle functors in differential geometry.
We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction…
We prove a universal property for $\infty$-categories of spans in the generality of Barwick's adequate triples, explicitly describe the cocartesian fibration corresponding to the span functor, and show that the latter restricts to a…
In this paper we generalize Tannakian formalism to fiber functors over general tensor categories. We will show that (under some technical conditions) if the fiber functor has a section, then the source category is equivalent to the category…
The goal of this paper is to relate the quantum category $\mathcal{O}$ (known also as the category of modules over the mixed quantum group) at an odd root of unity to the affine Hecke category. Namely, we prove equivalences of highest…