Timeline for Blow up along codimension one closed subscheme
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 6, 2010 at 22:14 | history | edited | Ilya Nikokoshev | CC BY-SA 2.5 |
ix
|
| Jan 6, 2010 at 21:22 | comment | added | TJCM | Yes, just sa Oliver has said, the point is that the Weil divisor is not necessarily a Cartier divisor; and because we are not only considering algebraically varieties, so we cannot even have a good expectation of the normal locus on X. | |
| Jan 6, 2010 at 21:17 | comment | added | Olivier Benoist | No, you can't unless Y is a Cartier divisor. in this case X'=X... which is not very interesting ! | |
| Jan 6, 2010 at 21:08 | comment | added | Ilya Nikokoshev |
I'm not good in commutative algebra, but you can reduce to $A$ being a formal ring $k[[x_1, x_2]]$ and $I = (f)$, where $f$ is homogenious and then everything should follow.
|
|
| Jan 6, 2010 at 20:46 | comment | added | TJCM | It can be resated algebraically as follows: A is Noetherian ring, I is a height one ideal, prove that $Proj (\sum_{n>=0} I^n/I^{n+1})$ --> $Spec A/I$ is a finite morphism. | |
| Jan 6, 2010 at 20:34 | history | answered | Ilya Nikokoshev | CC BY-SA 2.5 |