Skew-Forms and Galois Theory
Let $L/K$ be a cyclic extension of degree $n = 2m$. It is known that the space $\mathrm{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 $\mathrm{Gal}(L/K) = \langle \sigma \rangle $. It is also...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Académie des sciences
2024-11-01
|
| Series: | Comptes Rendus. Mathématique |
| Subjects: | |
| Online Access: | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.645/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | Let $L/K$ be a cyclic extension of degree $n = 2m$. It is known that the space $\mathrm{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 $\mathrm{Gal}(L/K) = \langle \sigma \rangle $. 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 $\mathrm{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$. |
|---|---|
| ISSN: | 1778-3569 |