BZPEER

preprint2022arXiv

Davenport and Hasse's theorems and lifts of multiplication matrices of Gaussian periods

Let $e \geq 2$ be an integer, $p^r$ be a prime power with $p^r \equiv 1\ ({\rm mod}\ e)$ and $η_r(i)$ be Gaussian periods of degree $e$ for ${\mathbb F}_{p^r}$ . By the dual form of Davenport and Hasse's lifting theorem on Gauss sums, we establish lifts of the multiplication matrices of the Gaussian periods $η_r(0),\ldots,η_r(e-1)$ which are defined by F. Thaine. We also give some examples of the explicit lifts for prime degree $e$ with $3\leq e\leq 23$ which also illustrate relations among lifts of Jacobi sums, Gaussian periods and multiplication matrices of Gaussian periods.

preprint2022arXiv

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)|$ .

preprint2020arXiv

On Lecacheux's family of quintic polynomials

Kida, Rikuna and Sato [KRS10] developed a classification theory for Brumer's quintic polynomials via Kummer theory arising from associated elliptic curves. We generalize their results to elliptic curves associated to Lecacheux's quintic $F_{20}$ -polynomials instead of Brumer's quintic $D_5$ -polynomials.

preprint2015arXiv

Degree Three Unramified Cohomology Groups

Let $p$ be an odd prime number. Peyre shows that there is a group $G$ of order $p^{12}$ such that $H_{nr}^3(\bm{C}(G), \bm{Q}/\bm{Z})$ is non-trivial. Using Peyre's method, we are able to prove that the same conclusion is true for some groups of order $p^9$ .

preprint2014arXiv

Birational classification of fields of invariants for groups of order $128$

Let $G$ be a finite group acting on the rational function field $\mathbb{C}(x_g : g\in G)$ by $\mathbb{C}$ -automorphisms $h(x_g)=x_{hg}$ for any $g,h\in G$ . Noether's problem asks whether the invariant field $\mathbb{C}(G)=k(x_g : g\in G)^G$ is rational (i.e. purely transcendental) over $\mathbb{C}$ . Saltman and Bogomolov, respectively, showed that for any prime $p$ there exist groups $G$ of order $p^9$ and of order $p^6$ such that $\mathbb{C}(G)$ is not rational over $\mathbb{C}$ by showing the non-vanishing of the unramified Brauer group: $Br_{nr}(\mathbb{C}(G))\neq 0$ . For $p=2$ , Chu, Hu, Kang and Prokhorov proved that if $G$ is a 2-group of order $\leq 32$ , then $\mathbb{C}(G)$ is rational over $\mathbb{C}$ . Chu, Hu, Kang and Kunyavskii showed that if $G$ is of order 64, then $\mathbb{C}(G)$ is rational over $\mathbb{C}$ except for the groups $G$ belonging to the two isoclinism families $Φ_{13}$ and $Φ_{16}$ . Bogomolov and Böhning's theorem claims that if $G_1$ and $G_2$ belong to the same isoclinism family, then $\mathbb{C}(G_1)$ and $\mathbb{C}(G_2)$ are stably $\mathbb{C}$ -isomorphic. We investigate the birational classification of $\mathbb{C}(G)$ for groups $G$ of order 128 with $Br_{nr}(\mathbb{C}(G))\neq 0$ . Moravec showed that there exist exactly 220 groups $G$ of order 128 with $Br_{nr}(\mathbb{C}(G))\neq 0$ forming 11 isoclinism families $Φ_j$ . We show that if $G_1$ and $G_2$ belong to $Φ_{16}, Φ_{31}, Φ_{37}, Φ_{39}, Φ_{43}, Φ_{58}, Φ_{60}$ or $Φ_{80}$ (resp. $Φ_{106}$ or $Φ_{114}$ ), then $\mathbb{C}(G_1)$ and $\mathbb{C}(G_2)$ are stably $\mathbb{C}$ -isomorphic with $Br_{nr}(\mathbb{C}(G_i))\simeq C_2$ . Explicit structures of non-rational fields $\mathbb{C}(G)$ are given for each cases including also the case $Φ_{30}$ with $Br_{nr}(\mathbb{C}(G))\simeq C_2\times C_2$ .

