Related papers: Six-Functor-Formalisms on Higher Stacks

Let $\mathbb{F}$ be a field of characteristic $\neq 2$ and $3$, let $V$ be a $\mathbb{F}$-vector space of dimension $6$, and let $\Omega \in \wedge ^2V^\ast $ be a non-degenerate form. A system of generators for polynomial invariant…

We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent…

In this paper we show that it is possible to define a topology on the category of formal schemes over a ring of $p$-adic integers such that the left adjoint of the Greenberg Transform is a site cocontinuous functor when we equip the…

We study definably complete locally o-minimal expansions of ordered groups in this paper. A definable continuous function defined on a closed, bounded and definable set behave like a continuous function on a compact set. We demonstrate…

We now have a wide range of proof assistants available for compositional reasoning in monoidal or higher categories which are free on some generating signature. However, none of these allow us to represent categorical operations such as…

Let $X$ be a scheme. In this text, we extend the known definitions of a topology on the set $X(R)$ of $R$-rational points from topological fields, local rings and ad\`ele rings to any ring $R$ with a topology. This definition is functorial…

In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…

In this article we extend evaluations of the Kauffman bracket on regular isotopy classes of knots and links to a variety of functors defined on the category of framed tangles. We show that many such functors exist, and that they correspond…

We give an abstract criterion for pasting pseudofunctors on two subcategories of a category into a pseudofunctor on the whole category. As an application we extend the variance theory of the twisted inverse image $(-)^!$ over schemes to…

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…

We develop the foundations of higher geometric stacks in complex analytic geometry and in non-archimedean analytic geometry. We study coherent sheaves and prove the analog of Grauert's theorem for derived direct images under proper…

We show that a formal Deligne--Mumford stack is formal-locally represented by a formal scheme. This is an analogue of Frobenius theorem for smooth foliations in any characteristic and without smoothness hypotheses on the ambient space.

Motivated by applications in moduli theory, we introduce a flexible and powerful language for expressing lower bounds on relative dimension of morphisms of schemes, and more generally of algebraic stacks. We show that the theory is robust…

It is an open problem whether one can always extend an absolutely continuous function (in the sense of Ashton and Doust) on a compact subset of the plane to a larger compact set. In this paper we show that this can be done for a large…

Let Spec(A) be an affine derived stack. We give two proofs of the existence of a canonical map from the moduli space of shifted Poisson structures (in the sense of Pantev-To\"en-Vaqui\'e-Vezzosi, see http://arxiv.org/abs/1111.3209 ) on…

For a given category C and a topological space X, the constant stack on X with stalk C is the stack of locally constant sheaves with values in C. Its global objects are classified by their monodromy, a functor from the Poincare groupoid of…

Using Mackey functors, we provide a general framework for classifying torsors of algebraic tori in terms of Brauer groups of finite field extensions of the base field. This generalizes Blunk's description of the tori associated to del Pezzo…

We construct Markov partitions for non-invertible and/or singular nonuniformly hyperbolic systems defined on higher dimensional Riemannian manifolds. The generality of the setup covers classical examples not treated so far, such as geodesic…

We consider certain universal functors on symmetric quotient stacks of Abelian varieties. In dimension two, we discover a family of $\mathbb{P}$-functors which induce new derived autoequivalences of Hilbert schemes of points on Abelian…

Using functional equations, we define functors that generalize standard examples from calculus of one variable. Examples of such functors are discussed and their Taylor towers are computed. We also show that these functors factor through…