Abstract
We prove that the topological complexity of every symplectically atoroidal manifold is equal to twice its dimension. This is the analogue for topological complexity of a result of Rudyak and Oprea, who showed that the Lusternik–Schnirelmann category of a symplectically aspherical manifold equals its dimension. Symplectically hyperbolic manifolds are symplectically atoroidal, as are symplectically aspherical manifolds whose fundamental group does not contain free abelian subgroups of rank two. Thus we obtain many new calculations of topological complexity, including iterated surface bundles and symplectically aspherical manifolds with hyperbolic fundamental groups.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Topological complexity is a numerical homotopy invariant, originally defined by Farber in [9] and motivated by the motion planning problem from robotics. Let X be a topological space, and let \(PX=C^0([0,1],X)\) be the space of paths in X endowed with the compact-open topology. Consider the free path fibration\(\pi : PX\rightarrow X \times X\) given by \(\gamma \mapsto (\gamma (0),\gamma (1))\). The topological complexity of X, denoted \(\mathsf {TC}(X)\), is the minimal number k (or infinity) for which there exists an open cover \(\{U_0,U_1,\dots ,U_k\}\) of \(X \times X\) with the property that for each \(j \in \{0,1,\dots ,k\}\) there exists a continuous map \(s_j: U_j \rightarrow PX\) with \(\pi \circ s_j = {\text {incl}}_j:U_j\hookrightarrow X\times X\). (Note that we use the reduced topological complexity, which is one less than Farber’s original definition.) Due to its potential applicability and intrinsic interest, this invariant has attracted a lot of attention from homotopy theorists in recent years. Overviews of its main properties and applications are given in [11] and [12, Chapter 4].
The invariant \(\mathsf {TC}(X)\) is similar in spirit and properties to the classical Lusternik–Schnirelmann category\(\mathsf {cat}(X)\)—the minimal number k for which there exists an open cover \(\{U_0, U_1, \ldots , U_k\}\) of X such that each inclusion \(U_j\hookrightarrow X\) is null-homotopic. (Here again we are using the reduced version.) Both invariants possess upper bounds in terms of dimension and connectivity. Namely, if X is an \((r-1)\)-connected CW complex, then
Proofs of these bounds may be found in [7, Theorem 1.50] for \(\mathsf {cat}(X)\), and in [10, Theorem 5.2] for \(\mathsf {TC}(X)\).
Both invariants also admit elementary lower bounds in terms of cup-length in cohomology. Recall that the cup-length of X, denoted \({\text {cl}}(X)\), is the minimal k such that any product of \(k+1\) elements of \({\widetilde{H}}^*(X)\) vanishes. The zero-divisors cup-length of X, denoted \({\text {zcl}}(X)\), is the minimal k such that any product of \(k+1\) elements in the kernel of the homomorphism \(\Delta ^*: H^*(X\times X)\rightarrow H^*(X)\) induced by the diagonal vanishes. Then we have
There are analogous statements with local coefficients. These statements, which may be found in [7, Proposition 1.5] and [9, Theorem 7] respectively, are both specializations of [29, Theorem 4]. Indeed, both \(\mathsf {cat}(X)\) and \(\mathsf {TC}(X)\) can be seen as special cases of the notion of Schwarz genus (or sectional category) of fibrations.
The goal of this article is to give new computations of the topological complexity of symplectic manifolds. Our results will apply more generally to the class of cohomologically symplectic, or c-symplectic manifolds [24]. Our convention is that a c-symplectic manifold is a pair \((M,\omega )\) consisting of a closed manifold M of even dimension 2n, together with a closed 2-form \(\omega \in \Omega ^2(M)\) such that the n-th power \([\omega ]^n\in H^{2n}(M;\mathbb {R})\) of the cohomology class represented by \(\omega \) is nonzero. (Choosing a representative of the c-symplectic class gives a slight refinement of the definition used in [24], which is unnecessary but simplifies some statements.) In particular, a closed symplectic manifold \((M,\omega )\) is c-symplectic. If M is a simply connected c-symplectic manifold of dimension 2n, then the bounds given above (together with a simple cohomology calculation in the case of \(\mathsf {TC}\), carried out in [16]) imply that
Our interest therefore lies in the non-simply connected case. Here, one can often use the notion of category weight of cohomology classes, introduced by Fadell and Husseini [8] and later refined by Rudyak [27] and Strom [31], in order to improve on the cup-length lower bound for \(\mathsf {cat}(M)\). Recall that a (c-)symplectic manifold \((M,\omega )\) is called (c-)symplectically aspherical if
for all smooth maps \(f: S^2 \rightarrow M\). Using category weight, Rudyak and Oprea derived the following result, a key tool in Rudyak’s proof of the Arnold Conjecture for symplectically aspherical manifolds.
Theorem 1.1
([28, Corollary 4.2]) Let \((M,\omega )\) be a c-symplectically aspherical manifold. Then \(\mathsf {cat}(M) = \dim M\).
Hence for c-symplectically aspherical manifolds, the dimensional upper bound for \(\mathsf {cat}(M)\) is attained. The analogous statement for topological complexity (that \(\mathsf {TC}(M)=2 \dim M\) when M is c-symplectically aspherical) does not hold. For example, the torus \(T^2=S^1 \times S^1\) equipped with its standard volume form is aspherical, therefore symplectically aspherical. However, as shown in [9], we have \(\mathsf {TC}(T^2)=2 < 4=2\dim T^2\).
Our main result identifies an extra condition which ensures that the topological complexity of a c-symplectically aspherical manifold achieves its dimensional upper bound, thereby giving an analogue of Theorem 1.1 for topological complexity. We say that a (c-)symplectic manifold \((M,\omega )\) is (c-)symplectically atoroidal if
for all smooth maps \(f:T^2\rightarrow M\).
Theorem 1.2
Let \((M,\omega )\) be a c-symplectically atoroidal manifold. Then \(\mathsf {TC}(M)=2\dim M\).
Note that since there is a degree-one map \(T^2 \rightarrow S^2\), every c-symplectically atoroidal manifold is c-symplectically aspherical. The torus itself is symplectically aspherical but not symplectically atoroidal, as are many symplectic nilmanifolds or solvmanifolds. Kȩdra has shown that every symplectically hyperbolic manifold is symplectically atoroidal [21], while Borat has shown that every symplectically aspherical manifold whose fundamental group does not contain subgroups isomorphic to \(\mathbb {Z}\oplus \mathbb {Z}\) is symplectically atoroidal [3]. Thus our result applies to many examples, including iterated bundles of higher genus surfaces, symplectic manifolds of negative sectional curvature, and symplectically aspherical manifolds with hyperbolic fundamental group. We mention also that Brunnbauer and Kotschick [4] have given an example of a closed 4-manifold which is symplectically atoroidal without being symplectically hyperbolic.
Symplectic atoroidality may be viewed as imposing a condition of asymmetry on a symplectic manifold, in the following sense (we are indebted to John Oprea for the statement and its proof).
Proposition 1.3
A symplectically atoroidal manifold \((M,\omega )\) does not admit any non-trivial symplectic \(S^1\)-actions.
Proof
Let \((M,\omega )\) be symplectically atoroidal. It follows immediately from the definitions that the flux homomorphism\(F_\omega :\pi _1({\text {Symp}}_0(M,\omega ))\rightarrow H^1(M;\mathbb {R})\) of [2, 5] (see also [3]) is zero. Then by [24, Lemma 3.12] and the remarks preceding, any symplectic \(S^1\)-action on \((M,\omega )\) is c-Hamiltonian. By [24, Corollary 3.7], any c-Hamiltonian \(S^1\)-action on \((M,\omega )\) has a fixed point. However, by [24, Theorem 4.16], any non-trivial \(S^1\)-action on a c-symplectically aspherical manifold is fixed point free. Combining these results gives the Proposition. \(\square \)
Thus our results tend to support the idea, explored in [19], that symmetries of manifolds are responsible for lowering their topological complexity. Note however that Cohen and Vandembroucq have recently shown [6] that the Klein bottle K has \(\mathsf {TC}(K)=2 \dim (K)\), despite admitting an effective \(S^1\)-action.
The proof of Theorem 1.2 employs the notion of \(\mathsf {TC}\)-weight of cohomology classes. This analogue of category weight was introduced and studied by Farber and the first author in [13] and [14], in order to improve on the zero-divisors cup-length lower bound for topological complexity. A class \(u\in H^*(X\times X)\) has \(\mathrm {wgt}(u)\ge 1 \) if and only if it is a zero-divisor, and has \(\mathrm {wgt}(u)\ge 2\) if and only if it is in the kernel of the homomorphism induced by the fibrewise join\(p_2: P_2 X\rightarrow X\times X\) of the free path fibration with itself. We show that for a closed atoroidal form \(\omega \in \Omega ^2(M)\) the associated zero-divisor \([{{\bar{\omega }}}] = 1\times [\omega ] - [\omega ]\times 1 \in H^2(M\times M;\mathbb {R})\) has \(\mathrm {wgt}([{{\bar{\omega }}}])=2\), by analyzing the Mayer–Vietoris sequence associated to the fibrewise join \(P_2M\).
Our methods use de Rham theory on infinite-dimensional manifolds of smooth paths and loops, for which we adopt the formalism of Kriegl and Michor [22]. Special care needs to be taken in passing between de Rham and singular cohomology, because the space \(P_2M\) is not a manifold.
The paper is organized as follows. In Sect. 2, we recall the definition of the \(\mathsf {TC}\)-weight of cohomology classes and its most important properties before relating it to fiberwise joins and their Mayer–Vietoris sequence. Sect. 3 looks at this Mayer–Vietoris sequence from a different angle in the case of manifolds, where we derive an explicit description of the connecting homomorphism in terms of differential forms. This description is applied to c-symplectic manifolds in Sect. 4 and yields a proof of Theorem 1.2. We apply this theorem in Sect. 5 to derive several new computations of the topological complexity of c-symplectic manifolds.
2 The \(\mathsf {TC}\)-weight of a cohomology class and fiberwise joins
Throughout this section we fix a topological space X. We let \(PX=C^0([0,1],X)\) and \(LX = C^0(S^1,X)\) denote the continuous path and loop spaces, respectively. For a local coefficient system A on \(X \times X\), we will call a cohomology class \(u \in H^*(X \times X;A)\) a zero-divisor if
where \(\Delta :X \rightarrow X \times X\) denotes the diagonal map.
In the following, we will briefly recall the notion of \(\mathsf {TC}\)-weight from [13] and [14]. It is an analogue of the strict category weight defined by Rudyak in [27].
Definition 2.1
Let A be a local coefficient system on \(X \times X\) and \(k \in \mathbb {N}_0\). The \(\mathsf {TC}\)-weight of a class \(u \in H^*(X \times X;A)\), denoted \(\mathrm {wgt}(u)\), is defined to be the maximal k such that \(f^*u=0 \in H^*(Y;f^*A)\) for every continuous map \(f: Y \rightarrow X \times X\) for which there exist an open cover \(U_1\cup \cdots \cup U_k=Y\) and continuous maps \(f_i:U_i \rightarrow PX\) with \(\pi \circ f_i = f|_{U_i}\) for \(i \in \{1,2,\ldots ,k\}\).
The following properties of \(\mathsf {TC}\)-weight, proven by Farber and the first author in [13], illustrate its importance for obtaining estimates from below of topological complexity.
Theorem 2.2
Let A and B be local coefficient systems on \(X \times X\), and let \(u\in H^*(X \times X;A)\) and \(v\in H^*(X\times X;B)\) be cohomology classes.
- (1)
For the cup product \(u\cup v\in H^*(X\times X;A\otimes B)\) we have
$$\begin{aligned} \mathrm {wgt}(u \cup v) \ge \mathrm {wgt}(u)+\mathrm {wgt}(v) . \end{aligned}$$ - (2)
If u is nonzero and \(\mathrm {wgt}(u) = k\), then \(\mathsf {TC}(X) \ge k\).
A class in \(H^*(X\times X;A)\) has positive \(\mathsf {TC}\)-weight if and only if it is a zero-divisor, see [14, p. 3361]. In the remainder of this section, we want to determine a criterion to decide if a given cohomology class has \(\mathsf {TC}\)-weight at least 2. A key role is played by the fiberwise join of the fibration \(\pi : PX \rightarrow X \times X\) with itself, which we will denote by \(p_2:P_2X \rightarrow X \times X\), see e.g. [17, Section 2] for a detailed construction. More precisely, a result of Schwarz from [29] applied to the fibration \(\pi \) shows the following:
Proposition 2.3
Let A be a local coefficient system on \(X \times X\), and let \(u \in H^*(X \times X;A)\). If
then \(\mathrm {wgt}(u) \ge 2\).
We want to take a closer look at the cohomology of \(P_2X\). We define continuous maps \(r_1,r_2: LX \rightarrow PX\) by
One checks without difficulties that \((r_1,r_2): LX \rightarrow PX \times PX\) maps LX homeomorphically onto the pullback of \(PX {\mathop {\rightarrow }\limits ^{\pi }} X \times X {\mathop {\leftarrow }\limits ^{\pi }} PX\), so that the following is a pullback diagram:
The total space of the fibration \(P_2X\) is a homotopy pushout of the diagram \(PX {\mathop {\leftarrow }\limits ^{r_1}}LX {\mathop {\rightarrow }\limits ^{r_2}}PX\), and we let \(i_1,i_2: PX \rightarrow P_2X\) and \(p_2: P_2X \rightarrow X \times X\) be the induced maps making the following diagram commutative up to homotopy:
In fact, by taking \(P_2 X\) to be the double mapping cylinder of the maps \(r_1\) and \(r_2\), and taking \(p_2\) to be the whisker map induced by the constant homotopy across the diagram (2), we can arrange that the triangles in the above diagram strictly commute.
We want to consider the Mayer–Vietoris cohomology sequence associated with this homotopy pushout, see [32, Chapter 21], which is of the form
for any abelian group A.
Proposition 2.4
Let A be an abelian group and \(k \in \mathbb {N}\). A class \(u \in H^k(X \times X;A)\) is a zero-divisor if and only if
where \(\delta \) denotes the connecting homomorphism of the above Mayer–Vietoris sequence.
Proof
We consider the map \(e:PX \rightarrow X\), \(\gamma \mapsto \gamma (0)\), given by evaluating a path at its initial point. For each \(\nu \in \{1,2\}\), the diagram
commutes up to homotopy. Since the vertical map e is well-known to be a homotopy equivalence, it follows that
Thus, \(u \in H^k(X\times X;A)\) is a zero-divisor if and only if
for \(\nu \in \{1,2\}\) and the exactness of the Mayer–Vietoris sequence shows the claim. \(\square \)
We next combine the previous propositions to obtain a criterion for a cohomology class to have \(\mathsf {TC}\)-weight two.
Corollary 2.5
Let A be an abelian group and \(k \in \mathbb {N}\) with \(k \ge 2\). If the connecting homomorphism from the above Mayer–Vietoris sequence \(\delta :H^{k-1}(LX;A) \rightarrow H^k(P_2X;A)\) vanishes, then every zero-divisor \(u \in H^k(X \times X;A)\) satisfies \(\mathrm {wgt}(u)\ge 2\).
Proof
This is an immediate consequence of Propositions 2.3 and 2.4. \(\square \)
3 The connecting homomorphism for manifolds
We want to make use of Proposition 2.4 to investigate zero-divisors that are induced by degree-two cohomology classes of a manifold. More precisely, given a manifold M and a closed 2-form \(\omega \in \Omega ^2(M)\) we want to determine a 1-cocycle on LM whose cohomology class maps to the class of \(p_2^*[1\times \omega - \omega \times 1]\) under the connecting homomorphism
To work in a de Rham-theoretic setting, we briefly discuss differential forms and de Rham cohomology on smooth path and loop spaces of manifolds.
Let M be a finite-dimensional smooth manifold. We consider the spaces
both equipped with the respective Whitney topology. As a consequence of the results of [22], see also [30], both \(\Lambda M\) and \(\mathcal {P}M\) possess the structure of infinite-dimensional Fréchet manifolds, locally modelled on the Fréchet spaces \(C^\infty (S^1,\mathbb {R}^{\dim M})\) and \(C^\infty ([0,1],\mathbb {R}^{\dim M})\), resp. There are homotopy equivalences \(\Lambda M\simeq LM\) and \(\mathcal {P}M\simeq PM\), see [30, Section 4.2] for details. We may thus consider \(\Lambda M\) and \(\mathcal {P}M\) as “differentiable replacements” of spaces of continuous paths and loops. Moreover, it follows from the results of [22, Section 42] that with respect to this manifold structure, the evaluation maps \(e_t: \Lambda M \rightarrow M\) and \(e_t: \mathcal {P}M\rightarrow M\), both given by \(x \mapsto x(t)\), are smooth for every \(t \in [0,1]\). This particularly implies the smoothness of the endpoint evaluation map \(\pi : \mathcal {P}M\rightarrow M \times M\), \(\pi (\gamma )=(\gamma (0),\gamma (1))\).
Recall that \(\mathsf {TC}(M)=\mathsf {secat}(\pi :PM\rightarrow M\times M)\), the sectional category of the free path fibration. The following lemma allows us to work with smooth paths throughout.
Lemma 3.1
If M is a smooth manifold, then \(\mathsf {TC}(M)=\mathsf {secat}(\pi :\mathcal {P}M\rightarrow M\times M)\).
Proof
The inclusion of smooth paths into continuous paths gives a commuting diagram
from which it is clear that \(\mathsf {TC}(M)\le \mathsf {secat}(\pi :\mathcal {P}M\rightarrow M\times M)\).
So suppose \(U\subseteq M\times M\) is an open set with a local section \(s:U\rightarrow PM\) of the (continuous) path fibration. The adjoint of s is a homotopy \(H:U\times I\rightarrow M\) between the restricted projections \(\mathrm{pr}_1|_{U}\) and \(\mathrm{pr}_2|_{U}\). This is homotopic rel \(U\times \partial I\) to a smooth homotopy \({\tilde{H}}:U\times I\rightarrow M\), see [23, Theorem 6.29] for example. The adjoint of \({\tilde{H}}\) gives a local section \({\tilde{s}}:U\rightarrow \mathcal {P}M\) of the smooth path fibration. Hence \(\mathsf {secat}(\pi :\mathcal {P}M\rightarrow M\times M)\le \mathsf {TC}(M)\), and we are done. \(\square \)
With \(\Gamma \) denoting the space of smooth sections of a vector bundle, the tangent spaces of elements of \(\Lambda M\) and \(\mathcal {P}M\) are given by
Tangent vectors at a loop or path are vector fields along that loop or path. The derivative \(De_t:T_x\Lambda M\rightarrow T_{x(t)} M\) is given by evaluating the vector field at x(t), and similarly for \(De_t:T_y\mathcal {P}M\rightarrow T_{y(t)}M\). In particular, the map \(\pi :\mathcal {P}M\rightarrow M\times M\) is a submersion, and the diagram (2) remains a pullback if we replace PM and LM by \(\mathcal {P}M\) and \(\Lambda M\).
For \(k \in \mathbb {N}\) we let \(\Omega ^k(M)\) denote the space of smooth real-valued k-forms on M. For each \(\omega \in \Omega ^k(M)\) we let \({{\bar{\omega }}} \in \Omega ^k(M \times M)\) denote the form given by
It is easy to see that if \(\omega \) is closed, then \({{\bar{\omega }}}\) will be closed as well. Moreover, since \(\mathrm{pr}_1\circ \Delta = \mathrm{pr}_2\circ \Delta \), the class \([{{\bar{\omega }}}] \in H^k(M \times M;\mathbb {R})\) will be a zero-divisor for every closed \(\omega \in \Omega ^k(M)\).
In analogy with the finite-dimensional case, we define the space of smooth k-forms on \(\mathcal {P}M\) for each \(k \in \mathbb {N}\) by \(\Omega ^k(\mathcal {P}M) = \Gamma (L^k_a(T\mathcal {P}M))\), where \(L^k_a(T\mathcal {P}M)\) denotes the bundle of alternating k-linear forms on \(T\mathcal {P}M\). We define \(\Omega ^k(\Lambda M)\) similarly.
Definition 3.2
Given \(\omega \in \Omega ^2(M)\) we let \(\beta _\omega \in \Omega ^1(\mathcal {P}M)\) be defined by
Proposition 3.3
If \(\omega \in \Omega ^2(M)\) is closed, then
where \(\pi : \mathcal {P}M\rightarrow M \times M\) again denotes the endpoint evaluation map.
Proof
We first note that
Given a smooth non-decreasing function \(\phi :\mathbb {R}\rightarrow [0,1]\) such that \(\phi (t)=0\) for \(t\le 1/4\) and \(\phi (t)=1\) for \(t\ge 3/4\), the map
defines a smooth homotopy from \(e_0\) to \(e_1\). As in the proof of homotopy invariance of de Rham cohomology (given as [22, Lemma 34.2] in the infinite dimensional case) we can therefore define a homotopy operator \(K:\Omega ^*(M)\rightarrow \Omega ^{*-1}(\mathcal {P}M)\) satisfying \(e_1^*-e_0^*=dK + Kd\), as follows. For each \(t\in \mathbb {R}\), let \(\mathrm{ins}_t:\mathcal {P}M\rightarrow \mathcal {P}M\times \mathbb {R}\) be given by \(\mathrm{ins}_t(x)=(x,t)\). Define an integral operator \(I^1_0:\Omega ^*(\mathcal {P}M\times \mathbb {R})\rightarrow \Omega ^*(\mathcal {P}M)\) by
Let \(T:=\left( 0,\partial /{\partial t}\right) \) be the unit vector field in the \(\mathbb {R}\) direction on \(\mathcal {P}M\times \mathbb {R}\), and denote by \(\iota _T:\Omega ^*(\mathcal {P}M\times \mathbb {R})\rightarrow \Omega ^{*-1}(\mathcal {P}M\times \mathbb {R})\) the interior product with T. Finally, let \(e^*:\Omega ^*(M)\rightarrow \Omega ^*(\mathcal {P}M\times \mathbb {R})\) be pullback along e.
Then the composition \(K=I^1_0\circ \iota _T\circ e^*\) defines a homotopy operator, as shown in the proof of [22, Lemma 34.2]. If \(\omega \in \Omega ^2(M)\) is closed, it follows that
It only remains to check that with the above definitions we have \(K(\omega ) = \beta _\omega \in \Omega ^1(\mathcal {P}M)\). Given \(x \in \mathcal {P}M\) and \(\xi \in T_x \mathcal {P}M\), note that for every \(t\in [0,1]\) we have \(D(\mathrm{ins}_t)_x(\xi ) = (\xi ,0)\in T_{(x,t)}(\mathcal {P}M\times \mathbb {R})\cong T_x\mathcal {P}M\times T_t\mathbb {R}\), while \(De_{(x,t)}(T)=\dot{x}(t)\) and \(De_{(x,t)}(\xi ,0) = \xi (t)\) (compare [22, Corollary 42.18]). It follows that
as claimed. \(\square \)
Proposition 3.4
Given a closed 2-form \(\omega \in \Omega ^2(M)\) we let \(\alpha _{\omega } \in \Omega ^1(\Lambda M)\) be given by
where \(\beta _\omega \) is given in Definition 3.2 and \(r_1,r_2: \Lambda M\rightarrow \mathcal {P}M\) are defined by equations (1). Then \(d \alpha _\omega = 0\).
Proof
Using Proposition 3.3, we have
where the last equality holds since \(e_0\circ r_1 = e_0 \circ r_2\) and \(e_1\circ r_1 = e_1 \circ r_2\). \(\square \)
It is a consequence of [22, Theorem 34.7] and [22, Proposition 42.3] that the de Rham cohomology groups of \(\mathcal {P}M\) and \(\Lambda M\) are well-defined, and that the de Rham Theorem holds for these manifolds. Indeed, for any smoothly paracompact smooth manifold M (finite or infinite dimensional) the composition of cochain maps
induces an isomorphism \(H^*_{\mathrm{dR}}(M;\mathbb {R})\cong H^*(M;\mathbb {R})\) from de Rham cohomology to singular cohomology with real coefficients. Here the first map is given by integrating over smooth simplices, and the second is induced by a smoothing operator \(C_*(M)\rightarrow C_*^\mathrm{smooth}(M)\) on singular chains (see [23, Chapter 18]). It is not difficult to check using Stokes’ Theorem that these cochain maps are natural, in the sense that given a smooth map \(f:M\rightarrow N\) we have \(f^*\circ \Psi _N = \Psi _M\circ f^*\).
Theorem 3.5
Let \(\omega \in \Omega ^2(M)\) be closed and let \(\alpha _\omega \in \Omega ^1(\Lambda M)\) be given as in Proposition 3.4. Let
denote the connecting homomorphism of the Mayer–Vietoris sequence from above for real coefficients. Then
where we identify the de Rham cohomology classes \([\alpha _\omega ]\) and \([{{\bar{\omega }}}]\) with their corresponding singular cohomology classes under the above-mentioned canonical isomorphisms.
Proof
By definition, the connecting homomorphism is obtained using the snake lemma in the first two rows of the following diagram:
where \(C^i(-;\mathbb {R})\) denotes singular cochains with real coefficients and \(\partial \) denotes the respective singular codifferential. The (strict) commutativity of the bottom triangle follows from the remark made immediately after diagram (3).
To find a cocycle \(a \in C^1(\Lambda M;\mathbb {R})\) whose cohomology class is mapped to the class of \(p_2^*c\) by the connecting homomorphism for a given cocycle \(c \in C^2(M \times M;\mathbb {R})\), it thus suffices to find such an a for which there exist \(b_1, b_2 \in C^1(\mathcal {P}M;\mathbb {R})\) such that \(a = r_1^*b_1 - r_2^*b_2\) and \(\partial b_1 = \partial b_2 = \pi ^*c\).
Passing to differential forms, we have seen in Propositions 3.3 and 3.4 that \(d\beta _\omega = \pi ^* {{\bar{\omega }}}\) and \(\alpha _\omega = r_1^*\beta _\omega - r_2^*\beta _\omega \). The result now follows from the naturality of the de Rham cochain equivalences \(\Psi _{M\times M}\), \(\Psi _{\mathcal {P}M}\) and \(\Psi _{\Lambda M}\). \(\square \)
Corollary 3.6
Let \(\omega \in \Omega ^2(M)\) be closed and let \(\alpha _\omega \in \Omega ^1(\Lambda M)\) be given as in Proposition 3.4. If \(\alpha _\omega \) is exact then \(\mathrm {wgt}([{{\bar{\omega }}}]) \ge 2\).
4 The weight of the cohomology class of a c-symplectic form
The considerations for closed 2-forms from the previous section are of particular interest for c-symplectic manifolds. Non-vanishing of the n-th power of the c-symplectic class is crucial in the proof of Theorem 1.2.
Proposition 4.1
Let \((M,\omega )\) be a c-symplectic manifold. If \([\alpha _\omega ]=0 \in H^1(\Lambda M;\mathbb {R})\), then \(\mathsf {TC}(M)=2 \dim M\).
Proof
Let \(2n = \dim M\). As before let \({{\bar{\omega }}}=1\times \omega - \omega \times 1 \in \Omega ^2(M\times M)\), and let \([{{\bar{\omega }}}]=1\times [\omega ]-[\omega ]\times 1 \in H^2(M\times M;\mathbb {R})\) denote its cohomology class. By assumption, \([\omega ]^n\in H^{2n}(M;\mathbb {R})\) is nonzero. It follows that \([{{\bar{\omega }}}]^{2n}\ne 0\), since it contains the nontrivial summand
Thus, using Theorem 2.2 (1) and Corollary 3.6 we derive that
Finally, Theorem 2.2 (2) implies that \(\mathsf {TC}(M) \ge 4n\). The opposite inequality \(\mathsf {TC}(M) \le 4n\) follows from the dimensional upper bound from the introduction. \(\square \)
Combining Proposition 4.1 and the atoroidality condition gives Theorem 1.2.
Proof
In light of Proposition 4.1 it only remains to show that the condition of \(\omega \in \Omega ^2(M)\) being atoroidal implies that \([\alpha _\omega ]=0 \in H^1(\Lambda M;\mathbb {R})\). For this it suffices to check that integrating \(\alpha _\omega \) over a smooth 1-cycle gives zero. Hence it suffices to show that
Given such c, we define \({\tilde{c}}: T^2 \rightarrow M\) by \({\tilde{c}}(s,t)= (c(s))(t)\) for all \(s, t \in S^1\) and derive from [22, Theorem 42.14] that \({\tilde{c}}\) is smooth. Using Fubini’s theorem we compute that
since \((M,\omega )\) is symplectically atoroidal. Since c was chosen arbitrarily, it follows that \([\alpha _\omega ]=0\) and Proposition 4.1 yields the claim. \(\square \)
5 Applications
In this section we give some general settings in which our main result Theorem 1.2 applies.
Theorem 5.1
Let \((M,\omega )\) be a c-symplectically aspherical manifold, such that \(\pi _1(M)\) does not contain \(\mathbb {Z}\oplus \mathbb {Z}\) as a subgroup. Then \(\mathsf {TC}(M)=2 \dim M\).
Proof
As shown in the proof of [3, Theorem 4], if \(f:T^2\rightarrow M\) is a smooth map such that \(\int _{T^2} f^*\omega \ne 0\), and \(\omega \) is aspherical, then \(f_*:\pi _1(T^2)\rightarrow \pi _1(M)\) is injective. Hence the given conditions imply that \((M,\omega )\) is c-symplectically atoroidal, so that Theorem 1.2 applies. \(\square \)
Note that this result improves by one the bound given in [15, Theorem 8]. It applies in particular to the case of hyperbolic fundamental groups.
Corollary 5.2
Let \((M,\omega )\) be a c-symplectically aspherical manifold, such that \(\pi _1(M)\) is hyperbolic. Then \(\mathsf {TC}(M)=2 \dim M\).
Corollary 5.3
Let \((M,\omega )\) be a c-symplectic manifold which admits a Riemannian metric of negative sectional curvature. Then \(\mathsf {TC}(M)=2 \dim M\).
Proof
By the Theorems of Cartan–Hadamard and Preissman, M is aspherical and \(\pi _1(M)\) does not contain any subgroups isomorphic to \(\mathbb {Z}\oplus \mathbb {Z}\). Thus Theorem 5.1 applies. \(\square \)
We next discuss a related geometric condition which implies symplectic atoroidality.
Definition 5.4
Let \((M,\omega )\) be a symplectic manifold and let \(p:{\tilde{M}}\rightarrow M\) be its universal cover. The pair \((M,\omega )\) is called symplectically hyperbolic if there exists \(\theta \in \Omega ^1({\tilde{M}})\), such that \(p^*\omega = d\theta \) and such that
where \(\Vert \cdot \Vert _q\) denotes the norm on \(T^*_q{\tilde{M}}\) that is induced by the lift of a chosen Riemannian metric on M.
This notion was introduced by Polterovich in [26], generalizing the concept of Kähler hyperbolicity introduced by Gromov in [20]. It has further been discussed by J. Kȩdra in [21] and by G. Paternain under the name of weakly exact forms with bounded primitive in [18]. The simplest examples of symplectically hyperbolic manifolds are oriented surfaces of genus at least two together with their volume forms. The connection to our results is given by the following observation.
Lemma 5.5
([21, Proposition 1.9], [25, Lemma 2.3]) Symplectically hyperbolic manifolds are symplectically atoroidal.
Hence, Theorem 1.2 applies to all closed symplectically hyperbolic manifolds.
Corollary 5.6
Let \(\Sigma _g\rightarrow E\rightarrow M\) be an oriented surface bundle with fibre of genus \(g\ge 2\) over a closed symplectically hyperbolic manifold \((M,\omega )\). Then \(\mathsf {TC}(E)=2 \dim (E)\).
In particular, if E is the total space of an iterated sequence of oriented surface bundles, where the fiber of each iteration step and the base space of the first fibration are oriented surfaces of genus at least two, then \(\mathsf {TC}(E)=2\dim E\).
Proof
This follows from [21, Corollary 2.2], combined with Lemma 5.5 and Theorem 1.2. \(\square \)
This is a far-reaching generalisation of the fact, easily obtained using zero-divisors cup-length estimates, that a finite product \(\Sigma _{g_1}\times \cdots \times \Sigma _{g_n}\) of orientable surfaces of higher genus has
Finally, we give examples of c-symplectic but not symplectic manifolds to which our Theorem applies.
Proposition 5.7
Let \((M,\omega )\) be a c-symplectically atoroidal manifold (with its induced orientation), and let \(g:N\rightarrow M\) be a map of nonzero degree. Then the pair \((N,g^*\omega )\) is c-symplectically atoroidal.
Proof
Since g induces an isomorphism on top cohomology, it follows that the pair \((N,g^*\omega )\) is a c-symplectic manifold. If \(f:T^2\rightarrow N\) is a smooth map, then
since \(\omega \) is atoroidal. Hence \(g^*\omega \) is atoroidal. \(\square \)
Example 5.8
Let \((M,\omega )\) be a c-symplectically atoroidal manifold, and let \(g:{{\tilde{M}}}\rightarrow M\) be a branched covering of nonzero degree. Then \(({{\tilde{M}}},g^*\omega )\) is c-symplectically atoroidal, and so \(\mathsf {TC}({{\tilde{M}}})=2 \dim {{\tilde{M}}}\). Note that \(g^*\omega \) fails to be symplectic over the branch locus. We do not know if \({{\tilde{M}}}\) necessarily carries a symplectic structure.
Example 5.9
Let \((M,\omega )\) be a closed symplectically atoroidal 4-manifold, and let X be any almost complex 4-manifold (with the induced orientation). As shown in [1, Proposition 1.3.1], the connected sum \(M\# X\) does not possess any almost complex structure, and hence cannot possess any symplectic structure. However, there is a degree-one map \(g:M\# X\rightarrow M\) collapsing X to a point, which by Proposition 5.7 implies that \(M\# X\) is c-symplectically atoroidal. Hence \(\mathsf {TC}(M\# X)=8\).
References
Audin, M.: Exemples de variétés presque complexes. Enseign. Math.(2) 37(1–2), 175–190 (1991)
Banyaga, A.: Sur la structure du groupe des difféomorphismes qui préservent une forme symplectique. Comment. Math. Helv. 53(2), 174–227 (1978)
Borat, A.: Symplectically aspherical manifolds with nontrivial flux groups. Acta Math. Hung. 149(2), 523–525 (2016)
Brunnbauer, M., Kotschick, D.: On hyperbolic cohomology classes. arXiv:0808.1482 (2008)
Calabi, E.: On the group of automorphisms of a symplectic manifold, Problems in analysis (Lectures at the Sympos. in honor of Salomon Bochner, Princeton Univ., Princeton, N.J., 1969), Princeton Univ. Press, Princeton, N.J., pp. 1–26 (1970)
Cohen, D., Vandembroucq, L.: Topological complexity of the Klein bottle. J Appl. Comput. Topol. 1, 199–213 (2017)
Cornea, O., Lupton, G., Oprea, J., Tanré, D.: Lusternik-Schnirelmann category, Mathematical Surveys and Monographs, vol. 103. American Mathematical Society, Providence (2003)
Fadell, E., Husseini, S.: Category weight and Steenrod operations, Bol. Soc. Mat. Mexicana (2) 37 (1992), no. 1-2, 151–161, Papers in honor of José Adem (Spanish)
Farber, M.: Topological complexity of motion planning. Discrete Comput. Geom. 29(2), 211–221 (2003)
Farber, M.: Instabilities of robot motion. Topol. Appl. 140(2–3), 245–266 (2004)
Farber, M.: Topology of robot motion planning, Morse theoretic methods in nonlinear analysis and in symplectic topology, NATO Sci. Ser. II Math. Phys. Chem., vol. 217, Springer, Dordrecht, pp. 185–230 (2006)
Farber, M.: Invitation to topological robotics. Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Zürich (2008)
Farber, M., Grant, M.: Symmetric motion planning, Topology and robotics, Contemp. Math., vol. 438, Amer. Math. Soc., Providence, RI, pp. 85–104 (2007)
Farber, M., Grant, M.: Robot motion planning, weights of cohomology classes, and cohomology operations. Proc. Am. Math. Soc. 136(9), 3339–3349 (2008)
Farber, M., Mescher, S.: On the topological complexity of aspherical spaces. arXiv:1708.06732 (2017)
Farber, M., Tabachnikov, S., Yuzvinsky, S.: Topological robotics: motion planning in projective spaces. Int. Math. Res. Not. 34, 1853–1870 (2003)
Fernández Suárez, L., Ghienne, P., Kahl, T., Vandembroucq, L.: Joins of DGA modules and sectional category. Algebr. Geom. Topol. 6, 119–144 (2006)
Gabriel, P.: Paternain, Magnetic rigidity of horocycle flows. Pacific J. Math. 225(2), 301–323 (2006)
Grant, M.: Topological complexity, fibrations and symmetry. Topol. Appl. 159(1), 88–97 (2012)
Gromov, M.: Kähler hyperbolicity and $L_2$-Hodge theory. J. Differ. Geom. 33(1), 263–292 (1991)
Kȩdra, J.: Symplectically hyperbolic manifolds. Differ. Geom. Appl. 27(4), 455–463 (2009)
Kriegl, A., Michor, P.W.: The convenient setting of global analysis, Mathematical Surveys and Monographs, vol. 53. American Mathematical Society, Providence (1997)
Lee, J. M.: Introduction to smooth manifolds. In: Graduate Texts in Mathematics, vol. 218, 2nd edn. Springer, New York (2013)
Lupton, G., Oprea, J.: Cohomologically symplectic spaces: toral actions and the Gottlieb group. Trans. Am. Math. Soc. 347(1), 261–288 (1995)
Merry, W.J.: Closed orbits of a charge in a weakly exact magnetic field. Pacific J. Math. 247(1), 189–212 (2010)
Polterovich, L.: Growth of maps, distortion in groups and symplectic geometry. Invent. Math. 150(3), 655–686 (2002)
Rudyak, Y.B.: On category weight and its applications. Topology 38(1), 37–55 (1999)
Rudyak, Y.B., Oprea, J.: On the Lusternik-Schnirelmann category of symplectic manifolds and the Arnold conjecture. Math. Z. 230(4), 673–678 (1999)
Schwarz, A.S.: The genus of a fiber space. Am. Math. Soc. Transl. 55, 49–140 (1966)
Stacey, A.: Constructing smooth manifolds of loop spaces. Proc. Lond. Math. Soc. (3) 99(1), 195–216 (2009)
Strom, J.: Category weight and essential category weight, ProQuest LLC, Ann Arbor, MI, Thesis (Ph.D.)–The University of Wisconsin - Madison (1997)
Strom, J.: Modern classical homotopy theory, Graduate Studies in Mathematics, vol. 127. American Mathematical Society, Providence (2011)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors wish to thank Ayşe Borat, Michael Farber, Jarek Kȩdra, and John Oprea for helpful comments regarding an earlier draft of this paper.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Grant, M., Mescher, S. Topological complexity of symplectic manifolds. Math. Z. 295, 667–679 (2020). https://doi.org/10.1007/s00209-019-02366-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-019-02366-x