Source author record

Kazuki Kanai

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
2topics
2close collaborators

Published work

2 publications

preprint2022arXiv

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

Let e≥2e \geq 2 be an integer, prp^r be a prime power with pr≡1 (mod e)p^r \equiv 1\ ({\rm mod}\ e) and ηr(i)η_r(i) be Gaussian periods of degree ee for Fpr{\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),…,ηr(e−1)η_r(0),\ldots,η_r(e-1) which are defined by F. Thaine. We also give some examples of the explicit lifts for prime degree ee with 3≤e≤233\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 kk be a field and TT be an algebraic kk-torus. In 1969, over a global field kk, Voskresenskii proved that there exists an exact sequence 0→A(T)→H1(k,Pic X‾)∨→Sha(T)→00\to A(T)\to H^1(k,{\rm Pic}\,\overline{X})^\vee\to Sha(T)\to 0 where A(T)A(T) is the kernel of the weak approximation of TT, Sha(T)Sha(T) is the Shafarevich-Tate group of TT, XX is a smooth kk-compactification of TT, X‾=X×kk‾\overline{X}=X\times_k\overline{k}, Pic X‾{\rm Pic}\,\overline{X} is the Picard group of X‾\overline{X} and ∨\vee stands for the Pontryagin dual. On the other hand, in 1963, Ono proved that for the norm one torus T=RK/k(1)(Gm)T=R^{(1)}_{K/k}(G_m) of K/kK/k, Sha(T)=0Sha(T)=0 if and only if the Hasse norm principle holds for K/kK/k. First, we determine H1(k,Pic X‾)H^1(k,{\rm Pic}\, \overline{X}) for algebraic kk-tori TT up to dimension 55. Second, we determine H1(k,Pic X‾)H^1(k,{\rm Pic}\, \overline{X}) for norm one tori T=RK/k(1)(Gm)T=R^{(1)}_{K/k}(G_m) with [K:k]=n≤15[K:k]=n\leq 15 and n≠12n\neq 12. We also show that H1(k,Pic X‾)=0H^1(k,{\rm Pic}\, \overline{X})=0 for T=RK/k(1)(Gm)T=R^{(1)}_{K/k}(G_m) when the Galois group of the Galois closure of K/kK/k is the Mathieu group Mn≤SnM_n\leq S_n with n=11,12,22,23,24n=11,12,22,23,24. Third, we give a necessary and sufficient condition for the Hasse norm principle for K/kK/k with [K:k]=n≤15[K:k]=n\leq 15 and n≠12n\neq 12. As applications of the results, we get the group T(k)/RT(k)/R of RR-equivalence classes over a local field kk via Colliot-Thélène and Sansuc's formula and the Tamagawa number τ(T)τ(T) over a number field kk via Ono's formula τ(T)=∣H1(k,T^)∣/∣Sha(T)∣τ(T)=|H^1(k,\widehat{T})|/|Sha(T)|.

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.