• ### Coisotropic Hofer-Zehnder capacities and non-squeezing for relative embeddings(1312.7334)

March 25, 2019 math.SG
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.
• ### Sasakian quiver gauge theories and instantons on cones over round and squashed seven-spheres(1706.07383)

We study quiver gauge theories on the round and squashed seven-spheres, and orbifolds thereof. They arise by imposing $G$-equivariance on the homogeneous space $G/H=\mathrm{SU}(4)/\mathrm{SU}(3)$ endowed with its Sasaki-Einstein structure, and $G/H=\mathrm{Sp}(2)/\mathrm{Sp}(1)$ as a 3-Sasakian manifold. In both cases we describe the equivariance conditions and the resulting quivers. We further study the moduli spaces of instantons on the metric cones over these spaces by using the known description for Hermitian Yang-Mills instantons on Calabi-Yau cones. It is shown that the moduli space of instantons on the hyper-Kahler cone can be described as the intersection of three Hermitian Yang-Mills moduli spaces. We also study moduli spaces of translationally invariant instantons on the metric cone $\mathbb{R}^8/\mathbb{Z}_k$ over $S^7/\mathbb{Z}_k$.
• ### Equivariant cohomology Chern numbers determine equivariant unitary bordism for torus groups(1408.2134)

March 16, 2019 math.AT, math.SG
This paper shows that the integral equivariant cohomology Chern numbers completely determine the equivariant geometric unitary bordism classes of closed unitary $G$-manifolds, which gives an affirmative answer to the conjecture posed by Guillemin--Ginzburg--Karshon in [20, Remark H.5, $\S3$, Appendix H], where $G$ is a torus. As a further application, we also obtain a satisfactory solution of [20, Question (A), $\S1.1$, Appendix H] on unitary Hamiltonian $G$-manifolds. Our key ingredients in the proof are the universal toric genus defined by Buchstaber--Panov--Ray and the Kronecker pairing of bordism and cobordism. Our approach heavily exploits Quillen's geometric interpretation of homotopic unitary cobordism theory. Moreover, this method can also be applied to the study of $({\Bbb Z}_2)^k$-equivariant unoriented bordism and can still derive the classical result of tom Dieck.
• ### Quantum cohomology and toric minimal model programs(1207.3253)

Aug. 10, 2019 math.AG, math.SG
We give a quantum version of the Danilov-Jurkiewicz presentation of the cohomology of a compact toric orbifold with projective coarse moduli space. More precisely, we construct a canonical isomorphism from a formal version of the Batyrev ring to the quantum orbifold cohomology at a canonical bulk deformation. This isomorphism generalizes results of Givental, Iritani, and Fukaya-Oh-Ohta-Ono for toric manifolds and Coates-Lee-Corti-Tseng for weighted projective spaces. The proof uses a quantum version of Kirwan surjectivity and an equality of dimensions deduced using a toric minimal model program (tmmp). We show that there is a natural decomposition of the quantum cohomology where summands correspond to singularities in the tmmp, each giving rise to a collection of Hamiltonian non-displaceable tori.
• ### Loose Legendrian embeddings in high dimensional contact manifolds(1201.2245)

March 11, 2019 math.SG
We give an $h$--principle type result for a class of Legendrian embeddings in contact manifolds of dimension at least $5$. These Legendrians, referred to as loose, have trivial pseudo-holomorphic invariants. We demonstrate they are classified up to Legendrian isotopy by their smooth isotopy class equipped with an almost complex framing. This result is inherently high dimensional: analogous results in dimension $3$ are false.
• ### Contact homology and virtual fundamental cycles(1508.03873)

March 8, 2019 math.SG
We give a construction of contact homology in the sense of Eliashberg--Givental--Hofer. Specifically, we construct coherent virtual fundamental cycles on the relevant compactified moduli spaces of pseudo-holomorphic curves.
• ### Entropy and quasimorphisms(1707.06020)

