English
Related papers

Related papers: Flops and spherical functors

200 papers

For a flat morphism $\pi \colon X \to T$ between smooth quasi-projective varieties and its fiber $X_0$, we prove that spherical objects on $D^b(X)$ pushed-forward from $D^b(X_0)$ induce autoequivalences of $D^b(X_0)$ itself. Our…

Algebraic Geometry · Mathematics 2025-05-26 Hayato Arai

The main objective of the present paper is to present a version of the Tannaka-Krein type reconstruction Theorems: If $F:B\to C$ is an exact faithful monoidal functor of tensor categories, one would like to realize $B$ as category of…

Quantum Algebra · Mathematics 2024-06-05 Simon Lentner , Martín Mombelli

A version of the Bondal-Orlov conjecture, proved by Bridgeland, states that if $X$ and $Y$ are smooth complex projective threefolds linked by a flop, then they are derived equivalent. Van den Bergh gave a new proof of Bridgeland's theorem…

Algebraic Geometry · Mathematics 2019-11-22 Matt Booth

Given a relatively projective birational morphism $f\colon X\to Y$ of smooth algebraic spaces with dimension of fibers bounded by 1, we construct tilting relative (over $Y$) generators $T_{X,f}$ and $S_{X,f}$ in $\mathcal{D}^b(X)$. We…

Algebraic Geometry · Mathematics 2017-09-19 Agnieszka Bodzenta , Alexey Bondal

Let $\mathcal{G}$ be a Grothendieck category. We prove completeness of the Gorenstein injective cotorsion pair whenever $\mathcal{G}$ admits a set of Tate trivial generators, and show that having such generators is necessary for…

Category Theory · Mathematics 2026-05-05 Sergio Estrada , James Gillespie

In the 2000s, Sadofsky constructed a spectral sequence which converges to the mod $p$ homology groups of a homotopy limit of a sequence of spectra. The input for this spectral sequence is the derived functors of sequential limit in the…

Algebraic Topology · Mathematics 2023-11-23 A. Salch

We generalize a result of Orlov and Van den Bergh on the representability of a cohomological functor from the bounded derived category of a smooth projective variety over a field to the category of L-modules, to the case where L is a field…

Algebraic Geometry · Mathematics 2014-02-20 Alice Rizzardo

We study unitary pseudonatural transformations (UPTs) between fibre functors Rep(G) -> Hilb, where G is a compact quantum group. For fibre functors F_1, F_2 we show that the category of UPTs F_1 -> F_2 and modifications is isomorphic to the…

Quantum Algebra · Mathematics 2022-01-13 Dominic Verdon

Assume that abelian categories $A, B$ over a field admit countable direct limits and that these limits are exact. Let $F: D^+_{dg}(A) --> D^+_{dg}(B)$ be a DG quasi-functor such that the functor $Ho(F): D^+(A) \to D^+(B)$ carries $D^{\geq…

K-Theory and Homology · Mathematics 2011-01-06 Vadim Vologodsky

Given a contraction of a variety X to a base Y, we enhance the locus in Y over which the contraction is not an isomorphism with a certain sheaf of noncommutative rings D, under mild assumptions which hold in the case of (1) crepant partial…

Algebraic Geometry · Mathematics 2018-11-28 Will Donovan , Michael Wemyss

The preprints arXiv:math/0610728 and arXiv:math/0612451 are withdrawn due to a problem with Theorem 2.2 in arXiv:math/0610728. The theorem claims that for certain triangulated categories with finitely many indecomposable objects, the…

Representation Theory · Mathematics 2010-02-19 Thorsten Holm , Peter Jorgensen

We consider certain universal functors on symmetric quotient stacks of Abelian varieties. In dimension two, we discover a family of $\mathbb{P}$-functors which induce new derived autoequivalences of Hilbert schemes of points on Abelian…

Algebraic Geometry · Mathematics 2022-01-04 Andreas Krug , Ciaran Meachan

Let ${\mathcal E}$ be a Frobenius category, ${\mathcal P}$ its subcategory of projective objects and $F:{\mathcal E} \to {\mathcal E}$ an exact automorphism. We prove that there is a fully faithful functor from the orbit category ${\mathcal…

Representation Theory · Mathematics 2015-09-23 Alfredo Nájera Chávez

Owing to the difference in $K$-theory, an example by Dugger and Shipley implies that the equivalence of stable categories of Gorenstein projective modules should not be a Quillen equivalence. We give a sufficient and necessary condition for…

K-Theory and Homology · Mathematics 2022-10-03 Wei Ren

For a subanalytic Legendrian $\Lambda \subseteq S^{*}M$, we prove that when $\Lambda$ is either swappable or a full Legendrian stop, the microlocalization at infinity $m_\Lambda: \operatorname{Sh}_\Lambda(M) \rightarrow \operatorname{\mu…

Symplectic Geometry · Mathematics 2024-05-27 Christopher Kuo , Wenyuan Li

Perverse schobers are categorical analogs of perverse sheaves. Examples arise from varieties admitting flops, determined by diagrams of derived categories of coherent sheaves associated to the flop: in this paper we construct mirror…

Algebraic Geometry · Mathematics 2019-03-28 W. Donovan , T. Kuwagaki

We show that the inverse Serre functor for the constructible derived category $\mathbf{D}^\mathrm{b}_\mathrm{c}(\mathbb{P}^n)$ is given by the $\mathbb{P}$-twist at the simple perverse sheaf corresponding to the open stratum. Moreover, we…

Representation Theory · Mathematics 2025-06-09 Lukas Bonfert , Alessio Cipriani

Motivated by duality phenomena for derived global sections on derived local systems on compact oriented manifolds, we introduce the notion of a $d$-duality context between symmetric monoidal enriched categories. In this setting, the right…

Category Theory · Mathematics 2026-04-02 Valerio Melani , Hugo Pourcelot

Let X and Y be two smooth Deligne-Mumford stacks and consider a function f, resp. g, on X, resp. Y. Assume that there exists a complex F of sheaves on the fiber product of X and Y over A^1 (induced by f and g), such that the Fourier-Mukai…

Algebraic Geometry · Mathematics 2009-07-28 Vladimir Baranovsky , Jeremy Pecharich

Given a torsion pair $(\mathcal{T},\mathcal{F})$ in an abelian category $\mathcal{A}$ and its Happel-Reiten-Smal{\o} tilt $\mathcal{B}$, the equivalence of the realization functor $D^b({\mathcal B})\to D^b({\mathcal A})$ is determined by…

Representation Theory · Mathematics 2025-10-24 Zhe Han , Ping He