Sergey V. Tikhonov
Abstract:We prove the finiteness of the genus of finite-dimensional division algebras over many infinitely generated fields. More precisely, let $K$ be a finite field extension of a field which is a purely transcendental extension of infinite transcendence degree of some subfield. We show that if $D$ is a central division $K$-algebra, then ${\bf gen}(D)$ consists of Brauer classes $[D']$ such that $[D]$ and $[D']$ generate the same subgroup of $Br(K)$. In particular, the genus of any division $K$-algebra of exponent 2 is trivial. Note that the family of such fields is closed under finitely generated extensions. Moreover, if $char(K) \ne 2$, we prove that the genus of a simple algebraic group of type $\mathrm{G}_2$ over such a field $K$ is trivial.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the finiteness of the genus of division algebras, especially the finite - dimensional division algebras over some infinitely - generated fields with infinite transcendence degree. Specifically, the main objective of the paper is to prove that under certain conditions, the genus of these division algebras is finite and, in some cases, is trivial (i.e., contains only one element).
### Specific description of the problem
1. **Background and motivation**:
- In algebra, the genus of division algebras is an important concept, which describes the classes of division algebras with the same properties.
- For some types of fields, such as finitely - generated fields or discrete valuation fields, there have been some research results on the genus of division algebras. However, for infinitely - generated fields with infinite transcendence degree, the situation is more complex, and there has been less research in previous literature.
2. **Main problem**:
- The paper aims to prove that on a certain type of infinitely - generated fields, the genus of finite - dimensional division algebras is finite.
- More specifically, if \( K \) is a purely transcendental extension of a certain subfield and has an infinite transcendence degree, and \( D \) is a division algebra with center \( K \), then \( \text{gen}(D) \) (i.e., the class of division algebras having the same maximal subfields as \( D \)) is composed of those classes that generate the same subgroup in the Brauer group \( \text{Br}(K) \).
- In particular, for division algebras with index 2, their genus is trivial (i.e., has only one element).
### Main conclusions
- **Theorem 4**: Let \( K \) be a purely transcendental extension of a certain subfield and have an infinite transcendence degree, and let \( D \) be a division algebra with center \( K \), then \( \text{gen}(D) \) is composed of those classes that generate the same subgroup in \( \text{Br}(K) \).
- **Corollary**: For any division algebra with index 2, its genus is trivial.
### Methods and techniques
- The paper simplifies the problem by introducing an appropriate subfield \( M \) such that \( K/M \) is a purely transcendental extension and has an infinite transcendence degree.
- By using the properties of the Brauer group and some known results, it is proved that under these conditions, the genus of division algebras is finite.
### Significance and influence
- This result fills the research gap on the genus of division algebras over infinitely - generated fields with infinite transcendence degree.
- It provides a new perspective for understanding broader algebraic structures, especially for division algebras over fields with complex structures.
In conclusion, this paper solves the problem of the finiteness of the genus of division algebras on a certain type of infinitely - generated fields and gives specific conditions and conclusions.