Diffeology of the infinite Hopf fibration

Volume 76 / 2007

Patrick Iglesias-Zemmour Banach Center Publications 76 (2007), 349-393 MSC: Primary 58B99. DOI: 10.4064/bc76-0-17


We introduce diffeological real or complex vector spaces. We define the fine diffeology on any vector space. We equip the vector space ${\mathcal H}$ of square summable sequences with the fine diffeology. We show that the unit sphere ${\mathcal S}$ of ${\mathcal H}$, equipped with the subset diffeology, is an embedded diffeological submanifold modeled on ${\mathcal H}$. We show that the projective space ${\mathcal P}$, equipped with the quotient diffeology of ${\mathcal S}$ by ${\mathcal S}^1$, is also a diffeological manifold modeled on ${\mathcal H}$. We define the Fubini-Study symplectic form on ${\mathcal P}$. We compute the momentum map of the unitary group ${\mathbb U}({\mathcal H})$ on the sphere ${\mathcal S}$ and on ${\mathcal P}$. And we show that this momentum map identifies the projective space ${\mathcal P}$ with a diffeological coadjoint orbit of the group ${\mathbb U}({\mathcal H})$, where ${\mathbb U}({\mathcal H})$ is equipped with the functional diffeology. We discuss some other properties of the symplectic structure of ${\mathcal P}$. In particular, we show that the image of ${\mathcal P}$ under the momentum map of the maximal torus ${\mathbb T}({\mathcal H})$ of ${\mathbb U}({\mathcal H})$ is a convex subset of the space of moments of ${\mathbb T}({\mathcal H})$, infinitely generated.


  • Patrick Iglesias-ZemmourEinstein Institute
    The Hebrew University of Jerusalem
    Campus Givat Ram
    Jerusalem 91904, Israel

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image