Related papers: Six-Functor-Formalisms on Higher Stacks
We generalize several known results on small Simpson correspondence for smooth formal schemes over $\calO_C$ to the case for semi-stable formal schemes. More precisely, for a liftable semi-stable formal scheme $\frakX$ over $\calO_C$ with…
We prove that an algebraic stack with affine stabilizers over an arbitrary base is \'etale-locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors of this article (stacks…
Fedorchuk's fully closed (continuous) maps and resolutions are applied in constructions of non-metrizable higher-dimensional analogues of Anderson, Choquet, and Cook's continua. Certain theorems on dimension-lowering maps are proved for…
In this work derivations of definite integrals listed in Prudnikov volume I, Gradshteyn and Ryzhik and a few other tables are produced. Special cases of these integrals in terms of fundamental constants are also evaluated. The method used…
We extend the usual internal logic of a (pre)topos to a more general interpretation, called the stack semantics, which allows for "unbounded" quantifiers ranging over the class of objects of the topos. Using well-founded relations inside…
A.Chigogidze defined for each normal functor on the category Comp an extension which is a normal functor on the category Tych. We consider this extension for any functor on the category Comp and investigate which properties it preserves…
We introduce a category of extended complex manifolds, and prove that the functor describing deformations of a classical compact complex manifold $M$ within this category is versally representable by (an analytic subspace in) $H^*(M,T_M)$.…
In the setting of symplectic manifolds which are convex at infinity, we use a version of the Aleksandrov maximum principle to derive uniform estimates for Floer solutions that are valid for a wider class of Hamiltonians and almost complex…
We prove a root stack valuative criterion for good moduli space maps and for gerbes for reductive groups under some mild assumptions on the residue characteristic. We give several applications to parahoric extension for torsors, rational…
Expansions of abelian categories are introduced. These are certain functors between abelian categories and provide a tool for induction/reduction arguments. Expansions arise naturally in the study of coherent sheaves on weighted projective…
We develop a theory of toric Artin stacks extending the theories of toric Deligne-Mumford stacks developed by Borisov-Chen-Smith, Fantechi-Mann-Nironi, and Iwanari. We also generalize the Chevalley-Shephard-Todd theorem to the case of…
We describe derived moduli functors for a range of problems involving schemes and quasi-coherent sheaves, and give cohomological conditions for them to be representable by derived geometric n-stacks. Examples of problems represented by…
We study ample stable vector bundles on minimal rational surfaces. We give a complete classification of those moduli spaces for which the general stable bundle is both ample and globally generated. We also prove that if $V$ is any stable…
The first part of this paper deals with the topic of finding equivalent norms and characterizations for vector-valued Besov and Triebel-Lizorkin spaces. We will deduce general criteria by transferring and extending a theorem of Bui,…
We develop the theory of recollements in a stable $\infty$-categorical setting. In the axiomatization of Beilinson, Bernstein and Deligne, recollement situations provide a generalization of Grothendieck's "six functors" between derived…
In this note, we discuss several aspects of the functoriality of universal abelian factorizations associated to representations of quivers into abelian categories. After recalling the general construction of universal abelian…
A canonical formalism for higher-derivative theories is presented on the basis of Dirac's method for constrained systems. It is shown that this formalism shares a path integral expression with Ostrogradski's canonical formalism.
It is shown how the well-known class of bihamiltonian structures in general position can be extended to a wider class. A generalization of the corresponding notion of a Veronese web for this wider class is presented (in the general position…
We show that, under appropriate hypothesis, the groupoid of maps from S to an an algebraic stack X can be identified with a category of tensor functors from coherent sheaves on X to coherent sheaves on S. As an application, we show that if…
In this paper, we consider abelian functor calculus, the calculus of functors of abelian categories established by the second author and McCarthy. We carefully construct a category of abelian categories and suitably homotopically defined…