Abstract:We introduce a new invariant of fields that refines their real spectrum and is related to their absolute Galois group: the Artin-Schreier quandle. For formally real number fields, it is freely generated in its variety by a Cantor space of indeterminates. For Laurent series fields, we compute it in terms of the Artin-Schreier quandle of the coefficient field. This result and other examples show that, in general, there are relations.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to introduce and study a new mathematical invariant - Artin - Schreier quandle, in order to describe the real spectrum of fields more precisely and reveal its relationship with the absolute Galois group. Specifically, the author Markus Szymik defines the Artin - Schreier quandle to capture the algebraic structure of all involutions (i.e., elements of order 2) in a field, rather than just considering their conjugacy classes.
### Main problems and goals
1. **Introducing a new invariant**:
- The paper introduces the Artin - Schreier quandle \( \text{AS}(F) \), which consists of all involutions in the absolute Galois group \( \text{Gal}(F) \) of a field \( F \) and is endowed with a quandle structure.
- This quandle not only has a topological structure (as a subspace of a finitely generated group) but also an algebraic structure, which can better describe the relationships between the involutions of a field.
2. **Describing the Artin - Schreier quandle of specific fields**:
- For formally real number fields (such as the rational number field \( \mathbb{Q} \)), it is proved that \( \text{AS}(F) \) is freely generated by indeterminates in the Cantor space.
- For Laurent series fields, the Artin - Schreier quandle is calculated and its relationship with other known examples is shown.
3. **Exploring relationships in the general case**:
- Through specific examples and calculations, it is shown that in the general case, there are relationships in the Artin - Schreier quandle, that is, not all involutions are independent.
### Key results
- **Theorem 1.1**: For the rational number field \( \mathbb{Q} \), its Artin - Schreier quandle \( \text{AS}(\mathbb{Q}) \) is a free finitely - generated quandle, and its basis is given by the involutions in the Cantor space.
- **Theorem 1.2**: For any field \( F \), the Artin - Schreier quandle \( \text{AS}(F((t))) \) of its Laurent series field \( F((t)) \) is isomorphic to \( \text{AS}(F)\times FQ\wedge_2\{\sigma, \tau\} \), where \( FQ\wedge_2\{\sigma, \tau\} \) is a free finitely - generated quandle generated by two elements.
### Applications and significance
This research not only deepens our understanding of the absolute Galois group of fields but also provides new tools and perspectives for fields such as algebraic number theory and topology. In particular, by applying quandle theory to Galois theory, the author has opened up new research directions, such as the "arithmetic topology" program.
In summary, this paper aims to provide a more refined method to study the involutions of fields and their relationship with the absolute Galois group by introducing the new invariant Artin - Schreier quandle.