Related papers: Local Rigidity and Six Functor Formalisms

We recall that diagonals of rational functions naturally occur in lattice statistical mechanics and enumerative combinatorics. We find that a seven-parameter rational function of three variables with a numerator equal to one (reciprocal of…

Framings provide a way to construct Quillen functors from simplicial sets to any given model category. A more structured set-up studies stable frames giving Quillen functors from spectra to stable model categories. We will investigate how…

We set up the geometric background necessary to extend rigid cohomology from the case of algebraic varieties to the case of general locally noetherian formal schemes. In particular, we generalize Berthelot's strong fibration theorem to adic…

If a closed orientable manifold (resp. rational Poincar\'e duality space) $X$ receives a map $Y \to X$ from a formal manifold (resp. space) $Y$ that hits a fundamental class, then $X$ is formal. The main technical ingredient in the proof…

We introduce a quite large class of functions (including the exponential function and the power functions with exponent greater than one), and show that for any element $f$ of this function class, a self-adjoint element $a$ of a…

The bicategory of parameterized spectra has a remarkably rich structure. In particular, it is possible to take traces in this bicategory, which give classical invariants that count fixed points. We can also take equivariant traces, which…

In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally…

We extend the category of (super)manifolds and their smooth mappings by introducing a notion of microformal or "thick" morphisms. They are formal canonical relations of a special form, constructed with the help of formal power expansions in…

In order to determine the dynamics of nonautonomous equations both their forward and pullback behavior need to be understood. For this reason we provide sufficient criteria for the existence of such attracting invariant sets in a general…

If a locally cartesian closed category carries a weak factorisation system, then the left maps are stable under pullback along right maps if and only if the right maps are closed under pushforward along right maps. We refer to this…

We call a tensor functor $F:\mathcal{C}\to\mathcal{D}$ between finite tensor categories $\otimes$-Frobenius if its left and right adjoints are isomorphic as $\mathcal{C}$-bimodule functors. We give several characterizations of this notion…

Relative theories(=closed subfunctors) are considered in exact, triangulated and extriangulated categories by Dr\"{a}xler-Reiten-Smal{\o}-Solberg-Keller, Beligiannis and Herschend-Liu-Nakaoka, respectively. We give a construction method of…

We deal with a family of functionals depending on curvatures and we prove for them compactness and semicontinuity properties in the class of closed and bounded sets which satisfy a uniform exterior and interior sphere condition. We apply…

We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature. More precisely, we…

Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become…

In this paper we call generalized lax epimorphism a functor defined on a ring with several objects, with values in an abelian AB5 category, for which the associated restriction functor is fully faithful. We characterize such a functor with…

The classical Liouville Theorem on conformal transformations determines local conformal transformations on the Euclidean space of dimension $\geq 3$. Its natural adaptation to the general framework of Riemannian structures is the 2-rigidity…

We establish several sufficient conditions under which a locally integrable function $f:\mathbb R^n \to \mathbb R$ represents a positive-definite distribution. In particular we consider functions of the form $f(\|x\|)$ where $\|\cdot\|$ is…

Containers capture the concept of strictly positive data types in programming. The original development of containers is done in the internal language of locally cartesian closed categories (LCCCs) with disjoint coproducts and W-types, and…

A generalization of exterior calculus is considered by allowing the partial derivatives in the exterior derivative to assume fractional orders. That is, a fractional exterior derivative is defined. This is found to generate new vector…