Showing 1–21 of 21 results for author: Oprea, J

Sequential topological complexity of aspherical spaces and sectional categories of subgroup inclusions

Authors: Arturo Espinosa Baro, Michael Farber, Stephan Mescher, John Oprea

Abstract: We generalize results from topological robotics on the topological complexity (TC) of aspherical spaces to sectional categories of fibrations inducing subgroup inclusions on the level of fundamental groups. In doing so, we establish new lower bounds on sequential TCs of aspherical spaces as well as the parametrized TC of epimorphisms. Moreover, we generalize the Costa-Farber canonical class for TC… ▽ More We generalize results from topological robotics on the topological complexity (TC) of aspherical spaces to sectional categories of fibrations inducing subgroup inclusions on the level of fundamental groups. In doing so, we establish new lower bounds on sequential TCs of aspherical spaces as well as the parametrized TC of epimorphisms. Moreover, we generalize the Costa-Farber canonical class for TC to classes for sequential TCs and explore their properties. We combine them with the results on sequential TCs of aspherical spaces to obtain results on spaces that are not necessarily aspherical. △ Less

Submitted 8 December, 2023; v1 submitted 2 December, 2023; originally announced December 2023.

Comments: 40 pages

MSC Class: 55M30 (68T40; 20J05)

Sequential parametrized topological complexity and related invariants

Authors: Michael Farber, John Oprea

Abstract: Parametrized motion planning algorithms \cite{CFW} have a high degree of universality and flexibility; they generate the motion of a robotic system under a variety of external conditions. The latter are viewed as parameters and constitute part of the input of the algorithm. The concept of sequential parametrized topological complexity ${\sf TC}_r[p:E\to B]$ is a measure of the complexity of such a… ▽ More Parametrized motion planning algorithms \cite{CFW} have a high degree of universality and flexibility; they generate the motion of a robotic system under a variety of external conditions. The latter are viewed as parameters and constitute part of the input of the algorithm. The concept of sequential parametrized topological complexity ${\sf TC}_r[p:E\to B]$ is a measure of the complexity of such algorithms. It was studied in \cite{CFW, CFW2} for $r=2$ and in \cite{FP} for $r\ge 2$. In this paper we analyse the dependence of the complexity ${\sf TC}_r[p:E\to B]$ on an initial bundle with structure group $G$ and on its fibre $X$ viewed as a $G$-space. Our main results estimate ${\sf TC}_r[p:E\to B]$ in terms of certain invariants of the bundle and the action on the fibre. Moreover, we also obtain estimates depending on the base and the fibre. Finally, we develop a calculus of sectional categories featuring a new invariant ${\sf secat}_f[p:E\to B]$ which plays an important role in the study of sectional category of towers of fibrations. △ Less

Submitted 26 February, 2023; v1 submitted 5 September, 2022; originally announced September 2022.

MSC Class: 55M30

Journal ref: Algebr. Geom. Topol. 24 (2024) 1755-1780

Right-angled Artin groups, polyhedral products and the TC-generating function

Authors: Jorge Aguilar-Guzman, Jesus Gonzalez, John Oprea

Abstract: For a graph $Γ$, let $K(H_Γ,1)$ denote the Eilenberg-Mac Lane space associated to the right-angled Artin (RAA) group $H_Γ$ defined by $Γ$. We use the relationship between the combinatorics of $Γ$ and the topological complexity of $K(H_Γ,1)$ to explain, and generalize to the higher TC realm, Dranishnikov's observation that the topological complexity of a covering space can be larger than that of th… ▽ More For a graph $Γ$, let $K(H_Γ,1)$ denote the Eilenberg-Mac Lane space associated to the right-angled Artin (RAA) group $H_Γ$ defined by $Γ$. We use the relationship between the combinatorics of $Γ$ and the topological complexity of $K(H_Γ,1)$ to explain, and generalize to the higher TC realm, Dranishnikov's observation that the topological complexity of a covering space can be larger than that of the base space. In the process, for any positive integer $n$, we construct a graph $\mathcal{O}_n$ whose TC-generating function has polynomial numerator of degree $n$. Additionally, motivated by the fact that $K(H_Γ,1)$ can be realized as a polyhedral product, we study the LS category and topological complexity of more general polyhedral product spaces. In particular, we use the concept of a strong axial map in order to give an estimate, sharp in a number of cases, of the topological complexity of a polyhedral product whose factors are real projective spaces. Our estimate exhibits a mixed cat-TC phenomenon not present in the case of RAA groups. △ Less

