Skip to main content
ix
Source Link
Ilya Nikokoshev
  • 15.1k
  • 12
  • 77
  • 129

How do you define blow-up? It should be straightforward to show that an explicit construction has relative dimension 0 over $X$.

Update: In the comments I suggest to take the formal two-dimensional ring $k[[x_1, x_2]]$ and work with it. This assumes that $X$ is smooth. If it's not, then Olivier gave an example of quadratic cone where blowup has relative dimension 1.

How do you define blow-up? It should be straightforward to show that an explicit construction has relative dimension 0 over $X$.

How do you define blow-up? It should be straightforward to show that an explicit construction has relative dimension 0 over $X$.

Update: In the comments I suggest to take the formal two-dimensional ring $k[[x_1, x_2]]$ and work with it. This assumes that $X$ is smooth. If it's not, then Olivier gave an example of quadratic cone where blowup has relative dimension 1.

Source Link
Ilya Nikokoshev
  • 15.1k
  • 12
  • 77
  • 129

How do you define blow-up? It should be straightforward to show that an explicit construction has relative dimension 0 over $X$.