arxiv: v1 [math.ag] 4 Apr 2014

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