Künneth formulae and cross products for the symplectic Floer cohomology

For a symplectic monotone manifold (P,ω) and φSymp₀(P,ω), we define a -graded symplectic Floer cohomology (a local invariant) over integral coefficients. There is a spectral sequence which arises from a filtration on the -graded symplectic Floer cochain complex. The spectral sequence converges to the -graded symplectic Floer cohomology (a global invariant). We show that there are cross products on the -graded symplectic Floer cohomology and on the spectral sequence, hence on the usual -graded symplectic Floer cohomology. The Künneth formula for the -graded symplectic Floer cohomology is proved and similar results for the spectral sequence are obtained.     

Localization for Involutions in Floer Cohomology

We consider Lagrangian Floer cohomology for a pair of Lagrangian submanifolds in a symplectic manifold M. Suppose that M carries a symplectic involution, which preserves both submanifolds. Under various topological hypotheses, we prove a localization theorem for Floer cohomology, which implies a Smith-type inequality for the Floer cohomology groups in M and its fixed point set. Two applications to symplectic Khovanov cohomology are included.     

Quantum D-modules and equivariant Floer theory for free loop spaces

The objective of this paper is to clarify the relationships between the quantum D-module and equivariant Floer theory. Equivariant Floer theory was introduced by Givental in his paper ``Homological Geometry'. He conjectured that the quantum D-module of a symplectic manifold is isomorphic to the equivariant Floer cohomology for the universal cover of the free loop space. First, motivated by the work of Guest, we formulate the notion of ``abstract quantum D-module' which generalizes the D-module defined by the small quantum cohomology algebra. Second, we define the equivariant Floer cohomology of toric complete intersections rigorously as a D-module, using Givental's model. This is shown to satisfy the axioms of abstract quantum D-module. By Givental's mirror theorem [Giv3], it follows that equivariant Floer cohomology defined here is isomorphic to the quantum cohomology D-module.     

Floer homology for magnetic fields with at most linear growth on the universal cover

The Floer homology of a cotangent bundle is isomorphic to loop space homology of the underlying manifold, as proved by Abbondandolo and Schwarz, Salamon and Weber, and Viterbo. In this paper we show that in the presence of a Dirac magnetic monopole which admits a primitive with at most linear growth on the universal cover, the Floer homology in atoroidal free homotopy classes is again isomorphic to loop space homology. As a consequence we prove that for any atoroidal free homotopy class and any sufficiently small $\tau >0$, any magnetic flow associated to the Dirac magnetic monopole has a closed orbit of period τ belonging to the given free homotopy class. In the case where the Dirac magnetic monopole admits a bounded primitive on the universal cover we also prove the Conley conjecture for Hamiltonians that are quadratic at infinity, i.e., we show that such Hamiltonians have infinitely many periodic orbits.     

Functors and Computations in Floer Homology with Applications, I

This paper is concerned with Floer cohomology of manifolds with contact type boundary. In this case, there is no conjecture on this ring, as opposed to the compact case, where it is isomorphic to the usual cohomology (with the quantum product). We construct two mappings in Floer cohomology and prove some functorial properties of these two mappings. The first one is a map from the Floer cohomology of M to the relative cohomology of M modulo its boundary. The other is associated to a codimension zero embedding, and may be considered as a cohomological transfer. These maps are used to define some properties of symplectic manifolds with contact type boundary. These are algebraic versions of the Weinstein conjecture, asserting existence of closed characteristics on . This is proved for many cases, Euclidean space and subcritical Stein manifolds, vector bundles, products, cotangent bundles. It is also proved that the above property implies some restrictions on Lagrangian embeddings, and also yields in certain cases, existence results for holomorphic curves bounded by the Lagrange submanifold. The last section is devoted to applications of this existence result, to real forms of Stein manifolds and obstructions to polynomial convexity in Stein manifolds. Many of our applications rely on the computation of the Floer cohomology of a cotangent bundle, that is the subject of Part II. Submitted: December 1997, revised version: February 1999.     

Homotopy classification of graded Picard categories

Certain low-dimensional symmetric cohomology groups of G-modules, for any given group G, are computed as the cohomology of an explicit cochain complex. This result is used to establish natural one-to-one correspondences between elements of the 3rd symmetric cohomology groups of G-modules, G-equivariant pointed 2-connected homotopy 4-types, and equivalence classes of G-graded Picard categories. The simplicial nerve of a G-graded Picard category is also constructed and studied.     

Homotopy classification of braided graded categorical groups

