Mak, Kin Hei. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2010. / Includes bibliographical references (leaves 48-50). / Abstracts in English and Chinese. / Chapter 1 --- Introduction --- p.2 / Chapter 2 --- Symplectic 4-Manifolds --- p.5 / Chapter 2.1 --- Basic Definitions --- p.5 / Chapter 2.2 --- Simple Examples of Symplectic Manifolds --- p.6 / Chapter 2.3 --- A Theorem of Thurston --- p.8 / Chapter 2.4 --- Lefschetz Pencils --- p.13 / Chapter 3 --- Classification of Lefschetz Fibrations --- p.17 / Chapter 3.1 --- Definitions --- p.17 / Chapter 3.2 --- Handlebody Decomposition --- p.19 / Chapter 3.3 --- Genus 1 --- p.29 / Chapter 3.4 --- Genus 2 --- p.36 / Chapter 3.5 --- Genus g≥3 --- p.43 / Bibliography --- p.48

We introduce an $A_\infty$ map from the cubical chain complex of the based loop space of Lagrangian submanifolds with Legendrian boundary in a Liouville Manifold $C_{*}(\Omega_{L} \Lag)$ to wrapped Floer cohomology of Lagrangian submanifold $\CW^{-*}(L,L)$. In the case of a cotangent bundle and a Lagrangian co-fiber, the composition of our map with the map from $\CW^{-*}(L,L) \to C_{*}(\Omega_q Q) $ as defined in \cite{Ab12} shows that this map is split surjective.

In this project we introduce the general idea of geometric quantization and demonstratehow to apply the process on a few examples. We discuss how to construct a line bundleover the symplectic manifold with Dirac’s quantization conditions and how to determine if we are able to quantize a system with the help of Weil’s integrability condition. To reducethe prequantum line bundle we employ real polarization such that the system does notbreak Heisenberg’s uncertainty principle anymore. From the prequantum bundle and thepolarization we construct the sought after Hilbert space.

This thesis studies the pre-quantization of quasi-Hamiltonian group actions from a cohomological viewpoint. The compatibility of pre-quantization with symplectic reduction and the fusion product are established, and are used to understand the necessary and sufficient conditions for the pre-quantization of M(G,S), the moduli space of at flat G-bundles over a closed surface S. For a simply connected, compact, simple Lie group G, M(G,S) is known to be pre-quantizable at integer levels. For non-simply connected G, however, integrality of the level is not sufficient for pre-quantization, and this thesis determines the obstruction, namely a certain 3-dimensional cohomology class, that places further restrictions on the underlying level. The levels that admit a pre-quantization of the moduli space are determined explicitly for all non-simply connected, compact, simple Lie groups G. Partial results are obtained for the case of a surface S with marked points. Also, it is shown that via the bijective correspondence between quasi-Hamiltonian group actions and Hamiltonian loop group actions, the corresponding notions of prequantization coincide.

Given a Liouville manifold, symplectic cohomology is defined as the Hamiltonian Floer homology for the symplectic action functional on the free loop space. In this thesis, we propose two versions of periodic S^1-equivariant homology or S^1-equivariant Tate homology for the natural S^1-action on the free loop space. The first version is called periodic symplectic cohomology. We prove that there is a localization theorem or a fix point property for periodic symplectic cohomology. The second version is called the completed periodic symplectic cohomology which satisfies Goodwillie's excision isomorphism. Inspired by the work of Seidel and Solomon on the existence of dilations on symplectic cohomology, we formulate the notion of Liouville manifolds admitting higher dilations using Goodwillie's excision isomorphism on the completed periodic symplectic cohomology. As an application, we derive obstructions to existence of certain exact Lagrangian immersions in Liouville manifolds admitting higher dilations.

