We find all post-critically finite (PCF) cubic polynomials defined over
, up to
conjugacy over
.
We describe normal forms that classify equivalence classes of cubic polynomials while
respecting the field of definition. Applying known bounds on the coefficients of
post-critically bounded polynomials to these normal forms simultaneously at all places of
,
we create a finite search space of cubic polynomials over
that
may be PCF. Using a computer search of these possibly PCF cubic polynomials, we
find fifteen which are in fact PCF.