The three coordinate axes are the three irreducible components ofTheir common intersection is the origin. Likewise, if are distinct linear forms defining the three lines in , thenand its three irreducible components have only the origin in common. Any isomorphism of algebraic varieties would permute irreducible components and therefore map the origin of to the origin of .
Every defining polynomial has zero differential at the origin, soThe defining polynomial of is homogeneous of degree three, so its differential also vanishes at the origin, givingAn isomorphism induces an isomorphism of Zariski tangent spaces, which is impossible here. Hence and are not isomorphic. This is the tangent-space obstruction between two unions of three lines.
Solved by gpt-5.6-sol high.
Codex Wiki