March 5, 2019 math.GT, math.SG, math.DS, math.GR
Let $S$ be a compact oriented surface. We construct homogeneous quasimorphisms on $Diff(S, area)$, on $Diff_0(S, area)$ and on $Ham(S)$ generalizing the constructions of Gambaudo-Ghys and Polterovich. We prove that there are infinitely many linearly independent homogeneous quasimorphisms on $Diff(S, area)$, on $Diff_0(S, area)$ and on $Ham(S)$ whose absolute values bound from below the topological entropy. In case when $S$ has a positive genus, the quasimorphisms we construct on $Ham(S)$ are $C^0$-continuous. We define a bi-invariant metric on these groups, called the entropy metric, and show that it is unbounded. In particular, we reprove the fact that the autonomous metric on $Ham(S)$ is unbounded.
• ### Exact triangle for fibered Dehn twists(1503.07614)

March 5, 2019 math.SG
We use quilted Floer theory to generalize Seidel's long exact sequence in symplectic Floer theory to fibered Dehn twists. We then apply it to construct versions of the Floer and Khovanov-Rozansky exact triangles in Lagrangian Floer theory of moduli spaces of bundles.
• ### Poisson cohomology, Koszul duality, and Batalin-Vilkovisky algebras(1701.06112)

Feb. 26, 2019 math-ph, math.MP, math.SG, math.RA
We study the noncommutative Poincar\'e duality between the Poisson homology and cohomology of unimodular Poisson algebras, and show that Kontsevich's deformation quantization as well as Koszul duality preserve the corresponding Poincar\'e duality. As a corollary, the Batalin-Vilkovisky algebra structures that naturally arise in these cases are all isomorphic.
• ### Stable representations of posets(1707.00396)

Feb. 25, 2019 math.SG, math.RT
The purpose of this paper is to study stable representations of partially ordered sets (posets) and compare it to the well known theory for quivers. In particular, we prove that every indecomposable representation of a poset of finite type is stable with respect to some weight and construct that weight explicitly in terms of the dimension vector. We show that if a poset is primitive then Coxeter transformations preserve stable representations. When the base field is the field of complex numbers we establish the connection between the polystable representations and the unitary $\chi$-representations of posets. This connection explains the similarity of the results obtained in the series of papers.
• ### Disjoinable Lagrangian tori and semisimple symplectic cohomology(1605.04700)

Dec. 8, 2019 math.DG, math.AG, math.SG
We derive constraints on Lagrangian embeddings in completions of certain stable symplectic fillings with semisimple symplectic cohomologies. Manifolds with these properties can be constructed by generalizing the boundary connected sum operation to our setting, and are related to certain birational surgeries like blow-downs and flips. As a consequence, there are many non-toric (non-compact) monotone symplectic manifolds whose wrapped Fukaya categories are proper.
• ### Symplectic quotients have symplectic singularities(1706.02089)

Oct. 22, 2019 math.AG, math.SG, math.RT
Let $K$ be a compact Lie group with complexification $G$, and let $V$ be a unitary $K$-module. We consider the real symplectic quotient $M_0$ at level $0$ of the homogeneous quadratic moment map as well as the complex symplectic quotient, defined here as the complexification of $M_0$. We show that if $(V, G)$ is $3$-large, a condition that holds generically, then the complex symplectic quotient has symplectic singularities and is graded Gorenstein. This in particular implies that the real symplectic quotient is graded Gorenstein. In the case that $K$ is a torus or $\operatorname{SU}_2$, we show that these results hold without the hypothesis that $(V,G)$ is $3$-large.
• ### Vanishing of Symplectic Homology and Obstruction to Flexible Fillability(1710.02936)

Feb. 18, 2019 math.SG
For any asymptotically dynamically convex contact manifold $Y$, we show that $SH_*(W)=0$ is a property independent of the choice of topologically simple (i.e.\ $c_1(W)=0$ and $\pi_{1}(Y)\rightarrow \pi_1(W)$ is injective) Liouville filling $W$. In particular, if $Y$ is the boundary of a flexible Weinstein domain, then any topologically simple Liouville filling $W$ has vanishing symplectic homology. As a consequence, we answer a question of Lazarev partially: a contact manifold $Y$ admitting flexible fillings determines the integral cohomology of all the topologically simple Liouville fillings of $Y$. The vanishing result provides an obstruction to flexible fillability. As an application, we show that all Brieskorn manifolds of dimension $\ge 5$ cannot be filled by flexible Weinstein manifolds.
• ### Representing the big tilting sheaves as holomorphic Morse branes(1602.07382)

