Symplectic Geometry

AG-2026.04-635

math.SG

Geometry of the tt*-Toda equations I: universal centralizer and symplectic groupoids

Martin A. Guest, Nan-Kuo Ho

We investigate the geometry of a certain space of meromorphic connections with irregular singularities, and prove in particular that it is a (real) symplectic Lie groupoid. The connections have a physical meaning: they correspond to certain solutions of the topological-antitopological fusion (tt*) equations of Cecotti and Vafa, and hence to deformations of supersymmetric quantum field theories. The groupoid structure arises because we restrict ourselves to the tt* equations of Toda type, whose monodromy data has a Lie theoretic description. To obtain these results, we show first that the universal centralizer of a Lie group is a holomorphic symplectic groupoid over the Steinberg cross section.

AG-2025.11-1035

math.SG

Point-like non-commutative families of bounding cochains

Elad Kosloff, Jake P. Solomon

We define genus zero open Gromov-Witten invariants with boundary and interior constraints for a Lagrangian submanifold of arbitrary even dimension. The definition relies on constructing a canonical family of bounding cochains that satisfy the point-like condition of the second author and Tukachinsky. Since the Lagrangian is even dimensional, the parameter of the family is odd. Thus, to avoid the vanishing of invariants with more than one boundary constraint, the parameter must be non-commutative. The invariants are defined either when the Lagrangian is a rational cohomology sphere or when the Lagrangian is fixed by an anti-symplectic involution, has dimension $2$ modulo $4$, and its cohomology is that of a sphere aside from degree $1$ modulo $4$. In dimension $2$, these invariants recover Welschinger's invariants. We develop an obstruction theory for the existence and uniqueness of bounding cochains in a Fukaya $A_\infty$ algebra with non-commutative coefficients. The obstruction classes belong to twisted cohomology groups of the Lagrangian instead of the de Rham cohomology of the commutative setting. A spectral sequence is constructed to compute the twisted cohomology groups. The extension of scalars of an $A_\infty$ algebra by a non-commutative ring is treated in detail. A theory of pseudo-completeness is introduced to guarantee the convergence of the Maurer-Cartan equation, which defines bounding cochains, even though the non-commutative parameter is given zero filtration.

AG-2025.11-766

math.SG

Hamiltonian flow between standard module Lagrangians

Yujin Tong

In Aganagic's Fukaya category of the Coulomb branch of quiver gauge theory, the $T_θ$-brane algebra gives a symplectic realization of the Khovanov-Lauda-Rouquier-Webster (KLRW) algebra, where each standard module is known to admit two Lagrangian realizations: the 'U'-shaped $T$-brane and the step $I$-brane. We show that the latter arises as the infinite-time limit of the Hamiltonian evolution of the former, thus serving as a generalized thimble. This provides a geometric realization of the categorical isomorphism previously established through holomorphic disc counting.

AG-2025.10-975

math.SG

Skein traces from curve counting

Tobias Ekholm, Pietro Longhi, Sunghyuk Park, Vivek Shende

Given a 3-manifold $M$, and a branched cover arising from the projection of a Lagrangian 3-manifold $L$ in the cotangent bundle of $M$ to the zero-section, we define a map from the skein of $M$ to the skein of $L$, via the skein-valued counting of holomorphic curves. When $M$ and $L$ are products of surfaces and intervals, we show that wall crossings in the space of the branched covers obey a skein-valued lift of the Kontsevich-Soibelman wall-crossing formula. Holomorphic curves in cotangent bundles correspond to Morse flow graphs; in the case of branched double covers, this allows us to give an explicit formula for the the skein trace. After specializing to the case where $M$ is a surface times an interval, and additionally specializing the HOMFLYPT skein to the $\mathfrak{gl}(2)$ skein on $M$ and the $\mathfrak{gl}(1)$ skein on $L$, we recover an existing prescription of Neitzke and Yan.

AG-2025.09-783

math.SG

Differential forms, open-closed maps, and Gromov-Witten axioms

Pavel Giterman, Jake P. Solomon, Sara B. Tukachinsky

We construct open-closed maps on various versions of Hochschild and cyclic homology of the Fukaya $A_\infty$ algebra of a Lagrangian submanifold modeled on differential forms. The $A_\infty$ algebra may be curved. Properties analogous to Gromov-Witten axioms are verified. The paper is written with applications in mind to gravitational descendants and obstruction theory.

AG-2025.07-935

math.SG

Seven Sphere Quantization

Subhobrata Chatterjee, Can Görmez, Andrew Waldron

Co-oriented contact manifolds quite generally describe classical dynamical systems. Quantization is achieved by suitably associating a Schrödinger equation to every path in the contact manifold. We quantize the standard contact seven sphere by treating it as a homogeneous space of the quaternionic unitary group in order to construct a contact analog of Fedosov's formal connection on symplectic spinor bundles. We show that requiring convergence of the formal connection naturally filters the symplectic spinor bundle and yields an exact flat connection on each corresponding subbundle. A key ingredient is a generalization of the Holstein--Primakoff mechanism to the quaternionic unitary group. The passage from formal to bona fide quantization determines unitary irreducible representations of the quaternionic unitary group, whose dimensions tend to infinity as the formal deformation parameter approaches its classical limit. This appearance of finite-dimensional representations is not surprising since the contact seven sphere is closed and physically describes generalized positions, momenta and time variables.

AG-2025.05-995

math.SG

New systems of log-canonical coordinates on $SL(2, \mathbb{C})$ character varieties of compact Riemann surfaces

Marco Bertola, Dmitry Korotkin, Jordi Pillet

We construct new sets of log-canonical coordinates on the $SL(2, \mathbb{C})$ character variety of compact Riemann surfaces. These are labelled by families of $1\leq m\leq 3g-3$ non-intersecting simple loops on the Riemann surface and are obtained by combining the complexified shear-type with length/twist-type coordinates. In the case $m=3g-3$ the loops define a trinion decomposition of the Riemann surface, and our coordinates are closely related to the (complexified) Fenchel-Nielsen ones.

AG-2025.05-871

math.SG

Aganagic's invariant is Khovanov homology

Elise LePage, Vivek Shende

On the Coulomb branch of a quiver gauge theory, there is a family of functions parameterized by choices of points in the punctured plane. Aganagic has predicted that Khovanov homology can be recovered from the braid group action on Fukaya-Seidel categories arising from monodromy in said space of potentials. These categories have since been rigorously studied, and shown to contain a certain (combinatorially defined) category on which Webster had previously constructed a (combinatorially defined) braid group action from which the Khovanov homology can be recovered. Here we show, by a direct calculation, that the aforementioned containment intertwines said combinatorially defined braid group action with the braid group action arising naturally from monodromy. This provides a mathematical verification that Aganagic's proposal gives a symplectic construction of Khovanov homology -- with both gradings, and over the integers.

AG-2025.03-1054

math.SG

A Simple Description of the Hyperkähler Structure of the Cotangent Bundle of Projective Space via Quantization

Joshua Lackman

Quantization identifies the cotangent bundle of projective space with the (non-Hermitian) rank-$1$ projections of a Hilbert space. We use this identification to study the natural geometric structures of these cotangent bundles and those of Grassmanians. In particular, we show that the quantization map is an isometric and complex embedding $T^*\mathbb{P}\mathcal{H}\hookrightarrow\mathcal{B}(\mathcal{H})\backslash\{0\}.$ Here, the metric on the domain is the hyperkähler metric and the metric on the codomain is the one whose Kähler potential is the Hilbert-Schmidt norm. The Kähler potential pulled back to $T^*\mathbb{P}\mathcal{H}$ equals the trace-class norm. Using this, we give a complete, simple and explicit description of the hyperkähler structure. Our constructions are functorial, coordinate-free and reduction-free.

AG-2025.01-785

math.SG

Quantization of Holomorphic Symplectic Manifolds: Analytic Continuation of Path Integrals and Coherent States

Joshua Lackman

We extend Berezin's quantization $q:M\to\mathbb{P}\mathcal{H}$ to holomorphic symplectic manifolds, which involves replacing the state space $\mathbb{P}\mathcal{H}$ with its complexification $\text{T}^*\mathbb{P}\mathcal{H}.$ We show that this is equivalent to replacing rank$\unicode{x2013}$1 Hermitian projections with all rank$\unicode{x2013}$1 projections. We furthermore allow the states to be points in the cotangent bundle of a Grassmanian. We also define a holomorphic path integral quantization as a certain idempotent in a convolution algebra and we prove that these two quantizations are equivalent. For each $n>0,$ we construct a faithful functor from the category of finite dimensional $C^*$$\unicode{x2013}$algebras to to the category of hyperkähler manifolds and we show that our quantization recovers the original $C^*$$\unicode{x2013}$algebra. In particular, this functor comes with a homomorphism from the commutator algebra of the $C^*$$\unicode{x2013}$algebra to the Poisson algebra of the associated hyperkähler manifold. Related to this, we show that the cotangent bundles of Grassmanians have commuting almost complex structures that are compatible with a holomorphic symplectic form.

AG-2024.12-1001

math.SG

The skein valued mirror of the topological vertex

Tobias Ekholm, Pietro Longhi, Vivek Shende