preprint2014arXiv

Class Numbers and Algebraic Tori

Let $p$ be an odd prime number, $D_p$ be the dihedral group of order $2p$ , $h_p$ and $h^+_p$ be the class numbers of $\bm{Q}(ζ_p)$ and $\bm{Q}(ζ_p+ ζ_p^{-1})$ respectively. Theorem. $h_p^+=1$ if and only if, for any field $k$ admitting a $D_p$ -extension, all the algebraic $D_p$ -tori over $k$ are stably rational. A similar result for $h_p=1$ and $C_p$ -tori is valid also.

preprint2014arXiv

Noether's problems for groups of order 243

Let $k$ be any field, $G$ be a finite group. Let $G$ act on the rational function field $k(x_g:g\in G)$ by $k$ -automorphisms defined by $h\cdot x_g=x_{hg}$ for any $g,h\in G$ . Denote by $k(G)=k(x_g:g\in G)^G$ the fixed field. Noether's problem asks, under what situations, the fixed field $k(G)$ will be rational (= purely transcendental) over $k$ . According to the data base of GAP there are $10$ isoclinism families for groups of order $243$ . It is known that there are precisely $3$ groups $G$ of order $243$ (they consist of the isoclinism family $Φ_{10}$ ) such that the unramified Brauer group of $\bm{C}(G)$ over $\bm{C}$ is non-trivial. Thus $\bm{C}(G)$ is not rational over $\bm{C}$ . We will prove that, if $ζ_9 \in k$ , then $k(G)$ is rational over $k$ for groups of order $243$ other than these $3$ groups, except possibly for groups belonging to the isoclinism family $Φ_7$ .

preprint2014arXiv

On Noether's problem for cyclic groups of prime order

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 $h(x_g)=x_{hg}$ for any $g,h\in G$ . Noether's problem asks whether the invariant field $k(G)=k(x_g\,|\,g\in G)^G$ is rational (i.e. purely transcendental) over $k$ . In 1974, Lenstra gave a necessary and sufficient condition to this problem for abelian groups $G$ . However, even for the cyclic group $C_p$ of prime order $p$ , it is unknown whether there exist infinitely many primes $p$ such that $\mathbb{Q}(C_p)$ is rational over $\mathbb{Q}$ . Only known $17$ primes $p$ for which $\mathbb{Q}(C_p)$ is rational over $\mathbb{Q}$ are $p\leq 43$ and $p=61,67,71$ . We show that for primes $p< 20000$ , $\mathbb{Q}(C_p)$ is not (stably) rational over $\mathbb{Q}$ except for affirmative $17$ primes and undetermined $46$ primes. Under the GRH, the generalized Riemann hypothesis, we also confirm that $\mathbb{Q}(C_p)$ is not (stably) rational over $\mathbb{Q}$ for undetermined $28$ primes $p$ out of $46$ .

preprint2014arXiv

Rationality problem for quasi-monomial actions

We give a short survey of the rationality problem for quasi-monomial actions which includes Noether's problem and the rationality problem for algebraic tori, and report some results on rationality problem in three recent papers Hoshi, Kang and Kitayama [HKKi], Hoshi, Kang and Kunyavskii [HKKu] and Hoshi and Yamasaki [HY].

preprint2012arXiv

Noether's problem and unramified Brauer groups

