Related papers: The Sebastiani-Thom Isomorphism in the Derived Cat…
Comparing the bounded derived categories of an algebra and of the endomorphism algebra of a given support {\tau}-tilting module, we find a relation between the derived dimensions of an algebra and of the endomorphism algebra of a given…
In the context of infinity categories, we rethink the notion of derived functor in terms of correspondences. This is especially convenient for the description of a passage from an adjoint pair (F,G) of functors to a derived adjoint pair…
A new continuity for set-valued functions is introduced, and an existence theorem is proved for such continuous set-valued functions.
We study sums of arithmetic functions, defined on Gaussian integers and taken over those pairs of integers whose coordinates give rise to a singular system.
For regular local ring, the ``second vanishing theorem'' or ``SVT'' of local cohomology has been proved in several cases. In this paper, we explore the result similar to that of the SVT to Stanley-Reisner ring with an interpretation from…
We prove two theorems on the derived categories of toric varieties, the existence of an exceptional collection consisting of sheaves for a divisorial extraction and the finiteness of Fourier-Mukai partners.
We show that for the path algebra $A$ of an acyclic quiver, the singularity category of the derived category $\mathsf{D}^{\rm b}(\mathsf{mod}\,A)$ is triangle equivalent to the derived category of the functor category of…
We prove that any derived equivalence between derived-discrete algebras of finite global dimension is standard, that is, isomorphic to the derived tensor functor by a two-sided tilting complex.
The vanishing phase space generator of the full four-dimensional diffeomorphism-related symmetry group in the context of the Barbero-Immirzi-Holst Lagrangian is derived directly for the first time from Noether's second theorem. Its…
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order -- the extensional order -- and a bistable coherence, which captures…
Let $\mathbb{T}$ be the unit circle and $\Gamma\setminus G$ the 3-dimensional Heisenberg nilmanifold. We prove that the M\"obius function is linearly disjoint from a class of distal skew products on $\mathbb{T}\times\Gamma\setminus G$.…
The so called theory of derived D-modules is an extension of classical D-modules to derived algebraic geometry, which uses the derived information of the base scheme. We prove that the three different definitions of derived D-modules, given…
We extend the classical Lebesgue and Fubini differentiation theorems to functions of several variables, using the notions of joint derivative and joint monotonicity. Our first main result shows that for a function $f$ of bounded variation,…
We obtain some fundamental results, as Bokstedt-Neeman Theorem and Grothendieck duality, about the derived category of modules on a finite ringed space. Then we see how these results are transfered to schemes in a simple way and generalized…
Two approximations of the integral of a class of sinusoidal composite functions, for which an explicit form does not exist, are derived. Numerical experiments show that the proposed approximations yield an error that does not depend on the…
For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
Any permutation has a disjoint cycle decomposition and concept generates an equivalence class on the symmetry group called the cycle-type. The main focus of this work is on permutations of restricted cycle-types, with particular emphasis on…
In this contribution we establish a dictionary between terms in two different areas in order to show that many of the topics studied are common ones - just with a different terminology. We further analyze the relations between the…
The characteristic cycle of a complex of sheaves on a complex analytic space provides weak information about the complex; essentially, it yields the Euler characteristics of the hypercohomology of normal data to strata. We show how perverse…