Showing 1–16 of 16 results for author: Aoki, M

Gaussian periods and Shanks' cubic polynomials. II

Authors: Miho Aoki

Abstract: We give a linear relation between a cubic Gaussian period and a root of Shanks' cubic polynomial in wildly ramified cases. We give a linear relation between a cubic Gaussian period and a root of Shanks' cubic polynomial in wildly ramified cases. △ Less

Submitted 18 September, 2025; v1 submitted 14 September, 2025; originally announced September 2025.

MSC Class: 11R04; 11R16; 11C08; 11R80

Self-similar vorticity around the boundary and non-uniqueness of solutions to the two-dimensional Navier-Stokes equations in the half space

Authors: Motofumi Aoki, Yasunori Maekawa

Abstract: In this paper we show the non-uniqueness of mild solutions to the two-dimensional forced Navier-Stokes equations in the half space under the noslip boundary condition, following the program established by Albritton, Bru{é}, and Colombo in 2022. Our construction of non-unique solutions is based on the instability of self-similar vorticity at high Reynolds numbers which concentrates around the bound… ▽ More In this paper we show the non-uniqueness of mild solutions to the two-dimensional forced Navier-Stokes equations in the half space under the noslip boundary condition, following the program established by Albritton, Bru{é}, and Colombo in 2022. Our construction of non-unique solutions is based on the instability of self-similar vorticity at high Reynolds numbers which concentrates around the boundary at the initial time. In our construction, therefore, a kind of boundary layer has to be taken into account in the analysis, contrasting to the known results where the unstable self-similar vorticity is located away from the boundary with $O(1)$ distance around the initial time. △ Less

Submitted 3 July, 2025; originally announced July 2025.

MSC Class: 35A02; 35B30; 35Q30; 35Q35; 76D05

Galois module structure of algebraic integers of cyclic cubic fields

Authors: Miho Aoki

Abstract: We determine the Galois module structure of the ring of integers for all cubic fields using roots of the generic cyclic cubic polynomial $f_n(X)=X^3-nX^2-(n+3)X-1$. Let $L_n=\mathbb Q(ρ_n)$ be a cyclic cubic field with Galois group $G:={\rm Gal}(L_n/\mathbb Q)$, where $ρ_n$ is a root of $f_n (X)$, and ${\mathcal O}_{L_n}$ the ring of integers of $L_n$. We explicitly give the generator of the free… ▽ More We determine the Galois module structure of the ring of integers for all cubic fields using roots of the generic cyclic cubic polynomial $f_n(X)=X^3-nX^2-(n+3)X-1$. Let $L_n=\mathbb Q(ρ_n)$ be a cyclic cubic field with Galois group $G:={\rm Gal}(L_n/\mathbb Q)$, where $ρ_n$ is a root of $f_n (X)$, and ${\mathcal O}_{L_n}$ the ring of integers of $L_n$. We explicitly give the generator of the free module ${\mathcal O}_{L_n}$ of rank $1$ over the associated order ${\mathcal A}_{L_n/\mathbb Q}:= \{ x\in \mathbb Q [G] \, |\, x\, {\mathcal O}_L \subset {\mathcal O}_L \}$ by using the roots of $f_n(X)$. △ Less

Submitted 27 October, 2024; originally announced October 2024.

MSC Class: 11R04; 11R16; 11C08; 11R80

Quasimorphisms on free racks and free quandles

Authors: Masamitsu Aoki

Abstract: We show that the second bounded cohomology of finitely generated free racks is infinite dimensional by constructing rack quasimorphisms using homogenous group quasimorphisms. Similar construction works in the case of free quandles. We show that Rolli's generalization to free products also works in the case of racks. We show that the second bounded cohomology of finitely generated free racks is infinite dimensional by constructing rack quasimorphisms using homogenous group quasimorphisms. Similar construction works in the case of free quandles. We show that Rolli's generalization to free products also works in the case of racks. △ Less

Submitted 23 April, 2024; originally announced April 2024.

Comments: 8 pages

Galois module structure of algebraic integers of the simplest cubic field

Authors: Hajime Ogawa, Miho Aoki