Let $k$ be any field, $G$ be a finite group acing on the rational function field $k(x_g:g\in G)$ by $h\cdot x_g=x_{hg}$ for any $h,g\in G$ . Define $k(G)=k(x_g:g\in G)^G$ . Noether's problem asks whether $k(G)$ is rational (= purely transcendental) over $k$ . It is known that, if $\bm{C}(G)$ is rational over $\bm{C}$ , then $B_0(G)=0$ where $B_0(G)$ is the unramified Brauer group of $\bm{C}(G)$ over $\bm{C}$ . Bogomolov showed that, if $G$ is a $p$ -group of order $p^5$ , then $B_0(G)=0$ . This result was disproved by Moravec for $p=3,5,7$ by computer calculations. We will prove the following theorem. Theorem. Let $p$ be any odd prime number, $G$ be a group of order $p^5$ . Then $B_0(G)\ne 0$ if and only if $G$ belongs to the isoclinism family $Φ_{10}$ in R. James's classification of groups of order $p^5$ .

preprint2011arXiv

On correspondence between solutions of a family of cubic Thue equations and isomorphism classes of the simplest cubic fields

Let $m\geq -1$ be an integer. We give a correspondence between integer solutions to the parametric family of cubic Thue equations $X^3-mX^2Y-(m+3)XY^2-Y^3=λ$ where $λ>0$ is a divisor of $m^2+3m+9$ and isomorphism classes of the simplest cubic fields. By the correspondence and R. Okazaki's result, we determine the exactly 66 non-trivial solutions to the Thue equations for positive divisors $λ$ of $m^2+3m+9$ . As a consequence, we obtain another proof of Okazaki's theorem which asserts that the simplest cubic fields are non-isomorphic to each other except for $m=-1,0,1,2,3,5,12,54,66,1259,2389$ .

preprint2011arXiv

Rationality problem of three-dimensional monomial group actions

Let $K$ be a field of characteristic not two and $K(x,y,z)$ the rational function field over $K$ with three variables $x,y,z$ . Let $G$ be a finite group of acting on $K(x,y,z)$ by monomial $K$ -automorphisms. We consider the rationality problem of the fixed field $K(x,y,z)^G$ under the action of $G$ , namely whether $K(x,y,z)^G$ is rational (that is, purely transcendental) over $K$ or not. We may assume that $G$ is a subgroup of $\mathrm{GL}(3,\mathbb{Z}) and the problem is determined up to conjugacy in$ \mathrm{GL}(3,\mathbb{Z}) $. There are 73 conjugacy classes of$ G $in$ \mathrm{GL}(3,\mathbb{Z}) $. By results of Endo-Miyata, Voskresenski\uı, Lenstra, Saltman, Hajja, Kang and Yamasaki, 8 conjugacy classes of 2-groups in$ \mathrm{GL}(3,\mathbb{Z}) $have negative answers to the problem under certain monomial actions over some base field$ K $, and the necessary and sufficient condition for the rationality of$ K(x,y,z)^G $over$ K $is given. In this paper, we show that the fixed field$ K(x,y,z)^G $under monomial action of$ G $is rational over$ K $except for possibly negative 8 cases of 2-groups and unknown one case of the alternating group of degree four. Moreover we give explicit transcendental bases of the fixed fields over$ K $. For unknown case, we obtain an affirmative solution to the problem under some conditions. In particular, we show that if$ K $is quadratically closed field then$ K(x,y,z)^G $is rational over$ K$. We also give an application of the result to 4-dimensional linear Noether's problem.

preprint2011arXiv

Unramified Brauer groups for groups of order p^5

Let $k$ be any field, $G$ be a finite group acting on the rational function field $k(x_g : g\in G)$ by $h\cdot x_g=x_{hg}$ for any $h,g\in G$ . Define $k(G)=k(x_g : g\in G)^G$ . Noether's problem asks whether $k(G)$ is rational (= purely transcendental) over $k$ . It is known that, if $\bC(G)$ is rational over $\bC$, then $B_0(G)=0$ where $B_0(G)$ is the unramified Brauer group of $\bC(G)$ over $\bC$. Bogomolov showed that, if $G$ is a $p$ -group of order $p^5$ , then $B_0(G)=0$ . This result was disproved by Moravec for $p=3,5,7$ by computer computing. We will give a theoretic proof of the following theorem (i.e. by the traditional bare-hand proof without using computers). Theorem. Let $p$ be any odd prime number. Then there is a group $G$ of order $p^5$ satisfying $B_0(G)\neq 0$ and $G/[G,G] \simeq C_p \times C_p$ . In particular, $\bC(G)$ is not rational over $\bC$.

