Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Dear all,

Let $S$ be a scheme in characteristic $0$, and let $\mathscr{X}/S$ mean a crystal in Artin stacks over $S$ in the sense of this handout, page 4, Definition 0.5, where we replace the scheme $X$ by a stack $\mathscr{X}$.

Does $\mathscr{X}$ always admit an atlas $Y$ over $S$ which can be enhanced to a crystal of schemes over $S$? In other words, is there a crystal $Y$ in schemes over $S$ together with a map of algebraic stacks $Y\to \mathscr{X}$ which is smooth and surjective?

share|cite|improve this question
Shouldn't this have an algebraic-geometry tag? I'd put it in myself, but my phone browser is not cooperating. – David Roberts Mar 26 '12 at 8:43
Do you demand that the cocycle condition hold strictly, or up to 2-isomorphism (together with an additional compatibility)? – S. Carnahan Mar 26 '12 at 10:39
@David: Thank you, I've added it myself! – Thanos D. Papaïoannou Mar 26 '12 at 13:10
@Scott: Thank you for the comment, Scott, I demand the cocycle condition hold only up to isomorphism, which itself must satisfy the natural cocycle condition. – Thanos D. Papaïoannou Mar 26 '12 at 13:12

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.