Submitted 21 November, 2020; v1 submitted 9 November, 2020; originally announced November 2020.

Comments: The paper is now written in a more concise and succinct way. In particular, our main results are highlighted and contextualized in an introductory section. 25 pages, 4 figures

MSC Class: 55M30; 57S12

The Digital Hopf Construction

Authors: Gregory Lupton, John Oprea, Nicholas A. Scoville

Abstract: Various concepts and constructions in homotopy theory have been defined in the digital setting. Although there have been several attempts at a definition of a fibration in the digital setting, robust examples of these digital fibrations are few and far between. In this paper, we develop a digital Hopf fibration within the category of tolerance spaces. By widening our category to that of tolerance… ▽ More Various concepts and constructions in homotopy theory have been defined in the digital setting. Although there have been several attempts at a definition of a fibration in the digital setting, robust examples of these digital fibrations are few and far between. In this paper, we develop a digital Hopf fibration within the category of tolerance spaces. By widening our category to that of tolerance spaces, we are able to give a construction of this digital Hopf fibration which mimics the smooth setting. △ Less

Submitted 7 February, 2020; originally announced February 2020.

MSC Class: 55Q99; 54A99; 55R10

Morita Invariance of Equivariant Lusternik-Schnirelmann Category and Invariant Topological Complexity

Authors: Andrés Angel, Hellen Colman, Mark Grant, John Oprea

Abstract: We use the homotopy invariance of equivariant principal bundles to prove that the equivariant ${\mathcal A}$-category of Clapp and Puppe is invariant under Morita equivalence. As a corollary, we obtain that both the equivariant Lusternik-Schnirelmann category of a group action and the invariant topological complexity are invariant under Morita equivalence. This allows a definition of topological c… ▽ More We use the homotopy invariance of equivariant principal bundles to prove that the equivariant ${\mathcal A}$-category of Clapp and Puppe is invariant under Morita equivalence. As a corollary, we obtain that both the equivariant Lusternik-Schnirelmann category of a group action and the invariant topological complexity are invariant under Morita equivalence. This allows a definition of topological complexity for orbifolds. △ Less

Submitted 20 August, 2019; v1 submitted 14 August, 2019; originally announced August 2019.

A Fundamental Group for Digital Images

Authors: Gregory Lupton, John Oprea, Nicholas Scoville

Abstract: We define a fundamental group for digital images. Namely, we construct a functor from digital images to groups, which closely resembles the ordinary fundamental group from algebraic topology. Our construction differs in several basic ways from previously established versions of a fundamental group in the digital setting. Our development gives a prominent role to subdivision of digital images. We s… ▽ More We define a fundamental group for digital images. Namely, we construct a functor from digital images to groups, which closely resembles the ordinary fundamental group from algebraic topology. Our construction differs in several basic ways from previously established versions of a fundamental group in the digital setting. Our development gives a prominent role to subdivision of digital images. We show that our fundamental group is preserved by subdivision. △ Less

Submitted 13 June, 2019; originally announced June 2019.

Comments: 47 pages, 2 figures

MSC Class: 54A99; 55M30; 55P05; 55P99 (Primary); 54A40; 68R99; 68T45; 68U10 (Secondary)

Subdivision of Maps of Digital Images

Authors: Gregory Lupton, John Oprea, Nicholas A. Scoville

Abstract: With a view towards providing tools for analyzing and understanding digitized images, various notions from algebraic topology have been introduced into the setting of digital topology. In the ordinary topological setting, invariants such as the fundamental group are invariants of homotopy type. In the digital setting, however, the usual notion of homotopy leads to a very rigid invariance that does… ▽ More With a view towards providing tools for analyzing and understanding digitized images, various notions from algebraic topology have been introduced into the setting of digital topology. In the ordinary topological setting, invariants such as the fundamental group are invariants of homotopy type. In the digital setting, however, the usual notion of homotopy leads to a very rigid invariance that does not correspond well with the topological notion of homotopy invariance. In this paper, we establish fundamental results about subdivision of maps of digital images with $1$- or $2$-dimensional domains. Our results lay the groundwork for showing that the digital fundamental group is an invariant of a much less rigid equivalence relation on digital images, that is more akin to the topological notion of homotopy invariance. Our results also lay the groundwork for defining other invariants of digital images in a way that makes them invariants of this less rigid equivalence. △ Less

Submitted 7 June, 2019; originally announced June 2019.

