Integral trace forms associated to cubic extensions (Q600784)

Let \(d\) be a non zero integer and \(K\) be a cubic number field with maximal order \(O_K\). It is known by Hermite's Theorem that there exist only finitely many cubic number fields \(K\) of discriminant \(d\), but they can be non-isomorphic cubic fields. The author defines a natural refinement of the discriminant using the trace form \(\text{tr}_{K/Q}(x^2)|O_K^0\) where \(O_K^0 = \{x\in O_K: \text{tr}_{K/Q}(x) = 0\}\). For fundamental discriminants, and using Bhargava's class group, the author analyzes and gives an affirmative answer to the question: Do there exist two non-isomorphic cubic fields \(K\) and \(L\) such that the forms \(\text{tr}_{K/Q}(x^2)|O_K^0\) and \(\text{tr}_{L/Q}(x^2)|O_L^0\) are isomorphic?