Any genus $g$ surface, $\Sigma_{g,n},$ with $n$ boundary components may be given a trinion decomposition: a realization of the surface as a union of $2g-2+n$ trinions glued together along $3g-3+n$ of their boundary circles. Together with the flows of Goldman, Jeffrey and Weitsman use the trinion boundary circles in a decomposition of $\Sigma_{g,n}$ to obtain a Hamiltonian action of a compact torus $(S^1)^{3g-3+n'} $ on an open dense subset of the moduli space of certain gauge equivalence classes of flat $SU(2)-$connections on $\Sigma_{g,n}.$ Jeffrey and Weitsman also provide a complete description of the moment polytopes for these torus actions, and we make use of this description to study the cohomology of associated toric varieties. While we are able to make use of the work of Danilov to obtain the integral (rational) cohomology ring in the smooth (orbifold) case, we show that the aforementioned toric varieties almost always possess singularities worse than those of an orbifold. In these cases we use an algorithm of Bressler and Lunts to recover the intersection cohomology Betti numbers using the combinatorial information provided by the corresponding moment polytopes. The main contribution of this thesis is a computation of the intersection cohomology Betti numbers for the toric varieties associated to trinion decomposed surfaces $\Sigma_{2,0},\Sigma_{2,1},\Sigma_{3,0}, \Sigma_{3,1}, \Sigma_{4,0},$ and $\Sigma_{4,1}.$

Any genus $g$ surface, $\Sigma_{g,n},$ with $n$ boundary components may be given a trinion decomposition: a realization of the surface as a union of $2g-2+n$ trinions glued together along $3g-3+n$ of their boundary circles. Together with the flows of Goldman, Jeffrey and Weitsman use the trinion boundary circles in a decomposition of $\Sigma_{g,n}$ to obtain a Hamiltonian action of a compact torus $(S^1)^{3g-3+n'} $ on an open dense subset of the moduli space of certain gauge equivalence classes of flat $SU(2)-$connections on $\Sigma_{g,n}.$ Jeffrey and Weitsman also provide a complete description of the moment polytopes for these torus actions, and we make use of this description to study the cohomology of associated toric varieties. While we are able to make use of the work of Danilov to obtain the integral (rational) cohomology ring in the smooth (orbifold) case, we show that the aforementioned toric varieties almost always possess singularities worse than those of an orbifold. In these cases we use an algorithm of Bressler and Lunts to recover the intersection cohomology Betti numbers using the combinatorial information provided by the corresponding moment polytopes. The main contribution of this thesis is a computation of the intersection cohomology Betti numbers for the toric varieties associated to trinion decomposed surfaces $\Sigma_{2,0},\Sigma_{2,1},\Sigma_{3,0}, \Sigma_{3,1}, \Sigma_{4,0},$ and $\Sigma_{4,1}.$

In this thesis, we develop two methods for constructing Lie groupoids. The first method is a blow-up construction, corresponding to the elementary modification of a Lie algebroid along a subalgebroid over some closed hypersurface. This construction may be specialized to the Poisson groupoids and Lie bialgebroids. We then apply this method to three cases. The first is the adjoint Lie groupoid integrating the Lie algebroid of vector fields tangent to a collection of normal crossing hypersurfaces. The second is the adjoint symplectic groupoid of a log symplectic manifold. The third is the adjoint Lie groupoid integrating the tangent algebroid of a Riemann surface twisted by a divisor. The second method is a gluing construction, whereby Lie groupoids defined on the open sets of an appropriate cover may be combined to obtain global integrations. This allows us to construct and classify the Lie groupoids integrating the given Lie algebroid. We apply this method to the aforementioned cases, albeit with small differences, and characterize the category of integrations in each case.

In this thesis, we develop two methods for constructing Lie groupoids. The first method is a blow-up construction, corresponding to the elementary modification of a Lie algebroid along a subalgebroid over some closed hypersurface. This construction may be specialized to the Poisson groupoids and Lie bialgebroids. We then apply this method to three cases. The first is the adjoint Lie groupoid integrating the Lie algebroid of vector fields tangent to a collection of normal crossing hypersurfaces. The second is the adjoint symplectic groupoid of a log symplectic manifold. The third is the adjoint Lie groupoid integrating the tangent algebroid of a Riemann surface twisted by a divisor. The second method is a gluing construction, whereby Lie groupoids defined on the open sets of an appropriate cover may be combined to obtain global integrations. This allows us to construct and classify the Lie groupoids integrating the given Lie algebroid. We apply this method to the aforementioned cases, albeit with small differences, and characterize the category of integrations in each case.

This thesis studies the pre-quantization of quasi-Hamiltonian group actions from a cohomological viewpoint. The compatibility of pre-quantization with symplectic reduction and the fusion product are established, and are used to understand the necessary and sufficient conditions for the pre-quantization of M(G,S), the moduli space of at flat G-bundles over a closed surface S. For a simply connected, compact, simple Lie group G, M(G,S) is known to be pre-quantizable at integer levels. For non-simply connected G, however, integrality of the level is not sufficient for pre-quantization, and this thesis determines the obstruction, namely a certain 3-dimensional cohomology class, that places further restrictions on the underlying level. The levels that admit a pre-quantization of the moduli space are determined explicitly for all non-simply connected, compact, simple Lie groups G. Partial results are obtained for the case of a surface S with marked points. Also, it is shown that via the bijective correspondence between quasi-Hamiltonian group actions and Hamiltonian loop group actions, the corresponding notions of prequantization coincide.