Feb. 27, 2021 math.SG, math.RT
We introduce Morse branes in the Fukaya category of a holomorphic symplectic manifold, with the goal of constructing tilting objects in the category. We give a construction of a class of Morse branes in the cotangent bundles, and apply it to give the holomorphic branes that represent the big tilting sheaves on flag varieties.
• ### Symplectomorphism group of $T^*(G_\mathbb{C}/B)$ and the braid group I: a homotopy equivalence for $G_\mathbb{C}=SL_3(\mathbb{C})$(1412.0511)

Feb. 18, 2019 math.SG, math.RT
For a semisimple Lie group $G_\mathbb{C}$ over $\mathbb{C}$, we study the homotopy type of the symplectomorphism group of the cotangent bundle of the flag variety and its relation to the braid group. We prove a homotopy equivalence between the two groups in the case of $G_\mathbb{C}=SL_3(\mathbb{C})$, under the $SU(3)$-equivariancy condition on symplectomorphisms.
• ### Bordered knot algebras with matchings(1707.00597)

Feb. 12, 2019 math.QA, math.GT, math.SG
This paper generalizes the bordered-algebraic knot invariant introduced in an earlier paper, giving an invariant now with more algebraic structure. It also introduces signs to define these invariants with integral coefficients. We describe effective computations of the resulting invariant.
• ### Categorical localization for the coherent-constructible correspondence(1609.01177)

Feb. 12, 2019 math.AG, math.SG
We prove a microlocal counterpart of categorical localization for Fukaya categories in the setting of the coherent-constructible correspondence.
• ### On homological mirror symmetry of toric Calabi-Yau three-folds(1503.03816)

Feb. 8, 2019 math.AG, math.SG
We use Lagrangian torus fibrations on the mirror $X$ of a toric Calabi-Yau threefold $\check X$ to construct Lagrangian sections and various Lagrangian spheres on $X$. We then propose an explicit correspondence between the sections and line bundles on $\check X$ and between spheres and sheaves supported on the toric divisors of $\check X$. We conjecture that these correspondences induce an embedding of the relevant derived Fukaya category of $X$ inside the derived category of coherent sheaves on $\check X$.
• ### Semi-global Kuranishi charts and the definition of contact homology(1512.00580)

Feb. 7, 2019 math.SG
We define the contact homology algebra for any contact manifold and show that it is an invariant of the contact manifold. More precisely, given a contact manifold $(M,\xi)$ and some auxiliary data $\mathcal{D}$, we define an algebra $HC(\mathcal{D})$. If $\mathcal{D}_1$ and $\mathcal{D}_2$ are two choices of auxiliary data for $(M,\xi)$, then $HC(\mathcal{D}_1)$ and $HC(\mathcal{D}_2)$ are isomorphic. We use a simplified version of Kuranishi perturbation theory, consisting of semi-global Kuranishi charts.
• ### Wonderful Compactification of Character Varieties(1703.04431)

Feb. 5, 2019 math.AG, math.SG, math.RT
Using the wonderful compactification of a semisimple adjoint affine algebraic group G defined over an algebraically closed field k of arbitrary characteristic, we construct a natural compactification Y of the G-character variety of any finitely generated group F. When F is a free group, we show that this compactification is always simply connected with respect to the \'etale fundamental group, and when k=C it is also topologically simply connected. For other groups F, we describe conditions for the compactification of the moduli space to be simply connected and give examples when these conditions are satisfied, including closed surface groups and free abelian groups when G=PGL(n,C). Additionally, when F is a free group we identify the boundary divisors of Y in terms of previously studied moduli spaces, and we construct a family of Poisson structures on Y and its boundary divisors arising from Belavin-Drinfeld splittings of the double of the Lie algebra of G. In the appendix, authored by Sam Evens and Arlo Caine, we explain how to put a Poisson structure on a quotient of a Poisson algebraic variety by the action of a reductive Poisson algebraic group.
• ### A note on coherent orientations for exact Lagrangian cobordisms(1707.04219)

