Invariant symplectic forms on number fields (Q6544724)

A monic polynomial \(P(x)\in \) \(\mathbb{Q}[x]\) is said to be palindromic (or reciprocal) if it satisfies the equality \(P(x)=x^{\deg (P)}P(1/x).\) In particular, an irreducible palindromic polynomial is of even degree, when it is not equal to the linear polynomial \(x+1.\)\N\NLet \(\lambda \) be an algebraic number. A symplectic form \(B\) on \(\mathbb{Q}(\lambda ),\) i.e., a non-degenerate alternating bilinear pairing on \(\mathbb{Q}(\lambda ),\) is said to be \(\lambda \)-invariant whenever \(B(u,v)=B(\lambda u,\lambda v)\) for all \((u,v)\in \mathbb{Q}(\lambda )\times \mathbb{Q}(\lambda ).\)\N\NIn the paper under review, the authors show that the field \(\mathbb{Q}(\lambda )\) admits a \(\lambda \)-invariant symplectic form if and only if \(\lambda \neq -1\) and the minimal polynomial of \(\lambda \) is palindromic. They also prove that there is a \(d\)-dimensional space of invariant symplectic forms on \(\mathbb{Q}(\lambda ),\) when the minimal polynomial of \(\lambda \) is palindromic of degree \(2d.\)