3
$\begingroup$

Conlay described in $\textit{Isolated Invariant Sets and the Morse Index (1976)}$ the bases of what would be known as Conley Index Theory.

For the sake of simplicity let's think of vector fields defined on manifolds (a more general situation is enough by just considering locally compact spaces). Im going to pose a few basic notions needed for the question so even someone who is not familiar with the topic may give an answer.

A set (in the phase space) is called invariant if it is the union of solution curves. It is isolated if it is the maximal invariant set in some neighborhood of itself. A compact such neighborhood is called an isolating neighborhood for the invariant set.

An isolating neighborhood is an isolating block if the integral curves through each boundary point of the neighborhood goes immediately out of it in one or the other time direction.

And finally:

The $\textit{(Conley)}$ index is the homotopy type of the pointed space obtained from a block on collapsing the set of exit points (points in the boundary where integral curves go out the neighborhood) to one point.

Well, I've read that when we have an isolating block, say $N$, that has no exit points, we would have to collapse the empty set $\emptyset$ to one point (?), so there's a convention that the resulting space is $$(N \bigcup \lbrace \star \rbrace, \star)$$ that is, the disjoint union of the space $N$ and an external point, all of it pointed at that external point).

So the questions are

  • Why this convention makes sense (apart from that $\textit{it just works}$)? Is that the natural way of defining the operation "collapse to a point'' when all you have to collapse is $\textit{nothing}$ (i.e. $\emptyset$)?
  • Is there a bigger frame where we don't need this convention because a more general rule contains it as a particular case?
$\endgroup$

3 Answers 3

3
$\begingroup$

I maybe wrong but a way of seeing is the following: from the universal property of quotients you would like that any continuous map $f:N\to Y$ to a topological space $Y$ defines a continuous map of pointed topological spaces between $N$ collapsed with nothing and $(Y,y_0)$ no matter what $y_0$ is. Since you "collapse with nothing" you do not want to lose some continuous functions, do you?

And I would say that this definition does exactly this, since it just requires that you declare $f(\star)=y_0$.

$\endgroup$
0
1
$\begingroup$

The fundamental result of Conley index theory states that a homotopy type of a pointed space $N_1 / N_2$, with $[N_2]$ as a basepoint, is independent of the choice of an index pair $(N_1 , N_2)$. I feel like you are mainly asking why $N / \emptyset = N \coprod \lbrace * \rbrace$.

This might not be entirely correct but one way I see the quotient $N_1 / N_2$ is the same as $N_1$ attached with a cone of $N_1$ on $N_2$. So when $N_2$ is empty you don't glue anything and have an extra basepoint.

Alternatively, there is an extension of Conley index by Mrozek, Reineck, Srzednickiy, and Matematyki in their paper "The Conley index over a base." Let $X$ be your space with a flow and let $Z$ be a space with a map $\omega : X \rightarrow Z$. This kind of makes $X$ a parametrized space (or ex-space over $Z$). The Conley index over $Z$ is given by $N_1 \cup_{\omega_{|_{N_2}}} Z $. This recovers your situation when $Z$ is a point.

$\endgroup$
0
$\begingroup$

The Conley index is a generalization of the Morse index and it must give basically "the same" answer when the Morse index is defined: when the invariant set is an isolated non-degenerate critical point and the isolating neighborhood is a small neighborhood where the Morse lemma gives you a normal form for the function. If you work out the dictionary between Morse index and Conley index, you will see why in the case of an isolated minimim the convention comes up.

$\endgroup$
2
  • 1
    $\begingroup$ Well, I knew that. I don't know if my questions doesn't have an answer but what I was looking for is for the reasaon of the operation of ''collapsing the emptyset to one point'' or, stating it differently, if that is the way it is extended in other cases. $\endgroup$
    – Pablo
    Jan 10, 2013 at 23:52
  • $\begingroup$ I see. Are you just looking for the the definition and uses of Alexandrov's one point compactification? $\endgroup$ Jan 11, 2013 at 13:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.