For finite dimensional manifolds, there is a lot of theory about when the number of intersections (modulo $2$) of certain objects are preserved under homotopy. I'll give two quick examples:


Let $f:X \to Y$ be a smooth map from a compact manifold $X$ to a connected manifold $Y$ of the same dimension. Then if both $x,y \in Y$ are regular values of $f$, we know that $f^{-1}(x), f^{-1}(y)$ are both 0-dimensional manifolds, compact, and so finite sets. In fact the sizes of these sets are the same modulo $2$.


Let $X,Y \subset Z$ be two transverse submanifolds of $Z$, one of which is compact. The intersection $X \cap Y$ is as above a finite set of points. In fact its size is preserved (modulo $2$) under homotopy of $X,Y$ to $X',Y'$, provided we end with transverse submanifolds $X',Y'$.


I was wondering if any of this theory generalises to infinite-dimensional manifolds? Take the above two theorems for example, do they have analogues versions for $X,Y,Z$ banach manifolds? What about frechet manifolds? I'm aware compactness will be an issue, but can we generalise nonetheless, for example if we assume the intersection number is finite?



Intersection modulo 2 theory for infinite dimensional manifolds?
One can speak of transersality of intersections in an infinite dimensional context.
If one goes beyond Hilbert manifolds (e.g. Banach, Frechet) one needs to be a bit careful with the definition of transverse, because one needs to impose splitting conditions. For a submanifold one typically demands that the tangent space $T\_xX$ admits a closed complement. Then it it is not enough to demand that $T\_xX +T\_xY=T\_xM$ at every point of intersection, but one needs that $T\_xX\cap T\_xY$ is closed and complemented. To be able to ignore this issue, let me assume that $Z$ is a Hilbert manifold and $X,Y\subseteq Z$ are submanifolds.


Then if $X$ is closed (as a subset of $Z$), is of finite codimension $m$, and $Y$ is compact of finite dimension $n$, and the intersection is transverse then $X\cap Y$ is a compact submanifold of dimension $n-m$. Moreover, if $f:Y\rightarrow Z$ denotes the inclusion, and $g$ is homotopic to $f$ and also transverse to $X$ than $g(Y)\cap Z$ is cobordant to $f(Y)\cap Z$. In particular, this means that the mod $2$ intersection number is well-defined in this context. If the normal bundle of $X$ is oriented, and $Y$ is also oriented, everything works with orientations as well.


A nice class of mappings are Fredholm mappings. Smale famously proved if $f:M\rightarrow N$ is a smooth Fredholm mapping of index $k$, that $f$ has regular values (without Fredholm this can be false), and that the preimage of a regular value is a manifold of dimension equal to $k$. If $f$ is a proper map, then this manifold is compact. The cobordism class of the regular value is independent of the regular value, and the proper Fredholm cobordism class. This can be used to distinguish proper Fredholm mappings. Together with Alberto Abbondandolo we upgraded this invariant to a full invariant (infinite dimensional framed cobordism classes) in the case $N$ is the Hilbert space. This is in this paper here:



> 
> MR4058178 Prelim Abbondandolo, Alberto; Rot, Thomas O.; On the
> homotopy classification of proper Fredholm maps into a Hilbert space.
> J. Reine Angew. Math. 759 (2020), 161–200. 58B15 (47A53 47H11)
> 
> 
> 


We also discuss the framed cobordism classes of non-positive index in this paper. The index one case, for simply connected Hilbert manifolds, is done in our recent preprint.


<https://arxiv.org/abs/2005.03936>


