--- abstract: 'This paper is a short version of some joint work with Stefan Haller. It describes the structure of "smooth manifold with corners" on the space of possibly broken instantons of a generic smooth vector field. The result is stated in Theorem 1.4.' address: 'Department of Mathematics, The Ohio State University, 231 West 18th Avenue, Columbus, OH 43210, USA.' author: - Dan Burghelea title: Smooth structure on the moduli space of instantons of a generic vector field --- [^1] The results =========== Let $M$ be a smooth closed manifold and $X: M\to TM$ a smooth vector field, i.e. a section $X: M\to TM$ in the tangent bundle. The set $\mathcal X(X)$ of rest points of $X$ consists of points of $M$ where the vector field vanishes, $\mathcal X(X): = \{x\in M | X(x)=0\}.$ For any $x\in \mathcal X(X)$ the differential DX of the smooth map $X$ defines the endomorphism $D_x(X): T_x(M)\to T_x (M)$ called the linearization of $X$ at $x$ [^2]. The rest point $x\in \mathcal X(X)$ is called <span>**hyperbolic**</span> if the eigenvalues of $D_x(X) ,$ $\{\lambda \in \text{ Spect} D_x(X)\},$ are complex numbers with real part $ \Re \lambda \ne 0.$ In particular $D_x(X)$ is invertible. The hyperbolic rest point $x\in \mathcal X(X)$ is called of <span>**Morse type**</span> if one can find coordinates $(u_1, u_2,\cdots, u_n) $ in the neighborhood of $x$ such that $X=\sum _i\pm u_i\frac{\partial}{ \partial u_i}.$ Given a hyperbolic rest point $x\in \mathcal X(X)$ the cardinality of the set of eigenvalues counted with multiplicity whose real part is positive is called <span>**Morse Index**</span> and is denoted by $\operatorname{ind}(x),$ $$\operatorname{ind}(x):= \sharp \{\lambda \in \text {Spect} D_x(X) | \Re \lambda >0\}.$$ A <span>**trajectory**</span> of $X$ is a smooth path $\gamma:\mathbb R\to M$ so that $ \frac{d\gamma}{dt}= X(\gamma(t))$ [^3]. One denotes by $\gamma_y,$ $y\in M,$ the unique trajectory which satisfies $\gamma_y(0)= y.$ A trajectory $\gamma$ is called <span>**instanton**</span> from $x$ to $y,$ $x\ \text{and}\ y $ rest points, if $\lim _{t\to -\infty} \gamma(t) = x$ and $\lim _{t\to \infty} \gamma(t) =y.$ .1in If $x\in \mathcal X(X)$ the set $$W^\pm_x:= \{y\in M | \lim_{t\to \pm \infty}\gamma_y=x\}$$ is called the stable / unstable set of $x.$ Note that any point $x\in M$ lies on a trajectory but not necessary on an instanton. For $x,y \in \mathcal X(X)$ the set of points lying on instantons from $x$ to $y$ is denoted by $\mathcal M(x,y)$ and is exactly the intersection $$\mathcal M(x,y):= W^-_x\cap W^+_y.$$ The additive group of real numbers $\mathbb R$ acts on $\mathcal M(x,y)$ by "translation" ; if the action is denoted by $\mu:\mathbb R\times \mathcal M(x,y)\to \mathcal M(x,y),$ $a\in \mathbb R, \gamma\in \mathcal M(x,y),$ then $\mu(a, \gamma)(t)= \gamma(t+a).$ The quotient set of this action, $$\mathcal T(x,y):= \mathcal M(x,y)/ \mathbb R,$$ is actually the set of instantons from $x$ to $y.$ A smooth function $f:M\to \mathbb R$ is called <span>**Lyapunov**</span> for $X$ if $X_m(f)<0, $ for any $m\in M \setminus \mathcal X(X) .$ A smooth closed one-form $\omega\in \Omega^1(M)$ is called <span>**Lyapunov**</span> if $\omega(X)_m<0$ for any $x\in M\setminus \mathcal X(X) .$ Not any vector field admits Lyapunov closed one-forms and a vector field can have a Lyapunov closed one-forms but not Lyapunov functions. If $X$ has Lyapunov functions then any trajectory is an instanton [^4] and there are no closed trajectories. While Lyapunov function might not exist, for any hyperbolic rest point $x\in \mathcal X(X)$ there exist open neighborhoods $U$ of $x$ and smooth functions $f: U \to \mathbb R \ $ Lyapunov for $X|_U.$ Similarly, for any instanton $\gamma \in \mathcal T(x,y),$ when $x,y$ are hyperbolic rest points, there exist open neighborhoods $U$ of $\gamma$ and smooth functions $f:U\to \mathbb R$ Lyapunov for $X|_U.$ .1in The first important result about stable/unstable sets is the following theorem due to Perron and Hadamard, cf. @K95 Theorem 17.4.3, @AB95 or @I80 Theorem 6.17 . If $x$ is a hyperbolic rest point then $W^+_x$ resp. $W^-_x$ is the image of a one to one immersion $\chi^+_x: \mathbb R^{n-\operatorname{ind}x}\to M$ resp. $\chi^-_x: \mathbb R^{\operatorname{ind}x}\to M.$ In fact one can find immersions $\chi_x: \mathbb R^{n-\operatorname{ind}x}\times \mathbb R^{\operatorname{ind}x} \to M$ with $\chi_x(0)=x, $ $ \chi_x |_{(\mathbb R^{n-\operatorname{ind}x}\times 0)}= \chi^+_x$ and $ \chi_x |_{(0\times \mathbb R^{\operatorname{ind}x})}= \chi^-_x.$ If $X$ admits a Lyapunov function then $\chi^+_x$ resp. $\chi^-_x$ is actually a smooth embedding which makes $W^+_x$ resp. $ W^-_x$ a smooth submanifold of $M.$ In general the topology of $W^+_x$ resp. $ W^-_x$ obtained by identification with $\mathbb R^{n-\operatorname{ind}x}$ resp. $\mathbb R^{\operatorname{ind}x},$ and referred below as <span>*manifold topology*</span>, is not necessary the same as the induced topology [^5]. The immersion $\chi^\pm_x$ is not unique but the manifold topology on $W^\pm_x$ and the smooth structure defined by the chart $\chi^\pm_x$ is. It is possible that for a hyperbolic rest point $x$ the stable set and the unstable set be the same [^6], but the manifold topologies are different. In conclusion $W^\pm_x$ is equipped with a canonical structure of smooth manifold such that the canonical inclusion $i^\pm_x: W^\pm_x\to M$ is a one to one immersion (embedding if $X$ admits Lyapunov functions). Suppose $x,y\in \mathcal X(X)$ are hyperbolic and the maps $i^-_x$ and $i^+_y$ are transversal. Then the set $$\mathcal M(x,y):= \{(u,v)\in W^-_x\times W^+_y | i_x^-(u)= i_y^+(v)\}$$ has a structure of a smooth manifold of dimension $\operatorname{ind}x- \operatorname{ind}y$ with the canonical inclusion $i_{x,y}:\mathcal M(x,y) \to M$ a one to one smooth immersion and the action $\mu:\mathbb R\times \mathcal M(x,y)\to \mathcal M(x,y)$ smooth and free provided $x\ne y$. In this case the quotient space $\mathcal T(x,y)$ receives a canonical structure of smooth manifold of dimension $\operatorname{ind}x-\operatorname{ind}y -1$ with the quotient map $p:\mathcal M(x,y)\to \mathcal T(x,y)$ a smooth bundle. Clearly if $\operatorname{ind}x\leq \operatorname{ind}y$ and $x\ne y$ then $\mathcal M(x,y)$ is empty. .1in From now on we suppose the vector fields satisfy the following two properties : <span>**$P_1:$**</span> All rest points of $X$ are hyperbolic. <span>**$P_2:$**</span> For any two rest points $x, y\in \mathcal X(X)$ the maps $i^-_x$ and $i^+_y$ are transversal. .1in The following result due to Kupka and Smale, cf @K63, @S63, @P67, shows that this is the generic situation. \[th0\] The set of vector fields which satisfy $P_1$ and $P_2$ are residual [^7] in the $C^r-$ topology for any $r\geq 1.$ Write $x>y$ for $\operatorname{ind}x > \operatorname{ind}y$ when $x,y\in \mathcal X(X).$ For any $k\geq 1,$ introduce $$W^-_x (k):= \bigsqcup _{\tiny{ \begin{array}{cccc} y_0>y_1>\cdots >y_k \\ x=y_0 \end{array}}} \mathcal T(y_0,y_1) \times \cdots \mathcal T(y_{k-1}, y_k) \times W^-_{y_k},$$ .1in $$W^+_x (k):= \bigsqcup _{\tiny{ \begin{array}{cccc} y_0< y_1<\cdots <y_k \\ x=y_0 \end{array}}} \mathcal T(y_1, y_0) \times \cdots \mathcal T(y_{k}, y_{k-1}) \times W^+_{y_k},$$ .1in $${\mathcal T(x ,y)(k):= \bigsqcup _{\tiny{\begin{array} {cccc}y_0> y_1> y_2>\cdots > y_k> y_{k+1}\\ x=y_0, y_{k+1}=y\end{array}}} \mathcal T(y_0,y_1)\times \mathcal T(y_1,y_2) \cdots \mathcal T(y_{k}, y_{k+1})},$$ .1in $${\mathcal M(x ,y)(k):=\underset{ \tiny{\begin{array} {cccc}y_0> y_1>\cdots >y_{i} \\ y_{i+1} > y_{i+2}> \cdots y_{k+1}\\ x=y_0, y_{k+1}=y \end{array}}} {\bigsqcup} \mathcal T(y_0,y_1)\times \cdots \mathcal M(y_{i}, y_{i+1})\cdots \times \mathcal T(y_k,y_{k+1})}, $$ and define the maps $i^{\mp}_x(k): W^{\mp}_x(k)\to M$ and $i_{x,y}(k): \mathcal M(x,y)(k)\to M$ by $$i^{\mp}_x(k)= \bigsqcup _{\tiny{ \begin{array}{cccc} y_0< y_1<\cdots <y_k \\ x=y_0 \end{array}}} i^{\mp}_{y_k}\circ pr_{W^{\mp}_{y_k}},$$ $$i_{x,y}(k)= \underset{ \tiny{\begin{array} {cccc}y_0> y_1>\cdots >y_{k+1} \\ x=y_0, y_{k+1}=y \end{array}}} {\bigsqcup} i_{y_i,y_{i+1}}\circ pr_{\mathcal M_{y_i,y_{i+1}}}.$$ For $k=0$ write $$W^{\mp}_x(0):= W^-_x, \ \ \mathcal T(x,y)(0):=\mathcal T(x,y),\ \ \ \mathcal M(x,y)(0):= \mathcal M(x,y)$$ and $$i^{\mp}_x(0)= i^{\mp}_x, \ \ i_{x,y}(0)= i_{x,y}.$$ Denote by $\hat {W}^{\mp}_x, \ \hat {\mathcal T}(x,y)$ and $\hat {\mathcal M}(x,y)$ the sets defined by $$\hat {W}^{\mp}_x:= \bigsqcup_{n\geq 0} W^{\mp}_x(n),$$ $$\hat {\mathcal T}(x,y):= \bigsqcup_{n\geq 0} \mathcal T(x,y)(n),$$ $$\hat {\mathcal M}(x,y):= \bigsqcup_{n\geq 0} \mathcal M(x,y)(n),$$ and denote by $\hat i^{\mp}_x: \hat W^-_x\to M$ and $\hat i_{x, y}: \hat {\mathcal M}(x,y)\to M$ the maps defined by $$\hat i^{\mp}_x |_{W^{\mp}_x(n)} := i^{\mp}_x(n),$$ $$\hat i_{x,y}|_{\mathcal T(x,y)(n)} := i_{x,y}(n).$$ We equip $\hat W^\mp_x, \hat {\mathcal T}(x,y)$ and $\hat{\mathcal M}(x,y)$ with the transversal slice topology defined below. Since $\hat W^-_x$ for the vector field $X$ is the same as $\hat W^+_x$ for the vector field $-X$ and since $$\hat{\mathcal M}(x,y)= \{(u,v)\in \hat W^-_x\times \hat W^+_y | (\hat i^{-}_x)(u)= \hat i^+_y(v)\},$$ it suffices to describe only the transversal slice topology for $\hat W^-_x$ and $\mathcal T(x,y).$ A few more definitions are necessary. A <span>**broken instanton**</span> $\underline {\gamma}= (\gamma^1, \gamma^2, \cdots \gamma^k)$ consists of a collection of instantons ${\gamma^i}$ 's with the property $$\lim _{t\to \infty}\gamma^i(t)= \lim _{t\to -\infty}\gamma^{i+1}(t), \ \ i=1,2\cdots, k-1.$$ An element of $\hat{\mathcal T}(x,y)$ is a broken instanton with the property $$\lim _{t \to- \infty}\gamma^1(t)=x, \lim _{t \to \infty}\gamma^{k}(t)=y.$$ An element of $\hat W^-_x$ can be uniquely represented as a pair $\tilde\gamma :=(\underline \gamma, m),$ with $\underline \gamma= (\gamma^1, \gamma^2, \cdots \gamma^k)$ a broken instanton and $m\in M$ which satisfy: .1in 1. $\lim _{t \to- \infty}\gamma^1(t)=x, $ .1in 2. $\lim _{t \to \infty}\gamma^{k}(t)=\lim_{t\to -\infty}\gamma_m(t).$ Given a collection of trajectories $\underline{\gamma} = (\gamma^1, \gamma^2,\cdots \gamma^k)$ with the property $\lim _{t\to \infty}\gamma^i(t)= \lim _{t\to -\infty}\gamma^{i+1}(t) \ $(i.e. a <span> broken trajectory</span>) a <span>**transversal slice**</span> is a collection $\underline U= (U_1, U_2,\cdots U_r)$ of disjoint $(n-1)$ dimensional submanifolds diffeomorphic to open discs which are <span>*transversal*</span> to $X$ (transversal to trajectories of $X$) and satisfy: .1in 1. each $\gamma_i$ intersects at least one $U_j,$ .1in 2. consecutive $U_j'$s intersect either the same or consecutive $\gamma^i$'s, cf FIGURE \[F;1\]. As a consequence we have $ r\geq k.$ The intersection points of the submanifolds $U_j'$s and trajectories ${\gamma^i}$ 's are called marking points. .1in \[F;1\] ![<span data-label="fig:DANU7"></span>](DANU8){height="80mm"} For a system $(\underline \gamma, V, \underline U)$ with $V$ open neighborhood of $\underline \gamma$ in $M$ and $\underline U$ a transversal slice to $\underline \gamma\ $ denote by $\mathcal V(\underline \gamma, V, \underline U)$ the collection of possibly broken instantons in $\hat{\mathcal T}(x,y)$ which lie inside $V$ and have $\underline U$ as a transversal slice. For a system $(\tilde \gamma, V, \underline U, O)$ with $\tilde\gamma\in \hat W^-_x,$ $V$ open neighborhood of $\tilde \gamma$ in $M$ $ \underline U$ transversal slice for $(\gamma_1,\cdots \gamma_r, \gamma_m)$ and $O$ an open neighborhood of $m,$ see FIGURE \[F;1\], denote by $\mathcal V(\tilde \gamma, V, \underline U, O)$ the collection of all elements in $ \hat W^-_x$ which lie inside $V,$ have $\underline U$ as a transversal slice and have the end point in $O.$ A base of the <span>**transversal slice topology**</span> for $\hat {\mathcal T}(x,y)$ resp. for $\hat W^-_x$ is provided by the sets $\mathcal V(\underline \gamma, V, \underline U)$ for all systems $(\underline \gamma, V, \underline U)$ resp. the sets $\mathcal V(\tilde \gamma, V, \underline U, O)$ for all systems $(\tilde \gamma,\ V, \underline U, \ O).$ \[TH1.3\] 1\. When equipped with the "transversal slice" topology the sets $\hat W^\mp_x, \hat { \mathcal T}(x,y)$ and $ \hat { \mathcal M}(x,z)$ are Haussdorf paracompact spaces and the maps $\hat i^-_x: \hat W^-_x\to M$ and $\hat i_{x,z}: \hat {\mathcal M}(x,z)\to M$ are continuous. 2\. If $X$ admits Lyapunov function then $\hat W^\mp_x, \hat { \mathcal T}(x,y)$ and $\hat{\mathcal M}(x,z)$ are compact. (sketch). Suppose first that $X$ admits a Lyapunov function $f:M\to \mathbb R.$ <span>*The case of $\hat{\mathcal T}(x,y)$:*</span> Suppose $f(x)= c_1$ and $f(y)=c_2$ and choose $\alpha_0<c_1 <\alpha_1 < \alpha_2<\cdots \alpha_{k-1}< c_2 < \alpha_k$ with $\alpha_i$ regular values and with the intervals $(\alpha_i, \alpha_{i+1}) $ containing only one critical value $c_{i+1}.$ The map which assigns to a broken instanton $\underline \gamma$ its intersection with the levels $f^{-1}(\alpha_i)'s,$ $$i:\hat{\mathcal T}(x,y)\to \prod _{i= 1,\cdots, (k-1)} f^{-1}(\alpha_i),$$ is a one to one map. It is not hard to see that the transversal slice topology is the same as the topology induced by this embedding. Indeed one can consider only transversals which lie in the levels $f^{-1}(\alpha_i)$ and show they suffice to describe the transversal slice topology. Standard arguments cf. @BH01 show that the image of $i$ is closed hence compact. This proves the result for $\hat{\mathcal T}(x,y).$ <span>*The case of $\hat W^-_x: $*</span> Write the critical values in decreasing order $\cdots > c_i>c_{i+1}>\cdots .$ Verify the first assertion in Theorem \[TH1.3\] for $(\hat i^-_x)^{-1}(f^{-1} (a, b))$ instead of $\hat W^-_x$ when $a, b$ are regular values of $f$ with at most one critical value in the interval $(a,b).$ The set $(\hat i^-_x)^{-1}(f^{-1} (a, b))$ can be embedded in a product of finitely many levels of $f$ and $M$ and one can check that the transversal slice topology and the topology induced by such embedding are the same. Since $\hat i^-_x$ is continuous w.r. to the transversal slice topology, hence $(\hat i^-_x)^{-1}(f^{-1} (a, b))$ is open and $\hat W^-_x$ is covered by such sets, then the conclusion extends from $(\hat i^-_x)^{-1}(f^{-1} (a, b))$ to $\hat W^-_x.$ The compacity assertion follows from the compacity of $(\hat i^-_x)^{-1}(f^{-1} [\alpha, \beta]).$ To conclude the statement in general (when no Lyapunov function exists) one observes that any $\underline \gamma \in \hat {\mathcal T}(x,y),$ or $(\underline \gamma, m) \in \hat W^-_x$ lies inside an open set $V$ of $M$ so that the vector field $X|_V$ admits Lyapunov function $f:V\to \mathbb R.$ This follows from the existence of Lyapunov functions in the neighborhood of each hyperbolic rest point a fact noticed above. More details will be contained in @BH03. The main result of this paper states that the topological spaces $\hat W^\pm_x, \ \hat {\mathcal T}(x,y)$ and $\hat{\mathcal M}(x,y)$ have structures of smooth manifold with corners. To explain this let us recall a few definitions. .1in The standard example and the local model of a smooth manifold with corners is $$\mathbb R^n_+ :=\{(x_1, x_2, \cdots x_n) \in \mathbb R^n | x_i \geq 0\}.$$ The $k-$corner of $\mathbb R^n_+$ is $${\partial_k \mathbb R^n_+:= \{x\in \mathbb R^n_+ | \text {exactly} \ k \ \text{coordinates} \ x_i=0\} }.$$ Denote by $[[n]]$ the set $\{1,2,\cdots, n-1, n\}.$ If $I=\{ {i_1}, {i_2},\cdots {i_k}\}$ is a subset of $[[n]]$ denote by $\mathbb R^I$ the set of points in $\mathbb R^n_+$ whose coordinates $x_{i_1}, x_{i_2},\cdots x_{i_k}$ are different from zero while all other coordinates vanish. Note that each $\mathbb R^I$ carries a canonical orientation defined by the order $i_1 <i_2,\cdots< i_k.$ A <span>**smooth manifold with corners**</span> is a Haussdorf paracompact space $P$ equipped with a <span>*differential structure*</span> locally isomorphic to $\mathbb R^n_+.$ A differential structure is given by an equivalence class of atlases. An atlas $\{\varphi_\alpha: U_\alpha \to V_\alpha, \alpha \in \mathcal A\}$ consists of an index set $ \mathcal A$ , $U_\alpha \subseteq P$ open sets of $P,$ $V_\alpha \subseteq \mathbb R^n_+$ open sets of $\mathbb R^n_+$, and $\varphi_\alpha $ homeomorphisms (charts) so that $\cup_\alpha V_\alpha= P$ and $\varphi_\beta\cdot \varphi^{-1}_\alpha$ are smooth and of maximal rank where defined. Two atlases are equivalent if their data considered together remain an atlas. The $k-$corner $\partial_kP$ is the set of points which in some chart (and then in any) correspond to $\partial_k \mathbb R^n_+.$ The manifold with corners is orientable if $\partial _0P$ is orientable. An orientation on such manifold is an orientation for its tangent bundle, equivalently an orientation of the open manifold $\partial_0P.$ A smooth manifold with corners $P$ is <span>**clean**</span> if the closure of each connected component of the corners is a smooth manifold with corners. .1in The main result of this paper is the following: \[TH1.5\] Let $X$ be a smooth vector field satisfying $P_1$ and $P_2$ (defined before Theorem \[th0\]). 1\. There exists a canonical structure of clean smooth manifold with corners on $ \hat W^\mp_x, \ $ $ \hat { \mathcal T}(x,y)$ and $ \ \hat { \mathcal M}(x,y)$ with $$\partial_k \hat W^-_x = W^-_x(k), \ \ \partial_k \hat { \mathcal T}(x,y) = \mathcal T(x,y)(k), \ \ \partial _k \hat { \mathcal M}(x,y)= \mathcal M(x,y)(k)$$ and $\ \hat i^\mp_x$ so that $\ \hat i_{x,y}$ are smooth maps. 2\. If the rest points of $X$ are of Morse type there exists an additional structure of smooth manifold with corners (different but diffeomorphic to the structure stated in 1.) with the same corners and the identity map restricted to each $k-$corner a diffeomorphism. 3\. Both $\hat{\mathcal T}$ and $\hat{\mathcal M}$ are equipped with (stable) framings. A collection of orientations $\{ o_x, x\in \mathcal X(X)\}$ on $W^-_x$ induces coherent orientations on $\hat{\mathcal M}(x,y)$ and $\hat{\mathcal T}(x,y)$ [^8]. Theorem \[TH1.5\] is not new but in the generality formulated above inexistent in literature. In less generality it can be recovered from @La and @AB95 for the gradient of a Morse function and from @BFK, @BH01, @BH02 or @La for the gradient of a closed one form. The proof below is along the lines of @BFK or @BH01. In @BH03 the result will be proven for a more general class of vector fields, called HB (hyperbolic - Bott) vector fields. For these vector fields the set of rest points $\mathcal X(X)$ is a smooth submanifold with $D_x$ hyperbolic in normal directions of $\mathcal X(X).$ The smooth structure provided by Theorem \[TH1.5\] is not the only possible canonical smooth structure. In fact, in the case the rest points are of Morse type, Theorem \[TH1.5\] provides two such canonical structures never the same. However all smooth structures of manifold with corners on $\hat W^\mp_x, \ \hat{\mathcal M} (x,y)$ or $ \hat{\mathcal T}(x,y)$ which extend the smooth structure of $ W^\mp_x, \ {\mathcal M} (x,y)$ or $ {\mathcal T}(x,y)$ are diffeomorphic. By elementary smoothing theory one can show that such diffeomorphisms can be chosen to be the identity on arbitrary closed subsets of the $\partial_0 $ part. .1in Theorem \[TH1.5\] provides a source of new invariants which deserve attention and we plan to explore in future work. For example: 1\. A Morse type complex can be assigned to a class of vector fields substantially larger than the gradient like vector fields. Its homology/cohomology referred to as the <span>*instanton homology (cohomology)*</span> might relate the topology of the manifold and the dynamics of $X$ in a more subtle way than in the case of gradient like vector fields. For example if $X$ is the gradient of a closed one form both the Novikov cohomology and the cohomology of $M$ twisted by a closed one form can be obtained as instanton homology/cohomology. More general vector fields lead to more subtle instanton homologies / cohomologies. 2\. A chain/ cochain complex can be derived from the corners structure of the manifold with corners $\hat{\mathcal T}(x,y).$ The homology/cohomology of such a complex, referred to as the <span>*incidence cohomology*</span> seems natural to investigate. It carries significant dynamical information not obviously related to the topology of the manifold. 3\. The stable framing of $\mathcal T(x,y)$ can be used to define elements in $ \pi_i^S(\Omega M),$ the stable homotopy groups of the free loop space of $M.$ A parametrized version of such elements might provide a more analytic understanding of the relationship between the homotopy of the space of diffeomorphisms and the Waldhaussen K- theory of the underlying manifold. <span>*Acknowledgement:*</span> I thank Stefan Haller for pointing out a number of errors and misprints in a previous version of this manuscript. Some basic ODE ============== Recall that a linear transformation of $\mathbb R^n$ is hyperbolic if all its eigenvalues have non vanishing real part. The stable resp. unstable subspace, $\mathbb R^+\subseteq \mathbb R^n$ resp. $\mathbb R^-\subseteq \mathbb R^n ,$ are the sum of generalized eigenspaces corresponding to the eigenvalues with negative resp. positive real part. Consider 1. $A\in M(n\times n; \mathbb R)$ hyperbolic with stable space $\mathbb R^+ = \mathbb R^k\times 0 $ and unstable space $\mathbb R^-= 0\times \mathbb R^{n-k},$ 2. $g: \mathbb R^n \to \mathbb R^n= \mathbb R^+\times \mathbb R^-$ a smooth map with compact support with $g(0)= 0$ and $ D_0g=0.$ We write $g= (g^+, g^-).$ We require in addition that $g^+(x^+, 0)=0, g^-(0, x^-)=0.$ Let $X: \mathbb R^n\to \mathbb R^n$ be the smooth map defined by $X(x)= Ax+g(x).$ Regard $X$ as a smooth vector field on $\mathbb R^n.$ Clearly $0\in \mathbb R^n$ is a hyperbolic rest point and the only rest point in a small neighborhood of $0.$ Denote by $$\gamma (t: p, q, T_1, T_2):= (\gamma^+(t: p, q, T_1, T_2), \gamma^-(t: p, q, T_1, T_2))\in \mathbb R^+\times \mathbb R^-$$ $(p, q)\in \mathbb R^+\times \mathbb R^-,$ $T_1 < T_2$ a trajectory which satisfies .1in $$\begin{aligned} \gamma^+(T_1: p, q, T_1, T_2)= p,\\ \gamma^-(T_2: p, q, T_1, T_2)= q. \end{aligned}$$ In general such trajectory might not exist and even if exists it might not be unique. However we have : \[T;2.1\] For any positive integer $N$ there exists $\epsilon, \rho, C>0$ so that : .1in 1. For any $(p, q) \in D^+(\epsilon)\times D^-(\epsilon),$ the discs of radius $\epsilon$ in $\mathbb R^+\times R^-,$ and any $T_1 < T_2$ there exists a unique trajectory $\gamma(t: p, q, T_1, T_2).$.1in 2\. Moreover the following estimates hold $$\begin{aligned} ||\mathbb T\gamma^+(t: p,q,T_1, T_2)|| \leq \epsilon C^{-\rho (t-T_1)}\\ ||\mathbb T\gamma^-(t: p,q,T_1, T_2)|| \leq \epsilon C^{\rho (t-T_2)} \end{aligned}$$ for $T_1 <t< T_2, $ where $\mathbb T= \frac{\partial^{k_1} }{\partial p^{k_1}} \frac{\partial ^{k_2}}{\partial q^{k_2}} \frac{\partial ^{k_3}}{\partial t^{k_3}} \frac{\partial ^{k_4}}{\partial T_1^ {k_4}} \frac{\partial^{k_5} }{\partial {T_2}^{k_5}}$ with $k_1+k_2 + k_3 +k_4+k_5 \leq N$ The result is a straightforward application of contraction principle. A proof can be derived on the lines of the proof of Theorem A.2 and Lemma A.3 of Appendix of @AB95. For the reader's convenience we sketch the proof of (1.) and comment on the proof of (2.). We continue to write $ p$ and $ g^+$ for $(p,0),$ and $(g^+,0),$ and $ q$ and $ g^-$ for $(0,q)$ and $(0, g^-).$ We also write $\Psi(s,t)$ for $e^{(t-s)A}.$ Using the hyperbolic linear transformation $A$ one can produce the real numbers $\rho'>0$ and $C >1$ so that $$\begin{aligned} ||\Psi(s,t) p|| &\leq Ce^{-\rho' (s-t)}|| p||\ \text{for}\ s\geq t, \\ ||\Psi(s,t) q|| &\leq Ce^{\rho' (s-t)}|| q||\ \text{for}\ s\leq t. \end{aligned}$$ Since the trajectory $\gamma (t):= \gamma (t, p,q, T_1, T_2)$ has to satisfy the equality $$\label{ES} \gamma (t)= \Psi(t, T_1)(p) + \Psi(t, T_2)(q) + \int_{T_1}^t\Psi(s,t)g^+(\gamma (s))ds - \int_t^{T_2} \Psi(s,t) g^-(\gamma(s))ds$$ one concludes that $\gamma (t)$ is a fixed point of the map $F: C^0([T_1, T_2], \mathbb R^n) \to C^0([T_1, T_2] ,\mathbb R^n) $ [^9] defined by $$\label {E:3} F(x(t))= \Psi(t, T_1)( p) + \Psi(t, T_2)( q) + \int_{T_1}^t\Psi(s,t) g^+(x(s))ds - \int_t^{T_2} \Psi(s,t)(0, g^-(x(s))ds.$$ Choose $B >0$ so that $$||Dg (x)||\leq B ||x||.$$ Then if $||(p,q)||\leq \epsilon$ and $||x(t)||\leq \eta$ one has $$\label {E6} ||F(x(t)|| \leq 2C \epsilon + \frac{2 CB \eta^2}{\rho'} .$$ One can find $\eta$ and $\epsilon'$ small so that $F$ sends the disc of radius $\eta$ into itself provided $||(p,q)||\leq \epsilon'$. Precisely one chooses $\eta$ to satisfy $$\eta \leq \frac{\rho'}{4BC} ,$$ and $\epsilon'$ to satisfy $$\epsilon' < \frac{\eta}{4C}.$$ These choices make both terms of the right side of the above inequality (\[E6\]) smaller than $\eta/2.$ Then $||x(t)||\leq \eta$ implies $||F(x(t)) ||\leq \eta.$ Note that the estimates remain true for any $\eta' \leq \eta$ (when $\epsilon' $ is appropriately chosen). Since we have $$||\frac{\partial F}{\partial x} || \leq CB \eta/2\rho' (1-e^{\rho'(T_1-t)}) + CB\eta/ 2\rho' \leq CB \eta/ \rho' < 1/4$$ by choosing $\eta<\rho'/4CB$ and $\epsilon' <\eta/4C$ one concludes that $F$ sends the disc $\mathbb D(\eta)$ of radius $\eta$ (in the complete metric space $C^0([T_1, T_2], \mathbb R^n)$) into itself and that $F: \mathbb D(\eta)\to \mathbb D(\eta)$ is a contraction. To prove (2.) we first produce $\epsilon $, $\rho$ with $\epsilon<\epsilon'$, $\rho<\rho'$ so that (2) are satisfied for $N=0,$ then decrease $\epsilon $ and $\rho$ inductively with $N$ to satisfy (2.) This is done by incorporating the estimates stated in (2.) in the definition of the metric space $C^0([T_1, T_2], \mathbb R^n),$ and decrease $\epsilon, \rho$ to make sure that $F$ remains a contraction even in the presence of these estimates, hence the unique fixed point $\gamma $ satisfies the estimates. Elementary differential topology of smooth manifolds with corners ================================================================= If $P$ is a smooth manifold with corners then: .2in $\partial _k P$ is a a smooth $(n-k)-$manifold, .2in $\partial P:= \bigsqcup_{k\geq 1}\partial_k P$ is a topological $(n-1)-$manifold, and .2in $(P,\partial P)$ is a smoothable topological manifold with boundary. If $P_i,$ $i=1,2$ are two smooth manifolds with corners then the product $P_1\times P_2$ is a smooth manifold with corners with $$\partial_k (P_1\times P_2)=\bigsqcup_{r=k'+k''} \partial _{k'}P_1\times \partial_{k"}P_2.$$ If both $P_1$ and $P_2$ are clean then so is the product. Let $P$ be a smooth manifold with corners, $M$ a smooth manifold, $S\subseteq M$ a smooth submanifold and $f:P\to M$ a smooth map. The map $f $ is transversal to $S$, written $ f\pitchfork S $, if $f|_{\partial _k P} \pitchfork S$ for any $k=0,1,\cdots n.$ Let $P_i,$ $i=1,2$ be two smooth manifolds with corners, $M$ a smooth manifold and $f_i: P_i\to M$ smooth maps. The maps $f_i: P_i\to M$ are transversal, written $f_1\pitchfork f_2,$ if the product $f_1\times f_2 : P_1\times P_2\to M\times M$ is transversal to the diagonal $\Delta_M:=\{(x,x)\in M\times M | x\in M\}$ $(f_1\times f_2 \pitchfork \Delta_M).$ The above definition can be extended to a finite set of smooth maps $f_i:P_i\to M$ from manifolds with corners $P_i$ to a smooth manifold $M.$ .1in \[TH3.2\] 1. If $f \pitchfork S$ then $f^{-1}(S)$ is a smooth manifold with corners (smooth submanifold of $P$) with $\partial _k f^{-1}(S) =(f |_{\partial_kP} )^{-1}(S).$ Moreover if $P$ is clean then so is $f^{-1}(S).$ 2\. If $f_1 \pitchfork f_2$ then $$(f_1\times f_2)^{-1}(\Delta_M):= \{(u,v)\in P_1\times P_2 | f_1(u)= f_2(v)\}$$ is a smooth manifold with corners. Moreover if $P_i$ are clean so is $(f_1\times f_2)^{-1}(\Delta_M).$ Suppose $P$ is an oriented clean smooth manifold with corners. An orientation of $P$ induces an orientation on $\partial _1 P$ and therefore an orientation on each component of $\partial _1 P.$ Let $\alpha_1$ and $\alpha_2$ be two components of $\partial_1 P$ and $\beta$ a component of $\partial_2 P$. Suppose that $\beta\subset \overline \alpha_1$ and $\beta\subset \overline \alpha_2.$ Clearly $\beta$ is a codimension one submanifold of the $\partial_1 P.$ Then an orientation $ o $ on $P$ induces an orientation $o_{\alpha_1}$ on $\alpha_1$ which in turn induces an orientation $o^1_\beta $ on $\beta.$ Similarly the orientation on $P$ induces an orientation $o_{\alpha_2}$ on $\alpha_2$ which in turn induces an orientation $o^2_\beta$ on $\beta.$ Observe that the orientations $o^1_\beta$ and $\o^2_\beta$ are opposite. Suppose now that $P$ is a compact orientable clean smooth manifold with corners of dimension $n.$ Fix an orientation $o_\alpha$ on each component $\alpha$ of the corners. Each component $\alpha$ of $\partial_kP$ is a smooth manifold of dimension $n- k.$ Denote by $\mathcal P_k$ the set of components of dimension $k$ (the components of $\partial _{n-k} P$). Let $I_k :\mathcal P_k\times \mathcal P_{k-1}\to \mathbb Z$ be the function defined by $$I_k(\alpha, \beta)= { \begin{cases} 0 \ if \beta\nsubseteq \overline \alpha&\\ +1\ if \beta\subset \overline \alpha&\text{ and}\ o_\alpha\ \text{ induces} \ o_\beta\\ -1 \ if \beta\subset \overline \alpha&\text{ and}\ o_\alpha \ \text{ induces the oposite of } o_\beta \end{cases}}$$ $\alpha \in \mathcal P_k, \beta\in \mathcal P_{k-1}.$ The above observation implies that $$\label {E;5} \sum_{\beta\in \mathcal P_k} I_{k+1}(\alpha', \beta)\cdot I_k(\beta, \alpha'')=0$$ for any $\alpha' \in \mathcal P_{k+1},$ $\alpha'' \in \mathcal P_{k-1}.$ If for a commutative ring $\kappa$ one considers the $\kappa-$module $$C^k: = \text{Maps}(\mathcal P_k, \kappa)$$ and the linear maps $d^k: C^k\to C^{k+1}$ defined by $$d^k(f)(\alpha)= \sum_{\beta\in \mathcal P_k} I_{k+1}(\alpha, \beta) f(\beta)$$ $f\in C^k,$ then the equality (\[E;5\]) implies that $(C^k, d^k)$ is a cochain complex. The cohomology of this cochain complex is called the <span>**incidence cohomology**</span> of the manifold with corners $P.$ This cohomology is independent on the chosen orientations $o_\alpha'$s. Proof of the main theorem ========================= We will prove Theorem \[TH1.5\] only for $\hat W^-_x$ and $\hat {\mathcal T}(x,y) .$ The statements for $\hat W^+_x$ will follow by changing $X$ into $-X$ since the stable sets for $X$ are the unstable sets for $-X.$ The statements for $\hat {\mathcal M}(x,y)$ can be verified in essentially the same way as for $\hat {\mathcal T}(x,y).$ Alternatively they can be derived from the statements about $\hat W^-_x $ and $\hat W^+_y$ in view of the fact that $\hat{\mathcal M}(x,y)= (\hat i^-_x \times \hat i^+_y)^{-1}(\Delta_M)$ consists of the pairs of points in the product $\hat W^-_x \times \hat W^+_y$ equalized by $\hat i^-_x$ and $\hat i^+_y.$ We will focus the attention to the assertions (1.) and (2.). Part of the assertion (3.), the orientability and the existence of the stable framing follow from the simple observation that $\mathcal T(x,y)\times W^-_y$ is an open set of $\partial_1 \hat W^-_x .$ The last part, the compatibility of the stable framings and of the orientability of $\mathcal T(x,y)$ for various $x,y$ is a tedious but conceptually straightforward verification. More details will be provided in the expanded version of this work, cf. @BH03, which treats the more general case of Bott - hyperbolic vector fields. We first prove assertions (1.) and (2.) under the additional hypothesis <span>**H**</span>. <span>**Hypothesis H:**</span> $X$ admits a proper Lyapunov function $f:M\to \mathbb R$ which in the neighborhood of rest points, in convenient coordinates $u_1,\cdots, u_k, v_1,\cdots, v_{n-k}$, is given by the quadratic expression $$f(x_1, \cdots x_n)= c -\sum_{i=1}^k u_i^2 + \sum_{j=1}^{n-k} v_j^2.$$ We also suppose that with respect to these coordinates the unstable resp. the stable set of the rest points corresponds to $\mathbb R^k\times 0$ resp. $0\times \mathbb R^{n-k}.$ .1in Let $\cdots c_1 <c_2 < \cdots c_k< c_{k+1}\cdots $ be the set of critical values. Choose $\epsilon_i$ such that $c_{i+1}-\epsilon _{i+1} > c_{i}+\epsilon _{i}.$ Introduce $$M_i= f^{-1}(c_i), \ \ M_i^{\pm}= f^{-1}(c_i \pm \epsilon_i), \ \ M(i)= f^{-1}(c_{i-1}, c_{i+1})$$ and denote by $\mathcal X(i)$ the set of rest points which lie in $M_i,$ $ \mathcal X(i)= \mathcal X\cap M_i.$ Denote by $$\varphi_k : M_{k}^-\to M^+_{k-1}$$ the map defined by the flow of $X.$ Precisely $\varphi_k(x)$ is the intersection of the trajectory $\gamma_x,\ x\in M^-_k$ with $M^+_{k-1},$ see FIGURE 2. below. ![<span data-label="fig:DANU7a"></span>](DANU3-new){height="90mm"} For $x\in \mathcal X(i)$ denote by $$S^\pm_x= M^\pm_i\cap W^\pm_x, \ \ D^\pm_x= M(i)\cap W^\pm_x,$$ see FIGURE 3. below, $$\mathbb S^{\pm}_i:= \bigcup _{x\in\mathcal X(i)} S^\pm_{x},$$ $$\mathbb D^{\pm}_i:= \bigcup _{x\in\mathcal X(i)} D^\pm_{x},$$ $$(\mathbb S^+\rtimes \mathbb S^-)_i:= \bigcup _{x\in\mathcal X(i)} S^+_{x}\times S^-_x.$$ $$(\mathbb S^+\rtimes \mathbb D^-)_i:= \bigcup _{x\in\mathcal X(i)} S^+_{x}\times D^-_x.$$ Introduce the sets $$P_i=\{(u,v) \in M^+_i\times M^-_i \mid u,v \ \text{lie on the same possibly broken trajectory} \},$$ $$Q_i=\{ (u,v ) \in M^+_i\times M(i) \mid u, v \ \text{ lie on the same possibly broken trajectory}\}.$$ \[ht\] ![image](Ani8-2-new.pdf){height="50mm"} Each set $P_i$ resp. $Q_i$ is a union of two disjoint subsets $\overset {\circ}{P_i}$ and $\partial P_i$ resp. $\overset {\circ}{Q_i}$ and $\partial Q_i,$ $$\overset{\circ} P_i= \{(u,v) \in P_i \mid u,v \ \text{ lie on the same unbroken trajectory} \}$$ $$\partial P_i= \{ (u,v) \in P_i \mid u,v \ \text{ lie on the same broken trajectory}\}$$ $$\overset{\circ} Q_i= \{(u, v) \in P_i \mid u,v \ \text{lie on the same unbroken trajectory}\}$$ $$\partial Q_i= \{(u,v) \in Q_i \mid u,v \ \text{ lie on the same broken trajectory}\}.$$ Equipped with the topology induced from the product $M^+_i\times M^-_i$ resp. $M^+_i\times M(i)$ $P_i$ resp. $Q_i$ is a topological manifold with boundary with $\overset{\circ} P_i \ \text {resp.}\ \overset{\circ} Q_i$ the interior and $\partial P_i \ \text {resp.}\ \partial Q_i$ the boundary. Actually both $\overset{\circ} P_i\ \text{and}\ \partial P_i $ resp.$\ \overset{\circ} Q_i\ \text {and}\ \partial Q_i$ are smooth submanifolds of $M^+_i\times M^-_i$ resp. $M^+_i\times M(i)$ but $P_i$ resp. $Q_i$ might not be in general. For both $P_i$ and $Q_i$ denote by $p^+_i$ resp. $p^-_i$ the projection on the first resp. second component of $M^+_i\times M^-_i$ and $M^+_i\times M(i)$ and by $p_i= p^+_i\times p^-_i$ their product. The map $p_i$ is one to one and homeomorphism onto the image. In addition we have the following. 1. The map $p_{i}$ identifies $\partial P_i$ with $(\mathbb S^+\rtimes \mathbb S^-)_i,$ and $\partial Q_i$ with $(\mathbb S^+\rtimes \mathbb D^-)_i.$ 2. The restrictions of $p^\pm_{i}$ to $\overset {\circ}{P_i}$ are diffeomorphisms onto $M^\pm\setminus \mathbb S^\pm_i$ and the restrictions to $\partial P_i,$ via the identification above, are the projections on $\mathbb S^\pm_i.$ 3. The restriction of $p^+_{i}$ to $\overset {\circ}{Q_i}$ is a smooth bundle over $M^+_i\setminus \mathbb S^+_i$ with fiber an open interval and the restriction to $\partial Q_i$ is the projection on $\mathbb S^+_i.$ 4. The restriction of $p^-_{i}$ to $\overset {\circ}{Q_i}$ is a diffeomorphism onto $M(i)\setminus \mathbb D^-_i$ and the restriction to $\partial Q_i$ is the projection on $\mathbb D^-_i.$ As pointed out above the subsets $p_{i}(P_i)$ and $p_{i}(Q_i)$ are not necessarily smooth submanifolds of $M^+_i\times M^-_i$ resp. $M^+_i\times M(i),$ however the following propositions will provide structures of smooth manifold with boundary on both $P_i$ and $Q_i$ which will make $p_{i}$ smooth maps. \[P:a\] The smooth map $p_{i}: \partial P_i\to M^+_i\times M^-_i$ admits smooth extensions $ \tilde p_{i} :\partial P_i\times [0,\epsilon)\to M^+_i\times M^-_i$ so that: 1\. the image is a neighborhood of $(\mathbb S^+\rtimes \mathbb S^-)_i $ in $p_{i}(P_i),$ 2\. $\tilde p_{i}$ is injective, 3\. $ \tilde p_{i}$ restricted to $\partial P_i \times (0,\epsilon)$ is of maximal rank. \[P:b\] The smooth map $p_{i}: \partial Q_i \to M^+_i\times M(i)$ admits smooth extensions $\tilde p _{i} :\partial Q_i\times [0,\epsilon)\to M^+_i\times M(i)$ so that: 1\. the image is a neighborhood of $(\mathbb S^+\rtimes \mathbb D^-)_i $ in $p_{i}(Q_i)$ 2\. $\tilde p_{i}$ is injective. 3\. $\tilde p_{i}$ restricted to $\partial Q_i \times (0,\epsilon)$ is of maximal rank. The proofs of these propositions will be given towards the end of the section. Equip $P_i$ with the smooth structure defined by the atlas obtained from $\{\partial P_i\times [0,\epsilon), \tilde p_{i}\}$ and $\overset{\circ}{P_i}.$ Similarly equip $Q_i$ with the smooth structure defined by the atlas obtained from $\{\partial Q_i\times [0,\epsilon), \tilde p_i\}$ and $\overset{\circ}{Q_i}.$ Equivalently, regard $P_i$ resp. $Q_i$ obtained by glueing $\partial P_i\times [0,\epsilon)$ resp. $\partial Q_i\times [0,\epsilon)$ to $\overset{\circ}{P_i}$ resp. $\overset{\circ}{Q_i}$ via the diffeomorphisms provided by the restriction of $\tilde p_{i}$ to $\partial P_i\times (0,\epsilon)$ resp. to $\partial Q_i\times (0,\epsilon).$ These smooth structures will be denoted by $(P_i)_h$ resp.$(Q_i)_h.$ If the rest points of $X$ are of Morse type then we have the following. \[P:c\] If the rest points of $X$ are of Morse type then the image $ p_{i}(P_i)\subset M^+\times M^-_i$ resp. $p_{i}(Q_i)\subset M^+\times M(i)$ are smooth submanifolds with boundaries. The proof of this proposition will be given towards the end of the section. .1in This implies that $P_i$ resp. $Q_i$ have a smooth structure of manifold with boundary denoted by $(P_i)_m$ resp. $(Q_i)_m.$ The structures $(m)$ are $(h)$ are never the same but $id: (P_i)_h\to (P_i)_m$ and $id: (Q_i)_h\to (Q_i)_m$ are smooth homeomorphisms which restrict to diffeomorphisms on the interiors and on the boundaries. .1in Propositions \[P:a\], \[P:b\] and \[P:c\] imply that for any $(r,k)$ the product $\mathcal P:= A\times P_{r+k-1}\times P_{r+k-2}\cdots P_{k+1}\times B$ with $A$ a smooth manifold and $B$ a smooth manifold, possibly with boundary, is a smooth manifold with corners. The corner $\partial _l \mathcal P$ can be described as follows. For any $i$ with $r+k-1 \geq i\geq k+1$ denote by $R_i$ the subset of $P_i$ which is either the interior or the boundary of $P_i$ and by $R_k$ the subset of $B$ which is either the interior or the boundary of $B.$ Then the corner $\partial _l \mathcal P$ is the disjoint union of products $ A\times R_{r+k-1}\times R_{r+k-2}\cdots R_{k+1}\times R_{k}$ with $l$ of the sets $R_i's$ being boundaries and the remaining $r-l$ being interiors. For example if $B$ is a smooth manifold with boundary and $l=1$ $$\begin {aligned} \partial_1 \mathcal P=& A\times \partial P_{r+k-1}\times \overset{\circ} P_{r+k-2}\times \cdots \overset{\circ} P_{k+1}\times \overset {\circ}B \sqcup \\ &A\times \overset{\circ} P_{r+k-1}\times \partial P_{r+k-2}\times \cdots \overset{\circ} P_{k+1}\cdots \times \overset {\circ}B \sqcup \cdots \\ &A\times \overset{\circ} P_{r+k-1}\times \overset{\circ} P_{r+k-2}\times \cdots \partial P_{k+1}\times \overset {\circ}B\sqcup\\ &A\times \overset{\circ} P_{r+k-1}\times \overset{\circ} P_{r+k-2}\times \cdots \overset{\circ} P_{k+1}\times \partial B. \end{aligned}$$ Suppose Propositions \[P:a\], \[P:b\], \[P:c\] were established. Here is the general scheme to verify (1.) and (2.) for $\hat{\mathcal T}(x,y)$ and $\hat W^-_x.$ For any $r,k\geq 0$ consider the diagram .1in .2in .2in where $X's, Y's$ and $A$ are smooth manifolds, $Z's$ and $B$ smooth manifolds with boundary (possibly empty) and the arrows are smooth maps with $\varphi'$s embeddings. Denote by $\mathcal S, \mathcal O$ and $ \mathcal P$ the spaces defined by: 1. $\mathcal S= \mathcal S(r+k,k) := X_{r+k}\times X_{r+k-1} \times \cdots X_{k+1},$ 2. $\mathcal O= \mathcal O(r+k,k):= X_{r+k}\times Y_{r+k-1}\times X_{r+k-1}\times \cdots X_{k+1}\times Y_k,$ 3. $\mathcal P=\mathcal P(r+k,k):= A\times Z_{r+k-1}\times Z_{r+k-2} \times \cdots Z_{k+1}\times B,$ Denote by $s$ and $t$ the maps defined by: 1. $s= s(r+k,k): \mathcal S\to \mathcal O,$ the product of all maps from the top line to the middle line in the diagram above and 2. $t=t(r+k,k): \mathcal P\to \mathcal O,$ the product of all maps from the bottom to the middle line in diagram above. Since $id$ and $\varphi's$ are embeddings so is $s$ and $s(\mathcal S)$ is a smooth submanifold of $\mathcal O.$ Note that $\mathcal P$ is a smooth manifold with corners, $\mathcal O$ and $ \mathcal S$ are smooth manifolds, $t$ and $s$ are smooth maps. We say that " the diagram FIGURE 4. is transversal" if $t \pitchfork s(\mathcal S).$ If so by Theorem \[TH3.2\], the subspace $t^{-1}(s(\mathcal S))$ receives a structure of smooth manifold with corners. To accomplish the proof of (1.) and (2.) in Theorem \[TH1.5\] we choose the integers $r, k,$ the manifolds $X's, \cdots, B$ and the maps $\varphi_i, p^\pm_i, \alpha, \beta, $ appropriately in order to obtain $\hat {\mathcal T}(x,y)$ and $(\hat i_x)^{-1}(f^{-1}(c_{r+k}, c_r)),$ as $t^{-1}(s(\mathcal S)).$ Then we verify the transversality of the diagram FIGURE 4. <span>*The case of $\hat{\mathcal T}(x, y).$* </span> Choose $(r,k)$ so that $f(x)= c_{r+k}$ and $f(y)=c_k.$ Take $A= S^-_x,$ $B= S^+_y,$ $$\begin{aligned} (\varphi_{i+1}: X_{i+1}\to Y_{i})=&(\varphi_{i+1}: M^-_{i+1} \to M^+_{i}), \ \ k \leq i\leq r+k-1, \\ (Z_j, p^+_j, p^-_j)=&(P_j, p^+_j, p^-_j), \ \ k+1\leq j \leq r+k-1. \end{aligned}$$ Take $\alpha, \beta$ to be the obvious inclusions. With these choices $f^{-1}(s(\mathcal S))$ identifies with $\hat {\mathcal T}(x,y).$ Diagram FIGURE 4 becomes .1in .1in .2in Then (1.) and (2.) follow from Proposition \[P:d\] below. \[P:d\] The diagram (FIGURE 5) is transversal. Propositions \[P:d\] is a consequence of the transversality $i^-_x\pitchfork i^+_y$ for $x,y\in \mathcal X(X).$ For details the reader can consult @BFK and @BH01. <span>*The case of $\hat {W}^-_x:$*</span> Let $f(x)= c_m$ and $k<m.$ This case is treated in two steps. First we check that the open set $(\hat i_x)^{-1}(M(k))$ has a structure of a smooth manifold with corners. For this purpose we use the same diagram (FIGURE 4) for $(r=m-k, k)$ $X, Y, Z, A,\alpha $ as in the case of $\hat{\mathcal T}(x, y),$ $B= Q_k,$ $\beta = p^+_{k}: Q_k \to M^+_k$ and we replace Proposition \[P:d\] by Proposition \[P:e\] below. Diagram FIGURE 4 becomes .1in .1in .2in \[P:e\] The diagram (FIGURE 6) is transversal. As with Proposition \[P:d\], Proposition \[P:e\] is a consequences of the transversality $i^-_x\pitchfork i^+_y$ for $x,y\in \mathcal X(X).$ For details the reader can consult @BFK and @BH01. Proposition \[P:e\] implies that $(\hat i_x)^{-1}(M(k)) $ has a structure of smooth manifold with corners. Second, we verify that the smooth structures on $(\hat i_x)^{-1}(M(k)) $ and on $(\hat i_x)^{-1}(M(k-1)) $ agree. For this purpose we consider the map $h:= f\circ p^-_i: Q_i\to (c_{i+1}, c_{i-1})$ and let $Q_i':= h^{-1}(c_{i+1}, c_i)$ and $ Q_i'':= h^{-1}(c_i, c_{i-1}).$ Both are open subsets of $Q_i$ and we have: \[O:a\] There are canonical diffeomorphisms $$\theta'_k: Q_k'\to M^+_k\times (c_{k+1}, c_k)$$ $$\theta''_k: Q_k'' \to P_k\times_{M^-_k} (M^-_k\times (c_k, c_{k-1}))$$ where the fiber product is taken with respect to $p^-_{k}: P_k\to M^-_k$ and the projection $M^-_k\times (c_k, c_{k-1})\to M^-_k.$ Then the composition of : 1. $\theta_k'' :Q_k'' \to P_k\times _{M^-_k} (M^-_k\times (c_k, c_{k-1})),$ 2. the inclusion $ P_k\times _{M^-_k} (M^-_k\times (c_k, c_{k-1}))\subset P_k\times (M^-_k\times (c_k, c_{k-1})),$ 3. $ id\times \varphi_{k-1}\times id : P_k\times M^-_k\times (c_k, c_{k-1}) \to P_k\times M^+_{k-1}\times (c_k, c_{k-1})$ and 4. $id\times (\theta_{k-1}')^{-1}: P_k\times M^+_{k-1}\times (c_k, c_{k-1})\to P_k\times Q_{k-1}'$ is a smooth embedding denoted by $\theta_k: Q_k'' \to P_k\times Q_{k-1}'.$ We write $t':\mathcal P'\to \mathcal O$ resp. $t'': \mathcal P'' \to \mathcal O$ instead of $t:\mathcal P\to \mathcal O$ and $Q'$ resp. $Q''$ instead of $Q.$ In view of Observation \[O:a\] the map $ \mathcal P'(n,k)\to \mathcal P''(n,k-1),$ given by the product of $id's$ (on $ S^-_{x}, P_{n-1},\cdots P_{k-1}$) and of $\theta_k: Q_k'' \to P_k\times Q_{k-1}',$ is a smooth embedding which sends $$(t'' (n,k))^{-1}(s(n,k)(\mathcal S(n,k))$$ onto $$(t' (n,k-1))^{-1}(s(n,k-1)(\mathcal S(n,k-1)) .$$ It identifies the structures of smooth manifolds with corners which were derived using $k$ and $k-1.$ Apparently the smooth structures defined so far depend on the Lyapunov function and the choices of $\epsilon_i;$ this is not the case. .1in <span>**The independence of Lyapunov function:**</span> The arguments are the same for $\hat {\mathcal T}$ and $\hat{W}^-$ so we will treat only $\hat {\mathcal T}.$ If $f$ and $f'$ are two Lyapunov functions and $\underline \gamma$ a possibly broken instanton we consider two transversals $\underline V= (V_1,\cdots, V_k)$ and $\underline V'=(V'_1,\cdots V'_k)$ with the same mark points and $V_i$ contained in the levels of $f$ and $V'_i$ contained in the levels of $f'.$ We can find a diffeomorphism $\theta$ of a neighborhood $U$ of $\gamma$ onto a neighborhood $\theta(U)$ of $\gamma$ which restricts to the identity on $\gamma$ and sends $V_i$ into $V'_i.$ This diffeomorphism provides an open embedding from the product of $V_i$ into the product of $V'_i.$ It follows that $id: \hat {\mathcal T}\to \hat {\mathcal T}$ is smooth and of maximal rank in the neighborhood of $\underline \gamma$ with respect to either one of the smooth structure $(h)$ or $(m)$ defined using $f$ and $f'.$ .1in <span>**The removal of the additional hypothesis**</span> <span>**H:**</span> While global Lyapunov functions might not exist, for any broken instanton $\underline \gamma$ from the rest point $x$ to the rest point $y$ one can find an open neighborhood $U$ in $M$ so that a "convenient Lyapunov function" $f: U\to \mathbb R$ for $X|_U$ exists. Here "convenient Lyapunov function" means that the system $(X|_U, f, U)$ is diffeomorphic to $(Y|_V, g|_V, V)$ where $Y$ is a smooth vector field satisfying $P_1$ and $P_2$ on a smooth manifold $N,$ $g:N\to \mathbb R$ a proper Lyapunov function for $Y$ and $V$ an open set in $N.$ As the space $\hat{\mathcal T}_U(x,y)$ consisting of broken instantons from $x$ to $y$ which lie in $U$ is an open set in $\hat{\mathcal T}(x,y)$ we define a smooth structure on $\hat{\mathcal T}_U(x,y)$ and note that for different such $U's$ these structures agree on intersections. The smooth structure on $\hat{\mathcal T}_U(x,y)$ is defined using the space of broken instantons of $Y$ on $N$ which lie in $V.$ .1in <span>*Proof of Proposition \[P:a\], \[P:b\]* </span> First we introduce some notation. In the context of Theorem \[T;2.1\] in section 2 denote by $ S^\pm$ and by $ D^\pm$ the sphere and the disc of radius $\epsilon$ in $\mathbb R^{\pm}$ and when this notation is applied to coordinates about a rest point $x$ write $ S^\pm_x$ and by $ D^\pm_x$ instead. Define the maps $\chi_1= (\chi^+_1, \chi^-_1): S^+\times D^-\times [0, \infty )\to (\mathbb R^+\times \mathbb R^-)$ and $\chi_2= (\chi^+_2, \chi^-_2): S^+\times D^-\times [0, \infty)\to (\mathbb R^+\times \mathbb R^-),$ by the formulae: $$\label {F;c} \begin{aligned} \chi_1^+(p, q, s)=&p\\ \chi_1^-(p, q, s)=&\gamma^-(-1/s, p, q, -1/s, 1/s )\text \ if s\ne 0\\ \chi_1^-(p, q, 0)=&0 \end{aligned}$$ $$\label {F;d} \begin{aligned} \chi_2^+(p, q, s)=&\gamma^+(1/s, p, q, -1/s, 1/s )\text \ if s\ne 0\\ \chi_2^-(p, q, 0)=&0\\ \chi_2^-(p, q, s)=&q. \end{aligned}$$ Define $\chi:=(\chi_1, \chi_2): S^+\times D^-\times [0, \infty)\to (\mathbb R^+\times \mathbb R^-)\times (\mathbb R^+\times \mathbb R^-).$ Clearly $\chi ( S^+\times S^-\times[0,\infty))\subset ( S^+\times \mathbb R^-)\times (\mathbb R^+\times \mathbb S^-).$ The estimates in Theorem \[T;2.1\] show that the map $\chi$ is smooth and for $\theta $ small the restriction of $\chi$ to $S^+\times S^-\times(0,\theta)$ and to $ S^+\times S^-\times 0$ is of maximal rank but $\chi$ is not. It fails at the points of $ S^+\times S^-\times 0 .$ .1in <span>**Example :**</span> If $$\label{Eq;1} \begin{aligned} X =- \operatorname{grad}f= -&\sum_{i=1}^k x_i\partial / \partial x_j + \sum_{j=k+1}^n x_j\partial / \partial x_j.\\ p= (x_1,\cdots x_k), \ & \ q=(x_{k+1}, \cdots, x_n) \end{aligned}$$ a simple calculation shows that: $$\gamma^+(t; p, q, T_1,T_2)= e^{(T_1-t)}p, \ \ \gamma^-(t; p, q, 0,T)= e^{-(T_2-t)}q .$$ The estimates in Theorem \[T;2.1\] are satisfied and $\chi$ is visibly not of maximal rank at the points of $ S^+\times S^- \times 0.$ .1in We proceed now with the proof of Propositions \[P:a\] and \[P:b\]. Observe that it suffices to check the statements in Propositions \[P:a\] and \[P:b\] for $\epsilon _i$ small enough and the statement in Proposition \[P:b\] for $M(i)$ replaced by the smaller open set $f^{-1}(c_i-\epsilon_i, c_i + \epsilon_i).$ Choose for each rest point $x\in\mathcal X(i)$ a neighborhood and coordinates in the neighborhood so that the hypotheses of Theorem \[T;2.1\] are satisfied and $f = c_i -1/2 |p|^2 + 1/2|q|^2.$ Here $|p|$ and $|q|$ denote the norm in the respective coordinates. Choose $\epsilon_i =\epsilon/2 $ with $\epsilon$ small enough to have the conclusions of Theorem \[T;2.1\] satisfied for each rest point. Since there is no risk of confusion from now on we drop the index $i$ from notation and write $M(\epsilon)$ instead of $f^{-1}(c_i-\epsilon, c_i + \epsilon).$ Define $u^+_x: S^+_x\times D^-_x\to M^+, \text{resp}.\ u^-_x: D^+_x\times S^-_x \to M^-$ to be the map which assigns to $(p,q)$ the intersection of the trajectory through $(p,q)$ with $M^+$ resp. $M^-.$ The maps $u^+_x$ and $u^-_x$ are diffeomorphisms on their images and their restrictions to $ S^+_x\times 0$ resp. to $0\times S^-_x$ are the identity maps. For the rest point $x$ denote by $(\chi^x_1, \chi^x_2)$ the maps $(\chi_1, \chi_2)$ defined by the formulae (\[F;c\]) and (\[F;d\]). For $P$ take $\tilde p_x:= (u^+_x\circ \chi^x_1, u^-_x\circ \chi^x_2): S^+_x\times S^-_x\times [0, \epsilon')\to M^+\times M^-$ and for $Q$ take $\tilde p_x:= (u^+_x\circ \chi^x_1, \chi^x_2): S^+\times D^-_x\times [0, \theta)\to M^+\times M(\epsilon)$ with $\theta$ small enough to insure that the image of $S^+_x\times S^-_x\times [0, \theta)$ by $\chi^x_2$ lies in $ M(\epsilon).$ Take $\tilde p= \sqcup_{x\in \mathcal X(i)} \tilde p_x.$ The maps $\tilde p$ satisfy the conclusions of Propositions \[P:a\] and \[P:b\]. .1in <span>*Proof of Proposition \[P:c\]:*</span> We use the same conventions and notations as in the previous proof. The chosen neighborhoods and coordinates for the rest points are so made to have $X$ given by (\[Eq;1\]). Then, each trajectory of $X$ passing through $(p,q)\in \mathbb R^n\times \mathbb R^{n-k}$ ( $k= \operatorname{ind}x$) at $s=0$ is given by $$\gamma(s)= (\gamma^+(s), \gamma^-(s)), \ \ \gamma^+(s)= e^{-s} p,\ \ \gamma^-(s)= e^{s}q.$$ To check that $P$ is a smooth submanifold with boundary it suffices to construct the smooth maps $\omega_x: S^+ _x\times S^-_x\times [0,\epsilon)\to M^+\times M^-$ so that $\omega : (\mathbb S^+\rtimes \mathbb S^-)\times [0,\epsilon) \to M^+\times M^-$ defined by $\omega= \sqcup_{x\in \mathcal X(i)} \omega_x$ satisfies: 1a. $ \omega$ restricted to $\partial P= (\mathbb S^+ \rtimes \mathbb S^-)$ is the identity, 2a. the image of $\omega$ is an open neighborhood of $\partial P$ in $P.$ 3a. $\omega$ is of maximal rank on $(\mathbb S^+ \rtimes \mathbb S^-) \times [0,\epsilon),$ (Note the distinction between item 3a. above and item 3. in Propositions \[P:a\] and \[P:b\].) Define $u_x= (u^+_x, u^-_x)$ by assigning to $(p,q,t),$ $p\in S^+_x, q\in S^-_x$ and $t\in [0,\epsilon)$ the pair of points provided by the intersection of the trajectory passing through $ p +tq,$ with $M^+$ and $M^-.$ Define $\omega_x:= (u^+_x\circ \chi^x_1, u^-_x\circ \chi^x_2)$ where $$\chi^x(p,q,t):= (\chi^x_1(p,q,t), \chi^x_2(p,q,t):= (p, tq, tp, q).$$ Items 1a., 2a, 3a. above are satisfied. To check that $Q$ is a smooth submanifold with boundary it suffices to construct the smooth maps $\omega_x: S^+_x \times D^-_x\times [0,\epsilon)\to M^+\times M(\epsilon)$ so that $\omega= \sqcup_{x\in \mathcal X(i)}\omega_x$ satisfies: 1b. $ \omega$ restricted to $\partial Q= (\mathbb S^+ \rtimes \mathbb D^-)$ is the identity, 2b. the image of $\omega$ is an open neighborhood of $\partial Q$ in $Q,$ 3b. $\omega$ is of maximal rank on $(\mathbb S^+ \rtimes \mathbb D^-)\times [0,\epsilon).$ Define $u^+_x$ by assigning to $(p,q,t),$ $p\in S^+_x, q\in D^-_x$ the intersection of the trajectory passing through $ tp +q$ with $M^+.$ Define $\omega_x:= (u^+\circ \chi^x_1, \chi^x_2)$ where $$\chi(u,v,t)= (\chi^x_1(p,q,t), \chi^x_2(p,q,t)):= ((p, tq), (tp, q)).$$ Items 1b, 2b, 3b. above are satisfied. q.e.d The reader can notice that the smooth structures (h) and (m) in the case of a vector field with the rest points of Morse type provided by Propositions \[P:a\], \[P:b\] and Proposition \[P:c\] respectively can not be the same. <span>99</span> *D.M. Austin and P.J. Braam,* Morse–Bott theory and equivariant cohomology. The Floer memorial volume, 123–183. Progr. Math. **133**, Birkhäuser, Basel, 1995. *D.Burghelea. L. Friedlander, T. Kapeller* On the space of trajectories of a generic gradient like vector field Analele Universitatii de Vest, Timisoara Seria Matematica – Informatica, 81 pages (to appear) (2010). This is a part of a book in preparation on Witten Deformation of the deRham complex. *D. Burghelea S. Haller*, On the topology and analysis of closed one form. I (Novikov theory revisited), *Monogr. Enseign. Math.* 38 (2001) 133–175. *D. Burghelea S. Haller*, Dynamics Laplace transform and spectral geometry *Journal of Topology* 1 (2008) 115-151. *D. Burghelea S. Haller*, Bott hyperbolic vector fields *in preparation* *F. Latour* Existence de one-formes fermees non singulieres dans une classe de cohomologie de Rham *I.H.E.S. Publ. Math.* 80. (1995) p 135-194. *M.C. Irwin* Smooth Dynamical Systems Academic Press 1980 *I. Kupka*, Contribution à la théorie des champs génériques, *Contributions to Differential Equations* 2 (1963) 457–484. *M.M. Peixoto*, On an Approximation Theorem of Kupka and Smale, *J. Differential Equations* 3 (1967) 214–227. *S. Smale*, Stable manifolds for differential equations and diffeomorphisms, *Ann. Scuola Norm. Sup. Pisa* 814.959.8300. *A. Katok B. Hasselblatt*, *Introduction to the modern theory of Dynamical systems.* Cambridge University press, 1995. M. Schwarz, *Morse homology.* Progress in Mathematics **111**, Birkhäuser Verlag, Basel, 1993. [^1]: partially supported by NSF grant no MCS 0915996 [^2]: $D_x(X)$ is defined as follows. Choose an open neighborhood $U$ of $x$ in $M$ and a trivialization of the tangent bundle above $U$, $\theta:TU\to U\times T_x(M)$, with $\theta|_{T_x(M)}=\operatorname{id}$. Consider $Y:=\operatorname{pr}_2\cdot\theta\cdot X:U\to T_x(M)$ with $\operatorname{pr}_2$ the projection on the second component; $Y(x)=0$. Observe that $D_x(Y)$ is independent of $\theta$ and defines $D_x(X):=D_x(Y).$ [^3]: If $M$ is not compact then $\mathbb R$ should be replaced by an open interval, the maximal domain of the trajectory; when $M$ is compact this domain is $\mathbb R.$ [^4]: This is not true if $M$ is not closed. [^5]: The later being coarser in general. [^6]: In this case
{'source': 'arXiv_out/1004'}