The level of cyclic division algebras (Q2277022)

Für Schiefkörper D gibt es drei mögliche Definitionen für die Stufe (level) von D: s(D) bzw. \(s_{\pi}(D)\) ist die kleinste Anzahl der Summanden in einer Darstellung von -1 als Summe von Quadraten bzw. von Produkten von Quadraten, \b{s}(D) ist die kleinste Zahl s, so daß 0 Summe von \(s+1\) nichtverschwindenden Quadraten ist. Es gilt dann: \(s(D)\geq \underline s(D)\geq s_{\pi}(D).\) In dieser Arbeit werden eine Reihe von unteren und oberen Abschätzungen für diese Invarianten angegeben, wenn \(D=(K/F,\sigma,a)\) eine zyklische Divisionsalgebra über F ist. Sie sind in bemerkenswerter Weise mit einer neuen Invariante \(t=t(K/F)\) für zyklische Galois-Erweiterungen verknüpft. t ist die kleinste Zahl von Summanden in einer Darstellung \(-1=a_ 1\sigma (a_ 1)+...+a_ t\sigma (a_ t)\) mit \(a_ i\in K\), wobei \(\sigma\) ein erzeugendes Element der Galoisgruppe von K/F ist. Wenn \(n=[K : F]\) ungerade oder durch 4 teilbar ist, dann gilt (Theorem 3.2): \[ s(D)\leq \min (s(K),\quad t(K/F)+1),\quad \underline s(D)\leq t(K/F),\quad s_{\pi}(D)\leq t(K/F). \] [Im Fall 4 \(| n\) ist \(t(K/F)=1]\). In gewissen Spezialfällen können die Invarianten s, \b{s}, \(s_{\pi}\) sogar vollständig berechnet werden.