# A question about  an example on flat families from Hartshorne. In particular,  is this local ring reduced?

Is the local ring $R_p$ reduced, where $p=(a,x,y,z)$ and $R=k[a,x,y,z]/I$ and $I=(a^2(x+1)-z^2,ax(x+1)-yz,xz-ay,y^2-x^2(x+1))$ ?

This comes from example III.9.8.4 in Hartshorne's algebraic geometry. There he explains that $R/(a)$ has a non-reduced local ring at $p=(x,y,z)$.

My question is motivated by the following (all reference numbers are from Hartshorne):

• I think that $X=Spec R$ is not reduced at $(0,0,0,0)$ (corresponding to $p$).
• There is a map $X_{red}\to X$ that gets rid of the non-reduced structure.
• The composition $X_{red}\to X\to Spec\quad k[a]$ should be the family he mentions in example III.9.10.1.
• III.9.7 says that a reduced and irreducible family X over a smooth Y is flat (X dominating Y).
• The last two bullets contradict each other since example III.9.10.1 precisely says that this family is not flat.

Any help in sorting out where the problem in my reasoning is welcome!

-
{"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": 11, "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}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9310157299041748, "perplexity_flag": "head"}