Showing 101–150 of 163 results for author: Färber, M

Topology of configuration space of two particles on a graph, II

Authors: Michael Farber, Elizabeth Hanbury

Abstract: This paper continues the investigation of the configuration space of two distinct points on a graph. We analyze the process of adding an additional edge to the graph and the resulting changes in the topology of the configuration space. We introduce a linking bilinear form on the homology group of the graph with values in the cokernel of the intersection form (introduced in Part I of this work). Fo… ▽ More This paper continues the investigation of the configuration space of two distinct points on a graph. We analyze the process of adding an additional edge to the graph and the resulting changes in the topology of the configuration space. We introduce a linking bilinear form on the homology group of the graph with values in the cokernel of the intersection form (introduced in Part I of this work). For a large class of graphs, which we call mature graphs, we give explicit expressions for the homology groups of the configuration space. We show that under a simple condition, adding an edge to a mature graph yields another mature graph. △ Less

Submitted 25 October, 2010; v1 submitted 13 May, 2010; originally announced May 2010.

Comments: 24 pages, 12 figures; Section 7 revised in v2, published version

MSC Class: 55R80; 57M15

Journal ref: Algebr. Geom. Topol. 10 (2010) 2203-2227

Homology of planar telescopic linkages

Authors: Michael Farber, Viktor Fromm

Abstract: We study topology of configuration spaces of planar linkages having one leg of variable length. Such telescopic legs are common in modern robotics where they are used for shock absorbtion and serve a variety of other purposes. Using a Morse theoretic technique, we compute explicitly, in terms of the metric data, the Betti numbers of configuration spaces of these mechanisms. We study topology of configuration spaces of planar linkages having one leg of variable length. Such telescopic legs are common in modern robotics where they are used for shock absorbtion and serve a variety of other purposes. Using a Morse theoretic technique, we compute explicitly, in terms of the metric data, the Betti numbers of configuration spaces of these mechanisms. △ Less

Submitted 16 September, 2009; originally announced September 2009.

MSC Class: 57N65; 68T40

Journal ref: Algebr. Geom. Topol. 10 (2010) 1063-1087

Topology of Random Right Angled Artin Groups

Authors: Armindo Costa, Michael Farber

Abstract: In this paper we study topological invariants of a class of random groups. Namely, we study right angled Artin groups associated to random graphs and investigate their Betti numbers, cohomological dimension and topological complexity. The latter is a numerical homotopy invariant reflecting complexity of motion planning algorithms in robotics. We show that the topological complexity of a random rig… ▽ More In this paper we study topological invariants of a class of random groups. Namely, we study right angled Artin groups associated to random graphs and investigate their Betti numbers, cohomological dimension and topological complexity. The latter is a numerical homotopy invariant reflecting complexity of motion planning algorithms in robotics. We show that the topological complexity of a random right angled Artin group assumes, with probability tending to one, at most three values. We use a result of Cohen and Pruidze which expresses the topological complexity of right angled Artin groups in combinatorial terms. Our proof deals with the existence of bi-cliques in random graphs. △ Less

Submitted 8 January, 2011; v1 submitted 4 September, 2009; originally announced September 2009.

Comments: 20 pages, 2 figures

MSC Class: 05C80; 55M99; 20F36

Topology of Configuration Space of Two Particles on a Graph, I

Authors: Kathryn Barnett, Michael Farber

Abstract: In this paper we study the homology and cohomology of confguration spaces of two distinct particles on a graph. Our main tool is intersection theory for cycles in graphs. We obtain an explicit description of the cohomology algebra of the configuration space in the case of planar graphs. In this paper we study the homology and cohomology of confguration spaces of two distinct particles on a graph. Our main tool is intersection theory for cycles in graphs. We obtain an explicit description of the cohomology algebra of the configuration space in the case of planar graphs. △ Less

Submitted 12 March, 2009; originally announced March 2009.

Comments: 31 pages, 15 figures

MSC Class: 55R80; 57M15.

On the cohomology ring of chains in $R^d$

Authors: Michael Farber, Jean-Claude Hausmann, Dirk Schuetz

Abstract: We prove that the spaces of chains in $\bbr^d$ for $d\geq 3$ are determined by their (${\rm mod}2$)-cohomology rings. We prove that the spaces of chains in $\bbr^d$ for $d\geq 3$ are determined by their (${\rm mod}2$)-cohomology rings. △ Less

Submitted 17 March, 2010; v1 submitted 3 March, 2009; originally announced March 2009.

Comments: 17 pages, 1 figures. This new version contains a more developed introduction, 2 more figures and more references.

MSC Class: 55R80; 70G40; 57R19

Topological complexity of collision-free motion planning on surfaces

Authors: Daniel C. Cohen, Michael Farber

Abstract: The topological complexity TC(X) is a numerical homotopy invariant of a topological space X which is motivated by robotics and is similar in spirit to the classical Lusternik-Schnirelmann category of X. Given a mechanical system with configuration space X, the invariant TC(X) measures the complexity of all possible motion planning algorithms designed for the system. In this paper, we compute t… ▽ More The topological complexity TC(X) is a numerical homotopy invariant of a topological space X which is motivated by robotics and is similar in spirit to the classical Lusternik-Schnirelmann category of X. Given a mechanical system with configuration space X, the invariant TC(X) measures the complexity of all possible motion planning algorithms designed for the system. In this paper, we compute the topological complexity of the configuration space of n distinct ordered points on an orientable surface. Our main tool is a theorem of B. Totaro describing the cohomology of configuration spaces of algebraic varieties. △ Less

Submitted 7 January, 2009; originally announced January 2009.

MSC Class: 20F36; 55M30; 55R80

Journal ref: Compositio Mathematica 147 (2011), 649-660

Closed 1-Forms in Topology and Geometric Group Theory

Authors: Michael Farber, Ross Geoghegan, Dirk Schuetz

Abstract: In this article we describe relations of the topology of closed 1-forms to the group theoretic invariants of Bieri-Neumann-Strebel-Renz. Starting with a survey, we extend these Sigma invariants to finite CW- complexes and show that many properties of the group theoretic version have analogous statements. In particular we show the relation between Sigma invariants and finiteness properties of cer… ▽ More In this article we describe relations of the topology of closed 1-forms to the group theoretic invariants of Bieri-Neumann-Strebel-Renz. Starting with a survey, we extend these Sigma invariants to finite CW- complexes and show that many properties of the group theoretic version have analogous statements. In particular we show the relation between Sigma invariants and finiteness properties of certain infinite covering spaces. We also discuss applications of these invariants to the Lusternik- Schnirelmann category of a closed 1-form and to the existence of a non- singular closed 1-form in a given cohomology class on a high-dimensional closed manifold. △ Less

