Skip to main content
2 of 3
formatting, added top-level tag
YCor
  • 63.9k
  • 5
  • 187
  • 286

Do countable disjoint unions of stacks commute with finite fibre products?

Choose a big $\mathit{fppf}$-site $(\mathbf{Sch})_{\mathit{fppf}}$ and let $S$ be a scheme in that site. Let $\{\mathcal{X}_n\mid n\in \mathbb{Z}\}$ be a family of stacks in groupoids over $S$ and let $\mathcal{Y}\to\mathcal{Z}$ be a morphism of stacks in groupoids over $S$.
Let $\mathcal{X}\colon\!\!=\coprod_{n\in \mathbb{Z}}\mathcal{X}_n$ be the disjoint union as described in [Champs algébriques, G.Laumon/ L.Moret-Bailly, (3.3)]. Let $-\times-$ denote the $2$-fibre product of stacks in groupoids over $S$. Is there a canonical isomorphism of stacks $$\coprod_{n\in\mathbb{Z}}(\mathcal{X}_n\times_{\mathcal{Z}}\mathcal{Y})\cong \Big(\coprod_{n\in\mathbb{Z}}\mathcal{X}_n\Big)\times_{\mathcal{Z}}\mathcal{Y}\quad?$$

sdigr
  • 91
  • 3