Arithmetic dynamics and Generalized Fermat's conjecture
We propose generalized Fermat's conjecture in the framework of arithmetic dynamics, and give evidences. The multi-indexed version is added.
math.NT↗
arXiv subjects
Atsushi Moriwaki
Publications and source records attributed to Atsushi Moriwaki.
Equidistribution theorem over an adelic curve
In this article, we introduce the notion of global adelic space of an arithmetic variety over an adelic curve and prove an equidistribution theorem for a generic sequence of subvarieties. As an application, we prove a Bogomolov type theorem for Abelian varieties over an adelic curve of characteristic 0.
math.NT↗
Arithmetic positivity on toric varieties
We continue with our study of the arithmetic geometry of toric varieties. In this text, we study the positivity properties of metrized R-divisors in the toric setting. For a toric metrized R-divisor, we give formulae for its arithmetic volume and its chi-arithmetic volume, and we characterize when it is arithmetically ample, nef, big or pseudo-effective, in terms of combinatorial data. As an application, we prove a Dirichlet's unit theorem on toric varieties, we give a characterization for the existence of a Zariski decomposition of a toric metrized R-divisor, and we prove a toric arithmetic Fujita approximation theorem.
math.AG↗
Hilbert-Samuel formula and positivity over adelic curves
We establish, in the setting of Arakelov geometry over adelic curves, an arithmetic Hilbert-Samuel theorem describing the asymptotic behaviour of the metrized graded linear series of an adelic line bundle in terms of its arithmetic intersection number. We then study positivity conditions of adelic line bundles.
math.AG↗
Arithmetic intersection theory over adelic curves
We establish an arithmetic intersection theory in the framework of Arakelov geometry over adelic curves. To each projective scheme over an adelic curve, we associate a multi-homogenous form on the group of adelic Cartier divisors, which can be written as an integral of local intersection numbers along the adelic curve. The integrability of the local intersection number is justified by using the theory of resultants.
math.AG↗
Arakelov theory on arithmetic surfaces over a trivially valued field
In this article, we consider an analogue of Arakelov theory of arithmetic surfaces over a trivially valued field. In particular, we establish an arithmetic Hilbert-Samuel theorem and studies the effectivity up to R-linear equivalence of pseudoeffective metrised R-divisors.
math.AG↗
Toward Fermat's conjecture over arithmetic function fields
Let K be an arithmetic function field, that is, a field of finite type over the rational number field. In this note, as an application of the height theory due to Chen-Moriwaki, we would like to show that the solutions of Fermat's curve X^N + y^N = 1 of degree N over K consist of only either 0 or roots of unity for almost positive integers N. More precisely, the density of such N is 1.
math.NT↗
Arakelov geometry over adelic curves
The purpose of this book is to build up the fundament of an Arakelov theory over adelic curves in order to provide a unified framework for the researches of arithmetic geometry in several directions.
math.AG↗
Note on lower estimates of multiplicities
In this note we would like to give an explicit lower bound by using a lower saturated subset of \mathbb{R}_{\geq 0}^n.
math.AG↗
Sufficient conditions for the dirichlet property
The effectivity up to R-linear equivalence (Dirichlet property) of pseudoeffective adelic R-Cartier divisors is a subtle problem in arithmetic geometry. In this article, we propose sufficient conditions for the Dirichlet property by using the dynamic system in the classic Arakelov geometry setting. We also give a numerical criterion of the Dirichlet property for adelic R-Cartier divisors on curves over a trivially valued field.
math.AG↗
Extension property of semipositive invertible sheaves over a non-archimedean field
In this article, we prove an extension property of semipositively metrized ample invertible sheaves on a projective scheme over a complete non-archimedean valued field. As an application, we establish a Nakai-Moishezon type criterion for adelically normed graded linear series.
math.AG↗
Semiample invertible sheaves with semipositive continuous hermitian metrics
Let (L, h) be a pair of a semiample invertible sheaf and a semipositive continuous hermitian metric on a proper algebraic variety. In this paper, we prove that (L, h) is semiample metrized, which is a generalization of the question due to S. Zhang.
math.AG↗
Toward a geometric analogue of Dirichlet's unit theorem
In this note, we propose a geometric analogue of Dirichlet's unit theorem on arithmetic varieties, that is, if X is a normal projective variety over a finite field and D is a pseudo-effective Q-Cartier divisor on X, does it follow that D is Q-effective? We also give affirmative answers on an abelian variety and a projective bundle over a curve.
math.AG↗
Algebraic dynamical systems and Dirichlet's unit theorem on arithmetic varieties
In this paper, we study obstructions to the Dirichlet property by two approaches: density of non-positive points and functionals on adelic R-divisors. Applied to the algebraic dynamical systems, these results provide examples of nef adelic arithmetic R-Cartier divisor which does not have the Dirichlet property. We hope the obstructions obtained in the article will give ways toward criteria of the Dirichlet property.
math.AG↗
Adelic divisors on arithmetic varieties
In this article, we generalize several fundamental results for arithmetic divisors, such as the continuity of the volume function, the generalized Hodge index theorem, Fujita's approximation theorem for arithmetic divisors and Zariski decompositions for arithmetic divisors on arithmetic surfaces, to the case of the adelic arithmetic divisors.
math.AG↗
Numerical characterization of nef arithmetic divisors on arithmetic surfaces
In this paper, we give a numerical characterization of nef arithmetic R-Cartier divisors of C^0-type on an arithmetic surface. Namely an arithmetic R-Cartier divisor D of C^0-type is nef if and only if D is pseudo-effective and deg(D^2) = vol(D).
math.AG↗
Arithmetic linear series with base conditions
In this note, we study the volume of arithmetic linear series with base conditions. As an application, we consider the problem of Zariski decompositions on arithmetic varieties.
math.AG↗
Toward Dirichlet's unit theorem on arithmetic varieties
In this paper, we would like to propose a fundamental question about a higher dimensional analogue of Dirichlet's unit theorem. We also give a partial answer to the question as an application of the arithmetic Hodge index theorem.
math.AG↗