## Question on Hilbert Manifolds

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I have a very basic question on Hilbert manifolds.

Consider the Hilbert space $$\mathcal{H}:= L^2(S^1)$$ with $S^1$ the unit circle. On $\mathcal{H}$ let us introduce the equivalence relation $$f\sim g : \Leftrightarrow f(\cdot ) = g(\cdot + \alpha)\quad \mbox{for some }\alpha \in S^1.$$ Now define the factor space $$\overline{\mathcal{H}}:= \mathcal{H}/\sim.$$ What is the structure of $\overline{\mathcal{H}}$? Is it a Hilbert manifold? If so, how to construct the smooth structure? I am particularly interested in computing a (Riemannian) distance between two elements of $\overline{\mathcal{H}}$.

-
Sorry, I has an answer that was wrong, using Fourier transform. If it can be corrected, I will repost. – BS Jun 21 at 13:40
I would be equally interested in the answer for $L^2(G)/G$ if $G$ is a (compact) topological group. – Spice the Bird Jun 21 at 23:58

1
See Andrew Stacy's answer to the question mathoverflow.net/questions/10200/… – Spice the Bird Jun 22 at 0:10

2
Not a Hilbert manifold. As the answer(s) have pointed out, you get problems at fixed points of the circle action (indeed, at any point where the circle action has a non-trivial stabiliser). There's another problem which is that the circle does not act continuously on the Hilbert space - how much of a problem this is will depend on how you want to fix the first problem (for example, you could go for a stratified space). – Andrew Stacey Jun 25 at 9:28

## 1 Answer

It probably is NOT a smooth manifold. I think finding a chart around the point corresponding to constants, namely, the fixed points of the action of the group of rotation, is problematic.More precisely, at a fixed point, there is not a well-defined tangent space.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 6, "mathjax_display_tex": 3, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9117489457130432, "perplexity_flag": "head"}