Related papers: Supports for constructible systems
Recollements of triangulated categories may be seen as exact sequences of such categories. Iterated recollements of triangulated categories are analogues of geometric or topological stratifications and of composition series of algebraic…
In [arXiv:2109.13991], the author explained a relation between enhanced ind-sheaves and enhanced subanalytic sheaves. In this paper, we shall define C-constructability for enhanced subanalytic sheaves which was announced in…
We introduce and study several homological notions which generalise the discrete derived categories of D. Vossieck. As an application, we show that Vossieck discrete algebras have this property with respect to all bounded t-structures. We…
These are expanded notes from some talks given during the fall 2002, about ``homotopical algebraic geometry'' (HAG) with special emphasis on its applications to ``derived algebraic geometry'' (DAG) and ``derived deformation theory''. We use…
Holm (H. Holm, Modules with cosupport and injective functors, Algebr. Represent. Theor., 13 (2010), 543-560) considers categories of right modules dual to those with support in a set of finitely presented modules. We extend some of his…
With a basic knowledge of cohomology theory, the background necessary to understand Hodge theory and polarization, Deligne's Mixed Hodge Structure on cohomology of complex algebraic varieties is described.
We introduce mixed twistor $D$-modules, and establish the fundamental functorial property. We also prove that they are described as the gluing of admissible variations of mixed twistor structure. In a sense, mixed twistor $D$-modules could…
We provide a framework to triangulate subfactor categories of additive categories with additive endofunctors. It is proved that such a framework is sufficiently flexible to cover many instances in algebra and geometry where abelian, exact…
We propose a geometric and categorical approach to the Hodge Conjecture for all smooth projective complex varieties. By embedding any such variety into a flat family with general fibers smooth complete intersections, we prove the conjecture…
Let $A$ be a graded algebra. It is shown that the derived category of dg modules over $A$ (viewed as a dg algebra with trivial differential) is a triangulated hull of a certain orbit category of the derived category of graded $A$-modules.…
We introduce a notion of constructibility for \'etale sheaves with torsion coefficients over a suitable class of adic spaces. This notion is related to the classical notion of constructibility for schemes via the nearby cycles functor. We…
This paper presents preliminary work on a general system for integrating dependent types into substructural type systems such as linear logic and linear type theory. Prior work on this front has generally managed to deliver type systems…
These are the lecture notes based on earlier papers with some additional new results. New and simple proofs are given for local freeness theorem and the semipositivity theorem. A decomposition theorem for higher direct images of dualizing…
Let $\mathcal{S}$ be a small category admitting binary products. We show that the whole theory of monoidal $\mathcal{S}$-fibered categories, which is customarily formulated in terms of the usual internal tensor product, can be rephrased…
We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ''conformal vertex algebra'' or even more generally,…
We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…
We obtain a linear algebra data presentation of the category of constructible with respect to perverse triangulation sheaves on a finite simplicial complex. We also establish Koszul duality between the above mentioned category and the…
We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ``conformal vertex algebra'' or even more generally,…
We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional…
We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that…