Submitted 6 October, 2008; originally announced October 2008.

Comments: 32 pages

MSC Class: 58E05; 55N25; 55U99

Closed 1-forms in topology and dynamics

Authors: Michael Farber, Dirk Schuetz

Abstract: This article surveys recent progress of results in topology and dynamics based on techniques of closed one-forms. Our approach allows us to draw conclusions about properties of flows by studying homotopical and cohomological features of manifolds. More specifically we describe a Lusternik - Schnirelmann type theory for closed one-forms, the focusing effect for flows and the theory of Lyapunov on… ▽ More This article surveys recent progress of results in topology and dynamics based on techniques of closed one-forms. Our approach allows us to draw conclusions about properties of flows by studying homotopical and cohomological features of manifolds. More specifically we describe a Lusternik - Schnirelmann type theory for closed one-forms, the focusing effect for flows and the theory of Lyapunov one-forms. We also discuss recent results about cohomological treatment of the invariants cat(X, ξ) and cat^1(X, ξ) and their explicit computation in certain examples. △ Less

Submitted 8 November, 2008; v1 submitted 21 July, 2008; originally announced July 2008.

Comments: 65 pages, 12 figures

MSC Class: 58E05; 55N25; 55U99

Motion planning in spaces with small fundamental group

Authors: Armindo Costa, Michael Farber

Abstract: We establish sharp upper bounds for the topological complexity of motion planning problem in spaces with small fundamental group, i.e. when it is finite of small order or has small cohomological dimension. We establish sharp upper bounds for the topological complexity of motion planning problem in spaces with small fundamental group, i.e. when it is finite of small order or has small cohomological dimension. △ Less

Submitted 25 June, 2008; originally announced June 2008.

MSC Class: 55M99; 55R80; 68T40.

Topological complexity of configuration spaces

Authors: Michael Farber, Mark Grant

Abstract: The topological complexity TC(X) is a homotopy invariant which reflects the complexity of the problem of constructing a motion planning algorithm in the space X, viewed as configuration space of a mechanical system. In this paper we complete the computation of the topological complexity of the configuration space of n distinct points in Euclidean m-space for all m>1$ and n>1; the answer was prev… ▽ More The topological complexity TC(X) is a homotopy invariant which reflects the complexity of the problem of constructing a motion planning algorithm in the space X, viewed as configuration space of a mechanical system. In this paper we complete the computation of the topological complexity of the configuration space of n distinct points in Euclidean m-space for all m>1$ and n>1; the answer was previously known in the cases m=2 and m odd. We also give several useful general results concerning sharpness of upper bounds for the topological complexity. △ Less

Submitted 25 June, 2008; originally announced June 2008.

MSC Class: 55M99; 55R80; 68T40.

Topology of randon linkages

Authors: Michael Farber

Abstract: Betti numbers of configuration spaces of mechanical linkages (known also as polygon spaces) depend on a large number of parameters -- the lengths of the bars of the linkage. Motivated by applications in topological robotics, statistical shape theory and molecular biology, we view these lengths as random variables and study asymptotic values of the average Betti numbers as the number of links n t… ▽ More Betti numbers of configuration spaces of mechanical linkages (known also as polygon spaces) depend on a large number of parameters -- the lengths of the bars of the linkage. Motivated by applications in topological robotics, statistical shape theory and molecular biology, we view these lengths as random variables and study asymptotic values of the average Betti numbers as the number of links n tends to infinity. We establish a surprising fact that for a reasonably ample class of sequences of probability measures the asymptotic values of the average Betti numbers are independent of the choice of the measure. The main results of the paper apply to planar linkages as well as for linkages in R^3. We also prove results about higher moments of Betti numbers. △ Less

Submitted 22 August, 2007; originally announced August 2007.

Comments: 15 pages, 2 figures

MSC Class: 60B99

On the conjecture of Kevin Walker

Authors: Michael Farber, Jean-Claude Hausmann, Dirk Schuetz

Abstract: In 1985 Kevin Walker in his study of topology of polygon spaces raised an interesting conjecture in the spirit of the well-known question "Can you hear the shape of a drum?" of Marc Kac. Roughly, Walker's conjecture asks if one can recover relative lengths of the bars of a linkage from intrinsic algebraic properties of the cohomology algebra of its configuration space. In this paper we prove tha… ▽ More In 1985 Kevin Walker in his study of topology of polygon spaces raised an interesting conjecture in the spirit of the well-known question "Can you hear the shape of a drum?" of Marc Kac. Roughly, Walker's conjecture asks if one can recover relative lengths of the bars of a linkage from intrinsic algebraic properties of the cohomology algebra of its configuration space. In this paper we prove that the conjecture is true for polygon spaces in R^3. We also prove that for planar polygon spaces the conjecture holds is several modified forms: (a) if one takes into account the action of a natural involution on cohomology, (b) if the cohomology algebra of the involution's orbit space is known, or (c) if the length vector is normal. Some of our results allow the length vector to be non-generic, the corresponding polygon spaces have singularities. Our main tool is the study of the natural involution and its action on cohomology. A crucial role in our proof plays the solution of the isomorphism problem for monoidal rings due to J. Gubeladze. △ Less

Submitted 22 August, 2007; originally announced August 2007.

MSC Class: 55R80

Robot motion planning, weights of cohomology classes, and cohomology operations

Authors: Michael Farber, Mark Grant

Abstract: The complexity of algorithms solving the motion planning problem is measured by a homotopy invariant TC(X) of the configuration space X of the system. Previously known lower bounds for TC(X) use the structure of the cohomology algebra of X. In this paper we show how cohomology operations can be used to sharpen these lower bounds for TC(X). As an application of this technique we calculate explici… ▽ More The complexity of algorithms solving the motion planning problem is measured by a homotopy invariant TC(X) of the configuration space X of the system. Previously known lower bounds for TC(X) use the structure of the cohomology algebra of X. In this paper we show how cohomology operations can be used to sharpen these lower bounds for TC(X). As an application of this technique we calculate explicitly the topological complexity of various lens spaces. The results of the paper were inspired by the work of E. Fadell and S. Husseini on weights of cohomology classes appearing in the classical lower bounds for the Lusternik - Schnirelmann category. In the appendix to this paper we give a very short proof of a generalized version of their result. △ Less