We count holomorphic curves in complex 3-space with boundaries on three special Lagrangian solid tori. The count is valued in the HOMFLYPT skein module of the union of the tori. Using 1-parameter families of curves at infinity, we derive three skein valued operator equations which must annihilate the count, and which dequantize to a mirror of the geometry. We show algebraically that the resulting equations determine the count uniquely, and that the result agrees with the topological vertex from topological string theory.

AG-2024.12-749

math.SG

Numerical invariants of normed matrix factorizations

May Sela, Jake P. Solomon

We define a normed matrix factorization category and a notion of bounding cochains for objects of this category. We classify bounding cochains up to gauge equivalence for spherical objects and use this classification to define numerical invariants. These invariants are expected to correspond under mirror symmetry to the open Gromov-Witten invariants with only boundary constraints of Lagrangian rational cohomology spheres defined by the second author and Tukachinsky. For each Delzant polytope, we construct a normed matrix factorization category. For Delzant polytopes satisfying a combinatorial relative spin condition, we construct an object of this category called the Dirac factorization. The Dirac factorization is expected to correspond under mirror symmetry to the Lagrangian submanifold given by the real locus of the toric symplectic manifold associated to the Delzant polytope. In the case of the $n$-simplex for $n$ odd, we show that the Dirac factorization is spherical, mirroring the fact that $\mathbb{R} P^n$ is a rational cohomology sphere. For $n = 1,$ we show the numerical invariants of the Dirac factorization coincide with the open Gromov-Witten invariants of $\mathbb{R} P^1 \subset \mathbb{C} P^1.$ For $n = 3$ in low degrees, computer calculations verify that the numerical invariants of the Dirac factorization coincide with the open Gromov-Witten-Welschinger invariants of $\mathbb{R}P^3 \subset \mathbb{C} P^3.$ Although $\mathbb{R} P^n$ is trivial in the Fukaya category of $\mathbb{C} P^n$ over any field of characteristic zero, the above results can be seen as a manifestation of mirror symmetry over a Novikov ring.

AG-2024.10-653

math.SG

On an Axiomatization of Path Integral Quantization and its Equivalence to Berezin's Quantization

Joshua Lackman

We axiomatize path integral quantization of symplectic manifolds. We prove that this path integral formulation of quantization is equivalent to an abstract operator formulation, ie. abstract coherent state (or Berezin) quantization. We use the corresponding path integral of Poisson manifolds to quantize all complete Riemann surfaces of constant non$\unicode{x2013}$positive curvature and some Poisson structures on the sphere.

AG-2024.08-624

math.SG

On the generic existence of WKB spectral networks/Stokes graphs

Tatsuki Kuwagaki

We prove the generic existence of spectral networks for a large class of spectral data.

AG-2024.07-804

math.SG

The worldsheet skein D-module and basic curves on Lagrangian fillings of the Hopf link conormal

Tobias Ekholm, Pietro Longhi, Lukas Nakamura

HOMFLYPT polynomials of knots in the 3-sphere in symmetric representations satisfy recursion relations. Their geometric origin is holomorphic curves at infinity on knot conormals that determine a $D$-module with characteristic variety the Legendrian knot conormal augmention variety and with the recursion relations as operator polynomial generators [arXiv:1304.5778, arXiv:1803.04011]. We consider skein lifts of recursions and $D$-modules corresponding to skein valued open curve counts [arXiv:1901.08027] that encode HOMFLYPT polynomials colored by arbitrary partitions. We define a worldsheet skein module which is the universal target for skein curve counts and a corresponding $D$-module. We then consider the concrete example of the Legendrian conormal of the Hopf link. We show that the worldsheet skein $D$-module for the Hopf link conormal is generated by three operator polynomials that annihilate the skein valued partition function for any choice of Lagrangian filling and recursively determine it uniquely. We find Lagrangian fillings for any point in the augmentation variety and show that their skein valued partition functions admit quiver-like expansions where all holomorphic curves are generated by a small number of basic holomorphic disks and annuli and their multiple covers.

AG-2024.06-852

math.SG

A Mathematical Definition of Path Integrals on Symplectic Manifolds

Joshua Lackman

We give a mathematical definition of some path integrals, emphasizing those relevant to the quantization of symplectic manifolds (and more generally, Poisson manifolds) $\unicode{x2013}$ in particular, the coherent state path integral. We show that Kähler manifolds provide many computable examples and we emphasize those whose Bergman kernel is constant along the diagonal.

AG-2024.06-643

math.SG

Quiver Hecke algebras from Floer homology in Couloumb branches

Mina Aganagic, Ivan Danilenko, Yixuan Li, Vivek Shende, Peng Zhou

Homology theories categorifying quantum group link invariants are known to be governed by the representation theory of quiver Hecke algebras, also called KLRW algebras. Here we show that certain cylindrical KLRW algebras, relevant in particular for cylindrical generalizations of link homology theories, can be realized by Lagrangian Floer homology in multiplicative Coulomb branches. This confirms a homological mirror symmetry prediction of the first author.

AG-2024.05-970

math.SG

A Derivation of Geometric Quantization via Feynman's Path Integral on Phase Space

Joshua Lackman

We derive the geometric quantization program of symplectic manifolds, in the sense of both Kostant-Souriau and Weinstein, from Feynman's path integral formulation on phase space. The state space we use contains states with negative norm and polarized sections determine a Hilbert space. We discuss ambiguities in the definition of path integrals arising from the distinct Riemann sum prescriptions and its consequence on the quantization of symplectomorphisms.

AG-2024.05-655

math.SG

Geometric Quantization Without Polarizations

Joshua Lackman

We derive the quantization map in geometric quantization of symplectic manifolds via the Poisson sigma model. This gives a polarization-free (path integral) definition of quantization which pieces together most known quantization schemes. We explain how this allows Schur's lemma to address the invariance of polarization problem. We compute this quantization map for the torus and obtain the noncommutative torus and its standard irreducible representation.

AG-2024.02-694

math.SG

WDVV-based recursion for open Gromov-Witten invariants

Roi Blumberg, Sara B. Tukachinsky

We give a computability result for open Gromov-Witten invariants based on open WDVV equations. This is analogous to the result of Kontsevich-Manin for closed Gromov-Witten invariants. For greater generality, we base the argument on a formal object, the Frobenius superpotential, that generalizes several different definitions of open Gromov-Witten invariants. As an application, we prove vanishing properties for open Gromov-Witten invariants on products of projective spaces.

AG-2024.02-640

math.SG

Holomorphic Floer theory I: exponential integrals in finite and infinite dimensions

Maxim Kontsevich, Yan Soibelman

In the first of the series of papers devoted to our project ``Holomorphic Floer Theory" we discuss exponential integrals and related wall-crossing structures. We emphasize two points of view on the subject: the one based on the ideas of deformation quantization and the one based on the ideas of Floer theory. Their equivalence is a corollary of our generalized Riemann-Hilbert correspondence. In the case of exponential integrals this amounts to several comparison isomorphisms between local and global versions of de Rham and Betti cohomology. We develop the corresponding theories in particular generalizing Morse-Novikov theory to the holomorphic case. We prove that arising wall-crossing structures are analytic. As a corollary, perturbative expansions of exponential integrals are resurgent. Based on a careful study of finite-dimensional exponential integrals we propose a conjectural approach to infinite-dimensional exponential integrals. We illustrate this approach in the case of Feynman path integral with holomorphic Lagrangian boundary conditions as well as in the case of the complexified Chern-Simons theory. We discuss the arising perverse sheaf of infinite rank as well as analyticity of the corresponding ``Chern-Simons wall-crossing structure". We develop a general theory of quantum wave functions and show that in the case of Chern-Simons theory it gives an alternative description of the Chern-Simons wall-crossing structure based on the notion of generalized Nahm sum. We propose several conjectures about analyticity and resurgence of the corresponding perturbative series.

AG-2015.04-615

math.SG

On a family of quivers related to the Gibbons-Hermsen system

Alberto Tacchella

We introduce a family of quivers $Z_{r}$ (labeled by a natural number $r\geq 1$) and study the non-commutative symplectic geometry of the corresponding doubles $\mathbf{Q}_{r}$. We show that the group of non-commutative symplectomorphisms of the path algebra $\mathbb{C}\mathbf{Q}_{r}$ contains two copies of the group $\mathrm{GL}_{r}$ over a ring of polynomials in one indeterminate, and that a particular subgroup $\mathcal{P}_{r}$ (which contains both of these copies) acts on the completion $\mathcal{C}_{n,r}$ of the phase space of the $n$-particles, rank $r$ Gibbons-Hermsen integrable system and connects each pair of points belonging to a certain dense open subset of $\mathcal{C}_{n,r}$. This generalizes some known results for the cases $r=1$ and $r=2$.

AG-2015.04-414

math.SG

D-branes and synthetic/$C^{\infty}$-algebraic symplectic/calibrated geometry, I: Lemma on a finite algebraicness property of smooth maps from Azumaya/matrix manifolds

Chien-Hao Liu, Shing-Tung Yau

We lay down an elementary yet fundamental lemma concerning a finite algebraicness property of a smooth map from an Azumaya/matrix manifold with a fundamental module to a smooth manifold. This gives us a starting point to build a synthetic (synonymously, $C^{\infty}$-algebraic) symplectic geometry and calibrated geometry that are both tailored to and guided by D-brane phenomena in string theory and along the line of our previous works D(11.1) (arXiv:1406.0929 [math.DG]) and D(11.2) (arXiv:1412.0771 [hep-th]).

AG-2015.03-1713

