Skip to main content
added 75 characters in body; added 6 characters in body
Source Link
Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 98

Suppose that a scheme $S$ is separated, excellent, and has finite Krull dimension. Which of the following statements are true:

  1. If $S$ is regular, then it can be presented as a projective limit of smooth $\mathbb{Z}$-schemes.

  2. If $S$ is regular, then it can be presented as a projective limit of schemes that are smooth over finite type regular $\mathbb{Z}$-ones.

  3. Any (i.e. not necessarily regular) $S$ can be presented as a projective limit of schemes that are smooth over finite type $\mathbb{Z}$-ones.

Also, could one assume the connecting morphisms in the limits above to be affine?

I would be deeply grateful for any statements, examples, or references here! Are there any additional restrictions on $S$ needed? Is such a statement true at least locally? Are there any counter-examples known?

Suppose that a scheme $S$ is separated, excellent, and has finite Krull dimension. Which of the following statements are true:

  1. If $S$ is regular, then it can be presented as a projective limit of smooth $\mathbb{Z}$-schemes.

  2. If $S$ is regular, then it can be presented as a projective limit of schemes that are smooth over finite type regular $\mathbb{Z}$-ones.

  3. Any (i.e. not necessarily regular) $S$ can be presented as a projective limit of schemes that are smooth over finite type $\mathbb{Z}$-ones.

Also, could one assume the connecting morphisms in the limits above to be affine?

I would be deeply grateful for any statements, examples, or references here! Are there any additional restrictions on $S$ needed?

Suppose that a scheme $S$ is separated, excellent, and has finite Krull dimension. Which of the following statements are true:

  1. If $S$ is regular, then it can be presented as a projective limit of smooth $\mathbb{Z}$-schemes.

  2. If $S$ is regular, then it can be presented as a projective limit of schemes that are smooth over finite type regular $\mathbb{Z}$-ones.

  3. Any (i.e. not necessarily regular) $S$ can be presented as a projective limit of schemes that are smooth over finite type $\mathbb{Z}$-ones.

Also, could one assume the connecting morphisms in the limits above to be affine?

I would be deeply grateful for any statements, examples, or references here! Are there any additional restrictions on $S$ needed? Is such a statement true at least locally? Are there any counter-examples known?

added 53 characters in body
Source Link
Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 98

Suppose that a scheme $S$ is separated, excellent, and has finite Krull dimension. Which of the following statements are true:

  1. If $S$ is regular, then it can be presented as a projective limit of smooth $\mathbb{Z}$-schemes.

  2. If $S$ is regular, then it can be presented as a projective limit of schemes that are smooth over finite type regular $\mathbb{Z}$-ones.

  3. Any (i.e. not necessarily regular) $S$ can be presented as a projective limit of schemes that are smooth over finite type $\mathbb{Z}$-ones.

Also, could one assume the connecting morphisms in the limits above to be affine?

I would be deeply grateful for any statements, examples, or references here! Are there any additional restrictions on $S$ needed?

Suppose that a scheme $S$ is separated, excellent, and has finite Krull dimension. Which of the following statements are true:

  1. If $S$ is regular, then it can be presented as a projective limit of smooth $\mathbb{Z}$-schemes.

  2. If $S$ is regular, then it can be presented as a projective limit of schemes that are smooth over finite type regular $\mathbb{Z}$-ones.

  3. Any (i.e. not necessarily regular) $S$ can be presented as a projective limit of schemes that are smooth over finite type $\mathbb{Z}$-ones.

Also, could one assume the connecting morphisms in the limits above to be affine?

I would be deeply grateful for any statements, examples, or references here!

Suppose that a scheme $S$ is separated, excellent, and has finite Krull dimension. Which of the following statements are true:

  1. If $S$ is regular, then it can be presented as a projective limit of smooth $\mathbb{Z}$-schemes.

  2. If $S$ is regular, then it can be presented as a projective limit of schemes that are smooth over finite type regular $\mathbb{Z}$-ones.

  3. Any (i.e. not necessarily regular) $S$ can be presented as a projective limit of schemes that are smooth over finite type $\mathbb{Z}$-ones.

Also, could one assume the connecting morphisms in the limits above to be affine?

I would be deeply grateful for any statements, examples, or references here! Are there any additional restrictions on $S$ needed?

Source Link
Mikhail Bondarko
  • 16.9k
  • 4
  • 34
  • 98

A presentation of a scheme as a limit of smooth ones over finitely generated bases

Suppose that a scheme $S$ is separated, excellent, and has finite Krull dimension. Which of the following statements are true:

  1. If $S$ is regular, then it can be presented as a projective limit of smooth $\mathbb{Z}$-schemes.

  2. If $S$ is regular, then it can be presented as a projective limit of schemes that are smooth over finite type regular $\mathbb{Z}$-ones.

  3. Any (i.e. not necessarily regular) $S$ can be presented as a projective limit of schemes that are smooth over finite type $\mathbb{Z}$-ones.

Also, could one assume the connecting morphisms in the limits above to be affine?

I would be deeply grateful for any statements, examples, or references here!