Timeline for Embedding a given affine variety as a divisor
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 24, 2018 at 17:13 | comment | added | inkspot | Jason Starr is correct: isolated quotient singularities in dimension at least 3 cannot be deformed. This is a result of Schlessinger, Invent. Math 14 (1971). | |
| Jul 24, 2018 at 15:50 | comment | added | Jason Starr | When $A$ is a quotient of a regular ring $R$ by an ideal $I$ generated by a regular sequence, you can easily construct such $B$. By the Hilbert-Burch(-Schaps) Theorem, you can also construct $B$ when $A$ is Cohen-Macaulay and $\text{dim}(R)$ equals $2+\text{dim}(A)$. I have a vague recollection that there are singularities that cannot be deformed, but I cannot remember how this works (it might be in Mike Artin's "Lectures on deformations of singularities"). | |
| Jul 24, 2018 at 11:36 | history | edited | Lisa S. | CC BY-SA 4.0 |
added 147 characters in body
|
| Jul 24, 2018 at 11:35 | comment | added | Jason Starr | Since $\text{Spec}(A)$ is $S1$ and $b$ is a nonzerodivisor, i.e., a regular element, also $\text{Spec}(B)$ will be $S2$ near $\text{Spec}(A)$. If two or more (local) connected components of $B$ intersect at $\text{Spec}(A)$, then that intersection is not reduced. Yet $\text{Spec}(A)$ is reduced. Thus $\text{Spec}(B)$ is locally connected near $\text{Spec}(A)$. Now you have a contradiction. If you have extra hypotheses on $\text{Spec}(A)$, I recommend that you tell us what they are. | |
| Jul 24, 2018 at 11:32 | comment | added | Lisa S. | Also, I am very much willing to assume that $A$ is locally equidimensional (or even (S$_2$)) if that helps... | |
| Jul 24, 2018 at 11:30 | comment | added | Lisa S. | Thank you. I don't quite understand your counterexample: I am not assuming that $B$ should be Cohen-Macaulay at the points where $\{b = 0 \}$; how does the nonequidimensionality of $A$ then contradict that of $B[1/b]$? | |
| Jul 24, 2018 at 9:44 | comment | added | Jason Starr | No, that is not possible. Let $A$ be $\mathbb{C}[s,t,u]/\langle st,su \rangle$. This has two minimal primes, namely $\mathfrak{p}=\langle s \rangle$ and $\mathfrak{q}=\langle t,u\rangle$. Since $b$ is a nonzerodivisor, by Krull's Hauptidealsatz, near $\mathfrak{p}$ the Krull dimension of $B$ equals $3$, yet near $\mathfrak{q}$ the Krull dimension of $B$ equals $2$. Cohen-Macaulay schemes are locally equidimensional, and $B$ is not locally equidimensional near $\langle s,t,u\rangle$. | |
| Jul 24, 2018 at 6:35 | history | asked | Lisa S. | CC BY-SA 4.0 |