8
$\begingroup$

Kuiper's theorem is well-known to give the triviality of the homotopy groups of ${\rm GL}(\mathcal{H})$ for $\mathcal{H}$ a (separable) infinite-dimensional complex Hilbert space. Work of Palais later gives sufficient control over the infinite-dimensional manifold structure so that we know ${\rm GL}(\mathcal{H})$ is in fact contractible. Mathai Varghese asked me about ten years ago (as a student) if I would be interested in proving that ${\rm GL}(\mathcal{H})$ was holomorphically contractible. This was not a challenge I took up at the time, though it was suggested to me that a first step would be to think about whether $\mathcal{H}\setminus\{0\}$ was holomorphically contractible.

Is this something reasonable to expect? The first issue is to figure out in what topology we even have a complex infinite-dimensional manifold, if any.

The reason that it would be useful to know is that ${\rm GL}(\mathcal{H})/\mathbb{C}^\times$ would be a holomorphic $K(\mathbb{Z},2)$. I've always wanted to know if this is possible...

$\endgroup$
7
  • 3
    $\begingroup$ What do "holomorphically contractible" and "holomorphic $K(\mathbb{Z}, 2)$" mean? $\endgroup$ May 2, 2016 at 4:16
  • 2
    $\begingroup$ I would interpret holomorphic contractibility of $X=\mathcal{H}\setminus \{0\}$ as meaning that any holomorphic map from a complex manifold $M$ to $X$ is homotopic to a point, via a holomorphic homotopy $M\times\mathbb{C}\to X$. The holomorphic mappings $M\to X$ would be given by a colimit procedure from the finite-dimensional approximations of $\mathcal{H}$. With this interpretation, it should be possible to see that the classical homotopy which shows that $S^\infty$ is contractible gives rise to a holomorphic contraction. $\endgroup$ May 2, 2016 at 7:21
  • 1
    $\begingroup$ This is part of the question. Perhaps one wants contractible with respect to the cylinder object using the complex numbers with basepoints 0,1, perhaps. By holomorphic K(Z,2) I mean a natural complex manifold that is homotopically a K(Z,2). Feel free to interpret these definitions as you see fit. $\endgroup$
    – David Roberts
    May 2, 2016 at 8:01
  • 1
    $\begingroup$ @MatthiasWendt well, it's got to be more complicated than that, otherwise Kuiper's theorem would be a corollary of the contractibility of S^oo $\endgroup$
    – David Roberts
    May 2, 2016 at 8:03
  • 1
    $\begingroup$ @DavidRoberts I did not say I knew how to go from the contractibility of $\mathcal{H}\setminus\{0\}$ to the contractibility of $\operatorname{GL}(\mathcal{H})$, and I think that the complications reside more in this latter step. For example, the $(2n-2)$-connectedness of $\mathbb{C}^n\setminus\{0\}$ does not imply $(2n-2)$-connectedness of $\operatorname{GL}_n(\mathbb{C})$. $\endgroup$ May 2, 2016 at 8:16

0

Your Answer

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