Real fourth-power fibre classification

ID: real-fourth-power-fibre-classification

The scheme-theoretic fibres over positive real points, negative real points, zero, and nonreal closed points have real coordinate algebras , , , and , respectively. Their ordinary irreducible component counts are , so there are four real-scheme isomorphism classes. The last case pulls back an irreducible quadratic to a squarefree degree-eight polynomial, with four conjugate pairs of nonreal roots. The zero fibre retains its nilpotents and is not a reduced point.

New to topics? Read the docs here!