on the space of smooth based maps Map(Σ, X), would encode a lot of the topology of the space in terms of the critical points of the functional. These critical points are harmonic maps; the absolute minima, in particular, are often of special interest. It has been known, however, at least since the work of Sachs-Uhlenbeck that the Palais-Smale condition C fails for this functional, making a good Morse theory impossible. Nevertheless, in some cases, there is a sense in which the conclusions of Morse theory seem to hold, at least asymptotically. For simplicity, let us suppose that π1(X) = 0, and that π2(X) is a free abelian group of rank r so that the homotopy class of any map f ∈ Map(Σ, X) is given by a multi-degree k. We can try to compare the homology (homotopy) groups of the space of absolute minima Mink(Σ, X) with the homology (homotopy) groups of the full mapping space Mapk(Σ, X). If X is Kahler, then by a theorem of Eells and Wood [EW] the space of absolute minima Mink(Σ, X) is just the space Holk(Σ, X) of based holomorphic maps (or anti-holomorphic maps, depending on orientation) from Σ to X, as long as Holk(Σ, X) is non-empty. We are then led to consider the inclusion
Read full abstract