LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
|
|
- Prudence Manning
- 6 years ago
- Views:
Transcription
1 LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in a space by the space of complex tangent lines through that point. It is a local operation which can be explicitly written down as follows. Consider the blow-up of C n at the origin. This is the complex submanifold of C n CP n 1 C n {((z 1, z 2,, z n ), [w 1, w 2,, w n ]) (z 1, z 2,, z n ) [w 1, w 2,, w n ]}. Note that as a set C n = C n \ {0} CP n 1, with CP n 1 being the space of complex tangent lines through the origin. CP n 1 C n is called the exceptional divisor. The projection onto the first factor C n induces a biholomorphism between C n \ CP n 1 and C n \ {0}, and collapses the exceptional divisor CP n 1 onto the origin 0 C n. On the other hand, the projection onto the second factor CP n 1 defines C n as a holomorphic line bundle over CP n 1. Blowing up is often used in resolving singularities of complex subvarieties. We give some examples next to illustrate this. Example 1.1. (1) Consider the complex curve C {(z 1, z 2 ) C 2 z 1 z 2 = 0}. It is the union of lines C 1 = {z 1 = 0} and C 2 = {z 2 = 0} which intersect transversely at 0 C 2. Let us consider the pre-image of the portion of C 1, C 2 in C 2 \ {0} in the blowup C 2 of C 2 at 0. It can be compactified into a complex curve C in C 2, which is a disjoint union of two smooth complex curves C 1 and C 2. The point here is that since C 1, C 2 intersect transversely at 0 C 2, the compactification C 1 and C 2 in C 2 are obtained by adding two distinct points in the exceptional divisor CP 1 C 2, which parametrizes the complex lines through 0 C 2. More concretely, note that and C 1 = {(0, z), [0, 1]) C 2 CP 1 z C}, C 2 = {(z, 0), [1, 0]) C 2 CP 1 z C}. We call C 1, C 2 the proper transform of C 1, C 2 under the blowing up C 2 C 2. (2) Consider the complex curve C = {(z 1, z 2 ) C 2 z1 2 = z3 2 }. It is called a cusp curve and is singular at 0 C 2. The proper transform C of C in the blowing up C 2 C 2 is identified with C = {(z 3, z 2 ), [z, 1]) C 2 CP 1 z C}. 1
2 2 WEIMIN CHEN, UMASS, SPRING 07 Note that C is a smooth curve in C 2 because the projection of C onto the exceptional curve CP 1 C 2 is non-singular at z = 0. (3) Note that CP 2 can be regarded as C 2 with addition of a copy of CP 1 at the infinity, i.e., CP 2 = C CP 1. On the other hand, C 2 is the union of complex lines through the origin, which is parametrized by CP 1. Therefore the blow up of CP 2 at 0 C 2 is a (nontrivial) CP 1 -bundle over CP 1. Topologically, it is diffeomorphic to CP 2 #CP 2, the connected sum of CP 2 with CP 2. Here CP 2 is CP 2 with the reversed orientation. More generally, we have Theorem 1.2. Let X be an n-dimensional complex manifold. Then the blow up of X at one point is an n-dimensional complex manifold X which is diffeomorphic to X#CP n. Let (M, ω) be a symplectic manifold of dimension 2n, and let p M be a point. We would like to define a symplectic analog of blowing up of M at p. To this end, note that topologically M#CP n can be obtained by removing a ball centered at p and then collapsing the boundary S 2n 1 along the fibers of the Hopf fibration S 2n 1 CP n 1. We will show that there is a canonical symplectic structure on the resulting manifold (depending on the symplectic size of the ball removed); this is a special case of the so-called symplectic cutting due to E. Lerman, which we shall describe next. Let (M, ω) be a symplectic manifold equipped with a Hamiltonian S 1 -action, and let h : M R be a moment map of the S 1 -action and let ɛ be a regular value of h. For simplicity we assume that the S 1 -action on h 1 (ɛ) is free; this condition is unnecessary if one works with orbifolds. We introduce the following notations: we denote by M h>ɛ, M h ɛ the pre-images of (ɛ, ) and [ɛ, ) under h : M R, and denote by M h ɛ the manifold which is obtained by collapsing the boundary h 1 (ɛ) of M h ɛ along the orbits of the S 1 -action. Theorem 1.3. (E. Lerman). There is a natural symplectic structure ω ɛ on M h ɛ such that the restriction of ω ɛ to M h>ɛ M h ɛ equals ω. Proof. Consider the symplectic product (M C, ω ω 0 ) and the Hamiltonian S 1 -action on it given by t (m, z) = (t m, e it z), m M, z C. The moment map is H(m, z) = h(m) 1 2 z 2. Observe the following identification H 1 (ɛ) = {(m, z) h(m) > ɛ, z = 2(h(m) ɛ)} {(m, 0) h(m) = ɛ} = M h>ɛ S 1 h 1 (ɛ). The theorem follows immediately from H 1 (ɛ)/s 1 = M h>ɛ h 1 (ɛ)/s 1 = M h ɛ, and that the symplectic structure ω ɛ on H 1 (ɛ)/s 1 equals ω when restricted to the open submanifold M h>ɛ.
3 LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY 3 Let δ > 0 and let M = {(z 1, z 2,, z n ) C n n j=1 z j 2 < δ} be the ball of radius δ in C n centered at the origin. Given with the standard symplectic structure ω 0, M admits a Hamiltonian S 1 -action t (z 1, z 2,, z n ) = (e it z 1, e it z 2,, e it z n ), which has a moment map h(z 1, z 2,, z n ) = 1 n 2 j=1 z j 2. For any 0 < ɛ < δ 2, ɛ is a regular value of h such that the S 1 -action on h 1 (ɛ) is free. As we explained earlier, M h ɛ is a symplectic blow-up of M, the standard symplectic ball of radius δ, at the origin. Symplectic blowing up of a general symplectic manifold can be defined by grafting the above construction into the manifold. More precisely, let (M, ω) be a symplectic manifold and let p M be a point. By Darboux theorem, there exists a δ > 0 such that a neighborhood of p in M is symplectomorphic to the standard symplectic ball of radius δ. By Theorem 1.3, since the symplectic structure ω ɛ on the blow-up of the standard symplectic ball of radius δ equals the standard symplectic structure ω 0 when restricted to the shell region {(z 1, z 2,, z n ) C n 2ɛ < n j=1 z j 2 < δ}, one can graft it into the symplectic manifold (M, ω). We end with a brief discussion of symplectic cutting in the presence of a Hamiltonian torus action. Let (M, ω) be a symplectic manifold with a Hamiltonian T n -action, and let µ : M (t n ) be the moment map. Suppose ξ 0 t n generates a circle T 1 T n. Then the induced S 1 -action on M has the moment map h = µ, ξ 0. Because the induced S 1 -action commutes with the T n -action, and both M h>ɛ and h 1 (ɛ) are T n - invariant, there is an induced T n -action on M h>ɛ h 1 (ɛ)/s 1 = M h ɛ, which is also Hamiltonian. The corresponding moment map µ ɛ : M h ɛ (t n ) is induced from the restriction of µ on M h ɛ. Hence the image of µ ɛ in (t n ) is µ ɛ (M h ɛ ) = µ(m) {ξ (t n ) ξ, ξ 0 ɛ}. Example 1.4. (Equivariant blowing-up at a fixed point). Hamiltonian T 2 -action on CP 2 given by (t 1, t 2 ) [z 0, z 1, z 2 ] = [z 0, e it 1 z 1, e it 2 z 2 ] Consider the standard which is considered in Example 2.4 (1) of Lecture 4. Here we shall double the symplectic form used in Example 2.4 (1) of Lecture 4, and consequently the moment map changes to z 1 2 µ([z 0, z 1, z 2 ]) = ( z z z 2 2, z 2 2 z z z 2 2 ), and the image of µ is {(x 1, x 2 ) R 2 x 1 + x 2 1, x 1, x 2 0}. Now consider the S 1 -action t [z 0, z 1, z 2 ] = [z 0, z 1, e it z 2 ], which has moment map h([z 0, z 1, z 2 ]) = z z z 2. The symplectic cut CP 2, 2 h 1 2 which is a symplectic blowing-up of CP 2 at the fixed point [0, 0, 1], has an induced z 2 2
4 4 WEIMIN CHEN, UMASS, SPRING 07 Hamiltonian T 2 -action. The image of the corresponding moment map is {(x 1, x 2 ) R 2 x 1 + x 2 1, x 1 0, 0 x }. Note that this is the same as the image of the moment map in Example 2.4 (4) in Lecture 4 (a T 2 -action on a Hirzebruch surface). By Delzant s classification theorem, these two T 2 -actions are equivalent. 2. Thurston s construction Recall that If M 1, M 2 are symplectic manifolds with symplectic structures ω 1, ω 2, then the product M 1 M 2 is also a symplectic manifold with a natural symplectic structure ω 1 ω 2. In this section we shall consider more generally constructing symplectic structures on a manifold which is a fiber bundle whose fiber and base are both symplectic manifolds. The construction is due to Thurston. Recall that a smooth map π : M B between smooth manifolds is said to be a fiber bundle (or locally trivial fibration) with fiber F (also a smooth manifold) if there is an open cover {U α } of B and a collection of diffeomorphisms φ α : π 1 (U α ) U α F such that π = pr 1 φ α, where pr 1 : U α F U α is the projection. The maps φ α are called local trivializations. We denote by F b = π 1 (b) the fiber over b B and by φ α (b) : F b F the restriction of φ α to F b followed by the projection onto F. The maps φ βα : U α U β Diff(F ) defined by φ βα (b) = φ β (b) φ α (b) 1 are called the transition functions. The following construction is due to Thurston where M is assumed to be compact. Lemma 2.1. Let π : M B be a fiber bundle with fiber F. Suppose there is a closed 2-form τ on M such that the restriction of τ to each fiber F b is a symplectic form on F b, and that the base B is a symplectic manifold with a symplectic form β. Then for large enough N > 0, the 2-form ω N τ + Nπ β is a symplectic structure on M. Proof. Let 2m = dim M and 2n = dim B. Then dim F = 2m 2n. Note that (π β) k = 0 for any k > n. Hence n 1 ωn m = N n (τ m n (π β) n + N l n τ m l (π β) l ). Since M is compact, the lemma follows easily from the fact that τ m n (π β) n is a volume form on M. To see that τ m n (π β) n is a volume form, let p M be any point and let b = π(p). Pick a basis v 1,, v 2m 2n of T p F b and pick a basis u 1,, u 2n of T b B. Let u i T pm be a lift of u i, i.e., π (u i ) = u i, i = 1,, 2n. Then v 1,, v 2m 2n, u 1,, u 2n form a basis of T pm. With this understood, we have l=0 τ m n (π β) n (v 1,, v 2m 2n, u 1,, u 2n) = ±τ m n (v 1,, v 2m 2n ) (π β) n (u 1,, u 2n) = ±τ m n (v 1,, v 2m 2n ) β n (u 1,, u 2n ) because π β(v j, ) = β(π (v j ), ) = 0 for all j. Since the restriction of τ to F b is a symplectic form, τ m n (v 1,, v 2m 2n ) 0, and since β is a symplectic form on B,
5 LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY 5 β n (u 1,, u 2n ) 0 also. Hence τ m n (π β) n (v 1,, v 2m 2n, u 1,, u 2n) 0 and τ m n (π β) n is a volume form on M. In what follows, we shall give some criteria which give existence of the closed 2-form τ in the above lemma. Recall that a fiber bundle π : M B with fiber F is called oriented if F is oriented and the transition functions φ βα (b), b B, all lie in the subgroup Diff + (F ) Diff(F ) of orientation-preserving diffeomorphsims of F. Note that each fiber F b has an induced orientation through the diffeomorphisms φ α (b) : F b F, which is independent of the choice of α. We call π : M B a symplectic fibration if F is a symplectic manifold with a symplectic form σ, and the transition functions φ βα (b) all lie in Symp(F, σ) Diff + (F ). In this case, each fiber F b has an induced symplectic form σ b = φ α (b) (σ), which is independent of the choice of α. For symplectic fibrations, the existence of the closed 2-form τ can be reduced to a cohomological condition. Lemma 2.2. Suppose π : M B is a symplectic fibration with fiber (F, σ). If there exists a cohomology class a H 2 (M) such that i b a = [σ b], where i b : F b M is the inclusion, then there exists a closed 2-form τ Ω 2 (M) such that i b τ = σ b, b B, [τ] = a H 2 (M). Proof. Pick a closed 2-form τ 0 on M which represents a. Let {φ α : π 1 (U α ) U α F } be a set of local trivializations where {U α } is an open cover of B by balls. Let σ α Ω 2 (U α F ) be the pull-back of σ Ω 2 (F ) by the projection to F. Then note that for any b B, i b (φ ασ α ) = σ b. Since i b a = [σ b], [τ 0 ] = a, and each U α is contractible, we see that τ 0 and φ ασ α are cohomologous on π 1 (U α ), therefore, there exists a 1-form λ α such that φ ασ α τ 0 = dλ α, α. Pick a partition of unity {ρ α } subordinate to {U α }, i.e., α ρ α = 1 and suppρ α U α. We define τ = τ 0 + d((π ρ α )λ α ). α Note that d((π ρ α )λ α ) = d(π ρ α ) λ α + (π ρ α )dλ α and i b (d(π ρ α)) = 0. Hence i b τ = i b τ 0 + α ρ α (b)i b (dλ α) = α ρ α (b)i b (τ 0 + dλ α ) = α ρ α (b)i b φ ασ α = α ρ α (b)σ b = σ b.
6 6 WEIMIN CHEN, UMASS, SPRING 07 Finally, [τ] = [τ 0 ] = a H 2 (M), and the lemma is proved. According to the general theory of fiber bundles, given an oriented fiber bundle π : M B with fiber F, where F is a symplectic manifold with an orientationcompatible symplectic form σ, the question as whether π : M B is a symplectic fibration with fiber (F, σ) boils down to the understanding of the homotopy type of the space Diff + (F )/Symp(F, σ). Lemma 2.3. Let F be a compact, closed, oriented surface. Then Diff + (F )/Symp(F, σ) is contractible. Consequently, any oriented surface bundle over a smooth manifold is a symplectic fibration. Proof. Let T be the space of orientation-compatible symplectic structures on F which has the same total area of σ. Then T is contractible, with (σ, t) (1 t)σ + tσ, where σ T and 0 t 1, being the contraction of T to the point σ T. We will show that Diff + (F )/Symp(F, σ) is homeomorphic to T, from which the lemma follows. To see this, we consider the action of Diff + (F ) on T by g σ = g (σ ), g Diff + (F ), σ T. The action is obviously continuous with respect to appropriate topology on the two spaces. We claim it is transitive. To see this, let α 0, α 1 T be any two elements. Then α t = (1 t)α 0 + tα 1 T for 0 t 1, and [α t ] = [α 0 ] for all t. By Moser s stability theorem, there exists a smooth family of g t Diff + (F ) with g 0 = id, such that g t α t = α 0. Particular, g 1 α 1 = α 0, and the action of Diff + (F ) on T is transitive. This implies that Diff + (F )/Symp(F, σ) is homeomorphic to T as Symp(F, σ) is the isotropy subgroup at σ T. The next lemma gives a simple criterior for the hypothesis in Lemma 2.2. Lemma 2.4. Suppose π : M B is a symplectic fibration with fiber (F, σ). If c 1 (T F ) is a non-zero multiple of [σ], then there exists a cohomology class a H 2 (M) such that i b a = [σ b], where i b : F b M is the inclusion. Proof. Let E be the sub-bundle of T M where at each point the fiber consists of vectors which are tangent to the fiber of π : M B. Then the assumption that π : M B is a symplectic fibration implies that E is a symplectic vector bundle with the symplectic bilinear form which at p M equals σ b (p) where b = π(p). Note that i b E = T F b, therefore i b c 1(E) = c 1 (T F b ) = λ[σ b ] for some λ 0. We can take a = 1 λ c 1(E) H 2 (M). We obtain the following corollary. Corollary 2.5. Let π : M B be an oriented surface bundle over a symplectic manifold, where the genus of the fiber is not 1. Then M admits a symplectic structure such that each fiber is a symplectic submanifold.
7 LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY 7 Proof. For an oriented surface F, c 1 (T F )[F ] = 2 2g where g is the genus of F. Hence when g 1, c 1 (T F ) is a non-zero multiple of [σ] for any symplectic form σ on F. The corollary follows from Lemmas When the fiber F = T 2, we have Proposition 2.6. Suppose M is an oriented surface bundle over a symplectic manifold such that the fiber class [F b ] H 2 (M) is nonzero. Then M admits a symplectic structure such that each fiber is a symplectic submanifold. Proof. By Lemma 2.3, M is a symplectic fibration with fiber (F, σ). By Lemma 2.2 and then Lemma 2.1, it suffices to show that there exists a cohomology class a H 2 (M) such that a[f b ] 0, because H 2 (F ) = R, and this would imply that i b a = λ[σ b] for some λ 0. Since H 2 (M; R) = Hom(H 2 (M, R), R), and [F b ] H 2 (M) is nonzero, there exists an a H 2 (M) such that a[f b ] 0. Example 2.7. Let H : S 3 CP 1 be the Hopf fibration. Then π : S 3 S 1 CP 1 defined by (x, t) H(x) is a T 2 -bundle over CP 1. Note that H 2 (S 3 S 1 ) = H 2 (S 3 ) H 0 (S 1 ) H 1 (S 3 ) H 1 (S 1 ) = 0 by the Kunneth formula, so that S 3 S 1 can not be symplectic. This shows that the conditions related to the existence of τ in Thurston s construction (cf. Lemma 2.1) are necessary. Example 2.8. (The Kodaira-Thurston Manifold, cf. Example 1.16 in Lecture 1). Consider the 4-manifold M = S 1 N where N is the nontrivial T 2 -bundle over S 1 defined by N = [0, 1] T 2 /, where (0, x, y) (1, x + y, y). Naturally M is a T 2 - bundle over T 2. We claim that the fiber class is nonzero in H 2 (M). This is equivalent to say that the fiber class is nonzero in H 2 (N). But this follows from the fact that N S 1 has a section [(t, 0, 0)], t [0, 1], which has a nonzero intersection product with the fiber. By Proposition 2.6, M is a symplectic manifold. M can not be Kähler, because H 1 (M) = R 3, which has an odd dimension. This is the first example of symplectic, non-kähler manifold. 3. Symplectic fiber sums Recall the symplectic neighborhood theorem that the symplectic structure on a regular neighborhood of a compact symplectic submanifold is determined by the induced symplectic structure on the symplectic submanifold and the isomorphism class of the normal bundle as a symplectic vector bundle, or equivalently as a complex vector bundle (cf. Lecture 3, Theorem 1.3). This theorem is the basis of a connected sum construction in symplectic category, called the symplectic fibre sum. We note that such a connected sum construction is not available in the holomorphic category. In fact, the symplectic fibre sum is the major technique of investigating the difference between the category of symplectic manifolds and that of Kähler manifolds. The following theorem, due to R. Gompf, is a simple, but an important, example.
8 8 WEIMIN CHEN, UMASS, SPRING 07 Theorem 3.1. (Gompf, 1995) Every finitely presentable group is the fundamental group of a compact symplectic 4-manifold. It is known that every finitely presentable group is the fundamental group of a compact 4-manifold. On the other hand, it was proved that there exist no algorithms which can be used to classify all the finitely presentable groups. As a consequence, we obtain the following complexity result about compact 4-manifolds: there exist no algorithms which can be used to classify all the compact 4-manifolds (topological or smooth). The above theorem of Gompf shows that the same holds for symplectic 4-manifolds. On the other hand, it is known that there are severe constraints on the fundamental group of a Kähler surface. Gompf s theorem shows that the set of symplectic 4-manifolds is significantly larger than that of Kähler surfaces. Now we describe the symplectic fiber sum. For j = 1, 2 let (M j, ω j ) be a symplectic manifold of dimension 2n and let Q j M j be a compact symplectic submanifold of dimension 2n 2 which has a trivial normal bundle. By the symplectic neighborhood theorem, a regular neighborhood of Q j in M j is symplectomorphic to (Q j B 2 (r 0 ), ω j dx dy) for some r 0 > 0, where B 2 (r 0 ) = {(x, y) R 2 x 2 + y 2 < r 2 0 }. Now suppose there exists a symplectomorphism φ : (Q 1, ω 1 ) (Q 2, ω 2 ). Then for any 0 < r 1 < r 0, there is a symplectomorphism Φ : (Q 1 A(r 1, r 0 ), ω 1 dx dy) (Q 2 A(r 1, r 0 ), ω 2 dx dy) lifting φ, where A(r 1, r 0 ) = {(x, y) R 2 r1 2 < x2 + y 2 < r0 2 }, which interchanges the inner boundary and the outer boundary of A(r 1, r 0 ). To define Φ, we let r, θ be the polar coordinates on B 2 (r 0 ). Then dx dy = rdr dθ = du dθ where u = 1 2 r2. With this understood, we define Φ : (q, u, θ) (φ(q), 1 2 (r2 0 + r 2 1) u, θ). We can construct a new symplectic manifold by taking out a regular neighborhood of Q 1, Q 2 and gluing the complements via Φ: (M 1 \ Q 1 B 2 (r 1 )) (M 2 \ Q 2 B 2 (r 1 ))/ where (q, u, θ) Φ(q, u, θ), (q, u, θ) Q 1 A(r 1, r 0 ). We denote it by M 1 # Q1 =Q 2 M 2. Remark 3.2. (1) The most useful case of this construction is when dim M j = 4. In this case, Q j is an embedded symplectic surface with self-intersection Q 2 j = 0. Note that by Moser s argument, there exists a symplectomorphism φ : (Q 1, ω 1 ) (Q 2, ω 2 ) if and only if Q 1, Q 2 have the same genus, and the total areas Q 1 ω 1 = Q 2 ω 2. However, the second condition is not essential because it can always be arranged by replacing of one of ω 1, ω 2 with an appropriate multiple. (2) The diffeomorphism type of the resulting manifold M 1 # Q1 =Q 2 M 2 depends on a number of things. First, it depends on the identification of a regular neighborhood of Q j to Q j B 2 (r 0 ). Such identifications are parametrized by the so-called framings, i.e., the set of trivializations of the trivial bundle Q j R 2 over Q j, which may be identified with H 1 (Q j ; Z) (i.e., the set of homotopy classes of maps from Q j to S 1 ).
9 LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY 9 Second, it depends on the isotopy class of φ : Q 1 Q 2. For example, when Q j = T 2 is a torus, the gluing data may be summarized into a 3 3 matrix a b 0 c d 0, m n 1 ( ) a b where SL(2, Z) parametrizes the isotopy classes of symplectomorphisms c d φ : T 2 T 2 and (m, n) H 1 (T 2 ; Z) = Z Z are the framings. (3) Note that the symplectic fibre sum construction requires the existence of a symplectomorphism A(r 1, r 0 ) A(r 1, r 0 ) of the annulus which interchanges the inner and outer boundaries. There exist no higher dimensional analogs because such a symplectomorphism could be used to glue two higher dimensional balls to obtain a symplectic S 2k for some k > 1, which we know does not exist. Thus the symplectic fiber sum construction can only be performed along a symplectic submanifold of codimension 2. (4) Note that in the gluing region Q 1 A(r 1, r 0 ) in a symplectic fiber sum M 1 # Q1 =Q 2 M 2, there is a free Hamiltonian S 1 -action which acts trivially on the Q 1 factor and acts as complex multiplication on the A(r 1, r 0 ) factor. Lerman s symplectic cutting, when applied in this setting, allows one to undo the symplectic fiber sum, i.e., producing M 1, M 2 from M 1 # Q1 =Q 2 M 2. This is where the name symplectic cutting was coming from, i.e., it gives an inverse of symplectic gluing. In the remaining of this section we shall explain the basic ideas of the proof of Gompf s theorem (i.e. Theorem 3.1) with a simple example. A key ingredient is the following fact. Lemma 3.3. There exists a compact symplectic 4-manifold V with an embedded symplectic torus T of self-intersection T 2 = 0 such that the complement of a regular neighborhood of T in V is simply-connected. Proof. The manifold V will be the Kähler surface which is CP 2 blown up at 9 points, and T will be the proper transform of a smooth cubic curve in CP 2. More precisely, take two generic cubic polynomials P 1, P 2 such that the zeroes {P 1 = 0}, {P 2 = 0} CP 2 are smooth curves which intersect transversely at 9 distinct points. For any λ = [a, b] CP 1, the cubic curve {P λ ap 1 + bp 2 = 0} CP 2 contains all of the 9 points where P 1, P 2 intersect. Since for distinct λ, λ the cubic curves {P λ = 0}, {P λ = 0} are distinct, and since their intersection product is 9, it follows that {P λ = 0} and {P λ = 0} intersect only at these 9 points, and furthermore, the intersection is transversal. It follows that CP 2 is the union of these cubic curves, and the complex surface obtained by blowing up at these 9 points is a disjoint union of the proper transform of these cubic curves in CP 2, which is parametrized by CP 1. A generic member is a smoothly embedded torus of self-intersection 0. Since the blow up of an algebraic surface is still an algebraic surface, we see in particular that V is Kähler. To see that the complement of a regular neighborhood of T in V is simply-connected, we use the Van-Kampen theorem. To this end, we denote by ν(t ) a regular neighborhood of T in V. Then V is the union of the complement V \ ν(t ) and ν(t )
10 10 WEIMIN CHEN, UMASS, SPRING 07 along a 3-torus ν(t ). We pick a base point x 0 ν(t ). First, we observe that the class of the meridian of T in π 1 (V \ ν(t ), x 0 ) is zero because the meridian bounds an embedded disc in V \ ν(t ). To see this, recall that V is CP 2 blown up at 9 points where the family of cubic curves intersect transversely, and that T is the proper transform of a fixed smooth cubic. In particular, the exceptional curve at any of the blown up point intersects T transversely, so that the part of the exceptional curve in V \ ν(t ) is an embedded disc bounded by the meridian of T. With this understood, now observe that there is a homomorphism π 1 (ν(t ), x 0 ) π 1 (V \ ν(t ), x 0 ) such that the natural homomorphism induced by inclusion π 1 ( ν(t ), x 0 ) π 1 (ν(t ), x 0 ) followed by this homomorphism equals the natural homomorphism induced by inclusion π 1 ( ν(t ), x 0 ) π 1 (V \ ν(t ), x 0 ). It follows from the Van-Kampen theorem that there exists a homomorphism π 1 (V, x 0 ) π 1 (V \ ν(t ), x 0 ), such that the natural homomorphism induced by inclusion π 1 (V \ ν(t ), x 0 ) π 1 (V, x 0 ) followed by this homomorphism equals the identity on π 1 (V \ ν(t ), x 0 ). This implies that V \ ν(t ) is simply-connected because V is simply-connected. Now suppose X is a symplectic 4-manifold with an embedded symplectic torus T of self-intersection 0. Let Y V # T =T X be the symplectic fiber sum. Then by Van-Kampen theorem, π 1 (Y, x 0 ) is obtained from π 1 (X, x 0 ) by setting the free loops contained in T null-homotopic, for any x 0 X. Example 3.4. In this example we will illustrate how to construct a compact symplectic 4-manifold with fundamental group Z, using the symplectic fiber sum construction. To this end, we consider the symplectic 4-manifold X, where X = S 1 S 1 S 1 S 1. The symplectic structure on X is ω = dθ 1 dθ 2 + dθ 3 dθ 4 + dθ 2 dθ 3, where θ j, j = 1, 2, 3, 4, is the angular coordinate on the j-th copy of S 1 in X. There are two disjoint, embedded symplectic tori in X: T 1 = {1} {1} S 1 S 1, and T 2 = { 1} S 1 S 1 {1}. The symplectic fiber sum Y = V # T T1 X# T2 =T V has a fundamental group which is obtained from π 1 (X) by setting the j-th copy of S 1 in X null-homotopic, for j = 2, 3, 4. Clearly π 1 (Y ) = Z. We remark that Y can not be Kähler because the first Betti number b 1 (Y ) = 1 which is odd. References [1] D. McDuff and D. Salamon, Introduction to Symplectic Topology, Oxford Mathematical Monographs, 2nd edition, Oxford Univ. Press, 1998.
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationLecture XI: The non-kähler world
Lecture XI: The non-kähler world Jonathan Evans 2nd December 2010 Jonathan Evans () Lecture XI: The non-kähler world 2nd December 2010 1 / 21 We ve spent most of the course so far discussing examples of
More informationLECTURE 4: SYMPLECTIC GROUP ACTIONS
LECTURE 4: SYMPLECTIC GROUP ACTIONS WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic circle actions We set S 1 = R/2πZ throughout. Let (M, ω) be a symplectic manifold. A symplectic S 1 -action on (M, ω) is
More informationLECTURE 2: SYMPLECTIC VECTOR BUNDLES
LECTURE 2: SYMPLECTIC VECTOR BUNDLES WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic Vector Spaces Definition 1.1. A symplectic vector space is a pair (V, ω) where V is a finite dimensional vector space (over
More informationTHE CANONICAL PENCILS ON HORIKAWA SURFACES
THE CANONICAL PENCILS ON HORIKAWA SURFACES DENIS AUROUX Abstract. We calculate the monodromies of the canonical Lefschetz pencils on a pair of homeomorphic Horikawa surfaces. We show in particular that
More informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More informationSYMPLECTIC LEFSCHETZ FIBRATIONS ALEXANDER CAVIEDES CASTRO
SYMPLECTIC LEFSCHETZ FIBRATIONS ALEXANDER CAVIEDES CASTRO. Introduction A Lefschetz pencil is a construction that comes from algebraic geometry, but it is closely related with symplectic geometry. Indeed,
More informationThe topology of symplectic four-manifolds
The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form
More informationSymplectic 4-manifolds, singular plane curves, and isotopy problems
Symplectic 4-manifolds, singular plane curves, and isotopy problems Denis AUROUX Massachusetts Inst. of Technology and Ecole Polytechnique Symplectic manifolds A symplectic structure on a smooth manifold
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationGeometry and Dynamics of singular symplectic manifolds. Session 9: Some applications of the path method in b-symplectic geometry
Geometry and Dynamics of singular symplectic manifolds Session 9: Some applications of the path method in b-symplectic geometry Eva Miranda (UPC-CEREMADE-IMCCE-IMJ) Fondation Sciences Mathématiques de
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 informationTHE EXISTENCE PROBLEM
THE EXISTENCE PROBLEM Contact Geometry in High Dimensions Emmanuel Giroux CNRS ENS Lyon AIM May 21, 2012 Contact forms A contact form on a manifold V is a non-vanishing 1-form α whose differential dα at
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationLefschetz pencils and the symplectic topology of complex surfaces
Lefschetz pencils and the symplectic topology of complex surfaces Denis AUROUX Massachusetts Institute of Technology Symplectic 4-manifolds A (compact) symplectic 4-manifold (M 4, ω) is a smooth 4-manifold
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More informationDIFFEOMORPHISMS OF SURFACES AND SMOOTH 4-MANIFOLDS
DIFFEOMORPHISMS OF SURFACES AND SMOOTH 4-MANIFOLDS SDGLDTS FEB 18 2016 MORGAN WEILER Motivation: Lefschetz Fibrations on Smooth 4-Manifolds There are a lot of good reasons to think about mapping class
More informationClassifying complex surfaces and symplectic 4-manifolds
Classifying complex surfaces and symplectic 4-manifolds UT Austin, September 18, 2012 First Cut Seminar Basics Symplectic 4-manifolds Definition A symplectic 4-manifold (X, ω) is an oriented, smooth, 4-dimensional
More informationA NEW CONSTRUCTION OF POISSON MANIFOLDS
A NEW CONSTRUCTION OF POISSON MANIFOLDS A. IBORT, D. MARTÍNEZ TORRES Abstract A new technique to construct Poisson manifolds inspired both in surgery ideas used to define Poisson structures on 3-manifolds
More informationA. CANNAS DA SILVA, V. GUILLEMIN, AND A. R. PIRES
SYMPLECTIC ORIGAMI arxiv:0909.4065v1 [math.sg] 22 Sep 2009 A. CANNAS DA SILVA, V. GUILLEMIN, AND A. R. PIRES Abstract. An origami manifold is a manifold equipped with a closed 2-form which is symplectic
More informationDelzant s Garden. A one-hour tour to symplectic toric geometry
Delzant s Garden A one-hour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem
More informationFrom symplectic deformation to isotopy
From symplectic deformation to isotopy Dusa McDuff State University of New York at Stony Brook (dusa@math.sunysb.edu) May 15, 1996, revised Aug 4, 1997 Abstract Let X be an oriented 4-manifold which does
More informationPoisson geometry of b-manifolds. Eva Miranda
Poisson geometry of b-manifolds Eva Miranda UPC-Barcelona Rio de Janeiro, July 26, 2010 Eva Miranda (UPC) Poisson 2010 July 26, 2010 1 / 45 Outline 1 Motivation 2 Classification of b-poisson manifolds
More informationTesi di Laurea Magistrale in Matematica presentata da. Claudia Dennetta. Symplectic Geometry. Il Relatore. Prof. Massimiliano Pontecorvo
UNIVERSITÀ DEGLI STUDI ROMA TRE FACOLTÀ DI SCIENZE M.F.N. Tesi di Laurea Magistrale in Matematica presentata da Claudia Dennetta Symplectic Geometry Relatore Prof. Massimiliano Pontecorvo Il Candidato
More informationTransversality. Abhishek Khetan. December 13, Basics 1. 2 The Transversality Theorem 1. 3 Transversality and Homotopy 2
Transversality Abhishek Khetan December 13, 2017 Contents 1 Basics 1 2 The Transversality Theorem 1 3 Transversality and Homotopy 2 4 Intersection Number Mod 2 4 5 Degree Mod 2 4 1 Basics Definition. Let
More informationSubgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.
Recollections from finite group theory. The notion of a group acting on a set is extremely useful. Indeed, the whole of group theory arose through this route. As an example of the abstract power of this
More informationKODAIRA DIMENSION OF LEFSCHETZ FIBRATIONS OVER TORI
KODAIRA DIMENSION OF LEFSCHETZ FIBRATIONS OVER TORI JOSEF G. DORFMEISTER Abstract. The Kodaira dimension for Lefschetz fibrations was defined in [1]. In this note we show that there exists no Lefschetz
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 informationEva Miranda. UPC-Barcelona. (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February
From b-poisson manifolds to symplectic mapping torus and back Eva Miranda UPC-Barcelona (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February 8 2011 Eva Miranda (UPC) Poisson Day February
More informationJ-curves and the classification of rational and ruled symplectic 4-manifolds
J-curves and the classification of rational and ruled symplectic 4-manifolds François Lalonde Université du Québec à Montréal (flalonde@math.uqam.ca) Dusa McDuff State University of New York at Stony Brook
More informationDISTINGUISHING EMBEDDED CURVES IN RATIONAL COMPLEX SURFACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 16, Number 1, January 1998, Pages 305 310 S 000-9939(98)04001-5 DISTINGUISHING EMBEDDED CURVES IN RATIONAL COMPLEX SURFACES TERRY FULLER (Communicated
More informationJ-holomorphic curves in symplectic geometry
J-holomorphic curves in symplectic geometry Janko Latschev Pleinfeld, September 25 28, 2006 Since their introduction by Gromov [4] in the mid-1980 s J-holomorphic curves have been one of the most widely
More informationLecture III: Neighbourhoods
Lecture III: Neighbourhoods Jonathan Evans 7th October 2010 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 1 / 18 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 2 / 18 In
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
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 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 informationL6: Almost complex structures
L6: Almost complex structures To study general symplectic manifolds, rather than Kähler manifolds, it is helpful to extract the homotopy-theoretic essence of having a complex structure. An almost complex
More information4-MANIFOLDS AS FIBER BUNDLES
4-MANIFOLDS AS FIBER BUNDLES MORGAN WEILER Structures on 4-Manifolds I care about geometric structures on 4-manifolds because they allow me to obtain results about their smooth topology. Think: de Rham
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 informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationTHE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS
THE H-PRINCIPLE, LECTURE 14: HAELIGER S THEOREM CLASSIYING OLIATIONS ON OPEN MANIOLDS J. RANCIS, NOTES BY M. HOYOIS In this lecture we prove the following theorem: Theorem 0.1 (Haefliger). If M is an open
More informationFAKE PROJECTIVE SPACES AND FAKE TORI
FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.
More informationMath 215B: Solutions 3
Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationHARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES
HARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES OLIVER EBNER AND STEFAN HALLER Abstract. We show that every de Rham cohomology class on the total space of a symplectic fiber bundle with closed Lefschetz
More informationLagrangian knottedness and unknottedness in rational surfaces
agrangian knottedness and unknottedness in rational surfaces Outline: agrangian knottedness Symplectic geometry of complex projective varieties, D 5, agrangian spheres and Dehn twists agrangian unknottedness
More information30 Surfaces and nondegenerate symmetric bilinear forms
80 CHAPTER 3. COHOMOLOGY AND DUALITY This calculation is useful! Corollary 29.4. Let p, q > 0. Any map S p+q S p S q induces the zero map in H p+q ( ). Proof. Let f : S p+q S p S q be such a map. It induces
More informationarxiv: v1 [math.sg] 6 Nov 2015
A CHIANG-TYPE LAGRANGIAN IN CP ANA CANNAS DA SILVA Abstract. We analyse a simple Chiang-type lagrangian in CP which is topologically an RP but exhibits a distinguishing behaviour under reduction by one
More informationExotic Lefschetz Fibrations and Stein Fillings with Arbitrary Fundamental Group
Exotic Lefschetz Fibrations and Stein Fillings with Arbitrary Fundamental Group Anar Akhmedov University of Minnesota, Twin Cities February 19, 2015 Anar Akhmedov (University of Minnesota, Minneapolis)Exotic
More information4-MANIFOLDS: CLASSIFICATION AND EXAMPLES. 1. Outline
4-MANIFOLDS: CLASSIFICATION AND EXAMPLES 1. Outline Throughout, 4-manifold will be used to mean closed, oriented, simply-connected 4-manifold. Hopefully I will remember to append smooth wherever necessary.
More informationarxiv: v1 [math.gt] 20 Dec 2017
SYMPLECTIC FILLINGS, CONTACT SURGERIES, AND LAGRANGIAN DISKS arxiv:1712.07287v1 [math.gt] 20 Dec 2017 JAMES CONWAY, JOHN B. ETNYRE, AND BÜLENT TOSUN ABSTRACT. This paper completely answers the question
More informationSPHERES AND PROJECTIONS FOR Out(F n )
SPHERES AND PROJECTIONS FOR Out(F n ) URSULA HAMENSTÄDT AND SEBASTIAN HENSEL Abstract. The outer automorphism group Out(F 2g ) of a free group on 2g generators naturally contains the mapping class group
More informationMorse Theory and Applications to Equivariant Topology
Morse Theory and Applications to Equivariant Topology Morse Theory: the classical approach Briefly, Morse theory is ubiquitous and indomitable (Bott). It embodies a far reaching idea: the geometry and
More informationComplex structures on 4-manifolds with symplectic 2-torus actions
Complex structures on 4-manifolds with symplectic 2-torus actions J.J. Duistermaat and A. Pelayo Abstract We apply the general theory for symplectic torus actions with symplectic or coisotropic orbits
More informationCALIBRATED FIBRATIONS ON NONCOMPACT MANIFOLDS VIA GROUP ACTIONS
DUKE MATHEMATICAL JOURNAL Vol. 110, No. 2, c 2001 CALIBRATED FIBRATIONS ON NONCOMPACT MANIFOLDS VIA GROUP ACTIONS EDWARD GOLDSTEIN Abstract In this paper we use Lie group actions on noncompact Riemannian
More informationFAMILIES OF ALGEBRAIC CURVES AS SURFACE BUNDLES OF RIEMANN SURFACES
FAMILIES OF ALGEBRAIC CURVES AS SURFACE BUNDLES OF RIEMANN SURFACES MARGARET NICHOLS 1. Introduction In this paper we study the complex structures which can occur on algebraic curves. The ideas discussed
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
More informationLECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES
LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for
More informationCOMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY
COMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY MARK MCLEAN arxiv:1109.4466v1 [math.sg] 21 Sep 2011 Abstract. For each n greater than 7 we explicitly construct a sequence of Stein manifolds diffeomorphic
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
More informationSymplectic Lefschetz fibrations and the geography of symplectic 4-manifolds
Symplectic Lefschetz fibrations and the geography of symplectic 4-manifolds Matt Harvey January 17, 2003 This paper is a survey of results which have brought techniques from the theory of complex surfaces
More informationarxiv: v1 [math.sg] 26 Jan 2015
SYMPLECTIC ACTIONS OF NON-HAMILTONIAN TYPE ÁLVARO PELAYO arxiv:1501.06480v1 [math.sg] 26 Jan 2015 In memory of Professor Johannes (Hans) J. Duistermaat (1942 2010) Abstract. Hamiltonian symplectic actions
More informationLecture 8: More characteristic classes and the Thom isomorphism
Lecture 8: More characteristic classes and the Thom isomorphism We begin this lecture by carrying out a few of the exercises in Lecture 1. We take advantage of the fact that the Chern classes are stable
More informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions
More informationNew symplectic 4-manifolds with nonnegative signature
Journal of Gökova Geometry Topology Volume 2 2008) 1 13 New symplectic 4-manifolds with nonnegative signature Anar Akhmedov and B. Doug Park Abstract. We construct new families of symplectic 4-manifolds
More informationAn introduction to cobordism
An introduction to cobordism Martin Vito Cruz 30 April 2004 1 Introduction Cobordism theory is the study of manifolds modulo the cobordism relation: two manifolds are considered the same if their disjoint
More informationSymplectic Origami. A. Cannas da Silva 1,2, V. Guillemin 3, and A. R. Pires 3
A. Cannas et al. (2011) Symplectic Origami, International Mathematics Research Notices, Vol. 2011, No. 18, pp. 4252 4293 Advance Access publication December 2, 2010 doi:10.1093/imrn/rnq241 Symplectic Origami
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationINERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS. Osaka Journal of Mathematics. 53(2) P.309-P.319
Title Author(s) INERTIA GROUPS AND SMOOTH STRUCTURES OF (n - 1)- CONNECTED 2n-MANIFOLDS Ramesh, Kaslingam Citation Osaka Journal of Mathematics. 53(2) P.309-P.319 Issue Date 2016-04 Text Version publisher
More informationThe Classification of Nonsimple Algebraic Tangles
The Classification of Nonsimple Algebraic Tangles Ying-Qing Wu 1 A tangle is a pair (B, T ), where B is a 3-ball, T is a pair of properly embedded arcs. When there is no ambiguity we will simply say that
More informationReduced phase space and toric variety coordinatizations of Delzant spaces
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 147 Reduced phase space and toric variety coordinatizations of Delzant spaces By JOHANNES J. DUISTERMAAT AND ALVARO PELAYO Mathematisch
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 informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
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 informationLefschetz Fibrations and Exotic Stein Fillings with Arbitrary Fundamental Group via Luttinger Surgery
Lefschetz Fibrations and Exotic Stein Fillings with Arbitrary Fundamental Group via Luttinger Surgery Anar Akhmedov University of Minnesota, Twin Cities June 20, 2013, ESI, Vienna Anar Akhmedov (University
More informationSymmetries and exotic smooth structures on a K3 surface
University of Massachusetts Amherst ScholarWorks@UMass Amherst Mathematics and Statistics Department Faculty Publication Series Mathematics and Statistics 2008 Symmetries and exotic smooth structures on
More informationStratified Symplectic Spaces and Reduction
Stratified Symplectic Spaces and Reduction Reyer Sjamaar Eugene Lerman Mathematisch Instituut der Rijksuniversiteit te Utrecht Current addresses: R. Sjamaar, Dept. of Mathematics, MIT, Cambridge, MA 02139
More informationEva Miranda. UPC-Barcelona and BGSMath. XXV International Fall Workshop on Geometry and Physics Madrid
b-symplectic manifolds: going to infinity and coming back Eva Miranda UPC-Barcelona and BGSMath XXV International Fall Workshop on Geometry and Physics Madrid Eva Miranda (UPC) b-symplectic manifolds Semptember,
More informationIntersection of stable and unstable manifolds for invariant Morse functions
Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and
More informationSMALL EXOTIC 4-MANIFOLDS. 0. Introduction
SMALL EXOTIC 4-MANIFOLDS ANAR AKHMEDOV Dedicated to Professor Ronald J. Stern on the occasion of his sixtieth birthday Abstract. In this article, we construct the first example of a simply-connected minimal
More informationarxiv:math/ v1 [math.gt] 14 Nov 2003
AUTOMORPHISMS OF TORELLI GROUPS arxiv:math/0311250v1 [math.gt] 14 Nov 2003 JOHN D. MCCARTHY AND WILLIAM R. VAUTAW Abstract. In this paper, we prove that each automorphism of the Torelli group of a surface
More informationBroken pencils and four-manifold invariants. Tim Perutz (Cambridge)
Broken pencils and four-manifold invariants Tim Perutz (Cambridge) Aim This talk is about a project to construct and study a symplectic substitute for gauge theory in 2, 3 and 4 dimensions. The 3- and
More informationDiffeomorphism Groups of Reducible 3-Manifolds. Allen Hatcher
Diffeomorphism Groups of Reducible 3-Manifolds Allen Hatcher In a 1979 announcement by César de Sá and Rourke [CR] there is a sketch of an intuitively appealing approach to measuring the difference between
More informationLECTURE 8: THE MOMENT MAP
LECTURE 8: THE MOMENT MAP Contents 1. Properties of the moment map 1 2. Existence and Uniqueness of the moment map 4 3. Examples/Exercises of moment maps 7 4. Moment map in gauge theory 9 1. Properties
More informationERRATA FOR INTRODUCTION TO SYMPLECTIC TOPOLOGY
ERRATA FOR INTRODUCTION TO SYPLECTIC TOPOLOGY DUSA CDUFF AND DIETAR A. SALAON Abstract. This note corrects some typos and some errors in Introduction to Symplectic Topology (2nd edition, OUP 1998). In
More informationSmooth s-cobordisms of elliptic 3-manifolds
University of Massachusetts Amherst ScholarWorks@UMass Amherst Mathematics and Statistics Department Faculty Publication Series Mathematics and Statistics 2006 Smooth s-cobordisms of elliptic 3-manifolds
More informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationCohomology and Vector Bundles
Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes
More informationSome non-trivial PL knots whose complements are homotopy circles
Some non-trivial PL knots whose complements are homotopy circles Greg Friedman Vanderbilt University May 16, 2006 Dedicated to the memory of Jerry Levine (May 4, 1937 - April 8, 2006) 2000 Mathematics
More informationA meridian disk of the solid torus wraps q times around its image disk. Here p =1 and q =2.
4. HYPERBOLIC DEHN SURGERY A meridian disk of the solid torus wraps q times around its image disk. Here p =1 and q =2. Any three-manifold with a complete codimension-2 hyperbolic foliation has universal
More information