\usepackageamssymb

Elliptic curves over the field with four elements (not finished)

Author

Luca Leon Happel

Published

March 1, 2022

Table of contents

Introduction

The Field F4 with four elements

The affine plane

We define the affine space Akn over a ground field k to be the set of all tuples (x1,,xn) with elements in k. In the case of n=2 we call Akn affine plane. A variety V(A) for a subset Ak[X1,,Xn] of polynomials is the set points in Akn which are zeros for each polynomial in A. We call V(A) a hypersurface, if A={f} contains only one element.

We can define a topology on Akn by defining the open sets to be the sets V(f) for each fk[X1,,Xn]. I will not go into detail as to why this results in a topology. As an example, we can always construct V(f1)V(fr)=V(f1fr)

This image shows how solution sets can be united by multiplying the underlying functions. We use the affine real line AR1 for this illustration. The green function is the product of the blue and red one and as can be seen, the green graph has exactly the same poles as the red and blue graph combined. Furthermore, we define a hypersurface V(f) to be irreducible if the underlying polynomial f is irreducible. A hypersurface is reducible if it is not irreducible.

Example of a reducible hypersurface

Consider f=(xy)(x+y) which is reducible in R[x,y] as it can be factored into the non-units: (xy) and (x+y).

This can be seen in the graph of V(f), because V(f) can be split into two hypersurfaces V(xy) and V(x+y).

Example of an irreducible hypersurface

Consider f=x2+y21. This defines the circle V(f)=S1.

Example of an irreducible hypersurface that is an elliptic curve

Another irreducible hypersurface is V(y2x3+x) in AR2.

This also happens to define an elliptic curve. Also, note that an irreducible hypersurface need not be a connected space in the sense of topology.

The projective space