For any group G, a certain cohomology theory of G-modules is developed. This cohomology arises from the homotopy theory of G-spaces and it is called the “abelian cohomology of G-modules”. Then, as the main results of this paper, natural one-to-one correspondences between elements of the 3^rd cohomology groups of G-modules, G-equivariant pointed simply-connected homotopy 3-types and equivalence classes of braided G-graded categorical groups are established. The relationship among all these objects with equivariant quadratic functions between G-modules is also discussed.     

The Role of the Legendre Transform in the Study of the Floer Complex of Cotangent Bundles

Consider a classical Hamiltonian H on the cotangent bundle T*M of a closed orientable manifold M, and let L:TM → R be its Legendre‐dual Lagrangian. In a previous paper we constructed an isomorphism Φ from the Morse complex of the Lagrangian action functional that is associated to L to the Floer complex that is determined by H. In this paper we give an explicit construction of a homotopy inverse Ψ of Φ. Contrary to other previously defined maps going in the same direction, Ψ is an isomorphism at the chain level and preserves the action filtration. Its definition is based on counting Floer trajectories on the negative half‐cylinder that on the boundary satisfy half of the Hamilton equations. Albeit not of Lagrangian type, such a boundary condition defines Fredholm operators with good compactness properties. We also present a heuristic argument which, independently of any Fredholm and compactness analysis, explains why the spaces of maps that are used in the definition of Φ and Ψ are the natural ones. The Legendre transform plays a crucial role both in our rigorous and in our heuristic arguments. We treat with some detail the delicate issue of orientations and show that the homology of the Floer complex is isomorphic to the singular homology of the loop space of M with a system of local coefficients, which is defined by the pullback of the second Stiefel‐Whitney class of TM on 2‐tori in M.© 2015 Wiley Periodicals, Inc.     

Quasitoric Totally Normally Split Manifolds

A smooth stably complex manifold is called a totally tangentially/normally split manifold (TTS/TNS manifold for short) if the respective complex tangential/normal vector bundle is stably isomorphic to a Whitney sum of complex line bundles, respectively. In this paper we construct manifolds M such that any complex vector bundle over M is stably equivalent to a Whitney sum of complex line bundles. A quasitoric manifold shares this property if and only if it is a TNS manifold. We establish a new criterion for a quasitoric manifold M to be TNS via non-semidefiniteness of certain higher degree forms in the respective cohomology ring of M. In the family of quasitoric manifolds, this generalizes the theorem of J. Lannes about the signature of a simply connected stably complex TNS 4-manifold. We apply our criterion to show the flag property of the moment polytope for a nonsingular toric projective TNS manifold of complex dimension 3.     

Homotopy G-algebra structure on the cochain complex of hom-type algebras

A hom-associative algebra is an algebra whose associativity is twisted by an algebra homomorphism. We show that the Hochschild type cochain complex of a hom-associative algebra carries a homotopy G-algebra structure. As a consequence, we get a Gerstenhaber algebra structure on the cohomology of a hom-associative algebra. We also find similar results for hom-dialgebras.     

Embedding up to homotopy type— The first obstruction

For a 2n?m connected map from an n-dimensional complex to a m-dimensional manifold, an obstruction to embedding up to homotopy type is defined. The vanishing of this obstruction is a necessary and sufficient condition (in the 2n?m connected case, 2n?m ? 2, m?n ?3) to obtain an embedding up to homotopy type. In case the target manifold is Euclidean space, it is shown that the obstruction vanishes if and only if certain Thom operations are trivial. A classification theorem is given in the 2n?m+1 connected case.     

Hopf cyclic cohomology and Hodge theory for proper actions on complex manifolds

We introduce two Hopf algebroids associated to a proper and holomorphic Lie group action on a complex manifold. We prove that the cyclic cohomology of each Hopf algebroid is equal to the Dolbeault cohomology of invariant differential forms. When the action is cocompact, we develop a generalized complex Hodge theory for the Dolbeault cohomology of invariant differential forms. We prove that every cyclic cohomology class of these two Hopf algebroids can be represented by a generalized harmonic form. This implies that the space of cyclic cohomology of each Hopf algebroid is finite dimensional. As an application of the techniques developed in this paper, we generalize the Serre duality and prove a Kodaira type vanishing theorem.     

The isocohomological property, higher Dehn functions, and relatively hyperbolic groups

The property that the polynomial cohomology with coefficients of a finitely generated discrete group is canonically isomorphic to the group cohomology is called the (weak) isocohomological property for the group. In the case when a group is of type HF^∞, i.e. that has a classifying space with the homotopy type of a polyhedral complex with finitely many cells in each dimension, we show that the isocohomological property is geometric and is equivalent to the property that the universal cover of the classifying space has polynomially bounded higher Dehn functions. If a group is hyperbolic relative to a collection of subgroups, each of which is polynomially combable, respectively HF^∞ and isocohomological, then we show that the group itself has these respective properties. Combining with the results of Connes-Moscovici and Dru?u-Sapir we conclude that a group satisfies the strong Novikov conjecture if it is hyperbolic relative to subgroups which are of property RD, of type HF^∞ and isocohomological.     