Submitted 7 July, 2007; v1 submitted 17 June, 2007; originally announced June 2007.

Comments: 10 pages; Revised version (changes only in section 5)

MSC Class: 55M99; 68T40

Betti numbers of random manifolds

Authors: Michael Farber, Thomas Kappeler

Abstract: We study mathematical expectations of Betti numbers of configuration spaces of planar linkages, viewing the lengths of the bars of the linkage as random variables. Our main result gives an explicit asymptotic formulae for these mathematical expectations for two distinct probability measures describing the statistics of the length vectors when the number of links tends to infinity. In the proof w… ▽ More We study mathematical expectations of Betti numbers of configuration spaces of planar linkages, viewing the lengths of the bars of the linkage as random variables. Our main result gives an explicit asymptotic formulae for these mathematical expectations for two distinct probability measures describing the statistics of the length vectors when the number of links tends to infinity. In the proof we use a combination of geometric and analytic tools. The average Betti numbers are expressed in terms of volumes of intersections of a simplex with certain half-spaces. △ Less

Submitted 30 March, 2007; originally announced March 2007.

Symmetric Motion Planning

Authors: Michael Farber, Mark Grant

Abstract: In this paper we study symmetric motion planning algorithms, i.e. such that the motion from one state A to another B, prescribed by the algorithm, is the time reverse of the motion from B to A. We experiment with several different notions of topological complexity of such algorithms and compare them with each other and with the usual (non-symmetric) concept of topological complexity. Using equiv… ▽ More In this paper we study symmetric motion planning algorithms, i.e. such that the motion from one state A to another B, prescribed by the algorithm, is the time reverse of the motion from B to A. We experiment with several different notions of topological complexity of such algorithms and compare them with each other and with the usual (non-symmetric) concept of topological complexity. Using equivariant cohomology and the theory of Schwarz genus we obtain cohomological lower bounds for symmetric topological complexity. One of our main results states that in the case of aspherical manifolds the complexity of symmetric motion planning algorithms with fixed midpoint map exceeds twice the cup-length. We introduce a new concept, the sectional category weight of a cohomology class, which generalises the notion of category weight developed earlier by E. Fadell and S. Husseini. We apply this notion to study the symmetric topological complexity of aspherical manifolds. △ Less

Submitted 27 October, 2006; originally announced October 2006.

MSC Class: 70Q05; 55S40; 55N91

Topological complexity of collision free motion planning algorithms in the presence of multiple moving obstacles

Authors: Michael Farber, Mark Grant, Sergey Yuzvinsky

Abstract: We study motion planning algorithms for collision free control of multiple objects in the presence of moving obstacles. We compute the topological complexity of algorithms solving this problem. We apply topological tools and use information about cohomology algebras of configuration spaces. The results of the paper may potentially be used in systems of automatic traffic control. We study motion planning algorithms for collision free control of multiple objects in the presence of moving obstacles. We compute the topological complexity of algorithms solving this problem. We apply topological tools and use information about cohomology algebras of configuration spaces. The results of the paper may potentially be used in systems of automatic traffic control. △ Less

Submitted 17 September, 2006; originally announced September 2006.

MSC Class: 55R80; 93C83

Homological category weights and estimates for cat^1(X,ξ)

Authors: Michael Farber, Dirk Schuetz

Abstract: In this paper we study a new notion of category weight of homology classes develo** further the ideas of E. Fadell and S. Husseini. In the case of closed smooth manifolds the homological category weight is equivalent to the cohomological category weight of E. Fadell and S. Husseini but these two notions are distinct already for Poincaré complexes. An important advantage of the homological cat… ▽ More In this paper we study a new notion of category weight of homology classes develo** further the ideas of E. Fadell and S. Husseini. In the case of closed smooth manifolds the homological category weight is equivalent to the cohomological category weight of E. Fadell and S. Husseini but these two notions are distinct already for Poincaré complexes. An important advantage of the homological category weight is its homotopy invariance. We use the notion of homological category weight to study various generalizations of the Lusternik - Schnirelmann category which appeared in the theory of closed one-forms and have applications in dynamics. Our primary goal is to compare two such invariants $\cat(X,ξ)$ and $\cat^1(X,ξ)$ which are defined similarly with reversion of the order of quantifiers. We compute these invariants explicitly for products of surfaces and show that they may differ by an arbitrarily large quantity. The proof of one of our main results, Theorem \ref{main2}, uses an algebraic characterization of homology classes $z\in H_i(\tilde X;\Z)$ (where $\tilde X\to X$ is a free abelian covering) which are movable to infinity of $\tilde X$ with respect to a prescribed cohomology class $ξ\in H^1(X;\R)$. This result is established in Part II which can be read independently of the rest of the paper. △ Less

Submitted 5 September, 2006; originally announced September 2006.

MSC Class: 55N25; 55U99

Homology of planar polygon spaces

Authors: Michael Farber, Dirk Schuetz

Abstract: In this paper we study topology of the variety of closed planar polygons with given side lengths. We describe the Betti numbers of the moduli spaces as functions of the length vector. We also find sharp upper bounds on the sum of Betti numbers of the moduli space depending only on the number of links n. Our method is based on an observation of a remarkable interaction between Morse functions and… ▽ More In this paper we study topology of the variety of closed planar polygons with given side lengths. We describe the Betti numbers of the moduli spaces as functions of the length vector. We also find sharp upper bounds on the sum of Betti numbers of the moduli space depending only on the number of links n. Our method is based on an observation of a remarkable interaction between Morse functions and involutions under the condition that the fixed points of the involution coincide with the critical points of the Morse function. △ Less

Submitted 5 September, 2006; originally announced September 2006.

MSC Class: 58Exx

Cohomological estimates for $\cat(X,ξ)$

Authors: Michael Farber, Dirk Schuetz