Abstract: Let $L_n$ be a simplest cubic field with Galois group $G=\rm{Gal} (L_n/\mathbb Q)$. The associated order is denoted as ${\cal A}_{L_n/\mathbb Q}:= \{ x\in {\mathbb Q} [G] \, |\, x \cdot \cal{O}_{L_n} \subset {\cal O}_{L_n } \}$, where ${\cal O}_{L_n}$ is the ring of integers of $L_n$. Leopoldt showed that $\cal{O}_{L_n} \simeq {\cal A}_{L_n/\mathbb Q}$ as ${\cal A}_{L_n/\mathbb Q}$-modules. In thi… ▽ More Let $L_n$ be a simplest cubic field with Galois group $G=\rm{Gal} (L_n/\mathbb Q)$. The associated order is denoted as ${\cal A}_{L_n/\mathbb Q}:= \{ x\in {\mathbb Q} [G] \, |\, x \cdot \cal{O}_{L_n} \subset {\cal O}_{L_n } \}$, where ${\cal O}_{L_n}$ is the ring of integers of $L_n$. Leopoldt showed that $\cal{O}_{L_n} \simeq {\cal A}_{L_n/\mathbb Q}$ as ${\cal A}_{L_n/\mathbb Q}$-modules. In this paper, we give a generator of the ${\cal A}_{L_n/\mathbb Q}$-module ${\cal O}_{L_n}$ explicitly using the roots of Shanks' cubic polynomial. If $L_n/\mathbb Q$ is tamely ramified, then we have ${\cal A}_{L_n/\mathbb Q}=\mathbb Z [G]$, and the conjugates form a normal integral basis, which has been obtained explicitly in the previous work of Hashimoto and the second author. △ Less

Submitted 24 October, 2024; v1 submitted 15 May, 2023; originally announced May 2023.

MSC Class: Primary 11R04; 11R16; Secondary 11C08; 11R80

On the ill-posedness for the full system of compressible Navier-Stokes equations

Authors: Motofumi Aoki, Tsukasa Iwabuchi

Abstract: We consider the Cauchy problem for compressible Navier--Stokes equations of the ideal gas in the three-dimensional spaces. It is known that the Cauchy problem in the scaling critical spaces of the homogeneous Besov spaces $\dot B^{\frac{3}{p}}_{p,1}\times\dot B^{-1+\frac{3}{p}}_{p,1}\times\dot B^{-2+\frac{3}{p}}_{p,1}$ is uniquely solvable for all $1 < p<3$ and is ill-posed for all $p>3$. However,… ▽ More We consider the Cauchy problem for compressible Navier--Stokes equations of the ideal gas in the three-dimensional spaces. It is known that the Cauchy problem in the scaling critical spaces of the homogeneous Besov spaces $\dot B^{\frac{3}{p}}_{p,1}\times\dot B^{-1+\frac{3}{p}}_{p,1}\times\dot B^{-2+\frac{3}{p}}_{p,1}$ is uniquely solvable for all $1 < p<3$ and is ill-posed for all $p>3$. However, it is an open problem whether or not it is well-posed in the case when $p=3$. In this paper, we prove that for the case $p=3$ the Cauchy problem is ill-posed by constructing a sequence of initial data, which shows that the solution map is discontinuous. △ Less

Submitted 13 March, 2023; originally announced March 2023.

MSC Class: 35Q30; 76N06

Normal integral bases of Lehmer's cyclic quintic fields

Authors: Yu Hashimoto, Miho Aoki

Abstract: Let $K_n$ be a tamely ramified cyclic quintic field generated by a root of Emma Lehmer's parametric polynomial. We give all normal integral bases for $K_n$ only by the roots of the polynomial, which is a generalization of the work of Lehmer in the case that $n^4+5n^3+15n^2+25n+25$ is prime number, and Spearman-Willliams in the case that $n^4+5n^3+15n^2+25n+25$ is square-free. Let $K_n$ be a tamely ramified cyclic quintic field generated by a root of Emma Lehmer's parametric polynomial. We give all normal integral bases for $K_n$ only by the roots of the polynomial, which is a generalization of the work of Lehmer in the case that $n^4+5n^3+15n^2+25n+25$ is prime number, and Spearman-Willliams in the case that $n^4+5n^3+15n^2+25n+25$ is square-free. △ Less

Submitted 11 April, 2024; v1 submitted 22 September, 2022; originally announced September 2022.

MSC Class: Primary 11R04; 11R20; Secondary 11C08; 11L05; 11R80

Chebyshev's Bias against Splitting and Principal Primes in Global Fields

Authors: Miho Aoki, Shin-ya Koyama

Abstract: Reasons for the emergence of Chebyshev's bias were investigated. The Deep Riemann Hypothesis (DRH) enables us to reveal that the bias is a natural phenomenon for achieving a well-balanced disposition of the whole sequence of primes, in the sense that the Euler product converges at the center. By means of a weighted counting function of primes, the authors succeed in expressing magnitudes of the de… ▽ More Reasons for the emergence of Chebyshev's bias were investigated. The Deep Riemann Hypothesis (DRH) enables us to reveal that the bias is a natural phenomenon for achieving a well-balanced disposition of the whole sequence of primes, in the sense that the Euler product converges at the center. By means of a weighted counting function of primes, the authors succeed in expressing magnitudes of the deflection by a certain asymptotic formula under the assumption of DRH, which provides a new formulation of Chebyshev's bias. For any Galois extension of global fields and for any element $σ$ in the Galois group, we have established a criterion of the bias of primes whose Frobenius elements are equal to $σ$ under the assumption of DRH. As an application we have obtained a bias toward non-splitting and non-principle primes in abelian extensions under DRH. In positive characteristic cases, DRH is known, and all these results hold unconditionally. △ Less

