Computing the singular locus of a set-theoretic complete intersection

Suppose I have a variety $Z$ in $\mathbb{C}^4$ which is a (set theoretic) complete intersection of the hypersurfaces $\mathbf{Z}(P)$ and $\mathbf{Z}(Q)$. How can I compute a polynomial $R$ such that $\mathbf{Z}(R) \cap Z$ is a 1--dimensional variety that contains the singular locus of $Z$? If $(P,Q)$ was a radical ideal, then I could look at when the $2\times2$ minors of $\binom{\nabla P}{\nabla Q}$ vanish, but it seems that if $(P,Q)$ is not radical, then all of the $2\times2$ minors of $\binom{\nabla P}{\nabla Q}$ might vanish identically on $Z$.

As a final complication, my hope is that the degree of $R$ is $O(\textrm{deg} P + \textrm{deg} Q)$. Thanks!

[edit: In response to Sándor Kovács's answer, I have updated the problem. Previously I asked that $\mathbf{Z}(R) \cap Z$ be the singular locus of $Z$, instead of merely requiring that $\mathbf{Z}(R) \cap Z$ contain the singular locus]

• The scheme-theoretic intersection of P and Q might be highly non-reduced (possibly generically singular), so I don't understand how you could say anything about the singular locus of $Z$ from these two equations.. Oct 26 '11 at 21:12

What makes you think that the singular locus is cut out by a hypersurface?

Let $P=x^2+y^2+z^2+t^2$ and $Q=t$. Then $Z$ is a quadric cone in $\mathbb C^3$ with a single isolated singular point. $Z(R)\cap Z$ for any $R\neq 0$ would be a curve, so there is no way you can find such an $R$.

Addition (after the question was changed):

If you only want an $R$ such that $Z(R)\cap Z$ contains $\mathrm{Sing} Z$ then you can take $R=P$, $R=Q$, or any polynomial combination of $P$ and $Q$, in particular $R=P\\ Q$, so you would have $\deg R=\deg P + \deg Q$.

I suppose you would want an $R$ such that $\mathrm{Sing}Z\subseteq Z(R)\cap Z\subsetneq Z$...

As JC commented, it is not clear how to get that from $P$ and $Q$. What you describe about $(P,Q)$ being or not being a radical ideal is exactly what he is saying about the scheme theoretic intersection being non-reduced everywhere.

The main issue is how you determine the singular locus of the corresponding reduced scheme based on $P$ and $Q$. My guess would be that you might be able to give some estimate on the minimal degree of such an $R$, but it seems doubtful that one could give you an explicit $R$.

• Oops; what I meant to say was that $Z\cap\mathbf{Z}(R)$ must contain the singular locus of $Z$. I have updated the original question to reflect this. Oct 26 '11 at 21:28
• Indeed, I want an $R$ such that $Z(R)\cap Z$ is 1-dimensional, and thus is properly contained in $Z$. An estimate on the minimal degree of such an $R$ would be enough. Do you know of any references that discuss this problem? I had no luck finding any. Thanks again! Oct 28 '11 at 0:12
{"ft_lang_label":"__label__en","ft_lang_prob":0.88023067,"math_prob":0.999211,"size":897,"snap":"2022-05-2022-21","text_gpt3_token_len":290,"char_repetition_ratio":0.1287794,"word_repetition_ratio":0.042857144,"special_character_ratio":0.30100334,"punctuation_ratio":0.082417585,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999856,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-01-29T08:27:14Z\",\"WARC-Record-ID\":\"<urn:uuid:faaf8479-2b6a-4e3d-9e08-6e74f8ce919f>\",\"Content-Length\":\"107605\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:5a27d3b8-ffb0-4284-bbf2-43b3b4aa834c>\",\"WARC-Concurrent-To\":\"<urn:uuid:53b689a2-0d9f-4d42-a1d9-168f065e3a14>\",\"WARC-IP-Address\":\"151.101.1.69\",\"WARC-Target-URI\":\"https://mathoverflow.net/questions/79189/computing-the-singular-locus-of-a-set-theoretic-complete-intersection\",\"WARC-Payload-Digest\":\"sha1:KN7JIANXW4UBJYF4EYSSMINEQ6BNYFBL\",\"WARC-Block-Digest\":\"sha1:F3JMLLBSI7MPOBEZ5CVSYIR6JHVNJ636\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-05/CC-MAIN-2022-05_segments_1642320300573.3_warc_CC-MAIN-20220129062503-20220129092503-00361.warc.gz\"}"}