Smooth plane conic

A smooth complex degree-two projective plane curve is a projective linear image of the degree-two Veronese map and is diffeomorphic to a sphere. Its class in ${\mathbb{CP}}^2$ is twice the class of a projective line. Its self-intersection number is four, so its oriented normal bundle has Euler class evaluating to four.

The tangent lines of a smooth plane conic form a smooth plane conic in the dual projective space. If the original equation is $v^{\mathsf{T}}Qv=0$, its tangent has coefficient vector $Qv$, giving the displayed equation. The matrix $Q$ is symmetric and invertible, so this correspondence is a projective linear isomorphism of the conics.

If two smooth plane conics over $\mathbb{C}$ meet at four distinct points, their tangent incidence curve is a smooth projective genus one curve. Projection to $C_2$ is a double cover branched at those four intersections. The tangent equation becomes a quadratic whose discriminant cuts out $C_1\cap C_2$; its four simple zeros make the cover smooth and connected. The Riemann-Hurwitz formula then gives genus one.

For two smooth plane conics meeting transversely, the operation of crossing a chord of the second conic tangent to the first and choosing the other tangent through the new endpoint acts as a translation on an elliptic curve on their incidence curve. Each switch is an involution of a degree-two map from a genus one curve. One periodic orbit means that the translating point is torsion, so every orbit is periodic with the same least period. The construction extends through coincident choices at ramification points using the regular involutions.

The complement of a closed tubular neighborhood of a smooth plane conic has the displayed integral homology. The Excision theorem and Thom isomorphism theorem reduce the calculation to the relative long exact sequence: the ambient degree-four fundamental class restricts with coefficient one, while the degree-two map is intersection with the conic and has coefficient two. A collar neighborhood identifies the open and compact exterior homotopy equivalence types. The boundary instead has first homology $\mathbb{Z}/4$, from the Gysin sequence and the normal Euler class four.