Abstract: This paper studies the homotopy invariant $\cat(X,ξ)$ introduced in \cite{farbe2}. Given a finite cell-complex $X$, we study the function $ξ\mapsto \cat(X,ξ)$ where $ξ$ varies in the cohomology space $H^1(X;\R)$. Note that $\cat(X,ξ)$ turns into the classical Lusternik - Schnirelmann category $\cat(X)$ in the case $ξ=0$. Interest in $\cat(X,ξ)$ is based on its applications in dynamics where it e… ▽ More This paper studies the homotopy invariant $\cat(X,ξ)$ introduced in \cite{farbe2}. Given a finite cell-complex $X$, we study the function $ξ\mapsto \cat(X,ξ)$ where $ξ$ varies in the cohomology space $H^1(X;\R)$. Note that $\cat(X,ξ)$ turns into the classical Lusternik - Schnirelmann category $\cat(X)$ in the case $ξ=0$. Interest in $\cat(X,ξ)$ is based on its applications in dynamics where it enters estimates of complexity of the chain recurrent set of a flow admitting Lyapunov closed 1-forms. △ Less

Submitted 31 August, 2006; originally announced September 2006.

MSC Class: 58E05; 55N25; 55U99

Journal ref: Geom. Topol. 11 (2007) 1255-1288

Novikov-Betti numbers and the fundamental group

Authors: Michael Farber, Dirk Schuetz

Abstract: We prove that nonvanishing of the first Novikov-Betti number implies that the fundamental group contains a nonabelian free subgroup. We prove that nonvanishing of the first Novikov-Betti number implies that the fundamental group contains a nonabelian free subgroup. △ Less

Submitted 31 August, 2006; originally announced September 2006.

Collision Free Motion Planning on Graphs

Authors: Michael Farber

Abstract: A topological theory initiated recently by the author uses methods of algebraic topology to estimate numerically the character of instabilities arising in motion planning algorithms. The present paper studies random motion planning algorithms and reveals how the topology of the robot's configuration space influences their structure. We prove that the topological complexity of motion planning TC(… ▽ More A topological theory initiated recently by the author uses methods of algebraic topology to estimate numerically the character of instabilities arising in motion planning algorithms. The present paper studies random motion planning algorithms and reveals how the topology of the robot's configuration space influences their structure. We prove that the topological complexity of motion planning TC(X) coincides with the minimal n such that there exists an n-valued random motion planning algorithm for the system; here $X$ denotes the configuration space. We study in detail the problem of collision free motion of several objects on a graph G. We describe an explicit motion planning algorithm for this problem. We prove that if G is a tree and if the number of objects is large enough, then the topological complexity of this motion planning problem equals 2m(G)+1 where m(G) is the number of the essential vertices of G. It turns out (in contrast with the results on the collision free control of many objects in space obtained earlier jointly with S. Yuzvinsky) that the topological complexity is independent of the number of particles. △ Less

Submitted 18 June, 2004; originally announced June 2004.

L^2 torsion without the determinant class condition and extended L^2 cohomology

Authors: M. Braverman, A. Carey, M. Farber, V. Mathai

Abstract: We associate determinant lines to objects of the extended abelian category built out of a von Neumann category with a trace. Using this we suggest constructions of the combinatorial and the analytic L^2 torsions which, unlike the work of the previous authors, requires no additional assumptions; in particular we do not impose the determinant class condition. The resulting torsions are elements of… ▽ More We associate determinant lines to objects of the extended abelian category built out of a von Neumann category with a trace. Using this we suggest constructions of the combinatorial and the analytic L^2 torsions which, unlike the work of the previous authors, requires no additional assumptions; in particular we do not impose the determinant class condition. The resulting torsions are elements of the determinant line of the extended L^2 cohomology. Under the determinant class assumption the L^2 torsions of this paper specialize to the invariants studied in our previous work. Applying a recent theorem of D. Burghelea, L. Friedlander and T. Kappeler we obtain a Cheeger - Muller type theorem stating the equality between the combinatorial and the analytic L^2 torsions. △ Less

Submitted 10 June, 2004; originally announced June 2004.

Comments: 39 pages

Journal ref: Commun. in Contemporary Math. vol. 7 no. 4 (2005) 421-462

Smooth Lyapunov 1-forms

Authors: M. Farber, T. Kappeler, J. Latschev, E. Zehnder

Abstract: We find conditions which guarantee that a given flow on a closed smooth manifold admits a smooth Lyapunov one-form lying in a prescribed de Rham cohomology class. These conditions are formulated in terms of Schwartzman's asymptotic cycles of the flow. We find conditions which guarantee that a given flow on a closed smooth manifold admits a smooth Lyapunov one-form lying in a prescribed de Rham cohomology class. These conditions are formulated in terms of Schwartzman's asymptotic cycles of the flow. △ Less

Submitted 10 April, 2003; originally announced April 2003.

Comments: 11 pages, 1 figure

MSC Class: 37B25; 37C99

Lyapunov 1-forms for flows

Authors: M. Farber, T. Kappeler, J. Latschev, E. Zehnder

Abstract: In this paper we find conditions which guarantee that a given flow $Φ$ on a compact metric space $X$ admits a Lyapunov one-form $ω$ lying in a prescribed Čech cohomology class $ξ\in \check H^1(X;\R)$. These conditions are formulated in terms of the restriction of $ξ$ to the chain recurrent set of $Φ$. The result of the paper may be viewed as a generalization of a well-known theorem of C. Conley… ▽ More In this paper we find conditions which guarantee that a given flow $Φ$ on a compact metric space $X$ admits a Lyapunov one-form $ω$ lying in a prescribed Čech cohomology class $ξ\in \check H^1(X;\R)$. These conditions are formulated in terms of the restriction of $ξ$ to the chain recurrent set of $Φ$. The result of the paper may be viewed as a generalization of a well-known theorem of C. Conley about the existence of Lyapunov functions. △ Less

Submitted 10 February, 2003; v1 submitted 31 October, 2002; originally announced October 2002.

Comments: 27 pages, 3 figures. This revised version incorporates a few minor improvements

Topological Robotics: Subspace Arrangements and Collision Free Motion Planning

Authors: Michael Farber, Sergey Yuzvinsky

Abstract: We study an elementary problem of the topological robotics: collective motion of a set of $n$ distinct particles which one has to move from an initial configuration to a final configuration, with the requirement that no collisions occur in the process of motion. The ultimate goal is to construct an algorithm which will perform this task once the initial and the final configurations are given. Th… ▽ More We study an elementary problem of the topological robotics: collective motion of a set of $n$ distinct particles which one has to move from an initial configuration to a final configuration, with the requirement that no collisions occur in the process of motion. The ultimate goal is to construct an algorithm which will perform this task once the initial and the final configurations are given. This reduces to a topological problem of finding the topological complexity TC(C_n(\R^m)) of the configutation space C_n(\R^m) of $n$ distinct ordered particles in \R^m. We solve this problem for m=2 (the planar case) and for all odd m, including the case m=3 (particles in the three-dimensional space). We also study a more general motion planning problem in Euclidean space with a hyperplane arrangement as obstacle. △ Less

