Showing 1–11 of 11 results for author: Meachan, C

Frobenius and spherical codomains and neighbourhoods

Authors: Andreas Hochenegger, Ciaran Meachan

Abstract: 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 becomes either Frobenius or spherical, respectively. We illustrate our construction with examples coming from projective bundles and smooth blowups. This work ge… ▽ More 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 becomes either Frobenius or spherical, respectively. We illustrate our construction with examples coming from projective bundles and smooth blowups. This work generalises results about spherical subcategories obtained by Martin Kalck, David Ploog and the first author. △ Less

Submitted 7 July, 2020; v1 submitted 14 January, 2020; originally announced January 2020.

Comments: 40 pages, same content as published version

MSC Class: 18A40; 18E30; 14F05; 16E35

Journal ref: Documenta Mathematica 25, 483-525, 2020

Hochschild cohomology and deformations of $\mathbb{P}$-functors

Authors: Ciaran Meachan, Theo Raedschelders

Abstract: Given a split $\mathbb{P}$-functor $F:\mathcal{D}^b(X) \to \mathcal{D}^b(Y)$ between smooth projective varieties, we provide necessary and sufficient conditions, in terms of the Hochschild cohomology of $X$, for it to become spherical on the total space of a deformation of $Y$, and explain how the spherical twist becomes the $\mathbb{P}$-twist on the special fibre. These results generalise the obj… ▽ More Given a split $\mathbb{P}$-functor $F:\mathcal{D}^b(X) \to \mathcal{D}^b(Y)$ between smooth projective varieties, we provide necessary and sufficient conditions, in terms of the Hochschild cohomology of $X$, for it to become spherical on the total space of a deformation of $Y$, and explain how the spherical twist becomes the $\mathbb{P}$-twist on the special fibre. These results generalise the object case, that is when $X$ is a point, which was studied previously by Huybrechts and Thomas, and we show how they apply to the $\mathbb{P}$-functor associated to the Hilbert scheme of points on a K3 surface. In the appendix we review and reorganise some technical results due to Toda, relating to the interaction of Atiyah classes, the HKR-isomorphism, and the characteristic morphism. △ Less

Submitted 17 September, 2019; originally announced September 2019.

Comments: 21 pages; comments welcome

Derived equivalent Hilbert schemes of points on K3 surfaces which are not birational

Authors: Ciaran Meachan, Giovanni Mongardi, Kota Yoshioka

Abstract: We provide a criterion for when Hilbert schemes of points on K3 surfaces are birational. In particular, this allows us to generate a plethora of examples of non-birational Hilbert schemes which are derived equivalent. We provide a criterion for when Hilbert schemes of points on K3 surfaces are birational. In particular, this allows us to generate a plethora of examples of non-birational Hilbert schemes which are derived equivalent. △ Less

Submitted 28 February, 2019; v1 submitted 1 February, 2018; originally announced February 2018.

Comments: Final version, to appear in Math. Zeit

Universal functors on symmetric quotient stacks of Abelian varieties

Authors: Andreas Krug, Ciaran Meachan

Abstract: 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 surfaces; a set of braid relations on a holomorphic symplectic sixfold; and a pair of spherical functors on the Hilbert square of an Abelian surface, whose twists a… ▽ More 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 surfaces; a set of braid relations on a holomorphic symplectic sixfold; and a pair of spherical functors on the Hilbert square of an Abelian surface, whose twists are related to the well-known Horja twist. In dimension one, our universal functors are fully faithful, giving rise to a semiorthogonal decomposition for the symmetric quotient stack of an elliptic curve (which we compare to the one discovered by Polishchuk--Van den Bergh), and they lift to spherical functors on the canonical cover, inducing twists which descend to give new derived autoequivalences here as well. △ Less

Submitted 13 August, 2019; v1 submitted 24 October, 2017; originally announced October 2017.

Comments: Minor revisions. 35 pages

MSC Class: 14D22; 14F05; 18E30

Journal ref: Selecta Mathematica 2021

A note on spherical functors

Authors: Ciaran Meachan

Abstract: We provide a new and very short proof of the fact that a spherical functor between certain triangulated categories induces an autoequivalence. We provide a new and very short proof of the fact that a spherical functor between certain triangulated categories induces an autoequivalence. △ Less

Submitted 13 February, 2021; v1 submitted 30 June, 2016; originally announced June 2016.

Comments: Final version. Accepted for publication in Bull. Lond. Math. Soc

Moduli spaces of torsion sheaves on K3 surfaces and derived equivalences

Authors: N. Addington, W. Donovan, C. Meachan

Abstract: We show that for many moduli spaces M of torsion sheaves on K3 surfaces S, the functor D(S) -> D(M) induced by the universal sheaf is a P-functor, hence can be used to construct an autoequivalence of D(M), and that this autoequivalence can be factored into geometrically meaningful equivalences associated to abelian fibrations and Mukai flops. Along the way we produce a derived equivalence between… ▽ More We show that for many moduli spaces M of torsion sheaves on K3 surfaces S, the functor D(S) -> D(M) induced by the universal sheaf is a P-functor, hence can be used to construct an autoequivalence of D(M), and that this autoequivalence can be factored into geometrically meaningful equivalences associated to abelian fibrations and Mukai flops. Along the way we produce a derived equivalence between two compact hyperkaehler 2g-folds that are not birational, for every g >= 2. We also speculate about an approach to showing that birational moduli spaces of sheaves on K3 surfaces are derived-equivalent. △ Less

Submitted 27 April, 2016; v1 submitted 9 July, 2015; originally announced July 2015.

Comments: 28 pages. typos corrected. final version to appear in JLMS

Journal ref: J. Lond. Math. Soc. (2) 93(3):846-865, 2016