Submitted 26 June, 2022; v1 submitted 23 March, 2022; originally announced March 2022.

MSC Class: 11A41; 11M41; 11N05; 11N13; 11R20; 11R37; 11R42; 11R44; 11R59

Energy conservation law for weak solutions of the full compressible Navier-Stokes equations

Authors: Motofumi Aoki, Tsukasa Iwabuchi

Abstract: We consider a sufficient condition for the energy conservation law of a weak solution for the full compressible Navier-Stokes equations on the torus. We prove that a weak solution constructed by Feireisl with certain integrability conditions conserve the energy. Our assumption relaxes the regularity condition for the density compared with existing results. We consider a sufficient condition for the energy conservation law of a weak solution for the full compressible Navier-Stokes equations on the torus. We prove that a weak solution constructed by Feireisl with certain integrability conditions conserve the energy. Our assumption relaxes the regularity condition for the density compared with existing results. △ Less

Submitted 18 February, 2022; originally announced February 2022.

Comments: 18 pages

Normal integral bases and Gaussian periods in the simplest cubic fields

Authors: Yu Hashimoto, Miho Aoki

Abstract: We give all normal integral bases for the simplest cubic field $L_n$ generated by the roots of Shanks' cubic polynomial when these bases exist, that is, $L_n/\mathbb Q$ is tamely ramified. Furthermore, as an application of the result, we give an explicit relation between the roots of Shanks' cubic polynomial and the Gaussian periods of $L_n$ in the case $L_n/\mathbb Q$ is tamely ramified, which is… ▽ More We give all normal integral bases for the simplest cubic field $L_n$ generated by the roots of Shanks' cubic polynomial when these bases exist, that is, $L_n/\mathbb Q$ is tamely ramified. Furthermore, as an application of the result, we give an explicit relation between the roots of Shanks' cubic polynomial and the Gaussian periods of $L_n$ in the case $L_n/\mathbb Q$ is tamely ramified, which is a generalization of the work of Lehmer, Châtelet and Lazarus in the case that the conductor of $L_n$ is equal to $n^2+3n+9$. △ Less

Submitted 27 April, 2022; v1 submitted 7 August, 2021; originally announced August 2021.

On values of the higher derivatives of the Barnes zeta function at non-positive integers

Authors: Shinpei Sakane, Miho Aoki

Abstract: Let $x$ be a complex number which has a positive real part, and $w_1,\ldots,w_N$ be positive rational numbers. We show that $w^s ζ_N (s, x \ |\ w_1,\ldots, w_N)$ can be expressed as a finite linear combination of the Hurwitz zeta functions over $\mathbb Q(x)$, where $ζ_N (s,x \ |\ w_1,\ldots, w_N)$ is the Barnes zeta function and $w$ is a positive rational number explicitly determined by… ▽ More Let $x$ be a complex number which has a positive real part, and $w_1,\ldots,w_N$ be positive rational numbers. We show that $w^s ζ_N (s, x \ |\ w_1,\ldots, w_N)$ can be expressed as a finite linear combination of the Hurwitz zeta functions over $\mathbb Q(x)$, where $ζ_N (s,x \ |\ w_1,\ldots, w_N)$ is the Barnes zeta function and $w$ is a positive rational number explicitly determined by $w_1,\ldots, w_N$. Furthermore, we give generalizations of Kummer's formula on the gamma function and Koyama-Kurokawa's formulae on the multiple gamma functions, and an explicit formula for the values at non-positive integers for higher order derivatives of the Barnes zeta function in the case that $x$ is a positive rational number, involving the generalized Stieltjes constants and the values at positive integers of the Riemann zeta function. Our formulae also makes it possible to calculate an approximation in the case that $w_1, \ldots, w_N$ and $x$ are positive real numbers. △ Less

Submitted 4 August, 2021; v1 submitted 17 November, 2020; originally announced November 2020.

MSC Class: 11M41; 11M06; 11M35; 33B15

A family of pairs of imaginary cyclic fields of degree $(p-1)/2$ with both class numbers divisible by $p$

Authors: Miho Aoki, Yasuhiro Kishi