Submitted 8 October, 2002; originally announced October 2002.

Comments: 11 pages

Topological robotics: motion planning in projective spaces

Authors: Michael Farber, Serge Tabachnikov, Sergey Yuzvinsky

Abstract: We study an elementary problem of topological robotics: rotation of a line, which is fixed by a revolving joint at a base point: one wants to bring the line from its initial position to a final position by a continuous motion in the space. The final goal is to construct an algorithm which will perform this task once the initial and final positions are given. Any such motion planning algorithm… ▽ More We study an elementary problem of topological robotics: rotation of a line, which is fixed by a revolving joint at a base point: one wants to bring the line from its initial position to a final position by a continuous motion in the space. The final goal is to construct an algorithm which will perform this task once the initial and final positions are given. Any such motion planning algorithm will have instabilities, which are caused by topological reasons. A general approach to study instabilities of robot motion was suggested recently by the first named author. With any path-connected topological space X one associates a number TC(X), called the topological complexity of X. This number is of fundamental importance for the motion planning problem: TC(X) determines character of instabilities which have all motion planning algorithms in X. In the present paper we study the topological complexity of real projective spaces. In particular we compute TC(RP^n) for all n<24. Our main result is that (for n distinct from 1, 3, 7) the problem of calculating of TC(RP^n) is equivalent to finding the smallest k such that RP^n can be immersed into the Euclidean space R^{k-1}. △ Less

Submitted 2 October, 2002; originally announced October 2002.

Comments: 16 pages

Instabilities of Robot Motion

Authors: Michael Farber

