I decided to spend this summer working through exercises in Hartshorne, and I found myself frustrated by the way I was solving one of them, specifically IV.2.3 on pp. 304-305. No, I'm not asking for a solution to the problem --- I almost have the whole thing solved, as far as I can tell --- what worries me is that I think I'm thinking about this stuff the wrong way.


The problem is about the map from a projective plane curve in characteristic 0 to its dual curve, and it has 8 parts, which ask you to prove things like the fact that bitangents on the original curve correspond to nodes on the dual. I managed to solve all of them except the one about ordinary inflection points on X giving ordinary cusps on X\*, but all my solutions involved picking affine charts, finding an ugly formula for the map in question, and computing first and second partial derivatives, and it's all very long and messy and doesn't give any clue as to what's going on until you get to the end and see that the thing you have is 0 or whatever if and only if the condition in the problem is met for some magical reason.


I feel like there must be a more "high-brow" way to approach this object, and the fact that I haven't been able to come up with one seems to speak to the sort of backward way I've been learning about the subject (I just took a class that was very good and covered a lot but was almost completely devoid of examples). There must be some approach to this that actually uses all the machinery that's developed in the rest of the book. Is there a satisfying, pretty way to deal with this thing that I'm missing, something that would tell me *why* these relationships hold and not just *that* they hold?



Dual Curves in Fancy Language
You make your solution feel "fancier", you could start with a more coordinate free approach to the dual curve. For example, try to identify the line bundle on your curve which embeds it into the dual plane. E.g.: let $X \subset \mathbb{P}^2$ be your curve. Then define $X' \subset X \times \mathbb{P}^{2\*}$ to be the set of pairs $(x, H)$ where the line $H$ is contained in the tangent space to $X$ at $x$. When $X$ is smooth at least, then this may be identified with the projectivization of the dual of the normal bundle $N\_{X/\mathbb{P}^2}$. 


Then think about the map $X' \rightarrow X \times \mathbb{P}^{2\*} \rightarrow \mathbb{P}^{2\*}$. This is the dual curve embedding. The morphism comes from the inclusion of $N^\* \subset \Omega\_{\mathbb{P}^2}|\_X \subset \mathcal{O}(-1)^3$. 


At some point, you have to do computations in local coordinates - but setting it up like this may help a little.


Example of local computation:
Locally, the curve looks like $(x(t), y(t), z(t))$. The map to the dual plane is given by $(x(t), y(t), z(t)) \times (x'(t), y'(t), z'(t))$ (cross product! giving the normal to the tangent plane in $\mathbb{C}^3$). If the curve has a simple inflection point, then locally it looks like $(t, t^3, 1)$ and the map to the dual plane is given by $(3t^2, 1, 2t^3)$ - a curve with a simple cusp.


