Related papers: Filtered fiber functors over a general base

The principal aim of this note is to give an elementary proof of the fact that any two fiber functors of a Tannakian category are locally isomorphic. This builds on an idea of Deligne concerning scalar extensions of Tannakian categories and…

We study representations of the double affine Lie algebra associated to a simple Lie algebra. We construct a family of indecomposable integrable representations and identify their irreducible quotients. We also give a condition for the…

Given a category fibered in groupoids over schemes with a log structure, one produces a category fibered in groupoids over log schemes. We classify the groupoid fibrations over log schemes that arise in this manner in terms of a categorical…

We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups $Ab$, and whose source category is an arbitrary category $\C$ with null object such that all objects are colimits of copies of a…

We assume that the existence and termination conjecture for flips holds. A complex projective manifold is said to be {\it of almost general type} if the intersection number of the canonical divisor with every very general curve is strictly…

We prove a "Generic Equivalence Theorem which says that two affine morphisms $p: S \to Y$ and $q: T \to Y$ of varieties with isomorphic (closed) fibers become isomorphic under a dominant etale base change $\phi: U \to Y$. A special case is…

A differential modality is a comonad on an additive symmetric monoidal category $(\mathsf{C},\otimes,I)$, whose underlying functor we denote $!\colon\mathsf{C} \rightarrow \mathsf{C}$, together with some additional structure including a…

Let $A\to C$ be a proper surjective morphism from a smooth connected quasi-projective commutative group scheme of dimension 2 to a smooth curve. The construction of generalized Kummer varieties gives a proper morphism $A^{[[n]]}\to…

In this paper we study definable families of functions from an ordered abelian group into various naturally arising definable quotients. We show that for an ordered abelian group $G$ and definable family of convex subgroups…

In this note we prove that every non characteristically filiform Lie algebra is endowed with an affine structure.

We prove that every slim double Lie groupoid with proper core action is completely determined by a factorization of a certain canonically defined "diagonal" Lie groupoid.

We prove that smooth, separated Deligne--Mumford stacks in mixed characteristic with quasi-projective coarse moduli space are global quotient stacks and satisfy the resolution property. This builds on work of Kresch and Vistoli and of…

We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive…

We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…

By the work of Hernandez-Leclerc, Leclerc-Plamondon, and Keller-Scherotzke, affine graded Nakajima quiver varieties associated with a Dynkin quiver $Q$ admit an algebraic description in terms of modules over the singular Nakajima category…

For flat proper families of algebraic varieties with a smooth fiber, we describe the abelian category of coherent sheaves on the generic fiber as a Serre quotient. As an application, we prove specialization of derived equivalence. As…

We present a general setting where wavelet filters and multiresolution decompositions can be defined, beyond the classical $\mathbf L^2(\mathbb R,dx)$ setting. This is done in a framework of {\em iterated function system} (IFS) measures;…

For every fibration $f : X \to B$ with $X$ a compact K\"ahler manifold, $B$ a smooth projective curve, and a general fiber of $f$ an abelian variety, we prove that $f$ has an algebraic approximation.

We extend Goodwillie's classification of finitary linear functors to arbitrary small functors. That is we show that every small linear simplicial functor from spectra to simplicial sets is weakly equivalent to a filtered colimit of…

We propose a construction of affine space (or "polynomial rings") over a triangulated category, in the context of stable derivators.