Paper detail

Polynomial invariants and moduli of generic two-dimensional commutative algebras

Let $V$ be a two-dimensional vector space over a field $\mathbb F$ of characteristic not $2$ or $3$. We show there is a canonical surjection $ν$ from the set of suitably generic commutative algebra structures on $V$ modulo the action of $GL(V)$ onto the plane $\mathbb F^2$. In these coordinates, which are quotients of invariant quartic polynomials, properties such as associativity and the existence of zero divisors are described by simple algebraic conditions. The map $ν$ is a bijection over the complement of a degenerate elliptic curve $Γ$ and over $Γ$ we give an explicit parametrisation of the fibre in terms of Galois extensions of $\mathbb F$. Algebras in $ν^{-1}(Γ)$ are exactly those which admit non-trivial automorphisms. We show how $ν$ can be lifted to a map from the $SL(V)-$moduli space to an algebraic hypersurface $Γ'$ in a four-dimensional vector space whose equation is essentially the classical Eisenstein equation for the covariants of a binary cubic. This map is the restriction of a surjective map from the set of stable commutative algebras on $V$ modulo the action of $SL(V)$ onto $Γ'$.