Associated to a finite, separable field extension $L/K$, there is a natural nondegenerate bilinear form, the *trace form*, defined by $$\langle x,y \rangle := \mathrm{Tr}\_{L/K}(xy)$$


Now, given a finite dimensional $K$-vector space $V$ with a nondegenerate bilinear form $\langle,\rangle$ what are some interesting/useful necessary or sufficient conditions for $\langle, \rangle$ to be equal to the bilinear form associated to a finite separable field extension $L/K$? Or more generally to some algebra $A/K$?



When is a bilinear form equivalent to a trace form?
In general, this is a difficult question. 


The answer is completely known if $K$ is a number field. I'm going to rephrase the result in terms of quadratic forms, but it is the same, really. 
Before that, i'm gonna give some necessary conditions, valid over an arbitrary field.


Recall first that, if $q$ is a non degenerate quadratic form over an arbitrary field $K$ of characteristic different from $2$, it is isomorphic to a diagonal form $\langle a\_1,\ldots,a\_n\rangle$, $a\_i\in K^\times$.


If $K$ is an ordered field, the signature of $q$ with respect to this ordering is the number of positive $a\_i's$ **minus** the number of negative ones. This is an integer which does not depend on the choice of the diagonalization (and not a pair of natural integers).


We say that a quadratic form is **positive** if all its signatures (w.r.t. the orderings of $K$) are non-negative.


Of course, if $K$ has no ordering, any quadratic form is positive.


One may show that the trace form of a separable extension $E/K$ (or more generally of an etale $K$-algebra), that i will denote by $q\_E$, satisfies the following conditions (here $K$ is an arbitrary field of characteristic different from $2$): 


1. the quadratic form $q\_E$ positive.
2. If $n=\dim\_K(E)$, then $q\_E\simeq r\_n\perp q'$, where 
$r\_n$ is defined as follows:


Write $n=\displaystyle\sum\_{i=1}^h 2^{m\_i},0\leq m\_1<\cdots<m\_h$.


Then $r\_n=\langle 1,1,\ldots,1\rangle$ if $\displaystyle\sum\_i m\_i$ is even, and $r\_n=\langle 2,1,\ldots,1\rangle$ if $\displaystyle \sum\_i m\_i$ is odd, where $r\_n$ has rank $h$. 


The following result of Epkenhans says Condition 1. characterizes the trace forms of **field extensions** of number fields.


**Thm.** Let $K$ be a number field, and let $q$ be a non degenerate quadratic form of rank $n$ over $K.$ Then, $q$ is isomorphic to the trace form of a separable field extension $E/K$ if and only if $q$ is a positive quadratic form and one of the following conditions hold:


1) $n=1$ and $q\simeq \langle 1\rangle$


2) $n=2$ and $q\simeq \langle 2,2D\rangle$ for some $D\in K^\times$


3) $n=3$ and $q\simeq \langle 1, 2,2D\rangle$ for some $D\in K^\times$


4) $n\geq 4$.


For general fields of characteristic different from $2$, Serre characterized the trace forms of étale algebras of dimension $\leq 7.$ You can find his results in "Cohomological invariants in Galois cohomology", Garibaldi, Merkurjev,Serre, AMS University Lecture Series Vol.28, 2003 (p.75-80)


I also kinda remember that there is a theorem (of Mestre ? or maybe Serre...)saying that a quadratic form is isomorphic to the trace form of an étale algebra if and only if it is the trace form of a separable field extension.


You also have and article of Drees, Epkenhans and Kruskemper, where they compute and characterize trace forms of various Galois extensions: 


On the computation of the trace forms of some Galois field extensions, Journal of Algebra Volume 192, Issue 1, 1 June 1997, Pages 209-234


<https://www.sciencedirect.com/science/article/pii/S0021869396969392?via%3Dihub>