G-invariante Morse-funktionen

If f is a Morse function on a smooth manifold M there exists a homotopy equivalence from M to a CW complex X such that the critical points of f with index are in a one-one correspondence to the -cells of X. In the equivariant case, a similar result holds for a special type of invariant Morse functions. In this paper we prove the existence of such special invariant Morse functions on compact smooth G-manifolds. As a consequence, any compact smooth G-manifold is homotopy equivalent to a G-CW complex. Other applications deal with the Euler number of the fixed point set and Morse inequalities in equivariant homology theory.     

Gauged Floer Theory Of Toric Moment Fibers

We investigate the small area limit of the gauged Lagrangian Floer cohomology of Frauenfelder [Fr1]. The resulting cohomology theory, which we call quasimap Floer cohomology, is an obstruction to displaceability of Lagrangians in the symplectic quotient. We use the theory to reproduce the results of Fukaya–Oh–Ohta–Ono [FuOOO3,1] and Cho–Oh [CO] on non-displaceability of moment fibers of not-necessarily-Fano toric varieties and extend their results to toric orbifolds, without using virtual fundamental chains. Finally, we describe a conjectural relationship with Floer cohomology in the quotient.     

Rational homotopy theory and differential graded category

We propose a generalization of Sullivan’s de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same as the real homotopy type of a simply connected manifold is the de Rham algebra in original Sullivan’s theory. We prove the existence of a model category structure on the category of small closed tensor dg-categories and as a most simple case, confirm an equivalence between the homotopy category of spaces whose fundamental groups are finite and whose higher homotopy groups are finite dimensional rational vector spaces and the homotopy category of small closed tensor dg-categories satisfying certain conditions.     

Bott–Chern cohomology of solvmanifolds

We study conditions under which sub-complexes of a double complex of vector spaces allow to compute the Bott–Chern cohomology. We are especially aimed at studying the Bott–Chern cohomology of special classes of solvmanifolds, namely, complex parallelizable solvmanifolds and solvmanifolds of splitting type. More precisely, we can construct explicit finite-dimensional double complexes that allow to compute the Bott–Chern cohomology of compact quotients of complex Lie groups, respectively, of some Lie groups of the type \(\mathbb {C}^n\ltimes _\varphi N\) where N is nilpotent. As an application, we compute the Bott–Chern cohomology of the complex parallelizable Nakamura manifold and of the completely solvable Nakamura manifold. In particular, the latter shows that the property of satisfying the \(\partial \overline{\partial }\)-Lemma is not strongly closed under deformations of the complex structure.     

The quantum orbifold cohomology of weighted projective spaces

We calculate the small quantum orbifold cohomology of arbitrary weighted projective spaces. We generalize Givental’s heuristic argument, which relates small quantum cohomology to S ¹-equivariant Floer cohomology of loop space, to weighted projective spaces and use this to conjecture an explicit formula for the small J-function, a generating function for certain genus-zero Gromov–Witten invariants. We prove this conjecture using a method due to Bertram. This provides the first non-trivial example of a family of orbifolds of arbitrary dimension for which the small quantum orbifold cohomology is known. In addition we obtain formulas for the small J-functions of weighted projective complete intersections satisfying a combinatorial condition; this condition naturally singles out the class of orbifolds with terminal singularities.     

Simply connected Voisin manifolds of dimension four

Voisin constructed a series of examples of simply connected compact Kähler manifolds of even dimension, which do not have the rational homotopy type of a complex projective manifold starting from dimension six. In this note, we prove that Voisin's examples of dimension four also do not have the rational homotopy type of a complex projective manifold. Oguiso constructed simply connected compact Kähler manifolds starting from dimension four, which cannot deform to a complex projective manifold under a small deformation. We also prove that Oguiso's examples do not have the rational homotopy type of a complex projective manifold.     

Lagrangian Floer theory on compact toric manifolds II: bulk deformations

This is a continuation of part I in the series of the papers on Lagrangian Floer theory on toric manifolds. Using the deformations of Floer cohomology by the ambient cycles, which we call bulk deformations, we find a continuum of non-displaceable Lagrangian fibers on some compact toric manifolds. We also provide a method of finding all fibers with non-vanishing Floer cohomology with bulk deformations in arbitrary compact toric manifolds, which we call bulk-balanced Lagrangian fibers.