The perverse t-structure
|
|
- Moses Joseph
- 5 years ago
- Views:
Transcription
1 The perverse t-struture Milan Lopuhaä Marh 15, The perverse t-struture The goal of today is to define the perverse t-struture and perverse sheaves, and to show some properties of both. In his talk Ben already defined D b (X, Q l ), where X is separated of finite type over a field k in whih l is invertible. We also want to onsider a similar ategory over the omplex numbers. Definition 1.1. Let X be a omplex algebrai variety. The ategory D b (X an, Q) is the full subategory of K D(X an, Q) that are bounded and are loally onstant with respet to some algebrai stratifiation of X, i.e. there is some finite deomposition X = i X i of X into loally losed subshemes of X suh that for every i and every integer n the sheaf j i Hn K is loally onstant, where j i : X i X is the inlusion morphism. Throughout this talk, X is either of the type of Bens's talk, or a omplex algebrai variety. Definition 1.2. Let X be as before. Then a omplex K D b is in p D b, 0 if for every point x X with inlusion i x : Spe(κ(x)) X and every j > dim(x) we have H j (i XK) = 0. Similarly, a omplex K D b is in p D b, 0 if for every point x X with inlusion i x : Spe(κ(x)) X and every j < dim(x) we have H j (i! XK) = 0. Remark 1.3. Another way to formulate the perverse t-struture is: where D is the Verdier duality. Remark 1.4. Let K D b, and let U B p D b, 0 B p D b, 0 K p D b, 0 K p D b, 0 dim supph i B i i, dim supph i DB i i, j X be an open subset of X. Let F j K p D b, 0 j! K p D b, 0 and i X p D b, 0 ; and i! X p D b, 0. i X be its omplement. Then If U is dense and universally smooth (i.e., (U k) red is smooth over k), then this simplifies to K p D b, 0 K p D b, 0 j K D b, dim(u) j! K D b, dim(u) and i X p D b, 0 ; and i! X p D b, 0. 1
2 Theorem 1.5. Let X be as above. Then ( p D b, 0, p D b, 0 ) is a t-struture on D. b Remark 1.6. This definition depends on the so-alled middle perversity, i.e. the funtion X Z given by x dim(x). Another suh a funtion satisfying some onditions is alled a perversity, and different perversities give rise to different t-strutures. In this seminar we will only disuss the middle perversity. Proof of Theorem 1.5. We hek the three properties of t-strutures: 1. If K p D b, 0 and L p D b,>0, then Hom(K, L) = 0: We prove this by indution on dim(x). It is lear for X zerodimensional. Suppose X is of dimension n and that the statement has been proven for all dimensions smaller than n. From the distinguished triangle j! j! K K i i K we get an exat sequene Hom(i i K, L) Hom(K, L) Hom(j! j! K, L). By the adjuntions we know, the first term is isomorphi to Hom(i K, i! L), whih is zero beause of the indution hypothesis. Also, the last term in the sequene is isomorphi to Hom(j B, j! C), whih again is zero, beause j B D b, dim(u) and j! C D b,> dim(u). 2. p D b, 0 p D b, 1, p D b, 1 p D b, 0 : this is lear. 3. There exists a distinguished triangle A K B with A p D b, 0 and B p D b,>0 : again we proeed by indution on dim(x). If dim(x) = 0, the proposition is lear. Now assume X has dimension d and that the statement has been proven for all shemes of dimension < d. Let K be a omplex in D b, and let U be an essentially smooth (i.e. (U k) red is smooth over k) dense open subsheme of X on whih the H n K are loally onstant. Then τ dim(u) K U p D b, 0 τ > dim(u) K U p D b,>0 (U), so τ dim(u) K U K U τ > dim(u) K U (U) and is a distinguished triangle on U that defines the required distinquished triangle on U. Let F be the omplement of U; then dim(f ) < dim(x), so by the indution hypothesis the perverse t- struture is indeed a t-struture on F, and there exists a distinguished triangle p τ 0 K F K F p τ >0 K F that is our required distinguished triangle on F. Now, by what we know of reollements, we an glue the standard t-struture on U and the perverse t-struture on F to find a t-struture on D b, and in this t-struture a triangle A K B that lifts the two triangles mentioned before. Although the t-struture we get in this way is not the perverse t-struture, the triangle is still distinguished, and in fat A p D b, 0 and B p D b,>0 by Remark 1.4 Definition 1.7. The abelian ategory of perverse sheaves Perv(X) is the heart of the perverse t-struture. 2
3 2 t-exat funtors Definition 2.1. Let D 1 and D 2 be two t-strutured ategories with hearts C 1 and C 2, and let f : C D be a morphism of ategories; then we denote p f = H 0 f ɛ. Here H 0 = τ 0 τ 0. Definition 2.2. Let D 1 and D 2 be two t-strutured ategories with hearts C 1 and C 2, and let f : C D be amorphism of triangulated abelian ategories. We say that f is left t-exat if f(d 0 1 ) D 0 2, right t-exat if f(d 0 1 ) D 0 2, and t-exat if both are true. Lemma 2.3. Let D 1 and D 2 be two t-strutured ategories with hearts C 1 and C 2, and let f : C D be a morphism of ategories. Proof. 1. If f is (left, right) t-exat, then p f is (left, right) exat. 2. If f is left (right) t-exat and K is an element of D 0 1, then p fh 0 K H 0 fk. 3. Suppose f has a left adjoint g : D 2 D 1. Then g is right t-exat if and only if f is left t-exat, and in this ase ( p g, p f) form an adjoint pair. 4. If both f and some h: D 2 D 3 are (left, right) t-exat, then h f is as well, and p (h f) = p h f. 1. Let 0 X Y Z be a short exat sequene in C 1 ; then fx, fy, fz D 2 0, so the long exat ohomology sequene gives 0 H 0 fx H 0 fy H 0 fz. The statement on right exatness is dual to this one. 2. If K D 0 1, then H0 K K τ >0 K is a distinguished triangle, hene so is fh 0 K fk fτ >0 K. Sine fτ >0 K is an element of D 2 >0, the long exat sequene gives an isomorphism H 0 fh 0 K H 0 fk. 3. Suppose f is left t-exat, and let U D 1 >0 and V D 0 2. Then Hom(gV, U) = Hom(V, fu) = 0. Sine this is true for all U, one has τ >0 gv = 0, hene gv D 0 1, so g is right t-exat. For A C 1 and B C 2, we find H 0 gb = τ 0 gb and H 0 fa = τ 0 fa; this gives a funtorial isomorphism Hom(H 0 gb, A) = Hom(gB, A) = Hom(B, fa) = Hom(B, H 0 fa). 4. The first point is trivial; furthermore for every A C 1 one has by point 2. p (h f)a = H 0 hfa = H 0 hh 0 fa 3
4 3 t-exatness in the geometri setting Proposition 3.1. Let X be as before, let U X be a Zariski open on X, and let F Consider the perverse t-struture on all shemes. j 1. j! and i are right t-exat, j and i! are left t-exat, and j (= j! ) and i (= i! ) are t-exat. 2. There are adjuntions ( p i, p i ), ( p i!, p i! ), ( p j!, p j! ), ( p j, p j ). 3. The ompositions p j p i, p i p j!, p i!p j are zero. 4. For A Perv(F ) and B Perv(U) one has 5. For A Perv(X) the sequenes Hom( p j! B, p i A) = Hom( p i A, p j B) = 0. p j! p j A A p i p i A 0 i X be its losed omplement. and are exat. 0 p i p i! A A p j p j A Proof. 6. p i, p j! and p j are fully faithful, i.e. the natural transformations p i p i id p i!p i and p j p j id p j p j! are isomorphisms. 1. By definition of the perverse t-struture, j = j! is t-exat, i is right t-exat, and i! is left t-exat. By Lemma i = i! is t-exat, j! is right t-exat, and i! is left t-exat. The result now follows from Lemma This now follows diretly from Lemma This follows from j i = 0 (et). 4. This is a diret onsequene of the former statement. 5. This follows from the fat that and are distinguished. j! j A A i i A i i! A A j j A 6. This follows from the fat that these are isomorphisms without the p. Proposition 3.2. Let f : X Y be a quasifinite morphism. Then f! and f are right t-exat, and f! are f are left t-exat. 4
5 Proof. Let K D b (X). One has that K D b, 0 (X) if and only if dimsupph i K i. f! is exat on sheaves, so H i Rf! K = f! H i K, so SuppH i f! K = f(supp H i K) and dim Supp H i f! K = dim Supp H i K, whih proves that f! is right t-exat. The proof for f is similar, and the result for f! and f follow by adjuntion. Theorem 3.3. Let X and Y be separated shemes of finite type over k, and let l be a prime invertible in k. If f : X Y is an affine morphism, the funtor f : D b (X, Q l ) D b (Y, Q l ) is right t-exat. Proof. Let F be a onstrutible sheaf (on X or Y ), and let d(f ) be the smallest integer suh that F p D d(f ). If K is an objet in the derived ategory, then we define d(k) = sup(i + d(h i K)); then again d(k) is the smallest d suh that K p D d(k) ; hene K p D 0 if and only if all the H i K[ i] are. Hene we need to show that if F is a sheaf suh that d(f ) d, then d(r i f F ) d i; but this is proven in (SGA4, XIV 3.1). Corollary 3.4. With the notation as above, f! is left t-exat. Proof. This follows from Verdier duality. Corollary 3.5. If f : X Y is quasi-finite and affine, the funtors f! and f are t-exat. 5
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationPERVERSE SHEAVES: PART I
PERVERSE SHEAVES: PART I Let X be an algebraic variety (not necessarily smooth). Let D b (X) be the bounded derived category of Mod(C X ), the category of left C X -Modules, which is in turn a full subcategory
More informationDerived categories, perverse sheaves and intermediate extension functor
Derived categories, perverse sheaves and intermediate extension functor Riccardo Grandi July 26, 2013 Contents 1 Derived categories 1 2 The category of sheaves 5 3 t-structures 7 4 Perverse sheaves 8 1
More informationLECTURE 22: MAPPING DEGREE, POINCARE DUALITY
LECTURE 22: APPING DEGREE, POINCARE DUALITY 1. The mapping degree and its appliations Let, N be n-dimensional onneted oriented manifolds, and f : N a proper map. (If is ompat, then any smooth map f : N
More information8 Perverse Sheaves. 8.1 Theory of perverse sheaves
8 Perverse Sheaves In this chapter we will give a self-contained account of the theory of perverse sheaves and intersection cohomology groups assuming the basic notions concerning constructible sheaves
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
More information1. THE CONSTRUCTIBLE DERIVED CATEGORY
1. THE ONSTRUTIBLE DERIVED ATEGORY DONU ARAPURA Given a family of varieties, we want to be able to describe the cohomology in a suitably flexible way. We describe with the basic homological framework.
More informationarxiv: v3 [math.ag] 11 Mar 2016
THE FULL EXCEPTIONAL COLLECTIONS OF CATEGORICAL RESOLUTIONS OF CURVES ZHAOTING WEI arxiv:1506.02991v3 [math.ag] 11 Mar 2016 ABSTRACT. This paper gives a omplete answer of the following question: whih (singular,
More informationLECTURE NOTES FOR , FALL 2004
LECTURE NOTES FOR 18.155, FALL 2004 83 12. Cone support and wavefront set In disussing the singular support of a tempered distibution above, notie that singsupp(u) = only implies that u C (R n ), not as
More informationAN INTRODUCTION TO PERVERSE SHEAVES AND CHARACTER SHEAVES
AN INTRODUCTION TO PERVERSE SHEAVES AND CHARACTER SHEAVES ANNE-MARIE AUBERT Abstract. After a brief review of derived categories, triangulated categories and t-structures, we shall consider the bounded
More informationNOTES ON GROUPOIDS, IMAGINARIES AND INTERNAL COVERS
NOTES ON GROUPOIDS, IMAGINARIES AND INTERNAL COVERS OLEG CHTERENTAL April 30, 2009 These notes are an exposition of the beginning of Ehud Hrushovski s paper Groupoids, Imaginaries and Internal Covers.
More informationPerverse sheaves learning seminar: Perverse sheaves and intersection homology
Perverse sheaves learning seminar: Perverse sheaves and intersection homology Kathlyn Dykes November 22, 2018 In these notes, we will introduce the notion of t-structures on a triangulated cateogry. The
More informationWHAT DOES THE CLASSIFYING SPACE OF A CATEGORY CLASSIFY? Introduction. Homology, Homotopy and Applications, vol. 7(1), 2005, pp MICHAEL WEISS
Homology, Homotopy and Appliations, vol. 7(1), 2005, pp.185 195 Introdution WHAT DOES THE CLASSIFYING SPACE OF A CATEGORY CLASSIFY? MICHAEL WEISS (ommuniated by Graham Ellis) Abstrat The lassifying spae
More informationPart II: Recollement, or gluing
The Topological Setting The setting: closed in X, := X. i X j D i DX j D A t-structure on D X determines ones on D and D : D 0 = j (D 0 X ) D 0 = (i ) 1 (D 0 X ) Theorem Conversely, any t-structures on
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More informationModal Horn Logics Have Interpolation
Modal Horn Logis Have Interpolation Marus Kraht Department of Linguistis, UCLA PO Box 951543 405 Hilgard Avenue Los Angeles, CA 90095-1543 USA kraht@humnet.ula.de Abstrat We shall show that the polymodal
More informationCOALGEBRAS, BRAIDINGS, AND DISTRIBUTIVE LAWS
COALGEBRAS, BRAIDINGS, AND DISRIBUIVE LAWS SEFANO KASANGIAN, SEPHEN LACK, AND ENRICO M. VIALE o Aurelio Carboni on his 60th birthday ABSRAC. We show, for a monad, that oalgebra strutures on a -algebra
More informationdi Scienze matematiche, fisiche e naturali Corso di Laurea in Matematica
Università degli studi di Padova Facoltà di Scienze matematiche, fisiche e naturali Corso di Laurea in Matematica Tesi Magistrale Perversity of the Nearby Cycles Relatore: Ch.mo Prof. Bruno Chiarellotto
More informationWe will show that: that sends the element in π 1 (P {z 1, z 2, z 3, z 4 }) represented by l j to g j G.
1. Introdution Square-tiled translation surfaes are lattie surfaes beause they are branhed overs of the flat torus with a single branhed point. Many non-square-tiled examples of lattie surfaes arise from
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationIC of subvarieties. Logarithmic perversity. Hyperplane complements.
12. Lecture 12: Examples of perverse sheaves 12.1. IC of subvarieties. As above we consider the middle perversity m and a Whitney stratified space of dimension n with even dimensional strata. Let Y denote
More informationAdvanced Computational Fluid Dynamics AA215A Lecture 4
Advaned Computational Fluid Dynamis AA5A Leture 4 Antony Jameson Winter Quarter,, Stanford, CA Abstrat Leture 4 overs analysis of the equations of gas dynamis Contents Analysis of the equations of gas
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationDERIVED CATEGORIES OF COHERENT SHEAVES
DERIVED CATEGORIES OF COHERENT SHEAVES OLIVER E. ANDERSON Abstract. We give an overview of derived categories of coherent sheaves. [Huy06]. Our main reference is 1. For the participants without bacground
More informationConstructible Derived Category
Constructible Derived Category Dongkwan Kim September 29, 2015 1 Category of Sheaves In this talk we mainly deal with sheaves of C-vector spaces. For a topological space X, we denote by Sh(X) the abelian
More informationTHE l-primary TORSION CONJECTURE FOR ABELIAN SURFACES WITH REAL MULTIPLICATION
THE l-primary TORSION CONJECTURE FOR ABELIAN SURFACES WITH REAL MULTIPLICATION ANNA CADORET Abstrat. We prove that the Bombieri-Lang onjeture implies the l-primary torsion onjeture for abelian surfaes
More informationHankel Optimal Model Order Reduction 1
Massahusetts Institute of Tehnology Department of Eletrial Engineering and Computer Siene 6.245: MULTIVARIABLE CONTROL SYSTEMS by A. Megretski Hankel Optimal Model Order Redution 1 This leture overs both
More informationOrdered fields and the ultrafilter theorem
F U N D A M E N T A MATHEMATICAE 59 (999) Ordered fields and the ultrafilter theorem by R. B e r r (Dortmund), F. D e l o n (Paris) and J. S h m i d (Dortmund) Abstrat. We prove that on the basis of ZF
More informationEQUIVALENCES OF TRIANGULATED CATEGORIES AND FOURIER MUKAI TRANSFORMS
EQUIVALENCES OF TRIANGULATED CATEGORIES AND FOURIER MUKAI TRANSFORMS TOM BRIDGELAND ABSTRACT We give a condition for an exact functor between triangulated categories to be an equivalence. Applications
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationA Characterization of Wavelet Convergence in Sobolev Spaces
A Charaterization of Wavelet Convergene in Sobolev Spaes Mark A. Kon 1 oston University Louise Arakelian Raphael Howard University Dediated to Prof. Robert Carroll on the oasion of his 70th birthday. Abstrat
More informationLecture 2 Sheaves and Functors
Lecture 2 Sheaves and Functors In this lecture we will introduce the basic concept of sheaf and we also will recall some of category theory. 1 Sheaves and locally ringed spaces The definition of sheaf
More informationOn Component Order Edge Reliability and the Existence of Uniformly Most Reliable Unicycles
Daniel Gross, Lakshmi Iswara, L. William Kazmierzak, Kristi Luttrell, John T. Saoman, Charles Suffel On Component Order Edge Reliability and the Existene of Uniformly Most Reliable Uniyles DANIEL GROSS
More informationSome facts you should know that would be convenient when evaluating a limit:
Some fats you should know that would be onvenient when evaluating a it: When evaluating a it of fration of two funtions, f(x) x a g(x) If f and g are both ontinuous inside an open interval that ontains
More informationmax min z i i=1 x j k s.t. j=1 x j j:i T j
AM 221: Advaned Optimization Spring 2016 Prof. Yaron Singer Leture 22 April 18th 1 Overview In this leture, we will study the pipage rounding tehnique whih is a deterministi rounding proedure that an be
More informationThere are several equivalent definitions of H BM (X), for now the most convenient is in terms of singular simplicies. Let Ci
1. Introduction The goal of this course is to give an introduction to perverse sheaves, to prove the decomposition theorem and then to highlight several applications of perverse sheaves in current mathematics.
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5
More informationPERVERSE SHEAVES ON A TRIANGULATED SPACE
PERVERSE SHEAVES ON A TRIANGULATED SPACE A. POLISHCHUK The goal of this note is to prove that the category of perverse sheaves constructible with respect to a triangulation is Koszul (i.e. equivalent to
More information2 Passing to cohomology Grothendieck ring Cohomological Fourier-Mukai transform Kodaira dimension under derived equivalence 15
Contents 1 Fourier Mukai Transforms 3 1.1 Grothendieck-Verdier Duality.................. 3 1.1.1 Corollaries......................... 3 1.2 Fourier Mukai Transforms.................... 4 1.2.1 Composition
More informationarxiv:math/ v1 [math.ac] 10 Mar 2005
arxiv:math/0503187v1 [math.ac] 10 Mar 2005 STANLEY REISNER RINGS WITH LARGE MULTIPLICITIES ARE COHEN MACAULAY NAOKI TERAI AND KEN-ICHI YOSHIDA Abstrat. We prove that ertain lass of Stanley Reisner rings
More informationAlgebraic Geometry I Lectures 14 and 15
Algebraic Geometry I Lectures 14 and 15 October 22, 2008 Recall from the last lecture the following correspondences {points on an affine variety Y } {maximal ideals of A(Y )} SpecA A P Z(a) maximal ideal
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationSection Higher Direct Images of Sheaves
Section 3.8 - Higher Direct Images of Sheaves Daniel Murfet October 5, 2006 In this note we study the higher direct image functors R i f ( ) and the higher coinverse image functors R i f! ( ) which will
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationSPLINE ESTIMATION OF SINGLE-INDEX MODELS
SPLINE ESIMAION OF SINGLE-INDEX MODELS Li Wang and Lijian Yang University of Georgia and Mihigan State University Supplementary Material his note ontains proofs for the main results he following two propositions
More informationWEIGHT STRUCTURES AND SIMPLE DG MODULES FOR POSITIVE DG ALGEBRAS
WEIGHT STRUCTURES AND SIMPLE DG MODULES FOR POSITIVE DG ALGEBRAS BERNHARD KELLER AND PEDRO NICOLÁS Abstract. Using techniques due to Dwyer Greenlees Iyengar we construct weight structures in triangulated
More informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
More informationParametric Solutions of Pell s Equation
PROCEEDINGS OF THE ROMAN NUMBER THEORY ASSOCIATION Volume 1, Number 1, Marh 2016, pages 43 48 Leonardo Zapponi Parametri Solutions of Pell s Equation written by Pietro Meruri 1 Introdution An ordinary
More informationMethods of evaluating tests
Methods of evaluating tests Let X,, 1 Xn be i.i.d. Bernoulli( p ). Then 5 j= 1 j ( 5, ) T = X Binomial p. We test 1 H : p vs. 1 1 H : p>. We saw that a LRT is 1 if t k* φ ( x ) =. otherwise (t is the observed
More informationYuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99
Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by
More informationHOMOMORPHISMS OF VECTOR BUNDLES ON CURVES AND PARABOLIC VECTOR BUNDLES ON A SYMMETRIC PRODUCT
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 9, September 2012, Pages 3017 3024 S 0002-9939(2012)11227-4 Article electronically published on January 24, 2012 HOMOMORPHISMS OF VECTOR
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationBUILDING A MODEL CATEGORY OUT OF MULTIPLIER IDEAL SHEAVES
Theory and Applications of Categories, Vol. 32, No. 13, 2017, pp. 437 487. BUILDING A MODEL CATEGORY OUT OF MULTIPLIER IDEAL SHEAVES SEUNGHUN LEE Abstract. We will construct a Quillen model structure out
More informationNOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE
NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the
More informationGrothendieck duality for affine M 0 -schemes.
Grothendieck duality for affine M 0 -schemes. A. Salch March 2011 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and
More informationarxiv: v3 [math.ag] 25 Jun 2015
Exact functors on perverse coherent sheaves arxiv:1305.1355v3 [math.ag] 25 Jun 2015 Abstract Inspired by symplectic geometry and a microlocal characterizations of perverse (constructible) sheaves we consider
More informationDESCENT THEORY (JOE RABINOFF S EXPOSITION)
DESCENT THEORY (JOE RABINOFF S EXPOSITION) RAVI VAKIL 1. FEBRUARY 21 Background: EGA IV.2. Descent theory = notions that are local in the fpqc topology. (Remark: we aren t assuming finite presentation,
More informationChapter 8 Hypothesis Testing
Leture 5 for BST 63: Statistial Theory II Kui Zhang, Spring Chapter 8 Hypothesis Testing Setion 8 Introdution Definition 8 A hypothesis is a statement about a population parameter Definition 8 The two
More informationDERIVED CATEGORIES: LECTURE 4. References
DERIVED CATEGORIES: LECTURE 4 EVGENY SHINDER References [Muk] Shigeru Mukai, Fourier functor and its application to the moduli of bundles on an abelian variety, Algebraic geometry, Sendai, 1985, 515 550,
More informationCounting Idempotent Relations
Counting Idempotent Relations Beriht-Nr. 2008-15 Florian Kammüller ISSN 1436-9915 2 Abstrat This artile introdues and motivates idempotent relations. It summarizes haraterizations of idempotents and their
More informationMath 225B: Differential Geometry, Homework 6
ath 225B: Differential Geometry, Homework 6 Ian Coley February 13, 214 Problem 8.7. Let ω be a 1-form on a manifol. Suppose that ω = for every lose urve in. Show that ω is exat. We laim that this onition
More informationAbelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005)
Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005) U. Bunke April 27, 2005 Contents 1 Abelian varieties 2 1.1 Basic definitions................................. 2 1.2 Examples
More informationarxiv:math/ v1 [math.ag] 8 Jun 2006
PERVERSE SHEAVES ON ARTIN STACKS arxiv:math/0606175v1 [math.ag] 8 Jun 2006 YVES LASZLO AND MARTIN OLSSON Abstract. In this paper we develop the theory of perverse sheaves on Artin stacks continuing the
More informationCHARACTERIZATIONS OF THE LOGARITHM AS AN ADDITIVE FUNCTION
Annales Univ. Si. Budapest., Set. Comp. 6 (2004) 45-67 CHARACTERIZATIONS OF THE LOGARITHM AS AN ADDITIVE FUNCTION Bui Minh Phong (Budapest, Hungary) Dediated to Professor János Balázs on the oasion of
More informationPURITY FOR INTERSECTION COHOMOLOGY AFTER DELIGNE-GABBER
PURITY FOR INTERSECTION COHOMOLOGY AFTER DELIGNE-GABBER D. ARAPURA These notes are my translation and slight expansion of Deligne s unpublished paper Pureté de la cohomologie de MacPherson-Goresky where
More informationSOME PROPERTIES OF LOCALLY CONFORMAL SYMPLECTIC MANIFOLDS
SOME PROPERTIES OF LOCALLY CONFORMAL SYMPLECTIC MANIFOLDS STEFAN HALLER Abstrat. The aim of this note is to give an overview of what loally onformal sympleti manifolds are and to present some results,
More informationEstimating the probability law of the codelength as a function of the approximation error in image compression
Estimating the probability law of the odelength as a funtion of the approximation error in image ompression François Malgouyres Marh 7, 2007 Abstrat After some reolletions on ompression of images using
More informationDimensions of Triangulated Categories, joint work with M. Ballard and L. Katzarkov
Dimensions of Triangulated Categories, joint work with M. Ballard and L. Katzarkov David Favero University of Miami January 21, 2010 The Dimension of a Triangulated Category The Dimension of a Triangulated
More informationNonreversibility of Multiple Unicast Networks
Nonreversibility of Multiple Uniast Networks Randall Dougherty and Kenneth Zeger September 27, 2005 Abstrat We prove that for any finite direted ayli network, there exists a orresponding multiple uniast
More informationAfter the completion of this section the student should recall
Chapter I MTH FUNDMENTLS I. Sets, Numbers, Coordinates, Funtions ugust 30, 08 3 I. SETS, NUMERS, COORDINTES, FUNCTIONS Objetives: fter the ompletion of this setion the student should reall - the definition
More informationG-subsets and G-orbits of Q ( n) under action of the Modular Group.
arxiv:1009.4619v1 [math.gr] 23 Sep 2010 G-subsets and G-orbits of Q ( n) under ation of the Modular Group. M. Aslam Malik and M. Riaz Department of Mathematis, University of the Punjab, Quaid-e-Azam Campus,
More informationShow that the second projection Ñ Fl n identifies Ñ as a vector bundle over Fl n. In particular, Ñ is smooth. (Challenge:
1. Examples of algebraic varieties and maps Exercise 1.1 Let C be a smooth curve and f : C P 1 a degree two map ramified at n points. (C is called a hyperelliptic curve.) Use the n ramification points
More informationProbabilistic Graphical Models
Probabilisti Graphial Models David Sontag New York University Leture 12, April 19, 2012 Aknowledgement: Partially based on slides by Eri Xing at CMU and Andrew MCallum at UMass Amherst David Sontag (NYU)
More informationCOMPARISON OF GEOMETRIC FIGURES
COMPARISON OF GEOMETRIC FIGURES Spyros Glenis M.Ed University of Athens, Department of Mathematis, e-mail spyros_glenis@sh.gr Introdution the figures: In Eulid, the geometri equality is based on the apability
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationA new insight into Serre s reduction problem
A new insight into Serre s redution problem Thomas Cluzeau, Alban Quadrat RESEARCH REPORT N 8629 November 214 Projet-Team Diso ISSN 249-6399 ISRN INRIA/RR--8629--FR+ENG A new insight into Serre s redution
More informationarxiv: v1 [math.ag] 13 Sep 2015
ENHANCED PERVERSITIES ANDREA D AGNOLO AND ASAKI KASHIWARA arxiv:1509.03791v1 [math.ag] 13 Sep 2015 Abstract. On a complex manifold, the Riemann-Hilbert correspondence embeds the triangulated category of
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationu ρ ω x u ρ λ x = 0, ρ ω x + ρ λ y + u σ
> restart: > with(oremodules): > with(oremorphisms); > with(linalg): We onsider the approximation of the steady two dimensional rotational isentropi flow studied in page 436 of R. Courant, D. Hilbert,
More informationSolutions to some of the exercises from Tennison s Sheaf Theory
Solutions to some of the exercises from Tennison s Sheaf Theory Pieter Belmans June 19, 2011 Contents 1 Exercises at the end of Chapter 1 1 2 Exercises in Chapter 2 6 3 Exercises at the end of Chapter
More informationThe Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Shrödinger International Boltzmanngasse 9 Institute for Mathematial Physis A-1090 Wien, Austria Moduli Spaes of Holomorphi Triples over Compat Riemann Surfaes Steven B. Bradlow Osar Garia-Prada
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
More informationLecture 9 - Faithfully Flat Descent
Lecture 9 - Faithfully Flat Descent October 15, 2014 1 Descent of morphisms In this lecture we study the concept of faithfully flat descent, which is the notion that to obtain an object on a scheme X,
More informationD-manifolds and derived differential geometry
D-manifolds and derived differential geometry Dominic Joyce, Oxford University September 2014 Based on survey paper: arxiv:1206.4207, 44 pages and preliminary version of book which may be downloaded from
More informationBasic Facts on Sheaves
Applications of Homological Algebra Spring 2007 Basic Facts on Sheaves Introduction to Perverse Sheaves P. Achar Definition 1. A sheaf of abelian groups F on a topological space X is the following collection
More informationTHE DECOMPOSITION THEOREM AND THE TOPOLOGY OF ALGEBRAIC MAPS
THE DECOMPOSITION THEOREM AND THE TOPOLOGY OF ALGEBRAIC MAPS Abstract. Notes from fives lectures given by Luca Migliorini in Freiburg in February 2010. Notes by Geordie Williamson. 1. Lecture 1: Hodge
More informationSurface group representations, Higgs bundles, and holomorphic triples
Surfae group representations, Higgs bundles, and holomorphi triples Steven B. Bradlow 1,2 Department of Mathematis, University of Illinois, Urbana, IL 61801, USA E-mail: bradlow@math.uiu.edu Osar Garía
More information(, ) Anti Fuzzy Subgroups
International Journal of Fuzzy Mathematis and Systems. ISSN 2248-9940 Volume 3, Number (203), pp. 6-74 Researh India Publiations http://www.ripubliation.om (, ) Anti Fuzzy Subgroups P.K. Sharma Department
More informationModules over a Ringed Space
Modules over a Ringed Space Daniel Murfet October 5, 2006 In these notes we collect some useful facts about sheaves of modules on a ringed space that are either left as exercises in [Har77] or omitted
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationCryptography, winter term 16/17: Sample solution to assignment 2
U N S A R I V E R S A V I E I T A S N I S S Cryptography, winter term 6/7: Sample solution to assignment Cornelius Brand, Mar Roth Exerise. (Messing up the one-time pad) Consider the following modifiation
More informationCALABI-YAU ALGEBRAS AND PERVERSE MORITA EQUIVALENCES
CALABI-YAU ALGEBRAS AND PERERSE MORITA EQUIALENCES JOSEPH CHUANG AND RAPHAËL ROUQUIER Preliminary Draft Contents 1. Notations 2 2. Tilting 2 2.1. t-structures and filtered categories 2 2.1.1. t-structures
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More information