# How can I compute the full set of nodes of a surface?

The nodes of a surface are special cases of more general singularities. For example, the Cayley cubic has four nodes.

The full set of singularities of a surface can be characterized by finding all points where the partial derivatives are all zero. However, not all singularities are nodes. Some are cusps or other kinds of singularities. For example, the Cayley cubic has five singularities, four of which occur at the nodes of the internal elliptope and the fifth which occurs at zero and is apparently not a node.

Is there a simple way to check which singularities are surface nodes? Or, more interestingly, is there a way to compute the full set of nodes of a surface directly?

-

## 2 Answers

A node (as in Cayley's surface) is a double point with nondegenerate tangent cone. To check whether a given point on a surface in A^3 is a node in this sense, change coordinates so that it is the origin and write the equation as 0=F_2+F_3+... with F_i homogeneous of degree i. The point is a node iff F_2 is irreducible. I am assuming the base field is algebraically closed.

-

You should make this question more precise.

There is a notion of a node of a surface which is, I believe, just an $A_1$ singularity, that is, analytically isomorphic to the vertex of the cone $(xy-z^2)\subset \mathbb A^3_{x,y,z}$.

It seems that you want self intersections. Those are actually not normal singularities, so you can look at the non-normal locus, but that would still include other singularities.

Then even if you restrict to double self-intersections, that is still not unique. Do you want (simple) normal crossing such as $(xy=0)\subset \mathbb A^3_{x,y,z}$, the non-Cohen-Macaulay $(x=y=0)\cap (z=t=0)\subset \mathbb A^4_{x,y,z,t}$, or something else?

-
I'm referring to nodes such as the four on Cayley's cubic surface. I believe these are self-intersections of the surface, no? – node-question Nov 16 '10 at 6:08
These are, as Sándor points out, each (analytically) isomorphic to the vertex of a quadratic cone. See the picture here: enriques.mathematik.uni-mainz.de/docs/Ecayley.shtml I would not call them selfintersections; a selfintersecting surface would be more like Whitney's umbrella en.wikipedia.org/wiki/Whitney_umbrella where the singularity is not isolated (the surface is not normal) i.e., there are infinitely many singular points. – quim Nov 16 '10 at 9:16
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.7467561364173889, "perplexity": 376.79159914477384}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-22/segments/1464051054181.34/warc/CC-MAIN-20160524005054-00072-ip-10-185-217-139.ec2.internal.warc.gz"}