BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Akinari Hoshi

Akinari Hoshi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.AGmath.AC

Catalog footprint

What is connected

15works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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)|$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access