DOCSLIB.ORG

Stability Conditions and the A2 Quiver 10

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Stability Conditions and the A2 Quiver 10 STABILITY CONDITIONS AND THE A2 QUIVER TOM BRIDGELAND, YU QIU AND TOM SUTHERLAND Abstract. For each integer n > 2 we describe the space of stability conditions on the derived category of the n-dimensional Ginzburg algebra associated to the A2 quiver. The form of our results points to a close relationship between these spaces and the Frobenius- Saito structure on the unfolding space of the A2 singularity. 1. Introduction In this paper we study spaces of stability conditions [2] on the sequence of CYn trian- gulated categories Dn associated to the A2 quiver. Our main result is Theorem 1.1 below. There are several striking features. Firstly, we obtain uniform results for all n > 2: the space of stability conditions quotiented by the action of the spherical twists is independent of n, although the identification maps are highly non-trivial. Secondly, there is a close link between our spaces of stability conditions and the Frobenius-Saito structure on the unfolding space of the A2 singularity: in fact this structure is precisely what encodes the identifications between our stability spaces for various n. A third interesting feature is that the space of stability conditions on the derived category of the path algebra of the A2 quiver arises as a kind of limit of the spaces for the categories Dn as n ! 1. 1.1. Statement of results. For each integer n > 2 we let Dn = DCYn (A2) denote the bounded derived category of the CYn complex Ginzburg algebra associated to the A2 quiver. It is a triangulated category of finite type over C, and is characterised by the following two properties: (a) It is CYn, i.e. for any pair of objects A; B 2 Dn there are natural isomorphisms ∗ ∼ ∗ _ HomDn (A; B) = HomDn (B; A[n]) : (1) (b) It is generated by two spherical objects S1;S2 satisfying ∗ HomDn (S1;S2) = C[−1]: (2) We denote by D1 the bounded derived category of the complex path algebra of the A2 quiver. It is again a C-linear triangulated category, and is characterised by the property 1 STABILITY CONDITIONS AND THE A2 QUIVER 2 that it is generated by two exceptional objects S1;S2, which satisfy (2) and ∗ HomD1 (S2;S1) = 0: The notation D1 is convenient: the point being that as n increases, the Serre dual to the extension S1 ! S2[1] occurs in higher and higher degrees, until when n = 1 it doesn't occur at all. For each 2 6 n 6 1 we denote by Stab(Dn) the space of stability conditions on the category Dn. We define Stab∗(Dn) ⊂ Stab(Dn) to be the connected component containing stability conditions in which the objects S1 and S2 are stable of equal phase. Let Aut(Dn) denote the group of exact C-linear autoequivalences of the category Dn, considered up to isomorphism of functors. We define Aut∗(Dn) to be the subquotient consisting of autoe- quivalences which preserve the connected component Stab∗(Dn), modulo those which act trivially on it. When n < 1 the objects Si are spherical and hence define Seidel-Thomas twist functors TwSi 2 Aut(Dn). These autoequivalences preserve the connected component Stab∗(Dn), and we denote by Sph∗(Dn) ⊂ Aut∗(Dn) the subgroup they generate. The simple complex Lie algebra associated to the A2 quiver is g = sl3(C). Its Cartan subalgebra can be described explicitly as 3 X h = f(u1; u2; u3) 2 C : ui = 0g: i The complement of the root hyperplanes is reg h = f(u1; u2; u3) 2 h : i 6= j =) ui 6= ujg: There is an obvious action of the Weyl group W = S3 permuting the ui which is free on hreg. The quotient h=W is isomorphic to C2, and has natural co-ordinates (a; b) obtained by writing 3 p(x) = (x − u1)(x − u2)(x − u3) = x + ax + b: The image of the root hyperplanes ui = uj is the discriminant 2 3 2 ∆ = f(a; b) 2 C : 4a + 27b = 0g: We can now state the main result of this paper. Theorem 1.1. (a) For 2 6 n < 1 there is an isomorphism of complex manifolds ∼ reg Stab∗(Dn)= Sph∗(Dn) = h =W: STABILITY CONDITIONS AND THE A2 QUIVER 3 2 Under this isomorphism the central charge map Stab∗(Dn) ! C induces the multi- valued map hreg=W ! C2 given by Z p(x)(n−2)=2 dx γi for an appropriate basis of paths γi connecting the zeroes of the polynomial p(x). (b) For n = 1 there is an isomorphism of complex manifolds ∼ Stab(D1) = h=W: 2 Under this isomorphism the central charge map Stab(D1) ! C corresponds to the map h=W ! C2 given by Z ep(x) dx δi for an appropriate basis of paths δi which approach 1 in both directions along rays for which Re(x3) ! −∞. Theorem 1.1 gives a precise link with the Frobenius-Saito structure on the unfolding 3 space of the A2 singularity x = 0. The corresponding Frobenius manifold is precisely M = h=W . The maps appearing in part (a) of our result are then the twisted period maps of M with parameter ν = (n − 2)=2 (see Equation (5.11) of [6]). The map in part (b) is given by the deformed flat co-ordinates of M with parameter ~ = 1 (see [5, Theorem 2.3]). 1.2. Related work. Just as we were finishing this paper, A. Ikeda posted the paper [10] which also proves Theorem 1.1 (a), and indeed generalizes it to the case of the Ak quiver for all k > 1. The methods we use here are quite different however, and also yield (b), so we feel that this paper is also worth publishing. As explained above, two of the most interesting features of Theorem 1.1 are the fact that the space Stab∗(Dn)= Sph∗(Dn) is independent of n < 1, and that this space embeds in Stab(D1). At the level of exchange graphs such results were observed for arbitrary acyclic quivers by one of us with A.D. King [14]. The n < 1 case of Theorem 1.1 was first considered by R.P. Thomas in [23]: he obtained the n = 2 case and discussed the relationship with Fukaya categories and homological mirror symmetry. The n = 2 case was also proved in [3] and generalised to arbitrary ADE Dynkin diagrams. The n = 3 case of Theorem 1.1 was proved in [21], and was STABILITY CONDITIONS AND THE A2 QUIVER 4 extended to all Dynkin quivers of A and D type in [4]. The first statement of part (a), ∼ reg that Stab∗(D) = h =W , was proved for all n < 1 in [18]. The case n = 1 of Theorem 1.1 was first considered by King [13] who proved that ∼ 2 Stab(D1) = C . This result was obtained by several other researchers since then, and a proof was written down in [18]. The more precise statement of Theorem 1.1 (b) was conjectured by A. Takahashi [22]. Since the first version of this paper was posted, several generalizations and extensions of Theorem 1.1 have appeared. The following seem particularly noteworthy. In [9] a general result relating stability conditons on Fukaya categories of surfaces to spaces of quadratic differentials with exponential singularities is proved. This includes Theorem 1.1 (b) as a very special case. In [11] a new notion of q-stability conditions is introduced, in terms of which one can make sense of the statement of Theorem 1.1 when the Calabi-Yau dimension n > 2 is replaced with an arbitrary s 2 C with Re(s) > 2. This allows one to see all twisted periods of the Frobenius manifold via central charges. In [15], an analogue of Theorem 1.1 for the Kronecker quiver is proved. In this case the relevant Frobenius manifold is the quantum cohomology of P1. The case of quivers of type affine An was considered in [24], and a general discussion. A general framework for such results, involving Fukaya categories of surfaces, quadratic differentials and Hurwitz spaces is explained in [12]. Acknowledgements. We thank Alastair King and Caitlin McAuley for many useful con- versations on the topic of this paper. 2. Autoequivalences and t-structures In this section we describe the principal components of the exchange graphs of the categories Dn = DCYn (A2) and study the action of the group of reachable autoequivalences. We start by recalling some general definitions concerning tilting (see [4, Section 7] for more details). 2.1. Let D be a triangulated category. We shall be concerned with bounded t-structures on D. Any such t-structure is determined by its heart A ⊂ D, which is a full abelian subcategory. We use the term heart to mean the heart of a bounded t-structure. A heart will be called finite-length if it is artinian and noetherian as an abelian category. STABILITY CONDITIONS AND THE A2 QUIVER 5 We say that a pair of hearts (A1; A2) in D is a tilting pair if the equivalent conditions A2 ⊂ hA1; A1[−1]i; A1 ⊂ hA2[1]; A2i are satisfied. Here the angular brackets signify the extension-closure operation We also say that A1 is a left tilt of A2, and that A2 is a right tilt of A1. Note that (A1; A2) is a tilting pair precisely if so is (A2[1]; A1). If (A1; A2) is a tilting pair in D, then the subcategories T = A1 \A2[1]; F = A1 \A2 form a torsion pair (T ; F) ⊂ A1. Conversely, if (T ; F) ⊂ A1 is a torsion pair, then the subcategory A2 = hF; T [−1]i is a heart, and the pair (A1; A2) is a tilting pair.
Load more

