In this article, we show that the Fredholm Lagrangian Grassmannian is homotopy equivalent with the space of compact perturbations of a fixed lagrangian. As a corollary, we obtain that the Maslov index with respect to a lagrangian is a isomorphism between the fundamental group of the Fredholm Lagrangian Grassmannian and the integers.
We classify the homotopy classes of proper Fredholm maps from an infinite dimensional Hilbert manifold into its model space in terms of a suitable version of framed cobordism. Our construction is an alternative approach to the classification introduced by Elworthy and Tromba in 1970 and does not make use of further structures on the ambient manifold, such as Fredholm structures. In the special case of index zero, we obtain a complete classification involving the Caccioppoli-Smale mod 2 degree and the absolute value of the oriented degree.
The incidence correspondence in the grassmannian which determines the tautological bundle defines a map between cycle spaces on grassmannians. These cycle spaces decompose canonically into a product of Eilenberg-MacLane spaces. These decompositions and the associated maps are calculated up to homotopy.
We study the analytic and homotopy properties of some infinite dimensional Grassmannians, useful for developing a Morse theory for infinite dimensional manifolds. We study the space of Fredholm pairs of a Hilbert space, we determine its homotopy type, and we define a determinant bundle over it. We study the space of compact perturbations of a given closed linear subspace, and the related concept of essential Grassmannian.
We show that $S^n \vee S^m$ is $\mathbb{Z}/p^r$-hyperbolic for all primes $p$ and all $r \in \mathbb{Z}^+$, provided $n,m \geq 2$, and consequently that various spaces containing $S^n \vee S^m$ as a $p$-local retract are $\mathbb{Z}/p^r$-hyperbolic. We then give a $K$-theory criterion for a suspension $ΣX$ to be $p$-hyperbolic, and use it to deduce that the suspension of a complex Grassmannian $ΣGr_{k,n}$ is $p$-hyperbolic for all odd primes $p$ when $n \geq 3$ and $0<k<n$. We obtain similar results for some related spaces.
We prove an h-principle with boundary condition for a certain class of topological spaces valued sheaves. The techniques used in the proof come from the study of the homotopy type of the cobordism categories, and they are of simplicial and categorical nature. Applying the main result of this paper to a certain sheaf we find another proof of the Madsen-Weiss theorem, that describes the homotopy type of the classifying space of the cobordism category as the loop space of the Thom space of the complement of the tautological bundle over the Grassmannians.
The Grassmannian of affine subspaces is a natural generalization of both the Euclidean space, points being zero-dimensional affine subspaces, and the usual Grassmannian, linear subspaces being special cases of affine subspaces. We show that, like the Grassmannian, the affine Grassmannian has rich geometrical and topological properties: It has the structure of a homogeneous space, a differential manifold, an algebraic variety, a vector bundle, a classifying space, among many more structures; furthermore; it affords an analogue of Schubert calculus and its (co)homology and homotopy groups may be…
In \cite{GrOrang}, Gromov asks the following question: given a nullhomotopic map $f:S^m \to S^n$ of Lipschitz constant $L$, how does the Lipschitz constant of an optimal nullhomotopy of $f$ depend on $L$, $m$, and $n$? We establish that for fixed $m$ and $n$, the answer is at worst quadratic in $L$. More precisely, we construct a nullhomotopy whose \emph{thickness} (Lipschitz constant in the space variable) is $C(m,n)(L+1)$ and whose \emph{width} (Lipschitz constant in the time variable) is $C(m,n)(L+1)^2$. More generally, we prove a similar result for maps $f:X \to Y$ for any compact Riemanni…
We introduce new invariants of Hamiltonian fibrations with values in the suitably twisted K-theory of the base. Inspired by techniques of geometric quantization, our invariants arise from the family analytic index of a family of natural $Spin^c$-Dirac operators. As an application we give new examples of non-trivial Hamiltonian fibrations, that have not been previously detected by other methods. As one crucial ingredient we construct a potentially new homotopy equivalence map, with a certain naturality property, from $BU$ to the space of index $0$ Fredholm operators on a Hilbert space, using el…
Our main theorem is that the inclusion of a Birkhoff variety in the affine Grassmannian is a homotopy equivalence. We also construct analogues of tubular neighborhoods for Birkhoff and Schubert varieties. We include some observations on torus-equivariant cohomology.
We define equivariant projective unitary stable bundles as the appropriate twists when defining K-theory as sections of bundles with fibers the space of Fredholm operators over a Hilbert space. We construct universal equivariant projective unitary stable bundles for the orbit types, and we use a specific model for these local universal spaces in order to glue them to obtain a universal equivariant projective unitary stable bundle for discrete and proper actions. We determine the homotopy type of the universal equivariant projective unitary stable bundle, and we show that the isomorphism classe…