Comments: 40 pages, 14 figures

MSC Class: (Primary) 54A99 55M30 55P05 55P99; (Secondary) 54A40 68R99 68T45 68U10

Homotopy Theory in Digital Topology

Authors: Gregory Lupton, John Oprea, Nicholas Scoville

Abstract: Digital topology is part of the ongoing endeavour to understand and analyze digitized images. With a view to supporting this endeavour, many notions from algebraic topology have been introduced into the setting of digital topology. But some of the most basic notions from homotopy theory remain largely absent from the digital topology literature. We embark on a development of homotopy theory in dig… ▽ More Digital topology is part of the ongoing endeavour to understand and analyze digitized images. With a view to supporting this endeavour, many notions from algebraic topology have been introduced into the setting of digital topology. But some of the most basic notions from homotopy theory remain largely absent from the digital topology literature. We embark on a development of homotopy theory in digital topology, and define such fundamental notions as function spaces, path spaces, and cofibrations in this setting. We establish digital analogues of basic homotopy-theoretic properties such as the homotopy extension property for cofibrations, and the homotopy lifting property for certain evaluation maps that correspond to path fibrations in the topological setting. We indicate that some depth may be achieved by using these homotopy-theoretic notions to give a preliminary treatment of Lusternik-Schnirelmann category in the digital topology setting. This topic provides a connection between digital topology and critical points of functions on manifolds, as well as other topics from topological dynamics. △ Less

Submitted 19 May, 2019; originally announced May 2019.

Comments: 45 pages, 2 figures

MSC Class: (Primary) 54A99 55M30 55P05 55P99; (Secondary) 54A40 68R99 68T45 68U10

Homotopy Invariants and Almost Non-Negative Curvature

Authors: Giovanni Bazzoni, Gregory Lupton, John Oprea

Abstract: This paper explores the relation between the structure of fibre bundles akin to those associated to a closed almost nonnegatively sectionally curved manifold and rational homotopy theory. This paper explores the relation between the structure of fibre bundles akin to those associated to a closed almost nonnegatively sectionally curved manifold and rational homotopy theory. △ Less

Submitted 1 March, 2019; originally announced March 2019.

Comments: 26 pages; comments are welcome!

Higher topological complexity of aspherical spaces

Authors: Michael Farber, John Oprea

Abstract: In this article we study the higher topological complexity ${\sf TC}_r(X)$ in the case when $X$ is an aspherical space, $X=K(π, 1)$ and $r\ge 2$. We give a characterisation of ${\sf TC}_r(K(π, 1))$ in terms of classifying spaces for equivariant Bredon cohomology. Our recent paper \cite{FGLO}, joint with M. Grant and G. Lupton, treats the special case $r=2$. We also obtain in this paper useful lowe… ▽ More In this article we study the higher topological complexity ${\sf TC}_r(X)$ in the case when $X$ is an aspherical space, $X=K(π, 1)$ and $r\ge 2$. We give a characterisation of ${\sf TC}_r(K(π, 1))$ in terms of classifying spaces for equivariant Bredon cohomology. Our recent paper \cite{FGLO}, joint with M. Grant and G. Lupton, treats the special case $r=2$. We also obtain in this paper useful lower bounds for ${\sf TC}_r(π)$ in terms of cohomological dimension of subgroups of $π\timesπ\times \dots\times π$ ($r$ times) with certain properties. As an illustration of the main technique we find the higher topological complexity of the Higman's groups. We also apply our method to obtain a lower bound for the higher topological complexity of the right angled Artin (RAA) groups, which, as was established in \cite{GGY} by a different method (in a more general situation), coincides with the precise value. We finish the paper by a discussion of the ${\sf TC}$-generating function $\sum_{r=1}^\infty {\sf TC}_{r+1}(X)x^r$ encoding the values of the higher topological complexity ${\sf TC}_r(X)$ for all values of $r$. We show that in many examples (including the case when $X=K(H, 1)$ with $H$ being a RAA group) the ${\sf TC}$-generating function is a rational function of the form $\frac{P(x)}{(1-x)^2}$ where $P(x)$ is an integer polynomial with $P(1)={\sf cat}(X)$. △ Less

Submitted 26 February, 2019; originally announced February 2019.

Comments: To appear in "Topology and its Applications". arXiv admin note: text overlap with arXiv:1711.10132

An upper bound for topological complexity

Authors: Michael Farber, Mark Grant, Gregory Lupton, John Oprea

