Related papers: Six-Functor-Formalisms on Higher Stacks
We calculate explicit formulas for the general equivariant Bondal-Orlov functors on the localized K-theory groups for a crepant birational transformation of toric DM stacks. We recall some facts that the Bondal-Orlov functors give…
Jacobian conjectures (that nonsingular implies invertible) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The associated…
We lift Grothendieck-Verdier-Spaltenstein's six functor formalism for derived categories of sheaves on ringed spaces over a field to differential graded enhancements. Our main tools come from enriched model category theory.
We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by…
The major improvement in this paper is that we can extend the functor $(-)^!$ of Grothendieck duality to the unbounded derived category of sufficiently nice algebraic stacks. The original motivation came from formulas discovered by Avramov…
We establish a form of 2-adjunction (tentatively termed the *fundamental 2-adjunction*), building on the fundamental adjunction proposed by Olivia Caramello and Riccardo Zanfa, which provides a constructive method for the associated stack…
In this article, we derive many properties of \'etale stacks in various contexts, and prove that \'etale stacks may be characterized categorically as those stacks that arise as prolongations of stacks on a site of spaces and local…
Given a liftable smooth proper variety over $\mathbb{F}_p$, we construct the moduli stacks of crystals and isocrystals on it. We show that the former is a formal algebraic stack over $\mathbb{Z}_p$ and the latter is an adic stack -- Artin…
Applying the new theory of analytic stacks of Clausen and Scholze we introduce a general notion of derived Tate adic spaces. We use this formalism to define the analytic de Rham stack in rigid geometry, extending the theory of…
We offer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that we are able to justify by reducing to the…
We give a geometric formulation of To\"en's derived Hall algebra by constructing Grothendieck's six operations for the derived category of lisse-\'etale constructible sheaves on the derived stacks of complexes. Our formulation is based on…
We define triangulated factorization systems on triangulated categories, and prove that a suitable subclass thereof (the normal triangulated torsion theories) corresponds bijectively to $t$-structures on the same category. This result is…
Finiteness and duality of cohomology of families of $(\varphi,\Gamma)$-modules were proved by Kedlaya-Pottharst-Xiao. In this paper, we study solid locally analytic representations introduced by Rodrigues Jacinto-Rodr\'iguez Camargo in…
In the article a technique of the usage of $f$-continuous functions (on mappings) and their families is developed. A proof of the Urysohn's Lemma for mappings is presented and a variant of the Brouwer-Tietze-Urysohn Extension Theorem for…
In this paper, we generally describe a method of taking an abstract six functors formalism in the sense of Khan or Cisinski-D\'{e}glise, and outputting a derived motivic measure in the sense of Campbell-Wolfson-Zakharevich. In particular,…
We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…
We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need…
It has been common wisdom among mathematicians that Extended Topological Field Theory in dimensions higher than two is naturally formulated in terms of n-categories with n> 1. Recently the physical meaning of these higher categorical…
A theory of dg schemes is developed so that it becomes a homotopy site, and the corresponding infinity category of stacks is equivalent to the infinity category of stacks, as constructed by Toen and Vezzosi, on the site of dg algebras whose…
In this paper we will see deductive systems for classical propositional and predicate logic in the calculus of structures. Like sequent systems, they have a cut rule which is admissible. In addition, they enjoy a top-down symmetry and some…