Diffeology of the infinite Hopf fibration

Patrick Iglesias-Zemmour. "Diffeology of the infinite Hopf fibration." Banach Center Publications 76.1 (2007): 349-393. <http://eudml.org/doc/282399>.

@article{PatrickIglesias2007,
abstract = {We introduce diffeological real or complex vector spaces. We define the fine diffeology on any vector space. We equip the vector space 𝓗 of square summable sequences with the fine diffeology. We show that the unit sphere 𝓢 of 𝓗, equipped with the subset diffeology, is an embedded diffeological submanifold modeled on 𝓗. We show that the projective space 𝓟, equipped with the quotient diffeology of 𝓢 by 𝓢¹, is also a diffeological manifold modeled on 𝓗. We define the Fubini-Study symplectic form on 𝓟. We compute the momentum map of the unitary group U(𝓗) on the sphere 𝓢 and on 𝓟. And we show that this momentum map identifies the projective space 𝓟 with a diffeological coadjoint orbit of the group U(𝓗), where U(𝓗) is equipped with the functional diffeology. We discuss some other properties of the symplectic structure of 𝓟. In particular, we show that the image of 𝓟 under the momentum map of the maximal torus 𝕋(𝓗) of U(𝓗) is a convex subset of the space of moments of 𝕋(𝓗), infinitely generated.},
author = {Patrick Iglesias-Zemmour},
journal = {Banach Center Publications},
language = {eng},
number = {1},
pages = {349-393},
title = {Diffeology of the infinite Hopf fibration},
url = {http://eudml.org/doc/282399},
volume = {76},
year = {2007},
}

TY - JOUR
AU - Patrick Iglesias-Zemmour
TI - Diffeology of the infinite Hopf fibration
JO - Banach Center Publications
PY - 2007
VL - 76
IS - 1
SP - 349
EP - 393
AB - We introduce diffeological real or complex vector spaces. We define the fine diffeology on any vector space. We equip the vector space 𝓗 of square summable sequences with the fine diffeology. We show that the unit sphere 𝓢 of 𝓗, equipped with the subset diffeology, is an embedded diffeological submanifold modeled on 𝓗. We show that the projective space 𝓟, equipped with the quotient diffeology of 𝓢 by 𝓢¹, is also a diffeological manifold modeled on 𝓗. We define the Fubini-Study symplectic form on 𝓟. We compute the momentum map of the unitary group U(𝓗) on the sphere 𝓢 and on 𝓟. And we show that this momentum map identifies the projective space 𝓟 with a diffeological coadjoint orbit of the group U(𝓗), where U(𝓗) is equipped with the functional diffeology. We discuss some other properties of the symplectic structure of 𝓟. In particular, we show that the image of 𝓟 under the momentum map of the maximal torus 𝕋(𝓗) of U(𝓗) is a convex subset of the space of moments of 𝕋(𝓗), infinitely generated.
LA - eng
UR - http://eudml.org/doc/282399
ER -