math.SG

Complete integrability from Poisson-Nijenhuis structures on compact hermitian symmetric spaces

Francesco Bonechi, Jian Qiu, Marco Tarlini

We study a class of Poisson-Nijenhuis systems defined on compact hermitian symmetric spaces, where the Nijenhuis tensor is defined as the composition of Kirillov-Konstant-Souriau symplectic form with the so called Bruhat-Poisson structure. We determine its spectrum. In the case of Grassmannians the eigenvalues are the Gelfand-Tsetlin variables. We introduce the abelian algebra of collective hamiltonians defined by a chain of nested subalgebras and prove complete integrability. By construction, these models are integrable with respect to both Poisson structures. The eigenvalues of the Nijenhuis tensor are a choice of action variables. Our proof relies on an explicit formula for the contravariant connection defined on vector bundles that are Poisson with respect to the Bruhat-Poisson structure.

AG-2015.01-1437

math.SG

Relative Invariants, Contact Geometry and Open String Invariants

An-Min Li, Li Sheng

In this paper we propose a theory of contact invariants and open string invariants, which are generalizations of the relative invariants. We introduce two moduli spaces $\bar{\mathcal{M}}_{A}(M^{+},C,g,m+ν,{\bf y},{\bf p},(\mathbf{k},\mathfrak{e}))$ and $\bar{\mathcal{M}}_{A}(M,L;g,m+ν,{\bf y},{\bf p},\overrightarrowμ)$, prove the compactness of the moduli spaces and the existence of the invariants.

AG-2014.11-235

math.SG

Canonical Functions and Differential Graded Symplectic Pairs in Supergeometry and AKSZ Sigma Models with Boundary

Noriaki Ikeda, Xiaomeng Xu

Consistent boundary conditions for Alexandrov-Kontsevich-Schwartz-Zaboronsky (AKSZ) sigma models and the corresponding boundary theories are analyzed. As their mathematical structures, we introduce a generalization of differential graded symplectic manifolds, called twisted QP manifolds, in terms of graded symplectic geometry, canonical functions, and QP pairs. We generalize the AKSZ construction of topological sigma models to sigma models with Wess-Zumino terms and show that all the twisted Poisson-like structures known in the literature can actually be naturally realized as boundary conditions for AKSZ sigma models.

AG-2014.10-1292

math.SG

Dirac Reduction for Nonholonomic Mechanical Systems and Semidirect Products

François Gay-Balmaz, Hiroaki Yoshimura

This paper develops the theory of Dirac reduction by symmetry for nonholonomic systems on Lie groups with broken symmetry. The reduction is carried out for the Dirac structures, as well as for the associated Lagrange-Dirac and Hamilton-Dirac dynamical systems. This reduction procedure is accompanied by reduction of the associated variational structures on both Lagrangian and Hamiltonian sides. The reduced dynamical systems obtained are called the implicit Euler-Poincaré-Suslov equations with advected parameters and the implicit Lie-Poisson-Suslov equations with advected parameters. The theory is illustrated with the help of finite and infinite dimensional examples. It is shown that equations of motion for second order Rivlin-Ericksen fluids can be formulated as an infinite dimensional nonholonomic system in the framework of the present paper.

AG-2014.10-508

math.SG

Chern-Simons pre-quantization over four-manifolds

Tosiaki Kori

We introduce a pre-symplectic structure on the space of connections in a G-principal bundle over a four-manifold and a Hamiltonian action on it of the group of gauge transformations that are trivial on the boundary. The moment map is given by the square of curvature so that the 0-level set is the space of flat connections. Thus the moduli space of flat connections is endowed with a pre-symplectic structure. In case when the four-manifold is null-cobordant we shall construct, on the moduli space of connections, as well as on that of flat connections, a hermitian line bundle with connection whose curvature is given by the pre-symplectic form. This is the Chern-Simons pre-quantum line bundle. The group of gauge transformations on the boundary of the base manifold acts on the moduli space of flat connections by an infinitesimally symplectic way. When the base manifold is a 4-dimensional disc we show that this action is lifted to the pre-quantum line bundle by its abelian extension. The geometric description of the latter is related to the 4-dimensional Wess-Zumino-Witten model. The previous version of this arxiv text had several incoincidence with the published article in the Differential Geometry and its Applications vol.29, so the author corrected them.

AG-2014.09-1795

math.SG

Hodge Theory and Symplectic Boundary Conditions

Li-Sheng Tseng, Lihan Wang

We study symplectic Laplacians on compact symplectic manifolds with boundary. These Laplacians are associated with symplectic cohomologies of differential forms and can be of fourth-order. We introduce several natural boundary conditions on differential forms and use them to establish Hodge theory by proving various form decomposition and also isomorphisms between the symplectic cohomologies and the spaces of harmonic fields. These novel boundary conditions can be applied in certain cases to study relative symplectic cohomologies and Lefschetz maps between relative de Rham cohomologies. As an application, our results are used to solve boundary value problems of differential forms.

AG-2014.09-206

math.SG

Contact flows and integrable systems

Bozidar Jovanovic, Vladimir Jovanovic

We consider Hamiltonian systems restricted to the hypersurfaces of contact type and obtain a partial version of the Arnold-Liouville theorem: the system not need to be integrable on the whole phase space, while the invariant hypersurface is foliated on an invariant Lagrangian tori. In the second part of the paper we consider contact systems with constraints. As an example, the Reeb flows on Brieskorn manifolds are considered.

AG-2014.09-112

math.SG

Poly-symplectic groupoids and poly-Poisson structures

Nicolas Martinez Alba

We introduce poly-symplectic groupoids, which are natural extensions of symplectic groupoids to the context of poly-symplectic geometry, and define poly-Poisson structures as their infinitesimal counterparts. We present equivalent descriptions of poly-Poisson structures, including one related with AV-Dirac structures. We also discuss symmetries and reduction in the setting of poly-symplectic groupoids and poly-Poisson structures, and use our viewpoint to revisit results and develop new aspects of the theory initiated by D.Iglesias, J.C Marrero and M. Vaquero.

AG-2014.09-039

math.SG

A direct proof of Malus' theorem using the symplectic structure of the set of oriented straight lines

Charles-Michel Marle

We present a direct proof of Malus' theorem in geometrical Optics founded on the symplectic structure of the set of all oriented straight lines in an Euclidean affine space. Nous présentens une preuve directe du théorème de Malus de l'optique géométrique basée sur la structure symplectique de l'ensemble des droites orientées d'un espace affine euclidien.

AG-2014.08-598

math.SG

Algebra of the infrared and secondary polytopes

Mikhail Kapranov, Maxim Kontsevich, Yan Soibelman

We study algebraic structures ($L_\infty$ and $A_\infty$-algebras) introduced by Gaiotto, Moore and Witten in their recent work devoted to certain supersymmetric 2-dimensional massive field theories. We show that such structures can be systematically produced in any number of dimensions by using the geometry of secondary polytopes, esp. their factorization properties. In particular, in 2 dimensions, we produce, out of a polyhedral "coefficient system", a dg-category $R$ with a semi-orthogonal decomposition and an $L_\infty$-algebra $\mathfrak g$. We show that $\mathfrak g$ is quasi-isomorphic to the ordered Hochschild complex of $R$, governing deformations preserving the semi-orthogonal decomposition. This allows us to give a more precise mathematical formulation of the (conjectural) alternative description of the Fukaya-Seidel category of a Kahler manifold endowed with a holomorphic Morse function.

AG-2014.07-2824

math.SG

Nijenhuis operator in contact homology and descendant recursion in symplectic field theory

Paolo Rossi

In this paper we investigate the algebraic structure related to a new type of correlator associated to the moduli spaces of $S^1$-parametrized curves in contact homology and rational symplectic field theory. Such correlators are the natural generalization of the non-equivariant linearized contact homology differential (after Bourgeois-Oancea) and give rise to an invariant Nijenhuis (or hereditary) operator (à la Magri-Fuchssteiner) in contact homology which recovers the descendant theory from the primaries. We also sketch how such structure generalizes to the full SFT Poisson homology algebra to a (graded symmetric) bivector. The descendant hamiltonians satisfy to recursion relations, analogous to bihamiltonian recursion, with respect to the pair formed by the natural Poisson structure in SFT and such bivector. In case the target manifold is the product stable Hamiltonian structure $S^1\times M$, with $M$ a symplectic manifold, the recursion coincides with genus $0$ topological recursion relations in the Gromov-Witten theory of $M$.

AG-2014.05-129

math.SG

Cohomology and Hodge Theory on Symplectic Manifolds: III

Chung-Jun Tsai, Li-Sheng Tseng, Shing-Tung Yau

We introduce filtered cohomologies of differential forms on symplectic manifolds. They generalize and include the cohomologies discussed in Paper I and II as a subset. The filtered cohomologies are finite-dimensional and can be associated with differential elliptic complexes. Algebraically, we show that the filtered cohomologies give a two-sided resolution of Lefschetz maps, and thereby, they are directly related to the kernels and cokernels of the Lefschetz maps. We also introduce a novel, non-associative product operation on differential forms for symplectic manifolds. This product generates an A-infinity algebra structure on forms that underlies the filtered cohomologies and gives them a ring structure. As an application, we demonstrate how the ring structure of the filtered cohomologies can distinguish different symplectic four-manifolds in the context of a circle times a fibered three-manifold.

