Skip to main content
added 63 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

I feel like there should be better examples than the following (e.g.,an example using matrix multiplication, whichbut I tried in manyseveral variations that did not work (as I commented above). However, this The example below is less naural than matrix multiplication, but it illustrates the best I can seekey issue.

Let $k$ be a field. Let $S$ be a $3$-dimensional vector space, $V \cong \text{Spec}\ k[x,y,z]$. Thus $\mathbb{P}(V)$ is isomorphic to $\mathbb{P}^2 = \text{Proj} \ k[r,s,t]$. Let $\overline{X}$ be the closed subscheme of $V\times \mathbb{P}(V)$ parameterizing pairs $(v,[w])$ such that $v$ is a multiple over $w$, possibly zero. In coordinates, $((x,y,z), [r,s,t])$, this is the zero scheme of $xs-yr, xt-zr, yt-zs$. Denote by $\overline{\pi}:\overline{X} \to S$ the natural projection.

Fix a line $L\subset \mathbb{P}(V)$, e.g., the zero scheme of $t$, and let $X$ be the open complement in $\overline{X}$ of $\{0\}\times L$. Let $\pi:X\to S$ be the restriction of $\overline{\pi}$ to $X$. Let $M$ be the structure sheaf of $X$. This is not $S$-flat, since the fiber dimension over the origin is $2$, yet the generic fiber dimension is $0$.

The universal flatification of $\overline{\pi}$ is $\overline{\pi}$ itself,, the strict transform in $\overline{X}\times_S \overline{X}$ is the diagonal, and the exceptional set $E=\overline{\pi}^{-1}(\{ 0\})$ is $E\cong \mathbb{P}(V)$. Certainly the strict transform of $\pi$ with respect to $\overline{\pi}$ is flat, but $\overline{\pi}$ is not a universal flatification of $M$.

I can take any finite collection of points inside $L$ inside $E$, and I can "pinch" $\overline{X}$ along those points to form a non-normal scheme $X'$ such that $\overline{\pi}$ factors through $X'$. The morphism from $X'$ to $X$ will also be a flatification of $\pi$. What I would "like" to do in order to make a universal (proper, birational) flatification of $\pi$ is contract / blow down $L$ inside $\overline{X}$. But that is not possible: we cannot even contract a line $L$ in a $2$-plane $E$ (not as a scheme, not even as an algebraic space). Thus, there is no universal (proper, birational) flatification.

I feel like there should be better examples than the following (e.g., using matrix multiplication, which I tried in many variations). However, this is the best I can see.

Let $k$ be a field. Let $S$ be a $3$-dimensional vector space, $V \cong \text{Spec}\ k[x,y,z]$. Thus $\mathbb{P}(V)$ is isomorphic to $\mathbb{P}^2 = \text{Proj} \ k[r,s,t]$. Let $\overline{X}$ be the closed subscheme of $V\times \mathbb{P}(V)$ parameterizing pairs $(v,[w])$ such that $v$ is a multiple over $w$, possibly zero. In coordinates, $((x,y,z), [r,s,t])$, this is the zero scheme of $xs-yr, xt-zr, yt-zs$. Denote by $\overline{\pi}:\overline{X} \to S$ the natural projection.

Fix a line $L\subset \mathbb{P}(V)$, e.g., the zero scheme of $t$, and let $X$ be the open complement in $\overline{X}$ of $\{0\}\times L$. Let $\pi:X\to S$ be the restriction of $\overline{\pi}$ to $X$. Let $M$ be the structure sheaf of $X$. This is not $S$-flat, since the fiber dimension over the origin is $2$, yet the generic fiber dimension is $0$.

The universal flatification of $\overline{\pi}$ is $\overline{\pi}$ itself,, the strict transform in $\overline{X}\times_S \overline{X}$ is the diagonal, and the exceptional set $E=\overline{\pi}^{-1}(\{ 0\})$ is $E\cong \mathbb{P}(V)$. Certainly the strict transform of $\pi$ with respect to $\overline{\pi}$ is flat, but $\overline{\pi}$ is not a universal flatification of $M$.

I can take any finite collection of points inside $L$ inside $E$, and I can "pinch" $\overline{X}$ along those points to form a non-normal scheme $X'$ such that $\overline{\pi}$ factors through $X'$. The morphism from $X'$ to $X$ will also be a flatification of $\pi$. What I would "like" to do in order to make a universal (proper, birational) flatification of $\pi$ is contract / blow down $L$ inside $\overline{X}$. But that is not possible: we cannot even contract a line $L$ in a $2$-plane $E$ (not as a scheme, not even as an algebraic space). Thus, there is no universal (proper, birational) flatification.

I feel like there should be an example using matrix multiplication, but I tried several variations that did not work (as I commented above). The example below is less naural than matrix multiplication, but it illustrates the key issue.

Let $k$ be a field. Let $S$ be a $3$-dimensional vector space, $V \cong \text{Spec}\ k[x,y,z]$. Thus $\mathbb{P}(V)$ is isomorphic to $\mathbb{P}^2 = \text{Proj} \ k[r,s,t]$. Let $\overline{X}$ be the closed subscheme of $V\times \mathbb{P}(V)$ parameterizing pairs $(v,[w])$ such that $v$ is a multiple over $w$, possibly zero. In coordinates, $((x,y,z), [r,s,t])$, this is the zero scheme of $xs-yr, xt-zr, yt-zs$. Denote by $\overline{\pi}:\overline{X} \to S$ the natural projection.

Fix a line $L\subset \mathbb{P}(V)$, e.g., the zero scheme of $t$, and let $X$ be the open complement in $\overline{X}$ of $\{0\}\times L$. Let $\pi:X\to S$ be the restriction of $\overline{\pi}$ to $X$. Let $M$ be the structure sheaf of $X$. This is not $S$-flat, since the fiber dimension over the origin is $2$, yet the generic fiber dimension is $0$.

The universal flatification of $\overline{\pi}$ is $\overline{\pi}$ itself,, the strict transform in $\overline{X}\times_S \overline{X}$ is the diagonal, and the exceptional set $E=\overline{\pi}^{-1}(\{ 0\})$ is $E\cong \mathbb{P}(V)$. Certainly the strict transform of $\pi$ with respect to $\overline{\pi}$ is flat, but $\overline{\pi}$ is not a universal flatification of $M$.

I can take any finite collection of points inside $L$ inside $E$, and I can "pinch" $\overline{X}$ along those points to form a non-normal scheme $X'$ such that $\overline{\pi}$ factors through $X'$. The morphism from $X'$ to $X$ will also be a flatification of $\pi$. What I would "like" to do in order to make a universal (proper, birational) flatification of $\pi$ is contract / blow down $L$ inside $\overline{X}$. But that is not possible: we cannot even contract a line $L$ in a $2$-plane $E$ (not as a scheme, not even as an algebraic space). Thus, there is no universal (proper, birational) flatification.

added 380 characters in body
Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

I feel like there should be better examples than the following (e.g., using matrix multiplication, which I tried in many variations). However, this is the best I can see.

Let $k$ be a field. Let $S$ be a $3$-dimensional vector space, $V \cong \text{Spec}k[x,y,z]$$V \cong \text{Spec}\ k[x,y,z]$. Thus $\mathbb{P}(V)$ is isomorphic to $\mathbb{P}^2$$\mathbb{P}^2 = \text{Proj} \ k[r,s,t]$. Let $\overline{X}$ be the closed subscheme of $V\times \mathbb{P}(V)$ parameterizing pairs $(v,[w])$ such that $v$ is a multiple over $w$, possibly zero. In coordinates, $((x,y,z), [u,v,w])$$((x,y,z), [r,s,t])$, this is the zero scheme of $xv-yu, xw-zu, yw-zv$$xs-yr, xt-zr, yt-zs$. Denote by $\overline{\pi}:\overline{X} \to S$ the natural projection.

Fix a line $L\subset \mathbb{P}(V)$, e.g., the zero scheme of $u$$t$, and let $X$ be the open complement in $\overline{X}$ of $\{0\}\times L$. Let $\pi:X\to S$ be the restriction of $\overline{\pi}$ to $X$. Let $M$ be the structure sheaf of $X$. This is not $S$-flat, since the fiber dimension over the origin is $2$, yet the generic fiber dimension is $0$. The

The universal flatification of $\overline{\pi}$ is $\overline{\pi}$ itself, and, the inverse image ofstrict transform in $\overline{X}\times_S \overline{X}$ is the origindiagonal, and the exceptional set $E=\overline{\pi}^{-1}(\{ 0\})$ is $E\cong \mathbb{P}(V)$. Certainly the strict transform of $\pi$ with respect to $\overline{\pi}$ is flat, but $\overline{\pi}$ is not a universal flatification of $M$.

However, I can take any finite collection of points inside $L$ inside $E$, and I can "pinch" $\overline{X}$ along those points. That to form a non-normal scheme maps$X'$ such that $\overline{\pi}$ factors through $X'$. The morphism from $X'$ to $X$, and that will also be a flatification of $\pi$. What I would "like" to do in order to make a universal (proper, birational) flatification of $\pi$ is contactcontract / $L$ insideblow down $E$$L$ inside $\overline{X}$. But that is not possible: we cannot even contract a line $L$ in a $2$-plane $E$ (not as a scheme, not even as an algebraic space). Thus, there is no universal (proper, birational) flatification.

I feel like there should be better examples than the following (e.g., using matrix multiplication, which I tried in many variations). However, this is the best I can see.

Let $k$ be a field. Let $S$ be a $3$-dimensional vector space, $V \cong \text{Spec}k[x,y,z]$. Thus $\mathbb{P}(V)$ is isomorphic to $\mathbb{P}^2$. Let $\overline{X}$ be the closed subscheme of $V\times \mathbb{P}(V)$ parameterizing pairs $(v,[w])$ such that $v$ is a multiple over $w$, possibly zero. In coordinates, $((x,y,z), [u,v,w])$, this is the zero scheme of $xv-yu, xw-zu, yw-zv$. Denote by $\overline{\pi}:\overline{X} \to S$ the natural projection.

Fix a line $L\subset \mathbb{P}(V)$, e.g., the zero scheme of $u$, and let $X$ be the open complement in $\overline{X}$ of $\{0\}\times L$. Let $\pi:X\to S$ be the restriction of $\overline{\pi}$ to $X$. Let $M$ be the structure sheaf of $X$. This is not $S$-flat. The universal flatification of $\overline{\pi}$ is $\overline{\pi}$, and the inverse image of the origin is $E\cong \mathbb{P}(V)$. Certainly the strict transform of $\pi$ with respect to $\overline{\pi}$ is flat.

However, I can take any finite collection of points inside $L$ inside $E$, I can "pinch" $\overline{X}$ along those points. That scheme maps to $X$, and that will also be a flatification. What I would "like" to do in order to make a universal (proper, birational) flatification is contact / $L$ inside $E$ inside $\overline{X}$. But that is not possible: we cannot contract a line $L$ in a $2$-plane $E$ (not as a scheme, not even as an algebraic space). Thus, there is no universal (proper, birational) flatification.

I feel like there should be better examples than the following (e.g., using matrix multiplication, which I tried in many variations). However, this is the best I can see.

Let $k$ be a field. Let $S$ be a $3$-dimensional vector space, $V \cong \text{Spec}\ k[x,y,z]$. Thus $\mathbb{P}(V)$ is isomorphic to $\mathbb{P}^2 = \text{Proj} \ k[r,s,t]$. Let $\overline{X}$ be the closed subscheme of $V\times \mathbb{P}(V)$ parameterizing pairs $(v,[w])$ such that $v$ is a multiple over $w$, possibly zero. In coordinates, $((x,y,z), [r,s,t])$, this is the zero scheme of $xs-yr, xt-zr, yt-zs$. Denote by $\overline{\pi}:\overline{X} \to S$ the natural projection.

Fix a line $L\subset \mathbb{P}(V)$, e.g., the zero scheme of $t$, and let $X$ be the open complement in $\overline{X}$ of $\{0\}\times L$. Let $\pi:X\to S$ be the restriction of $\overline{\pi}$ to $X$. Let $M$ be the structure sheaf of $X$. This is not $S$-flat, since the fiber dimension over the origin is $2$, yet the generic fiber dimension is $0$.

The universal flatification of $\overline{\pi}$ is $\overline{\pi}$ itself,, the strict transform in $\overline{X}\times_S \overline{X}$ is the diagonal, and the exceptional set $E=\overline{\pi}^{-1}(\{ 0\})$ is $E\cong \mathbb{P}(V)$. Certainly the strict transform of $\pi$ with respect to $\overline{\pi}$ is flat, but $\overline{\pi}$ is not a universal flatification of $M$.

I can take any finite collection of points inside $L$ inside $E$, and I can "pinch" $\overline{X}$ along those points to form a non-normal scheme $X'$ such that $\overline{\pi}$ factors through $X'$. The morphism from $X'$ to $X$ will also be a flatification of $\pi$. What I would "like" to do in order to make a universal (proper, birational) flatification of $\pi$ is contract / blow down $L$ inside $\overline{X}$. But that is not possible: we cannot even contract a line $L$ in a $2$-plane $E$ (not as a scheme, not even as an algebraic space). Thus, there is no universal (proper, birational) flatification.

Source Link
Jason Starr
  • 4.1k
  • 1
  • 93
  • 111

I feel like there should be better examples than the following (e.g., using matrix multiplication, which I tried in many variations). However, this is the best I can see.

Let $k$ be a field. Let $S$ be a $3$-dimensional vector space, $V \cong \text{Spec}k[x,y,z]$. Thus $\mathbb{P}(V)$ is isomorphic to $\mathbb{P}^2$. Let $\overline{X}$ be the closed subscheme of $V\times \mathbb{P}(V)$ parameterizing pairs $(v,[w])$ such that $v$ is a multiple over $w$, possibly zero. In coordinates, $((x,y,z), [u,v,w])$, this is the zero scheme of $xv-yu, xw-zu, yw-zv$. Denote by $\overline{\pi}:\overline{X} \to S$ the natural projection.

Fix a line $L\subset \mathbb{P}(V)$, e.g., the zero scheme of $u$, and let $X$ be the open complement in $\overline{X}$ of $\{0\}\times L$. Let $\pi:X\to S$ be the restriction of $\overline{\pi}$ to $X$. Let $M$ be the structure sheaf of $X$. This is not $S$-flat. The universal flatification of $\overline{\pi}$ is $\overline{\pi}$, and the inverse image of the origin is $E\cong \mathbb{P}(V)$. Certainly the strict transform of $\pi$ with respect to $\overline{\pi}$ is flat.

However, I can take any finite collection of points inside $L$ inside $E$, I can "pinch" $\overline{X}$ along those points. That scheme maps to $X$, and that will also be a flatification. What I would "like" to do in order to make a universal (proper, birational) flatification is contact / $L$ inside $E$ inside $\overline{X}$. But that is not possible: we cannot contract a line $L$ in a $2$-plane $E$ (not as a scheme, not even as an algebraic space). Thus, there is no universal (proper, birational) flatification.

Post Made Community Wiki by Jason Starr