Source author record

Atsushi Moriwaki

Atsushi Moriwaki appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG math.NT alg-geom

Catalog footprint

What is connected

18works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2021arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

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.

preprint2015arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

preprint2013arXiv

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.

preprint2012arXiv

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).

preprint2011arXiv

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.

preprint2011arXiv

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.

preprint2011arXiv

Zariski decompositions on arithmetic surfaces

In this paper, we establish the Zariski decompositions of arithmetic R-divisors of continuous type on arithmetic surfaces and investigate several properties. We also develop the general theory of arithmetic R-divisors on arithmetic varieties.

preprint2010arXiv

Big arithmetic divisors on the projective spaces over Z

This paper is an enhancement of the previous note "Explicit computations of Zariski decompositions on P_Z^1". In this paper, we observe several properties of a certain kind of an arithmetic divisor D on the n-dimensional projective space over Z and give the exact form of the Zariski decomposition of D on the projective line over Z. Further, we show that, if n>=2 and D is big and non-nef, then, for any birational morphism f: X --> P^n_Z of projective, generically smooth and normal arithmetic varieties, we can not expect a suitable Zariski decomposition of f^*(D). We also give a concrete construction of Fujita's approximation of D.

preprint2010arXiv

Explicit computations of Zariski decompositions on P_Z^1

In this note, we observe several properties of arithmetic divisors on the projective line over Z and give their Zariski decompositions.

preprint2009arXiv

Estimation of arithmetic linear series

Lazarsfeld and Mustata propose general and systematic usage of Okounkov's idea in order to study asymptotic behavior of linear series on an algebraic variety. It is a very simple way, but it yields a lot of consequences, like Fujita's approximation theorem. Yuan generalized this way to the arithmetic situation, and he established the arithmetic Fujita's approximation theorem, which was also proved by Chen independently. In this paper, we introduce arithmetic linear series and give a general way to estimate them based on Yuan's idea. As an application, we consider an arithmetic analogue of the algebraic restricted volumes.

preprint1996arXiv

A sharp slope inequality for general stable fibrations of curves

Let M_g be the moduli space of stable curves of genus g >= 2. Let D_i be the irreducible component of the boundary of M_g such that general points of D_i correspond to stable curves with one node of type i. Let M_g^0 be the set of stable curves that have at most one node of type i>0. Let d_i be the class of D_i in Pic(M_g)_Q and h the Hodge class on M_g. In this paper, we will prove a sharp slope inequality for general stable fibrations. Namely, if $C$ is a complete curve on M_g^0, then ( (8g+4)h - g d_0 - \sum_{i=1}^{[g/2]} 4i(g-i) d_i . C ) >= 0. As an application, we can prove effective Bogomolov's conjecture for general stable fibrations.

Atsushi Moriwaki

What is connected

Connect this record

See the researcher in context

Building this map preview

18 published item(s)

Arithmetic positivity on toric varieties

Hilbert-Samuel formula and positivity over adelic curves

Arithmetic intersection theory over adelic curves

Arakelov theory on arithmetic surfaces over a trivially valued field

Toward Fermat's conjecture over arithmetic function fields

Extension property of semipositive invertible sheaves over a non-archimedean field

Algebraic dynamical systems and Dirichlet's unit theorem on arithmetic varieties

Semiample invertible sheaves with semipositive continuous hermitian metrics

Toward a geometric analogue of Dirichlet's unit theorem

Adelic divisors on arithmetic varieties

Numerical characterization of nef arithmetic divisors on arithmetic surfaces

Arithmetic linear series with base conditions

Toward Dirichlet's unit theorem on arithmetic varieties

Zariski decompositions on arithmetic surfaces

Big arithmetic divisors on the projective spaces over Z

Explicit computations of Zariski decompositions on P_Z^1

Estimation of arithmetic linear series

A sharp slope inequality for general stable fibrations of curves