Related papers: Flops and spherical functors

For a cyclic group $G$ acting on a smooth variety $X$ with only one character occurring in the $G$-equivariant decomposition of the normal bundle of the fixed point locus, we study the derived categories of the orbifold $[X/G]$ and the…

The normalized singular chains of a path connected pointed space $X$ may be considered as a connected $E_{\infty}$-coalgebra $\mathbf{C}_*(X)$ with the property that the $0^{\text{th}}$ homology of its cobar construction, which is naturally…

Given an exact functor between triangulated categories which admits both adjoints and whose cotwist is either zero or an autoequivalence, we show how to associate a unique full triangulated subcategory of the codomain on which the functor…

We define a new perverse t-exact pullback operation on derived categories of constructible sheaves which generalizes most perverse t-exact functors in sheaf theory, such as microlocalization, the Fourier-Sato transform and vanishing cycles.…

This paper has been withdrawn and replaced by arXiv:1309.5035. In this paper we describe some examples of so called spherical functors between triangulated categories, which generalize the notion of a spherical object. We also give…

An E$_7$-Weierstrass model is conjectured to have eight distinct crepant resolutions whose flop diagram is a Dynkin diagram of type E$_8$. In previous work, we explicitly constructed four distinct resolutions, for which the flop diagram…

Let $\mathcal V$ be a discrete valuation ring of mixed characteristic with perfect residue field. Let $X$ be a geometrically connected smooth proper curve over $\mathcal V$. We introduce the notion of constructible convergent…

Contraherent cosheaves are globalizations of contraadjusted or cotorsion modules over commutative rings obtained by gluing together over a scheme, with the colocalization functors $\operatorname{Hom}_R(S,{-})$ used for the gluing (where $S$…

Let $R$ be a commutative Noetherian ring such that $X=Spec R$ is connected. We prove that the category $D^b(coh X)$ contains no proper full triangulated subcategories which are regular. We also bound from below the dimension of a regular…

We describe in terms of spherical twists the Serre functors of many interesting semiorthogonal components, called residual categories, of the derived categories of projective varieties. In particular, we show the residual categories of Fano…

We prove that any faithful Frobenius functor between abelian categories preserves the Gorenstein projective dimension of objects. Consequently, it preserves and reflects Gorenstein projective objects. We give conditions on when a Frobenius…

We prove that a large class of natural transformations (consisting roughly of those constructed via composition from the "functorial" or "base change" transformations) between two functors of the form $\cdots f^* g_* \cdots$ actually has…

For a normal projective variety $X$, the $\bf Q$-factoriality defect $\sigma(X)$ is defined to be the rank of the quotient of the group of Weil divisors by the subgroup of Cartier ones. We prove a slight improvement of a topological formula…

We study the geometric engineering of gauge theories with gauge group Spin(4) and SO(4) using crepant resolutions of Weierstrass models. The corresponding elliptic fibrations realize a collision of singularities corresponding to two fibers…

In this paper, given a semisimple algebraic group $\bf G$ of rank 2, we construct a special semiorthogonal decomposition in the derived category of coherent sheaves on the flag variety ${\bf G}/{\bf B}$. These decompositions are defined…

In this article the author endows the functor category [B(C2),Gpd] with the structure of a type-theoretic fibration category with a universe using the projective fibrations. It offers a new model of Martin-L\"of type theory with dependent…

Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In…

Let $\mathcal{X}$ be a resolving and contravariantly finite subcategory of $\rm{mod}\mbox{-}\Lambda$, the category of finitely generated right $\Lambda$-modules. We associate to $\mathcal{X}$ the subcategory…

We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally…

In this paper one considers three homotopy functors on the category of manifolds, $hH^\ast, cH^\ast, sH^\ast,$ and parallel them with other three homotopy functors on the category of connected commutative differential graded algebras,…