Related papers: Local Rigidity and Six Functor Formalisms

In this paper, we study a local rigidity property of $\mathbb Z \ltimes_\lambda \mathbb R$ affine action on tori generated by an irreducible toral automorphism and a linear flow along an eigenspace. Such an action exhibits a weak version of…

We consider order preserving $C^3$ circle maps with a flat piece, Fibonacci rotation number, critical exponents $(\ell_1, \ell_2)$ and negative shwarzian derivative. This paper treat the geometry characteristic of the non-wondering (cantor…

State monads in cartesian closed categories are those defined by the familiar adjunction between product and exponential. We investigate the structure of their algebras, and show that the exponential functor is monadic provided the base…

This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modeled as coalgebras with a finitely generated carrier for an endofunctor on a locally…

For a localization of a smooth proper category along a subcategory preserved by the Serre functor, we show that morphisms in Efimov's algebraizable categorical formal punctured neighborhood of infinity can be computed using the natural cone…

We prove that, if $n\geq 3$, a singular foliation $\mathcal{F}$ on $\mathbb P^n$ which can be written as pull-back, where $\mathcal{G}$ is a foliation in $ {\mathbb P^2}$ of degree $d\geq2$ with one or three invariant lines in general…

The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…

Let $\mathcal{T}$ be a Krull-Schmidt, Hom-finite triangulated category with suspension functor $[1]$. Let $R$ be a basic rigid object, $\Gamma$ the endomorphism algebra of $R$, and $\operatorname{\mathsf{pr}}(R)\subseteq \mathcal{T}$ the…

The fundamental construction underlying descent theory, the lax descent category, comes with a functor that forgets the descent data. We prove that, in any $2$-category $\mathfrak{A} $ with lax descent objects, the forgetful morphisms…

We study locally presentable categories equipped with a cofibrantly generated weak factorization system. Our main result is that these categories are closed under 2-limits, in particular under pseudopullbacks. We give applications to…

We define the notion of a specialization morphism from a locally noetherian analytic adic space to a scheme. This captures the (classical) specialization morphism associated to a formal scheme. There is a well behaved theory of…

Let $X$ be a fixed projective scheme which is flat over a base scheme $S$. The association taking a quasi-projective $S$-scheme $Y$ to the scheme parametrizing $S$-morphisms from $X$ to $Y$ is functorial. We prove that this functor…

We construct the $\mathbb{A}^1$-local stable motivic homotopy categories of fs log schemes. For schemes with the trivial log structure, our construction is equivalent to the original construction of Morel-Voevodsky. We prove the…

This work deals with the conformal transformations in six-dimensional spinorial formalism. Several conformally invariant equations are obtained and their geometrical interpretation are worked out. Finally, the integrability conditions for…

Given a complete and (locally) cartesian closed category U, it is shown that the category of functors from the category of Weil algebras to the category U is (locally, resp.) cartesian closed. The corresponding axiomatization for…

We study the multifractal analysis of a class of equicontractive, self-similar measures of finite type, whose support is an interval. Finite type is a property weaker than the open set condition, but stronger than the weak open set…

We study locally constant coefficients. We first study the theory of homotopy Kan extensions with locally constant coefficients in model categories, and explain how it characterizes the homotopy theory of small categories. We explain how to…

We establish the motivic six-functor formalism for fs log schemes. In particular, we prove the exact base change property, projection formula, and Poincar\'e duality. We also define Borel-Moore motivic homology, G-theory, and Chow homology…

We define a unified categorical framework for studying six subproblems arising from the classical Four Subspace Problem. For each subproblem, we construct a functor from its associated category to the category of representations of the…

In this paper we show that forcings which are strongly proper for stationarily many countable elementary submodels preserve each of the following properties of topological spaces: countably tight; Lindel\"of; Rothberger; Menger; and a…