Related papers: Log Crepant Birational Maps and Derived Categories
We present a general construction of the derived category of an algebra over an operad and establish its invariance properties. A central role is played by the enveloping operad of an algebra over an operad.
Given a logic presented in a sequent calculus, a natural question is that of equivalence of proofs: to determine whether two given proofs are equated by any denotational semantics, ie any categorical interpretation of the logic compatible…
In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $Mod(C)$, from a skeletally small preadditive category $C$ to the category of abelian groups. We introduced the notion of a a…
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…
Let X be a smooth complete complex toric variety such that the boundary is a simple normal crossing divisor, and let E be a holomorphic vector bundle on X. We prove that E admits an equivariant structure if and only if E admits a…
We give the full classification of smooth toric Legendrian subvarieties in projective space. We also prove that under some minor assumptions the group of linear automorphisms preserving given Legendrian subvariety preserves the contact…
We develop the K-theory of sets with an action of a pointed monoid (or monoid scheme), analogous to the $K$-theory of modules over a ring (or scheme). In order to form localization sequences, we construct the quotient category of a nice…
We added an additional result (theorem 1.6) that strengthenns our main theorem in the G=GL-case by establishing an equivalence of tensor categories.
In the present article, we investigate a possibility of a real-valued map on the space of tuples of commuting trace-class self-adjoint operators, which behaves like the usual trace map on the space of trace-class linear operators. It turns…
We present a categorical model for intuitionistic linear logic where objects are polynomial diagrams and morphisms are simulation diagrams. The multiplicative structure (tensor product and its adjoint) can be defined in any locally…
We study toric varieties over an arbitrary field with an emphasis on toric surfaces in the Merkurjev-Panin motivic category of "K-motives". We explore the decomposition of certain toric varieties as K-motives into products of central simple…
We present news proofs of the additivity, resolution and cofinality theorems for the algebraic $K$-theory of exact categories. These proofs are entirely algebraic, based on Grayson's presentation of higher algebraic $K$-groups via binary…
It is known that the underlying spaces of all abelian quotient singularities which are embeddable as complete intersections of hypersurfaces in an affine space can be overall resolved by means of projective torus-equivariant crepant…
It is shown that a recollement of derived categories of algebras induces those of tensor product algebras and opposite algebras respectively, which is applied to clarify the relations between recollements of derived categories of algebras…
We prove a Generic Vanishing Theorem for coherent sheaves on an abelian variety over an algebraically closed field $k$. When $k=\CC$ this implies a conjecture of Green and Lazarsfeld.
We say that an exact equivalence between the derived categories of two algebraic varieties is tilting-type if it is constructed by using tilting bundles. The aim of this article is to understand the behavior of tilting-type equivalences for…
This paper contains some applications of Fourier-Mukai techniques to the birational geometry of threefolds. In particular, we prove that birational Calabi-Yau threefolds have equivalent derived categories. To do this we show how flops arise…
The paper is devoted to study some of the questions arises naturally in connection to the notion of relative derived categories. In particular, we study invariants of recollements involving relative derived categories, generalise two…
We contribute the first denotational semantics of polymorphic dependent type theory extended by an equational theory for general (higher-order) reference types and recursive types, based on a combination of guarded recursion and…
Using the local bijectivity of Keller maps, we give a proof of two-dimensional Jacobian conjecture.