[Paper Review] On the topology of the evaluation map from a diffeomorphism group and rational curves

Gerasim Kokarev|arXiv (Cornell University)|Mar 10, 2006

Microtubule and mitosis dynamics1 citations

TL;DR

This paper establishes a topological link between the symplectomorphism group Symp(M) and the presence of rational curves in a symplectic manifold M. By analyzing the evaluation map from the diffeomorphism group, it proves a Gottlieb-type vanishing theorem on the second homotopy group when rational curves are absent, showing that such cycles vanish under specific topological constraints.

ABSTRACT

We explore a relationship between topological properties of orbits of 2-cycles in the symplectomorphism group Symp(M) and the existence of rational curves in M. Under the absence of rational curves hypothesis, we show that evaluation map vanishies on the second homotopy group and obtain a Gottlieb-type vanishing theorem for toroidal cycles in Symp(M).

Motivation & Objective

• To investigate the topological behavior of orbits of 2-cycles in the symplectomorphism group Symp(M).
• To examine how the absence of rational curves in M influences the evaluation map's properties.
• To establish a Gottlieb-type vanishing theorem for toroidal cycles in Symp(M) under the no-rational-curves hypothesis.
• To connect symplectic topology with homotopy theory through the evaluation map's behavior on homotopy groups.

Proposed method

• Analyzes the evaluation map from the diffeomorphism group to the manifold M, focusing on its action on homotopy groups.
• Applies homotopy-theoretic techniques to study the second homotopy group π₂ of the symplectomorphism group.
• Uses the absence of rational curves in M as a key topological assumption to constrain the evaluation map.
• Applies Gottlieb-type theorems to derive vanishing results for toroidal cycles in Symp(M).
• Relies on symplectic topology and algebraic topology tools to relate geometric structures (rational curves) to homotopy invariants.
• Establishes a duality between the existence of rational curves and the non-vanishing of certain evaluation map classes.

Experimental results

Research questions

• RQ1 How does the absence of rational curves in a symplectic manifold M affect the evaluation map from Symp(M) to M?
• RQ2 What topological constraints arise on the second homotopy group of Symp(M) when rational curves do not exist in M?
• RQ3 Can a Gottlieb-type vanishing theorem be established for toroidal cycles in Symp(M) under the no-rational-curves condition?
• RQ4 In what way do the orbits of 2-cycles in Symp(M) reflect the underlying symplectic geometry of M?
• RQ5 How does the evaluation map’s behavior on π₂ relate to the presence or absence of rational curves in M?

Key findings

• The evaluation map from the diffeomorphism group to M vanishes on the second homotopy group π₂ when there are no rational curves in M.
• A Gottlieb-type vanishing theorem is established for toroidal cycles in Symp(M) under the assumption that M contains no rational curves.
• The topological structure of Symp(M) is constrained by the absence of rational curves, leading to homotopy-theoretic rigidity.
• The relationship between symplectic geometry and homotopy theory is formalized through the evaluation map's behavior on π₂.
• The vanishing of the evaluation map on π₂ is a direct consequence of the absence of rational curves in the manifold M.
• The results provide a topological obstruction to the existence of rational curves in terms of homotopy invariants of Symp(M).