Abstract: In arXiv:1711.10132 a new approximating invariant ${\mathsf{TC}}^{\mathcal{D}}$ for topological complexity was introduced called $\mathcal{D}$-topological complexity. In this paper, we explore more fully the properties of ${\mathsf{TC}}^{\mathcal{D}}$ and the connections between ${\mathsf{TC}}^{\mathcal{D}}$ and invariants of Lusternik-Schnirelmann type. We also introduce a new $\mathsf{TC}$-type… ▽ More In arXiv:1711.10132 a new approximating invariant ${\mathsf{TC}}^{\mathcal{D}}$ for topological complexity was introduced called $\mathcal{D}$-topological complexity. In this paper, we explore more fully the properties of ${\mathsf{TC}}^{\mathcal{D}}$ and the connections between ${\mathsf{TC}}^{\mathcal{D}}$ and invariants of Lusternik-Schnirelmann type. We also introduce a new $\mathsf{TC}$-type invariant $\widetilde{\mathsf{TC}}$ that can be used to give an upper bound for $\mathsf{TC}$, $$\mathsf{TC}(X)\le {\mathsf{TC}}^{\mathcal{D}}(X) + \left\lceil \frac{2\dim X -k}{k+1}\right\rceil,$$ where $X$ is a finite dimensional simplicial complex with $k$-connected universal cover $\tilde X$. The above inequality is a refinement of an estimate given by Dranishnikov. △ Less

Submitted 11 July, 2018; originally announced July 2018.

Comments: 20 pages

MSC Class: 55M30; 55P99

Bredon cohomology and robot motion planning

Authors: Michael Farber, Mark Grant, Gregory Lupton, John Oprea

Abstract: In this paper we study the topological invariant ${\sf {TC}}(X)$ reflecting the complexity of algorithms for autonomous robot motion. Here, $X$ stands for the configuration space of a system and ${\sf {TC}}(X)$ is, roughly, the minimal number of continuous rules which are needed to construct a motion planning algorithm in $X$. We focus on the case when the space $X$ is aspherical; then the number… ▽ More In this paper we study the topological invariant ${\sf {TC}}(X)$ reflecting the complexity of algorithms for autonomous robot motion. Here, $X$ stands for the configuration space of a system and ${\sf {TC}}(X)$ is, roughly, the minimal number of continuous rules which are needed to construct a motion planning algorithm in $X$. We focus on the case when the space $X$ is aspherical; then the number ${\sf TC}(X)$ depends only on the fundamental group $π=π_1(X)$ and we denote it ${\sf TC}(π)$. We prove that ${\sf TC}(π)$ can be characterised as the smallest integer $k$ such that the canonical $π\timesπ$-equivariant map of classifying spaces $$E(π\timesπ) \to E_{\mathcal D}(π\timesπ)$$ can be equivariantly deformed into the $k$-dimensional skeleton of $E_{\mathcal D}(π\timesπ)$. The symbol $E(π\timesπ)$ denotes the classifying space for free actions and $E_{\mathcal D}(π\timesπ)$ denotes the classifying space for actions with isotropy in a certain family $\mathcal D$ of subgroups of $π\timesπ$. Using this result we show how one can estimate ${\sf TC}(π)$ in terms of the equivariant Bredon cohomology theory. We prove that ${\sf TC}(π) \le \max\{3, {\rm cd}_{\mathcal D}(π\timesπ)\},$ where ${\rm cd}_{\mathcal D}(π\timesπ)$ denotes the cohomological dimension of $π\timesπ$ with respect to the family of subgroups $\mathcal D$. We also introduce a Bredon cohomology refinement of the canonical class and prove its universality. Finally we show that for a large class of principal groups (which includes all torsion free hyperbolic groups as well as all torsion free nilpotent groups) the essential cohomology classes in the sense of Farber and Mescher are exactly the classes having Bredon cohomology extensions with respect to the family $\mathcal D$. △ Less

Submitted 17 July, 2018; v1 submitted 28 November, 2017; originally announced November 2017.

Comments: This revision contains a few additional comments, among them is Corollary 3.5.4

Journal ref: Algebr. Geom. Topol. 19 (2019) 2023-2059

Parallel forms, co-Kähler Manifolds and their Models

Authors: Giovanni Bazzoni, Gregory Lupton, John Oprea