Mukai flops and P-twists

Authors: N. Addington, W. Donovan, C. Meachan

Abstract: Associated to a Mukai flop X ---> X' is on the one hand a sequence of equivalences D(X) -> D(X'), due to Kawamata and Namikawa, and on the other hand a sequence of autoequivalences of D(X), due to Huybrechts and Thomas. We work out a complete picture of the relationship between the two. We do the same for standard flops, relating Bondal and Orlov's derived equivalences to spherical twists, extendi… ▽ More Associated to a Mukai flop X ---> X' is on the one hand a sequence of equivalences D(X) -> D(X'), due to Kawamata and Namikawa, and on the other hand a sequence of autoequivalences of D(X), due to Huybrechts and Thomas. We work out a complete picture of the relationship between the two. We do the same for standard flops, relating Bondal and Orlov's derived equivalences to spherical twists, extending a well-known story for the Atiyah flop to higher dimensions. △ Less

Submitted 26 April, 2016; v1 submitted 9 July, 2015; originally announced July 2015.

Comments: 26 pages. Minor changes following referee's suggestions. This is an expanded version of the paper to appear in Crelle

Journal ref: J. reine angew. Math. 748:227-240, 2019

Birational Geometry of Singular Moduli Spaces of O'Grady Type

Authors: Ciaran Meachan, Ziyu Zhang

Abstract: Following Bayer and Macrì, we study the birational geometry of singular moduli spaces $M$ of sheaves on a K3 surface $X$ which admit symplectic resolutions. More precisely, we use the Bayer-Macrì map from the space of Bridgeland stability conditions $\mathrm{Stab}(X)$ to the cone of movable divisors on $M$ to relate wall-crossing in $\mathrm{Stab}(X)$ to birational transformations of $M$. We give… ▽ More Following Bayer and Macrì, we study the birational geometry of singular moduli spaces $M$ of sheaves on a K3 surface $X$ which admit symplectic resolutions. More precisely, we use the Bayer-Macrì map from the space of Bridgeland stability conditions $\mathrm{Stab}(X)$ to the cone of movable divisors on $M$ to relate wall-crossing in $\mathrm{Stab}(X)$ to birational transformations of $M$. We give a complete classification of walls in $\mathrm{Stab}(X)$ and show that every birational model of $M$ obtained by performing a finite sequence of flops from $M$ appears as a moduli space of Bridgeland semistable objects on $X$. An essential ingredient of our proof is an isometry between the orthogonal complement of a Mukai vector inside the algebraic Mukai lattice of $X$ and the Néron-Severi lattice of $M$ which generalises results of Yoshioka, as well as Perego and Rapagnetta. Moreover, this allows us to conclude that the symplectic resolution of $M$ is deformation equivalent to the 10-dimensional irreducible holomorphic symplectic manifold found by O'Grady. △ Less

Submitted 19 November, 2016; v1 submitted 27 April, 2014; originally announced April 2014.

Comments: Final version

MSC Class: Primary 14D20; Secondary 14F05; 14J28; 18E30

Journal ref: Adv. Math., 296:210--267, 2016

Spherical functors on the Kummer surface

Authors: Andreas Krug, Ciaran Meachan

Abstract: We find two natural spherical functors associated to the Kummer surface and analyse how their induced twists fit with Bridgeland's conjecture on the derived autoequivalence group of a complex algebraic K3 surface. We find two natural spherical functors associated to the Kummer surface and analyse how their induced twists fit with Bridgeland's conjecture on the derived autoequivalence group of a complex algebraic K3 surface. △ Less

Submitted 10 September, 2014; v1 submitted 7 February, 2014; originally announced February 2014.

Comments: Final version. To appear in Nagoya Math. J

MSC Class: 14F05; 14J28; 18E30

Journal ref: Nagoya Math. J., 219:1--8, 2015

Derived autoequivalences of generalised Kummer varieties

Authors: Ciaran Meachan

Abstract: In this article, we construct new derived autoequivalences of generalised Kummer varieties. Together with Huybrechts-Thomas twists around $\mathbb{P}^n$-objects, these are the only known examples of such symmetries. In this article, we construct new derived autoequivalences of generalised Kummer varieties. Together with Huybrechts-Thomas twists around $\mathbb{P}^n$-objects, these are the only known examples of such symmetries. △ Less

Submitted 10 September, 2014; v1 submitted 20 December, 2012; originally announced December 2012.

Comments: Final version. To appear in Math. Res. Lett

MSC Class: 14F05; 14J32; 18E30 (primary); 14J60; 14D20; 14D22 (secondary)

Journal ref: Math. Res. Lett., 22(4):1193--1221, 2015

Rank One Bridgeland Stable Moduli Spaces on A Principally Polarized Abelian Surface

Authors: Antony Maciocia, Ciaran Meachan

Abstract: We compute moduli spaces of Bridgeland stable objects on an irreducible principally polarized complex abelian surface corresponding to twisted ideal sheaves. We use Fourier-Mukai techniques to extend the ideas of Arcara and Bertram to express wall-crossings as Mukai flops and show that the moduli spaces are projective. We compute moduli spaces of Bridgeland stable objects on an irreducible principally polarized complex abelian surface corresponding to twisted ideal sheaves. We use Fourier-Mukai techniques to extend the ideas of Arcara and Bertram to express wall-crossings as Mukai flops and show that the moduli spaces are projective. △ Less

Submitted 26 July, 2011; originally announced July 2011.

Comments: 17 pages, 3 figures

MSC Class: 14F05; 14D20; 14J60; 18E30; 14N35; 14C20

Journal ref: Int. Math. Res. Not. IMRN, (9):2054--2077, 2013