arXiv subjects

Yasuhiro Oki

Publications and source records attributed to Yasuhiro Oki.

13 recordsLinked to original sources

arXiv2026

The rationality problem for multinorm one tori, II

We investigate the stable and retract rationality of multinorm one tori associated to finite {\'e}tale algebras. Our results are organized according to the greatest common divisor $d$ of the degrees of the factors. We show that these tori are stably rational for $d=1$, and obtain a criterion for retract rationality that can be attributed to our previous results. For $d>1$, we provide sufficient conditions for the failure of retract rationality. We further generalize results of Endo--Miyata (1975) and Endo (2011) by giving an equivalent condition for multinorm one tori to be stably rational under the assumption that they split over Galois extensions with Galois groups in which all Sylow subgroups are cyclic. A similar result also holds when they split over dihedral Galois extensions.

math.AG↗

arXiv2025

Hasse norm principle for extensions of prime squared degree

We give an equivalent condition for the validity of the Hasse norm principle for finite separable extensions of prime squared degree of global fields. Our theorem recovers the result of Drakokhrust--Platonov, which claims that the Hasse norm principle holds for adequate extensions of prime squared degree.

math.NT↗

arXiv2025

The Hasse norm principle for some extensions of degree having square-free prime factors

We determine the structure of the obstruction group of the Hasse norm principle for a finite separable extension $K/k$ of a global field of degree $d$, where $d$ has a square-free prime factor $p$ and a $p$-Sylow subgroup of the Galois group $G$ of the Galois closure of $K/k$ is normal in $G$. Specifically, we give a partial classification of the validity of the Hasse norm principle for $K/k$ in the case where (1) $[K:k]=p\ell$ where $p$ and $\ell$ are two distinct prime numbers; or (2) $[K:k]=4p$ where $p$ is an odd prime. The result (1) gives infinitely many new existences of finite extensions of arbitrary number fields for which the Hasse norm principle fail. Furthermore, we prove that there exist infinitely many separable extensions of square-free degree for which the exponents of the obstruction groups to the Hasse norm principle are not prime powers.

math.NT↗

arXiv2025

The rationality problem for multinorm one tori

In this paper, we study the rationality problem for multinorm one tori, a natural generalization of norm one tori. For multinorm one tori that split over finite Galois extensions with nilpotent Galois group, we prove that stable rationality and retract rationality are equivalent, and give a criterion for the validity of the above two conditions. This generalizes the result of Endo (2011) on the rationality problem for norm one tori. To accomplish it, we introduce a generalization of character groups of multinorm one tori. Moreover, we establish systematic reduction methods originating in work of Endo (2001) for an investigation of the rationality problem for arbitrary multinorm one tori. In addition, we provide a new example for which the multinorm principle holds.

math.AG↗

arXiv2023

Cohomological properties of multinorm-one tori

In this paper we investigate the Tate--Shafarevich group Sha^1(k, T) of a multinorm-one torus $T$ over a global field $k$. We establish a few functorial maps among cohomology groups and explore their relations. Using these properties and relations we obtain a few basic structural results for Sha^1(k, T) and extend a few results of Bayer-Fluckiger--Lee--Parimala [Adv. in Math., 2019] to some more general multinorm-one tori. We also give a uniform proof of a result of Demarche--Wei for a criterion of the vanishing of Sha^1(k, T), and of the main result of Pollio [Pure App. Math. Q., 2014] for the case where the \'etale $k$-algebra in question is a product of two abelian extensions. Moreover, we improve the explicit description of Sha^1(k, T) in Lee [J. Pure Appl. Alg., 2022] by removing an intersection condition.

math.NT↗

arXiv2023

The Hasse norm principle for some non-Galois extensions of square-free degree

In this paper, we study the Hasse norm principle for some non-Galois extensions of number fields. Our main theorem is that for any square-free composite number $d$ which is divisible by at least one of $3$, $55$, $91$ or $95$, there exists a finite extension of degree $d$ for which the Hasse norm principle fails. To accomplish it, we determine the structure of the Tate--Shafarevich groups of norm one tori for finite extensions of degree $d$ under the normality of $p$-Sylow subgroups of the Galois groups of their Galois closures for a square-free prime factor $p$ of $d$. Moreover, we reduce the assertion to an investigation of $2$-dimensional $\mathbb{F}_p$-representations of some groups of order coprime to $p$.

math.NT↗

arXiv2022

Note on Tamagawa numbers of tori attached to CM algebras

We prove that any integer power of $2$ can be realized as the Tamagawa number of a torus attached to a CM algebra considered by Guo Sheu Yu and Liang Yang Yu. Such a result is obtained by Liang Yang Yu under assuming "a generalized Landau conjecture". The main contribution of this paper is to remove the above assumption.

math.NT↗

arXiv2022

On Tamagawa numbers of CM tori

In this article we investigate the problem of computing Tamagawa numbers of CM tori. This problem arises naturally from the problem of counting polarized abelian varieties with commutative endomorphism algebras over finite fields, and polarized CM abelian varieties and components of unitary Shimura varieties in the works of Achter--Altug--Garcia--Gordon and of Guo--Sheu--Yu, respectively. We make a systematic study on Galois cohomology groups in a more general setting and compute the Tamagawa numbers of CM tori associated to various Galois CM fields. Furthermore, we show that every (positive or negative) power of $2$ is the Tamagawa number of a CM tori, proving the analogous conjecture of Ono for CM tori.

math.NT↗

arXiv2021

On the supersingular locus of the Shimura variety for $\mathrm{GU}(2,2)$ over a ramified prime

We study the structure of the supersingular locus of the Rapoport--Zink integral model of the Shimura variety for $\mathrm{GU}(2,2)$ over a ramified odd prime with the special maximal parahoric level. We prove that the supersingular locus equals the disjoint union of two basic loci, one of which is contained in the flat locus, and the other is not. We also describe explicitly the structures of basic loci. More precisely, the former one is purely $2$-dimensional, and each irreducible component is birational to the Fermat surface. On the other hand, the latter one is purely $1$-dimensional, and each irreducible component is birational to the projective line.

math.NT↗

arXiv2021

On the connected components of Shimura varieties for CM unitary groups in odd variables

We study the prime-to-$p$ Hecke action on the projective limit of the sets of connected components of Shimura varieties with fixed parahoric or Bruhat--Tits level at $p$. In particular, we construct infinitely many Shimura varieties for CM unitary groups in odd variables for which the considering actions are not transitive. We prove this result by giving negative examples on the question of Bruhat--Colliot-Thélène--Sansuc--Tits or its variant, which is related to the weak approximation on tori over $\mathbb{Q}$.

math.NT↗

arXiv2020

Notes on Rapoport--Zink spaces of Hodge type with parahoric level structure

In this article, we treat two questions on Rapoport--Zink spaces of Hodge type constructed by Hamacher and Kim. One of which is their singularities, and the other is $p$-adic uniformization of Shimura varieties. More precisely, we prove that the singularity of a Rapoport--Zink space is controlled by its asssociated local model, and the basic locus of a Kisin--Pappas integral model of a Shimura variety is uniformized by the corresponding Rapoport--Zink space. These results extend the known facts by Rapoport and Zink in the case of PEL type.

math.NT↗

arXiv2020

Rapoport--Zink spaces for spinor groups with special maximal parahoric level structure

In this article, we give a concrete description of the underlying reduced subscheme of the Rapoport--Zink spaces for spinor similitude groups with special maximal parahoric (and non-hyperspecial) level structure. Moreover, we give two applications of the above result. One of which is describing the structure of the basic loci of mod $p$ reductions of Kisin--Pappas integral models of Shimura varieties for spinor similitude groups with special maximal parahoric level structure at $p$. The other is constructing a variant of the result of He, Li and Zhu, which gives a formula on the intersection multiplicity of the GGP cycles associated codimension $1$ embeddings of Rapoport--Zink spaces for spinor similitude groups.

math.NT↗

arXiv2020

On supersingular loci of Shimura varieties for quaternionic unitary groups of degree $2$

We describe the structure of the supersingular locus of a Shimura variety for a quaternionic unitary similitude group of degree $2$ over a ramified odd prime $p$ if the level at $p$ is given by a special maximal compact open subgroup. More precisely, we show that such a locus has purely $2$-dimensional, and every irreducible component is birational to the Fermat surface. Furthermore, we have an estimation of the numbers of connected and irreducible components. To prove these assertions, we completely determine the structure of the underlying reduced scheme of the Rapoport--Zink space for the quaternionic unitary similitude group of degree $2$, with a special parahoric level. We prove that such a scheme is purely $2$-dimensional, and every irreducible component is isomorphic to the Fermat surface. We also determine its connected components, irreducible components and their intersection behaviors by means of the Bruhat--Tits building of $\mathrm{PGSp}_4(\mathbb{Q}_p)$. In addition, we compute the intersection multiplicity of the GGP cycles associated to an embedding of the considering Rapoport--Zink space into the Rapoport--Zink space for the unramified $\mathrm{GU}_{2,2}$ with hyperspecial level for the minuscule case.

math.NT↗