Abstract:We give a stably birational classification for algebraic tori of dimensions $3$ and $4$ over a field $k$. First, we define the weak stably equivalence of algebraic tori and show that there exist $13$ (resp. $128$) weak stably equivalent classes of algebraic tori $T$ of dimension $3$ (resp. $4$) which are not stably rational by computing some cohomological stably birational invariants, e.g. the Brauer-Grothendieck group of $X$ where $X$ is a smooth compactification of $T$, provided by Kunyavskii, Skorobogatov and Tsfasman. We make a procedure to compute such stably birational invariants effectively and the computations are done by using the computer algebra system GAP. Second, we define the $p$-part of the flabby class $[\hat{T}]^{fl}$ as a $Z_p[Sy_p(G)]$-lattice and prove that they are faithful and indecomposable $Z_p[Sy_p(G)]$-lattices unless it vanishes for $p=2$ (resp. $p=2,3$) in dimension $3$ (resp. $4$). The $Z_p$-ranks of them are also given. Third, we give a necessary and sufficient condition for which two not stably rational algebraic tori $T$ and $T^\prime$ of dimensions $3$ (resp. $4$) are stably birationally equivalent in terms of the splitting fields and the weak stably equivalent classes of $T$ and $T^\prime$. In particular, the splitting fields of them should coincide if $\hat{T}$ and $\hat{T}^\prime$ are indecomposable. Forth, for each $7$ cases of not stably but retract rational algebraic tori of dimension $4$, we find an algebraic torus $T^\prime$ of dimension $4$ which satisfies that $T\times_k T^\prime$ is stably rational. Finally, we give a criteria to determine whether two algebraic tori $T$ and $T^\prime$ of general dimensions are stably birationally equivalent when $T$ (resp. $T^\prime$) is stably birationally equivalent to some algebraic torus $T^{\prime\prime}$ of dimension up to $4$.

Algebraic tori in the complement of quartic surfaces

Birational geometry of Calabi-Yau pairs $(\mathbb{P}^3, D)$ of coregularity 2

Birational classification for algebraic tori

Algebraic hyperbolicity for surfaces in smooth projective toric threefolds with Picard rank 2 and 3

Special Lagrangian submanifolds and Algebraic complexity one Torus Actions

The Classification of Rigid Torus Quotients with Canonical Singularities in Dimension Three

The Coble Quadric

Singular Lagrangian torus fibrations on the smoothing of algebraic cones

Compact moduli of marked noncommutative cubic surfaces

The Torus of Triangles

Serre algebra, matrix factorization and categorical Torelli theorem for hypersurfaces

Codimension two torus actions on the affine space

Five tori in $S^4$

New low-genus desingularizations of three Clifford tori and related characterizations

Toroidal embeddings of cubic projective plane obstructions

Quasi-cluster algebras from non-orientable surfaces

Three approaches to a categorical Torelli theorem for cubic threefolds of non-Eckardt type via the equivariant Kuznetsov components

Cluster algebras and monotone Lagrangian tori

Graph hypersurfaces with torus action and a conjecture of Aluffi

Bi-algebraic geometry of strata of differentials in genus zero