Skip to main content
5 of 6
added 280 characters in body
Peter McNamara
  • 8.9k
  • 1
  • 41
  • 68

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(ℂ)?

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.

Peter McNamara
  • 8.9k
  • 1
  • 41
  • 68