AG-2014.03-998

math.SG

On the counting of holomorphic discs in toric Fano manifolds

Cheol-Hyun Cho

Open Gromov-Witten invariants in general are not well-defined. We discuss in detail the enumerative numbers of the Clifford torus $T^2$ in $\CP^2$. For cyclic A-infinity algebras, we show that certain generalized way of counting may be defined up to Hochschild or cyclic boundary elements. In particular we obtain a well-defined function on Hochschild or cyclic homology of a cyclic A-infinity algebra, which has invariance property under cyclic A-infinity homomorphism. We discuss an example of Clifford torus $T^2$ and compute the invariant for a specific cyclic cohomology class.

AG-2014.03-2312

math.SG

Lagrangian Floer superpotentials and crepant resolutions for toric orbifolds

Kwokwai Chan, Cheol-Hyun Cho, Siu-Cheong Lau, Hsian-Hua Tseng

We investigate the relationship between the Lagrangian Floer superpotentials for a toric orbifold and its toric crepant resolutions. More specifically, we study an open string version of the crepant resolution conjecture (CRC) which states that the Lagrangian Floer superpotential of a Gorenstein toric orbifold $\mathcal{X}$ and that of its toric crepant resolution $Y$ coincide after analytic continuation of quantum parameters and a change of variables. Relating this conjecture with the closed CRC, we find that the change of variable formula which appears in closed CRC can be explained by relations between open (orbifold) Gromov-Witten invariants. We also discover a geometric explanation (in terms of virtual counting of stable orbi-discs) for the specialization of quantum parameters to roots of unity which appears in Y. Ruan's original CRC ["The cohomology ring of crepant resolutions of orbifolds", Gromov-Witten theory of spin curves and orbifolds, 117-126, Contemp. Math., 403, Amer. Math. Soc., Providence, RI, 2006]. We prove the open CRC for the weighted projective spaces $\mathcal{X}=\mathbb{P}(1,\ldots,1,n)$ using an equality between open and closed orbifold Gromov-Witten invariants. Along the way, we also prove an open mirror theorem for these toric orbifolds.

AG-2014.02-366

math.SG

A dual pair for free boundary fluids

Francois Gay-Balmaz, Cornelia Vizman

We construct a dual pair associated to the Hamiltonian geometric formulation of perfect fluids with free boundaries. This dual pair is defined on the cotangent bundle of the space of volume preserving embeddings of a manifold with boundary into a boundaryless manifold of the same dimension. The dual pair properties are rigorously verified in the infinite dimensional Fréchet manifold setting. It provides an example of a dual pair associated to actions that are not completely mutually orthogonal.

AG-2014.01-746

math.SG

Darboux chart on Projective limit of weak symplectic Banach manifold

Pradip Kumar

Suppose M be the projective limit of weak symplectic Banach manifolds \{(M_i,ϕ_{ij})\}_{i,j\in\mathbb N}, where M_i are modeled over reflexive Banach space and σis compatible with the inverse system(defined in the article). We associate to each point x\in M, a Fréchet space H_x(defined in section 3). We prove that if H_x are locally constant, then with certain smoothness and boundedness condition, there exists Darboux chart for the weak symplectic structure.

AG-2013.12-1330

math.SG

Lower order asymptotics for Szegö and Toeplitz kernels under Hamiltonian circle actions

Roberto Paoletti

We consider a natural variant of Berezin-Toeplitz quantization of compact Kähler manifolds, in the presence of a Hamiltonian circle action lifting to the quantizing line bundle. Assuming that the moment map is positive, we study the diagonal asymptotics of the associated Szegö and Toeplitz operators, and specifically their relation to the moment map and to the geometry of a certain symplectic quotient. When the underlying action is trivial and the moment map is taken to be identically equal to one, this scheme coincides with the usual Berezin-Toeplitz quantization. This continues previous work on near-diagonal scaling asymptotics of equivariant Szegö kernels in the presence of Hamiltonian torus actions.

AG-2013.12-262

math.SG

Inversion of a mapping associated with the Aomoto-Forrester system

Raquel Caseiro, Jean-Pierre Françoise, Ryu Sasaki

This article is devoted to the study of a general class of Hamiltonian systems which extends the Calogero systems with external quadratic potential associated to any root system. The interest for such a class comes from a previous article of Aomoto and Forrester. We consider first the one-degree of freedom case and compute the Birkhoff series defined near each of its stationary points. In general, the analysis of the system motivates finding some expression for the inverses of a rational map introduced by Aomoto and Forrester. We derive here some diagrammatic expansion series for these inverses.

AG-2013.12-049

math.SG

Subspaces of Multisymplectic Vector Spaces

Albert J. Todd

A notion of orthogonality in multisymplectic geometry has been developed by Cantrijn, Ibort and de León and used by many authors. In this paper, we review this concept and propose a new type of orthogonality in multisymplectic geometry; we prove a number of results regarding this orthogonality and its associated subspaces. We end by calculating the various subspaces of a G_2-vector space based on both types of orthogonality.

AG-2013.11-417

math.SG

Non-commutative Toric Varieties

Ludmil Katzarkov, Ernesto Lupercio, Laurent Meersseman, Alberto Verjovsky

In this note we introduce a new family of non-commutative spaces that we call non-commutative toric varieties and we describe some of their main properties. The main technical tool in this investigation is a natural extension of LVM-theory for the irrational case. In order to introduce the moduli space of (non-commutative) toric varieties we use variations on the notion of diffeology as models for non-commutative spaces.

AG-2013.10-2906

math.SG

Curvature of the space of positive Lagrangians

Jake P. Solomon

A Lagrangian submanifold in an almost Calabi-Yau manifold is called positive if the real part of the holomorphic volume form restricted to it is positive. An exact isotopy class of positive Lagrangian submanifolds admits a natural Riemannian metric. We compute the Riemann curvature of this metric and show all sectional curvatures are non-positive. The motivation for our calculation comes from mirror symmetry. Roughly speaking, an exact isotopy class of positive Lagrangians corresponds under mirror symmetry to the space of Hermitian metrics on a holomorphic vector bundle. The latter space is an infinite-dimensional analog of the non-compact symmetric space dual to the unitary group, and thus has non-positive curvature.

AG-2013.08-852

math.SG

Blow-up of generalized complex 4-manifolds

Gil R. Cavalcanti, Marco Gualtieri

We introduce blow-up and blow-down operations for generalized complex 4-manifolds. Combining these with a surgery analogous to the logarithmic transform, we then construct generalized complex structures on nCP2 # m \bar{CP2} for n odd, a family of 4-manifolds which admit neither complex nor symplectic structures unless n=1. We also extend the notion of a symplectic elliptic Lefschetz fibration, so that it expresses a generalized complex 4-manifold as a fibration over a two-dimensional manifold with boundary.

AG-2013.08-731

math.SG

Local scaling asymptotics in phase space and time in Berezin-Toeplitz quantization

Roberto Paoletti

This paper deals with the local semiclassical asymptotics of a quantum evolution operator in the Berezin-Toeplitz scheme, when both time and phase space variables are subject to appropriate scalings in the neighborhood of the graph of the underlying classical dynamics. Global consequences are then drawn regarding the scaling asymptotics of the trace of the quantum evolution as a function of time.

AG-2013.07-2969

math.SG

Maximal Covariance Group of Wigner Transforms and Pseudo-Differential Operators

Nuno Costa Dias, Maurice A. de Gosson, João Nuno Prata

We show that the linear symplectic and anti-symplectic transformations form the maximal covariance group for both the Wigner transform and Weyl operators. The proof is based on a new result from symplectic geometry which characterizes symplectic and anti-symplectic matrices, and which allows us, in addition, to refine a classical result on the preservation of symplectic capacities of ellipsoids.

AG-2013.07-1154

math.SG

Symplectic Dolbeault Operators on Kähler Manifolds

Eric O. Korman

For a Kähler Manifold $M$, the "symplectic Dolbeault operators" are defined using the symplectic spinors and associated Dirac operators, in complete analogy to how the usual Dolbeault operators, $\bar\partial$ and $\bar\partial^*$, arise from Dirac operators on the canonical complex spinors on $M$. We give special attention to two special classes of Kähler manifolds: Riemann surfaces and flag manifolds ($G/T$ for $G$ a simply-connected compact semisimple Lie group and $T$ a maximal torus). In the case of flag manifolds, we work with the Hermitian structure induced by the Killing form and a choice of positive roots (this is actually not a Kähler structure but is a Kähler with torsion (KT) structure). For Riemann surfaces the symplectic Dolbeault operators are elliptic and we compute their indices. In the case of flag manifolds, we will see that the representation theory of $G$ plays a role and that these operators can be used to distinguish (as Hermitian manifolds) between the flag manifolds corresponding to the Lie algebras $B_n$ and $C_n$. We give a thorough analysis of these operators on $\C P^1$ (the intersection of these classes of spaces), where the symplectic Dolbeault operators have an especially interesting structure.

AG-2013.06-2426

math.SG

Semi-global symplectic invariants of the Euler top

George Papadopoulos, Holger R. Dullin

