arXiv research

Study caustics of an elliptical paraboloid and extend Apollonius problem solution.

Let $X$ be a compact toric Kähler manifold with $-K_X$ nef. Let $L\subset X$ be a regular fiber of the moment map of the Hamiltonian torus action on $X$. Fukaya-Oh-Ohta-Ono defined open Gromov-Witten (GW) invariants of $X$ as virtual counts of holomorphic discs with Lagrangian boundary condition $L$. We prove a formula…

We prove that a positive allowable Lefschetz fibration, PALF in short, admits a structure of exact Lefschetz fibration in the sense of Seidel \cite{Se08}. If the two-fold first Chern class of the total space is zero, we obtain the Fukaya-Seidel category. We prove that the derived Fukaya-Seidel category of PALF is indep…

New construction of Fukaya-Seidel categories using complex gradient flow equation.

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 ga…

The paper calculates quantum cohomology for coadjoint orbits and Hamiltonian groups.

We investigate a relationship between Ozsváth and Szabó's bordered theory and the algebras and bimodules constructed by Khovanov-Seidel. Specifically, we show that (a variant of) a special case of Ozsváth-Szabó's algebras has a quotient which is isomorphic to the Khovanov-Seidel quiver algebra with coefficients in $\ma…

We prove, in the case of hyperbolic 3-space, a couple of conjectures raised by J. J. Seidel in "On the volume of a hyperbolic simplex", Stud. Sci. Math. Hung. 21, 243-249, 1986. These conjectures concern expressing the volume of an ideal hyperbolic tetrahedron as a monotonic function of algebraic maps. More precisely, …

Study Dehn-Seidel twists on Lagrangian spheres in K3 surfaces.

We discuss a relationship between Khovanov- and Heegaard Floer-type homology theories for braids. Explicitly, we define a filtration on the bordered Heegaard-Floer homology bimodule associated to the double-branched cover of a braid and show that its associated graded bimodule is equivalent to a similar bimodule define…

In 2001, Khovanov and Seidel constructed a faithful action of the (m+1)-strand braid group on the derived category of left modules over a quiver algebra, A_m. We interpret the Hochschild homology of the Khovanov-Seidel braid invariant as a direct summand of the sutured Khovanov homology of the annular braid closure.

Recent years have witnessed the rapid development of block coordinate update (BCU) methods, which are particularly suitable for problems involving large-sized data and/or variables. In optimization, BCU first appears as the coordinate descent method that works well for smooth problems or those with separable nonsmooth …

We explain how to compute the Jones polynomial of a link from one of its grid diagrams and we observe a connection between Bigelow's homological definition of the Jones polynomial and Kauffman's definition of the Jones polynomial. Consequently, we prove that the Maslov grading on the Seidel-Smith symplectic link invari…

Seidel and Smith have constructed an invariant of links as the Floer cohomology for two Lagrangians inside a complex affine variety Y. This variety is the intersection of a semisimple orbit with a transverse slice at a nilpotent in the Lie algebra $sl_{2m}.$ We exhibit bijections between a set of generators for the Sei…

Seidel and Smith introduced the graded fixed-point symplectic Khovanov cohomology group Kh_{symp,inv}(K) for a knot K inside S^{3}, as well as a spectral sequence converging to the Heegaard Floer homology-hat group for the connected sum of the double branched cover with a copy of S^{2}xS^{1}. The E^{1}-page of this spe…

We realise Stroppel's extended arc algebra in the Fukaya-Seidel category of a natural Lefschetz fibration on the generic fiber of the adjoint quotient map on a type $A$ nilpotent slice with two Jordan blocks, and hence obtain a symplectic interpretation of certain parabolic two-block versions of Bernstein-Gelfan'd-Gelf…

We formulate certain sufficient conditions for the symplectic monodromy of an isolated quasihomogeneous singularity to be of infinite order in the relative symplectic mapping class group of the Milnor fibre and give a proof using Maslov classes, stability theory for Lagrangian folds resp. stable Morse theory for genera…

We show that the Hamiltonian Lagrangian monodromy group, in its homological version, is trivial for any weakly exact Lagrangian submanifold of a symplectic manifold. The proof relies on a sheaf approach to Floer homology given by a relative Seidel morphism.

Symplectic Khovanov homology is an invariant of oriented links defined by Seidel and Smith and conjectured to be isomorphic to Khovanov homology. I define morphisms (up to a global sign ambiguity) between symplectic Khovanov homology groups, corresponding to isotopy classes of smooth link cobordisms in 4D between a fix…

Establishes a rank inequality between knot Floer homologies of freely 2-periodic knots and their quotients.

Math verifies Aganagic's proposal for Khovanov homology.

We prove that the wrapped Fukaya category of any $2n$-dimensional Weinstein manifold (or, more generally, Weinstein sector) $W$ is generated by the unstable manifolds of the index $n$ critical points of its Liouville vector field. Our proof is geometric in nature, relying on a surgery formula for Floer cohomology and t…

Parallelizes feedforward computation using nonlinear equation solving.

Study special Lagrangian sections in Calabi-Yau threefolds, showing stability conditions imply isomorphism to special Lagrangians.

The purpose of this mostly expository paper is to discuss a connection between Nielsen fixed point theory and symplectic Floer homology theory for symplectomorphisms of surface and a calculation of Seidel's symplectic Floer homology for different mapping classes. We also describe symplectic zeta functions and asympltot…

