arxiv: v1 [math.ag] 4 Apr 2014
|
|
- Pierce Lloyd
- 5 years ago
- Views:
Transcription
1 Categorification of Lagrangian intersections on complex symplectic manifolds using perverse sheaves of vanishing cycles arxiv: v1 [math.ag] 4 Apr 014 ittoria Bussi The Mathematical Institute, Andrew Wiles Building Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX1 3LB, U.K. bussi@maths.ox.ac.uk Abstract We study intersections of complex Lagrangian in complex symplectic manifolds, proving two main results. First, we construct global canonical perverse sheaves on complex Lagrangian intersections in complex symplectic manifolds for any pair of oriented Lagrangian submanifolds in the complex analytic topology. Our method uses classical results in complex symplectic geometry and some results from [Joyc1]. The algebraic version of our result has already been obtained by the author et al. in [BBDJS] using different methods, where we used, in particular, the recent new theory of algebraic d-critical loci introduced by Joyce in [Joyc1]. This resolves a long-standing question in the categorification of Lagrangian intersection numbers and it may have important consequences in symplectic geometry and topological field theory. Our second main result proves that(oriented complex Lagrangian intersections in complex symplectic manifolds for any pair of Lagrangian submanifolds in the complex analytic topology carry the structure of (oriented analytic d-critical loci in the sense of [Joyc1]. Contents Introduction 1 Background material Perverse sheaves on complex analytic spaces Stabilizing perverse sheaves of vanishing cycles Complex Lagrangian intersections in complex symplectic manifolds Constructing canonical global perverse sheaves on Lagrangian intersections 14.1 Canonical isomorphism of perverse sheaves on double overlaps Comparing perverse sheaves of vanishing cycles associated to polarizations Descent for perverse sheaves Analytic d-critical locus structure on complex Lagrangian intersections Background material on d-critical loci Proof of Theorem Relation with other works and further research 8 References 30 1
2 Introduction Let(S, ω be a complex symplectic manifold, i.e., a complex manifold S endowed with a closed non-degenerate holomorphic -form ω Ω S. Denote the complex dimension of S by n. A complex submanifold M S is Lagrangian if the restriction of ω to a -form on M vanishes and dimm = n. Let X = L M be the intersection as a complex analytic space. Then X carries a canonical symmetric obstruction theory ϕ : E L X in the sense of [BeFa], which can be represented by the complex E [T S X T L X T M X ] with T S X in degree 1 and T L X T M X in degree zero. Hence det(e = K L X K M X. Inspired by [KoSo1, 5.] in primis and then by [BBDJS,.4] and close to [Joyc1, 5.], we will say that if we are given square roots K 1/ L,K1/ M for K L,K M, then X has orientation data. In this case we will also say that L, M are oriented Lagrangians, see Remark We start from well known facts from complex symplectic geometry. It is well established that every complex symplectic manifold S is locally isomorphic to the cotangent bundle T N of a complex manifold N. The fibres of the induced vector bundle structure on S are Lagrangian submanifolds, so complex analytically locally defining on S a foliation by Lagrangian submanifolds, i.e., a polarization. The data of a polarization for us will be used as a way to describe locally in the complex analytic topology the Lagrangian intersection X as a critical locus X = Crit(f : U C, where f is a holomorphic function on a complex manifold U. One moral of this approach is that every polarization defines a set of data for X which we will call a chart, by analogy with critical charts defined by [Joyc1,.1], and thus the choice of a family of polarizations on a complex symplectic manifold provides a family of charts which will be useful to defining some geometric structures on them and consequently get a global object on X by gluing. This will become more clear later. In conclusion, on each chart defined by the choice of a polarization, there is naturally associated a perverse sheaf of vanishing cycles U,f in the notation of 1. Now,anaturalproblemtoinvestigateisthefollowing. GivenanalyticopenR i,r j X withisomorphisms R i = Crit(fi, R j = Crit(fj for holomorphic f i : U i C and f j : U j C, we have to understand whether the perverse sheaves P R i = U i,f i on R i and P R j = U j,f j on R j are isomorphic over R i R j, and if so, whether the isomorphism is canonical, for only then can we hope to glue the P R i for i I to make P L,M. Studying these issues led to this paper. Our approach was inspired by a work of Behrend and Fantechi [BeFa]. They also investigated Lagrangian intersections in complex symplectic manifolds, but their project is probably more ambitious, as they show the existence of deeply interesting structures carried by the intersection. Unfortunately, their construction has some crucial mistakes. Our project started exactly with the aim to fix them and develop then an independent theory. In the meantime, the author worked with other collaborators on a large project [BBDJS, BJM, BBJ] involving Lagrangian intersections too, but our methods here want to be self contained and independent from that. In particular, the analogue of our Theorem below for algebraic symplectic manifolds and algebraic manifolds follows from [BBJ, BBDJS, PT], but the complex analytic case is not available in [BBJ, PT]. In we will state and prove the following result: Theorem Let (S, ω be a complex symplectic manifold and L, M oriented complex Lagrangian submanifolds in S, and write X = L M, as a complex analytic subspace of S. Then we may define P L,M Perv(X, uniquely up to canonical isomorphism, and isomorphisms Σ L,M : P L,M D X(P L,M, T L,M : P L,M P L,M, respectively the erdier duality and the monodromy isomorphisms. These P L,M Perv(X,Σ L,M,T L,M are characterized by the following property. Given a choice of local Darboux coordinates (x 1,...,x n,y 1,...,y n in the sense of Definition 1.14 such that L is locally identified in coordinates with the graph Γ df(x1,...,x n of df for f a holomorphic function defined locally on an open U C n, and M is locally identified in coordinates with the graph Γ dg(x1,...,x n of dg for g a holomorphic function defined locally on U, and the orientations K 1/ L,K1/ M are the trivial square roots of K L = dx1 dx n = K M, then P L,M = U,g f, where U,g f is the perverse sheaf of vanishing cycles of g f, and Σ L,M and T L,M are respectively the erdier duality σ U,g f and the monodromy τ U,g f introduced in 1. The same applies for D-modules and mixed Hodge modules on X. Here is a sketch of the method of proof, given in detail in.1.3.
3 Given(S,ωacomplexsymplecticmanifoldwewanttoconstructaglobalperversesheafP L,M Perv(X, by gluing together local data coming from choices of polarizations by isomorphisms. We consider an open cover {S i } i I of S and polarizations π i : S i E i, always assumed to be transverse to both the Lagrangians L and M. We use the following method: (i For each polarization π i : S i E i transverse to both the Lagrangian submanifolds L and M, we define a perverse sheaf of vanishing cycle f i, naturally defined on the chart induced by the choice of a polarization. and a principal Z -bundle Q fi, which roughly speaking parametrizes isomorphisms K 1/ L = K 1/ M compatible with π i. (ii For two such polarizations E i and E j, transverse to each other, and to both the Lagrangians, we have a way to define two perverse sheaves of vanishing cycles, f i and f j, again with principal Z - bundles, each of them parametrizing choices of square roots of the canonical bundles of L = Γ dfi and M = Γ dfj. In this case we find an isomorphism Ψ ij on double overlap S i S j between f i Z Q fi and f j Z Q fj. (iii For four such polarizations E i, E j, E k and E l with E i not necessarily transverse to E k, we obtain equality between Ψ ij Ψ jk and Ψ il Ψ lk on S i S j S k S l. As perverse sheaves form a stack in the sense of Theorem 1.4, there exists P L,M on X, unique up to canonical isomorphism, with P L,M S i = fi Z Q fi, for all i I. Our perverse sheaf P L,M categorifies Lagrangianintersection numbers, in the sense that the constructible function p ( 1 i dim C H i {p} (X,P L,M, i isequalto the wellknownbehrend function ν X in [Behr] byconstruction, usingthe expressionofthe Behrend function of a critical locus in terms of the Milnor fibre, as in [Behr], and so χ(x,ν X = i ( 1 i dim C H i (X,P L,M. This resolves a long-standing question in the categorification of Lagrangian intersection number, and it may have exciting far reaching consequences in symplectic geometry and topological field theory. In [KR], Kapustin and Rozansky study boundary conditions and defects in a three-dimensional topological sigma-model with a complex symplectic target space, the Rozansky-Witten model. They conjecture the existence of an interesting -category, the -category of boundary conditions. Their toy model for symplectic manifold is a cotangent bundle of some manifold. In this case, this category is related to the category of matrix factorizations [Orlov]. Thus, we strongly believe that constructing a sheaf of Z -periodic triangulated categories on Lagrangian intersection would yield an answer to their conjecture. In the language of categorification, this would give a second categorification of the intersection numbers, the first being given by the hypercohomology of the perverse sheaf constructed in the present work. Also, this construction should be compatible with the Gerstenhaber and Batalin ilkovisky structures in the sense of [BaGi, Conj ]. Our second main result proved in 3 constitutes another bridge between our work and [Joyc1, BBDJS, BBJ]. Pantev et al. [PT] show that derived intersections L M of algebraic Lagrangians L, M in an algebraic symplectic manifold (S, ω have 1-shifted symplectic structures, so that Theorem 6.6 in [BBDJS] gives them the structure of algebraic d-critical loci in the sense of [Joyc1]. Our second main result shows a complex analytic version of this, which is not available from [BBJ, PT], that is, the classical intersection L M ofcomplexlagrangiansl,m inacomplexsymplecticmanifold(s,ωhasthestructureofan(oriented complex analytic d-critical locus. Theorem Suppose (S, ω is a complex symplectic manifold, and L, M are (oriented complex Lagrangian submanifolds in S. Then the intersection X = L M, as a complex analytic subspace of S, extends naturally to a (oriented complex analytic d-critical locus (X,s. The canonical bundle K X,s in the sense of [Joyc1,.4] is naturally isomorphic to K L X red K M X red. 3
4 It would be interesting to prove an analogous version of this also for a class of derived Lagrangians in (S,ω. Some of the authors of [BBDJS] are working on defining a Fukaya category of (derived complex Lagrangians in a complex symplectic manifold, using H (P L,M as morphisms. Outline of the paper The paper begins with a section of background material on perverse sheaves in the complex analytic topology. Then we review basic notions in symplectic geometry. In, we state and prove our first main result on the construction of a canonical global perverse sheaf on complex Lagrangian intersections. In 3 we prove our second main result on the d-critical locus structure carried by Lagrangian intersections. Finally, the last section sketches some implications of the theory and proposes new ideas for further research. Notations and conventions Throughout we will work in the complex analytic topology over C. We will denote by (S,ω a complex symplectic manifold endowed with a symplectic form ω, and its Lagrangian submanifolds will be always assumed to be nonsingular. Note that all complex analytic spaces in this paper are locally of finite type, which is necessary for the existence of embeddings i : X U for U a complex manifold. Fix a well-behaved commutative base ring A (where well-behaved means that we need assumptions on A such as A is regular noetherian, of finite global dimension or finite Krull dimension, a principal ideal domain, or a Dedekind domain, at various points in the theory, to study sheaves of A-modules. For some results A must be a field. Usually we take A = Z,Q or C. Acknowledgements I would like to thank my supervisor Dominic Joyce for his continuous support, for many enlightening suggestions and valuable discussions. I would like to thank also Kai Behrend and Barbara Fantechi for interesting discussions, and Delphine Dupont, with whom I started to work on this project during her stay in Oxford. This research is part of my D.Phil. project funded by an EPSRC Studentship. 1 Background material In this introductory section we first recall general definitions and conventions about perverse sheaves on complex analytic spaces, and some results very well known in literature, which will be used in the sequel. This first part has a substantial overlap with [BBDJS]. Secondly, we recall some definitions and results from [Joyc1], crucially used to prove one of the main result of [BBDJS] about behavior of perverse sheaves of vanishing cycles under stabilization, stated in. Finally, we establish the basic notation for symplectic manifolds, their Lagrangian submanifolds and polarizations, and we recall results from complex symplectic geometry, used in. 1.1 Perverse sheaves on complex analytic spaces We discuss perverse sheaves on complex analytic spaces, as in Dimca [Dimc]. For the whole section, let A be a well-behaved commutative base ring (usually we take A = Z,Q or C. Usually X will be a complex analytic space, always assumed locally of finite type. We start by discussing constructible complexes, following Dimca [Dimc, 4]. Definition 1.1. A sheaf S of A-modules on X is called constructible if all the stalks S x for x X are finite type A-modules, and there is a locally finite stratification X = j J X j of X, where X j X for j J are complex analytic subspaces of X, such that S Xj is an A-local system for all j J. Write D(X for the derived category of complexes C of sheaves of A-modules on X. Write D b c(x for the full subcategory of bounded complexes C in D(X whose cohomology sheaves H m (C are constructible 4
5 for all m Z. Then D(X,Dc b (X are triangulated categories. An example of a constructible complex on X is the constant sheaf A X on X with fibre A at each point. Grothendieck s six operations on sheaves f,f!,rf,rf!,rhom, L act on D(X preserving the subcategory D b c(x in case f is proper. For B,C in D b c (X, we may form their derived Hom RHom(B,C [Dimc,.1], and left derived tensor product B L C in D b c (X, [Dimc,.]. Given B D b c (X and C D b c (Y, we define B L C = π X (B L π Y (C in D b c(x Y, where π X : X Y X, π Y : X Y Y are the projections. If X is a complex analytic space, there is a functor D X : Dc b(x Db c (Xop with D X D X ( = id : Dc(X b Dc(X, b called erdier duality. It reverses shifts, that is, D X C [k] = ( D X (C [ k] for C in Dc b (X and k Z. We will use the following property: if f : X Y is a morphism then Rf! = DY Rf D X and f! = DX f D Y. (1.1 If X is a complex analytic space, and C D b c(x, the hypercohomology H (C and compactly-supported hypercohomology H cs (C, both graded A-modules, are H k (C = H k (Rπ (C and H k cs(c = H k (Rπ! (C for k Z, (1. where π : X is projection to a point. If X is proper then H (C = H cs (C. They are related to usual cohomology by H k (A X = H k (X;A and H k cs(a X = Hcs(X;A. k If A is a field then under erdier duality H k (C = Hcs k (D X(C. Next we review perverse sheaves, following Dimca [Dimc, 5]. Definition 1.. Let X be a complex analytic space, and for each x X, let i x : X map i x : x. If C D b c(x, then the support supp m C and cosupport cosupp m C of H m (C for m Z are supp m C = { x X : H m (i x(c 0 } and cosupp m C = { x X : H m (i! x(c 0 }, where { } means the closure in X an. If A is a field then cosupp m C = supp m D X (C. We call C a perverse sheaf if dim C supp m C m and dim C cosupp m C m for all m Z, where by convention dim C =. Write Perv(X for the full subcategory of perverse sheaves in D b c(x. Then Perv(X is an abelian category, the heart of a t-structure on D b c(x. Perverse sheaves have the following properties: Theorem 1.3. (a If A is a field then Perv(X is noetherian and artinian. (b If A is a field then D X : D b c(x D b c(x maps Perv(X Perv(X. (c If i : X Y is inclusion of a closed complex analytic subspaces, then Ri,Ri! (which are naturally isomorphic map Perv(X Perv(Y. Write Perv(Y X for the full subcategory of objects in Perv(Y supported on X. Then Ri = Ri! are equivalences of categories Perv(X Perv(Y X. The restrictions i Perv(YX,i! Perv(YX map Perv(Y X Perv(X, are naturally isomorphic, and are quasi-inverses for Ri,Ri! : Perv(X Perv(Y X. (d If f : X Y is étale then f and f! (which are naturally isomorphic map Perv(Y Perv(X. More generally, if f : X Y is smooth of relative dimension d, then f [d] = f! [ d] map Perv(Y Perv(X. (e L : Dc b(x Db c (Y Db c (X Y maps Perv(X Perv(Y Perv(X Y. (f Let U be a complex manifold. Then A U [dimu] is perverse, where A U is the constant sheaf on U with fibre A, and [dimu] ( means shift by dimu in the triangulated category Dc b (X. Moreover, there is a canonical isomorphism D U AU [dimu] = AU [dimu]. The next theorem is proved in [KaSc1, Th ], see also [HTT, Prop ]. The analogue for D b c(x or D(X rather than Perv(X is false. One moral is that perverse sheaves behave like sheaves, rather than like complexes. 5
6 Theorem 1.4. Perverse sheaves on a complex analytic space X form a stack on X in the complex analytic topology. Explicitly, this means the following. Let {U i } i I be an analytic open cover for X, and write U ij = U i U j for i,j I. Similarly, write U ijk = U i U j U k for i,j,k I. With this notation: (i Suppose P,Q Perv(X, and we are given α i : P Ui Q Ui in Perv(U i for all i I such that for all i,j I we have α i Uij = α j Uij, then exists unique α : P Q in Perv(X with α Ui = α i for all i I. (ii Suppose we are given objects P i Perv(U i for all i I and isomorphisms α ij : P i Uij P j Uij in Perv(U ij for all i,j I with α ii = id and α jk Uijk α ij Uijk = α ik Uijk : P i Uijk P k Uijk in Perv(U ijk for all i,j,k I. Then there exists P in Perv(X, unique up to canonical isomorphism, with isomorphisms β i : P Ui P i for each i I, satisfying α ij β i Uij = β j Uij : P Uij P j Uij for all i,j I. If P X is a principal Z -bundle on a complex manifold X, and Q Perv(X, we will define a perverse sheaf Q Z P. Definition 1.5. A principal Z -bundle P X on a complex analytic space X, is a proper, étale, surjective, complex analytic morphism ofcomplex analytic spaces π : P X together with a free involution σ : P P, such that the orbits of Z = {1,σ} are the fibres of π. Let P X be a principal Z -bundle. Write L P Dc b (X for the rank one A-local system on X induced from P by the nontrivial representation of Z = {±1} on A. It is characterized by π (A P = A X L P. For each Q D b c (X, write Q Z P D b c (X for Q L L P, and call it Q twisted by P. If Q is perverse then Q Z P is perverse. Perverse sheaves and complexes twisted by principal Z -bundles have the obvious functorial behavior. We explain nearby cycles and vanishing cycles, as in Dimca [Dimc, 4.]. Definition 1.6. Let X be a complex analytic space, and f : X C a holomorphic function. Define X 0 = f 1 (0, as a complex analytic subspace of X, and X = X \X 0. Consider the commutative diagram of complex analytic spaces: X 0 f i X f j π X f p X {0} C C C. Here i : X 0 X, j : X X are the inclusions, ρ : C C is the universal cover of C = C\{0}, and X = X f,c,ρ C the corresponding cover of X, with covering map p : X X, and π = j p. We define the nearby cycle functor ψ f : D b c (X Db c (X 0 to be ψ f = i Rπ π. There is a natural transformation Ξ : i ψ f between the functors i,ψ f : D b c(x D b c(x 0. The vanishing cycle functor φ f : D b c(x D b c(x 0 is a functor such that for every C in D b c(x we have a distinguished triangle i (C Ξ(C ψ f (C φ f (C ρ f [+1] i (C in D b c(x 0. Following Dimca [Dimc, p. 108], we write ψ p f,φp f for the shifted functors ψ f[ 1],φ f [ 1] : D b c(x D b c(x 0. The generator of Z = π 1 (C on C induces a deck transformation δ C : C C which lifts to a deck transformation δ X : X X with p δ X = p and f δx = δc f. As in [Dimc, p. 103, p. 105], we can use δ X to define natural transformations MX,f : ψ p f ψp f and M X,f : φ p f φp f, called monodromy. By Dimca [Dimc, Th. 5..1], if X is a complex analytic space and f : X C is holomorphic, then ψ p f,φp f : Db c (X Db c (X 0 both map Perv(X Perv(X 0. (1.3 6
7 We will use the following property, proved by Massey [Mass]. If X is a complex manifold and f : X C is regular, then there are natural isomorphisms ψ p f D X = D X0 ψ p f and φ p f D X = D X0 φ p f. (1.4 We can now define perverse sheaf of vanishing cycles U,f for a holomorphic function f : U C. Definition 1.7. Let U be a complex analytic space, and f : U C a holomorphic function. Write X = Crit(f, as a closed complex analytic subspace of U. Then as a map of topological spaces, f X : X C is locally constant, with finite image f(x, so we have a decomposition X = c f(x X c, for X c X the open and closed complex analytic subspace with f(x = c for each x X c. For each c C, write U c = f 1 (c U. Then we have a vanishing cycle functor φ p f c : Perv(U Perv(U c. So we may form φ p f c (A U[dimU] in Perv(U c, since A U [dimu] Perv(U by Theorem 1.3(f. One can show φ p f c (A U[dimU] is supported on the closed subset X c = Crit(f U c in U c, where X c = unless c f(x. That is, φ p f c (A U[dimU] lies in Perv(U c Xc. But Theorem 1.3(c says Perv(U c Xc and Perv(X c are equivalent categories, so we may regard φ p f c (A U[dimU] as a perverse sheaf on X c. That is, we can consider φ p f c (A ( U[dimU] Xc = i X c,u c φ p f c (A U[dimU] in Perv(X c, where i Xc,U c : X c U c is the inclusion morphism. Also, Perv(X = c f(x Perv(X c. Define the perverse sheaf of vanishing cycles U,f of U,f in Perv(X to be U,f = φ p f c (A U[dimU] Xc. c f(x That is, U,f is the unique perverse sheaf on X = Crit(f with U,f X c = φ p f c (A U[dimU] Xc for all c f(x. Under erdier duality, we have A U [dimu] = D U (A U [dimu] by Theorem 1.3(f, so φ p f c (A U[dimU] = ( D Uc φ p f c (A U[dimU] by (1.4. Applying i X c,u c and using D Xc i X c,u c = i! Xc,U c D Uc by (1.1 and i! X c,u c = i Xc,U c on Perv(U c Xc by Theorem 1.3(c also gives φ p f c (A U[dimU] Xc = DXc ( φ p f c (A U[dimU] Xc. Summing over all c f(x yields a canonical isomorphism σ U,f : U,f = D X ( U,f. (1.5 For c f(x, we have a monodromy operator M U,f c : φ p f c (A U[dimU] φ p f c (A U[dimU], which restricts to φ p f c (A U[dimU] Xc. Define the twisted monodromy operator τ U,f : U,f U,f by τ U,f Xc = ( 1 dimu M U,f c Xc : φ p f c (A U[dimU] Xc φ p f c (A U[dimU] Xc, (1.6 for each c f(x. Here twisted refers to the sign ( 1 dimu in (1.6. We include this sign change as it makes monodromy act naturally under transformations which change dimension without it, equation (1.8 below would only commute up to a sign ( 1 dim dimu, not commute and it normalizes the monodromy of any nondegenerate quadratic form to be the identity. The sign ( 1 dimu also corresponds to the twist ( 1 dimu in the definition of the mixed Hodge module of vanishing cycles H U,f. The (compactly-supported hypercohomology H ( U,f,H cs ( U,f from (1. is an important invariant of U,f. If A is a field then the isomorphism σ U,f in (1.5 implies that H k ( U,f = H k cs ( U,f, a form of Poincaré duality. We defined U,f in perverse sheaves over a base ring A. Writing U,f (A to denote the base ring, one can show that U,f (A = U,f (Z L Z A. Thus, we may as well take A = Z, or A = Q if we want A to be a field, since the case of general A contains no more information. There is a Thom Sebastiani Theorem for perverse sheaves, due to Massey[Mass1] and Schürmann[Schu, Cor ]. Applied to U,f, it yields: 7
8 Theorem 1.8. Let U, be complex manifolds and f : U C, g : C be holomorphic, so that f g : U C is regular with (f g(u,v := f(u+g(v. Set X = Crit(f and Y = Crit(g as complex analytic spaces of U,, so that Crit(f g = X Y. Then there is a natural isomorphism T S U,f,,g : U,f g U,f in Perv(X Y, such that the following diagrams commute: L,g (1.7 U,f g D σ X Y ( U,f g U,f g T S U,f,,g L U,f,g σ U,f L σ,g D X Y (TS U,f,,g D X ( U,f L D Y (,g = D X Y ( U,f L,g, (1.8 U,f g τ U,f g U,f g T S U,f,,g U,f L,g τ U,f L τ,g U,f T S U,f,,g L,g. (1.9 Finally, we introduce some notation for pullbacks of,g by local biholomorphisms. Definition 1.9. Let U, be complex manifolds, Φ : U an étale morphism, and g : C an analytic function. Write f = g Φ : U C, and X = Crit(f, Y = Crit(g as C-submanifolds of U,. Then Φ X : X Y is a local biholomorphism. Define an isomorphism Φ : U,f Φ ( X,g in Perv(X (1.10 by the commutative diagram for each c f(x g(y: U,f X c =φ p f c (A U[dimU] Xc α φ p f c Φ (A [dim] Xc Φ Xc Φ X c (,g β Φ 0 φp g c (A [dim] Xc. (1.11 Here α is φ p f c applied to the canonical isomorphism A U Φ (A, noting that dimu = dim as Φ is a local biholomorphism. By naturality of the isomorphisms α, β in (1.11 we find the following commute, where σ U,f,τ U,f are as in (1.5 (1.6: U,f D σ X ( U,f U,f Φ D X ( Φ Φ X(,g Φ X (σ,g Φ X( DY (,g = D X ( Φ X (,g, (1.1 U,f τ U,f U,f Φ Φ (1.13 Φ X (,g Φ X (τ,g Φ X (,g. If U =, f = g and Φ = id U then idu = id U,f. If W is another complex manifold, Ψ : W is a local biholomorphism, and h : W C is analytic with g = h Ψ : C, then composing (1.11 for Φ with Φ X c of (1.11 for Ψ shows that That is, the isomorphisms Φ are functorial. Ψ Φ = Φ X( Ψ Φ : U,f (Ψ Φ X( W,h. (1.14 8
9 We conclude by saying that because of the Riemann Hilbert correspondence, all our results on perverse sheaves of vanishing cycles on complex analytic spaces over a well-behaved base ring A, translate immediately when A = C to the corresponding results for D-modules of vanishing cycles, with no extra work. and also to mixed Hodge modules on complex analytic spaces, see [BBDJS,.9-.10]. 1. Stabilizing perverse sheaves of vanishing cycles To set up notation for Theorem 1.13 below, we need the following theorem, which is proved in Joyce [Joyc1, Prop.s.15,.16 &.18]. Theorem 1.10 (Joyce [Joyc1]. Let U, be complex manifolds, f : U C, g : C be holomorphic, and X = Crit(f, Y = Crit(g as complex analytic subspaces of U,. Let Φ : U be a closed embedding of complex manifolds with f = g Φ : U C, and suppose Φ X : X Y is an isomorphism Φ X : X Y. Then: (i For each x X U there exist open U U and with x U and Φ(U, an open neighbourhood T of 0 C n where n = dim dimu, and a biholomorphism α β : U T, such that (α β Φ U = id U 0 : U U T, and g = f α + (z z n β : C. Thus, setting f = f U : U C, g = g : C, Φ = Φ U : U, X = Crit(f U, and Y = Crit(g, then f = g Φ : U C, and Φ X : X Y, α Y : Y X are biholomorphisms. (ii Write N U for the normal bundle of Φ(U in, regarded as a vector bundle on U in the exact sequence of vector bundles on U: 0 TU dφ Φ (TU Π U N U 0. (1.15 Then there exists a unique q U H 0 (S N U X which is a nondegenerate quadratic form on N U X, such that whenever U,,Φ,β,n,X are as in (i, writing dz 1,...,dz n U for the trivial vector bundle on U with basis dz 1,...,dz n, there is a natural isomorphism ˆβ : dz 1,...,dz n U N U U making the following diagram commute: N U U Π U U Φ (T U = Φ (T ˆβ dz 1,...,dz n U = Φ β (T 0 Cn Φ (dβ Φ Φ (T, (1.16 and q U X = (S ˆβ X (dz 1 dz 1 + +dz n dz n. (1.17 (iii Now suppose W is another complex manifold, h : W C is holomorphic, Z = Crit(h as a complex analytic subspace of W, and Ψ : W is a closed embedding of complex analytic subspaces with g = h Ψ : C and Ψ Y : Y Z an isomorphism. Define N W,q W and N UW,q UW using Ψ : W and Ψ Φ : U W as in (ii above. Then there are unique morphisms γ U W,δ U W which make the following diagram of vector bundles on U commute, with straight lines exact: 0 0 N U TU dφ Φ (T d(ψ Φ Π U Φ (dψ (Ψ Φ (TW γ U W Π UW Φ (Π W N UW δ U W 0 Φ (N W (1.18
10 Restricting to X gives an exact sequence of vector bundles: γ U W X δ U W X 0 N U X N UW X Φ X (N W 0. (1.19 Then there is a natural isomorphism of vector bundles on X N UW X = NU X Φ X(N W, (1.0 compatible with the exact sequence (1.19, which identifies q UW = qu Φ X (q W 0 under the splitting S N UW X = S N U X Φ ( X S N ( W Y N U X Φ X(N W. (1.1 Following [Joyc1, Def.s.19 &.4], we define: Definition Let U, be complex manifolds, f : U C, g : C be holomorphic, and X = Crit(f, Y = Crit(g as complex manifolds of U,. Suppose Φ : U is a closed embedding of complex manifolds with f = g Φ : U C and Φ X : X Y an isomorphism. Then Theorem 1.10(ii defines the normal bundle N U of U in, a vector bundle on U of rank n = dim dimu, and a nondegenerate quadratic form q U H 0 (S N U X. Taking top exterior powers in the dual of (1.15 gives an isomorphism of line bundles on U ρ U : K U Λ n N = U Φ (K, where K U,K are the canonical bundles of U,. Write X red for the reduced subspace of X. As q U is a nondegenerate quadratic form on N U X, its determinant det(q U is a nonzero section of (Λ n N U X. Define an isomorphism of line bundles on Xred : J Φ = ρ ( id U K U det(q X red U X red : K U X red = Φ X red ( K. (1. Since principal Z -bundles π : P X in the sense of Definition 1.5 are a complex analytic topological notion, and X red and X have the same topological space, principal Z -bundles on X red and on X are equivalent. Define π Φ : P Φ X to be the principal Z -bundle which parametrizes square roots of J Φ on X red. That is, complex analytic local sections s α : X P Φ of P Φ correspond to local isomorphisms α : K U X red Φ X red (K on X red with α α = J Φ. Now suppose W is another complex manifold, h : W C is holomorphic, Z = Crit(h as a complex analytic subspace of W, and Ψ : W is a closed embedding of complex manifolds with g = h Ψ : C and Ψ Y : Y Z an isomorphism. Then Theorem 1.10(iii applies, and from (1.0 (1.1 we can deduce that J Ψ Φ = Φ X red(j Ψ J Φ : K U X red = (Ψ Φ X red ( K W [ ( ] = Φ X Ψ red Y K red W. (1.3 For the principal Z -bundles π Φ : P Φ X, π Ψ : P Ψ Y, π Ψ Φ : P Ψ Φ X, equation (1.3 implies that there is a canonical isomorphism Ξ Ψ,Φ : P Ψ Φ = Φ X(P Ψ Z P Φ. (1.4 It is also easy to see that these Ξ Ψ,Φ have an associativity property under triple compositions, that is, given another complex manifold T, holomorphic e : T C with Q := Crit(e, and Υ : T U a closed embedding with e = f Υ : T C and Υ Q : Q X an isomorphism, then ( id(φ Υ Q (PΨ Ξ Φ,Υ ΞΨ,Φ Υ = ( Υ Q (Ξ Ψ,Φ id PΥ ΞΨ Φ,Υ : P Ψ Φ Υ (Φ Υ Q (P Ψ Z Υ Q (P (1.5 Φ Z P Υ. 10
11 The reason for restricting to X red above is the following [Joyc1, Prop..0], whose proof uses the fact that X red is reduced in an essential way. Lemma 1.1. In Definition 1.11, the isomorphism J Φ in (1. and the principal Z -bundle π Φ : P Φ X depend only on U,,X,Y,f,g and Φ X : X Y. That is, they do not depend on Φ : U apart from Φ X : X Y. Using the notation of Definition 1.11, we can restate Theorem 5.4 in [BBDJS]: Theorem (a Let U, be complex manifolds, f : U C, g : C be holomorphic, and X = Crit(f, Y = Crit(g as complex analytic subspaces of U,. Let Φ : U be a closed embedding of complex analytic subspaces with f = g Φ : U C, and suppose Φ X : X Y is an isomorphism Φ X : X Y. Then there is a natural isomorphism of perverse sheaves on X: Θ Φ : U,f Φ X(,g Z P Φ, (1.6 where U,f,,g are the perverse sheaves of vanishing cycles from 1.1, and P Φ the principal Z -bundle from Definition 1.11, and if Q is a perverse sheaf on X then Q Z P Φ is as in Definition 1.5. Also the following diagrams commute, where σ U,f,σ,g,τ U,f,τ,g are as in (1.5 (1.6: U,f σ U,f Θ Φ Φ X(,g Z P Φ D X(Θ Φ ( Φ X DY (,g Z P Φ Φ X (σ,g id D X ( U,f D X ( Φ X (,g Z P Φ, = (1.7 U,f Θ Φ Φ X(,g Z P Φ τ U,f U,f Θ Φ Φ X (τ,g id ( Φ X,g Z P Φ. (1.8 If U =, f = g, Φ = id U then π Φ : P Φ X is trivial, and Θ Φ corresponds to id U,f under the natural isomorphism id X ( U,f Z P Φ = U,f. (b The isomorphism Θ Φ in (1.6 depends only on U,,X,Y,f,g and Φ X : X Y. That is, if Φ : U is an alternative choice for Φ with Φ X = Φ X : X Y, then Θ Φ = Θ Φ, noting that P Φ = P Φ by Lemma 1.1. (c Now suppose W is another complex manifold, h : W C is holomorphic, Z = Crit(h, and Ψ : W is a closed embedding with g = h Ψ : C and Ψ Y : Y Z an isomorphism. Then Definition 1.11 defines principal Z -bundles π Φ : P Φ X, π Ψ : P Ψ Y, π Ψ Φ : P Ψ Φ X and an isomorphism Ξ Ψ,Φ in (1.4, and part (a defines isomorphisms of perverse sheaves Θ Φ,Θ Ψ Φ on X and Θ Ψ on Y. Then the following commutes in Perv(X: U,f Θ Ψ Φ Θ Φ (Ψ Φ X( W,h Z P Ψ Φ id Ξ Ψ,Φ Φ X(,g Z P Φ Φ X (ΘΨ id Φ X Ψ Y( W,h Z Φ X (P Ψ Z P Φ. ( Complex Lagrangian intersections in complex symplectic manifolds We will start with a basic definition to fix the notation: Definition Let (S, ω be a symplectic manifold, i.e., a complex manifold S endowed with a closed non-degenerate holomorphic -form ω Ω S. Denote the complex dimension of S by n. 11
12 A complex submanifold M S is Lagrangian if the restriction of the symplectic form ω on S to a -form on M vanishes and dimm = n. Holomorphic coordinates, x 1,...,x n,y 1,...,y n on an open subset S S in the complex analytic topology, are called Darboux coordinates if ω = n i=1 dy i dx i. Definition Given an n-dimensional manifold N, let us denote by S = T N its cotangent bundle. For any chosen point p U N, for U an open subset of N containing x, let us denote by (x 1,...,x n a set of coordinates. Then for any x U, the differentials (dx 1 x,...,(dx n x form a basis of Tx N. Namely, if y TxN then y = n i=1 y i(dx i x for some complex coefficients y 1,...,y n. This induces a set of coordinates (x 1,...,x n,y 1,...,y n on T U, so a coordinate chart for T N, induced by (x 1,...,x n on U. It is well known that transition functions on the overlaps are holomorphic and this gives the structure of a complex manifold of dimension n to T N. Next, one can define a -form on T U by ω = n is coordinate-independent. Define the 1-form α = n i=1dx i dy i. It is easy to check that the definition i=1 y i dx i. Clearly ω = dα, and α is intrinsically defined. The 1-form α is called in literature the Liouville form, and the -form ω is the canonical symplectic form. Next, we will review symmetric obstruction theories on Lagrangian intersections from [BeFa], and we state a crucial definition for our program. Let (S, ω be a complex symplectic manifold as above, and L, M S be Lagrangian submanifolds. Let X = L M be the intersection as a complex analytic space. Then X carries a canonical symmetric obstruction theory ϕ : E L X in the sense of [BeFa], which can be represented by the complex E [T S X T L X T M X ] with T S X in degree 1 and T L X T M X in degree zero. Hence since K S = OS. This motivates the following: det(e = K S 1 X K L X K M X = KL X K M X, (1.30 Definition We define an orientation of a complex Lagrangian submanifold L to be a choice of square root line bundle K 1/ L for K L. Remark The previous definition is inspired by [BBDJS] and close to orientation data in Kontsevich and Soibelman [KoSo1]. We point out that spin structure could have been a better choice of name than orientation, but we use orientations for consistency with [BBDJS, BBJ, BJM, Joyc1]. Also, for real Lagrangians, a square root K 1/ L induces an orientation on L in the usual sense. Now, we recall well known established results in complex symplectic geometry which will be used to prove our main results. We start with the complex Darboux theorem. Theorem Let (S, ω be a complex symplectic manifold. Then locally in the complex analytic topology around a point p S is always possible to choose holomorphic Darboux coordinates. So, basically, every symplectic manifold S is locally isomorphic to the cotangent bundle T N of a manifold N. The fibres of the induced vector bundle structure on S are Lagrangian submanifolds, so complex analytically locally defining on S a foliation by Lagrangian submanifolds, i.e., a polarization: Definition A polarization of a symplectic manifold (S, ω is a holomorphic Lagrangian fibration π : S E, where S S is open. Note that it is always possible to choose locally near a point p S in the complex analytic topology Darbouxcoordinates(x 1,...,x n,y 1,...,y n andcompatiblecoordinatesx i one suchthatπ canbe identified with the projection (x 1,...,x n,y 1,...,y n (x 1,...,x n. We will usually consider polarizations which are transverse to the Lagrangians whose intersection we wish to study. The point of the transversality condition is that we have a canonical one-to-one correspondence between sections s ofthe polarization E for the symplectic manifold (S,ω, such that s (ω = 0 and Lagrangian submanifoldsofs transversetoe.moreover,intermsofcoordinates,neareverypointofalagrangianm S 1
13 transverse to the polarization E there exists a set of Darboux coordinates (x 1,...,x n,y 1,...,y n such that M = {y 1 = = y n = 0}, E = dx 1,...,dx n and the Euler form s of M inside E is given by s = i y idx i. If L, M are complex Lagrangian submanifolds in (S, ω, and we consider the projection π : (x 1,...,x n,y 1,...,y n (x 1,...,x n defining local coordinates on L, then we can always assume to choose such coordinates x i,y i transverse to L,M at a point, and transverse to other coordinate systems too. In other words, we are using the projection π as a polarization, and we assume that the leaves are transverse to the two Lagrangians, so that L and M turn into the graphs of 1-forms on N. The Lagrangian condition implies that these 1-forms on N are closed. Recall now the Lagrangian neighbourhood theorem: Theorem 1.0. If M (S, ω is a complex Lagrangian submanifold, then there exists a complex analytic neighbourhood M of a point p M isomorphic as a complex symplectic manifold to a neighbourhood U of p in T M, and M is identified with the zero section in T M. Note that (S,ω need not be isomorphic to T M in a neighbourhood of M, but just in a neighbourhood of a point p M. So, we may assume that one of these 1-forms is the zero section of T N, hence identify locally M with N. By making L smaller if necessary, we may assume that the closed 1-form defined by L is exact, and L is the graph of the 1-form df, for a holomorphic function f defined locally on some open submanifold M M, as the following lemma states: Lemma 1.1. Choose locally near a point p S in the complex analytic topology Darboux coordinates (x 1,...,x n,y 1,...,y n and compatible coordinates x i on E such that π : S E can be identified with the projection (x 1,...,x n,y 1,...,y n (x 1,...,x n. Now, given a polarization (x 1,...,x n,y 1,...,y n (x 1,...,x n defining local coordinates on L, then L is given by {( x 1,...,x n, df dx 1,..., df dx n : x 1,...,x n M } for a holomorphic function f(x 1,...,x n defined locally on an open M M S, where M is the Lagrangian submanifold identified with the zero section, and the polarization π with projection T M M. So, in conclusion, if π : S E is a polarization, and M a Lagrangian submanifold with π : M E transverse near x in M, then locally there is a unique isomorphism S = T M identifying M with zero section and π with projection T M M. Then any other Lagrangian L in S transverse to π is locally described by the graph of df, for a holomorphic function f locally defined on M. It is now straightforward to deduce that, as M is graph of 0, and L is graph of df, then the intersection X = L M is the critical locus (df 1 (0. Wecansummarizeinthis way. Let(S,ω beacomplexsymplecticmanifold, andl,m S be Lagrangian submanifolds. Let X = L M be the intersection as a complex analytic space. Then X is complex analytically locally modeled on the zero locus of the 1-form df, that is on the critical locus Crit(f : U C for a holomorphic function f on a smooth manifold U. So, X carries a natural perverse sheaf of vanishing cycles U,f in the notation of 1.1, and a natural problem to investigate is the following. Given open R i,r j S with isomorphisms R i = Crit(fi, R j = Crit(fj for holomorphic f i : U i C and f j : U j C, we have to understand whether the perverse sheaves P R i = U i,f i on R i and P R j = U j,f j on R j are isomorphic over R i R j, and if so, whether the isomorphism is canonical, for only then can we hope to glue the P R i for i I to make P L,M. We will develop this program in. 13
14 Constructing canonical global perverse sheaves on Lagrangian intersections We can state our main result. Theorem.1. Let (S, ω be a complex symplectic manifold and L, M oriented complex Lagrangian submanifolds in S, and write X = L M, as a complex analytic subspace of S. Then we may define P L,M Perv(X, uniquely up to canonical isomorphism, and isomorphisms Σ L,M : P L,M D X(P L,M, T L,M : P L,M P L,M, (.1 respectively the erdier duality and the monodromy isomorphisms. These P L,M Perv(X,Σ L,M,T L,M are locally characterized by the following property. Given a choice of local Darboux coordinates (x 1,...,x n,y 1,...,y n in the sense of Definition 1.14 such that L is locally identified in coordinates with the graph Γ df(x1,...,x n of df for f a holomorphic function defined locally on an open U C n, and M is locally identified in coordinates with the graph Γ dg(x1,...,x n of dg for g a holomorphic function defined locally on U, and the orientations K 1/ L,K1/ M are the trivial square roots of K L = dx1 dx n = K M, then there is a canonical isomorphism P L,M = U,g f, where U,g f is the perverse sheaf of vanishing cycles of g f, and Σ L,M and T L,M are respectively the erdier duality σ U,g f and the monodromy τ U,g f introduced in 1. The same applies for D-modules and mixed Hodge modules on X. A convenient way to express this is in terms of charts, by which we mean a set of data locally defined by the choice of a polarization π : S E. Charts are analogous to critical charts defined by [Joyc1, ], as in 3.1. We will show in 3. that they are actually critical charts and they define the structure of a d-critical locus on the Lagrangian intersection, but for this section we will not use it. We explained in 1.3 that the local choice of a polarization on (S,ω yields a local description of the Lagrangian intersection as a critical locus P = Crit(f for a closed embedding i : P U, P open in X, and a holomorphic function f : U L C, where U is an open submanifold of L. We have a local symplectic identification S = T U T L, which identifies L S with the zero section in T L, and M S with the graph Γ df of df, and π : S E = L with the projection T L L. So, for each polarization π : S E we have naturally induced a set of data (P,U,f,i, which we will call an L-chart. We will also consider M-charts, namely charts coming from polarizations that identify the other Lagrangian M with the zero section, that is, charts like (Q,,g,j where Q = Crit(g for a closed embedding j : Q, Q open in X, and a holomorphic function g : M C, where is an open submanifold of M. We have a local symplectic identification S = T T M, which identifies M S with the zero section in T M, and L S with the graph Γ dg of dg, and π : S E = M with the projection T M M. We will use also LM-charts. Using this general technique, let us fix the following notation we will use for the rest of the paper. We will consider mainly three kinds of charts, where by charts we basically mean a set of data associated to a choice of one or two polarizations for our symplectic complex manifold (S, ω: (a L-charts (P,U,f,i are induced by a polarizations π : S E transverse to L,M with S S open, P X open, and U L open, and f : U C holomorphic, and i : P U L the inclusion, with i : P Crit(f an isomorphism, so that we have local identifications (S,ω = T U; L = zero section; M = Γ df ; E = L = U; π : S E with π : T U U. (b M-charts (Q,,g,j are induced by a polarization π : S F transverse to L,M, with S S open, Q X open, and M open, and g : C holomorphic, and j : Q M the inclusion, with j : Q Crit(g an isomorphism, so that we have local identifications 14
15 (S, ω = T ; M = zero section; L = Γ dg ; F = M = ; π : S F with π : T. (c LM-charts (R,W,h,k are induced by polarizations π : S E, π : S F transverse to L,M and to each other on Ŝ = S S. We have W L M open, h : W C holomorphic, k : R W L M the diagonal map, with k : R Crit(h an isomorphism, and local identifications (S,ω ( S, ω = T W; L M = zero section; diagonal S = Γ dh ; E F = L M = W; π π : Ŝ E F with π : T W W. Note that R = P Q. These three kinds of charts will be related by Proposition., which will give an embedding from an open subset of an L-chart (P,U,f,i into an LM-chart (R,W,h,k, and similarly an embedding from an open subset of an M-chart (Q,,g,j into (R,W,h,k. Moreover, we will explain in.1 that the choice of a polarization π : S E naturally induces local biholomorphisms L M = or M L, = and thus isomorphisms Θ : K L X = K M X or Ξ : K M X = K L X (. between the canonical bundles of the Lagrangian submanifolds. We define π P,U,f,i : Q P,U,f,i P to be the principal Z -bundle parametrizing local isomorphisms = = K 1/ ϑ : K 1/ L X K M X or ξ : K 1/ M X L X (.3 such that ϑ ϑ = Θ or ξ ξ = Ξ. Also, on each L-chart, M-chart, LM-chart, we have a natural perverse sheaf of vanishing cycles associated to the local description of the Lagrangian intersection as a critical locus. So we get a perverse sheaf of vanishing cycles i ( U,f on P, j (,g on Q, and k ( W,h on R. These perverse sheaves together with principal Z -bundles parametrizing square roots of isomorphisms (. are the objects we want to glue. Then P L,M Perv(X is characterized by the following properties: (i If (P,U,f,i is a an L-chart, M-chart, or LM-chart, there is a natural isomorphism Furthermore the following commute in Perv(P: ω P,U,f,i : P L,M P i ( U,f Z Q P,U,f,i,. (.4 P L,M P ω P,U,f,i i ( U,f Z Q P,U,f,i Σ L,M P D P ( P L,M P D P (ω P,U,f,i i (σ U,f id QP,U,f,i i ( D Crit(f ( U,f Z Q P,U,f,i = D P ( i ( U,f Z Q P,U,f,i, (.5 P L,M P ω P,U,f,i i ( U,f Z Q P,U,f,i T L,M P (.6 P L,M R ω P,U,f,i i (τ U,f id QP,U,f,i i ( U,f Z Q P,U,f,i. 15
16 (ii Let π : S E and π : S F be polarizations transverse to L,M, and transverse to each other on S S. Then from π we get an L-chart (P,U,f,i, from π we get an M-chart (Q,,g,j, and from π and π together we get an LM-chart (R,W,h,k. Write (P,U,f,i for the L-chart determined by π S S : S S E, and (Q,,g,i for the M-chart determined by π S S : S S F. Then P P, U U are open and f = f U, i = i P, so (P,U,f,i is a subchart of (P,U,f,i in the sense of 3.1. We write this as (P,U,f,i (P,U,f,i. Similarly, (Q,,g,j (Q,,g,j. Also P = Q = R = X S S. In this situation, Proposition. will show that there exist closed embeddings Φ : U W and Ψ : W such that so that h Φ = f : U C and h Ψ = g : C. Moreover Crit(f = Crit(h = Crit(gascomplexanalyticspaces,andf,handg,harepairsofstably equivalentfunctions, as explained in 1.. Inspired by [Joyc1, Def..18], we will say that Φ : (P,U,f,i (R,W,h,k is an embedding of charts if Φ is a locally closed embedding U W of complex manifolds such that Φ i = k P : P W and f = h Φ : U C. As a shorthand we write Φ : (P,U,f,i (R,W,h,k to mean Φ is an embedding of (P,U,f,i in (R,W,h,k. In brief, Proposition. in.1 will define two embeddings of charts Φ : (P,U,f,i (R,W,h,k and Ψ : (Q,,g,j (R,W,h,k. Given the embedding of charts Φ : (P,U,f,i (R,W,h,k, there is a natural isomorphism of principal Z -bundles = Λ Φ : Q R,W,h,k P i (P Φ Z Q P,U,f,i (.7 on P, for P Φ defined as follows: local isomorphisms α : K 1/ X P red i (K U P red, β : K 1/ X P red j (K W P red, γ : i (K U P red j (K W P red (.8 with α α = ι P,U,f,i, β β = ι R,W,h,k P red, γ γ = i P red (J Φ correspond to local sections s α : P Q P,U,f,i, s β : P Q R,W,h,k P, s γ : P i (P Φ, for J Φ as in Definition 1.11, and for isomorphisms ι R,W,h,k : K X i (K W P red induced by the polarization E 1 E. Then for each embedding of charts, the following diagram commutes in Perv(P, for Θ Φ as in (1.6: P L,M P ω P,U,f,i i ( U,f Z Q P,U,f,i ω R,W,h,k P j ( W,h P Z Q R,W,h,k P i (Θ Φ id QP,U,f,i id j ( W,h ΛΦ i ( Φ X ( W,h Z P Φ Z Q P,U,f,i. (.9 We will have an analogous commutative diagram induced by Ψ on Perv(Q : P L,M Q ω Q,,g,j i (,g Z Q Q,,g,j ω R,W,h,k Q j ( W,h Q Z Q R,W,h,k Q j (Θ Ψ id QQ,,g,j id j ( W,h ΛΨ i ( Ψ X ( W,h Z P Ψ Z Q Q,,g,j. (.10 Using Theorem 1.13, we get isomorphisms α : (i ( U,f Q P,U,f,i R = (k ( W,h Q R,W,h,k, β : (j (,g Q Q,,g,j R = (k ( W,h Q R,W,h,k. Combining these, we get an isomorphism β 1 α : (i ( U,f Q P,U,f,i R = (j (,g Q Q,,g,j R, (.11 16
17 that is, an isomorphism of perverse sheaves from L-charts and M-charts in Perv(P Q. Later, in. we will involve also two other polarizations for an associativity result. More precisely, following notation of. we want that if we have two L-charts (P 1,U 1,f 1,i 1 and (P 3,U 3,f 3,i 3 and two M- charts (Q,,g,j and (Q 4, 4,g 4,j 4 then α 3 1 Y β 3 Y β 1 1 Y α 1 Y = α 34 1 Y β 34 Y β 14 1 Y α 14 Y : ( U1,f 1 Z Q P1,U 1,f 1,i 1 Y ( U 3,f 3 Z Q P3,U 3,f 3,i 3 Y. (.1 Theorem.1 will be proved in.1.3. In.3, we will provide a descent argument, which is the most technical part of the paper. We find useful to outline here our method of the proof. Let {U a } a I be an analytic open cover for X = L M, induced by polarizations π a : S a E a for a I, transverse to both L and M, and write U ab = U a U b for a,b I. Similarly, write U abc = U a U b U c for a,b,c I. Define P a to be i a( U a,f a Z Q Pa,U a,f a,i a from the discussion above, and isomorphisms γ ab : P a Uab P b Uab in Perv(U ab for all a,b I with β aa = id and in Perv(U abc for all a,b,c I. γ bc Uabc γ ab Uabc = γ ac Uabc : P a Uabc P c Uabc The construction is independent of the choice of {U a } a I above. Then by Theorem 1.4, there exists P in Perv(X, unique up to canonical isomorphism, with isomorphisms ω a : P Ua P a for each a I, satisfying γ ab ω a Uab = ω b Uab : P Uab P b Uab for all a,b I, which concludes the proof of Theorem.1. We will carry out this program in.1.3. Theorem.1 resolves a long-standing question in the categorification of Lagrangian intersection number: our perverse sheaf P L,M categorifies Lagrangian intersection numbers, in the sense that the constructible function p ( 1 i n dim C H i {p} (X,P L,M, i isequalto the wellknownbehrend function ν X in [Behr] byconstruction, usingthe expressionofthe Behrend function of a critical locus in terms of the Milnor fibre, as in [Behr], and so χ(x,ν X = i ( 1 i n dim A H i (X,P L,M, (.13 for a base ring A, which in this case is a field. If the intersection X is compact, then [L] [M] is given by (.13, where [L],[M] are the homology classes of L and M in S. Moreover, our construction may have exciting far reaching applications in symplectic geometry and topological field theory, as discussed in 4..1 Canonical isomorphism of perverse sheaves on double overlaps Given a complex symplectic manifold (S,ω and Lagrangian submanifolds L, M in S, define X to be their intersection as a complex analytic space. Using results in 1.3, locally in the complex analytic topology near a point x X, we can choose an open set S S and a polarization transverse to both L and M such that S = T L and M = Γ df so that X = Crit(f for a holomorphic function f defined on U = L S. Thus we get a perverse sheaf of vanishing cycle U,f. In this section we will investigate how two such local descriptions are related. Consider π 1,π : S 1,S E 1,E two polarizations transverse to each other and both transverse to both L and M. Choose open neighbourhoods U 1 of X S 1 in L S 1 with π 1 (U 1 π 1 (M S 1 and of X S in M S with π ( π (L S. Then we get respectively the local identifications U 1 = π1 (U 1 E 1, S 1 π 1 1 (π 1(U 1 = T U 1, L π 1 1 (π 1(U 1 = Γ 0, M π 1 1 (π 1(U 1 = Γ df1, f 1 : U 1 C, 17
Categorification of shifted symplectic geometry using perverse sheaves
Categorification of shifted symplectic geometry using perverse sheaves Dominic Joyce, Oxford University, April 2016 Based on: arxiv:1304.4508, arxiv:1305.6302, arxiv:1211.3259, arxiv:1305.6428, arxiv:1312.0090,
More informationShifted Symplectic Derived Algebraic Geometry and generalizations of Donaldson Thomas Theory
Shifted Symplectic Derived Algebraic Geometry and generalizations of Donaldson Thomas Theory Lecture 2 of 3:. D-critical loci and perverse sheaves Dominic Joyce, Oxford University KIAS, Seoul, July 2018
More informationOn the Virtual Fundamental Class
On the Virtual Fundamental Class Kai Behrend The University of British Columbia Seoul, August 14, 2014 http://www.math.ubc.ca/~behrend/talks/seoul14.pdf Overview Donaldson-Thomas theory: counting invariants
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 informationDarboux theorems for shifted symplectic derived schemes and stacks
Darboux theorems for shifted symplectic derived schemes and stacks Lecture 1 of 3 Dominic Joyce, Oxford University January 2014 Based on: arxiv:1305.6302 and arxiv:1312.0090. Joint work with Oren Ben-Bassat,
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 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 informationSYMMETRIES AND STABILIZATION FOR SHEAVES OF VANISHING CYCLES
Journal of Singularities Volume 11 2015, 85-151 received: 18 Decemer 2013 in revised form: 20 May 2015 DOI: 10.5427/jsing.2015.11e SYMMETRIES AND STABILIZATION FOR SHEAVES OF VANISHING CYCLES C. BRAV,
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 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 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 informationLECTURE 5: COMPLEX AND KÄHLER MANIFOLDS
LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.
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 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 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 informationi = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)
2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ
More informationarxiv: v4 [math.ag] 4 Jun 2015
arxiv:1211.3259v4 [math.ag] 4 Jun 2015 Symmetries and stilization for sheaves of vanishing cycles Christopher Brav, Vittoria Bussi, Delphine Dupont, Dominic Joyce, and Balázs Szendrői, with an Appendix
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 informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationarxiv: v3 [math.ag] 9 Dec 2013
arxiv:1211.3259v3 [math.ag] 9 Dec 2013 Symmetries and stilization for sheaves of vanishing cycles Christopher Brav, Vittoria Bussi, Delphine Dupont, Dominic Joyce, and Balázs Szendrői Astract We study
More informationNOTES ON PERVERSE SHEAVES AND VANISHING CYCLES. David B. Massey
NOTES ON PERVERSE SHEAVES AND VANISHING CYCLES David B. Massey 0. Introduction to Version 2-16 These notes are my continuing effort to provide a sort of working mathematician s guide to the derived category
More informationLOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT
LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT DENNIS GAITSGORY 1. Statement of the problem Throughout the talk, by a chiral module we shall understand a chiral D-module, unless explicitly stated
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationThe d-orbifold programme. Lecture 5 of 5: D-orbifold homology and cohomology, and virtual cycles
The d-orbifold programme. Lecture 5 of 5: and cohomology, and virtual cycles Dominic Joyce, Oxford University May 2014 Work in progress, no papers yet. However, you can find a previous version of this
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 informationD-manifolds and d-orbifolds: a theory of derived differential geometry. III. Dominic Joyce, Oxford UK-Japan Mathematical Forum, July 2012.
D-manifolds and d-orbifolds: a theory of derived differential geometry. III. Dominic Joyce, Oxford UK-Japan Mathematical Forum, July 2012. Based on survey paper: arxiv:1206.4207, 44 pages and preliminary
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 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 informationWhat are stacks and why should you care?
What are stacks and why should you care? Milan Lopuhaä October 12, 2017 Todays goal is twofold: I want to tell you why you would want to study stacks in the first place, and I want to define what a stack
More informationSOME OPERATIONS ON SHEAVES
SOME OPERATIONS ON SHEAVES R. VIRK Contents 1. Pushforward 1 2. Pullback 3 3. The adjunction (f 1, f ) 4 4. Support of a sheaf 5 5. Extension by zero 5 6. The adjunction (j!, j ) 6 7. Sections with support
More informationThe Canonical Sheaf. Stefano Filipazzi. September 14, 2015
The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over
More informationHodge Theory of Maps
Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar
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 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 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 informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
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 informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
More informationCohomological Formulation (Lecture 3)
Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers.
More informationThese slides available at joyce/talks.html
Kuranishi (co)homology: a new tool in symplectic geometry. II. Kuranishi (co)homology Dominic Joyce Oxford University, UK work in progress based on arxiv:0707.3572 v5, 10/08 summarized in arxiv:0710.5634
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 informationVertex algebras, chiral algebras, and factorisation algebras
Vertex algebras, chiral algebras, and factorisation algebras Emily Cliff University of Illinois at Urbana Champaign 18 September, 2017 Section 1 Vertex algebras, motivation, and road-plan Definition A
More informationStratified Morse Theory: Past and Present
Stratified Morse Theory: Past and Present David B. Massey In honor of Robert MacPherson on his 60th birthday 1 Introduction In 1974, Mark Goresky and Robert MacPherson began their development of intersection
More informationHochschild homology and Grothendieck Duality
Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality
More informationRIEMANN S INEQUALITY AND RIEMANN-ROCH
RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed
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 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 informationPICARD GROUPS OF MODULI PROBLEMS II
PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may
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 informationThe geometry of Landau-Ginzburg models
Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror
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 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 informationLagrangian intersections as d-critical loci and their perverse sheaves
Lagrangian intersections as d-critical loci and their perverse sheaves Isabell Grosse-Brauckmann Born 15th Mai 1992 in Bonn 13th April 2017 Master's Thesis Mathematics Advisor: Prof. Dr. Huybrechts Mathematical
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 informationarxiv:math/ v1 [math.ag] 18 Oct 2003
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI
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 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 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 informationarxiv: v1 [math.at] 2 Sep 2017
arxiv:1709.00569v1 [math.at] 2 Sep 2017 An elementary proof of Poincare Duality with local coefficients 1 Introduction Fang Sun September 5, 2017 The statement and proof of the Poincare Duality for (possibly
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 informationCup product and intersection
Cup product and intersection Michael Hutchings March 28, 2005 Abstract This is a handout for my algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,
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 informationGeometry of Conformal Field Theory
Geometry of Conformal Field Theory Yoshitake HASHIMOTO (Tokyo City University) 2010/07/10 (Sat.) AKB Differential Geometry Seminar Based on a joint work with A. Tsuchiya (IPMU) Contents 0. Introduction
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 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 informationThe moduli stack of vector bundles on a curve
The moduli stack of vector bundles on a curve Norbert Hoffmann norbert.hoffmann@fu-berlin.de Abstract This expository text tries to explain briefly and not too technically the notions of stack and algebraic
More informationOn the Construction and Cohomology of a Self-Dual Perverse Sheaf Motivated by String Theory
On the Construction and Cohomology of a Self-Dual Perverse Sheaf Motivated by String Theory math.at/0704.3298 Abdul Rahman Howard University Acknowledgements Prof. R. MacPherson (IAS) for making the observation
More informationTHE HODGE DECOMPOSITION
THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional
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 information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
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 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 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 informationNOTES ON PERVERSE SHEAVES AND VANISHING CYCLES. David B. Massey
NOTES ON PERVERSE SHEAVES AND VANISHING CYCLES David B. Massey 0. Introduction to Version 7-07 These notes are my continuing effort to provide a sort of working mathematician s guide to the derived category
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 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 informationarxiv:math/ v2 [math.at] 2 Oct 2004
arxiv:math/0409412v2 [math.at] 2 Oct 2004 INTERSECTION HOMOLOGY AND ALEXANDER MODULES OF HYPERSURFACE COMPLEMENTS LAURENTIU MAXIM Abstract. Let V be a degree d, reduced, projective hypersurface in CP n+1,
More informationwhich is a group homomorphism, such that if W V U, then
4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
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 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 informationTHE SEBASTIANI-THOM ISOMORPHISM IN THE DERIVED CATEGORY. David B. Massey
THE SEBSTINI-THOM ISOMORPHISM IN THE DERIVED CTEGORY David B. Massey bstract. We prove that the Sebastiani-Thom isomorphism for Milnor fibres and their monodromies exists as a natural isomorphism between
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationLecture VI: Projective varieties
Lecture VI: Projective varieties Jonathan Evans 28th October 2010 Jonathan Evans () Lecture VI: Projective varieties 28th October 2010 1 / 24 I will begin by proving the adjunction formula which we still
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Motivation and game plan 1 2. The affine case: three definitions 2 Welcome back to the third quarter! The theme for this quarter, insofar
More informationHomological mirror symmetry
Homological mirror symmetry HMS (Kontsevich 1994, Hori-Vafa 2000, Kapustin-Li 2002, Katzarkov 2002,... ) relates symplectic and algebraic geometry via their categorical structures. A symplectic manifold
More informationOverview of Atiyah-Singer Index Theory
Overview of Atiyah-Singer Index Theory Nikolai Nowaczyk December 4, 2014 Abstract. The aim of this text is to give an overview of the Index Theorems by Atiyah and Singer. Our primary motivation is to understand
More informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More informationNotes on the geometry of Lagrangian torus fibrations
Notes on the geometry of Lagrangian torus fibrations U. Bruzzo International School for Advanced Studies, Trieste bruzzo@sissa.it 1 Introduction These notes have developed from the text of a talk 1 where
More informationDerived intersections and the Hodge theorem
Derived intersections and the Hodge theorem Abstract The algebraic Hodge theorem was proved in a beautiful 1987 paper by Deligne and Illusie, using positive characteristic methods. We argue that the central
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 informationLECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EXAMPLES
LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EAMPLES VIVEK SHENDE Historically, sheaves come from topology and analysis; subsequently they have played a fundamental role in algebraic geometry and certain
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 informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationMonodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H.
Monodromy of the Dwork family, following Shepherd-Barron 1. The Dwork family. Consider the equation (f λ ) f λ (X 0, X 1,..., X n ) = λ(x n+1 0 + + X n+1 n ) (n + 1)X 0... X n = 0, where λ is a free parameter.
More informationmirko mauri, valerio proietti
O K A - C A R TA N F U N D A M E N TA L T H E O R E M O N S T E I N M A N I F O L D S mirko mauri, valerio proietti contents 1 Preparation 2 1.1 Coherent sheaves 2 1.2 Holomorphic convexity 4 1.3 Sheaf
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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves of ideals, and closed subschemes 1 2. Invertible sheaves (line bundles) and divisors 2 3. Some line bundles on projective
More information