19
$\begingroup$

I am sorry if this question has been already asked, couldn't find anything similar myself. I have recently recalled this long standing open problem of whether every irreducible curve in $\mathbb{P}^3(\mathbb{C})$ is a set-theoretic intersection of two surfaces in $\mathbb{P}^3(\mathbb{C})$. I know that there are results in characteristic $p > 0$. My question is what is the best result regarding this problem known today? Some references would be appreciated.

$\endgroup$
4
  • 1
    $\begingroup$ Maybe I misunderstood the question, wouldn't twisted cubic be a counterexample? $\endgroup$
    – Michael
    Dec 17, 2014 at 22:12
  • 3
    $\begingroup$ Very little. I assume you meant connected, since a set-theoretic complete intersection curve is connected. @Michael, the twisted cubic is defined set-theoretically as the intersection of a quadric and a cubic. In $\mathbb{C}^3$, every smooth (actually local complete intersection) curve is a set-theoretic complete intersection, but in general, the problem is open. $\endgroup$
    – Mohan
    Dec 18, 2014 at 4:48
  • $\begingroup$ @Mohan thanks, I've added irreducible to the statement of the question. I wonder just whether there are some general results. I've seen people constructing monomial curves that are set-theoretic intersection of two hypersurfaces, but I'd like something more general. $\endgroup$
    – shamovic
    Dec 26, 2014 at 7:58
  • $\begingroup$ @Michael the twisted cubic is a set-theoretical complete intersection. The singular quadric and a cubic cuts out a multiplicity two structure on it. $\endgroup$
    – myzhang24
    Jan 21, 2020 at 0:58

1 Answer 1

8
$\begingroup$

This question is wildly open still in characteristic zero.

We know some examples of curves that are s.c.i.’s, for example Rao’s classification of self-linked ACM curves, Hartshorne and Polini’s examples of curves on ruled cubic surfaces.

In Hartshorne and Polini’s recent paper on codepth, they reformulated the conditions for a curve to be an s.c.i. in terms of the new notion of codepth, and gave several necessary criteria.

One interesting necessary condition for $C$ in $P^3$ to be an s.c.i. is that $C$ must be contained in a hypersurface $X$ such that $X-C$ is affine. Thus an example of a smooth curve $C$ in $P^3$ not contained in any such hypersurface would give a counter example to the s.c.i. conjecture.

It is believed that the rational quartic is not likely an s.c.i, however no complete proof has been published yet. The best so far are results on the lower bounds of the degrees for the two equations should they exist.

$\endgroup$
2
  • 1
    $\begingroup$ $\mathbb{P}^3-X$ is affine for any hypersurface $X$. $\endgroup$
    – Mohan
    Jan 21, 2020 at 1:49
  • $\begingroup$ @Mohan Indeed! It should be $X-C$, corrected. $\endgroup$
    – myzhang24
    Jan 21, 2020 at 2:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.