We compute the semi-global symplectic invariants near the hyperbolic equilibrium points of the Euler top. The Birkhoff normal form at the hyperbolic point is computed using Lie series. The actions near the hyperbolic point are found using Frobenius expansion of its Picard-Fuchs equation. We show that the Birkhoff normal form can also be found by inverting the regular solution of the Picard-Fuchs equation. Composition of the singular action integral with the Birkhoff normal form gives the semi-global symplectic invariant. Finally, we discuss the convergence of these invariants and show that in a neighbourhood of the separatrix the pendulum is not symplectically equivalent to any Euler top.

AG-2013.06-3604

math.SG

Quantization of Poisson manifolds from the integrability of the modular function

F. Bonechi, N. Ciccoli, J. Qiu, M. Tarlini

We discuss a framework for quantizing a Poisson manifold via the quantization of its symplectic groupoid, that combines the tools of geometric quantization with the results of Renault's theory of groupoid C*-algebras. This setting allows very singular polarizations. In particular we consider the case when the modular function is "multiplicatively integrable", i.e. when the space of leaves of the polarization inherits a groupoid structure. If suitable regularity conditions are satisfied, then one can define the quantum algebra as the convolution algebra of the subgroupoid of leaves satisfying the Bohr-Sommerfeld conditions. We apply this procedure to the case of a family of Poisson structures on CP_n, seen as Poisson homogeneous spaces of the standard Poisson-Lie group SU(n+1). We show that a bihamiltoniam system on CP_n defines a multiplicative integrable model on the symplectic groupoid; we compute the Bohr-Sommerfeld groupoid and show that it satisfies the needed properties for applying Renault theory. We recover and extend Sheu's description of quantum homogeneous spaces as groupoid C*-algebras.

AG-2013.06-843

math.SG

Relational symplectic groupoids and Poisson sigma models with boundary

Ivan Contreras

We introduce the notion of relational symplectic groupoid as a way to integrate Poisson manifolds in general, following the construction through the Poisson sigma model (PSM) given by Cattaneo and Felder. We extend such construction to the infinite dimensional setting, where we are able to describe the relational symplectic groupoid in terms of immersed Lagrangian Bannach submanifolds. This corresponds to a groupoid object in the "extended symplectic category" and it can be related to the ususal version of symplectic groupoids via reduction. We prove the existence of such an object for any Poisson manifold and the uniqueness of a compatible Poisson structure on the base, for a special type of relational symplectic groupoids. We develop the notion of equivalence, that allows us to compare finite and infinite dimensional examples. We discuss some other extensions to different categories, where the relational construction still make sense, in an effort to understand better geometric quantization of symplectic manifolds in this new perspective.

AG-2013.05-1601

math.SG

From semi-toric systems to Hamiltonian S^1-spaces

Sonja Hohloch, Silvia Sabatini, Daniele Sepe

This paper studies the local and global aspects of semi-toric integrable systems, introduced by Vu Ngoc, using ideas stemming from the theory of Hamiltonian S^1-spaces developed by Karshon. First, we show how any labeled convex polygon associated to a semi-toric system (as defined by Vu Ngoc) determines Karshon's labeled directed graph which classifies the underlying Hamiltonian S^1-space up to isomorphism. Then we characterize adaptable semi-toric systems, i.e. those whose underlying Hamiltonian S^1-action can be extended to an effective Hamiltonian T^2-action, as those which have at least one associated convex polygon which satisfies the Delzant condition.

AG-2013.04-2408

math.SG

The Calabi homomorphism, Lagrangian paths and special Lagrangians

Jake P. Solomon

Let $\OO$ be an orbit of the group of Hamiltonian symplectomorphisms acting on the space of Lagrangian submanifolds of a symplectic manifold $(X,ω).$ We define a functional $\CC:\OO \to \R$ for each differential form $β$ of middle degree satisfying $β\wedge ω= 0$ and an exactness condition. If the exactness condition does not hold, $\CC$ is defined on the universal cover of $\OO.$ A particular instance of $\CC$ recovers the Calabi homomorphism. If $β$ is the imaginary part of a holomorphic volume form, the critical points of $\CC$ are special Lagrangian submanifolds. We present evidence that $\CC$ is related by mirror symmetry to a functional introduced by Donaldson to study Einstein-Hermitian metrics on holomorphic vector bundles. In particular, we show that $\CC$ is convex on an open subspace $\OO^+ \subset \OO.$ As a prerequisite, we define a Riemannian metric on $\OO^+$ and analyze its geodesics. Finally, we discuss a generalization of the flux homomorphism to the space of Lagrangian submanifolds, and a Lagrangian analog of the flux conjecture.

AG-2013.04-556

math.SG

Universal Lagrangian Bundles

Daniele Sepe

