Skip to main content
Arrows, tags
Source Link
David Roberts
  • 35.4k
  • 11
  • 124
  • 349

Let $X$ be an Artin stack over $k=\mathbf{C}$. I've heard that $X$ has a topological realisation, but I've not been able to find an explicit decription.

My first guess would be: take a smooth cover $U\to X$ ($U$ is a scheme), then consider the simplicial space $$\cdots \ \longrightarrow U_\text{top}\times_XU_\text{top} \ \longrightarrow U_\text{top}$$$$\cdots \substack{\rightarrow\\[-1em] \rightarrow \\[-1em] \rightarrow} U_\text{top}\times_XU_\text{top} \ \rightrightarrows U_\text{top}$$ and take its geometric realisation. I think this gives the right answer when $X$ is a scheme or $X=BG$.

Is this guess correct? If not, what goes wrong and what is the correct answer?

Let $X$ be an Artin stack over $k=\mathbf{C}$. I've heard that $X$ has a topological realisation, but I've not been able to find an explicit decription.

My first guess would be: take a smooth cover $U\to X$ ($U$ is a scheme), then consider the simplicial space $$\cdots \ \longrightarrow U_\text{top}\times_XU_\text{top} \ \longrightarrow U_\text{top}$$ and take its geometric realisation. I think this gives the right answer when $X$ is a scheme or $X=BG$.

Is this guess correct? If not, what goes wrong and what is the correct answer?

Let $X$ be an Artin stack over $k=\mathbf{C}$. I've heard that $X$ has a topological realisation, but I've not been able to find an explicit decription.

My first guess would be: take a smooth cover $U\to X$ ($U$ is a scheme), then consider the simplicial space $$\cdots \substack{\rightarrow\\[-1em] \rightarrow \\[-1em] \rightarrow} U_\text{top}\times_XU_\text{top} \ \rightrightarrows U_\text{top}$$ and take its geometric realisation. I think this gives the right answer when $X$ is a scheme or $X=BG$.

Is this guess correct? If not, what goes wrong and what is the correct answer?

Source Link
Pulcinella
  • 5.7k
  • 1
  • 15
  • 55

Topological realisation of a stack (explicit description)

Let $X$ be an Artin stack over $k=\mathbf{C}$. I've heard that $X$ has a topological realisation, but I've not been able to find an explicit decription.

My first guess would be: take a smooth cover $U\to X$ ($U$ is a scheme), then consider the simplicial space $$\cdots \ \longrightarrow U_\text{top}\times_XU_\text{top} \ \longrightarrow U_\text{top}$$ and take its geometric realisation. I think this gives the right answer when $X$ is a scheme or $X=BG$.

Is this guess correct? If not, what goes wrong and what is the correct answer?