Recommended publications
  • June 2014 Society Meetings Society and Events SHEPHARD PRIZE: NEW PRIZE Meetings for MATHEMATICS 2014 and Events Following a Very Generous Tions Open in Late 2014
    LONDONLONDON MATHEMATICALMATHEMATICAL SOCIETYSOCIETY NEWSLETTER No. 437 June 2014 Society Meetings Society and Events SHEPHARD PRIZE: NEW PRIZE Meetings FOR MATHEMATICS 2014 and Events Following a very generous tions open in late 2014. The prize Monday 16 June donation made by Professor may be awarded to either a single Midlands Regional Meeting, Loughborough Geoffrey Shephard, the London winner or jointly to collaborators. page 11 Mathematical Society will, in 2015, The mathematical contribution Friday 4 July introduce a new prize. The prize, to which an award will be made Graduate Student to be known as the Shephard must be published, though there Meeting, Prize will be awarded bienni- is no requirement that the pub- London ally. The award will be made to lication be in an LMS-published page 8 a mathematician (or mathemati- journal. Friday 4 July cians) based in the UK in recog- Professor Shephard himself is 1 Society Meeting nition of a specific contribution Professor of Mathematics at the Hardy Lecture to mathematics with a strong University of East Anglia whose London intuitive component which can be main fields of interest are in page 9 explained to those with little or convex geometry and tessella- Wednesday 9 July no knowledge of university math- tions. Professor Shephard is one LMS Popular Lectures ematics, though the work itself of the longest-standing members London may involve more advanced ideas. of the LMS, having given more page 17 The Society now actively en- than sixty years of membership. Tuesday 19 August courages members to consider The Society wishes to place on LMS Meeting and Reception nominees who could be put record its thanks for his support ICM 2014, Seoul forward for the award of a in the establishment of the new page 11 Shephard Prize when nomina- prize.
    [Show full text]
  • Graduation 2014. Monday 21 July 2014 the University of Sheffield
    Graduation 2014. Monday 21 July 2014 The University of Sheffield Your graduation day is a special day for you and your family, a day for celebrating your achievements and looking forward to a bright future. As a graduate of the University of Sheffield you have every reason to be proud. You are joining a long tradition of excellence stretching back more than 100 years. The University of Sheffield was founded with the amalgamation of the School of Medicine, Sheffield Technical School and Firth College. In 1905, we received a Royal Charter and Firth Court was officially opened by King Edward VII and Queen Alexandra. At that time, there were 363 students reading for degrees in arts, pure science, medicine and applied science. By the time of our centenary, there were over 25,000 students from more than 100 countries, across 70 academic departments. Today, a degree from Sheffield is recognised all over the world as a hallmark of academic excellence. We are proud of our graduates and we are confident that you will make a difference wherever you choose to build your future. With every generation of graduates, our university goes from strength to strength. This is the original fundraising poster from 1904/1905 which helped raise donations for the University of Sheffield. Over £50,000 (worth more than £15 million today) was donated by steelworkers, coal miners, factory workers and the people of Sheffield in penny donations to help found the University. A century on, the University is now rated as one of the top world universities – according to the Shanghai Jiao Tong Academic Ranking of World Universities.
    [Show full text]
  • September 2014
    LONDONLONDON MATHEMATICALMATHEMATICAL SOCIETYSOCIETY NEWSLETTER No. 439 September 2014 Society Meetings HIGHEST HONOUR FOR UK and Events MATHEMATICAN Professor Martin Hairer, FRS, 2014 University of Warwick, has become the ninth UK based Saturday mathematician to win the 6 September prestigious Fields Medal over Mathematics and the its 80 year history. The medal First World War recipients were announced Meeting, London on Wednesday 13 August in page 15 a ceremony at the four-year- ly International Congress for 1 Wednesday Mathematicians, which on this 24 September occasion was held in Seoul, South Korea. LMS Popular Lectures See page 4 for the full report. Birmingham page 12 Friday LMS ANNOUNCES SIMON TAVARÉ 14 November AS PRESIDENT-DESIGNATE LMS AGM © The University of Cambridge take over from the London current President, Professor Terry Wednesday Lyons, FRS, in 17 December November 2015. SW & South Wales Professor Tavaré is Meeting a versatile math- Plymouth ematician who has established a distinguished in- ternational career culminating in his current role as The London Mathematical Director of the Cancer Research Society is pleased to announce UK Cambridge Institute and Professor Simon Tavaré, Professor in DAMTP, where he NEWSLETTER FRS, FMedSci, University of brings his understanding of sto- ONLINE: Cambridge, as President-Des- chastic processes and expertise newsletter.lms.ac.uk ignate. Professor Tavaré will in the data science of DNA se- (Cont'd on page 3) LMS NEWSLETTER http://newsletter.lms.ac.uk Contents No. 439 September 2014 15 44 Awards Partial Differential Equations..........................37 Collingwood Memorial Prize..........................11 Valediction to Jeremy Gray..............................33 Calendar of Events.......................................50 News LMS Items European News.................................................16 HEA STEM Strategic Project...........................
    [Show full text]
  • The Space of Stability Conditions for $ a 3 $-Quiver
    THE SPACE OF STABILITY CONDITIONS FOR A3-QUIVER TAKAHISA SHIINA Abstract. The author studied in [Shi11] the covering map property of the local homeomorphism associating to the space of stability conditions over the n-Kronecker quiver. In this paper, we discuss the covering map property for stability conditions over the Dynkin quiver of type A3. The local homeo- morphism from a connected component of stability conditions over A3 to 3- dimensional complex vector space becomes a covering map when we restrict it to the complement of six codimension one subspaces. 1. Introduction T. Bridgeland introduced the notion of stability conditions on triangulated cate- gories ([Bri07]). The idea comes from Douglas’s work on π-stability for D-branes in string theory ([Dou02]). Bridgeland defined a topology (generalized metric) on the set of all (locally finite) stability conditions, Stab(T ), on a triangulated category T . Each connected component Σ ⊂ Stab(T ) is equipped with a local homeo- morphism Z to a certain topological vector space V (Σ) ([Bri07, Theorem 1.2]). Moreover Bridgeland showed that Σ is a (possibly infinite-dimensional) complex manifold. It is an important problem to show simply connectivity of Σ, connectivity of Stab(T ), or (universal) covering map property of the local homeomorphism Z : Σ → V (Σ). It have been studied intensively, for example, stability conditions over K3 surfaces, over curves, and over Kleinian singularities are studied [Bri09, Bri08, BT11, IUU10, Mac07, ST01, Tho06]. In [Shi11], the author studied the space of stability conditions Stab(Pn) con- b structed on the bounded derived category D (Pn) of the finite dimensional repre- sentations over n-Kronecker quiver Pn – the quiver with two vertices and n-parallel arXiv:1309.0922v1 [math.CT] 4 Sep 2013 arrows.
    [Show full text]
  • Scattering Diagrams, Hall Algebras and Stability Conditions
    SCATTERING DIAGRAMS, HALL ALGEBRAS AND STABILITY CONDITIONS TOM BRIDGELAND In memory of Kentaro Nagao Abstract. To any quiver with relations we associate a consistent scattering diagram taking values in the motivic Hall algebra of its category of representations. We show that the chamber structure of this scattering diagram coincides with the natural chamber structure in an open subset of the space of stability conditions on the associated triangulated category. In the three- dimensional Calabi-Yau situation, when the relations arise from a potential, we can apply an integration map to give a consistent scattering diagram taking values in a tropical vertex group. 1. Introduction The concept of a scattering diagram has emerged from the work of Kontsevich and Soibelman [15], and Gross and Siebert [9], on the Strominger-Yau-Zaslow approach to mirror symmetry. Scattering diagrams, and the associated combinatorics of broken lines, have been used recently by Gross, Hacking, Keel and Kontsevich [7] to settle several important conjectures about cluster algebras. The aim of this paper is to explain some very general connections between spaces of stability conditions and scattering diagrams. In particular, we explain the relationship between the scattering diagram associated to an acyclic quiver Q, and the wall-and-chamber structure of the space of stability conditions on the associated CY3 triangulated category. Our longer-term goal is to better understand the geometrical relationship between cluster varieties and spaces of stability conditions. It turns out that to give a categorical description of the scattering diagram one does not need to use triangulated categories. In fact, for the most part, we work in the abelian category of representations of a fixed quiver with relations (Q; I), and use King's notion of θ{stability.
    [Show full text]
  • Applied-Math-Catalog-Web.Pdf
    Applied mathematics was once only associated with the natural sciences and en- gineering, yet over the last 50 years it has blossomed to include many fascinat- ing subjects outside the physical sciences. Such areas include game theory, bio- mathematics and mathematical economy demonstrating mathematics' presence throughout everyday human activity. The AMS book publication program on applied and interdisciplinary mathematics strengthens the connections between mathematics and other disciplines, highlighting the areas where mathematics is most relevant. These publications help mathematicians understand how math- ematical ideas may benefit other sciences, while offering researchers outside of mathematics important tools to advance their profession. Table of Contents Algebra and Algebraic Geometry .............................................. 3 Analysis ........................................................................................... 3 Applications ................................................................................... 4 Differential Equations .................................................................. 11 Discrete Mathematics and Combinatorics .............................. 16 General Interest ............................................................................. 17 Geometry and Topology ............................................................. 18 Mathematical Physics ................................................................... 19 Probability .....................................................................................
    [Show full text]
  • Arxiv:1603.00416V4 [Math.AG] 15 May 2020 Ouetinuae Aeois Nfc,Frtems at W Part, ( Most Relations the with for Quiver fixed Fact, a in of Representations Categories
    SCATTERING DIAGRAMS, HALL ALGEBRAS AND STABILITY CONDITIONS TOM BRIDGELAND In memory of Kentaro Nagao Abstract. To any quiver with relations we associate a consistent scattering diagram taking values in the motivic Hall algebra of its category of representations. We show that the chamber structure of this scattering diagram coincides with the natural chamber structure in an open subset of the space of stability conditions on the associated triangulated category. In the three- dimensional Calabi-Yau situation, when the relations arise from a potential, we can apply an integration map to give a consistent scattering diagram taking values in a tropical vertex group. 1. Introduction The concept of a scattering diagram has emerged from the work of Kontsevich and Soibelman [15], and Gross and Siebert [9], on the Strominger-Yau-Zaslow approach to mirror symmetry. Scattering diagrams, and the associated combinatorics of broken lines, have been used recently by Gross, Hacking, Keel and Kontsevich [7] to settle several important conjectures about cluster algebras. The aim of this paper is to explain some very general connections between spaces of stability conditions and scattering diagrams. In particular, we explain the relationship between the scattering diagram associated to an acyclic quiver Q, and the wall-and-chamber structure of the space of stability conditions on the associated CY3 triangulated category. Our longer-term goal is to better understand the geometrical relationship between cluster varieties and spaces of stability conditions. It turns out that to give a categorical description of the scattering diagram one does not need to use triangulated categories. In fact, for the most part, we work in the abelian category of representations of a fixed quiver with relations (Q,I), and use King’s notion of θ–stability.
    [Show full text]
  • Arxiv:1910.00155V2 [Math.AG] 27 Mar 2020 1.1
    BONDAL-ORLOV FULLY FAITHFULNESS CRITERION FOR DELIGNE-MUMFORD STACKS BRONSON LIM AND ALEXANDER POLISHCHUK Abstract. Suppose F : D(X) → T is an exact functor from the bounded derived category of coherent sheaves on a smooth projective variety X to a triangulated category T . If F possesses left and right adjoints, then the Bondal-Orlov criterion gives a simple way of determining if F is fully faithful. We prove a natural extension of this theorem to the case when X is a smooth and proper DM stack with projective coarse moduli space. 1. Introduction 1.1. Bondal-Orlov Criterion. Suppose X is a smooth projective scheme over an algebraically closed field k of characteristic zero and F : D(X) → T is an exact functor, with T a triangulated category. One is often interested in checking whether F embeds D(X) as a full triangulated subcategory of T . If F admits left and right adjoints, then the following well-known Bondal-Orlov Criterion is the primary tool used, [BO95, Bri99]. Theorem 1.1. The functor F is fully faithful if, and only if, it admits a right adjoint, a left adjoint G, with G ◦ F of Fourier-Mukai type, and • for any closed point x ∈ X, one has HomT (F (Ox), F (Ox)) = k; • for any pair of closed points x, y ∈ X one has HomT (F (Ox), F (Oy)[i]) = 0 unless x = y and 0 ≤ i ≤ dim(X). This theorem has been extended to the quasi-projective [LM17] and gerby pro- jective [C˘al02] setting, to the case when X is allowed to have some singularities, arXiv:1910.00155v2 [math.AG] 27 Mar 2020 and to the case of positive characteristic [HRLMnSdS09, SdS09].
    [Show full text]
  • In the Hall of the Flop King
    St Cross College University of Oxford John Calabrese In the Hall of the Flop King Two Applications of Perverse Coherent Sheaves to Donaldson–Thomas In- variants A thesis submitted for the degree of Doctor of Philosophy Michaelmas Term 2012 John Calabrese: In the Hall of the Flop King, DPhil Dissertation, Michaelmas Term 2012. In the Hall of the Mountain King — Edvard Grieg It occurred to me that this otherwise empty half of a page could be put to good use by dedicating this document to someone. As far as mathematicians go, the first two who come to mind are certainly Tom and Richard. I cannot thank them enough for all the support they have shown me in the past few years. CONTENTS 1 OVERVIEW 1 1.1 Introduction1 1.2 Flop Formula3 1.3 Crepant Resolution Conjecture7 1.4 Conventions 12 2 BACKGROUND 13 2.1 Donaldson-Thomas Invariants 13 2.2 Birational Geometry 17 2.3 Flops 22 2.3.1 Perverse Coherent Sheaves 23 2.3.2 Moduli 25 2.4 Substacks 31 3 HALLALGEBRAS 39 3.1 Grothendieck Rings 43 3.2 Perverse Coherent Sheaves 47 3.3 More Structure 49 4 FLOPS 55 4.1 A Route 55 4.2 The Perverse Hilbert Scheme 60 4.3 A First Identity 62 4.4 PT Invariants 67 iv 4.5 Duality 70 4.6 Laurent Elements 74 4.7 A Stability Condition 84 4.8 Main Identity 88 4.9 Conclusion 91 5 CREPANTRESOLUTIONCONJECTURE 95 5.1 The Equivalence between Per(Y/X) and Coh(X) 95 5.2 The Formula for DT Invariants 102 v ABSTRACT Title: In the Hall of the Flop King Candidate: John Calabrese College: St Cross Thesis submitted for the degree of Doctor of Philosophy, Michaelmas Term 2012 This thesis contains two main results.
    [Show full text]
  • Stability Conditions for the Kronecker Quiver and Quantum Cohomology of the Projective Line
    Stability conditions for the Kronecker quiver and quantum cohomology of the projective line. Caitlin McAuley A thesis submitted for the degree of Doctor of Philosophy School of Mathematics and Statistics The University of Sheffield April 2020 Abstract We compute the spaces of stability conditions of the sequence of triangulated Calabi{ Yau-n categories associated to the Kronecker quiver. By considering Frobenius struc- tures, a relationship between these stability manifolds and the quantum cohomology of the projective line is explored. Acknowledgements I want to express my deepest gratitude to my supervisor Tom Bridgeland, firstly for giving me the opportunity to write this thesis, and secondly for patiently sticking with me and providing so much guidance and encouragement over the course of the project. It's been an absolute privilege to spend four years studying such an interesting topic with someone so knowledgable and generous, and so most of all, I want to thank you for just really loving maths, and sharing that enthusiasm with me. I'm very grateful to my examiners Michael Wemyss and Evgeny Shinder for their helpful and insightful comments on improvements to this thesis, and also to Anna Barbieri for explaining spectral covers to me. That I chose to pursue a PhD is in no small part thanks to the great teachers I encountered as an undergraduate at Glasgow, and I'd like to particularly acknowledge Tara Brendle and Uli Kr¨ahmerfor their support and advice, and Alastair Craw, who introduced me to algebraic geometry, and was the first (but not last) to remind me that `we don't do it because it's easy'.
    [Show full text]
  • Stability Manifolds of Varieties with Finite Albanese Morphisms 2
    STABILITY MANIFOLDS OF VARIETIES WITH FINITE ALBANESE MORPHISMS LIE FU, CHUNYI LI, AND XIAOLEI ZHAO ABSTRACT. For a smooth projective complex variety whose Albanese morphism is finite, we show that every Bridgeland stability condition on its bounded derived category of coherent sheaves is geometric, in the sense that all skyscraper sheaves are stable with the same phase. Furthermore, we describe the stability manifolds of irregular surfaces and abelian threefolds with Picard rank one, and show that they are connected and contractible. CONTENTS 1. Introduction 1 2. Geometric stability conditions 3 3. Surface case 9 4. Abelian threefold case 12 References 21 1. INTRODUCTION Let X be a smooth projective variety over the field of complex numbers C. Denote by Db(X) the bounded derived category of coherent sheaves on X. The notion of stability conditions on triangulated categories was introduced by Bridgeland in [Bri07] (see Section 2.1 for a recap). Let Stab(X) be the set of (full locally-finite numerical) stability conditions on Db(X). By the seminal result in [Bri07], Stab(X) is naturally endowed with a structure of complex manifold with local coordinates given by the central charge. We call Stab(X) the stability manifold of X. A complete description of the stability manifold has been worked out only for curves and abelian surfaces. More precisely, • Stab(P1) =∼ C2, see [Oka06]. ∼ arXiv:2103.07728v1 [math.AG] 13 Mar 2021 • Stab(C) = C × H for any smooth projective curve C of genus ≥ 1, see [Bri07, Mac07]; here H denotes the upper half-plane. • Abelian surfaces, see [Bri08, HMS08].
    [Show full text]
  • Bridgeland Stability Conditions for Curves and Surfaces
    Master Thesis. ii Acknowledgement. I take this opportunity to express gratitude to Prof. Paolo Stellari for giving me continuous support during the whole process. I am extremly thankful and indebted to him for sharing expertise, and sincere and valuable guidance and encouragement extended to me. I also thank my parents for the unceasing encouragement, support and attention. iii Master Thesis. Acknowledgement. iv Introduction. Our aim is to give the notion of a stability condition on a triangulated cate- gory and discuss its main properties. The special case we are interested in is the bounded derived category of coherent sheaves over a smooth projective scheme X. Our main focus of study is when X is a curve and a surface. The most interesting feature is that the set of stability conditions Stab( ) on a xed triangulated category comes with a natural topology. AfterD setting up the necessary denitions,D we prove that the space Stab( ) with its natu- ral topology is a nite dimensional complex manifold. D The motivation for the denition of stability condition came from the work of M.R Douglas on Π-stability of Dirichlet branes. Bridgeland gets the motivation from there and he gave a rigorous mathematical treatment in his paper Stability condition on triangulated categories in the year 2007. He also presents a paper which gives full description of a connected component of Stab( ) where is the bounded derived category of coherent sheaves on a K3Dsurface. AD bit after, Arcara, Bertram, Toda and many other math- ematicians describe the moduli spaces of Bridgeland stable objects over a K3 surface.
    [Show full text]