The obstruction to construct a Lagrangian bundle over a fixed integral affine manifold was constructed by Dazord and Delzant in \cite{daz_delz} and shown to be given by `twisted' cup products in \cite{sepe_lag}. This paper uses the topology of universal Lagrangian bundles, which classify Lagrangian bundles topologically (cf. \cite{sepe_topc}), to reinterpret this obstruction as the vanishing of a differential on the second page of a Leray-Serre spectral sequence. Using this interpretation, it is shown that the obstruction of Dazord and Delzant depends on an important cohomological invariant of the integral affine structure on the base space, called the radiance obstruction, which was introduced by Goldman and Hirsch in \cite{goldman}. Some examples, related to non-degenerate singularities of completely integrable Hamiltonian systems, are discussed.

AG-2013.03-234

math.SG

Ammann Tilings in Symplectic Geometry

Fiammetta Battaglia, Elisa Prato

In this article we study Ammann tilings from the perspective of symplectic geometry. Ammann tilings are nonperiodic tilings that are related to quasicrystals with icosahedral symmetry. We associate to each Ammann tiling two explicitly constructed highly singular symplectic spaces and we show that they are diffeomorphic but not symplectomorphic. These spaces inherit from the tiling its very interesting symmetries.

AG-2013.02-1205

math.SG

Local symplectic field theory

Oliver Fabert

Generalizing local Gromov-Witten theory, in this paper we define a local version of symplectic field theory. When the symplectic manifold with cylindrical ends is four-dimensional and the underlying simple curve is regular by automatic transversality, we establish a transversality result for all its multiple covers and discuss the resulting algebraic structures.

AG-2012.12-595

math.SG

Noncommutative integrability and action-angle variables in contact geometry

Bozidar Jovanovic

We introduce a notion of the noncommutative integrability within a framework of contact geometry.

AG-2012.10-1180

math.SG

Recursion Operators and Frobenius Manifolds

Franco Magri

In this note I exhibit a "discrete homotopy" which joins the category of F-manifolds to the category of Poisson-Nijenhuis manifolds, passing through the category of Frobenius manifolds.

AG-2012.10-887

math.SG

The open Gromov-Witten-Welschinger theory of blowups of the projective plane

Asaf Horev, Jake P. Solomon

We compute the Welschinger invariants of blowups of the projective plane at an arbitrary conjugation invariant configuration of points. Specifically, open analogues of the WDVV equation and Kontsevich-Manin axioms lead to a recursive algorithm that reconstructs all the invariants from a small set of known invariants. Example computations are given, including the non-del Pezzo case.

AG-2012.10-002

math.SG

Cohomology and Hodge Theory on Symplectic Manifolds: II

Li-Sheng Tseng, Shing-Tung Yau

We show that the exterior derivative operator on a symplectic manifold has a natural decomposition into two linear differential operators, analogous to the Dolbeault operators in complex geometry. These operators map primitive forms into primitive forms and therefore lead directly to the construction of primitive cohomologies on symplectic manifolds. Using these operators, we introduce new primitive cohomologies that are analogous to the Dolbeault cohomology in the complex theory. Interestingly, the finiteness of these primitive cohomologies follows directly from an elliptic complex. We calculate the known primitive cohomologies on a nilmanifold and show that their dimensions can vary depending on the class of the symplectic form.

AG-2012.10-001

math.SG

Cohomology and Hodge Theory on Symplectic Manifolds: I

Li-Sheng Tseng, Shing-Tung Yau

We introduce new finite-dimensional cohomologies on symplectic manifolds. Each exhibits Lefschetz decomposition and contains a unique harmonic representative within each class. Associated with each cohomology is a primitive cohomology defined purely on the space of primitive forms. We identify the dual currents of lagrangians and more generally coisotropic submanifolds with elements of a primitive cohomology, which dualizes to a homology on coisotropic chains.

AG-2012.09-2506

math.SG

Fukaya-Seidel category and gauge theory

Andriy Haydys

Given a J-holomorphic Morse function on a symplectic manifold, a new construction of the Fukaya-Seidel category is outlined. Applying this construction in an infinite dimensional case, a Fukaya-Seidel-type category is associated to a smooth three-manifold. In this case the construction is based on a five-dimensional gauge theory.

AG-2012.09-788

math.SG

The quantization of the symplectic groupoid of the standard Podles sphere

F. Bonechi, N. Ciccoli, N. Staffolani, M. Tarlini

We give an explicit form of the symplectic groupoid that integrates the semiclassical standard Podles sphere. We show that Sheu's groupoid, whose convolution C*-algebra quantizes the sphere, appears as the groupoid of the Bohr-Sommerfeld leaves of a (singular) real polarization of the symplectic groupoid. By using a complex polarization we recover the convolution algebra on the space of polarized sections. We stress the role of the modular class in the definition of the scalar product in order to get the correct quantum space.

AG-2012.09-500

math.SG

Topological recursion relations in the symplectic field theory of mapping tori and local symplectic field theory

Oliver Fabert, Paolo Rossi

Based on the localization result for descendants in rational SFT moduli spaces from our last joint paper, we prove topological recursion relations for the Hamiltonian in SFT of symplectic mapping tori and in local SFT. Combined with the dilaton equation in SFT, we use them to prove a reconstruction theorem for descendants from primaries. While it turns out that (in contrast to Gromov-Witten theory and non-equivariant cylindrical contact homology) the descendant Hamiltonian cannot be computed from the Hamiltonian without descendants alone, we get that the only additional piece of information needed is the first descendant Hamiltonian, which counts holomorphic curves tangent to the symplectic fibre. As already known from the explicit computations in local SFT, it follows that the descendant SFT invariants in general contain more geometric information than the primary SFT invariants.

AG-2012.08-652

math.SG

Examples of Matrix Factorizations from SYZ

Cheol-Hyun Cho, Hansol Hong, Sangwook Lee

We find matrix factorization corresponding to an anti-diagonal in ${\mathbb C}P^1 \times {\mathbb C}P^1$, and circle fibers in weighted projective lines using the idea of Chan and Leung of Strominger-Yau-Zaslow transformations. For the tear drop orbifolds, we apply this idea to find matrix factorizations for two types of potential, the usual Hori-Vafa potential or the bulk deformed (orbi)-potential. We also show that the direct sum of anti-diagonal with its shift, is equivalent to the direct sum of central torus fibers with holonomy $(1,-1)$ and $(-1,1)$ in the Fukaya category of ${\mathbb C}P^1 \times {\mathbb C}P^1$, which was predicted by Kapustin and Li from B-model calculations.

AG-2012.07-1902

math.SG

Bott periodicity and stable quantum classes

Yasha Savelyev

We use Bott periodicity to relate previously defined quantum classes to certain "exotic Chern classes" on $BU$. This provides an interesting computational and theoretical framework for some Gromov-Witten invariants connected with cohomological field theories. This framework has applications to study of higher dimensional, Hamiltonian rigidity aspects of Hofer geometry of $ \mathbb{CP} ^{n}$, one of which we discuss here.

AG-2012.07-1426

math.SG

Cyclic Homology of Fukaya Categories and the Linearized Contact Homology

Xiaojun Chen, Hai-Long Her, Shanzhong Sun

Let $M$ be an exact symplectic manifold with contact type boundary such that $c_1(M)=0$. In this paper we show that the cyclic cohomology of the Fukaya category of $M$ has the structure of an involutive Lie bialgebra. Inspired by a work of Cieliebak-Latschev we show that there is a Lie bialgebra homomorphism from the linearized contact homology of $M$ to the cyclic cohomology of the Fukaya category. Our study is also motivated by string topology and 2-dimensional topological conformal field theory.

AG-2012.07-701

math.SG

Twisted isotropic realisations of twisted Poisson structures

Nicola Sansonetto, Daniele Sepe

Motivated by the recent connection between nonholonomic integrable systems and twisted Poisson manifolds made in \cite{balseiro_garcia_naranjo}, this paper investigates the global theory of integrable Hamiltonian systems on almost symplectic manifolds as an initial step to understand Hamiltonian integrability on twisted Poisson (and Dirac) manifolds. Non-commutative integrable Hamiltonian systems on almost symplectic manifolds were first defined in \cite{fasso_sansonetto}, which proved existence of local generalised action-angle coordinates in the spirit of the Liouville-Arnol'd theorem. In analogy with their symplectic counterpart, these systems can be described globally by twisted isotropic realisations of twisted Poisson manifolds, a special case of symplectic realisations of twisted Dirac structures considered in \cite{bursztyn_crainic_weinstein_zhu}. This paper classifies twisted isotropic realisations up to smooth isomorphism and provides a cohomological obstruction to the construction of these objects, generalising the main results of \cite{daz_delz}.

AG-2012.07-2477

math.SG

Singularities of equidistants and global centre symmetry sets of Lagrangian submanifolds

Wojciech Domitrz, P. de M. Rios

We define the Global Centre Symmetry set (GCS) of a smooth closed m-dimensional submanifold M of R^n, $n \leq 2m$, which is an affinely invariant generalization of the centre of a k-sphere in R^{k+1}. The GCS includes both the centre symmetry set defined by Janeczko and the Wigner caustic defined by Berry. We develop a new method for studying generic singularities of the GCS which is suited to the case when M is lagrangian in R^{2m} with canonical symplectic form. The definition of the GCS, which slightly generalizes one by Giblin and Zakalyukin, is based on the notion of affine equidistants, so, we first study singularities of affine equidistants of Lagrangian submanifolds, classifying all the stable ones. Then, we classify the affine-Lagrangian stable singularities of the GCS of Lagrangian submanifolds and show that, already for smooth closed convex curves in R^2, many singularities of the GCS which are affine stable are not affine-Lagrangian stable.

AG-2012.06-2535

math.SG

Holomorphic orbidiscs and Lagrangian Floer cohomology of symplectic toric orbifolds

Cheol-Hyun Cho, Mainak Poddar

We develop Floer theory of Lagrangian torus fibers in compact symplectic toric orbifolds. We first classify holomorphic orbi-discs with boundary on Lagrangian torus fibers. We show that there exists a class of basic discs such that we have one-to-one correspondences between a) smooth basic discs and facets of the moment polytope, and b) between basic orbi-discs and twisted sectors of the toric orbifold. We show that there is a smooth Lagrangian Floer theory of these torus fibers, which has a bulk-deformation by fundamental classes of twisted sectors of the toric orbifold. We show by several examples that such bulk-deformation can be used to illustrate the very rigid Hamiltonian geometry of orbifolds. We define its potential and bulk-deformed potential, and develop the notion of leading order potential. We study leading term equations analogous to the case of toric manifolds by Fukaya, Oh, Ohta and Ono.

AG-2012.06-802

math.SG

Joint quantum measurements and Poisson bracket invariants

Leonid Polterovich

The paper has been withdrawn by the author.

AG-2012.04-2599

math.SG

Quantum unsharpness and symplectic rigidity

Leonid Polterovich

We discuss a link between "hard" symplectic topology and an unsharpness principle for generalized quantum observables (positive operator valued measures). The link is provided by the Berezin-Toeplitz quantization.

AG-2012.04-792

math.SG

Action-Angle variables on Dirac manifolds

Nguyen Tien Zung

The main purpose of this paper is to show the existence of action-angle variables for integrable Hamiltonian systems on Dirac manifolds under some natural regularity and compactness conditions, using the torus action approach. We show that the Liouville torus actions of general integrable dynamical systems have the structure-preserving property with respect to any underlying geometric structure of the system, and deduce the existence of action-angle variables from this property. We also discover co-affine structures on manifolds as a by-product of our study of action-angle variables. 22 pages.

AG-2012.03-2508

math.SG

Open Gromov-Witten Invariants of Toric Calabi-Yau 3-Folds

Bohan Fang, Chiu-Chu Melissa Liu

We present a proof of the mirror conjecture of Aganagic-Vafa [arXiv:hep-th/0012041] and Aganagic-Klemm-Vafa [arXiv:hep-th/0105045] on disk enumeration in toric Calabi-Yau 3-folds for all smooth semi-projective toric Calabi-Yau 3-folds. We consider both inner and outer branes, at arbitrary framing. In particular, we recover previous results on the conjecture for (i) an inner brane at zero framing in the total space of the canonical line bundle of the projective plane (Graber-Zaslow [arXiv:hep-th/0109075]), (ii) an outer brane at arbitrary framing in the resolved conifold (Zhou [arXiv:1001.0447]), and (iii) an outer brane at zero framing in the total space of the canonical line bundle of the projective plane (Brini [arXiv:1102.0281, Section 5.3]).

AG-2012.01-1275

math.SG

Symplectic structures and dynamics on vortex membranes

Boris Khesin

We present a Hamiltonian framework for higher-dimensional vortex filaments (or membranes) and vortex sheets as singular 2-forms with support of codimensions 2 and 1, respectively, i.e. singular elements of the dual to the Lie algebra of divergence-free vector fields. It turns out that the localized induction approximation (LIA) of the hydrodynamical Euler equation describes the skew-mean-curvature flow on vortex membranes of codimension 2 in any dimension, which generalizes the classical binormal, or vortex filament, equation in 3D. This framework also allows one to define the symplectic structures on the spaces of vortex sheets, which interpolate between the corresponding structures on vortex filaments and smooth vorticities.

AG-2011.06-1032

math.SG

On the Verlinde formulas for SO(3)-bundles

Derek Krepski, Eckhard Meinrenken

This paper computes the quantization of the moduli space of flat SO(3)-bundles over an oriented surface with boundary, with prescribed holonomies around the boundary circles. The result agrees with the generalized Verlinde formula conjectured by Fuchs and Schweigert.

AG-2011.06-585

math.SG

Completely Integrable Contact Hamiltonian Systems and Toric Contact Structures on $S^2\times S^3$

Charles P. Boyer

I begin by giving a general discussion of completely integrable Hamiltonian systems in the setting of contact geometry. We then pass to the particular case of toric contact structures on the manifold $S^2\times S^3$. In particular we give a complete solution to the contact equivalence problem for a class of toric contact structures, $Y^{p,q}$, discovered by physicists by showing that $Y^{p,q}$ and $Y^{p',q'}$ are inequivalent as contact structures if and only if $p\neq p'$.

AG-2011.05-1896

math.SG

Scaling asymptotics for quantized Hamiltonian flows

Roberto Paoletti

In recent years, the near diagonal asymptotics of the equivariant components of the Szegö kernel of a positive line bundle on a compact symplectic manifold have been studied extensively by many authors. As a natural generalization of this theme, here we consider the local scaling asymptotics of the Toeplitz quantization of a Hamiltonian symplectomorphism, and specifically how they concentrate on the graph of the underlying classical map.

AG-2011.05-760

math.SG

Scalar Differential Invariants of Symplectic Monge-Ampère Equations

Alessandro De Paris, Alexandre M. Vinogradov

All second order scalar differential invariants of symplectic hyperbolic and elliptic Monge-Ampère equations with respect to symplectomorphisms are explicitly computed. In particular, it is shown that the number of independent second order invariants is equal to 7, in sharp contrast with general Monge-Ampère equations for which this number is equal to 2. We also introduce a series of invariant differential forms and vector fields which allows us to construct numerous scalar differential invariants of higher order. The introduced invariants give a solution of the symplectic equivalence of Monge-Ampère equations. As an example we study quasilinear equations of a suitable kind and in particular find a simple linearization criterion.

AG-2011.04-940

math.SG

String, dilaton and divisor equation in Symplectic Field Theory

Oliver Fabert, Paolo Rossi

Infinite dimensional Hamiltonian systems appear naturally in the rich algebraic structure of Symplectic Field Theory. Carefully defining a generalization of gravitational descendants and adding them to the picture, one can produce an infinite number of symmetries of such systems . As in Gromov-Witten theory, the study of the topological meaning of gravitational descendants yields new differential equations for the SFT Hamiltonian, where the key point is to understand the dependence of the algebraic constructions on choices of auxiliary data like contact form, cylindrical almost complex structure, abstract perturbations, differential forms and coherent collections of sections used to define gravitational descendants.

AG-2011.03-1961

math.SG

On the geometric quantization of contact manifolds

Sean Fitzpatrick

Suppose that $(M,E)$ is a compact contact manifold, and that a compact Lie group $G$ acts on $M$ transverse to the contact distribution $E$. In an earlier paper, we defined a $G$-transversally elliptic Dirac operator $\dirac$, constructed using a Hermitian metric $h$ and connection $\nabla$ on the symplectic vector bundle $E\rightarrow M$, whose equivariant index is well-defined as a generalized function on $G$, and gave a formula for its index. By analogy with the geometric quantization of symplectic manifolds, the $\mathbb{Z}_2$-graded Hilbert space $Q(M)=\ker \dirac \oplus \ker \dirac^{*}$ can be interpreted as the "quantization" of the contact manifold $(M,E)$; the character of the corresponding virtual $G$-representation is then given by the equivariant index of $\dirac$. By defining contact analogues of the algebra of observables, pre-quantum line bundle and polarization, we further extend the analogy by giving a contact version of the Kostant-Souriau approach to quantization, and discussing the extent to which this approach is reproduced by the index-theoretic method.

AG-2011.03-569

math.SG

Topological recursion for symplectic volumes of moduli spaces of curves

Julia Bennett, David Cochran, Brad Safnuk, Kaitlin Woskoff

We construct locally defined symplectic torus actions on ribbon graph complexes. Symplectic reduction techniques allow for a recursive formula for the symplectic volumes of these spaces. Taking the Laplace transform results in the Eynard-Orantin recursion formulas for the Airy curve x = y^2 / 2.

AG-2011.03-1837

math.SG

Integrable Hamiltonian systems on symmetric spaces: Jacobi, Kepler and Moser

Velimir Jurdjevic

This paper defines a class of variational problems on Lie groups that admit involutive automorphisms. The maximum Principle of optimal control then identifies the appropriate left invariant Hamiltonians on the Lie algebra of the group. The corresponding Hamiltonian equations admit a spectral representation with important applications to the theory of integrable systems. Particular cases make a link to Moser's work relating the solutions of Kepler's problem to the geodesics on spaces of constant curvature, Newmann's mechanical problem on the sphere and related geodesic problem of Jacobi on an ellipsoid.

AG-2011.03-2126

math.SG

Singular Poisson-Kähler geometry of stratified Kähler spaces and quantization

Johannes Huebschmann, U Lille

In the presence of classical phase space singularities the standard methods are insufficient to attack the problem of quantization.In certain situations the difficulties can be overcome by means of Kähler quantization on stratified Kähler spaces. Such a space is a stratified symplectic space together with a complex analytic structure which is compatible with the stratified symplectic structure; in particular each stratum is a Kähler manifold in an obvious fashion. Holomorphic quantization on a stratified Kähler space then yields a costratified Hilbert space, a quantum object having the classical singularities as its shadow. Given a Kähler manifold with a hamiltonian action of a compact Lie group that also preserves the complex structure, reduction after quantization coincides with quantization after reduction in the sense that not only the reduced and unreduced quantum phase spaces correspond but the invariant unreduced and reduced quantum observables as well

AG-2011.02-2011

math.SG

L-infinity algebras and higher analogues of Dirac structures and Courant algebroids

Marco Zambon

We define a higher analogue of Dirac structures on a manifold M. Under a regularity assumption, higher Dirac structures can be described by a foliation and a (not necessarily closed, non-unique) differential form on M, and are equivalent to (and simpler to handle than) the Multi-Dirac structures recently introduced in the context of field theory by Vankerschaver, Yoshimura and Marsden. We associate an L-infinity algebra of "observables" to every higher Dirac structure, extending work of Baez, Hoffnung and Rogers on multisymplectic forms. Further, applying a recent result of Getzler, we associate an L-infinity algebra to any manifold endowed with a closed differential form H, via a "higher analogue of Courant algebroid twisted by H". Finally, we study the relations between the L-infinity algebras appearing above.

AG-2010.12-633

math.SG

Topological recursion relations in non-equivariant cylindrical contact homology

Oliver Fabert, Paolo Rossi

It was pointed out by Eliashberg in his ICM 2006 plenary talk that the integrable systems of rational Gromov-Witten theory very naturally appear in the rich algebraic formalism of symplectic field theory (SFT). Carefully generalizing the definition of gravitational descendants from Gromov-Witten theory to SFT, one can assign to every contact manifold a Hamiltonian system with symmetries on SFT homology and the question of its integrability arises. While we have shown how the well-known string, dilaton and divisor equations translate from Gromov-Witten theory to SFT, the next step is to show how genus-zero topological recursion translates to SFT. Compatible with the example of SFT of closed geodesics, it turns out that the corresponding localization theorem requires a non-equivariant version of SFT, which is generated by parametrized instead of unparametrized closed Reeb orbits. Since this non-equivariant version is so far only defined for cylindrical contact homology, we restrict ourselves to this special case. As an important result we show that, as in rational Gromov-Witten theory, all descendant invariants can be computed from primary invariants, i.e. without descendants.

AG-2010.12-075

math.SG

D-branes of A-type, their deformations, and Morse cobordism of A-branes on Calabi-Yau 3-folds under a split attractor flow: Donaldson/Alexander-Hilden-Lozano-Montesinos-Thurston/Hurwitz/Denef-Joyce meeting Polchinski-Grothendieck

Chien-Hao Liu, Shing-Tung Yau

In [L-Y5] (D(6): arXiv:1003.1178 [math.SG]) we introduced the notion of Azumaya $C^{\infty}$-manifolds with a fundamental module and morphisms therefrom to a complex manifold. In the current sequel, we use this notion to give a prototypical definition of supersymmetric D-branes of A-type (i.e. A-branes) -- in an appropriate region of the Wilson's theory-space of string theory -- as special Lagrangian morphisms from such objects with a unitary, minimally flat connection-with-singularities. This merges Donaldson's picture of special Lagrangian submanifolds and the Polchinski-Grothendieck Ansatz for D-branes on a Calabi-Yau space. Basic phenomena of D-branes such as Higgsing/un-Higgsing and large- vs. small-brane wrapping can be realized via deformations of such morphisms. Classical results of Alexander, Hilden, Lozano, Montesinos, and Thurston suggest then a genus-like expansion of the path-integral of D3-branes. Similarly for D2-branes and M2-branes. In the last section, we use the technical results of Joyce on desingularizations of special Lagrangian submanifolds with conical singularities to explain how A-branes thus defined can be driven and re-assemble under a split attractor flow, as studied in an earlier work of Denef. This section is to be read with arXiv:hep-th/0107152 of Denef and arXiv:math.DG/0303272 of Joyce.

AG-2010.10-164

math.SG

Projective flatness in the quantisation of bosons and fermions

Siye Wu

We compare the quantisation of linear systems of bosons and fermions. We recall the appearance of projectively flat connection and results on parallel transport in the quantisation of bosons. We then discuss pre-quantisation and quantisation of fermions using the calculus of fermionic variables. We then define a natural connection on the bundle of Hilbert spaces and show that it is projectively flat. This identifies, up to a phase, equivalent spinor representations constructed by various polarisations. We introduce the concept of metaplectic correction for fermions and show that the bundle of corrected Hilbert spaces is naturally flat. We then show that the parallel transport in the bundle of Hilbert spaces along a geodesic is the rescaled projection or the Bogoliubov transformation provided that the geodesic lies within the complement of a cut locus. Finally, we study the bundle of Hilbert spaces when there is a symmetry.

AG-2010.09-814

math.SG

Integrable systems and holomorphic curves

Paolo Rossi

In this paper we attempt a self-contained approach to infinite dimensional Hamiltonian systems appearing from holomorphic curve counting in Gromov-Witten theory. It consists of two parts. The first one is basically a survey of Dubrovin's approach to bihamiltonian tau-symmetric systems and their relation with Frobenius manifolds. We will mainly focus on the dispersionless case, with just some hints on Dubrovin's reconstruction of the dispersive tail. The second part deals with the relation of such systems to rational Gromov-Witten and Symplectic Field Theory. We will use Symplectic Field theory of $S^1\times M$ as a language for the Gromov-Witten theory of a closed symplectic manifold $M$. Such language is more natural from the integrable systems viewpoint. We will show how the integrable system arising from Symplectic Field Theory of $S^1\times M$ coincides with the one associated to the Frobenius structure of the quantum cohomology of $M$.

AG-2010.09-650

math.SG

Central extensions of loop groups and obstruction to pre-quantization

Derek Krepski

An explicit construction of a pre-quantum line bundle for the moduli space of flat G-bundles over a Riemann surface is given, where G is any non-simply connected compact simple Lie group. This work helps to explain a curious coincidence previously observed between Toledano-Laredo's work classifying central extensions of loop groups LG and the author's previous work on the obstruction to pre-quantization of the moduli space of flat G-bundles.

AG-2010.07-1441

math.SG

Rational version of Archimedes symplectomorphysm and birational Darboux coordinates on coadjoint orbit of $GL(N,C)$

Mikhail V. Babich

A set of all linear transformations with a fixed Jordan structure $J$ is a symplectic manifold isomorphic to the coadjoint orbit $\mathcal O (J)$ of $GL(N,C)$. Any linear transformation may be projected along its eigenspace to (at least one) coordinate subspace of the complement dimension. The Jordan structure $\tilde J$ of the image is defined by the Jordan structure $J$ of the pre-image, consequently the projection $\mathcal O (J)\to \mathcal O (\tilde J)$ is the mapping of the symplectic manifolds. It is proved that the fiber $\mathcal E$ of the projection is a linear symplectic space and the map $\mathcal O(J) \to \mathcal E \times \mathcal O (\tilde J)$ is a birational symplectomorphysm. The iteration of the procedure gives the isomorphism between $\mathcal O (J)$ and the linear symplectic space, which is the direct product of all the fibers of the projections. The Darboux coordinates on $\mathcal O(J)$ are pull-backs of the canonical coordinates on the linear spaces in question.

AG-2010.07-219

math.SG

Dual pairs in fluid dynamics

François Gay-Balmaz, Cornelia Vizman

This paper is a rigorous study of the dual pair structure of the ideal fluid and the dual pair structure for the $n$-dimensional Camassa-Holm (EPDiff) equation, including the proofs of the necessary transitivity results. In the case of the ideal fluid, we show that a careful definition of the momentum maps leads naturally to central extensions of diffeomorphism groups such as the group of quantomorphisms and the Ismagilov central extension.

AG-2010.06-1929

math.SG

Higher Asymptotics of Unitarity in "Quantization Commutes with Reduction"

William D. Kirwin

Let M be a compact Kaehler manifold equipped with a Hamiltonian action of a compact Lie group G. In [Invent. Math. 67 (1982), no.~3, 515--538], Guillemin and Sternberg showed that there is a geometrically natural isomorphism between the G-invariant quantum Hilbert space over M and the quantum Hilbert space over the symplectic quotient M//G. This map, though, is not in general unitary, even to leading order in h-bar. In [Comm. Math. Phys. 275 (2007), no.~2, 401--422], Hall and the author showed that when the metaplectic correction is included, one does obtain a map which, while not in general unitary for any fixed h-bar, becomes unitary in the semiclassical limit that h-bar goes to zero. (cf. the work of Ma and Zhang in [C. R. Math. Acad. Sci. Paris 341 (2005), no.~5, 297--302], and [Astérisque No. 318 (2008), viii+154 pp.]). The unitarity of the classical Guillemin--Sternberg map and the metaplectically corrected analogue is measured by certain functions on the symplectic quotient M//G. In this paper, we give precise expressions for these functions, and compute complete asymptotic expansions for them as h-bar goes to zero.

AG-2010.06-1930

math.SG

Adapted complex structures and the geodesic flow

Brian C. Hall, William D. Kirwin

In this paper, we give a new construction of the adapted complex structure on a neighborhood of the zero section in the tangent bundle of a compact, real-analytic Riemannian manifold. Motivated by the "complexifier" approach of T. Thiemann as well as certain formulas of V. Guillemin and M. Stenzel, we obtain the polarization associated to the adapted complex structure by applying the "imaginary-time geodesic flow" to the vertical polarization. Meanwhile, at the level of functions, we show that every holomorphic function is obtained from a function that is constant along the fibers by "composition with the imaginary-time geodesic flow." We give several equivalent interpretations of this composition, including a convergent power series in the vector field generating the geodesic flow.

AG-2010.04-1340

math.SG

The Symplectic Penrose Kite

Fiammetta Battaglia, Elisa Prato

The purpose of this article is to view the Penrose kite from the perspective of symplectic geometry.

AG-2010.03-858

math.SG

Gravitational descendants in symplectic field theory

Oliver Fabert

It was pointed out by Y. Eliashberg in his ICM 2006 plenary talk that the rich algebraic formalism of symplectic field theory leads to a natural appearance of quantum and classical integrable systems, at least in the case when the contact manifold is the prequantization space of a symplectic manifold. In this paper we generalize the definition of gravitational descendants in SFT from circle bundles in the Morse-Bott case to general contact manifolds. After we have shown that for the basic examples of holomorphic curves in SFT, that is, branched covers of cylinders over closed Reeb orbits, the gravitational descendants have a geometric interpretation in terms of branching conditions, we compute the corresponding sequences of Poisson-commuting functions when the contact manifold is the unit cotangent bundle of a Riemannian manifold.

AG-2010.03-204

math.SG

D-branes and Azumaya noncommutative geometry: From Polchinski to Grothendieck

Chien-Hao Liu, Shing-Tung Yau

We review first Azumaya geometry and D-branes in the realm of algebraic geometry along the line of Polchinski-Grothendieck Ansatz from our earlier work and then use it as background to introduce Azumaya $C^{\infty}$-manifolds with a fundamental module and morphisms therefrom to a projective complex manifold. This gives us a description of D-branes of A-type. Donaldson's picture of Lagrangian and special Lagrangian submanifolds as selected from the zero-locus of a moment map on a related space of maps can be merged into the setting. As a pedagogical toy model, we study D-branes of A-type in a Calabi-Yau torus. Simple as it is, it reveals several features of D-branes, including their assembling/disassembling. The 4th theme of Sec. 2.4, the 2nd theme of Sec. 4.2, and Sec. 4.3 are to be read respectively with Gómez-Sharpe (arXiv:hep-th/0008150), Donagi-Katz-Sharpe (arXiv:hep-th/0309270), and Denef (arXiv:hep-th/0107152). Some string-theoretical remarks are given at the end of each section.

AG-2009.12-044

math.SG

Deformations of Poisson structures by closed 3-forms

O. I. Mokhov

We prove that an arbitrary Poisson structure omega^{ij}(u) and an arbitrary closed 3-form T_{ijk}(u) generate the local Poisson structure A^{ij}(u,u_x) = M^i_s(u,u_x)omega^{sj}(u), where M^i_s(u,u_x)(delta^s_j + omega^{sp}(u)T_{pjk}(u)u^k_x) = delta^i_j, on the corresponding loop space. We obtain also a special graded epsilon-deformation of an arbitrary Poisson structure omega^{ij}(u) by means of an arbitrary closed 3-form T_{ijk}(u).

AG-2009.05-049

math.SG

Legendrian links, causality, and the Low conjecture

Vladimir Chernov, Stefan Nemirovski

Let $(X^{m+1}, g)$ be a globally hyperbolic spacetime with Cauchy surface diffeomorphic to an open subset of $\mathbb R^m$. The Legendrian Low conjecture formulated by Natário and Tod says that two events $x,y\inß$ are causally related if and only if the Legendrian link of spheres $\mathfrak S_x, \mathfrak S_y$ whose points are light geodesics passing through $x$ and $y$ is non-trivial in the contact manifold of all light geodesics in $X$. The Low conjecture says that for $m=2$ the events $x,y$ are causally related if and only if $\mathfrak S_x, \mathfrak S_y$ is non-trivial as a topological link. We prove the Low and the Legendrian Low conjectures. We also show that similar statements hold for any globally hyperbolic $(X^{m+1}, g)$ such that a cover of its Cauchy surface is diffeomorphic to an open domain in $\mathbb R^m.$

AG-2009.05-689

math.SG

Non-negative Legendrian isotopy in $ST^*M$

Vladimir Chernov, Stefan Nemirovski

It is shown that if the universal cover of a manifold $M$ is an open manifold, then two different fibres of the spherical cotangent bundle $ST^*M$ cannot be connected by a non-negative Legendrian isotopy. This result is applied to the study of causality in globally hyperbolic spacetimes. It is also used to strengthen a result of Eliashberg, Kim, and Polterovich on the existence of a partial order on $\widetilde{\mathrm{Cont}}_0 (ST^*M)$.