arXiv subjects

Aiichi Yamasaki

Publications and source records attributed to Aiichi Yamasaki.

At least 19 recordsLinked to original sources

arXiv2026

Hasse norm principle for Heisenberg extensions of degree $p^3$

Let $k$ be a global field and $p$ be an odd prime number. We give a necessary and sufficient condition for the Hasse norm principle for separable field extensions $K/k$, i.e. the determination of the Shafarevich-Tate group $Sha(T)$ of the norm one tori $T=R^{(1)}_{K/k}(G_m)$ of $K/k$, with $[K:k]=p^3$ or $p^2$ when the Galois group of the Galois closure of $K/k$ is the Heisenberg group $E_p(p^3)\simeq (C_p)^2\rtimes C_p$ of order $p^3$, i.e. the extraspecial group of order $p^3$ with exponent $p$. As a consequence, we get the Tamagawa number $τ(T)=p^2$, $p$ or $1$ via Ono's formula $τ(T)=|H^1(k,\widehat{T})|/|Sha(T)|$.

math.NT↗

arXiv2026

Rationality problem for norm one tori of tensor products of étale algebras and Hasse norm principle

Let $k$ be a field. Let $A=\prod_{i=1}^r K_i$ and $B=\prod_{j=1}^s E_j$ be étale $k$-algebras where $K_i$ and $E_j$ are finite separable field extensions of $k$ with $[K_i:k]=m_i$ and $[E_j:k]=n_j$. Let $\mathcal{T}_A=R^{(1)}_{A/k}(\mathbb{G}_m)$ be the norm one torus of the étale $k$-algebra $A$. We prove that if $\gcd(m_i,n_j\mid 1\leq i\leq r, 1\leq j\leq s)=1$ and $\mathcal{T}_A$ and $\mathcal{T}_B$ are stably $($resp. retract$)$ $k$-rational, then the algebraic $k$-torus $\mathcal{T}_A\otimes \mathcal{T}_B$ and the norm one torus $\mathcal{T}_{A\otimes B}$ are stably $($resp. retract$)$ $k$-rational. In particular, if $k$ is a global field, then the Hasse norm principle holds for $(A\otimes B)/k$. We introduce a new invariant of $G$-lattices, the permutation order, whose triviality is equivalent to invertibility, and use it to study the rationality of tensor products $T_1\otimes T_2$ of algebraic $k$-tori. As an application, we obtain large families of field extensions $K/k$ for which the Hasse norm principle holds.

math.AG↗

arXiv2025