Abstract: We show how certain topological properties of co-Kähler manifolds derive from those of the Kähler manifolds which construct them. In particular, we show that the existence of parallel forms on a co-Kähler manifold reduces the computation of cohomology from the de Rham complex to certain amenable sub-cdga's defined by geometrically natural operators derived from the co-Kähler structure. This provid… ▽ More We show how certain topological properties of co-Kähler manifolds derive from those of the Kähler manifolds which construct them. In particular, we show that the existence of parallel forms on a co-Kähler manifold reduces the computation of cohomology from the de Rham complex to certain amenable sub-cdga's defined by geometrically natural operators derived from the co-Kähler structure. This provides a simpler proof of the formality of the foliation minimal model in this context. △ Less

Submitted 26 September, 2016; originally announced September 2016.

Comments: 10 pages, no figures. Previously a part of arXiv:1311.5675

A splitting theorem for compact Vaisman manifolds

Authors: Giovanni Bazzoni, Juan Carlos Marrero, John Oprea

Abstract: We extend to metric compact map** tori a splitting result for coKähler manifolds. In particular, we prove that a compact Vaisman manifold is finitely covered by the product of a Sasakian manifold and a circle. We extend to metric compact map** tori a splitting result for coKähler manifolds. In particular, we prove that a compact Vaisman manifold is finitely covered by the product of a Sasakian manifold and a circle. △ Less

Submitted 21 March, 2016; v1 submitted 1 December, 2015; originally announced December 2015.

Comments: 9 pages. Revised version. Comments are welcome!

MSC Class: 53C25; 53C55

A Map** Theorem for Topological Complexity

Authors: Mark Grant, Gregory Lupton, John Oprea

Abstract: We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and more generally for the rational sectional category of a map, in terms of the rational category of a certain auxiliary space. We use our results to deduce conse… ▽ More We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and more generally for the rational sectional category of a map, in terms of the rational category of a certain auxiliary space. We use our results to deduce consequences for the global (rational) homotopy structure of simply connected, hyperbolic finite complexes. △ Less

Submitted 26 December, 2013; originally announced December 2013.

Comments: 22 pages

MSC Class: 55M99; 57S10

Journal ref: Algebr. Geom. Topol. 15 (2015) 1643-1666

Hereditary properties of co-Kähler manifolds

Authors: Giovanni Bazzoni, Gregory Lupton, John Oprea

Abstract: We show how certain topological properties of co-K{ä}hler manifolds derive from those of the Kähler manifolds which construct them. We go beyond Betti number results and describe the cohomology algebra structure of co-Kähler manifolds. As a consequence, we prove that co-Kähler manifolds satisfy the Toral Rank Conjecture: $\dim(H^*(M;\mathbb{Q})) \geq 2^r$, for any $r$-torus $T^r$ which acts almost… ▽ More We show how certain topological properties of co-K{ä}hler manifolds derive from those of the Kähler manifolds which construct them. We go beyond Betti number results and describe the cohomology algebra structure of co-Kähler manifolds. As a consequence, we prove that co-Kähler manifolds satisfy the Toral Rank Conjecture: $\dim(H^*(M;\mathbb{Q})) \geq 2^r$, for any $r$-torus $T^r$ which acts almost freely on $M$. △ Less

Submitted 27 September, 2016; v1 submitted 22 November, 2013; originally announced November 2013.

Comments: 17 pages. Section 4 of the previous version taken out, now contained in arXiv:1609.07880

MSC Class: 53C25; 53D15; 55P62

Journal ref: Differential Geom. Appl. 50 (2017), 126-139

New lower bounds for the topological complexity of aspherical spaces

Authors: Mark Grant, Gregory Lupton, John Oprea

