The Poisson sigma model is a widely studied two-dimensional topological field theory. This note shows that boundary conditions for the Poisson sigma model are related to coisotropic submanifolds (a result announced in [math.QA/0309180]) and that the corresponding reduced phase space is a (possibly singular) dual pair between the reduced spaces of the given two coisotropic submanifolds. In addition the generalization to a more general tensor field is considered and it is shown that the theory produces Lagrangian evolution relations if and only if the tensor field is Poisson.
The first purpose of this paper is to generalize the well-known Maslov indices of maps of open Riemann surfaces with boundary lying on Lagrangian submanifolds to maps with boundary lying on coisotropic submanifolds in symplectic manifolds. For this purpose, we first define the notion of {\it Maslov loops} of coisotropic Grassmanians and their indices. Then we introduce the notions of {\it transverse Maslov bundle} of coisotropic submanifolds, and {\it gradable coisotropic submanifolds}. We then define {\it graded coisotropic submanifolds} and the {\it coisotropic Maslov index} of the maps with…
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$.
Unlike Legendrian submanifolds, the deformation problem of coisotropic submanifolds can be obstructed. Starting from this observation, we single out in the contact setting the special class of integral coisotropic submanifolds as the direct generalization of Legendrian submanifolds for what concerns deformation and moduli theory. Indeed, being integral coisotropic is proved to be a rigid condition, and moreover the integral coisotropic deformation problem is unobstructed with discrete moduli space.
In this paper we make the first steps towards developing a theory of intersections of coisotropic submanifolds, similar to that for Lagrangian submanifolds. For coisotropic submanifolds satisfying a certain stability requirement we establish persistence of coisotropic intersections under Hamiltonian diffeomorphisms, akin to the Lagrangian intersection property. To be more specific, we prove that the displacement energy of a stable coisotropic submanifold is positive, provided that the ambient symplectic manifold meets some natural conditions. We also show that a displaceable, stable, coisotrop…
We prove that the displacement energy of a stable coisotropic submanifold is bounded away from zero if the ambient symplectic manifold is closed, rational and satisfies a mild topological condition.
In this thesis, we study the deformation problem of coisotropic submanifolds in Jacobi manifolds. In particular we attach two algebraic invariants to any coisotropic submanifold $S$ in a Jacobi manifold, namely the $L_\infty[1]$-algebra and the BFV-complex of $S$. Our construction generalizes and unifies analogous constructions in symplectic, Poisson, and locally conformal symplectic geometry. As a new special case we also attach an $L_\infty[1]$-algebra and a BFV-complex to any coisotropic submanifold in a contact manifold. The $L_\infty[1]$-algebra of $S$ controls the formal coisotropic defo…
We study coisotropic submanifolds of $b$-symplectic manifolds. We prove that $b$-coisotropic submanifolds (those transverse to the degeneracy locus) determine the $b$-symplectic structure in a neighborhood, and provide a normal form theorem. This extends Gotay's theorem in symplectic geometry. Further, we introduce strong $b$-coisotropic submanifolds and show that their coisotropic quotient, which locally is always smooth, inherits a reduced $b$-symplectic structure.
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.
In this paper we prove the unobstructedness of the deformation of integral coisotropic submanifolds in symplectic manifolds, which can be viewed as a natural generalization of results of Weinstein for Lagrangian submanifolds.
This paper deals with the ${\mathcal C}^0$-rigidity of the reduction of coiostropic submanifolds under the action of symplectic homeomorphism. More precisely, we exhibit several situations where a symplectic homeomorphism that takes a coisotropic submanifold to a smooth submanifold (which are then known to be coisotropic by a result of Humilière-Leclercq-Seyfaddini) abides to the non-squeezing property in the reduction.
In recent years methods for the integration of Poisson manifolds and of Lie algebroids have been proposed, the latter being usually presented as a generalization of the former. In this note it is shown that the latter method is actually related to (and may be derived from) a particular case of the former if one regards dual of Lie algebroids as special Poisson manifolds. The core of the proof is the fact, discussed in the second part of this note, that coisotropic submanifolds of a (twisted) Poisson manifold are in one-to-one correspondence with possibly singular Lagrangian subgroupoids of sou…
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 study the role that Hamiltonian and symplectic diffeomorphisms play in the deformation problem of coisotropic submanifolds. We prove that the action by Hamiltonian diffeomorphisms corresponds to the gauge-action of the $L_\infty$-algebra of Oh and Park. Moreover we introduce the notion of extended gauge-equivalence and show that in the case of Oh and Park's $L_\infty$-algebra one recovers the action of symplectic isotopies on coisotropic submanifolds. Finally, we consider the transversally integrable case in detail.
Let $(M,ω)$ be a geometrically bounded symplectic manifold, $N\subseteq M$ a closed, regular (i.e. "fibering") coisotropic submanifold, and $ϕ:M\to M$ a Hamiltonian diffeomorphism. The main result of this article is that the number of leafwise fixed points of $ϕ$ is bounded below by the sum of the $Z_2$-Betti numbers of $N$, provided that the Hofer distance between $ϕ$ and the identity is small enough and the pair $(N,ϕ)$ is non-degenerate. The bound is optimal if there exists a $Z_2$-perfect Morse function on $N$. A version of the Arnol'd-Givental conjecture for coisotropic submanifolds is al…
In this paper we prove the Conley conjecture and the almost existence theorem in a neighborhood of a closed nowhere coisotropic submanifold under certain natural assumptions on the ambient symplectic manifold. Essential to the proofs is a displacement principle for such submanifolds. Namely, we show that a topologically displaceable nowhere coisotropic submanifold is also displaceable by a Hamiltonian diffeomorphism, partially extending the well-known non-Lagrangian displacement property.
We assign to each nondegenerate Hamiltonian on a closed symplectic manifold a Floer-theoretic quantity called its "boundary depth," and establish basic results about how the boundary depths of different Hamiltonians are related. As applications, we prove that certain Hamiltonian symplectomorphisms supported in displaceable subsets have infinitely many nontrivial geometrically distinct periodic points, and we also significantly expand the class of coisotropic submanifolds which are known to have positive displacement energy. For instance, any coisotropic submanifold of contact type (in the sens…
We define the Maslov index of a loop tangent to the characteristic foliation of a coisotropic submanifold as the mean Conley--Zehnder index of a path in the group of linear symplectic transformations, incorporating the "rotation" of the tangent space of the leaf -- this is the standard Lagrangian counterpart -- and the holonomy of the characteristic foliation. Furthermore, we show that, with this definition, the Maslov class rigidity extends to the class of the so-called stable coisotropic submanifolds including Lagrangian tori and stable hypersurfaces.
We introduce the notion of a point on a locally closed subset of a symplectic manifold being "locally rigid" with respect to that subset, prove that this notion is invariant under symplectic homeomorphisms, and show that coisotropic submanifolds are distinguished among all smooth submanifolds by the property that all of their points are locally rigid. This yields a simplified proof of the Humilière-Leclercq-Seyfaddini theorem on the $C^0$-rigidity of coisotropic submanifolds. Connections are also made to the "rigid locus" that has previously been used in the study of Chekanov-Hofer pseudometri…
We describe the differential graded Lie algebras governing Poisson deformations of a holomorphic Poisson manifold and coisotropic embedded deformations of a coisotropic holomorphic submanifold. In both cases, under some mild additional assumption, we show that the infinitesimal first order deformations induced by the anchor map are unobstructed. Applications include the analog of Kodaira stability theorem for coisotropic deformation and a generalization of McLean-Voisin's theorem about the local moduli space of lagrangian submanifold. Finally it is shown that our construction is homotopy equiv…
General boundary conditions ("branes") for the Poisson sigma model are studied. They turn out to be labeled by coisotropic submanifolds of the given Poisson manifold. The role played by these boundary conditions both at the classical and at the perturbative quantum level is discussed. It turns out to be related at the classical level to the category of Poisson manifolds with dual pairs as morphisms and at the perturbative quantum level to the category of associative algebras (deforming algebras of functions on Poisson manifolds) with bimodules as morphisms. Possibly singular Poisson manifolds …
Let $α$ be a contact form on a manifold $M$, and $L\subseteq M$ a closed Legendrian submanifold. I prove that $L$ intersects some characteristic for $α$ at least twice if all characteristics are closed and of the same period, and $α$ embeds nicely into the product of $\mathbb{R}^{2n}$ and an exact symplectic manifold. As an application of the method of proof, the minimal action of a regular closed coisotropic submanifold of complex projective space is at most $π/2$. This yields an obstruction to presymplectic embeddings, and in particular to Lagrangian embeddings.
We extend the construction of the BFV-complex of a coisotropic submanifold from the Poisson setting to the Jacobi setting. In particular, our construction applies in the contact and l.c.s. settings. The BFV-complex of a coisotropic submanifold $S$ controls the coisotropic deformation problem of $S$ under both Hamiltonian and Jacobi equivalence.
In this paper, we extend Rabinowitz Floer homology theory which has been established and extensively studied for hypersurfaces to coisotropic submanifolds of higher codimension. With this generalized version of Rabinowitz Floer homology theory, we explore the coisotropic intersection problem which interpolates between the Lagrangian intersection problem and the closed orbit problem. To be specific, we study the existence of leafwise intersection points on contact coisotropic submanifolds and the displaceability of stable coisotropic submanifolds.
We revisit the definition of the Maslov index of loops in coisotropic submanifolds tangent to the characteristic foliation of this submanifold. This Maslov index is given by the mean index of a certain symplectic path which is a lift of the holonomy along the loop. We prove a result on the rigidity of the Maslov index for stable coisotropic submanifolds in a broad class of ambient symplectic manifolds. Furthermore, we establish a nearby existence theorem for the same class of ambient manifolds.
We consider existence and uniqueness of two kinds of coisotropic embeddings and deduce the existence of deformation quantizations of certain Poisson algebras of basic functions. First we show that any submanifold of a Poisson manifold satisfying a certain constant rank condition sits coisotropically inside some larger cosymplectic submanifold, which is naturally endowed with a Poisson structure. Then we give conditions under which a Dirac manifold can be embedded coisotropically in a Poisson manifold, extending a classical theorem of Gotay.
In this paper, we study deformations of coisotropic submanifolds in a symplectic manifold. First 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. This is a non-commutative and non-linear generalization of the well-known description of the local deformation space of Lagrangian submanifolds as the set of graphs of {\it closed} one forms in the Darboux-Weinstein chart of a given Lagrangian submanifold. We then introduce the notion of {\it strong…
This article is devoted to a world sheet analysis of A-type D-branes in N=(2,2) supersymmetric non-linear sigma models. In addition to the familiar Lagrangian submanifolds with flat connection we reproduce the rank one A-branes of Kapustin and Orlov, which are supported on coisotropic submanifolds. The main focus is however on gauge fields of higher rank and on tachyon profiles on brane-antibrane pairs. This will lead to the notion of a complex of coisotropic A-branes. A particular role is played by the noncommutative geometry on the brane world volume. It ensures that brane-antibrane pairs lo…
Let $(M,ω)$ be a symplectic manifold, $N\subseteq M$ a coisotropic submanifold, and $Σ$ a compact oriented (real) surface. I define a natural Maslov index for each continuous map $u:Σ\to M$ that sends every connected component of $\partialΣ$ to some isotropic leaf of $N$. This index is real valued and generalizes the usual Lagrangian Maslov index. The idea is to use the linear holonomy of the isotropic foliation of $N$ to compensate for the loss of boundary data in the case codimension $N<\dim M/2$. The definition is based on the Salamon-Zehnder (mean) Maslov index of a path of linear symplect…
In this paper we study submanifolds of contact manifolds. The main submanifolds we are interested in are contact coisotropic submanifolds. Based on a correspondence between symplectic and contact coisotropic submanifolds, we can show contact coisotropic submanifolds admit a $C^0$-rigidity, similar to Humilière-Leclercq-Seyfaddini's coisotropic rigidity on symplectic manifolds. Moreover, based on Shelukhin's norm defined on the contactomorphism group, we define a Chekanov type pseudo-metric on the orbit space of a fixed submanifold of a contact manifold. Moreover, we can show a dichotomy of (no…
We establish the leafwise intersection property for closed, coisotropic submanifolds in an exact symplectic manifold satisfying natural additional assumptions.
We give a definition of coisotropic morphisms of shifted Poisson (i.e. $P_n$) algebras which is a derived version of the classical notion of coisotropic submanifolds. Using this we prove that an intersection of coisotropic morphisms of shifted Poisson algebras carries a Poisson structure of shift one less. Using an interpretation of Hamiltonian spaces as coisotropic morphisms we show that the classical BRST complex computing derived Poisson reduction coincides with the complex computing coisotropic intersection. Moreover, this picture admits a quantum version using brace algebras and their mod…
Coisotropic algebras are used to formalize coisotropic reduction in Poisson geometry as well as in deformation quantization and find applications in various other fields as well. In this paper we prove a Serre-Swan Theorem relating the regular projective modules over the coisotropic algebra built out of a manifold $M$, a submanifold $C$ and an integrable smooth distribution $D \subseteq TC$ with vector bundles over this geometric situation and show an equivalence of categories for the case of a simple distribution.
In this note we study several aspects of coisotropic submanifolds of a contact manifold. In particular we give a structure theorem for the singularity of the characteristic foliation of a coisotropic submanifold. Moreover we establish the existence and uniqueness results of germs of contact structures near Legendrian foliations, which is a special case of coisotropic submanifold. This note can be thought of as an attempt to generalize the study of surfaces in three-dimensional contact geometry to higher dimensions.
We prove that symplectic homeomorphisms, in the sense of the celebrated Gromov-Eliashberg Theorem, preserve coisotropic submanifolds and their characteristic foliations. This result generalizes the Gromov-Eliashberg Theorem and demonstrates that previous rigidity results (on Lagrangians by Laudenbach-Sikorav, and on characteristics of hypersurfaces by Opshtein) are manifestations of a single rigidity phenomenon. To prove the above, we establish a C^0-dynamical property of coisotropic submanifolds which generalizes a foundational theorem in C^0-Hamiltonian dynamics: Uniqueness of generators for…
This is an expository and introductory note on some results obtained in "Coisotropic embeddings in Poisson manifolds" (ArXiv math/0611480). Some original material is contained in the last two sections, where we consider linear Poisson structures.
For an adiscal or monotone regular coisotropic submanifold $N$ of a symplectic manifold I define its Floer homology to be the Floer homology of a certain Lagrangian embedding of $N$. Given a Hamiltonian isotopy $ϕ=(ϕ^t)$ and a suitable almost complex structure, the corresponding Floer chain complex is generated by the $(N,ϕ)$-contractible leafwise fixed points. I also outline the construction of a local Floer homology for an arbitrary closed coisotropic submanifold. Results by Floer and Albers about Lagrangian Floer homology imply lower bounds on the number of leafwise fixed points. This repro…
We introduce the notion of a symplectic capacity relative to a coisotropic submanifold of a symplectic manifold, and we construct two examples of such capacities through modifications of the Hofer-Zehnder capacity. As a consequence, we obtain a non-squeezing theorem for symplectic embeddings relative to coisotropic constraints and existence results for leafwise chords on energy surfaces.
This paper is devoted to coregular submanifolds in Poisson geometry. We show that their local Poisson saturation is an embedded Poisson submanifold, and we give a normal form for this Poisson submanifold around the coregular submanifold. This result recovers the normal form around Poisson transversals, and it yields Poisson versions of some normal form/rigidity results around constant rank submanifolds in symplectic geometry. As an application, we prove a uniqueness result concerning coisotropic embeddings of Dirac manifolds in Poisson manifolds. We also show how our results generalize to the …
The purpose of this paper is to carry out a classical construction of a non-constant holomorphic disk with boundary on (the suspension of) a Lagrangian submanifold in $\mathbb{R}^{2 n}$ in the case the Lagrangian is the lift of a coisotropic (a.k.a. pre-Lagrangian) submanifold in (a subset $U$ of) $\mathbb{R}^{2 n - 1}$. We show that the positive lower and finite upper bounds for the area of such a disk (which are due to M. Gromov and J.-C. Sikorav and F. Laudenbach-Sikorav for general Lagrangians) depend on the coisotropic submanifold only but not on its lift to the symplectization. The main …
We show that if the image of a Legendrian submanifold under a contact homeomorphism (i.e. a homeomorphism that is a $C^0$-limit of contactomorphisms) is smooth then it is Legendrian, assuming only positive local lower bounds on the conformal factors of the approximating contactomorphisms. More generally the analogous result holds for coisotropic submanifolds in the sense of arXiv:1306.6367. This is a contact version of the Humilière-Leclercq-Seyfaddini coisotropic rigidity theorem in $C^0$ symplectic geometry, and the proof adapts the author's recent re-proof of that result in arXiv:1912.13043…
In a previous article, we proved that symplectic homeomorphisms preserving a coisotropic submanifold C, preserve its characteristic foliation as well. As a consequence, such symplectic homeomorphisms descend to the reduction of the coisotropic C. In this article we show that these reduced homeomorphisms continue to exhibit certain symplectic properties. In particular, in the specific setting where the symplectic manifold is a torus and the coisotropic is a standard subtorus, we prove that the reduced homeomorphism preserves spectral invariants and hence the spectral capacity. To prove our main…
We define (iterated) coisotropic correspondences between derived Poisson stacks, and construct symmetric monoidal higher categories of derived Poisson stacks where the $i$-morphisms are given by $i$-fold coisotropic correspondences. Assuming an expected equivalence of different models of higher Morita categories, we prove that all derived Poisson stacks are fully dualizable, and so determine framed extended TQFTs by the Cobordism Hypothesis. Along the way we also prove that the higher Morita category of $E_{n}$-algebras with respect to coproducts is equivalent to the higher category of iterate…
Let G be an algebraic group over a field F of characteristic zero, with Lie algebra g=Lie(G). The dual space g^* equipped with the Kirillov bracket is a Poisson variety and each irreducible G-invariant subvariety X\subset g^* carries the induced Poisson structure. We prove that there is a family of algebraically independent polynomial functions {f_1,...f_l} on X, which pairwise commute with respect to the Poisson bracket and such that l=(dim X+tr.deg F(X)^G)/2. We also discuss several applications of this result to complete integrability of Hamiltonian systems on symplectic Hamiltonian G-varie…
This note is an overview of the Poisson sigma model (PSM) and its applications in deformation quantization. Reduction of coisotropic and pre-Poisson submanifolds, their appearance as branes of the PSM, quantization in terms of L-infinity and A-infinity algebras, and bimodule structures are recalled. As an application, an "almost" functorial quantization of Poisson maps is presented if no anomalies occur. This leads in principle to a novel approach for the quantization of Poisson-Lie groups.
We identify thirteen isomorphism classes of indecomposable coisotropic relations between Poisson vector spaces and show that every coisotropic relation between finite-dimensional Poisson vector spaces may be decomposed as a direct sum of multiples of these indecomposables. We also find a list of thirteen invariants, each of which is the dimension of a space constructed from the relation, such that the 13-vector of multiplicities and the 13-vector of invariants are related by an invertible matrix over $\mathbb Z$. It turns out to be simpler to do the analysis above for isotropic relations betwe…
We prove a rigidity theorem in Poisson geometry around compact Poisson submanifolds, using the Nash-Moser fast convergence method. In the case of one-point submanifolds (fixed points), this immediately implies a stronger version of Conn's linearization theorem, also proving that Conn's theorem is, indeed, just a manifestation of a rigidity phenomenon; similarly, in the case of arbitrary symplectic leaves, it gives a stronger version of the local normal form theorem; another interesting case corresponds to spheres inside duals of compact semisimple Lie algebras, our result can be used to fully …
We give two equivalent sets of invariants which classify pairs of coisotropic subspaces of finite-dimensional Poisson vector spaces. For this it is convenient to dualize; we work with pairs of isotropic subspaces of presymplectic vector spaces. We identify ten elementary types which are the building blocks of such pairs, and we write down a matrix, invertible over $\mathbb{Z}$, which takes one 10-tuple of invariants to the other.
We study the geometry of complexified moduli spaces of special Lagrangian submanifolds in the complement of an anticanonical divisor in a compact Kahler manifold. In particular, we explore the connections between T-duality and mirror symmetry in concrete examples, and show how quantum corrections arise in this context.
