We study deformations of symplectic structures on a smooth manifold $M$ via the quasi-Poisson theory. By a fact, we can deform a given symplectic structure $ω$ to a new symplectic structure $ω_t$ parametrized by some element $t$ in $Λ^2\mathfrak{g}$, where $\mathfrak{g}$ is the Lie algebra of a Lie group $G$. Moreover, we can get a lot of concrete examples for the deformations of symplectic structures on the complex projective space and the complex Grassmannian.
This article investigates the complex symplectic geometry of the deformation space of complex projective structures on a closed oriented surface of genus at least 2. The cotangent symplectic structure given by the Schwarzian parametrization is studied carefully and compared to the Goldman symplectic structure on the character variety, clarifying and generalizing a theorem of S. Kawai. Generalizations of results of C. McMullen are derived, notably quasi-Fuchsian reciprocity. The symplectic geometry is also described in a Hamiltonian setting with the complex Fenchel-Nielsen coordinates on quasi-…
In this paper we derive the Euler-Lagrange equation of the functional $L_β=\int_Σ\frac{1}{\cos^βα}dμ, ~~β\neq -1$ in the class of symplectic surfaces. It is $\cos^3α{\bf{H}}=β(J(J\nabla\cosα)^\top)^\bot$, which is an elliptic equation when $β\geq 0$. We call such a surface a $β$-symplectic critical surface. We first study the properties for each fixed $β$-symplectic critical surface and then prove that the set of $β$ where there is a stable $β$-symplectic critical surface is open. We believe it should be also closed. As a precise example, we study rotationally symmetric $β$-symplectic critical…
We shall introduce the notion of $C^\infty$ logarithmic symplectic structures on a differentiable manifold which is an analog of the one of logarithmic symplectic structures in the holomorphic category. We show that the generalized complex structure induced by a $C^\infty$ logarithmic symplectic structure has unobstructed deformations which are parametrized by an open set of the second de Rham cohomology group of the complement of type changing loci if the type changing loci are smooth. Complex surfaces with smooth effective anti-canonical divisors admit unobstructed deformations of generalize…
We develop the deformation theory of symplectic foliations, i.e. regular foliations equipped with a leafwise symplectic form. The main result of this paper is that each symplectic foliation has an attached $L_\infty$-algebra controlling its deformation problem. Indeed, viewing symplectic foliations as regular Poisson structures, we establish a one-to-one correspondence between the small deformations of a given symplectic foliation and the Maurer-Cartan elements of the associated $L_\infty$-algebra. Using this, we show that infinitesimal deformations of symplectic foliations can be obstructed. …
In this paper we consider the compactness of $β$-symplectic critical surfaces in a Kähler surface. Let $M$ be a compact Kähler surface and $Σ_i\subset M$ be a sequence of closed $β_i$-symplectic critical surfaces with $β_i\toβ_0\in (0,\infty)$. Suppose the quantity $\int_{Σ_i}\frac{1}{\cos^qα_i}dμ_i$ (for some $q>4$) and the genus of $Σ_{i}$ are bounded, then there exists a finite set of points ${\mathcal S}\subset M$ and a subsequence $Σ_{i'}$ that converges uniformly in the $C^l$ topology (for any $l<\infty$) on compact subsets of $M\backslash {\mathcal S}$ to a $β_0$-symplectic critical sur…
We describe the deformation cohomology of a symplectic groupoid, and use it to study deformations via Moser path methods, proving a symplectic groupoid version of the Moser Theorem. Our construction uses the deformation cohomologies of Lie groupoids and of multiplicative forms, and we prove that in the symplectic case, deformation cohomology of both the underlying groupoid and of the symplectic groupoid have de Rham models in terms of differential forms. We use the de Rham model, which is intimately connected to the Bott-Shulman-Stasheff double complex, to compute deformation cohomology in sev…
In this paper we state an analog of Calabi's conjecture proved by Yau. The difference with the classical case is that we propose deformation of the complex structure, whereas the complex Monge--Ampère equation describes deformation of the Kähler (symplectic) structure.
We introduce a new kind of groupoid--a pseudo étale groupoid, which provides many interesting examples of noncommutative Poisson algebras as defined by Block, Getzler, and Xu. Following the idea that symplectic and Poisson geometries are the semiclassical limits of the corresponding quantum geometries, we quantize these noncommutative Poisson manifolds in the framework of deformation quantization.
A symplectic fibration is a fibre bundle in the symplectic category. We find the relation between deformation quantization of the base and the fibre, and the total space. We use the weak coupling form of Guillemin, Lerman, Sternberg and find the characteristic class of deformation of symplectic fibration. We also prove that the classical moment map could be quantized if there exists an equivariant connection. Along the way we touch upon the general question of quantization with values in a bundle of algebras. We consider Fedosov's construction of deformation quantization in general. In the App…
In this article, we initiate a geometric measure theoretic approach to symplectic Hodge theory. In particular, we apply one of the central results in geometric measure theory, the Federer-Fleming deformation theorem, together with the cohomology theory of normal cur- rents on a differential manifold, to establish a fundamental property on symplectic Harmonic forms. We show that on a closed symplectic manifold, every real primitive cohomology class of positive degrees admits a symplectic Harmonic representative not supported on the entire mani- fold. As an application, we use it to investigate …
For a closed smooth manifold $M$ admitting a symplectic structure, we define a smooth topological invariant $Z(M)$ using almost-Kähler metrics, i.e. Riemannian metrics compatible with symplectic structures. We also introduce $Z(M, [[ω]])$ depending on symplectic deformation equivalence class $[[ω]]$. We first prove that there exists a 6-dimensional smooth manifold $M$ with more than one deformation equivalence classes with different signs of $Z(M, [[ω]] )$. Using $Z$ invariants, we set up a Kazdan-Warner type problem of classifying symplectic manifolds into three categories. We finally prove t…
Let $X$ be an oriented 4-manifold which does not have simple SW-type, for example a blow-up of a rational or ruled surface. We show that any two cohomologous and deformation equivalent symplectic forms on $X$ are isotopic. This implies that blow-ups of these manifolds are unique, thus extending work of Biran. We also establish uniqueness of structure for certain fibered 4-manifolds.
Let $X$ be a compact complex manifold with trivial canonical bundle and satisfying the $\partial\bar{\partial}$-Lemma. We show that the Kuranishi space of $X$ is a smooth universal deformation and that small deformations enjoy the same properties as $X$. If, in addition, $X$ admits a complex symplectic form, then the local Torelli theorem holds and we obtain some information about the period map. We clarify the structure of such manifolds a little by showing that the Albanese map is a surjective submersion.
We study symplectic deformation types of minimal symplectic fillings of links of quotient surface singularities. In particular, there are only finitely many symplectic deformation types for each quotient surface singularity.
In this paper, we study deformations of coisotropic submanifolds in a locally conformal symplectic manifold. Firstly, we derive the equation that governs $C^\infty$ deformations of coisotropic submanifolds and define the corresponding $C^\infty$-moduli space of coisotropic submanifolds modulo the Hamiltonian isotopies. Secondly, we prove that the formal deformation problem is governed by an $L_\infty$-structure which is a $\frak b$-deformation of strong homotopy Lie algebroids introduced in Oh and Park (2005) in the symplectic context. Then we study deformations of locally conformal symplectic…
We prove unobstructed deformations for compact Kaehlerian even-dimensional Poisson manifolds whose Poisson tensor degenerates along a divisor with mild singularities. Examples include Hilbert schemes of del Pezzo surfaces.
In the first part of this article we provide a geometrically oriented approach to the theory of orbispaces which originally had been introduced by Chen. We explain the notion of a vector orbibundle and characterize the good sections of a reduced vector orbibundle as the smooth stratified sections. In the second part of the article we elaborate on the quantizability of a symplectic orbispace. By adapting Fedosov's method to the orbispace setting we show that every symplectic orbispace has a deformation quantization. As a byproduct we obtain that every symplectic orbifold possesses a star produc…
We study the deformation theory of pre-symplectic structures, i.e. closed two-forms of fixed rank. The main result is a parametrization of nearby deformations of a given pre-symplectic structure in terms of an $L_\infty$-algebra, which we call Koszul $L_\infty$-algebra. This $L_\infty$-algebra is a cousin of the Koszul dg Lie algebra associated to a Poisson manifold. In addition, we show that a quotient of the Koszul $L_{\infty}$-algebra is isomorphic to the $L_\infty$-algebra which controls the deformations of the underlying characteristic foliation. Finally, we show that the infinitesimal de…
We establish a connection between smooth symplectic resolutions and symplectic deformations of a (possibly singular) affine Poisson variety. In particular, let V be a finite-dimensional complex symplectic vector space and G\subset Sp(V) a finite subgroup. Our main result says that the so-called Calogero-Moser deformation of the orbifold V/G is, in an appropriate sense, a versal Poisson deformation. That enables us to determine the algebra structure on the rational cohomology H^*(X) of any smooth symplectic resolution X \to V/G (multiplicative McKay correspondence). We prove further that if G i…
In 1995, Dan Guan constructed examples of non-Kahler, simply-connected holomorphically symplectic manifolds. An alternative construction, using the Hilbert scheme of Kodaira-Thurston surface, was given by F. Bogomolov. We investigate topology and deformation theory of Bogomolov-Guan manifolds and show that it is similar to that of hyperkahler manifolds. We prove the local Torelli theorem, showing that holomorphically symplectic deformations of BG-manifolds are unobstructed, and the corresponding period map is locally a diffeomorphism. Using the local Torelli theorem, we prove the Fujiki formul…
We prove that the only exact Lagrangian submanifolds in an ALE space are spheres. ALE spaces are the simply connected hyperkahler manifolds which at infinity look like C^2/G for any finite subgroup G of SL(2,C). They can be realized as the plumbing of copies of the cotangent bundle of a 2-sphere according to ADE Dynkin diagrams. The proof relies on symplectic cohomology.
We present explicit universal strict deformation quantization formulae for actions of Iwasawa subgroups AN of SU(1,n). This answers a question raised by Rieffel.
Given a path of almost-Kähler metrics compatible with a fixed symplectic form on a compact 4-manifold such that at time zero the almost-Kähler metric is an extremal Kähler one, we prove, for a short time and under a certain hypothesis, the existence of a smooth family of extremal almost-Kähler metrics compatible with the same symplectic form, such that at each time the induced almost-complex structure is diffeomorphic to the one induced by the path.
Banyaga has shown that the group of symplectomorphisms Symp(N) of a compact symplectic manifold (N,w) determines the symplectic structure. This motivates the study of the homotopy properties of Symp(N). Gromov has shown that the group of symplectomorphisms of N is homotopic to SO(3)\times SO(3) when N is the product of two spheres endowed with the standard symplectic form. This result generalizes the study of the homotopy type of the group of diffeomorphisms of closed surfaces, by replacing the space of complex structures by pseudo-complex structures adapted to w. A complex structure on a surf…
In this note we apply a 4-fold sum operation to develop an associativity rule for the pairwise symplectic sum. This allows us to show that certain diffeomorphic symplectic $4$-manifolds made out of elliptic surfaces are in fact symplectically deformation equivalent. We also show that blow-up points can be traded from one side of a symplectic sum to another without changing the symplectic deformation class of the resulting manifold.
We study moduli spaces of meromorphic connections (with arbitrary order poles) over Riemann surfaces together with the corresponding spaces of monodromy data (involving Stokes matrices). Natural symplectic structures are found and described both explicitly and from an infinite dimensional viewpoint (generalising the Atiyah-Bott approach). This enables us to give an intrinsic symplectic description of the isomonodromic deformation equations of Jimbo, Miwa and Ueno, thereby putting the existing results for the six Painleve equations and Schlesinger's equations into a uniform framework.
We give a general construction of extremal Kaehler metrics on the total space of certain holomorphic submersions, extending results of Dervan-Sektnan, Fine, and Hong. We consider submersions whose fibres admit a degeneration to Kaehler manifolds with constant scalar curvature, in a way that is compatible with the fibration structure. Thus we allow fibres that are K-semistable, rather than K-polystable; this is crucial to moduli theory. On these fibrations we phrase a partial differential equation whose solutions, called optimal symplectic connections, represent a canonical choice of a relative…
We consider the deformation theory of two kinds of geometric objects: foliations on one hand, pre-symplectic forms on the other. For each of them, we prove that the geometric notion of equivalence given by isotopies agrees with the algebraic notion of gauge equivalence obtained from the $L_{\infty}$-algebras governing these deformation problems.
We show that deformations of a coisotropic submanifold inside a fibrewise entire Poisson manifold are controlled by the $L_\infty$-algebra introduced by Oh-Park (for symplectic manifolds) and Cattaneo-Felder. In the symplectic case, we recover results previously obtained by Oh-Park. Moreover we consider the extended deformation problem and prove its obstructedness.
These are lecture notes for the course "Poisson geometry and deformation quantization" given by the author during the fall semester 2020 at the University of Zurich. The first chapter is an introduction to differential geometry, where we cover manifolds, tensor fields, integration on manifolds, Stokes' theorem, de Rham's theorem and Frobenius' theorem. The second chapter covers the most important notions of symplectic geometry such as Lagrangian submanifolds, Weinstein's tubular neighborhood theorem, Hamiltonian mechanics, moment maps and symplectic reduction. The third chapter gives an introd…
In this paper we establish the existence of periodic orbits belonging to any $σ$-atoroidal free homotopy class for Hamiltonian systems in the twisted disc bundle, provided that the compactly supported time-dependent Hamiltonian function is sufficiently large over the zero section and the magnitude of the weakly exact $2$-form $σ$ admitting a primitive with at most linear growth on the universal cover is sufficiently small. The proof relies on showing the invariance of Floer homology under symplectic deformations and on the computation of Floer homology for the cotangent bundle endowed with its…
The relationship is established between the Fedosov deformation quantization of a general symplectic manifold and the BFV-BRST quantization of constrained dynamical systems. The original symplectic manifold $\mathcal M$ is presented as a second class constrained surface in the fibre bundle ${{\mathcal T}^*_ρ}{\mathcal M}$ which is a certain modification of a usual cotangent bundle equipped with a natural symplectic structure. The second class system is converted into the first class one by continuation of the constraints into the extended manifold, being a direct sum of ${{\mathcal T}^*_ρ}{\ma…
We study symplectic (contact) structures on nilmanifolds that correspond to the filiform Lie algebras - nilpotent Lie algebras of the maximal length of the descending central sequence. We give a complete classification of filiform Lie algebras that possess a basis e_1, ..., e_n, [e_i,e_j]=c_{ij}e_{i{+}j} (N-graded Lie algebras). In particular we describe the spaces of symplectic cohomology classes for all even-dimensional algebras of the list. It is proved that a symplectic filiform Lie algebra is a filtered deformation of some N-graded symplectic filiform Lie algebra. But this condition is no…
We give a generalization of toric symplectic geometry to Poisson manifolds which are symplectic away from a collection of hypersurfaces forming a normal crossing configuration. We introduce the tropical momentum map, which takes values in a generalization of affine space called a log affine manifold. Using this momentum map, we obtain a complete classification of such manifolds in terms of decorated log affine polytopes, hence extending the classification of symplectic toric manifolds achieved by Atiyah, Guillemin-Sternberg, Kostant, and Delzant.
Motivated by the work of Leznov--Mostovoy, we classify the linear deformations of standard $2n$-dimensional phase space that preserve the obvious symplectic $\mathfrak{o}(n)$-symmetry. As a consequence, we describe standard phase space, as well as $T^{*}S^{n}$ and $T^{*}\mathbb{H}^{n}$ with their standard symplectic forms, as degenerations of a 3-dimensional family of coadjoint orbits, which in a generic regime are identified with the Grassmannian of oriented 2-planes in $\mathbb{R}^{n+2}$.
B. Fedosov has given a simple and very natural construction of a deformation quantization for any symplectic manifold, using a flat connection on the bundle of formal Weyl algebras associated to the tangent bundle of a symplectic manifold. The connection is obtained by affinizing, nonlinearizing, and iteratively flattening a given torsion free symplectic connection. In this paper, a classical analog of Fedosov's operations on connections is analyzed and shown to produce the usual exponential mapping of a linear connection on an ordinary manifold. A symplectic version is also analyzed. Finally,…
In the framework of deformation quantization, we obtain a deformation of Donaldson moment map on $\textrm{Diff}_0(M)$, the connected component of the group of diffeomorphisms of a symplectic manifold $(M,ω)$ admitting another symplectic structure $χ$.
In this paper, we introduce the notions of $p$-Hermitian-symplectic and $p$-pluriclosed compact complex manifolds as generalisations for an arbitrary positive integer $p$ not exceeding the complex dimension of the manifold of the standard notions of Hermitian-symplectic and SKT manifolds that correspond to the case $p=1$. We then notice that these two properties are equivalent on $\partial\bar{\partial}$-manifolds and go on to prove that in (smooth) complex analytic families of $\partial\bar{\partial}$-manifolds, they are deformation open. Concerning closedness results, we prove that the cones…
For a compact Lie group $G$ we consider a lattice gauge model given by the $G$-Hamiltonian system which consists of the cotangent bundle of a power of $G$ with its canonical symplectic structure and standard moment map. We explicitly construct a Fedosov quantization of the underlying symplectic manifold using the Levi-Civita connection of the Killing metric on $G$. We then explain and refine quantized homological reduction for the construction of a star product on the symplectically reduced space in the singular case. Afterwards we show that for $G = \operatorname{SU} (2)$ the main hypotheses …
We deform the moment map picture on the space of symplectic connections on a symplectic manifold. To do that, we study a vector bundle of Fedosov star product algebras on the space of symplectic connections. We describe a natural formal connection on this bundle adapted to the star product algebras on the fibers. We study its curvature and show the star product trace of the curvature is a formal symplectic form on the space of symplectic connections. The action of Hamiltonian diffeomorphisms on symplectic connections preserves the formal symplectic structure and we show the star product trace …
We use the theory of Berezin-Toeplitz operators of Ma and Marinescu to study the spaces of holomorphic sections of a prequantizing line bundle over compact Kähler manifolds under deformations of the complex structure. We show that the parallel transport in the induced vector bundle over the deformation space behaves like a Toeplitz operator, and compute its first coefficient. We then use this result to establish a semi-classical trace formula for the induced quantization of symplectic maps, and give an application to Witten's asymptotic expansion conjecture for the quantum representations of t…
We define higher genus Gromov-Witten invariants and establish a mathematical theory of sigma model coupled with gravity over any semi-positive symplectic manifolds. As applications, we verify the stablizing conjecture of symplectic 4-manifolds for simply connected elliptic surfaces and construct smooth 6-manifolds admitting infinitely many deformation classes of symplectic structures.
In this paper, we attach an $L_\infty$-algebra to any coisotropic submanifold in a Jacobi manifold. Our construction generalizes and unifies analogous constructions by Oh-Park (symplectic case), Cattaneo-Felder (Poisson case), Lê-Oh (locally conformal symplectic case). As a new special case, we attach an $L_\infty$-algebra to any coisotropic submanifold in a contact manifold. The $L_\infty$-algebra of a coisotropic submanifold $S$ governs the (formal) deformation problem of $S$.
