I'm still trying to wrap my head around the "pathological" algebraic space $\mathbb{A}^1/\mathbb{Z}$; see Questions about the algebraic space $\mathbb{A}^1/\mathbb{Z}$ and Why is this not an algebraic space?
Let $X=[\mathbb{A}^1_{\mathbb{Z}}/\mathbb{Z}]$. This isLet's put ourselves in a finite type algebraic stack over $\mathbb{Z}$more general situation.
Let $X$ and $Y$ be a finite type algebraic stackstacks over Spec $\mathbb{Z}$. Assume that $Y_{\mathbb{Q}}$ is isomorphic to the algebraic space $\mathbb{A}^1_{\mathbb{Q}}/\mathbb{Z} = X_{\mathbb{Q}}$$X_{\mathbb{Q}}$ over $\mathbb{Q}$.
Is there an etale open $U =$ Spec $O_{K,S}$ of Spec $\mathbb{Z}$ such that $X$ and $Y$ are isomorphic over $U$?
I think the answer is negative, but I can't see how to construct a counterexample. The usual spreading out results in the literature require "finite presentation", and $X$ is not necessarily of finite presentation over $\mathbb{Z}$ (nor $\mathbb{Q}$).