Searcharxiv⌕ Search

arXiv subjects

Hidetaka Kitayama

Publications and source records attributed to Hidetaka Kitayama.

7 recordsLinked to original sources
arXiv2023

Rationality problem of two-dimensional quasi-monomial group actions

The rationality problem of two-dimensional purely quasi-monomial actions was solved completely by Hoshi, Kang and Kitayama [HKK]. As a generalization, we solve the rationality problem of two-dimensional quasi-monomial actions under the condition that the actions are defined within the base field. In order to prove the theorem, we give a brief review of the Severi-Brauer variety with some examples and rationality results. We also use a rationality criterion for conic bundles of $\mathbb{P}^1$ over non-closed fields.

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↗
arXiv2017

Three-dimensional purely quasi-monomial actions

Let $G$ be a finite subgroup of $\mathrm{Aut}_k(K(x_1, \ldots, x_n))$ where $K/k$ is a finite field extension and $K(x_1,\ldots,x_n)$ is the rational function field with $n$ variables over $K$. The action of $G$ on $K(x_1, \ldots, x_n)$ is called quasi-monomial if it satisfies the following three conditions (i) $σ(K)\subset K$ for any $σ\in G$; (ii) $K^G=k$ where $K^G$ is the fixed field under the action of $G$; (iii) for any $σ\in G$ and $1 \leq j \leq n$, $σ(x_j)=c_j(σ)\prod_{i=1}^n x_i^{a_{ij}}$ where $c_j(σ)\in K^\times$ and $[a_{i,j}]_{1\le i,j \le n} \in GL_n(\mathbb{Z})$. A quasi-monomial action is called purely quasi-monomial if $c_j(σ)=1$ for any $σ\in G$, any $1\le j\le n$. When $k=K$, a quasi-monomial action is called monomial. The main problem is that, under what situations, $K(x_1,\ldots,x_n)^G$ is rational (= purely transcendental) over $k$. For $n=1$, the rationality problem was solved by Hoshi, Kang and Kitayama. For $n=2$, the problem was solved by Hajja when the action is monomial, by Voskresenskii when the action is faithful on $K$ and purely quasi-monomial, which is equivalent to the rationality problem of $n$-dimensional algebraic $k$-tori which split over $K$, and by Hoshi, Kang and Kitayama when the action is purely quasi-monomial. For $n=3$, the problem was solved by Hajja, Kang, Hoshi and Rikuna when the action is purely monomial, by Hoshi, Kitayama and Yamasaki when the action is monomial except for one case and by Kunyavskii when the action is faithful on $K$ and purely quasi-monomial. In this paper, we determine the rationality when $n=3$ and the action is purely quasi-monomial except for few cases. As an application, we will show the rationality of some $5$-dimensional purely monomial actions which are decomposable.

math.AG↗
arXiv2011

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.

math.AG↗
arXiv2010

An explicit dimension formula for Siegel cusp forms with respect to the non-split symplectic groups

The purpose of this paper is to give an explicit dimension formula for the spaces of vector valued Siegel cusp forms of degree two with respect to a certain kind of arithmetic subgroups of the non-split Q-forms of Sp(2,R). We obtain our result by using Hashimoto and Ibukiyama's results in [HI80],[HI83] and Wakatsuki's formula in [Wak]. Our result is a generalization of formulae in [Has84,Theorem 4.1] and [Wak,Theorem 6.1].

math.NT↗