Birational classification for algebraic tori

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 $\mathbb{Z}_p[{\rm Syl}_p(G)]$-lattice and prove that they are faithful and indecomposable $\mathbb{Z}_p[{\rm Syl}_p(G)]$-lattices unless it vanishes for $p=2$ (resp. $p=2,3$) in dimension $3$ (resp. $4$) via $p$-adic analysis. The $\mathbb{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$.

math.AG↗

arXiv2025

Hasse norm principle for metacyclic extensions with trivial Schur multiplier

Let $k$ be a global field, $K/k$ be a finite separable field extension and $L/k$ be the Galois closure of $K/k$ with Galois groups $G={\rm Gal}(L/k)$ and $H={\rm Gal}(L/K)\lneq G$. In 1931, Hasse proved that if $G$ is cyclic, then the Hasse norm principle holds for $K/k$. We show that if $G$ is metacyclic with trivial Schur multiplier $M(G)=0$, then $H$ is cyclic and the Hasse norm principle holds for $K/k$. Some examples of metacyclic, dihedral, quasidihedral, modular, generalized quaternion, extraspecial groups and $Z$-groups $G$ with trivial Schur multiplier $M(G)=0$ are given. These provide new examples which the Hasse norm principle hold for non-Galois extensions $K/k$ whose Galois closure is $L/k$ with metacyclic $G={\rm Gal}(L/k)$ and $M(G)=0$.

math.NT↗

arXiv2025

Rationality problem for norm one tori for $A_5$ and ${\rm PSL}_2(\mathbb{F}_8)$ extensions

We give a complete answer to the rationality problem (up to stable $k$-equivalence) for norm one tori $T=R^{(1)}_{K/k}(\mathbb{G}_m)$ of $K/k$ whose Galois closures $L/k$ are $A_5\simeq {\rm PSL}_2(\mathbb{F}_4)$ and ${\rm PSL}_2(\mathbb{F}_8)$ extensions. In particular, we prove that $T$ is stably $k$-rational for $G={\rm Gal}(L/k)\simeq {\rm PSL}_2(\mathbb{F}_{8})$, $H={\rm Gal}(L/K)\simeq (C_2)^3$ and $H\simeq (C_2)^3\rtimes C_7$ where $C_n$ is the cyclic group of order $n$ by using GAP computations with the aid of PARI/GP. Based on the result, we conjecture that $T$ is stably $k$-rational for $G\simeq {\rm PSL}_2(\mathbb{F}_{2^d})$, $(C_2)^d\leq H\leq (C_2)^d\rtimes C_{2^d-1}$. Some other cases $G\simeq A_n$, $S_n$, ${\rm GL}_n(\mathbb{F}_{p^d})$, ${\rm SL}_n(\mathbb{F}_{p^d})$, ${\rm PGL}_n(\mathbb{F}_{p^d})$, ${\rm PSL}_n(\mathbb{F}_{p^d})$ and $H\lneq G$ are also investigated for small $n$ and $p^d$.

math.AG↗

arXiv2024

Norm one tori and Hasse norm principle, III: Degree $16$ case

Let $k$ be a field, $T$ be an algebraic $k$-torus, $X$ be a smooth $k$-compactification of $T$ and ${\rm Pic}\,\overline{X}$ be the Picard group of $\overline{X}=X\times_k\overline{k}$ where $\overline{k}$ is a fixed separable closure of $k$. Hoshi, Kanai and Yamasaki [HKY22], [HKY23] determined $H^1(k,{\rm Pic}\, \overline{X})$ for norm one tori $T=R^{(1)}_{K/k}(\mathbb{G}_m)$ and gave a necessary and sufficient condition for the Hasse norm principle for extensions $K/k$ of number fields with $[K:k]\leq 15$. In this paper, we treat the case where $[K:k]=16$. Among $1954$ transitive subgroups $G=16Tm\leq S_{16}$ $(1\leq m\leq 1954)$ up to conjugacy, we determine $1101$ (resp. $774$, $31$, $37$, $1$, $1$, $9$) cases with $H^1(k,{\rm Pic}\, \overline{X})=0$ (resp. $Z/2Z$, $(Z/2Z)^{\oplus 2}$, $(Z/2Z)^{\oplus 3}$, $(Z/2Z)^{\oplus 4}$, $(Z/2Z)^{\oplus 6}$, $Z/4Z$) where $G$ is the Galois group of the Galois closure $L/k$ of $K/k$. We see that $H^1(k,{\rm Pic}\, \overline{X})=0$ implies that the Hasse norm principle holds for $K/k$. In particular, among $22$ primitive $G=16Tm$ cases, i.e. $H\leq G=16Tm$ is maximal with $[G:H]=16$, we determine exactly $6$ cases $(m=178, 708, 1080, 1329, 1654, 1753)$ with $H^1(k,{\rm Pic}\, \overline{X})\neq 0$ $($$(Z/2Z)^{\oplus 2}$, $Z/2Z$, $(Z/2Z)^{\oplus 2}$, $Z/2Z$, $Z/2Z$, $Z/2Z$). Moreover, we give a necessary and sufficient condition for the Hasse norm principle for $K/k$ with $[K:k]=16$ for $22$ primitive $G=16Tm$ cases. As a consequence of the $22$ primitive $G$ cases, we get the Tamagawa number $τ(T)=1$, $1/2$, $1/4$ of $T=R^{(1)}_{K/k}(\mathbb{G}_m)$ over a number field $k$ via Ono's formula $τ(T)=1/|Sha(T)|$ where $Sha(T)$ is the Shafarevich-Tate group of $T$.

math.NT↗

arXiv2024

Hasse norm principle for $M_{11}$ and $J_1$ extensions

We give a necessary and sufficient condition for the Hasse norm principle for field extensions $K/k$ when the Galois groups ${\rm Gal}(L/k)$ of the Galois closure $L/k$ of $K/k$ are isomorphic to the Mathieu group $M_{11}$ of degree $11$ of order $7920$ or the Janko group $J_1$ of order $175560$ by determining $H^1(k,{\rm Pic}\, \overline{X})=0$ or $\mathbb{Z}/2\mathbb{Z}$ for norm one tori $T=R^{(1)}_{K/k}(\mathbb{G}_m)$ with a smooth $k$-compactification $X$ and $\overline{X}=X\times_k\overline{k}$. The result gives a first step towards understanding the all pictures of the Hasse norm principle for the $26$ sporadic simple groups.

math.NT↗

arXiv2023

Rationality problem for norm one tori for dihedral extensions

We give a complete answer to the rationality problem (up to stable $k$-equivalence) for norm one tori $R^{(1)}_{K/k}(\mathbb{G}_m)$ of $K/k$ whose Galois closures $L/k$ are dihedral extensions with the aid of Endo and Miyata [EM75, Theorem 1.5, Theorem 2.3] and Endo [End11, Theorem 2.1]. By using a similar technique, we give refinements of the proof of stably rational cases of Endo and Miyata's theorems as an appendix of the paper.

math.AG↗

arXiv2022

Norm one tori and Hasse norm principle, II: Degree $12$ case

Let $k$ be a field, $T$ be an algebraic $k$-torus, $X$ be a smooth $k$-compactification of $T$ and ${\rm Pic}\,\overline{X}$ be the Picard group of $\overline{X}=X\times_k\overline{k}$. Hoshi, Kanai and Yamasaki [HKY22] determined $H^1(k,{\rm Pic}\, \overline{X})$ for norm one tori $T=R^{(1)}_{K/k}(G_m)$ and gave a necessary and sufficient condition for the Hasse norm principle for extensions $K/k$ of number fields with $[K:k]=n\leq 15$ and $n\neq 12$. In this paper, we determine $64$ cases with $H^1(k,{\rm Pic}\, \overline{X})\neq 0$ and give a necessary and sufficient condition for the Hasse norm principle for $K/k$ where $[K:k]=12$.

math.AG↗

arXiv2022

Norm one tori and Hasse norm principle

Let $k$ be a field and $T$ be an algebraic $k$-torus. In 1969, over a global field $k$, Voskresenskii proved that there exists an exact sequence $0\to A(T)\to H^1(k,{\rm Pic}\,\overline{X})^\vee\to Sha(T)\to 0$ where $A(T)$ is the kernel of the weak approximation of $T$, $Sha(T)$ is the Shafarevich-Tate group of $T$, $X$ is a smooth $k$-compactification of $T$, $\overline{X}=X\times_k\overline{k}$, ${\rm Pic}\,\overline{X}$ is the Picard group of $\overline{X}$ and $\vee$ stands for the Pontryagin dual. On the other hand, in 1963, Ono proved that for the norm one torus $T=R^{(1)}_{K/k}(G_m)$ of $K/k$, $Sha(T)=0$ if and only if the Hasse norm principle holds for $K/k$. First, we determine $H^1(k,{\rm Pic}\, \overline{X})$ for algebraic $k$-tori $T$ up to dimension $5$. Second, we determine $H^1(k,{\rm Pic}\, \overline{X})$ for norm one tori $T=R^{(1)}_{K/k}(G_m)$ with $[K:k]=n\leq 15$ and $n\neq 12$. We also show that $H^1(k,{\rm Pic}\, \overline{X})=0$ for $T=R^{(1)}_{K/k}(G_m)$ when the Galois group of the Galois closure of $K/k$ is the Mathieu group $M_n\leq S_n$ with $n=11,12,22,23,24$. Third, we give a necessary and sufficient condition for the Hasse norm principle for $K/k$ with $[K:k]=n\leq 15$ and $n\neq 12$. As applications of the results, we get the group $T(k)/R$ of $R$-equivalence classes over a local field $k$ via Colliot-Thélène and Sansuc's formula and the Tamagawa number $τ(T)$ over a number field $k$ via Ono's formula $τ(T)=|H^1(k,\widehat{T})|/|Sha(T)|$.

math.AG↗

arXiv2021

A two-dimensional rationality problem and intersections of two quadrics

Let $k$ be a field with char $k\neq 2$ and $k$ be not algebraically closed. Let $a\in k\setminus k^2$ and $L=k(\sqrt{a})(x,y)$ be a field extension of $k$ where $x,y$ are algebraically independent over $k$. Assume that $σ$ is a $k$-automorphism on $L$ defined by \[ σ: \sqrt{a}\mapsto -\sqrt{a},\ x\mapsto \frac{b}{x},\ y\mapsto \frac{c(x+\frac{b}{x})+d}{y} \] where $b,c,d \in k$, $b\neq 0$ and at least one of $c,d$ is non-zero. Let $L^{\langleσ\rangle}=\{u\in L:σ(u)=u\}$ be the fixed subfield of $L$. We show that $L^{\langleσ\rangle}$ is isomorphic to the function field of a certain surface in $P^4_k$ which is given as the intersection of two quadrics. We give criteria for the $k$-rationality of $L^{\langleσ\rangle}$ by using the Hilbert symbol. As an appendix of the paper, we also give an alternative geometric proof of a part of the result which is provided to the authors by J.-L. Colliot-Thélène.

math.AG↗

arXiv2019

An application of cohomological invariants

Let $G$ be a finite group, $k$ be a field and $G\to GL(V_{\rm reg})$ be the regular representation of $G$ over $k$. Then $G$ acts naturally on the rational function field $k(V_{\rm reg})$ by $k$-automorphisms. Define $k(G)$ to be the fixed field $k(V_{\rm reg})^G$. Noether's problem asks whether $k(G)$ is rational (resp. stably rational) over $k$. When $k=\bQ$ and $G$ contains a normal subgroup $N$ with $G/H\simeq C_8$ (the cyclic group of order $8$), Jack Sonn proves that $\bQ(G)$ is not stably rational over $\bQ$, which is a non-abelian extension of a theorem of Endo-Miyata, Voskresenskii, Lenstra and Saltman for the abelian Noether's problem $\bQ(C_8)$. Using the method of cohomological invariants, we are able to generalize Sonn's theorem as follows. Theorem. Let $G$ be a finite group and $N$ $\lhd$ $G$ such that $G/N\simeq C_{2^n}$ with $n\geq 3$. If $k$ is a field satisfying that ${\rm char}\,k=0$ and $k(ζ_{2^n})/k$ is not a cyclic extension where $ζ_{2^n}$ is a primitive $2^n$-th root of unity, then $k(G)$ is not stably rational (resp. not retract rational) over $k$. \end{abstract}

math.AG↗

arXiv2019

Degree three unramified cohomology groups and Noether's problem for groups of order $243$

Let $k$ be a field and $G$ be a finite group acting on the rational function field $k(x_g : g\in G)$ by $k$-automorphisms defined as $h(x_g)=x_{hg}$ for any $g,h\in G$. We denote the fixed field $k(x_g : g\in G)^G$ by $k(G)$. Noether's problem asks whether $k(G)$ is rational (= purely transcendental) over $k$. It is well-known that if $C(G)$ is stably rational over $C$, then all the unramified cohomology groups $H_[nr}^i(C(G),Q/Z)=0$ for $i \ge 2$. Hoshi, Kang and Kunyavskii [HKK] showed that, for a $p$-group of order $p^5$ ($p$: an odd prime number), $H_[nr}^2(C(G),Q/Z)\neq 0$ if and only if $G$ belongs to the isoclinism family $Φ_{10}$. When $p$ is an odd prime number, Peyre [Pe3] and Hoshi, Kang and Yamasaki [HKY1] exhibit some $p$-groups $G$ which are of the form of a central extension of certain elementary abelian $p$-group by another one with $H_[nr}^2(C(G),Q/Z)=0$ and $H_[nr}^3(C(G),Q/Z)\neq 0$. However, it is difficult to tell whether $H_[nr}^3(C(G),Q/Z)$ is non-trivial if $G$ is an arbitrary finite group. In this paper, we are able to determine $H_[nr}^3(C(G),Q/Z)$ where $G$ is any group of order $p^5$ with $p=3, 5, 7$. Theorem 1. Let $G$ be a group of order $3^5$. Then $H_[nr}^3(C(G),Q/Z)\neq 0$ if and only if $G$ belongs to $Φ_7$. Theorem 2. If $G$ is a group of order $3^5$, then the fixed field $C(G)$ is rational if and only if $G$ does not belong to $Φ_{7}$ and $Φ_{10}$. Theorem 3. Let $G$ be a group of order $5^5$ or $7^5$. Then $H_[nr}^3(C(G),Q/Z)\neq 0$ if and only if $G$ belongs to $Φ_6$, $Φ_7$ or $Φ_{10}$. Theorem 4. If $G$ is the alternating group $A_n$, the Mathieu group $M_{11}$, $M_{12}$, the Janko group $J_1$ or the group $PSL_2(F_q)$, $SL_2(F_q)$, $PGL_2(F_q)$ (where $q$ is a prime power), then $H_[nr}^d(C(G),Q/Z)=0$ for any $d\ge 2$. Besides the degree three unramified cohomology groups, we compute also the stable cohomology groups.

math.AG↗

arXiv2019

Rationality problem for norm one tori in small dimensions

We classify stably/retract rational norm one tori in dimension $n-1$ for $n=2^e$ $(e\geq 1)$ is a power of $2$ and $n=12, 14, 15$. Retract non-rationality of norm one tori for primitive $G\leq S_{2p}$ where $p$ is a prime number and for the five Mathieu groups $M_n\leq S_n$ $(n=11,12,22,23,24)$ is also given.

math.AG↗

arXiv2019

Rationality problem for norm one tori

We classify stably/retract rational norm one tori in dimension $p-1$ where $p$ is a prime number and in dimension up to ten with some minor exceptions.

math.AG↗

arXiv2018

Multiplicative Invariant Fields of Dimension \le 6

The finite subgroups of $GL_4(\bm{Z})$ are classified up to conjugation in \cite{BBNWZ}; in particular, there exist $710$ non-conjugate finite groups in $GL_4(\bm{Z})$. Each finite group $G$ of $GL_4(\bm{Z})$ acts naturally on $\bm{Z}^{\oplus 4}$; thus we get a faithful $G$-lattice $M$ with ${\rm rank}_\bm{Z} M=4$. In this way, there are exactly $710$ such lattices. Given a $G$-lattice $M$ with ${\rm rank}_\bm{Z} M=4$, the group $G$ acts on the rational function field $\bm{C}(M):=\bm{C}(x_1,x_2,x_3,x_4)$ by multiplicative actions, i.e. purely monomial automorphisms over $\bm{C}$. We are concerned with the rationality problem of the fixed field $\bm{C}(M)^G$. A tool of our investigation is the unramified Brauer group of the field $\bm{C}(M)^G$ over $\bm{C}$. A formula of the unramified Brauer group ${\rm Br}_u(\bm{C}(M)^G)$ for the multiplicative invariant field was found by Saltman in 1990. However, to calculate ${\rm Br}_u(\bm{C}(M)^G)$ for a specific multiplicatively invariant field requires additional efforts, even when the lattice $M$ is of rank equal to $4$. Theorem 1. Among the $710$ finite groups $G$, let $M$ be the associated faithful $G$-lattice with ${\rm rank}_\bm{Z} M=4$, there exist precisely $5$ lattices $M$ with ${\rm Br}_u(\bm{C}(M)^G)\neq 0$. In these situations, $B_0(G)=0$ and thus ${\rm Br}_u(\bm{C}(M)^G)\subset H^2(G,M)$. The {\rm GAP IDs} of the five groups $G$ are {\rm (4,12,4,12), (4,32,1,2), (4,32,3,2), (4,33,3,1), (4,33,6,1)} in {\rm \cite{BBNWZ}} and in {\rm \cite{GAP}}. Theorem 2. There exist $6079$ finite subgroups $G$ in $GL_5(\bm{Z})$. Let $M$ be the lattice with rank $5$ associated to each group $G$. Among these lattices precisely $46$ of them satisfy the condition ${\rm Br}_u(\bm{C}(M)^G)\neq 0$. A similar result for lattices of rank $6$ is found also.

math.AG↗

arXiv2017

Rationality problems for relation modules of dihedral groups

Let D_n be the dihedral group of order 2n where n \ge 2, 1 \to R \to F \to D_n \to 1 be a free presentation of D_n. R^{ab}:=R/[R,R] becomes a \bm{Z}[D_n]-lattice. We will study the module structure and the rationality problem of R^{ab}.

math.NT↗

arXiv2017

Rationality problem for algebraic tori

We give the complete stably rational classification of algebraic tori of dimensions $4$ and $5$ over a field $k$. In particular, the stably rational classification of norm one tori whose Chevalley modules are of rank $4$ and $5$ is given. We show that there exist exactly $487$ (resp. $7$, resp. $216$) stably rational (resp. not stably but retract rational, resp. not retract rational) algebraic tori of dimension $4$, and there exist exactly $3051$ (resp. $25$, resp. $3003$) stably rational (resp. not stably but retract rational, resp. not retract rational) algebraic tori of dimension $5$. We make a procedure to compute a flabby resolution of a $G$-lattice effectively by using the computer algebra system GAP. Some algorithms may determine whether the flabby class of a $G$-lattice is invertible (resp. zero) or not. Using the algorithms, we determine all the flabby and coflabby $G$-lattices of rank up to $6$ and verify that they are stably permutation. We also show that the Krull-Schmidt theorem for $G$-lattices holds when the rank $\leq 4$, and fails when the rank is $5$. Indeed, there exist exactly $11$ (resp. $131$) $G$-lattices of rank $5$ (resp. $6$) which are decomposable into two different ranks. Moreover, when the rank is $6$, there exist exactly $18$ $G$-lattices which are decomposable into the same ranks but the direct summands are not isomorphic. We confirm that $H^1(G,F)=0$ for any Bravais group $G$ of dimension $n\leq 6$ where $F$ is the flabby class of the corresponding $G$-lattice of rank $n$. In particular, $H^1(G,F)=0$ for any maximal finite subgroup $G\leq {\rm GL}(n,\mathbb{Z})$ where $n\leq 6$. As an application of the methods developed, some examples of not retract (stably) rational fields over $k$ are given.

math.AG↗