DOCSLIB.ORG

Arxiv:2108.13008V1 [Math.RT] 30 Aug 2021 Oi Nrpeetto Hoyadrltdaes N Fteimpor the of Sp One Vector from Areas

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2108.13008V1 [Math.RT] 30 Aug 2021 Oi Nrpeetto Hoyadrltdaes N Fteimpor the of Sp One Vector from Areas SEMIORTHOGONAL DECOMPOSITION VIA CATEGORICAL ACTION YOU-HUNG HSU Abstract. We show that the categorical action of the shifted q = 0 affine algebra can be used to construct semiorthogonal decomposition on the weight categories. The key observation is that the Kapranov exceptional collection can be interpreted as convolutions of Fourier-Mukai kernels by using the categorical action. This result also gives us information about the higher categorical structures (natural transformations) between certain functors in the categorical action. 1. Introduction 1.1. Overview of semiorthogonal decompostions. Let X be a smooth complex projective vari- ety. The bounded derived category of coherent sheaves, denoted by Db(X), is an essential invariant of X. One fundamental method to study the structure of Db(X) is via semiorthogonal decomposition, which divides a triangulated category into simpler pieces. One way to produce a semiorthogonal decomposition is from an exceptional collection. The sim- plest example is Beilinson’s collection for complex projective space Pn [Be], which is later generalized to Grassmannians and type A partial flag varieties by Kapranov [Kap85], [Kap88] and Kuznetsov- Polishchuk [KP] for isotropic partial flag varieties. Another important semiorthogonal decomposition comes from the study of how Db(X) behave under basic (birational) geometric operations, e.g., smooth blow-ups and projective bundles [O], and standard flips and flops [BO]. The above studies suggest the close connection between the minimal model program and semiorthogonal decompositions. We refer to [Kaw] for a survey and [Oka] for a concrete example. There are other methods to construct semiorthogonal decompositions, e.g., homological projective duality. For a more detailed overview and many other examples, we refer to Kuznetsov’s ICM address [Ku1]. 1.2. Categorical actions. During the past decade, categorification has been an active research topic in representation theory and related areas. One of the important questions is lifting the representations of Lie algebras/quantum groups from vector spaces to categories. Such notion is called the categorical actions. Initiating from the work of Chuang-Rouquier [CR] for the sl2-categorification, people have ex- arXiv:2108.13008v1 [math.RT] 30 Aug 2021 tensively studied the categorical actions of sl2 or Uq(sl2) in several flavours. In particular, Cautis- Kamnitzer-Licata [CKL1] introduced the notion of geometric categorical sl2 action in the setting of bounded derived categories of coherent sheaves. Later they [CLK2] used the geometric categorical sl2 action to construct the derived equivalence between derived categories of coherent sheaves on cotangent bundles to complementary Grassmannians. The lifting of representations to categorical level also rises other questions. For the categorical action of semisimple or Kac-Moody Lie algebra g, usually one assigns to each weight space V (λ) 2020 Mathematics Subject Classification. 14M15, 18N25, 18G80. Key words and phrases. Derived category, semiorthogonal decomposition, Kapranov exceptional collection, categorification. 1 2 YOU-HUNG HSU an additive category C(λ) and to generators ei, fi of g one assigns functors Ei : C(λ) → C(λ + αi), Fi : C(λ + αi) → C(λ) respectively. These functors are then required to satisfy certain relations analogous to those in g. For example, when g = sl2 the relation (ef − fe)|V (λ) = λIdV (λ) becomes EF ∼ FE ⊕λ |C(λ) = |C(λ) IdC(λ) if λ ≥ 0, (1.1) similarly for λ ≤ 0. M The equation (1.1) is an isomorphism between functors. Understanding the natural trans- formations between the functors in (1.1) is a central problem in the categorification of Lie al- gebras/quantum groups or higher representation theory. Moreover, the natural transformations should ideally induce the isomorphism in (1.1). One answer to such problem is given by Chuang- Rouquier [CR] for the Lie algebra sl2 and later generalized to (simply-laced) Kac-Moody algebras g by Khovanov-Lauda [KL1], [KL2], [KL3] and Rouquier [R]. 1.3. Main results. In [Hsu], the author defined an algebra called the shifted q = 0 affine algebra, denoted by U˙0,N (Lsln), and give a definition of its categorical action. Then he proved that there is a categorical action of the shifted q = 0 affine algebra on the bounded derived categories of coherent sheaves on partial flag varieties. In this article, we try to relate the notion of semiorthogonal decomposition to the categorical action of U˙0,N (Lsln). The idea comes from the observation that the Kapranov exceptional collection can be thought of as convolutions of Fourier-Mukai kernels via the categorical action of U˙0,N (Lsln). We restrict to the sl2 case here and refer to the main text for the general case. Consider the Grassmannians G(k,N) of k-dimensional subspaces in a fixed N-dimensional vector space CN . Let ˙ b G us recall the action of U0,N (Lsl2) on k D ( (k,N)). The generators er1(k,N−k), fs1(k,N−k) act on Db(G(k,N)) by the following correspondence diagram k L L k−1 1 N−k Fl(k − 1, k)= {0 ⊂ V ′ ⊂ V ⊂ CN } ✐ ❯❯ ✐✐✐✐ ❯❯❯❯ p1 ✐✐✐ ❯❯❯p2 ✐✐✐ ❯❯❯❯ ✐✐✐✐ ❯❯❯❯ t✐✐✐✐ ❯❯* G(k,N) G(k − 1,N) ′ where p1, p2 are the natural projections. Denoting V, V to be the tautological bundles on Fl(k−1, k) of rank k, k −1 respectively, then there is a natural line bundle V/V′ on Fl(k −1, k). The generators b G er1(k,N−k) act on k D ( (k,N)) by lifting to the following functors E ∗ ′ r b G b G rL1(k,N−k) := p2∗(p1 ⊗ (V/V ) ): D ( (k,N)) → D ( (k − 1,N)) and similarly for the lift of fs1(k,N−k) to Fs1(k,N−k). We refer to Section 3 for more details. b We recall that the Kapranov exceptional collection for D (G(k,N)) is given by {SλV}, where V is the tautological rank k bundle and Sλ is the Schur functor associated to partitions λ = (λ1, ..., λk) with 0 ≤ λk ≤ ... ≤ λ1 ≤ N − k. See Theorem 2.18 for a variant for partial flag varieties. b We can view SλV as an object in D (G(0,N) × G(k,N)). Since the functors Er1(k,N−k) and Fs1(k,N−k) are Fourier-Mukai transformations with kernels Er1(k,N−k) and Fs1(k,N−k), respectively, by a relative version of Borel-Weil-Bott theorem we have S ∼ b G G λV = Fλ1 ∗ ... ∗Fλk 1(0,N) ∈ D ( (0,N) × (k,N)) (1.2) where λ = (λ1, ..., λk) with 0 ≤ λk ≤ ... ≤ λ1 ≤ N − k. We consider the triangulated category Hom(Db(G(0,N)), Db(G(k,N))) whose objects are functors b R1(0,N) given by Fourier-Mukai kernels in D (G(0,N) × G(k,N)) and morphisms between the functors R1(0,N) are morphisms between their kernels. SEMIORTHOGONAL DECOMPOSITION VIA CATEGORICAL ACTION 3 From (1.2) we know that Fλ1 ∗ ... ∗Fλk 1(0,N) is the kernel for the functor F F F b G b G λ1(0,N) := λ1 ... λk 1(0,N) ∈ Ob(Hom(D ( (0,N)), D ( (k,N)))), b since {SλV} is an exceptional collection for D (G(0,N) × G(k,N)) we can conclude that {Fλ1(0,N)} is an exceptional collection in Hom(Db(G(0,N)), Db(G(k,N))). Thus it is natural to ask the following question Question : Given a categorical U˙0,N (Lsl2) (or U˙0,N (Lsln)) action K. Do the functors F F F λ1(0,N) := λ1 ... λk 1(0,N) ∈ Hom(K(0,N), K(k,N)), λ ∈ P (N − k, k) form an exceptional collection in the triangulated category Hom(K(0,N), K(k,N))? Here P (N−k, k) is the set of λ = (λ1, ..., λk) with 0 ≤ λk ≤ ... ≤ λ1 ≤ N − k. It turns out that the answer is affirmative except that the condition for each functor Fλ1(0,N) to be exceptional should modify a bit. More precisely, we have the following result. Proposition 1.1. (Proposition 4.1 and 4.5) The functors {Fλ1(0,N)}λ∈P (N−k,k) satisfy the following properties (1) Each functor is exceptional-like, more precisely ∼ Hom(Fλ1(0,N), Fλ1(0,N)) = Hom(1(0,N), 1(0,N)) (2) Semiorthogonal property ∼ Hom(Fλ1(0,N), Fλ′ 1(0,N)) = 0 ′ ′ ′ if λ = (λ1, ..., λk) <l λ = (λ1, ..., λk) where <l is the lexicographical order. b ∼ Remark 1.2. When the weight categories are K(k,N−k)= D (G(k,N)), we have Hom(1(0,N), 1(0,N)) = C. This recovers the property that {Fλ1(0,N)} are exceptional in the geometric setting. In particular, the first property (1) implies that we have the following corollary. Corollary 1.3. (Corollary 4.2 and 4.6) Given λ = (λ1, ..., λk) with 0 ≤ λk ≤ ... ≤ λ1 ≤ N − k, the functor Fλ1(0,N) ∈ Hom(K(0,N), K(k,N − k)) is fully faithful. Since we know that an exceptional collection in a triangulated category can give rise to a semiorthogonal decomposition, by Proposition 1.1 and Corollary 1.3 we have the following main result of this article. Theorem 1.4. (Theorem 4.3 and 4.7) Given a categorical U˙0,N (Lsl2) action K. Define Kλ(k,N − k) := hFλ1(0,N)(K(0,N))i to be the minimal full triangulated subcategories of K(k,N −k) generated by the class of objects which are the essential images of Fλ1(0,N). Then we have the following semiorthogonal decomposition K(k,N − k)= hA, Kλ(k,N − k)iλ∈P (N−k,k) ⊥ where A := hKλ(k,N − k)iλ∈P (N−k,k).
Load more