preprint2010arXiv

On the simplest quartic fields and related Thue equations

Let $K$ be a field of char $K\neq 2$ . For $a\in K$ , we give an explicit answer to the field isomorphism problem of the simplest quartic polynomial $X^4-aX^3-6X^2+aX+1$ over $K$ as the special case of the field intersection problem via multi-resolvent polynomials. From this result, over an infinite field $K$ , we see that the polynomial gives the same splitting field over $K$ for infinitely many values $a$ of $K$ . We also see by Siegel's theorem for curves of genus zero that only finitely many algebraic integers $a\in\mathcal{O}_K$ in a number field $K$ may give the same splitting field. By applying the result over the field $\mathbb{Q}$ of rational numbers, we establish a correspondence between primitive solutions to the parametric family of quartic Thue equations $X^4-mX^3Y-6X^2Y^2+mXY^3+Y^4=c,$ where $m\in\mathbb{Z}$ is a rational integer and $c$ is a divisor of $4(m^2+16)$ , and isomorphism classes of the simplest quartic fields.

preprint2010arXiv

On the simplest sextic fields and related Thue equations

We consider the parametric family of sextic Thue equations $x^6-2mx^5y-5(m+3)x^4y^2-20x^3y^3+5mx^2y^4+2(m+3)xy^5+y^6=λ$ where $m\in\mathbb{Z}$ is an integer and $λ$ is a divisor of $27(m^2+3m+9)$ . We show that the only solutions to the equations are the trivial ones with $xy(x+y)(x-y)(x+2y)(2x+y)=0$ .

Akinari Hoshi

Research overview

Is this your work?

15 publications

Davenport and Hasse's theorems and lifts of multiplication matrices of Gaussian periods

Norm one tori and Hasse norm principle

On Lecacheux's family of quintic polynomials

Degree Three Unramified Cohomology Groups

Birational classification of fields of invariants for groups of order $128$

Class Numbers and Algebraic Tori

Noether's problems for groups of order 243

On Noether's problem for cyclic groups of prime order

Rationality problem for quasi-monomial actions

Noether's problem and unramified Brauer groups

On correspondence between solutions of a family of cubic Thue equations and isomorphism classes of the simplest cubic fields

Rationality problem of three-dimensional monomial group actions

Unramified Brauer groups for groups of order p^5

On the simplest quartic fields and related Thue equations

On the simplest sextic fields and related Thue equations

See the researcher in context

Building this map preview

Akinari Hoshi

Research overview

Is this your work?

15 publications

Davenport and Hasse's theorems and lifts of multiplication matrices of Gaussian periods

Norm one tori and Hasse norm principle

On Lecacheux's family of quintic polynomials

Degree Three Unramified Cohomology Groups

Birational classification of fields of invariants for groups of order 128128128

Class Numbers and Algebraic Tori

Noether's problems for groups of order 243

On Noether's problem for cyclic groups of prime order

Rationality problem for quasi-monomial actions

Noether's problem and unramified Brauer groups

On correspondence between solutions of a family of cubic Thue equations and isomorphism classes of the simplest cubic fields

Rationality problem of three-dimensional monomial group actions

Unramified Brauer groups for groups of order p^5

On the simplest quartic fields and related Thue equations

On the simplest sextic fields and related Thue equations

See the researcher in context

Building this map preview

Birational classification of fields of invariants for groups of order $128$