The paper is a summary of the results of the authors concerning computations of symplectic invariants of Weinstein manifolds and contains some examples and applications. Proofs are sketched. The detailed proofs will appear in our forthcoming paper. In the Appendix written by S. Ganatra and M. Maydanskiy it is shown tha…

The symplectic Floer homology HF_*(f) of a symplectomorphism f:S->S encodes data about the fixed points of f using counts of holomorphic cylinders in R x M_f, where M_f is the mapping torus of f. We give an algorithm to compute HF_*(f) for f a surface symplectomorphism in a pseudo-Anosov or reducible mapping class, com…

A 2-category categorifies complex Lagrangians in hyperkähler manifolds.

Let $X_n$ be a cycle of $n$ projective lines, and $\bT_n$ a symplectic torus with $n$ punctures. Using the theory of spherical twists introduced by Seidel and Thomas (2001), I will define an action of the pure mapping class group of $\bT_n$ on $D^b(Coh(X_n))$. The motivation comes from homological mirror symmetry for d…

Given two Lagrangian spheres in an exact symplectic manifold, we find conditions under which the Dehn twists about them generate a free non-abelian subgroup of the symplectic mapping class group. This extends a result of Ishida for Riemann surfaces. The proof generalises the categorical version of Seidel's long exact s…

For each positive integer n, Khovanov and Rozansky constructed an invariant of links in the form of a doubly-graded cohomology theory whose Euler characteristic is the sl(n) link polynomial. We use Lagrangian Floer cohomology on some suitable affine varieties to build a similar series of link invariants, and we conject…

These are notes from lectures given at the Clay Institute Summer School on "Floer homology, gauge theory and low-dimensional topology" (Budapest, 2004). The first part describes as background some of the geometry of symplectic fibre bundles and their monodromy. The second part, overviewing joint work with Paul Seidel, …

Periodic Floer homology (PFH) is a Gromov-Floer type invariant for fibered three-manifolds with Hamiltonian structures. The cobordism maps on periodic Floer homology induced by symplectic cobordisms are currently only defined indirectly by using Seiberg-Witten theory. In this paper, we investigate the cobordism maps in…

We construct embeddings $\mathcal{Y}_{n,τ} \to {Hilb}^n (Σ_τ)$ for each of the classical Lie algebras $\ger{sp}_{2m}(\Cc)$, $\ger{so}_{2m}(\Cc)$, and $\ger{so}_{2m+1}(\Cc)$. The space $\mathcal{Y}_{n,τ}$ is the fiber over a point $τ\in \ger h / W$ of the restriction of the adjoint quotient map $χ: \ger g \to \ger h /W$…

We introduce in this paper a field theory on symplectic manifolds that are fibered over a real surface with interior marked points and cylindrical ends. We assign to each such object a morphism between certain tensor products of quantum and Floer homologies that are canonically attached to the fibration. We prove a com…

Let $M$ be an exact symplectic manifold equal to a symplectization near infinity and having stably trivializable tangent bundle, and $φ$ be an exact symplectomorphism of $M$ which, near infinity, is equal to either the identity or the symplectization of a contactomorphism $\hatφ$ such that neither $\hatφ$ nor $\hatφ^2$…

We give a geometric realization, the tagged rotation, of the AR-translation on the generalized cluster category associated to a surface $\mathbf{S}$ with marked points and non-empty boundary, which generalizes Brüstle-Zhang's result for the puncture free case. As an application, we show that the intersection of the shi…

We considered a surgery, called Lagrangian attaching disk surgery, that can be applied to a Lagrangian surface L at the presence of a Lagrangian attaching disk D, to obtain a new Lagrangian surface L' which is always smoothly isotopic to L. We showed that this type of surgery includes all even generalized Dehn twists a…

Proves stability condition for Lagrangian sections in toric weak Fano manifolds.

This paper realises the Khovanov homology of a link in the 3-sphere as a Lagrangian Floer cohomology group, establishing a conjecture of Seidel and the second author. The starting point is the previously established formality theorem for the symplectic arc algebra over a field k of characteristic zero. Here we prove th…

Given a symplectic manifold $(M^{2n},ω)$ we study Lagrangian cobordisms $V\subset E$ where $E$ is the total space of a Lefschetz fibration having $M$ as generic fiber. We prove a generation result for these cobordisms in the appropriate derived Fukaya category. As a corollary, we analyze the relations among the Lagrang…

New augmentations of twist knots found that can't be filled.

Novel gauge-theoretic Floer homologies defined for 7, 6, and 5-manifolds.

This text is a set of lecture notes for a series of four talks given at I.P.A.M., Los Angeles, on March 18-20, 2003. The first lecture provides a quick overview of symplectic topology and its main tools: symplectic manifolds, almost-complex structures, pseudo-holomorphic curves, Gromov-Witten invariants and Floer homol…

The paper applies $S^1$-localization to symplectic cohomology.

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 seconda…

This paper studies the (small) quantum homology and cohomology of fibrations $p: P\to S^2$ whose structural group is the group of Hamiltonian symplectomorphisms of the fiber $(M,\om)$. It gives a proof that the rational cohomology splits additively as the vector space tensor product $H^*(M)\otimes H^*(S^2)$, and invest…

We construct a finite dimensional quiver algebra from the non-simply laced type $B$ Dynkin diagram, which we call the type $B$ zigzag algebra. This leads to a faithful categorical action of the type $B$ braid group $\mathcal{A}(B)$, acting on the homotopy category of its projective modules. This categorical action is a…