Skip to main content
MathOverflow

Return to Question

make smooth hypothesis explicit
Source Link
Ryan Eberhart
Ryan Eberhart
  • 433
  • 5
  • 9

We know that any smooth projective curve can be embedded (closed immersion) in $\mathbb{P}^3$. By definition a projective scheme over $k$ admits an embedding into some $\mathbb{P}^n$. Can we create an upper bound for the $n$ required (perhaps by strengthening the hypotheses) necessary to create an embedding of a smooth projective dimension $k$ scheme into $\mathbb{P}^n$ much like Whitney's theorem tells us we can embed an $n$ dimensional manifold in $\mathbb{R}^{2n}$?

We know that any smooth projective curve can be embedded (closed immersion) in $\mathbb{P}^3$. By definition a projective scheme over $k$ admits an embedding into some $\mathbb{P}^n$. Can we create an upper bound for the $n$ required (perhaps by strengthening the hypotheses) necessary to create an embedding of a projective dimension $k$ scheme into $\mathbb{P}^n$ much like Whitney's theorem tells us we can embed an $n$ dimensional manifold in $\mathbb{R}^{2n}$?

We know that any smooth projective curve can be embedded (closed immersion) in $\mathbb{P}^3$. By definition a projective scheme over $k$ admits an embedding into some $\mathbb{P}^n$. Can we create an upper bound for the $n$ required (perhaps by strengthening the hypotheses) necessary to create an embedding of a smooth projective dimension $k$ scheme into $\mathbb{P}^n$ much like Whitney's theorem tells us we can embed an $n$ dimensional manifold in $\mathbb{R}^{2n}$?

Source Link
Ryan Eberhart
Ryan Eberhart
  • 433
  • 5
  • 9

Is there a Whitney theorem type theorem for projective schemes?

We know that any smooth projective curve can be embedded (closed immersion) in $\mathbb{P}^3$. By definition a projective scheme over $k$ admits an embedding into some $\mathbb{P}^n$. Can we create an upper bound for the $n$ required (perhaps by strengthening the hypotheses) necessary to create an embedding of a projective dimension $k$ scheme into $\mathbb{P}^n$ much like Whitney's theorem tells us we can embed an $n$ dimensional manifold in $\mathbb{R}^{2n}$?