Related papers: Pushouts of categories, derived limits and colimit…

Prolongations of a group extension can be studied in a more general situation that we call group extensions of the co-type of a crossed module. Cohomology classification of such extensions is obtained by applying the obstruction theory of…

Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close…

We establish a necessary and sufficient condition for an action of a lattice by homeomorphisms of the circle to extend continuously to the ambient locally compact group. This condition is expressed in terms of the real bounded Euler class…

We characterize the class of homotopy pull-back squares by means of elementary closure properties. The so called Puppe theorem which identifies the homotopy fiber of certain maps constructed as homotopy colimits is a straightforward…

We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…

We develop the theory of (op)fibrations of 2-multicategories and use it to define abstract six-functor-formalisms. We also give axioms for Wirthm\"uller and Grothendieck formalisms (where either $f^!=f^*$ or $f_!=f_*$) or intermediate…

We study the equivariant category associated to a finite group action on the derived category of coherent sheaves of a smooth projective variety. We discuss decompositions of the equivariant category and faithful actions, prove the…

We study the sum of additively twisted Fourier coefficients of a symmetric-square lift of a Maass form invariant under the full modular group. Our bounds are uniform in terms of the spectral parameter of the Maass form, as well as in terms…

We propose a recursive definition of V-n-categories and their morphisms. We show that for V k-fold monoidal the structure of a (k-n)-fold monoidal strict (n+1)-category is possessed by V-n-Cat. This article is a completion of the work begun…

We study sums of additively twisted Fourier coefficients of a holomorphic cusp form, a Maass cusp form, and the symmetric-square lift of a holomorphic cusp form. We obtain bounds that are uniform with respect to both the form and the terms…

We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Fr\"olicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that…

Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C.…

We define compactifications of vector spaces which are functorial with respect to certain linear maps. These "many-body" compactifications are manifolds with corners, and the linear maps lift to b-maps in the sense of Melrose. We derive a…

The quotient of a triangulated category modulo a subcategory was defined by Verdier. Motivated by the failure of the telescope conjecture, we introduce a new type of quotients for any triangulated category which generalizes Verdier's…

In this study, internal categories in the category of the crossed modules are characterized and it has been shown that there is a natural equivalence between the category of the crossed modules over crossed modules, i.e. crossed squares,…

We discuss globalization for geometric partial comodules in a monoidal category with pushouts and we provide a concrete procedure to construct it, whenever it exists. The mild assumptions required by our approach make it possible to apply…

Inspired by the homological mirror symmetry conjecture of Kontsevich, we construct new classes of automorphisms of the bounded derived category of coherent sheaves on a smooth Calabi-Yau variety.

We study the problem of existence of pushouts in the category of algebraic sets over an infinite field. This problem can be reduced to asking whether the property of being a finitely generated algebra over a field, or a Noetherian ring in…

Motivated by the study of meromorphic vector fields, a model theory of "compact complex manifolds equipped with a generic derivation" is here proposed. This is made precise by the notion of a differential CCM-structure. A first-order…

For a linear subvariety $M$ of a stratum of meromorphic differentials, we investigate its closure in the multi-scale compactification constructed by Bainbridge-Chen-Gendron-Grushevsky-M\"oller. We prove various restrictions on the type of…