Dual Curves in Fancy Language - MathOverflow

Dual Curves in Fancy Language

2010-05-11T23:33:19Z

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?

Answer by Charles Siegel for Dual Curves in Fancy Language

2010-05-12T03:05:00Z

See if your library has Gelfand, Kapranov and Zelevinsky's "Discriminants, Resultants, and Multidimensional Determinants", here's the Google Book. The first bit is just on dual varieties in general, and then applies to dual curves, and it's actually fairly accessible, thought the difficulty of the book ramps up rather strongly!

Answer by Dan Petersen for Dual Curves in Fancy Language

2010-05-12T09:35:43Z

A purely coordinate-free argument might be to think about what happens when you take a curve with a bitangent, and then deform the curve so that the two tangent points come together -- clearly this should produce a flex. We already understand how bitangents give rise to simple nodes on the dual curve. On the side of the dual curve, this deformation would correspond to taking a nodal curve and letting the "nodal part" shrink to a single point. Squint and you get a cusp.

(There used to be also a big computation/handwave in this answer, but on a second reading it was really not illuminating at all.)

Answer by mdeland for Dual Curves in Fancy Language

2010-05-15T20:08:20Z

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.