Abstract: We show that the topological complexity of an aspherical space $X$ is bounded below by the cohomological dimension of the direct product $A\times B$, whenever $A$ and $B$ are subgroups of $π_1(X)$ whose conjugates intersect trivially. For instance, this assumption is satisfied whenever $A$ and $B$ are complementary subgroups of $π_1(X)$. This gives computable lower bounds for the topological compl… ▽ More We show that the topological complexity of an aspherical space $X$ is bounded below by the cohomological dimension of the direct product $A\times B$, whenever $A$ and $B$ are subgroups of $π_1(X)$ whose conjugates intersect trivially. For instance, this assumption is satisfied whenever $A$ and $B$ are complementary subgroups of $π_1(X)$. This gives computable lower bounds for the topological complexity of many groups of interest (including semidirect products, pure braid groups, certain link groups, and Higman's acyclic four-generator group), which in some cases improve upon the standard lower bounds in terms of zero-divisors cup-length. Our results illustrate an intimate relationship between the topological complexity of an aspherical space and the subgroup structure of its fundamental group. △ Less

Submitted 17 September, 2013; originally announced September 2013.

Comments: 15 pages, 4 figures

MSC Class: 55M99; 55P20 (Primary); 55M30; 20J06; 68T40 (Secondary)

On the structure of co-Kähler manifolds

Authors: Giovanni Bazzoni, John Oprea

Abstract: By the work of Li, a compact co-Kähler manifold $M$ is a map** torus $K_\varphi$, where $K$ is a Kähler manifold and $\varphi$ is a Hermitian isometry. We show here that there is always a finite cyclic cover $\bar M$ of the form $\bar M \cong K \times S^1$, where $\cong$ is equivariant diffeomorphism with respect to an action of $S^1$ on $M$ and the action of $S^1$ on $K \times S^1$ by translati… ▽ More By the work of Li, a compact co-Kähler manifold $M$ is a map** torus $K_\varphi$, where $K$ is a Kähler manifold and $\varphi$ is a Hermitian isometry. We show here that there is always a finite cyclic cover $\bar M$ of the form $\bar M \cong K \times S^1$, where $\cong$ is equivariant diffeomorphism with respect to an action of $S^1$ on $M$ and the action of $S^1$ on $K \times S^1$ by translation on the second factor. Furthermore, the covering transformations act diagonally on $S^1$, $K$ and are translations on the $S^1$ factor. In this way, we see that, up to a finite cover, all compact co-Kähler manifolds arise as the product of a Kähler manifold and a circle. △ Less

Submitted 24 April, 2013; v1 submitted 15 September, 2012; originally announced September 2012.

Comments: 20 pages; revised version: new results on fundamental group of co-Kähler manifolds and on compact co-Kähler manifolds which are not products. To appear in Geom. Dedicata

MSC Class: 53C25

Spaces of Topological Complexity One

Authors: Mark Grant, Gregory Lupton, John Oprea

Abstract: We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is as low as possible, namely n-1. We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is as low as possible, namely n-1. △ Less

Submitted 19 July, 2012; originally announced July 2012.

Comments: 9 pages

MSC Class: 55M30; 55S40

Detecting Elements and Lusternik--Schnirelmann Category of 3-Manifolds

Authors: John Oprea, Yuli Rudyak

Abstract: In this paper, we give a new simplified calculation of the Lusternik-Schnirelmann category of closed 3-manifolds. We also describe when 3-manifolds have detecting elements and prove that 3-manifolds satisfy the equality of the Ganea conjecture. In this paper, we give a new simplified calculation of the Lusternik-Schnirelmann category of closed 3-manifolds. We also describe when 3-manifolds have detecting elements and prove that 3-manifolds satisfy the equality of the Ganea conjecture. △ Less

Submitted 15 November, 2001; originally announced November 2001.

Comments: Latex, 10 pages

On the Lusternik-Schnirelmann category of symplectic manifolds and the Arnold conjecture

Authors: Yuli B. Rudyak, John Oprea

Abstract: We prove that the Lusternik-Schnirelmann category $cat(M)$ of a closed symplectic manifold $(M, ω)$ equals the dimension $dim(M)$ provided that the symplectic cohomology class vanishes on the image of the Hurewicz homomorphism. This holds, in particular, when $π_2(M)=0$. The Arnold conjecture asserts that the number of fixed points of a Hamiltonian symplectomorphism of $M$ is greater than or equ… ▽ More We prove that the Lusternik-Schnirelmann category $cat(M)$ of a closed symplectic manifold $(M, ω)$ equals the dimension $dim(M)$ provided that the symplectic cohomology class vanishes on the image of the Hurewicz homomorphism. This holds, in particular, when $π_2(M)=0$. The Arnold conjecture asserts that the number of fixed points of a Hamiltonian symplectomorphism of $M$ is greater than or equal to the number of critical points of some function on $M$. A modified form of the conjecture, replacing the latter quantity (via Lusternik-Schnirelmann theory) by $cup(M) + 1$, has been proved recently by various authors using techniques of Floer. The first author has also recently shown that the original form of the conjecture holds when $cat(M) =dim(M)$. Thus, this paper completes the proof of the original Arnold conjecture for closed symplectic manifolds with, for example, $π_2(M)=0$. △ Less

Submitted 11 August, 1997; originally announced August 1997.

Comments: AMSTEX, 5 pages, submitted to Math. Zeitschrift