CHUANHAO WEI. <0 (M[!D]) ) Sp X (M[!D]) . In particular, V D <0(M[!D]) = V D <0M. Further, if M
|
|
- Esmond Allen
- 6 years ago
- Views:
Transcription
1 LOGARITMIC COMPARISON WIT SMOOT BOUNARY IISOR IN MIXE OGE MOULES arxiv: v1 [math.ag] 20 Oct 2017 CUANAO WEI 1. Introduction The main goal of this paper is to use filtered log--modules to represent the dual localization of Saito s Mixed odge Modules along a smooth hypersurface, and show that they also behave well under the direct image functor and the dual functor in the derived category of filtered log--modules. We will apply the results of this paper to prove a generalization of the results of M. Popa and C. Schnell [PS14] in the log setting. This generalization will appear in [Wei17]. We first generalize the logarithmic comparison theorem of Grothendieck-eligne into the language of Mixed odge Modules: Theorem. Let M be a right X -module that represents a Mixed odge Module on a smooth variety X. Let be a normal crossing divisor on X. Assuming that M is of normal crossing type respect to a normal crossing divisor which contains, then we have Sp X, 0 M[ ] Sp X M[ ] Sp X, <0 M[!] Sp X M[!] in G CX, the derived category of graded C X -modules. Note that when we are taking the <0 piece, it only depends on M X\. In particular, <0M[!] = <0M. Further, if M X\ is an admissible variation of mixed odge structures, after a right-to-left side changing functor, replacing the Spencer functor by the de Rham functor, and forgetting the filtration, this is just the classical logarithmic comparison theorem: R X, Ri R X,resp. Ri! R X, where i : X \ X is the natural embedding,, is eligne s canonical extension that admits a logarithmic connection with and Re{eigenvalues of Res i } 1,0], resp. Re{eigenvalues of Res i } [ 1,0, R X, := [0 Ω 1 X log Ω dx X log 0].
2 2 CUANAO WEI is the log-de Rham complex of. We refer to [Wu16] for a survey on this topic. See also [Sai90, 3.] for an exposition of the extensions in terms of Mixed odge Modules of normal crossing type. One of the main theorems in this paper that will immediately imply the theorem above is: Theorem. Let be a normal crossing divisor on a smooth variety X. Given two sub-divisor S and a Mixed odge Module M of normal crossing type respect to, a normal crossing divisor that contains, then we have the following two quasi-isomorphisms in G X,S : 0 M[ ] L X, X,S S 0 M[ ]. <0M[!] L X, X,S S <0 M[!]. One observation is that, if we assume is smooth, then the previous theorem holds for any Mixed odge module on X. One big advantage of thinking of Mixed odge Modules is due to the fact that they behave well under the direct image functor of projective morphsims. Similarly, the log- -modules we considered above also behave well under direct image functors in the following sense: Theorem. Fix a projective morphism of log-smooth pairs f : X, X Y, Y and a Mixed odge Module M on X. Assume Y is smooth. If X is not smooth, we further assume that M is of normal crossing type respect to a normal crossing divisor that contains X. Then we have i f # 0 X M [ X] = 0 Y i f # <0 X M [! X] = <0 Y i f + M [ Y ]. i f + M [! Y ]. In particular, the funtor f # is strict on X 0 M[ X ] and X <0 M[!X ]. We also show that such log- -modules behave well under the dual functor: Theorem. Let M be a Mixed odge Module on X, be a smooth divisor on X. Let M be the dual Mixed odge Module of M. We have X, 0 M[ ] <0 M [!] X, <0 M[!] 0 M [ ] In particular, we have that both X, 0 M[ ] and X, <0 M[!] are strict. All the results above can be stated without the odge filtration. owever, the existence of the odge filtration and its compatibility with the Kashiwara- Malgrange filtration is essential in the proof of the theorems. By keeping track the odge filtration and the strictness properties that we obtain, we can also get some explicit formulae for the associated graded modules: Corollary 16, Corollary 18, which can be very useful in some geometric applications. We first fix the notations in Section 2, 3, 4. They will be stated in the general setting of log--modules. In Section 5, we prove the comparison theorem. The theorems about the direct image functor and dual functor will be proved in Section 6 and 7 respectively.
3 LOG-COMPARISON WIT SMOOT BOUNARY IISOR IN MM 3 We will consider right log--modules in this paper if not otherwise specified, since the direct image functor is easier to be explicitly written down in the right module setting. The Mixed odge Modules that we are discussing here are all assumed to be algebraic. In particular, they are extendable [Sai90, 4]. We use strict right -module to represent a Mixed odge Module, forgetting the weight filtration. All algebraic varieties that we work with in this paper are smooth and over the complex number field C. Acknowledgment. The author would like to express his gratitude to his adviser Christopher acon for suggesting this topic and useful discussions. The author thanks Linquan Ma, Christian Schnell, Lei Wu and Ziwen Zhu for answering his questions. uring the preparation of this paper, the author was partially supported by MS and a grant from the Simons Foundation, Award Number Preliminaries In this section, we first define the log--module corresponding to a log-smooth pair. Then we recall the notions appeared in [SS16, Appendix A.], but in the log -modules setting. We will also define some basic functors: the Spencer functor, the pushforward functor and the dual functor, on the derived category of log- modules. If we set the boundary divisor = 0, we will get the same functors on the derived category of modules. Given a log-smooth pair X,, i.e., a smooth variety X with a normal crossing divisor on X, with = n being its decomposition of irreducible components. enote dimx = d X. Working locally on X, we can assume that X is just a polydisc dx in C dx. Let x 1,...,x dx be a local analytic coordinate system on X and is the simply normal crossing SNC divisor that defined by y := x 1... x n = 0. Let 1,..., n be the dual basis of dx 1,...,dx dx. We define T X,, the sheaf of the log-tangent bundle on X,, to be the locally free sheaf that is locally generated over O X by {x 1 1,...,x n n, n+1,..., dx }. T X, is naturally a sub-sheaf of T X, the sheaf of the tangent bundle over X. Similarly, we define X,, the sheaf of logarithmic differential operators on X,, to be the sub-o X -algebra of X that is locally generated by {x 1 1,...,x n n, n+1,..., dx }. If = 0, X, = X. There is a natural filtration F on X given by the degree of the differential operators. We denote X = R F X := p F p X, the Rees algebra induced by X,F. For any differential operator t F 1 X, we denote := t z R F X. enote by MG X, the category of graded X modules whose morphisms are graded morphisms of degree zero, and we call it the category of associated Rees modules of the category of filtered X -modules MF X. Note that MG X is an abelian category. See [SS16, efinition A.2.3] for details. ence, we can define the derived category of MG X, and we denote it by G X. We also use
4 4 CUANAO WEI G X, {,+,b} to denote the bounded above, bounded below, bounded condition respectively on the derived category. Recall that, we say M MG X is a coherent X -module if M is locally finitely presented, i.e. if for any x X, there exists an open neighborhood U x of x and an exact sequence: q X Ux p X Ux M Ux. We denote by MG coh X, the full subcategory MG X with the objects that are coherent. Note that we know MG coh X is also an abelian category. We refer to [SS16, A.9. A.10.] for a discussion on this topic. Fix M MG X, we can write M p, the p-th graded piece as M p = F p M z p, where F p M is an O X -module. If M is a coherent X -module, then F p M is a coherent O X -module. Similarly, we have a natural filtration F on X,, and denote X, = R F X, := p F p X,. We similarly use MG coh X,, G X, to denote the corresponding categories as above. Let ÕX bethesheafgivenbythegradedring O X [z] = R F O X, wherethefiltration F on O X is the trivial one. We denote C X = C X [z] as a graded sub-ring of Õ X. Further, given a coherent O X -module L, we denote L = L[z], the induced graded Õ X -module. From now on, we will omit the word graded as long as it is clear from the context. As in [SS16, A.5.] and [CM99, 3.1], we define the logarithmic Spencer complex on a X, -module M, by Sp X, M := {0 M n TX,... M T X, M 0}, with the C X -linear differential map locally given by k m ξ 1... ξ k 1 i 1 mξ i ξ 1... ˆξ i... ξ k + i=1 i 1 m [ξ i,ξ j ] ξ 1... ˆξ i... ˆξ j... ξ k, i<j whereξ 1,...,ξ dx isalocalbasisoft X, z. Wehavethefollowing[CM99,Theorem ] Theorem 1. Sp X, X, is a resolution of Õ X as left X, -modules. Proof. We only need to show it respect to Gr F Sp X, X,, the complex of its associated graded pieces. owever, it is straight forward to check that it is just K ξ 1,...,ξ dx ;Gr F X,,
5 LOG-COMPARISON WIT SMOOT BOUNARY IISOR IN MM 5 the Koszul complex of Gr F X,, with ξ 1,...,ξ dx Gr F 1 X,. It is obvious that ξ 1,...,ξ dx is a regular sequence and generates Gr F X, over Gr F Õ X. ence Gr F Sp X, X, Gr F Õ X. ence, we can view the logarithmic Spencer complex in the following way. We have the right exact functor: X, Õ X : MG X, MG CX, by M M X, Õ X. We can define its left derived functor Sp X, = L X, Õ X : G X, by Sp X, M = M L X, Õ X. G CX, Note that each term of Sp X, X, is locally free over X,. ence due to Theorem 1, we have Sp X, M M L X, Õ X To relieve the burden of notation, in the rest of the paper, means Õ or O depending on the context if not otherwise specified. As in the X case [Sai88, ] [SS16, Exercise A.3.9], there are two right X, -module structures on M X, which are defined by : { m P triv f = m Pf right triv : m P triv ξ = m Pξ { m P tens f = mf P right tens : m P tens ξ = mξ P m ξp. We call the first one the trivial right X, -module structure, and the second one the right X, -module structure induced by tensor product. Proposition 2. There is a unique involution τ : M X, M X, which exchanges both structures and is the identity on M 1. It is given by m P mp 1 m P. Since it can be checked directly, we omit the proof here. See [Sai88, 2.4.2] for details. Consider the identity functor: ÕX : G X, G X,.
6 6 CUANAO WEI Replacing ÕX by Sp X, X,, we get that, for any M MG X,, M Sp X, M X, triv {0 M X, n TX,... triv M X, T X, M X, 0}, triv triv which is a resolution of M by right X, -modules where X, acts on M X, triv i TX, using the induced tensor X, -module structure: m P tf =mf P t, m P tq =mq P t m QP t, for any function f and differential operator P. Apply the involution in 2 onto the previous Spencer complex, we get that M Sp X, M 1 X, tens {0 M X, tens n TX,... M X, T X, M X, 0}. tens tens It is also a resolution of M by right X, -modules where X, acts on M X, using the trivial X, -module structure: tens i TX, m P tf = m Pf t, m P tq = m PQ t. Now we start to define the pushforward functor. Given a morphism of logsmooth pairs f : X, X Y, Y, we can similarly define MG f 1 Y,Y, the category of f 1 Y, Y -modules, which is an abelian category. ence we can define the corresponding derived category G f 1 Y, Y. We denote X, X Y, Y = ÕX f 1 Õ Y f 1 Y, Y, which is a left X, X, right f 1 Y, Y -module. We define the relative logarithmic Spencer functor: Sp X,X Y, Y : G X, X G f 1 Y, Y, by Sp X, X Y, M = M Y L X,X X, X Y, Y. The topological direct image gives a functor f : MG f 1 Y,Y MG Y,Y.
7 LOG-COMPARISON WIT SMOOT BOUNARY IISOR IN MM 7 Since MG f 1 Y, Y is an abelian category with enough injectives, we can define the right derived functor of f : Rf : + G f 1 Y, Y G + Y, Y We define the pushforward functor f # : G + X,X G + Y,Y being the composition of the following two functors: G + SpX,X Y, Y X,X + G f 1 Y,Y Rf + G Y,Y Putting them together, we have 2 f # M = Rf M ÕX L X,X f 1ÕY f 1 Y, Y. If M is an object in MG coh X,, then each cohomology of f # M is an object in MG coh X,, [SS16, Theorem A.10.26]. Note that if both X and Y are trivial, we have f # = f +, where f + is the pushforward functor on the derived category of -modules. In [SS16], they use the notation f instead of f +. Proposition 3. Let f : X, X Y, Y and g : Y, Y Z, Z be two morphisms of log-smooth pairs, and assume that f is proper, we have a functorial canonical isomorphism of functors g f # g # f #. Proof. Since X,X is locally free over ÕX, we have X, X Y, Y L f 1 Y,Y =ÕX f 1 Õ f 1 Y,Y Y = ÕX L f 1 Y, f 1ÕY Y ÕX L g f 1ÕZ g f 1 Z,Z = X, X Z, Z. f 1 Y, Y Z, Z L f 1 Y,Y L f 1 Y,Y f 1 Õ Y g 1 Õ Z g 1 Z,Z f 1 Õ Y L g f 1 Z, g f 1ÕZ Z The equalities above are as left X, X, right g f 1 Z, Z bi-modules. Now by the definition 2 and the projection formula, we can conclude the proof. We refer to [SS16, Theorem A Remark A.8.12.] for a more detailed explanation on the composition of direct images. Recall that we define the dual functor [Sai88, 2.4.3] X : G X + G X, by X M = Rom X M, ω X [d X ] X, tens where ω X [d X ] means shifting the sheaf ω X to the cohomology degree d X.
8 8 CUANAO WEI by Similarly, we define the dual functor X, X : G X, X G + X, X, 3 X, X M = Rom X,X M, ω X [d X ] X, X, tens We use the induced tensor right X, X -module structure on ω X X, X when we take the Rom X,X M, functor, and we use the trivial right X, X -module structure on ω X X, X to give the right X, X -module structure on X, X M. 3. Strictness Condition In this section, we recall the definition of the strictness condition. We also recall the associated graded functor in this section. At the end of the section, we explicitly write down the formulae for the induced direct image functor and dual functor on the associated graded module, under certain strictness condition. They can be very useful in some geometric applications. Fix a filtered ring A,F. We alwaysassume the filtration F is exhaustive, which means i F i A = A, and F 0 = 0. enote à := R FA, the associated Rees algebra. We define the strictness condition on MGà by [SS16, efinition A.2.7.]: efinition 1. 1 An object of MGà is said to be strict if it has no C[z]-torsion, i.e., comes from a filtered A-module. 2 A morphism in MGà is said to be strict if its kernel and cokernel are strict. Note that the composition of two strict morphisms need not be strict. 3 A complex M of MGà is said to be strict if each of its cohomology modules isastrictobject ofmgã. ence wecan usethe same definition forthe strictness of M GÃ. We have a right exact functor Gr F : Gr MGà MG F Ã, defined by Gr F M = M C C/z C. It naturally induces a derived functor: Gr F : Gà G Gr F Ã, given by Gr F M = M L C C/z C. In particular, if we assume that M MGà is strict, which means M is the associated Rees module of a filtered A-module, we have Gr F M Gr F M. ence, it is not hard to see that taking the Gr F functor on M is the same as taking the associated graded module.
9 LOG-COMPARISON WIT SMOOT BOUNARY IISOR IN MM 9 Now given M GÃ, we have a spectral sequence E p,q 2 = p Gr F q M p+q Gr F M. IfM is strict, we havethe spectral sequence degeneratesat the E 2 page, which implies the commutativity of taking cohomology and Gr F functor under the strictness condition: Gr F i M = i Gr F M. In the case that à = X,, we have We denote A X, := Gr F X, = SymT X,. T X, = Spec A X,, the space of log-cotangent bundle over X,. ence, we have a canonical functor Gr F : G X, G A X,, We denote by GM, the object in the derived category of O T -modules that X, is induced by Gr F M. Proposition 4 Laumon s formula. Let f : X, X Y, Y be a morphism of log-smooth pairs. Let M MG Y, Y. Assume that both M and f # M are strict. Then we have i f #Gr F M := R i f Gr F M L A X,X f A Y,Y Gr F i f # M. Proof. enote N = M L X,X ÕX f 1ÕY f 1 Y,Y. By the associativity of tensor product and M being strict, we have Gr F N = Gr F M L A X,X f A Y, Y. Further, by the projection formula, we have Now we only need to show that R i f Gr F N i Gr F Rf N. i Gr F Rf N Gr F R i f N. It follows evidently by the commutativity of taking cohomology and Gr F functor under the strictness assumption on f # M Rf N. Proposition5. Fix a M MG X, and assume X, M MG X,, which means it has only one non-trivial cohomology at cohomology degree 0. We further assume that both M and X, M are strict. Then we have Gr F X, M Rom AX, Gr F M,ω X [d X ] OX A X,. Note that the sections of A X,,k := Sym k T X, act on the right-hand with an extra factor of 1 k. It is due to that we are using the induced tenser log- module
10 10 CUANAO WEI structure on the right-hand side. If we consider both sides as O T -complexes, X, we get G X, M 1 T X, Rom OT X, GM,p Xω X [d X ] O T X, Proof. Since M is strict, we have Rom X, M, ω X [d X ] C/z C X, L C tens Rom AX, M C C/z C,ω X [d X ] OX A X,, which can be checked locally by taking a resolution of M by free X, -modules. Now the statement is clear by the strictness assumption on X, M. 4. Kashiwara-Malgrange filtration on coherent X -modules In this section, we recall some basic properties of R-indexed Kashiwara-Malgrange filtration on a coherent strict -module respect to a smooth divisor from [Sai88, 3.1]. Then we define muilti-indexed rational Kashiwara-Malgrange filtration respect to a simply normal crossing divisor when the -module is of normal crossing type, and recall some properties that we will need in later sections. We say that an R-indexed increasing filtration is indexed by A + Z, where A is a finite subset of [ 1,0, if gr a := a/ a<0 = 0 if and only if a / A + Z. All R-indexed filtrations in this paper are indexed by A + Z for some finite set A [ 1,0 Fix X be a smooth variety and be a smooth divisor on X. Let t be a local function that defines, and t be a local vector field satisfying [ t,t] = 1. efinition 2. Let M be a coherent strict X -module. We say that a rationally indexed increasing filtration on M is a Kashiwara-Malgrange filtration respect to, if 1 a R a M = M, and each filtered piece a M is a coherent X, -module. 2 a M i X a+i M for all a R,i Z, and a M t = a 1 M if a < 0. 3The action t t a over gr a M is nilpotent for any a R. Note that t 1 X, t 1 X, hence condition 3 implies 4t : gr a M gr a 1 M and t : gr a 1 M gr a Mz are bijective for a 0. 5 a+i M = am i X for a 0, i 0. Further, all the conditions above are independent from the choice of t and t. We know that given a Mixed odge Modue M, in particular being strictly R- specializable along, there exists a rational Kashiwara-Malgrange filtration respect to and it is unique. [Sai88, Lemme], [SS16, 7.3.c]. Further, we know that every gr a M is a strict gr 0 X -module. [SS16, Proposition ] Recallthatgivenacoherent X -modulemequippedwithakashiwara-malgrange filtration, we have a free resolution: Proposition 6. Fix M a strict X -module that is equipped with the Kashiwara- Malgrange filtration respect to a smooth divisor on X. Then locally over X.
11 LOG-COMPARISON WIT SMOOT BOUNARY IISOR IN MM 11 we can find a resolution: where each M i, M, M,, is a direct sum of finite copies of X z p, [a], with 1 a 0,p Z. Further, the resolution is strict respect to, which means it is still a resolution after taking any filtered piece of. Further, if we have that the multiplication by t induces an isomorphism t : gr 0 M gr 1M, in particular, when M = M[ ], the above resolution can be achieved with 1 < a 0. If we have that applying x induces an isomorphism x : gr 1M gr 0 M z, in particular, when M = M[!], the above resolution can be achieved with 1 a < 0. Proof. Without the extra assumption, it is just [Sai88, Lemme.], see also the proof of [Sai88, Proposition.]. With the extra assumption, it is evident that we can also achieve the corresponding index interval in [Sai88, Lemme.]. See [SS16, Proposition and Proposition 9.4.2], for the corresponding isomorphism in the localization and dual localization case. Remark. Actually, the existence of the free resolution as above only depends on the strictness assumption 4 in efinition 2. See also [Sai88, ]. Now we start to consider the case that = n is a normal crossing divisor on X with irreducible components i. For any we denote a = [a 1,...,a n ] Q n, a X = i i a i X. For a = 0 := [0,...,0], 0 X is just X,. Weintroducethenotation X z p, [a],todenote X equippedwithshifted filtrations: X z p, [a] := b a X z p. b Given a strict coherent X -module that possesses the Kashiwara-Malgrange filtration i respecttoallcomponents i of,wedefineamulti-indexedkashiwara- Malgrange filtration respect to by a M = i a i M, for any a = [a 1,...,a n ] Q n. It is not hard to see that M is a multi-indexed graded module over X, in the sense that a M b X a+b M, for any a,b Q n. Given a subset S {1,...,n}, we denote S = i S i. For any such S, we denote a S M := i S a i i M.
12 12 CUANAO WEI Further, we say that b < a if b i < a i for all i. We denote <a M := b<a b M. In general, the n filtrations i do not behave well between each other, in the sense that when we look 1 as a filtration on 2 0 M, it does not have good strictness conditions as in efinition 2. owever, if M is a strict coherent X - module of normal crossing type respect to, then locally we have the following strictness relations [Sai90, Proposition.], [SS16, Lemma ] 4 5 where i : gr i x i : a M a 1 im a i < 0 a i 1a i M gr i a i a i M z a i > 0, 1 i :=[0,...,0,1,0,...,0], with the 1 at the i-th position. Further, if we have the isomorphisms x i : i 0 M i 1M, for every i, in particular when M = M[ ], the identity 4 still holds when a i = 0 If we have i 1 M i + i i <0M z = 0 M z, in particular when M = M[!], the identity 5 still holds when a i = 0. Note that, to make the multi-indexed Kashiwara-Malgrange filtration satisfy 4 and 5, instead of requiring that M is of normal crossing type respect to, we only need to assume that M is of normal crossing type respect to, where is a normal crossing divisor that contains. One advantage of such assumtion is that it behaves well when we do induction on the number of components on the boundaries. 5. Comparison Theorem Fix a smooth variety X and a normal crossing divisor = n on X as in the previous sections. We start with the following vanishing Lemma 7. Given a strict X, -module M. Let S = 1 and x 1 be a local function that defines 1. Assume that Gr F M is torsion free respect to x 1, then we have M i L X, X,S = 0, for i 0. Proof. Take the canonical left resolution of M as in 1: M Sp X, M X, tens ={0 M X, tens n TX,... M X, T X, M X, 0}. tens tens Recall that the X, -module structure on M X, tens i TX, is the trivial one. Since both X, and X,S are locally free over ÕX, we have
13 LOG-COMPARISON WIT SMOOT BOUNARY IISOR IN MM 13 M X, tens TX, M X,S Sp X, M X,S tens TX, tens. L X, X,S Now we only need to show that Gr F Sp X, M X,S cohomology. owever, it is just K x 1 1,...,x n n, n+1,..., dx ;N, the Koszul complex of N := Gr F M X,S, with tens x 1 1,...,x n n, n+1,..., dx tens has no higher as the elements in Gr F 1 X,. More precisely, for any element m P N, we have the relations m Px 1 1 = mx 1 1 P mx 1 1 P, m Px i i = mx i i P m x i i P, for i = 2,...,n m P j = m j P m j P, for j = n+1,...,d X. Note that these elements act on N homogeneously. We know that 6 1,x 2 2,...,x n n, n+1,..., dx Gr F 1 X,S, is a regular sequence on N, which is due to M Sp X,S M X,S tens, or by an easy argument on the natural grading on Gr F X,S. Now we need to show that x 1 1,...,x n n, n+1,..., dx Gr F 1 X, is also a regular sequence on N. Since we have that x 2 2,...,x n n, n+1,..., dx Gr F 1 X,, is a regular sequence on N, it suffices to show that x 1 1 is torsion free on N := N/N x 2 2,...,x n n, n+1,..., dx. Note that due to the relations we have above, it is not hard to see that N Gr F M O X [ 1 ]. owever, by the assumption that x 1 is torsion-free on Gr F M, we can conclude the proof. For the rest of this section, we will consider M as a Mixed odge Module on X. Given a divisor with normal crossing support on X, we denote and M[ ] = i i 1 M, M[!] = i! i 1 M
14 14 CUANAO WEI being the localization and dual localization of M on X\ [Sai90, 2.11 Proposition], [SS16, Chapter 9]. Note that both M[ ] and M[!] are Mixed odge Modules, in particular, strict coherent X -modules. Theorem 8 Comparison Theorem with normal crossing boundary. Notations as above. Given two subset S I {1,...,n} and a Mixed odge Module M of normal crossing type respect to, a normal crossing divisor that contains, then we have the following two quasi-isomorphisms in G coh X,X : 7 8 I 0 M[ ] L X,I I <0 M[!] L X,I X,S S 0 M[ ]. X,S S <0 M[!]. Proof. We only show 7 here, 8 follows similarly. Since M[ ] = M[ ][ I ], we can assume I = without lose of generality. Further, by induction, we only need to show that case that S = 1, 9 0 M[ ] X, X,S S 0 M[ ]. ue the the strictness condition on the multi-indexed Kashiwara-Malgrange filtration4, x i istorsion-freeon Gr F 0 M[ ]foranylocalfunction x i thatdefines i, hence so is any filtered piece of M[ ]. Now apply the previous lemma, we get 0 M[ ] L X, X,S 0 M[ ] X, X,S Further, by 5, we have S 0 M[ ] 0 M[ ] X,S M[ ]. To show 9, now we only need to show that 10 0 M[ ] X, X,S = 0 M[ ] X,S. Note that we have a natural injection 0 M[ ] 0 M[ ] X, X,S. Similarly to the proof of [SS16, ], we give an integer-indexed increasing filtration on N := 0 M[ ] X, X,S by: { 11 U 1 k N = 1 k M[ ] 0 M[ ], for k 0 k j=0 0 M[ ] j 1, for k 1. where k Z and 1 is a differential operator satisfying [x 1, 1 ] = 1, [x i, 1 ] = 0, for i 1, where x 1 is a local holomorphic function that defines 1. It is obvious that k U 1 k N = N. We give a similar filtration on S 0 M[ ] by: { U 1 k S 0 M[ ] 1 k M[ ] 0 M[ ], for k 0 = k j=0 0 M[ ] j 1, for k 1. We have that k U 1 k S 0 M[ ] = S 0 M[ ] due to 5. Consider the following commutative diagram,
15 LOG-COMPARISON WIT SMOOT BOUNARY IISOR IN MM 15 Gr U 1 0 N Gr U 1 k k 1 N Gr U 1 0 S 0 M[ ] k 1 Gr U 1 k S 0 M[ ], where Gr U k := U k/u k 1. Since the upper horizontal map is surjective and the lower horizontal map is isomorphic by the construction of the filtrations, we get that all the arrows appearing in the commutative diagram are isomorphisms, which concludes 10, hence 9. Applying the Spencer functor on both sides, we can recover the classical logarithmic comparison theorem: Theorem 9. Let M be a right X -module that represents a Mixed odge Module on a smooth variety X. Let be a normal crossing divisor on X. Assuming that M is of normal crossing type respect to a normal crossing divisor which contains, then we have Sp X, 0 M[ ] Sp X M[ ] Sp X, <0 M[!] Sp X M[!] in G CX, the derived category of graded C X -modules. Proof. By the definition of the Spencer functor, we have Sp X, 0 M[ ] 0 M[ ] L X, Õ X 0 M[ ] L X, X L X Õ X M[ ] L X Õ X Sp X M[ ]. The third identity is due to the comparison theorem, by taking I =, and S = 0. The dual localization case follows similarly. When the boundary divisor := is smooth, the strictness conditions 4 and 5 are satisfied by efinition 2. ence we have Theorem 10 Comparison Theorem with smooth boundary. Given a Mixed odge Module M, we have the following two quasi-isomorphisms in G X : 0 M[ ] L X, X M[ ], <0 M[!] L X, X M[!]. Proof. It follows by a similar argument as we show 9 in the Comparison Theorem with normal crossing boundary.
16 16 CUANAO WEI Remark. Actually, it can also be proved by using the free resolution in Proposition 6. More precisely, for the M[ ] case, we can get a resolution with each term being a direct sum of finite copies of X z p, [a], with 1 < a 0,p Z. Note that in this case, we have X z p, [a] = X,, 0 hence by taking the 0 piece, we also get a free X, -module resolution. A similar argument will be used in proving Theorem Pushforward functor Fix M, a strict coherent X -module of normal crossing type on a log-smooth pair X,. Let be a divisor with its support contained in, and = r i := r r n n be the decomposition of reduced and irreducible components. Let i : X, Y, be the graph embedding given by the local function y = x r1 1...xrn n, where each x i is a local function that defines the divisor i on X. We first build a relation between the Kashiwara-Malgrange filtration on M and on i + M. Let 1,..., n, y Y that are mutually commutative and satisfying [ i,x i ] =[ y,y] = 1, [ i,x j ] =[ i,y] = [ y,x i ] = 0.for i j Let u = x r1 1...xrn n y, and consider x 1,...,x n,u being a local coordinate system on Y. We can get x1,..., xn, u Y that satisfying and we can further require that m δ xi =m xi δ, m δ u =m δ u, [ xi,x i ] =[ u,u] = 1, [ xi,x j ] =[ xi,u] = [ u,x i ] = 0,for i j. We can write i # M = k N M δ k u as a Y = X [u] u -module. By changing of coordinates, we have the following relations: m δ y k = m δ u, k m δ i = m xi δ mr i x r1 1...xrn n /x i δ u, m δy = mx r1 1...xrn n δ, m δõx = mõx δ, and with the usual commutation rules. Lemma 11. Notations as above, we can get the Kashiwara-Malgrange filtration on i + M from on M by: 12 a i + M = a rm δ Y,, for a < 0. For a 0, we can get it inductively by a i + M z = <ai + M z + a 1i + M y.
17 LOG-COMPARISON WIT SMOOT BOUNARY IISOR IN MM 17 If we further have that x i : i 0 M i 1 M is an isomorphism for every component i, in particular when M = M[ ], we have 12 still holds when a = 0. Proof. The proof is similar to the proof in [SS16, Theorem ]. owever, since our settings are a little bit different, we spell out the details here. We need to check the filtration we defined above satisfies the Condition 1, 2, 3 in efinition 2. We only check the case with the extra condition here. The other case follows similarly. For Condition 1, if a 0 and if m 1,...,m l generate a rm over X,X, then m 1 δ,...,m l δ generate a i +M over Y, Y, due to the fact that we have the relation mx i xi δ = m δ x i i +r i y y. ence, we can conclude that, for every a, a i + M is coherent over Y,Y. To show that a a i +M = i + M, we only need to show that Note that M δ a a i + M 0 M X = M, which is due to the assumption that M, hence M[ ] is of normal crossing type, hence the strictness condition 5. Then, we can use the relation m xi δ = m δ i +mr i x r1 1...xrn n /x i δ u, to get that a a i +M 0 M δ Y M δ. For Condition 2, we have that, for any a, a i + M y a 1 i +M, which can be checked by using the relation m δy = mx r1 1...xrn n δ. Further, the equality for a < 0 can also be deduced from the corresponding properties on M. We are left to show a 1 i + M y a i + M. When a > 0, it follows by definition. When a 0, for any m δ a i + M, considering the relation [SS16, ] and our extra assumption 13, we obtain a M x i = a 1 im for a 0. ence, for any m δ a 1 i +M we can write m δ = mr i x r1 1...xrn n /x i δ, for some m a r 1 M. Now using the relation i m δ i = m xi δ mr i x r1 1...xrn n /x i δ u,
18 18 CUANAO WEI we obtain m δ y = m xi δ m δ i a i +M, which concludes the proof of the Condition 2. For Condition 3, it is straight forward to check that we have m δy y az = m 1ri 1 x i xi r i az δ x i m δ i. r i Using this relation and assuming a 0, we can get that, if r i M νri a ia x i xi r i az i <r iam, we have that a r M δ y y az νria a r ǫ im δ Y,, where ǫ i := [0,...,0,ǫ,0,...,0], where 0 < ǫ 1 is located at the i-th position. enote µ a = i ν r ia, do the computation above inductively, we obtain a r M δ µa y y az <a r M δ Y,. ence y y az is nilpotent on gr a i + M, for a 0. When a > 0, we can get the same conclusion by induction and using the relation y y y az = y y a 1z y. Lemma 12. Notations as above. Fix a strict X, -module N. Assume Gr F N is torsion-free respect to every x i, then we have i # N 0 i # N. Proof. Let i be the divisors on Y that are defined by the the local functions x i. enote := n. We can decompose i : X, Y, into j : X, Y, + and id : Y, + Y,. By 2, we have j # N j N ÕX L X, f 1 Õ Y f 1 Y, + owever, it is straight forward to check that the natural map is surjective. ence its dual dj : j Ω Y log + Ω X log j : T X, j T Y, has a locally free cokernal and we denote it by N. Then we have Õ X f 1 Õ Y f 1 Y, + X, Sym Ñ z. In particular, we have that ÕX f 1 Õ Y f 1 Y, + is locally free over X,, hence we obtain j # N 0 j # N. For id : Y, + Y part, by 2, we have id # j # N j # N L Y, + Y,.
19 LOG-COMPARISON WIT SMOOT BOUNARY IISOR IN MM 19 owever, by the assumption that Gr F N is torsion-free respect to x i, hence so is Gr F j # N. By applying Lemma 7 indectively, we obtain id # j # N 0 id # j # N. Lemma 13. Notations as in Lemma 11. We have Further, if the morphism i # a r M a i +M for a < x i : i 0 M i 1 M is an isomorphism for every component i, e.g. M = M[ ], the second identity still holds when a = 0 Proof. Since Gr F a rm is x i torsion free for a < 0 resp. a 0 with the extra assumption, due to the strictness condition 4, applying the previous lemma, we get i # a r M 0 i # a r M, for a < 0 resp. a 0. We have and 0 i # a r M i a r M X, ÕX i 1ÕY i 1 Y,, i + M i M X ÕX i 1 Y Y. There is a natural morphism i a r M X, ÕX i 1 Y Y, i M X ÕX i 1 Y Y, which is an injection due the torsion free condition on Gr F a rm, and its image is exactly a r M δ Y,. We can conclude the proof by using Lemma 11. Fix a projective morphism of two smooth varieties f : X Y. Given X, Y two reduced divisors with normal crossing support on X, Y respectively, we say that f : X, X Y, Y is a projective morphism of log-smooth pairs if we further have that f 1 Y X. Proposition 14. Notations as above, assume that f 1 Y = X. Fix a Mixed odge Module M on X. Then we have i f + M [ X] = i f + M [ Y ] i f + M [! X] = i f + M [! Y ]. Proof. By [Sai90, Proposition], we only need to check the identities above at the level of perverse sheaves, which is obvious by considering the following commutative diagram:
20 20 CUANAO WEI X \ X f i X X f i Y Y \ Y Y. Noticing that i X and i Y are affine and f and f are projective, we have Rf Ri X K =Ri Y Rf K Rf Ri X! K =Ri Y! Rf K, for any perverse sheaf K on X \ X. Theorem 15. Fix a projective morphism of log-smooth pairs f : X, X Y, Y and a Mixed odge Module M on X. Assume Y is smooth. If X is not smooth, we further assume that M is of normal crossing type respect to a divisor with normal crossing support that contains X. Then we have i f # 0 X M [ X] = 0 Y i f + M [ Y ]. i f # <0 X M[! X] = <0 Y i f + M [! Y ]. In particular, the direct image funtor f # is strict on X 0 M [ X] and X <0 M [! X]. Proof. We only show the proof of the first identity here. The second one follows similarly. Consider the morphism of log pairs induced by the identity map id : X, X X,f 1 Y, and its induced direct image of X 0 M[ X ]. We can forget the logarithmic structure on those components of X f 1 Y. More precisely, we have id # X 0 M[ X ] X 0 M[ X ] L X,X X,f 1 Y f 1 Y 0 M[ X ]. The second identity is due to the comparison theorem. ence, without loss of generality, we can further assume that X = f 1 Y. Consider the following commutative diagram X, X i S,S f Y, Y j T, T, g where i : X, X S, S is the graph embedding given by a local function f y, where y is a local function on Y that defines Y, and is the graph embedding given by y. j : Y, Y T, T, g : S, S T, T
21 LOG-COMPARISON WIT SMOOT BOUNARY IISOR IN MM 21 is the naturally induced morphism, and it is straight forward to check that we have g T = S. By the previous lemma, we have [ i # 0 X M X ] 0 S i + M[ S ]. Now by [SS16, 7.8.5], [Sai88, ] we have i [ g # 0 S i + M S ] 0 T i g i + M [ T]. ence we obtain 14 g i # X 0 M [ X ] T 0 i g i + M [ T]. Note that since both Y and T are smooth and j T = Y, it is evident that the natural map dj : j Ω T log T Ω Y log Y is surjective. ence as in Lemma 12, we have that Y,Y T, T is a flat left Y, Y -module. ence j # i f # 0 X M [ X] 0 j # i f # 0 X M [ X]. By the degeneration of Leray Spectral sequence and 14, we obtain j # i f # 0 X M [ X] 0 T i j f + M [ T]. Apply the previous lemma again, we have j # i f # 0 X M [ X] j # 0 Y i f + M [ Y]. By the construction of j, it is not hard to see that j # is a fully faithful functor, see also the remark below, hence we can conclude that i f # 0 X M [ X] 0 Y i f + M [ Y]. In particular, it is a strict Y, Y -module. Remark. Note that to deduce j # being fully faithfully, we need to use the assumption that Y is smooth, hence by a change of coordinates, we have Y,Y T, T Y,Y ÕY[ u ]. Now the fully faithfulness is evident by a local computation. If Y is not smooth, Y,Y T, T is not flat as a left Y,Y -module in general. See also the computation in Lemma 12. Consider the associated graded complex, by Proposition 4, we obtain Corollary 16. Notaions as in Theorem 15 and Proposition 4, we have i f # Gr F 0 X M [ X] Gr F 0 Y i f + M [ Y ], Gr F <0 X M [! X] Gr F <0 Y i f + M [! Y ]. i f #
22 22 CUANAO WEI 7. ual Functor Theorem 17. Let M be a Mixed odge Module on X, be a smooth divisor on X. Let M be the dual Mixed odge Module of M: M := Rom X M, ω[d X ] X. We have X, 0 M[ ] <0M [!] X, <0 M[!] 0 M [ ] In particular, we have that both X, 0 M[ ] and X, <0 M[!] are strict. Proof. We only prove the first equation here, the second one follows similarly. Apply the resolution in Proposition 6 on M[ ], locally we have M, M[ ],, is a direct sum of finite copies of X z p, [a], with where each M i, 1 < a 0,p Z. Now we only need to show that 15 Rom X, 0 M, = <0Rom X M,,ωX [d X ] X,,ωX [d X ] X owever, for 1 < a 0, we have X z p, [a] = X, z p. ence Rom X, 0 0 X z p, [a],ω X [d X ] X, = ω X [d X ] X, z p. On the other hand, to get the Kashiwara-Malgrange filtration on M, we set Rom X X z p, [a],ω X [d X ] X = ω X [d X ] X z p, [ 1 a], which gives a filtration on the complex Rom X M,,ωX [d X ] X. This filtration is actually strict and induces the Kashiwara-Malgrange filtration on M by [Sai88, Lemme.]. Note that Saito only show the Pure odge Module case there, but the proof still works in the Mixed odge Module case by induction on the weights. ence for 1 < a 0, we have <0 Rom X X z p, [a],ω X [d X ] X = ω X [d X ] X, z p. Now 15 is clear. Pass to the associated graded pieces, by Proposition 5, we obtain
23 LOG-COMPARISON WIT SMOOT BOUNARY IISOR IN MM 23 Corollary 18. Notations as in the previous theorem, we have Gr F 0 M [ ] Rom AX, Gr F <0M[!],ω X [d X ] OX A X,, Gr F <0M [!] Rom AX, Gr F 0 M[ ],ω X [d X ] OX A X,. If we consider both sides as graded O T -complexes on T X, X,, we get G 0 M [ ] 1 T Rom OT G X, X, <0M[!],p Xω X [d X ] O T X, G <0M [!] 1 T X, Rom OT X, G 0 M[ ],p Xω X [d X ] O T X, References [CM99] Francisco J. Calderón-Moreno. Logarithmic differential operators and logarithmic de Rham complexes relative to a free divisor. Ann. Sci. École Norm. Sup. 4, 325: , [PS14] Mihnea Popa and Christian Schnell. Kodaira dimension and zeros of holomorphic oneforms. Ann. of Math. 2, 1793: , [Sai88] Morihiko Saito. Modules de odge polarisables. Publ. Res. Inst. Math. Sci., 246: , [Sai90] Morihiko Saito. Mixed odge modules. Publ. Res. Inst. Math. Sci., 262: , [SS16] Claude Sabbah and Christian Schnell. The MM project [Wei17] Chuanhao Wei. Logarithmic kodaira dimension and zeros of holomorphic log-one-forms. preprint, [Wu16] Lei Wu. Multi-indexed deligne extensions and multiplier subsheaves. preprint, 2016.,.
KODAIRA-SAITO VANISHING AND APPLICATIONS
KODAIRA-SAITO VANISHING AND APPLICATIONS MIHNEA POPA Abstract. The first part of the paper contains a detailed proof of M. Saito s generalization of the Kodaira vanishing theorem, following the original
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 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 informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationarxiv: v2 [math.ag] 2 Mar 2016
WEAK POSITIVITY FOR HODGE MODULES arxiv:1511.00290v2 [math.ag] 2 Mar 2016 MIHNEA POPA AND LEI WU Abstract. We prove the weak positivity of the kernels of Kodaira-Spencertype maps for pure Hodge module
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 informationMIXED HODGE MODULES PAVEL SAFRONOV
MIED HODGE MODULES PAVEL SAFRONOV 1. Mixed Hodge theory 1.1. Pure Hodge structures. Let be a smooth projective complex variety and Ω the complex of sheaves of holomorphic differential forms with the de
More informationA p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection
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 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 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 informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationThe V -filtration and vanishing and nearby cycles
The V -filtration and vanishing and nearby cycles Gus Lonergan Disclaimer: We will work with right D-modules. Any D-module we consider will be at least coherent. We will work locally, choosing etale coordinates
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 informationON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS
ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical
More informationPhilippe Maisonobe Claude Sabbah ASPECTS OF THE THEORY OF D-MODULES
Philippe Maisonobe Claude Sabbah ASPECTS OF THE THEORY OF D-MODULES LECTURE NOTES (KAISERSLAUTERN 2002) REVISED VERSION: JULY 2011 Ph. Maisonobe UMR 6621 du CNRS, Laboratoire J.A. Dieudonné, Université
More informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
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 informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves
More informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationDeformation theory of representable morphisms of algebraic stacks
Deformation theory of representable morphisms of algebraic stacks Martin C. Olsson School of Mathematics, Institute for Advanced Study, 1 Einstein Drive, Princeton, NJ 08540, molsson@math.ias.edu Received:
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 informationPARABOLIC SHEAVES ON LOGARITHMIC SCHEMES
PARABOLIC SHEAVES ON LOGARITHMIC SCHEMES Angelo Vistoli Scuola Normale Superiore Bordeaux, June 23, 2010 Joint work with Niels Borne Université de Lille 1 Let X be an algebraic variety over C, x 0 X. What
More information18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems References: [FvdP, Chapter 4]. Again, Kiehl s original papers (in German) are: Der
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
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 informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationUniversité Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM. Master 2 Memoire by Christopher M. Evans. Advisor: Prof. Joël Merker
Université Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM Master 2 Memoire by Christopher M. Evans Advisor: Prof. Joël Merker August 2013 Table of Contents Introduction iii Chapter 1 Complex Spaces 1
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 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 informationGENERIC VANISHING THEORY VIA MIXED HODGE MODULES
GENERIC VANISHING THEORY VIA MIXED HODGE MODULES MIHNEA POPA AND CHRISTIAN SCHNELL Abstract. We extend the dimension and strong linearity results of generic vanishing theory to bundles of holomorphic forms
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 informationPART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
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 informationHODGE MODULES ON COMPLEX TORI AND GENERIC VANISHING FOR COMPACT KÄHLER MANIFOLDS. A. Introduction
HODGE MODULES ON COMPLEX TORI AND GENERIC VANISHING FOR COMPACT KÄHLER MANIFOLDS GIUSEPPE PARESCHI, MIHNEA POPA, AND CHRISTIAN SCHNELL Abstract. We extend the results of generic vanishing theory to polarizable
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationSpectral sequences. 1 Homological spectral sequences. J.T. Lyczak, January 2016
JT Lyczak, January 2016 Spectral sequences A useful tool in homological algebra is the theory of spectral sequences The purpose of this text is to introduce the reader to the subject and proofs are generally
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
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 informationPOSITIVITY FOR HODGE MODULES AND GEOMETRIC APPLICATIONS. Contents
POSITIVITY FOR HODGE MODULES AND GEOMETRIC APPLICATIONS MIHNEA POPA Abstract. This is a survey of vanishing and positivity theorems for Hodge modules, and their recent applications to birational and complex
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
More informationarxiv: v1 [math.ag] 30 Apr 2018
QUASI-LOG CANONICAL PAIRS ARE DU BOIS OSAMU FUJINO AND HAIDONG LIU arxiv:1804.11138v1 [math.ag] 30 Apr 2018 Abstract. We prove that every quasi-log canonical pair has only Du Bois singularities. Note that
More informationFormality of Kähler manifolds
Formality of Kähler manifolds Aron Heleodoro February 24, 2015 In this talk of the seminar we like to understand the proof of Deligne, Griffiths, Morgan and Sullivan [DGMS75] of the formality of Kähler
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationMOTIVES OF SOME ACYCLIC VARIETIES
Homology, Homotopy and Applications, vol.??(?),??, pp.1 6 Introduction MOTIVES OF SOME ACYCLIC VARIETIES ARAVIND ASOK (communicated by Charles Weibel) Abstract We prove that the Voevodsky motive with Z-coefficients
More informationarxiv: v1 [math.ag] 10 Sep 2018
VANISHING AND INJECTIVITY FOR R-HODGE MODULES AND R-DIVISORS arxiv:1809.03469v1 [math.ag] 10 Sep 2018 LEI WU Abstract. We prove the injectivity and vanishing theorem for R-Hodge modules and R-divisors
More informationDeterminant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman
Commun. Math. Phys. 211, 359 363 2000) Communications in Mathematical Physics Springer-Verlag 2000 Determinant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman Hélène snault 1, I-Hsun
More informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
More informationSynopsis of material from EGA Chapter II, 3
Synopsis of material from EGA Chapter II, 3 3. Homogeneous spectrum of a sheaf of graded algebras 3.1. Homogeneous spectrum of a graded quasi-coherent O Y algebra. (3.1.1). Let Y be a prescheme. A sheaf
More informationFactorization of birational maps for qe schemes in characteristic 0
Factorization of birational maps for qe schemes in characteristic 0 AMS special session on Algebraic Geometry joint work with M. Temkin (Hebrew University) Dan Abramovich Brown University October 24, 2014
More informationLecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a
More informationON THE FUNDAMENTAL GROUPS OF LOG CONFIGURATION SCHEMES
Math. J. Okayama Univ. 51 (2009), 1 26 ON THE FUNDAMENTAL GROUPS OF LOG CONFIGURATION SCHEMES Yuichiro HOSHI Abstract. In the present paper, we study the cuspidalization problem for the fundamental group
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.
More informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationCANONICAL COHOMOLOGY AS AN EXTERIOR MODULE. To the memory of Eckart Viehweg INTRODUCTION
CANONICAL COHOMOLOGY AS AN EXTERIOR MODULE ROBERT LAZARSELD, MIHNEA POPA, AND CHRISTIAN SCHNELL To the memory of Eckart Viehweg INTRODUCTION Let X be a compact connected Kähler manifold of dimension d,
More information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
More informationDELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES
DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodge-de Rham
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationCoherent sheaves on elliptic curves.
Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of
More informationOn log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji
On log flat descent Luc Illusie, Chikara Nakayama, and Takeshi Tsuji Abstract We prove the log flat descent of log étaleness, log smoothness, and log flatness for log schemes. Contents 1. Review of log
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More informationV. SRINIVAS. h p,q (X)u p v q
THE HODGE CHARACTERISTIC V. SRINIVAS 1. Introduction The goal of this lecture is to discuss the proof of the following result, used in Kontsevich s proof of the theorem that the Hodge numbers of two birationally
More informationREFLEXIVITY AND RIGIDITY FOR COMPLEXES, II: SCHEMES
REFLEXIVITY AND RIGIDITY FOR COMPLEXES, II: SCHEMES LUCHEZAR L. AVRAMOV, SRIKANTH B. IYENGAR, AND JOSEPH LIPMAN Abstract. We prove basic facts about reflexivity in derived categories over noetherian schemes;
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves 1 2. Quasicoherent sheaves form an abelian category 5 We began by recalling the distinguished affine base. Definition.
More informationMicro-support of sheaves
Micro-support of sheaves Vincent Humilière 17/01/14 The microlocal theory of sheaves and in particular the denition of the micro-support is due to Kashiwara and Schapira (the main reference is their book
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 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 information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationAFFINE 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 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 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 informationA Note on Dormant Opers of Rank p 1 in Characteristic p
A Note on Dormant Opers of Rank p 1 in Characteristic p Yuichiro Hoshi May 2017 Abstract. In the present paper, we prove that the set of equivalence classes of dormant opers of rank p 1 over a projective
More informationπ X : X Y X and π Y : X Y Y
Math 6130 Notes. Fall 2002. 6. Hausdorffness and Compactness. We would like to be able to say that all quasi-projective varieties are Hausdorff and that projective varieties are the only compact varieties.
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationHomotopy types of algebraic varieties
Homotopy types of algebraic varieties Bertrand Toën These are the notes of my talk given at the conference Theory of motives, homotopy theory of varieties, and dessins d enfants, Palo Alto, April 23-26,
More informationMulti-indexed Deligne Extensions and Multiplier Subsheaves
NORTHWESTERN UNIVERSITY Multi-indexed Deligne Extensions and Multiplier Subsheaves A DISSERTATION SUBMITTED TO THE GRADUATE SCHOOL IN PARTIAL FULFILLMENT OF THE REQUIREMENTS for the degree DOCTOR OF PHILOSOPHY
More informationTheta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
More informationVector Bundles on Algebraic Varieties
Vector Bundles on Algebraic Varieties Aaron Pribadi December 14, 2010 Informally, a vector bundle associates a vector space with each point of another space. Vector bundles may be constructed over general
More informationIdentification of the graded pieces Kęstutis Česnavičius
Identification of the graded pieces Kęstutis Česnavičius 1. TP for quasiregular semiperfect algebras We fix a prime number p, recall that an F p -algebra R is perfect if its absolute Frobenius endomorphism
More informationLecture 21: Crystalline cohomology and the de Rham-Witt complex
Lecture 21: Crystalline cohomology and the de Rham-Witt complex Paul VanKoughnett November 12, 2014 As we ve been saying, to understand K3 surfaces in characteristic p, and in particular to rediscover
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 informationWild ramification and the characteristic cycle of an l-adic sheaf
Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY
ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ARDA H. DEMIRHAN Abstract. We examine the conditions for uniqueness of differentials in the abstract setting of differential geometry. Then we ll come up
More informationContributors. Preface
Contents Contributors Preface v xv 1 Kähler Manifolds by E. Cattani 1 1.1 Complex Manifolds........................... 2 1.1.1 Definition and Examples.................... 2 1.1.2 Holomorphic Vector Bundles..................
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 information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationMatrix factorizations over projective schemes
Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix
More information6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not
6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky
More informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
unisian Journal of Mathematics an international publication organized by the unisian Mathematical Society Ramification groups of coverings and valuations akeshi Saito 2019 vol. 1 no. 3 msp msp UNISIAN
More information