Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

Assume that I have a reduced zero-dimensional scheme $Z \subset \mathbb{P}^3$, not contained in any hyperplane, of degree $mn$ and having the following property:

For a general outer projection $\pi \colon \mathbb{P}^3 \to \mathbb{P}^2$, the subset $Z':=\pi(Z) \subset \mathbb{P}^2$ is a complete intersection of bidegree $(m,n)$, in other words the resolution of its ideal sheaf $\mathcal{I}_{Z'}$ is the Koszul complex $$0 \to \mathcal{O}_{\mathbb{P}^2}(-m-n) \to \mathcal{O}_{\mathbb{P}^2}(-m) \oplus \mathcal{O}_{\mathbb{P}^2}(-n) \to \mathcal{I}_{Z'} \to 0.$$

My question now is:

Which kind of information does this give about the syzygies of the ideal sheaf $\mathcal{I}_Z$ in $\mathbb{P}^3$? For instance, I would like to know whether there is a generator in degree $2$, i.e. whether $Z$ is contained in (at least one) quadric surface.

This arises as an attempt to attack the problem stated in my previous question When is a general projection of $d^2$ points in $\mathbb{P}^3$ a complete intersection?When is a general projection of $d^2$ points in $\mathbb{P}^3$ a complete intersection? (here $m=n=d$) which, despite the nice example provided by Dmitri Panov, is still unsolved in its general form.

Any answer or reference to the existing literature will be appreciated. Thank you.

Assume that I have a reduced zero-dimensional scheme $Z \subset \mathbb{P}^3$, not contained in any hyperplane, of degree $mn$ and having the following property:

For a general outer projection $\pi \colon \mathbb{P}^3 \to \mathbb{P}^2$, the subset $Z':=\pi(Z) \subset \mathbb{P}^2$ is a complete intersection of bidegree $(m,n)$, in other words the resolution of its ideal sheaf $\mathcal{I}_{Z'}$ is the Koszul complex $$0 \to \mathcal{O}_{\mathbb{P}^2}(-m-n) \to \mathcal{O}_{\mathbb{P}^2}(-m) \oplus \mathcal{O}_{\mathbb{P}^2}(-n) \to \mathcal{I}_{Z'} \to 0.$$

My question now is:

Which kind of information does this give about the syzygies of the ideal sheaf $\mathcal{I}_Z$ in $\mathbb{P}^3$? For instance, I would like to know whether there is a generator in degree $2$, i.e. whether $Z$ is contained in (at least one) quadric surface.

This arises as an attempt to attack the problem stated in my previous question When is a general projection of $d^2$ points in $\mathbb{P}^3$ a complete intersection? (here $m=n=d$) which, despite the nice example provided by Dmitri Panov, is still unsolved in its general form.

Any answer or reference to the existing literature will be appreciated. Thank you.

Assume that I have a reduced zero-dimensional scheme $Z \subset \mathbb{P}^3$, not contained in any hyperplane, of degree $mn$ and having the following property:

For a general outer projection $\pi \colon \mathbb{P}^3 \to \mathbb{P}^2$, the subset $Z':=\pi(Z) \subset \mathbb{P}^2$ is a complete intersection of bidegree $(m,n)$, in other words the resolution of its ideal sheaf $\mathcal{I}_{Z'}$ is the Koszul complex $$0 \to \mathcal{O}_{\mathbb{P}^2}(-m-n) \to \mathcal{O}_{\mathbb{P}^2}(-m) \oplus \mathcal{O}_{\mathbb{P}^2}(-n) \to \mathcal{I}_{Z'} \to 0.$$

My question now is:

Which kind of information does this give about the syzygies of the ideal sheaf $\mathcal{I}_Z$ in $\mathbb{P}^3$? For instance, I would like to know whether there is a generator in degree $2$, i.e. whether $Z$ is contained in (at least one) quadric surface.

This arises as an attempt to attack the problem stated in my previous question When is a general projection of $d^2$ points in $\mathbb{P}^3$ a complete intersection? (here $m=n=d$) which, despite the nice example provided by Dmitri Panov, is still unsolved in its general form.

Any answer or reference to the existing literature will be appreciated. Thank you.

added 39 characters in body; deleted 2 characters in body
Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

Assume that I have a reduced zero-dimensional scheme $Z \subset \mathbb{P}^3$, not contained in any hyperplane, of degree $mn$ and having the following property:

For a general outer projection $\pi \colon \mathbb{P}^3 \to \mathbb{P}^2$, the subset $Z':=\pi(Z) \subset \mathbb{P}^2$ is a complete intersection of bidegree $(m,n)$, in other words the resolution of its ideal sheaf $\mathcal{I}_{Z'}$ is the Koszul complex $$0 \to \mathcal{O}_{\mathbb{P}^2}(-m-n) \to \mathcal{O}_{\mathbb{P}^2}(-m) \oplus \mathcal{O}_{\mathbb{P}^2}(-n) \to \mathcal{I}_{Z'} \to 0.$$

My question now is:

Which kind of information does this give about the syzygies of the ideal sheaf $\mathcal{I}_Z$ in $\mathbb{P}^3$? For instance, I would like to know whether there is a generator in degree $2$, i.e. whether $Z$ is contained in (at least one) quadric surface.

This arises as an attempt to studyattack the problem stated in my previous question When is a general projection of $d^2$ points in $\mathbb{P}^3$ a complete intersection? (here $m=n=d$) which, despite the nice example provided by Dmitri Panov, is still unansweredunsolved in its general form.

Any answer or reference to the existing literature will be appreciated. Thank you.

Assume that I have a reduced zero-dimensional scheme $Z \subset \mathbb{P}^3$ of degree $mn$ having the following property:

For a general outer projection $\pi \colon \mathbb{P}^3 \to \mathbb{P}^2$, the subset $Z':=\pi(Z) \subset \mathbb{P}^2$ is a complete intersection of bidegree $(m,n)$, in other words the resolution of its ideal sheaf $\mathcal{I}_{Z'}$ is the Koszul complex $$0 \to \mathcal{O}_{\mathbb{P}^2}(-m-n) \to \mathcal{O}_{\mathbb{P}^2}(-m) \oplus \mathcal{O}_{\mathbb{P}^2}(-n) \to \mathcal{I}_{Z'} \to 0.$$

My question now is:

Which kind of information does this give about the syzygies of the ideal sheaf $\mathcal{I}_Z$ in $\mathbb{P}^3$? For instance, I would like to know whether there is a generator in degree $2$, i.e. whether $Z$ is contained in (at least one) quadric surface.

This arises as an attempt to study the problem stated in my previous question When is a general projection of $d^2$ points in $\mathbb{P}^3$ a complete intersection? (here $m=n=d$) which, despite the nice example provided by Dmitri Panov, is still unanswered in its general form.

Any answer or reference to the existing literature will be appreciated. Thank you.

Assume that I have a reduced zero-dimensional scheme $Z \subset \mathbb{P}^3$, not contained in any hyperplane, of degree $mn$ and having the following property:

For a general outer projection $\pi \colon \mathbb{P}^3 \to \mathbb{P}^2$, the subset $Z':=\pi(Z) \subset \mathbb{P}^2$ is a complete intersection of bidegree $(m,n)$, in other words the resolution of its ideal sheaf $\mathcal{I}_{Z'}$ is the Koszul complex $$0 \to \mathcal{O}_{\mathbb{P}^2}(-m-n) \to \mathcal{O}_{\mathbb{P}^2}(-m) \oplus \mathcal{O}_{\mathbb{P}^2}(-n) \to \mathcal{I}_{Z'} \to 0.$$

My question now is:

Which kind of information does this give about the syzygies of the ideal sheaf $\mathcal{I}_Z$ in $\mathbb{P}^3$? For instance, I would like to know whether there is a generator in degree $2$, i.e. whether $Z$ is contained in (at least one) quadric surface.

This arises as an attempt to attack the problem stated in my previous question When is a general projection of $d^2$ points in $\mathbb{P}^3$ a complete intersection? (here $m=n=d$) which, despite the nice example provided by Dmitri Panov, is still unsolved in its general form.

Any answer or reference to the existing literature will be appreciated. Thank you.

edited title
Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

Recovering syzygies of zero-dimensional schemes from those of their general linear projections.

Source Link
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283
Loading