Constant rank subspaces of alternating bilinear forms from Galois Theory

Abstract

Let $L/K$ be a cyclic extension of degree $n=2m$. It is known that the space ${\text{Alt}}_K(L)$ of alternating $K$-bilinear forms (skew-forms) on $L$ decomposes into a direct sum of $K$-subspaces $A^{{\sigma }^i}$ indexed by the elements of $\text{Gal}(L/K)=⟨\sigma ⟩$. It is also known that the components $A^{{\sigma }^i}$ can have nice constant-rank properties. We enhance and enrich these constant-rank results and show that the component $A^{\sigma }$ often decomposes directly into a sum of constant rank subspaces, that is, subspaces all of whose non-zero skew-forms have a fixed rank $r$. In particular, this is always true when $-1\notin L^2$. As a result we deduce a decomposition of ${\text{Alt}}_K(L)$ into subspaces of constant rank in several interesting situations. We also establish that a subspace of dimension $\frac{n}{2}$ all of whose nonzero skew-forms are non-degenerate can always be found in $A^{{\sigma }^i}$ where ${\sigma }^i$ has order divisible by $2$.

16 pages. Suggestions are welcomed