Polynomial invariants and moduli of generic two-dimensional commutative algebras

TL;DR

This paper classifies generic two-dimensional commutative algebras over a field using polynomial invariants, describing their properties and automorphisms through algebraic conditions and explicit parametrizations.

Contribution

It introduces a canonical surjection from the moduli space of generic algebras to a plane, with detailed descriptions of fibers and automorphisms, and connects to classical invariant theory.

Findings

The map is a bijection outside a degenerate elliptic curve.

Algebras on the curve admit non-trivial automorphisms.

Explicit parametrization of fibers over the curve using Galois extensions.

Abstract

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 $\nu$ 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 $\nu$ is a bijection over the complement of a degenerate elliptic curve $\Gamma$ and over $\Gamma$ we give an explicit parametrisation of the fibre in terms of Galois extensions of $\mathbb F$. Algebras in $\nu^{-1}(\Gamma)$ are exactly those which admit non-trivial automorphisms. We show how $\nu$ can be lifted to a map from the $SL(V)-$moduli space to an algebraic hypersurface $\Gamma'$ 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 $\Gamma'$.