Abstract: We construct a new infinite family of pairs of imaginary cyclic fields of degree $(p-1)/2$ explicitly with both class numbers divisible by a given prime number $p$. For the proof, we use the fundamental unit of $\mathbb Q(\sqrt{p})$, certain units which are roots of a parametric quartic polynomial, the Kummer theory, the Gauss sums and the Jacobi sums, linear recurrence sequences, a consequence of… ▽ More We construct a new infinite family of pairs of imaginary cyclic fields of degree $(p-1)/2$ explicitly with both class numbers divisible by a given prime number $p$. For the proof, we use the fundamental unit of $\mathbb Q(\sqrt{p})$, certain units which are roots of a parametric quartic polynomial, the Kummer theory, the Gauss sums and the Jacobi sums, linear recurrence sequences, a consequence of the Weil conjecture and a result of Lenstra which is a generalization of Artin conjecture on primitive roots. Our result is based on the famous Scholz' results on pairs of quadratic fields $\mathbb Q(\sqrt{D})$ and $\mathbb Q (\sqrt{-3D})$. △ Less

Submitted 21 September, 2018; originally announced September 2018.

MSC Class: 11R11; 11R16; 11R29

On the Laxton Group

Authors: Miho Aoki, Masanari Kida

Abstract: We redefine a multiplicative group structure on the set of equivalence classes of rational sequences satisfying a fixed linear recurrence of degree two, which was defined by R. R. Laxton in his paper "On groups of linear recurrences I" published in Duke Math. 36, 721--736 (1969). In the article, he also defined some natural subgroups of the group, and determined the structures of their quotient gr… ▽ More We redefine a multiplicative group structure on the set of equivalence classes of rational sequences satisfying a fixed linear recurrence of degree two, which was defined by R. R. Laxton in his paper "On groups of linear recurrences I" published in Duke Math. 36, 721--736 (1969). In the article, he also defined some natural subgroups of the group, and determined the structures of their quotient groups. However, he did not study the whole group itself. Nothing has been known about the structure of Laxton's whole group and its interpretation. The aims of this paper are to redefine Laxton's group in a natural way and determine the structure of the whole group itself, which clarifies Laxton's results on the quotient groups. According to our formulation by algebraic number theory method, we can simplify the proof of Laxton's results. Our definition also gives a natural interpretation of Laxton's results, and makes us possible to use the group to show various properties of such sequences. △ Less

Submitted 26 September, 2018; v1 submitted 21 September, 2018; originally announced September 2018.

MSC Class: 11B37; 11B39; 11R11

Several properties of hypergeometric Bernoulli numbers

Authors: Miho Aoki, Takao Komatsu, Gopal Krishna Panda

Abstract: In this paper, we give the determinant expressions of the hypergeometric Bernoulli numbers, and some relations between the hypergeometric and the classical Bernoulli numbers which include Kummer's congruences. By applying Trudi's formula, we have some different expressions and inversion relations. We also determine explicit forms of convergents of the generating function of the hypergeometric Bern… ▽ More In this paper, we give the determinant expressions of the hypergeometric Bernoulli numbers, and some relations between the hypergeometric and the classical Bernoulli numbers which include Kummer's congruences. By applying Trudi's formula, we have some different expressions and inversion relations. We also determine explicit forms of convergents of the generating function of the hypergeometric Bernoulli numbers, from which several identities for hypergeometric Bernoulli numbers are given. △ Less

Submitted 30 September, 2018; v1 submitted 21 March, 2018; originally announced March 2018.

MSC Class: 11A55; 11B68; 11B37; 11C20; 15A15; 33C15; 05A15; 05A19

Remarks on hypergeometric Cauchy numbers

Authors: Miho Aoki, Takao Komatsu

Abstract: Hypergeometric numbers can be recognized as one of the most natural extensions of the classical Cauchy numbers in terms of determinants, though many kinds of generalizations of the Cauchy numbers have been considered by many authors. In addition, there are some relations between the hypergeometric Cauchy numbers and the classical Cauchy numbers. In this paper, we give the determinant expressions o… ▽ More Hypergeometric numbers can be recognized as one of the most natural extensions of the classical Cauchy numbers in terms of determinants, though many kinds of generalizations of the Cauchy numbers have been considered by many authors. In addition, there are some relations between the hypergeometric Cauchy numbers and the classical Cauchy numbers. In this paper, we give the determinant expressions of hypergeometric Cauchy numbers and their generalizations, and show some interesting expressions of hypergeometric Cauchy numbers. △ Less

Submitted 15 February, 2018; originally announced February 2018.

Hom stacks

Authors: Masao Aoki

Abstract: We study Hom 2-functors parameterizing 1-morphisms of algebraic stacks, and prove that it is representable by an algebraic stack under certain conditions, using Artin's criterion. As an application we study Picard 2-functors which parameterizes line bundles on algebraic stacks. We study Hom 2-functors parameterizing 1-morphisms of algebraic stacks, and prove that it is representable by an algebraic stack under certain conditions, using Artin's criterion. As an application we study Picard 2-functors which parameterizes line bundles on algebraic stacks. △ Less

Submitted 26 August, 2005; v1 submitted 17 March, 2005; originally announced March 2005.

Comments: 21 pages

MSC Class: 14A20;14B12;14K30