Abstract: Instabilities of robot motion are caused by topological reasons. In this paper we find a relation between the topological properties of a configuration space (the structure of its cohomology algebra) and the character of instabilities, which are unavoidable in any motion planning algorithm. More specifically, let $X$ denote the space of all admissible configurations of a mechanical system. A {\i… ▽ More Instabilities of robot motion are caused by topological reasons. In this paper we find a relation between the topological properties of a configuration space (the structure of its cohomology algebra) and the character of instabilities, which are unavoidable in any motion planning algorithm. More specifically, let $X$ denote the space of all admissible configurations of a mechanical system. A {\it motion planner} is given by a splitting $X\times X = F_1\cup F_2\cup ... \cup F_k$ (where $F_1, ..., F_k$ are pairwise disjoint ENRs, see below) and by continuous maps $s_j: F_j \to PX,$ such that $E\circ s_j =1_{F_j}$. Here $PX$ denotes the space of all continuous paths in $X$ (admissible motions of the system) and $E: PX\to X\times X$ denotes the map which assigns to a path the pair of its initial -- end points. Any motion planner determines an algorithm of motion planning for the system. In this paper we apply methods of algebraic topology to study the minimal number of sets $F_j$ in any motion planner in $X$. We also introduce a new notion of {\it order of instability} of a motion planner; it describes the number of essentially distinct motions which may occur as a result of small perturbations of the input data. We find the minimal order of instability, which may have motion planners on a given configuration space $X$. We study a number of specific problems: motion of a rigid body in $\R^3$, a robot arm, motion in $\R^3$ in the presence of obstacles, and others. △ Less

Submitted 12 May, 2002; originally announced May 2002.

Comments: 26 pages, 5 figures

ACM Class: I.2.9; I.3.5

Lusternik - Schnirelman theory and dynamics

Authors: Michael Farber

Abstract: In this paper we study a new topological invariant $\Cat(X,ξ)$, where $X$ is a finite polyhedron and $ξ\in H^1(X;\R)$ is a real cohomology class. $\Cat(X,ξ)$ is defined using open covers of $X$ with certain geometric properties; it is a generalization of the classical Lusternik -- Schnirelman category. We show that $\Cat(X,ξ)$ depends only on the homotopy type of $(X,ξ)$. We prove that… ▽ More In this paper we study a new topological invariant $\Cat(X,ξ)$, where $X$ is a finite polyhedron and $ξ\in H^1(X;\R)$ is a real cohomology class. $\Cat(X,ξ)$ is defined using open covers of $X$ with certain geometric properties; it is a generalization of the classical Lusternik -- Schnirelman category. We show that $\Cat(X,ξ)$ depends only on the homotopy type of $(X,ξ)$. We prove that $\Cat(X,ξ)$ allows to establish a relation between the number of equilibrium states of dynamical systems and their global dynamical properties (such as existence of homoclinic cycles and the structure of the set of chain recurrent points). In the paper we give a cohomological lower bound for $\Cat(X,ξ)$, which uses cup-products of cohomology classes of flat line bundles with monodromy described by complex numbers, which are not Dirichlet units. △ Less

Submitted 11 April, 2002; originally announced April 2002.

Comments: 20 pages

MSC Class: 58Exx

Topological complexity of motion planning

Authors: Michael Farber

Abstract: In this paper we study a notion of topological complexity for the motion planning problem. The topological complexity is a number which measures discontinuity of the process of motion planning in the configuration space X. More precisely, it is the minimal number k such that there are k different motion planning rules, each defined on an open subset of XxX, so that each rule is continuous in the… ▽ More In this paper we study a notion of topological complexity for the motion planning problem. The topological complexity is a number which measures discontinuity of the process of motion planning in the configuration space X. More precisely, it is the minimal number k such that there are k different motion planning rules, each defined on an open subset of XxX, so that each rule is continuous in the source and target configurations. We use methods of algebraic topology (the Lusternik - Schnirelman theory) to study the topological complexity . We give an upper bound (in terms of the dimension of the configuration space X) and also a lower bound (in the terms of the structure of the cohomology algebra of X). We explicitly compute the topological complexity of motion planning for a number of configuration spaces: for spheres, two-dimensional surfaces, for products of spheres. In particular, we completely calculate the topological complexity of the problem of motion planning for a robot arm in the absence of obstacles. △ Less

Submitted 18 November, 2001; originally announced November 2001.

Comments: 11 pages. 3 figures

MSC Class: 37Cxx; 58Exx; 53Dxx

Periodic trajectories in 3-dimensional convex billiards

Authors: Michael Farber, Serge Tabachnikov

Abstract: We give lower bound on the number of periodic billiard trajectories inside a generic smooth strictly convex closed surface in 3-space: for odd n, there are at least 2(n-1) such trajectories. We apply a topological approach based on the calculation of cohomology of certain configuration spaces. We give lower bound on the number of periodic billiard trajectories inside a generic smooth strictly convex closed surface in 3-space: for odd n, there are at least 2(n-1) such trajectories. We apply a topological approach based on the calculation of cohomology of certain configuration spaces. △ Less

Submitted 7 June, 2001; originally announced June 2001.

Comments: 8 pages

MSC Class: 3Dxx; 58Exx

Zeros of closed 1-forms, homoclinic orbits, and Lusternik - Schnirelman theory

Authors: Michael Farber

Abstract: In this paper we study topological lower bounds on the number of zeros of closed 1-forms without Morse type assumptions. We prove that one may always find a representing closed 1-form having at most one zero. We introduce and study a generalization $cat(X,ξ)$ of the notion of Lusternik - Schnirelman category, depending on a topological space $X$ and a cohomology class $ξ\in H^1(X;\R)$. We prove… ▽ More In this paper we study topological lower bounds on the number of zeros of closed 1-forms without Morse type assumptions. We prove that one may always find a representing closed 1-form having at most one zero. We introduce and study a generalization $cat(X,ξ)$ of the notion of Lusternik - Schnirelman category, depending on a topological space $X$ and a cohomology class $ξ\in H^1(X;\R)$. We prove that any closed 1-form has at least $cat(X,ξ)$ zeros assuming that it admits a gradient-like vector field with no homoclinic cycles. We show that the number $cat(X,ξ)$ can be estimated from below in terms of the cup-products and higher Massey products. This paper corrects some statements made in my previous papers on this subject. △ Less

Submitted 25 June, 2001; v1 submitted 7 June, 2001; originally announced June 2001.

Comments: 34 pages. A refernce added

MSC Class: 37Cxx; 58Exx; 53Dxx

Novikov - Shubin signatures, II

Authors: Michael Farber

Abstract: This paper continues math.DG/9903140. Here we construct a linking form on the torsion part of middle dimensional extended L^2 homology and cohomology of odd-dimensional manifolds. We give a geometric necessary condition when this linking form is hyperbolic. We compute this linking form in case when the manifold bounds. We introduce and study new numerical invariants of the linking form: the Novi… ▽ More This paper continues math.DG/9903140. Here we construct a linking form on the torsion part of middle dimensional extended L^2 homology and cohomology of odd-dimensional manifolds. We give a geometric necessary condition when this linking form is hyperbolic. We compute this linking form in case when the manifold bounds. We introduce and study new numerical invariants of the linking form: the Novikov - Shubin signature and the torsion signature. We compute these invariants explicitly for manifolds with $π_1 = Z$ in terms of the Blanchfield form. We develop a notion of excess for extensions of torsion modules and show how this concept can be used to guarantee vanishing of the torsion signature. △ Less

Submitted 15 June, 2000; originally announced June 2000.

Comments: 31 pages, 1 figure. To appear in "Annals of Global Analysis and Geometry"

MSC Class: 18F25; 10C05

Topology of billiard problems, II

Authors: Michael Farber

Abstract: We give topological lower bounds on the number of periodic and closed trajectories in strictly convex smooth billiards. We use variational reduction admitting a finite group of symmetries and apply topological approach based on equivariant Morse and Lusternik - Schnirelman theories. The paper continues results published in math.DG/9911226 and math.DG/0006049 We give topological lower bounds on the number of periodic and closed trajectories in strictly convex smooth billiards. We use variational reduction admitting a finite group of symmetries and apply topological approach based on equivariant Morse and Lusternik - Schnirelman theories. The paper continues results published in math.DG/9911226 and math.DG/0006049 △ Less

Submitted 12 June, 2000; originally announced June 2000.

Comments: 31 pages, 3 figures

MSC Class: 3Dxx; 58Exx

Topology of billiard problems, I

Authors: M. Farber

Abstract: Let $T\subset \R^{m+1}$ be a strictly convex domain bounded by a smooth hypersurface $X=\partial T$. In this paper we find lower bounds on the number of billiard trajectories in $T$ which have a prescribed intial point $A\in X$, a prescribed final point $B\in X$ and make a prescribed number $n$ of reflections at the boundary $X$. We apply a topological approach based on calculation of cohomology… ▽ More Let $T\subset \R^{m+1}$ be a strictly convex domain bounded by a smooth hypersurface $X=\partial T$. In this paper we find lower bounds on the number of billiard trajectories in $T$ which have a prescribed intial point $A\in X$, a prescribed final point $B\in X$ and make a prescribed number $n$ of reflections at the boundary $X$. We apply a topological approach based on calculation of cohomology rings of certain configuration spaces. △ Less

Submitted 7 June, 2000; originally announced June 2000.

Comments: 21 pages, 1 figure

MSC Class: 3Dxx; 58Exx

Topology of cyclic configuration spaces and periodic trajectories of multi-dimensional billiards

Authors: Michael Farber, Serge Tabachnikov

Abstract: We give lowed bounds on the number of periodic trajectories in strictly convex smooth billiards in $\R^{m+1}$ for $m\ge 3$. For plane billiards (when m=1) such bounds were obtained by G. Birkhoff in the 1920's. Our proof is based on topological methods of calculus of variations - equivariant Morse and Lusternik - Schirelman theories. We compute the equivariant cohomology ring of the cyclic confi… ▽ More We give lowed bounds on the number of periodic trajectories in strictly convex smooth billiards in $\R^{m+1}$ for $m\ge 3$. For plane billiards (when m=1) such bounds were obtained by G. Birkhoff in the 1920's. Our proof is based on topological methods of calculus of variations - equivariant Morse and Lusternik - Schirelman theories. We compute the equivariant cohomology ring of the cyclic configuration space of the sphere $S^m$, i.e., the space of n-tuples of points $(x_1, ..., x_n)$, where $x_i\in S^m$ and $x_i\ne x_{i+1}$ for i=1,2, ..., n. △ Less

Submitted 28 November, 1999; originally announced November 1999.

Comments: 38 pages, 4 figures

Morse-Novikov critical point theory, Cohn localization and Dirichlet units

Authors: M. Farber

Abstract: In this paper we construct a Universal chain complex, counting zeros of closed 1-forms on a manifold. The Universal complex is a refinement of the well known Novikov complex; it relates the homotopy type of the manifold, after a suitable noncommutative localization, with the numbers of zeros of different indices which may have closed 1-forms within a given cohomology class. The Main Theorem of t… ▽ More In this paper we construct a Universal chain complex, counting zeros of closed 1-forms on a manifold. The Universal complex is a refinement of the well known Novikov complex; it relates the homotopy type of the manifold, after a suitable noncommutative localization, with the numbers of zeros of different indices which may have closed 1-forms within a given cohomology class. The Main Theorem of the paper generalizes the result of a joint paper with A. Ranicki, which treats the special case of closed 1-forms having integral cohomology classes. The present paper also describes a number of new inequalities, giving topological lower bounds on the number of zeroes of closed 1-forms. In particular, such estimates are provided by the homology of flat line bundles with monodromy described by complex numbers which are not Dirichlet units. △ Less

Submitted 20 November, 1999; originally announced November 1999.

MSC Class: 57Q10

On the zero-in-the-spectrum conjecture

Authors: M. Farber, S. Weinberger

Abstract: We prove that the answer to the "zero-in-the-spectrum" conjecture, in its form, suggested by J. Lott, is negative. Namely, we show that for any n > 5 there exists a closed n-dimensional manifold M, so that zero does not belong to the spectrum of the Laplace-Beltrami operator acting on the L^2 forms of all degrees on the universal covering of M. We prove that the answer to the "zero-in-the-spectrum" conjecture, in its form, suggested by J. Lott, is negative. Namely, we show that for any n > 5 there exists a closed n-dimensional manifold M, so that zero does not belong to the spectrum of the Laplace-Beltrami operator acting on the L^2 forms of all degrees on the universal covering of M. △ Less

Submitted 11 November, 1999; originally announced November 1999.

Comments: 13 pages

MSC Class: 57Q10

Absolute torsion and eta-invariant

Authors: Michael Farber

Abstract: In a recent joint work with V. Turaev (cf. math.DG/9810114) we defined a new concept of combinatorial torsion which we called absolute torsion. Compared with the classical Reidemeister torsion it has the advantage of having a well-defined sign. Also, the absolute torsion is defined for arbitrary orientable flat vector bundles, and not only for unimodular ones, as is classical Reidemeister torsio… ▽ More In a recent joint work with V. Turaev (cf. math.DG/9810114) we defined a new concept of combinatorial torsion which we called absolute torsion. Compared with the classical Reidemeister torsion it has the advantage of having a well-defined sign. Also, the absolute torsion is defined for arbitrary orientable flat vector bundles, and not only for unimodular ones, as is classical Reidemeister torsion. In this paper I show that the sign behavior of the absolute torsion, under a continuous deformation of the flat bundle, is determined by the eta-invariant and the Pontrjagin classes. △ Less

Submitted 23 March, 1999; originally announced March 1999.

Comments: 10 pages

Novikov - Shubin signatures, I

Authors: Michael Farber

Abstract: Torsion objects of von Neumann categories describe the phenomen "spectrum near zero" discovered by S. Novikov and M. Shubin. In this paper we classify Hermitian forms on torsion objects of a finite von Neumann category. We prove that any such form can be represented as a discriminant form of a degenerate Hermitian form on a projective module. We also find a relation between the Hermitian forms o… ▽ More Torsion objects of von Neumann categories describe the phenomen "spectrum near zero" discovered by S. Novikov and M. Shubin. In this paper we classify Hermitian forms on torsion objects of a finite von Neumann category. We prove that any such form can be represented as a discriminant form of a degenerate Hermitian form on a projective module. We also find a relation between the Hermitian forms on projective modules which holds if and only if their discriminant forms are congruent. A notion of superfinite von Neumann category is introduced. It is proven that the classification of torsion Hermitian forms in a superfinite category can be completely reduced to the isomorphisn types of their positive and negative parts. △ Less

Submitted 23 March, 1999; originally announced March 1999.

Comments: 32 pages

Counting zeros of closed 1-forms

Authors: Michael Farber

Abstract: The paper suggests new topological lower bounds for the number of zeros of closed 1-forms within a given cohomology class. The main new technical tool is the deformation complex, which allows to pass to a singular limit and reduce the original problem with a closed 1-form to a traditional problem with a Morse function. We show by examples that the suggested approach may provide stronger estimate… ▽ More The paper suggests new topological lower bounds for the number of zeros of closed 1-forms within a given cohomology class. The main new technical tool is the deformation complex, which allows to pass to a singular limit and reduce the original problem with a closed 1-form to a traditional problem with a Morse function. We show by examples that the suggested approach may provide stronger estimates than the Novikov inequalities. The technique of the paper also applies to study topology of the set of zeros of closed 1-forms under Bott non-degeneracy assumptions. △ Less

Submitted 23 March, 1999; originally announced March 1999.

Comments: 13 pages

The Morse-Novikov theory of circle-valued functions and noncommutative localization

Authors: Michael Farber, Andrew Ranicki

Abstract: We use noncommutative localization to construct a chain complex which counts the critical points of a circle-valued Morse function on a manifold, generalizing the Novikov complex. As a consequence we obtain new topological lower bounds on the minimum number of critical points of a circle-valued Morse function within a homotopy class, generalizing the Novikov inequalities. We use noncommutative localization to construct a chain complex which counts the critical points of a circle-valued Morse function on a manifold, generalizing the Novikov complex. As a consequence we obtain new topological lower bounds on the minimum number of critical points of a circle-valued Morse function within a homotopy class, generalizing the Novikov inequalities. △ Less

Submitted 20 December, 1998; originally announced December 1998.

Topology of closed 1-forms and their critical points

Authors: Michael Farber

Abstract: In this paper I suggest an alternative approach (using generic flat bundles and higher Massey products) to a Lusternik-Schnirelman type theory for closed 1-forms (cf. also math.DG/9811113) In this paper I suggest an alternative approach (using generic flat bundles and higher Massey products) to a Lusternik-Schnirelman type theory for closed 1-forms (cf. also math.DG/9811113) △ Less

Submitted 30 November, 1998; originally announced November 1998.

Comments: 21 pages

Lusternik-Schnirelman theory for closed 1-forms

Authors: Michael Farber

Abstract: S.P.Novikov developed an analog of the Morse theory for closed 1-forms. In this paper I suggest an analog of the Lusternik - Schnirelman theory for closed 1-forms. S.P.Novikov developed an analog of the Morse theory for closed 1-forms. In this paper I suggest an analog of the Lusternik - Schnirelman theory for closed 1-forms. △ Less

Submitted 18 November, 1998; originally announced November 1998.

Von Neumann Betti numbers and Novikov type inequalities

Authors: Michael Farber

Abstract: It is shown that the Novikov inequalities for critical points of closed 1-forms hold with the von Neumann Betti numbers replacing the Novikov numbers. As a corollary we obtain a vanishing theorem for $L^2$ cohomology, generalizing a theorem of W. Lueck. We also prove that von Neumann Betti numbers coincide with the Novikov numbers for free abelian coverings. It is shown that the Novikov inequalities for critical points of closed 1-forms hold with the von Neumann Betti numbers replacing the Novikov numbers. As a corollary we obtain a vanishing theorem for $L^2$ cohomology, generalizing a theorem of W. Lueck. We also prove that von Neumann Betti numbers coincide with the Novikov numbers for free abelian coverings. △ Less

Submitted 18 October, 1998; originally announced October 1998.

Comments: 9 pages

Massey products and critical points

Authors: Michael Farber

Abstract: In this note I use cup-products and higher Massey products to find topological lower bounds on the number of geometrically distinct critical points of any closed 1-form in a given cohomology class. In this note I use cup-products and higher Massey products to find topological lower bounds on the number of geometrically distinct critical points of any closed 1-form in a given cohomology class. △ Less

Submitted 6 October, 1998; originally announced October 1998.

Comments: 5 pages

Absolute torsion

Authors: Michael Farber, Vladimir Turaev

Abstract: In this paper we use the results of our previous work in order to compute the phase of the torsion of an Euler structure in terms of its characteristic class. Also, we introduce here a new notion of an absolute torsion, which does not require a choice of any additional topological information (like an Euler structure). We prove that in the case of closed 3-manifolds obtained by 0-framed surgery… ▽ More In this paper we use the results of our previous work in order to compute the phase of the torsion of an Euler structure in terms of its characteristic class. Also, we introduce here a new notion of an absolute torsion, which does not require a choice of any additional topological information (like an Euler structure). We prove that in the case of closed 3-manifolds obtained by 0-framed surgery on a classical knot the absolute torsion is equivalent to the Conway polynomial. Hence the absolute torsion can be viewed as a high-dimensional generalization of the Conway polynomial. △ Less

Submitted 6 October, 1998; originally announced October 1998.

Comments: 13 pages

Signature via Novikov numbers

Authors: Michael Farber

Abstract: It is shown that the signature of a manifold with a symplectic circle action having only isolated fixed points, equals the alternating sum of the Novikov numbers corresponding to the cohomology class of the generalized moment map. The same is true for more general fixed point sets. It is shown that the signature of a manifold with a symplectic circle action having only isolated fixed points, equals the alternating sum of the Novikov numbers corresponding to the cohomology class of the generalized moment map. The same is true for more general fixed point sets. △ Less

Submitted 5 October, 1998; originally announced October 1998.

Comments: 4 pages

Poincaré - Reidemeister metric, Euler structures, and torsion

Authors: Michael Farber, Vladimir Turaev

Abstract: In this paper we define a Poincaré-Reidemeister scalar product on the determinant line of the cohomology of any flat vector bundle over a closed orientable odd-dimensional manifold. It is a combinatorial "torsion-type" invariant which refines the PR-metric, introduced earlier by the first author, and contains an additional sign or phase information. We compute the PR-scalar product in terms of t… ▽ More In this paper we define a Poincaré-Reidemeister scalar product on the determinant line of the cohomology of any flat vector bundle over a closed orientable odd-dimensional manifold. It is a combinatorial "torsion-type" invariant which refines the PR-metric, introduced earlier by the first author, and contains an additional sign or phase information. We compute the PR-scalar product in terms of the torsions of Euler structures, introduced earlier by the second author. We show that the sign of our PR-scalar product is determined by the Stiefel-Whitney classes and the semi-characteristic of the manifold. As an application, we compute the Ray-Singer analytic torsion via the torsions of Euler structures. Another application: a computation of the twisted semi-characteristic in terms of the Stiefel-Whitney classes. △ Less

Submitted 16 May, 1998; v1 submitted 27 March, 1998; originally announced March 1998.

Comments: 3 figures, AmsTex; Theorems 4.4 and 11.2 improved

Witten deformation and polynomial differential forms

Authors: Michael Farber, Eugenii Shustin

Abstract: As is well-known, the Witten deformation of the De Rham complex computes the De Rham cohomology. In this paper we study the Witten deformation on a noncompact manifold and restrict it to differential forms which behave polynomially near infinity. Such polynomial differential forms naturally appear on manifolds with a cylindrical structure. We prove that the cohomology of the Witten deformation a… ▽ More As is well-known, the Witten deformation of the De Rham complex computes the De Rham cohomology. In this paper we study the Witten deformation on a noncompact manifold and restrict it to differential forms which behave polynomially near infinity. Such polynomial differential forms naturally appear on manifolds with a cylindrical structure. We prove that the cohomology of the Witten deformation acting on the complex of the polynomially growing forms can be computed as the relative cohomology of the manifold with respect to the negative remote fiber of the function. We show that the assumptions of our main theorem are satisfied in a number of interesting special cases, including generic real polynomials. △ Less

Submitted 27 March, 1998; originally announced March 1998.

Comments: 27 pages, 4 figures, AmsTex

Morse theory of harmonic forms

Authors: Michael Farber, Gabriel Katz, Jerome Levine

Abstract: We consider the problem of whether it is possible to improve the Novikov inequalities for closed 1-forms, or any other inequalities of a similar nature, if we assume, additionally, that the given 1-form is harmonic with respect to some Riemannian metric. We show that, under suitable assumptions, it is impossible. We use, in an essential way, a theorem of E.Calabi characterizing 1-forms which are… ▽ More We consider the problem of whether it is possible to improve the Novikov inequalities for closed 1-forms, or any other inequalities of a similar nature, if we assume, additionally, that the given 1-form is harmonic with respect to some Riemannian metric. We show that, under suitable assumptions, it is impossible. We use, in an essential way, a theorem of E.Calabi characterizing 1-forms which are harmonic with respect to some metric. We also study some interesting examples illustrating our results. △ Less

Submitted 11 November, 1997; originally announced November 1997.

Comments: 16 pages, AMSTex, 12 figures