Four-Dimensional Algebraic Tori

TL;DR

This paper investigates the rationality of four-dimensional algebraic tori, proving that all stably rational cases are rational except for 10 unresolved instances, thereby advancing understanding of their classification.

Contribution

It establishes that all stably rational four-dimensional algebraic tori are rational, except for 10 cases, and provides non-computational proofs for these exceptions.

Findings

All stably rational 4-dimensional tori are rational.

10 cases remain unresolved, falling into 2 families.

Non-computational proofs are provided for the exceptional cases.

Abstract

The study of the birational properties of algebraic $k$-tori began in the sixties and seventies with work of Voskresenkii, Endo, Miyata, Colliot-Th\'el\`ene and Sansuc. There was particular interest in determining the rationality of a given algebraic $k$-tori. As rationality problems for algebraic varieties are in general difficult, it is natural to consider relaxed notions such as stable rationality, or even retract rationality. Work of the above authors and later Saltman in the eighties determined necessary and sufficient conditions to determine when an algebraic torus is stably rational, respectively retract rational in terms of the integral representations of its associated character lattice. An interesting question is to ask whether a stably rational algebraic $k$-torus is always rational. In the general case, there exist examples of non-rational stably rational $k$-varieties. Algebraic $k$-tori of dimension $r$ are classified up to isomorphism by conjugacy classes of finite subgroups of GL$_r(\mathbb{Z})$. This makes it natural to examine the rationality problem for algebraic $k$-tori of small dimensions. In 1967, Voskresenskii proved that all algebraic tori of dimension 2 are rational. In 1990, Kunyavskii determined which algebraic tori of dimension 3 were rational. In 2012, Hoshi and Yamasaki determined which algebraic tori of dimensions 4 and 5 were stably (respectively retract) rational with the aid of GAP. They did not address the rationality question in dimensions 4 and 5. In this paper, we show that all stably rational algebraic $k$-tori of dimension 4 are rational, with the possible exception of 10 undetermined cases which fall into 2 families. We reprove the stable rationality of the exceptional families of algebraic tori non-computationally.