Recommended publications
  • Derived Categories. Winter 2008/09
    Derived categories. Winter 2008/09 Igor V. Dolgachev May 5, 2009 ii Contents 1 Derived categories 1 1.1 Abelian categories .......................... 1 1.2 Derived categories .......................... 9 1.3 Derived functors ........................... 24 1.4 Spectral sequences .......................... 38 1.5 Exercises ............................... 44 2 Derived McKay correspondence 47 2.1 Derived category of coherent sheaves ................ 47 2.2 Fourier-Mukai Transform ...................... 59 2.3 Equivariant derived categories .................... 75 2.4 The Bridgeland-King-Reid Theorem ................ 86 2.5 Exercises ............................... 100 3 Reconstruction Theorems 105 3.1 Bondal-Orlov Theorem ........................ 105 3.2 Spherical objects ........................... 113 3.3 Semi-orthogonal decomposition ................... 121 3.4 Tilting objects ............................ 128 3.5 Exercises ............................... 131 iii iv CONTENTS Lecture 1 Derived categories 1.1 Abelian categories We assume that the reader is familiar with the concepts of categories and func- tors. We will assume that all categories are small, i.e. the class of objects Ob(C) in a category C is a set. A small category can be defined by two sets Mor(C) and Ob(C) together with two maps s, t : Mor(C) → Ob(C) defined by the source and the target of a morphism. There is a section e : Ob(C) → Mor(C) for both maps defined by the identity morphism. We identify Ob(C) with its image under e. The composition of morphisms is a map c : Mor(C) ×s,t Mor(C) → Mor(C). There are obvious properties of the maps (s, t, e, c) expressing the axioms of associativity and the identity of a category. For any A, B ∈ Ob(C) we denote −1 −1 by MorC(A, B) the subset s (A) ∩ t (B) and we denote by idA the element e(A) ∈ MorC(A, A).
    [Show full text]
  • Signed Exceptional Sequences and the Cluster Morphism Category
    SIGNED EXCEPTIONAL SEQUENCES AND THE CLUSTER MORPHISM CATEGORY KIYOSHI IGUSA AND GORDANA TODOROV Abstract. We introduce signed exceptional sequences as factorizations of morphisms in the cluster morphism category. The objects of this category are wide subcategories of the module category of a hereditary algebra. A morphism [T ]: A!B is an equivalence class of rigid objects T in the cluster category of A so that B is the right hom-ext perpendicular category of the underlying object jT j 2 A. Factorizations of a morphism [T ] are given by totally orderings of the components of T . This is equivalent to a \signed exceptional sequences." For an algebra of finite representation type, the geometric realization of the cluster morphism category is the Eilenberg-MacLane space with fundamental group equal to the \picture group" introduced by the authors in [IOTW15b]. Contents Introduction 2 1. Definition of cluster morphism category 4 1.1. Wide subcategories 4 1.2. Composition of cluster morphisms 7 1.3. Proof of Proposition 1.8 8 2. Signed exceptional sequences 16 2.1. Definition and basic properties 16 2.2. First main theorem 17 2.3. Permutation of signed exceptional sequences 19 2.4. c -vectors 20 3. Classifying space of the cluster morphism category 22 3.1. Statement of the theorem 23 3.2. HNN extensions and outline of proof 24 3.3. Definitions and proofs 26 3.4. Classifying space of a category and Lemmas 3.18, 3.19 29 3.5. Key lemma 30 3.6. G(S) is an HNN extension of G(S0) 32 4.
    [Show full text]
  • Representations of Semisimple Lie Algebras in Prime Characteristic and the Noncommutative Springer Resolution
    Annals of Mathematics 178 (2013), 835{919 http://dx.doi.org/10.4007/annals.2013.178.3.2 Representations of semisimple Lie algebras in prime characteristic and the noncommutative Springer resolution By Roman Bezrukavnikov and Ivan Mirkovic´ To Joseph Bernstein with admiration and gratitude Abstract We prove most of Lusztig's conjectures on the canonical basis in homol- ogy of a Springer fiber. The conjectures predict that this basis controls numerics of representations of the Lie algebra of a semisimple algebraic group over an algebraically closed field of positive characteristic. We check this for almost all characteristics. To this end we construct a noncom- mutative resolution of the nilpotent cone which is derived equivalent to the Springer resolution. On the one hand, this noncommutative resolution is closely related to the positive characteristic derived localization equiva- lences obtained earlier by the present authors and Rumynin. On the other hand, it is compatible with the t-structure arising from an equivalence with the derived category of perverse sheaves on the affine flag variety of the Langlands dual group. This equivalence established by Arkhipov and the first author fits the framework of local geometric Langlands duality. The latter compatibility allows one to apply Frobenius purity theorem to deduce the desired properties of the basis. We expect the noncommutative counterpart of the Springer resolution to be of independent interest from the perspectives of algebraic geometry and geometric Langlands duality. Contents 0. Introduction 837 0.1. Notations and conventions 841 1. t-structures on cotangent bundles of flag varieties: statements and preliminaries 842 R.B.
    [Show full text]
  • From Triangulated Categories to Cluster Algebras
    FROM TRIANGULATED CATEGORIES TO CLUSTER ALGEBRAS PHILIPPE CALDERO AND BERNHARD KELLER Abstract. The cluster category is a triangulated category introduced for its combinato- rial similarities with cluster algebras. We prove that a cluster algebra A of finite type can be realized as a Hall algebra, called exceptional Hall algebra, of the cluster category. This realization provides a natural basis for A. We prove new results and formulate conjectures on ‘good basis’ properties, positivity, denominator theorems and toric degenerations. 1. Introduction Cluster algebras were introduced by S. Fomin and A. Zelevinsky [12]. They are subrings of the field Q(u1, . , um) of rational functions in m indeterminates, and defined via a set of generators constructed inductively. These generators are called cluster variables and are grouped into subsets of fixed finite cardinality called clusters. The induction process begins with a pair (x,B), called a seed, where x is an initial cluster and B is a rectangular matrix with integer coefficients. The first aim of the theory was to provide an algebraic framework for the study of total positivity and of Lusztig/Kashiwara’s canonical bases of quantum groups. The first result is the Laurent phenomenon which asserts that the cluster variables, and thus the cluster ±1 ±1 algebra they generate, are contained in the Laurent polynomial ring Z[u1 , . , um ]. Since its foundation, the theory of cluster algebras has witnessed intense activity, both in its own foundations and in its connections with other research areas. One important aim has been to prove, as in [1], [31], that many algebras encountered in the theory of reductive Lie groups have (at least conjecturally) a structure of cluster algebra with an explicit seed.
    [Show full text]
  • Birational Geometry Via Moduli Spaces. 1. Introduction 1.1. Moduli
    Birational geometry via moduli spaces. IVAN CHELTSOV, LUDMIL KATZARKOV, VICTOR PRZYJALKOWSKI Abstract. In this paper we connect degenerations of Fano threefolds by projections. Using Mirror Symmetry we transfer these connections to the side of Landau–Ginzburg models. Based on that we suggest a generalization of Kawamata’s categorical approach to birational geometry enhancing it via geometry of moduli spaces of Landau–Ginzburg models. We suggest a conjectural application to Hasset–Kuznetsov–Tschinkel program based on new nonrationality “invariants” we consider — gaps and phantom categories. We make several conjectures for these invariants in the case of surfaces of general type and quadric bundles. 1. Introduction 1.1. Moduli approach to Birational Geometry. In recent years many significant developments have taken place in Minimal Model Program (MMP) (see, for example, [10]) based on the major advances in the study of singularities of pairs. Similarly a categorical approach to MMP was taken by Kawamata. This approach was based on the correspondence Mori fibrations (MF) and semiorthogonal decompositions (SOD). There was no use of the discrepancies and of the effective cone in this approach. In the meantime a new epoch, epoch of wall-crossing has emerged. The current situation with wall-crossing phenomenon, after papers of Seiberg–Witten, Gaiotto–Moore–Neitzke, Vafa–Cecoti and seminal works by Donaldson–Thomas, Joyce–Song, Maulik–Nekrasov– Okounkov–Pandharipande, Douglas, Bridgeland, and Kontsevich–Soibelman, is very sim- ilar to the situation with Higgs Bundles after the works of Higgs and Hitchin — it is clear that general “Hodge type” of theory exists and needs to be developed. This lead to strong mathematical applications — uniformization, Langlands program to mention a few.
    [Show full text]
  • Agnieszka Bodzenta
    June 12, 2019 HOMOLOGICAL METHODS IN GEOMETRY AND TOPOLOGY AGNIESZKA BODZENTA Contents 1. Categories, functors, natural transformations 2 1.1. Direct product, coproduct, fiber and cofiber product 4 1.2. Adjoint functors 5 1.3. Limits and colimits 5 1.4. Localisation in categories 5 2. Abelian categories 8 2.1. Additive and abelian categories 8 2.2. The category of modules over a quiver 9 2.3. Cohomology of a complex 9 2.4. Left and right exact functors 10 2.5. The category of sheaves 10 2.6. The long exact sequence of Ext-groups 11 2.7. Exact categories 13 2.8. Serre subcategory and quotient 14 3. Triangulated categories 16 3.1. Stable category of an exact category with enough injectives 16 3.2. Triangulated categories 22 3.3. Localization of triangulated categories 25 3.4. Derived category as a quotient by acyclic complexes 28 4. t-structures 30 4.1. The motivating example 30 4.2. Definition and first properties 34 4.3. Semi-orthogonal decompositions and recollements 40 4.4. Gluing of t-structures 42 4.5. Intermediate extension 43 5. Perverse sheaves 44 5.1. Derived functors 44 5.2. The six functors formalism 46 5.3. Recollement for a closed subset 50 1 2 AGNIESZKA BODZENTA 5.4. Perverse sheaves 52 5.5. Gluing of perverse sheaves 56 5.6. Perverse sheaves on hyperplane arrangements 59 6. Derived categories of coherent sheaves 60 6.1. Crash course on spectral sequences 60 6.2. Preliminaries 61 6.3. Hom and Hom 64 6.4.
    [Show full text]
  • (Ben) the Convolution Is an Important Way of Combining Two Functions, Letting Us “Smooth Out” Functions That Are Very Rough
    CLASS DESCRIPTIONS|MATHCAMP 2019 Classes A Convoluted Process. (Ben) The convolution is an important way of combining two functions, letting us \smooth out" functions that are very rough. In this course, we'll investigate the convolution and see its connection to the Fourier transform. At the end of the course, we'll explain the Bessel integrals: a sequence of trigono- π metric integrals where the first 7 are all equal to 2 . and then all the rest are not. Why does this pattern start? Why does it stop? One explanation for this phenomenon is based on the convolution. Prerequisites: Know how to take integrals (including improper integrals), some familiarity with limits Algorithms in Number Theory. (Misha) We will discuss which number-theoretic problems can be solved efficiently, and what “efficiently" even means in this case. We will learn how to tell if a 100-digit number is prime, and maybe also how we can tell that 282 589 933 − 1 is prime. We will talk about what's easy and what's hard about solving (linear, quadratic, higher-order) equations modulo n. We may also see a few applications of these ideas to cryptography. Prerequisites: Number theory: you should be comfortable with modular arithmetic (including inverses and exponents) and no worse than mildly uncomfortable with quadratic reciprocity. All About Quaternions. (Assaf + J-Lo) On October 16, 1843, William Rowan Hamilton was crossing the Brougham Bridge in Dublin, when he had a flash of insight and carved the following into the stone: i2 = j2 = k2 = ijk = −1: This two-week course will take you through a guided series of exercises that explore the many impli- cations of this invention, and how they can be used to describe everything from the rotations of 3-D space to which integers can be expressed as a sum of four squares.
    [Show full text]
  • CLASS DESCRIPTIONS—WEEK 5, MATHCAMP 2019 Contents 9:10
    CLASS DESCRIPTIONS|WEEK 5, MATHCAMP 2019 Contents 9:10 Classes 1 10:10 Classes 3 11:10 Classes 6 1:10 Classes 9 2:10 Classes 11 Colloquia 13 Visitor Bios 13 9:10 Classes Electrifying Random Trees. (Will, Tuesday{Wednesday) Consider a graph, and a particular edge in this graph. A natural question to ask is: how important is this edge in connecting the graph together? Here are two ways we might quantify this importance: (1) The spanning trees of the graph give all the ways of minimally connecting the vertices using a subset of the edges. So look at all the spanning trees, and figure out how many of them contain our edge. Put another way, what is the probability that a random spanning tree contains the edge? (2) Build your graph out of 1-ohm resistors. Hook up a 1-volt battery to the ends of your edge, and then measure how many amps of current are passing through that edge (as opposed to going through other paths in the graph). These two numbers are actually the same! In this class, we'll see why. On the way, we'll see how one might generate a random spanning tree in the first place. Chilis: Homework: Recommended. Prerequisites: Familiarity with the language of graphs (i.e., what a tree is; what the degree of a vertex is). Farey Tales. (J-Lo, Tuesday{Friday) The goal of this course is to understand this picture: 1 MC2019 ◦ W5 ◦ Classes 2 Along the way we will encounter Farey series, the Euclidean algorithm, and a geometric interpre- tation of continued fractions.
    [Show full text]
  • Mathematical Tripos Part III Lecture Courses in 2012-2013
    Mathematical Tripos Part III Lecture Courses in 2012-2013 Department of Pure Mathematics & Mathematical Statistics Department of Applied Mathematics & Theoretical Physics Notes and Disclaimers. • Students may take any combination of lectures that is allowed by the timetable. The examination timetable corresponds to the lecture timetable and it is therefore not possible to take two courses for examination that are lectured in the same timetable slot. There is no requirement that students study only courses offered by one Department. • The code in parentheses after each course name indicates the term of the course (M: Michaelmas; L: Lent; E: Easter), and the number of lectures in the course. Unless indicated otherwise, a 16 lecture course is equivalent to 2 credit units, while a 24 lecture course is equivalent to 3 credit units. Please note that certain courses are non-examinable. Some of these courses may be the basis for Part III essays. • At the start of some sections there is a paragraph indicating the desirable previous knowledge for courses in that section. On one hand, such paragraphs are not exhaustive, whilst on the other, not all courses require all the pre-requisite material indicated. However you are strongly recommended to read up on the material with which you are unfamiliar if you intend to take a significant number of courses from a particular section. • The courses described in this document apply only for the academic year 2012-13. Details for subsequent years are often broadly similar, but not necessarily identical. The courses evolve from year to year. • Please note that while an attempt has been made to ensure that the outlines in this booklet are an accurate indication of the content of courses, the outlines do not constitute definitive syllabuses.
    [Show full text]
  • 1 Mathematical Savoir Vivre
    STANDARD,EXCEPTION,PATHOLOGY JERZY POGONOWSKI Department of Applied Logic Adam Mickiewicz University www.logic.amu.edu.pl [email protected] ABSTRACT. We discuss the meanings of the concepts: standard, excep- tion and pathology in mathematics. We take into account some prag- matic components of these meanings. Thus, standard and exceptional objects obtain their status from the point of view of an underlying the- ory and its applications. Pathological objects differ from exceptional ones – the latter may e.g. form a collection beyond some established classification while the former are in a sense unexpected or unwilling, according to some intuitive beliefs shared by mathematicians of the gi- ven epoch. Standard and pathology are – to a certain extent – flexible in the development of mathematical theories. Pathological objects may become „domesticated” and give rise to new mathematical domains. We add a few comments about the dynamics of mathematical intuition and the role of extremal axioms in the search of intended models of mathematical theories. 1 Mathematical savoir vivre Contrary to that what a reader might expect from the title of this section we are not going to discuss the behavior of mathematicians themselves. Rather, we devote our attention to the following phrase which is very common in mathematical texts: An object X is well behaving. Here X may stand for a function, a topological space, an algebraic structure, etc. It should be overtly stressed that well behaving of mathematical objects is al- ways related to some investigated theory or its applications. There is nothing like absolute well behavior – properties of objects are evaluated from a pragmatic point of view.
    [Show full text]
  • Exceptional Collections, and the Néron–Severi Lattice
    EXCEPTIONAL COLLECTIONS, AND THE NERON{SEVERI´ LATTICE FOR SURFACES CHARLES VIAL Abstract. We work out properties of smooth projective varieties X over a (not necessarily algebraically closed) field k that admit collections of objects in the bounded derived category of coherent sheaves Db(X) that are either full exceptional, or numerically exceptional of maximal length. Our main result gives a necessary and sufficient condition on the N´eron{ Severi lattice for a smooth projective surface S with χ(OS ) = 1 to admit a numerically exceptional collection of maximal length, consisting of line-bundles. As a consequence we determine exactly which complex surfaces with pg = q = 0 admit a numerically exceptional collection of maximal length. Another consequence is that a minimal geometrically rational surface with a numerically exceptional collection of maximal length is rational. Introduction Recently, a substantial amount of work [1, 7, 8, 16] was carried out in order to exhibit ex- ceptional collections of line-bundles of maximal length on complex surfaces of general type with pg = q = 0, motivated by the will to exhibit geometric (quasi)-phantom triangulated cate- gories, i.e., categories with trivial or torsion Grothendieck group K0 ; see also [17]. Kuznetsov's recent ICM address [29] sets the notion of exceptional collection into the wider picture of semi- orthogonal decompositions for bounded derived categories of smooth projective varieties. The purpose of this work is twofold : we give arithmetic, and geometric, constraints for the existence of exceptional collections of maximal length on smooth projective surfaces over a field. For instance, on the geometric side, we show that there are no numerical obstructions to the existence of exceptional collections of maximal length on complex surfaces of general type with pg = q = 0 (in fact we give in Theorem 3.10 a complete classification of complex surfaces with pg = q = 0 that admit a numerically exceptional collection of maximal length).
    [Show full text]
  • Arxiv:1803.05063V3
    GEOMETRY OF HOROSPHERICAL VARIETIES OF PICARD RANK ONE R. GONZALES, C. PECH, N. PERRIN, AND A. SAMOKHIN Abstract. We study the geometry of smooth non–homogeneous horospherical varieties of Picard rank one. These have been classified by Pasquier and include the well–known odd symplectic Grassmannians. We focus our study on quantum cohomology, with a view towards Dubrovin’s conjecture. We start with describ- ing the cohomology groups of smooth horospherical varieties of Picard rank one. We show a Chevalley formula for these and establish that many Gromov–Witten invariants are enumerative. This enables us to prove that in many cases the quan- tum cohomology is semisimple. We give a presentation of the quantum cohomology ring for odd symplectic Grassmannians. In the last sections, we turn to derived categories of coherent sheaves. We first discuss a general construction of excep- tional bundles on horospherical varieties. We work out in detail the case of the horospherical variety associated to the exceptional group G2 and construct a full rectangular Lefschetz exceptional collection in the derived category. Contents Introduction 1 1. Horospherical varieties of Picard rank one : geometry 5 2. Moduli space of curves 11 3. Quantum cohomology 15 4. Examples 20 5. The odd symplectic Grassmannian 24 6. Recollections on semiorthogonal decompositions 40 7. A construction of exceptional vector bundles on horospherical varieties 43 8. A full rectangular Lefschetz exceptional collection on the G2–variety 47 9. Appendix 67 References 68 arXiv:1803.05063v4 [math.AG] 30 Aug 2021 Introduction Schubert calculus and enumerative geometry are very classical. One of their many aspects is the study of intersection theory of projective rational homogeneous spaces G/P with G a reductive group and P a parabolic subgroup.
    [Show full text]