## Return to Question

6 discussed topological space structure

Let X be an affine variety over ℂ. Consider X(ℂ) with the classical topology, and create the topologists loop space ΩX(ℂ) of maps from the circle into X(ℂ). One can also construct the ind-variety X((t)), whose R-points are given by X(R((t))) for any ℂ-algebra R. Take the ℂ-points of this ind-variety, and give them the usual topology. Is the topological space X((t))(ℂ) thus defined homotopy equivalent to ΩX(ℂ)?

Edit: David Ben-Zvi's comment regarding using unbased loops instead of based loops is pertinent. We should be considering unbased loops (L not Ω). This checks out in the case where $X=\mathbb{G}_m$. The further commentary remark below applies to the affine Grassmannian case of based loopsalso provides positive evidence.

Commentary (based on comments): Note that the space X((t)) is not the base change of X to ℂ((t)). It isn't the restriction of scalars either, since $R\otimes \mathbb{C}((t))\neq R((t))$ in general. I'll try to come back with more details, an example or a reference in due time, but if someone has one ready to go, let me know.

Further commentary: Based on Regarding putting the comment classical topology of Stephen Griffeth, if loops on G is going to X((t))(ℂ), one should not be homotopic to the affine Grassmannian, and scared of the affine Grassmannian is ind-scheminess. ℂ((t)) has a homogenous space for the algebraic loop group, with the stabaliser natural structure of a point being topologically non-trivialtopological ring, then I guess and hence we topologise X(ℂ((t))) in the answer to usual manner, taking the original question as I asked it is nosubspace topology using a closed embedding into affine n-space for some n.

[paragraph redacted]

5 added 280 characters in body

Let X be an affine variety over ℂ. Consider X(ℂ) with the classical topology, and create the topologists loop space ΩX(ℂ) of maps from the circle into X(ℂ). One can also construct the ind-variety X((t)), whose R-points are given by X(R((t))) for any ℂ-algebra R. Take the ℂ-points of this ind-variety, and give them the usual topology. Is the topological space X((t))(ℂ) thus defined homotopy equivalent to ΩX(ℂ)?

Edit: David Ben-Zvi's comment regarding using unbased loops instead of based loops is pertinent. We should be considering unbased loops (L not Ω). This checks out in the case where $X=\mathbb{G}_m$. The further commentary remark below applies to the case of based loops.

Commentary (based on comments): Note that the space X((t)) is not the base change of X to ℂ((t)). It isn't the restriction of scalars either, since $R\otimes \mathbb{C}((t))\neq R((t))$ in general. I'll try to come back with more details, an example or a reference in due time, but if someone has one ready to go, let me know.

Further commentary: Based on the comment of Stephen Griffeth, if loops on G is going to be homotopic to the affine Grassmannian, and the affine Grassmannian is a homogenous space for the algebraic loop group, with the stabaliser of a point being topologically non-trivial, then I guess the answer to the original question as I asked it is no.

4 further commentary added

Let X be an affine variety over ℂ. Consider X(ℂ) with the classical topology, and create the topologists loop space ΩX(ℂ) of maps from the circle into X(ℂ). One can also construct the ind-variety X((t)), whose R-points are given by X(R((t))) for any ℂ-algebra R. Take the ℂ-points of this ind-variety, and give them the usual topology. Is the topological space X((t))(ℂ) thus defined homotopy equivalent to ΩX(ℂ)?

Commentary (based on comments): Note that the space X((t)) is not the base change of X to ℂ((t)). It isn't the restriction of scalars either, since $R\otimes \mathbb{C}((t))\neq R((t))$ in general. I'll try to come back with more details, an example or a reference in due time, but if someone has one ready to go, let me know.

Further commentary: Based on the comment of Stephen Griffeth, if loops on G is going to be homotopic to the affine Grassmannian, and the affine Grassmannian is a homogenous space for the algebraic loop group, with the stabaliser of a point being topologically non-trivial, then I guess the answer to the original question as I asked it is no.

3 it's not the restriction of scalars

Let X be an affine variety over ℂ. Consider X(ℂ) with the classical topology, and create the topologists loop space ΩX(ℂ) of maps from the circle into X(ℂ). One can also construct the ind-variety X((t)), whose R-points are given by X(R((t))) for any ℂ-algebra R. Take the ℂ-points of this ind-variety, and give them the usual topology. Is the topological space X((t))(ℂ) thus defined homotopy equivalent to ΩX(ℂ)?

Commentary (based on comments): Note that the space X((t)) is not the base change of X to ℂ((t)) but instead is ℂ((t)). It isn't the restriction of scalars either, since $R\otimes \mathbb{C}((t))\neq R((t))$ in general. I'll try to come back with more details, an example or a reference in due time, but if someone has one ready to go, let me know.

2 expanded definition of X((t))

Let X be an affine variety over ℂ. Consider X(ℂ) with the classical topology, and create the topologists loop space ΩX(ℂ) of maps from the circle into X(ℂ). One can also construct the ind-variety X((t)), whose R-points are given by X(R((t))) for any ℂ-algebra R. Take the ℂ-points of this ind-variety, and give them the usual topology. Is the topological space X((t))(ℂ) thus defined homotopy equivalent to ΩX(ℂ)?

Commentary (based on comments): Note that the space X((t)) is not the base change of X to ℂ((t)) but instead is the restriction of scalars. I'll try to come back with more details, an example or a reference in due time, but if someone has one ready to go, let me know.

1

# Topologists loops versus algebraists loops

Let X be an affine variety over ℂ. Consider X(ℂ) with the classical topology, and create the topologists loop space ΩX(ℂ) of maps from the circle into X(ℂ). One can also construct the ind-variety X((t)), whose R-points are given by X(R((t))) for any ℂ-algebra R. Take the ℂ-points of this ind-variety, and give them the usual topology. Is the topological space X((t))(ℂ) thus defined homotopy equivalent to ΩX(ℂ)?
{"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": 0, "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": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9147409796714783, "perplexity_flag": "middle"}