Related papers: Tannaka duality and 1-affineness

For a given Fourier-Mukai equivalence of bounded derived categories of coherent sheaves on smooth quasi-projective varieties, we construct Fourier-Mukai equivalences of derived factorization categories of gauged Landau-Ginzburg (LG) models.…

As already observed by Gabriel, coherent sheaves on schemes obtained by gluing affine open subsets can be described by a simple gluing construction. An example due to Ferrand shows that this fails in general for pushouts along closed…

We develop the theory of ind-geometric stacks, in particular their coherent and ind-coherent sheaf theory. This provides a convenient framework for working with equivariant sheaves on ind-schemes, especially in derived settings. Motivating…

Let $\mathscr{G}$ be a special parahoric group scheme of twisted type over the ring of formal power series over $\mathbb{C}$, excluding the absolutely special case of $A_{2\ell}^{(2)}$. Using the methods and results of Zhu, we prove a…

We study (pre-)sheaves in bicategories on geometric categories: smooth manifolds, manifolds with a Lie group action and Lie groupoids. We present three main results: we describe equivariant descent, we generalize the plus construction to…

We prove two theorems on the derived categories of toric varieties, the existence of an exceptional collection consisting of sheaves for a divisorial extraction and the finiteness of Fourier-Mukai partners.

We generalize Luna's fundamental lemma to smooth morphisms between stacks with good moduli spaces. We also give a precise condition for when it holds for non-smooth morphisms and versions for coherent sheaves and complexes. This generalizes…

We establish some properties of the derived category of torus-equivariant coherent sheaves on a split toric stack bundle. Our main result is a semi-orthogonal decomposition of such a category.

Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $\infty$-categories. In particular, we show that the unital structure of an $\infty$-category can be uniquely recovered from the underlying non-unital…

We use twisted Fourier-Mukai transforms to study the relation between an abelian fibration on a holomorphic symplectic manifold and its dual fibration. Our reasoning leads to an equivalence between the derived category of coherent sheaves…

We generalize the classical Tanaka result on the finiteness of symmetry algebra for non-degenerate pseudo-product structures to the case when the completely-integrable distributions defining the pseudo-product structure are no longer…

We establish the Subgradient Theorem for monotone correspondences -- a monotone correspondence is equal to the subdifferential of a potential if and only if it is conservative, i.e. its integral along a closed path vanishes irrespective of…

We establish a Tukia-type theorem for uniform quasiconformal groups of a Carnot group. More generally we establish a fiber bundle version (or foliated version) of Tukia theorem for uniform quasiconformal groups of a nilpotent Lie group…

We develop a valuation-theoretic framework for studying tangent cones of torsion-free sheaves on algebraic varieties. To analyze these objects, we introduce a slope stability theory, including the Harder-Narasimhan filtrations, for finitely…

We prove two completeness results for Kleene algebra with tests and a top element, with respect to guarded string languages and binary relations. While the equational theories of those two classes of models coincide over the signature of…

We prove a duality theorem for certain graded algebras and show by various examples different kinds of failure of tameness of local cohomology.

A weak bialgebra is known to be a special case of a bialgebroid. In this paper we study the relationship of this fact with the Tannaka theory of bialgebroids as developed in [4]. We obtain a Tannaka representation theorem with respect to a…

Given a suitable Noetherian scheme, we classify tensor $t$-structures on the bounded derived category of coherent sheaves and its variants with prescribed support. Furthermore, we show that the existence of such $t$-structures restricting…

We study two classes of morphisms in infinite type: tamely presented morphisms and morphisms with coherent pullback. These are generalizations of finitely presented morphisms and morphisms of finite Tor-dimension, respectively. The class of…

A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…