Do the pictures in Hartshorne Ex. 1.5.1 make sense?

These pictures are of the real points of the curves, as you correctly point out yourself.
In principle they don't make sense over $\mathbb C$, and even less sense over other fields of an arithmetic nature (like $\mathbb Q$ and its finite extensions) or of positive characteristic.
Experimentally, however, it seems that drawing real pictures can be of help to some mathematicians (and I certainly count myself among them).
It is difficult to formally explain the usefulness of real pictures, but experience shows that one learns to retain from them the features that will be preserved over general fields and to dismiss the ones which are relevant only for $\mathbb R$.
In conclusion, I would advise you not to reject these pictures offhand: they are certainly aesthetically pleasing (and I would argue that this is a very serious argument for a mathematician !) and maybe you will discover that you too are among those who derive insight from their contemplation.

Edit
To illustrate (!) what I mean, suppose we want to study the complex subvariety $V(\mathbb C)\subset \mathbb C^2$ defined by $x^2+y^2-1=0$ .
We draw a picture of the good old circle $V(\mathbb R)\subset \mathbb R^2$ with the same equation and can see for example that many lines cut it in two points, a few in one point, and many don't cut the circle at all.
The first two features are preserved in the complex case but experience will make us suspect that non intersecting lines are a feature of the non algebraic closedness of $\mathbb R$. This might help forge some intuition for Bézout's theorem,intersection theory, etc.
The real picture will also lead us to believe that $V(\mathbb C)$ has dimension $1$, which is true in the algebraic geometry sense even though as a topological space in the classical sense the variety has dimension two.
This apparent contradiction is due to the fact that the classical point of view relates to the classical topology of $V(\mathbb C)$, inherited from the metric topology of $\mathbb C$ and to the Brouwer-Lebesgue dimension of spaces, whereas algebraic geometers use the Zariski topology and the Krull dimension.

In conclusion, deducing algebraic geometry properties from real pictures is an art rather than a science, but this has a definite appeal to some of us visualists ...


The pictures are intended to illustrate a few ways in which tangents can be placed at a singular point. In that sense, they make perfect sense: they are perfectly accurate in that respect.

PS. You seem to be too demanding on your pictures! there is no need for the field to be ordered in order to make a pictre with axes. In fact, there is no need for it to even be a field, and you can make useful pictures illusrating interesting points and arguments even in the absurdly general case in which you consider two topological spaces $X$ and $Y$ and draw $X\times Y$ in the «obvious» way.


You can visualize these curves also over $\mathbb{C}$. They live in $\mathbb{C}^2 \cong \mathbb{R}^4 \cong \mathbb{R}^3 \times \mathbb{R}$, the usual euclidean space with an additional time parameter. For example, look at the cusp $y^4+y^2 + x^4-x^3=0$ for $(x,y) \in \mathbb{C}^2$. Write $x=a+ib$ and $y=c+it$ with $(a,b,c) \in \mathbb{R}^3$ and $t \in \mathbb{R}$ (the time parameter). The real part of the equation becomes

$a^4 - a^3 - 6 \cdot a^2 \cdot b^2 + 3 \cdot a \cdot b^2 + b^4 + c^4 + c^2 \cdot (1 - 6 \cdot t^2) + t^4 - t^2$

and the imaginary part becomes

$4 \cdot a^3 \cdot b - 3 \cdot a^2 \cdot b - 4 \cdot a \cdot b^3 + b^3 + 2 \cdot c \cdot t \cdot (2 \cdot c^2 - 2 \cdot t^2 + 1)$

For every fixed time $t$ the (complex) curve is an intersection of two surfaces in $\mathbb{R}^3$. One may ask how smoothly these surfaces change with the time. For $t=0$ the intersection with the $ac$-plane gives the real picture from Hartshorne, but there is another component.

enter image description here