Feb. 3, 2019 math.SG
Let $L \subset \mathbb R \times J^1(M)$ be a spin, exact Lagrangian cobordism in the symplectization of the 1-jet space of a smooth manifold $M$. Assume that $L$ has cylindrical Legendrian ends $\Lambda_\pm \subset J^1(M)$. It is well known that the Legendrian contact homology of $\Lambda_\pm$ can be defined with integer coefficients, via a signed count of pseudo-holomorphic disks in the cotangent bundle of $M$. It is also known that this count can be lifted to a mod 2 count of pseudo-holomorphic disks in the symplectization $\mathbb R \times J^1(M)$, and that $L$ induces a morphism between the $\mathbb Z_2$-valued DGA:s of the ends $\Lambda_\pm$ in a functorial way. We prove that this hold with integer coefficients as well. The proofs are built on the technique of orienting the moduli spaces of pseudo-holomorphic disks using capping operators at the Reeb chords. We give an expression for how the DGA:s change if we change the capping operators.
• ### Cosmetic contact surgeries along transverse knots and the knot complement problem(1703.05596)

Feb. 1, 2019 math.GT, math.SG
We study cosmetic contact surgeries along transverse knots in the standard contact 3-sphere, i.e. contact surgeries that yield again the standard contact 3-sphere. The main result is that we can exclude non-trivial cosmetic contact surgeries along all transverse knots not isotopic to the transverse unknot with self-linking number -1. As a corollary it follows that every transverse knot in the standard contact 3-sphere is determined by the contactomorphism type of its exteriors. Moreover, we give counterexamples to this for transverse links in the standard contact 3-sphere.
• ### On partially wrapped Fukaya categories(1604.02540)

Feb. 1, 2019 math.SG
We define a new class of symplectic objects called "stops", which roughly speaking are Liouville hypersurfaces in the boundary of a Liouville domain. Locally, these can be viewed as pages of a compatible open book. To a Liouville domain with a collection of disjoint stops, we assign an $A_\infty$-category called its partially wrapped Fukaya category. An exact Landau-Ginzburg model gives rise to a stop, and the corresponding partially wrapped Fukaya category is meant to agree with the Fukaya category one is supposed to assign to the Landau-Ginzburg model. As evidence, we prove a formula that relates these partially wrapped Fukaya categories to the wrapped Fukaya category of the underlying Liouville domain. This operation is mirror to removing a divisor. In v2, we also construct continuation functors without cascades, which should be of independent interest.
• ### Open Gromov-Witten invariants and mirror maps for semi-Fano toric manifolds(1112.0388)

Jan. 31, 2019 math.AG, math.SG
We prove that for a compact toric manifold whose anti-canonical divisor is numerically effective, the Lagrangian Floer superpotential defined by Fukaya-Oh-Ohto-Ono is equal to the superpotential written down by using the toric mirror map under a convergence assumption. This gives a method to compute open Gromov-Witten invariants using mirror symmetry.
• ### Differential forms, Fukaya $A_\infty$ algebras, and Gromov-Witten axioms(1608.01304)

Dec. 10, 2020 hep-th, math.AG, math.SG
Consider the differential forms $A^*(L)$ on a Lagrangian submanifold $L \subset X$. Following ideas of Fukaya-Oh-Ohta-Ono, we construct a family of cyclic unital curved $A_\infty$ structures on $A^*(L),$ parameterized by the cohomology of $X$ relative to $L.$ The family of $A_\infty$ structures satisfies properties analogous to the axioms of Gromov-Witten theory. Our construction is canonical up to $A_\infty$ pseudoisotopy. We work in the situation that moduli spaces are regular and boundary evaluation maps are submersions, and thus we do not use the theory of the virtual fundamental class.