arXiv subjects
Publications and source records attributed to Atsushi Moriwaki.
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.
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.
In this note, we observe several properties of arithmetic divisors on the projective line over Z and give their Zariski decompositions.
In this paper, we consider mild and appropriate conditions to guarantee a free basis consisting of strictly small sections on an arithmetic variety.
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.
This paper is the sequel of the paper "Continuity of volumes on arithmetic varieties", in which we established the arithmetic volume function of smooth hermitian Q-invertible sheaves and proved its continuity. The continuity of the volume function has a lot of applications as treated in the paper as above. In this paper, we would like to consider its continuous extension over R.
We introduce the volume function for hermitian invertible sheaves on an arithmetic variety as an analogue of the geometric volume function. The main result of this paper is the continuity of the arithmetic volume function. As a consequence, we have the arithmetic Hilbert-Samuel formula for a nef hermitian invertible sheaf. We also give another several applications, for example, a generalized Hodge index theorem, an arithmetic Bogomolov-Gieseker's inequality, etc.
In this paper, we consider a finiteness problem of saturated subsheaves of a hermitian locally free sheaf on an arithmetic variety. As an application, we could prove the unique existence of an arithmetic Harder-Narasimham filtration.
In this paper, we give the rigidity theorem for a log morphism as an extension of a fixed scheme morphism. We also give several applications of the rigidity theorem.
In this note, we propose the modular height of an abelian variety defined over a field of finite type over Q. Moreover, we prove its finiteness property.
Let X be a projective scheme over a finite field. In this paper, we consider the asymptotic behavior of the number of effective cycles on X with bounded degree as it goes to the infinity. By this estimate, we can define a certain kind of zeta functions associated with groups of cycles. We also consider an analogue in Arakelov geometry.
In this note, we prove that the Q-Picard group of the moduli space of n-pointed stable curves of genus g over an algebraically closed field is generated by the tautological classes. We also prove that the cycle map to the 2nd etale cohomology group is bijective.
Let M_g be the moduli space of smooth curves of genus g >= 3, and \bar{M}_g the Deligne-Mumford compactification in terms of stable curves. Let \bar{M}_g^{[1]} be an open set of \bar{M}_g consisting of stable curves of genus g with one node at most. In this paper, we determine the necessary and sufficient condition to guarantee that a Q-divisor D on \bar{M}_g is nef over \bar{M}_g^{[1]}, that is, (D . C) >= 0 for all irreducible curves C on \bar{M}_g with C \cap \bar{M}_g^{[1]} \not= \emptyset.
In our previous paper, we established Northcott's theorem for height functions over finitely generated fields. Unfortunately, Northcott's theorem on finitely generated fields does not hold in general. Actually, it depends on the choice of a polarization. In this short note, we will propose a weaker condition of the polarization to guarantee Northcott's theorem. We will also show the generalization of conjectures of Bogomolov and Lang in under the weaker condition.
This paper is the sequel of our paper "Arithmetic height functions over finitely generated fields" (cf. math.NT/9809016). In this paper, we define the canonical height of subvarieties of an abelian variety over a finitely generated field over Q. We also prove that the canonical height of a subvariety is zero if and only if it is a translation of an abelian subvariety by a torsion point.
Let K be a finitely generated field over Q, and A an abelian variety over K. Let <, > : A(K^a) x A(K^a) --> R be an arithmetic height pairing on A, where K^a is the algebric closure of K. For x_1,..., x_l \in A(K^a), we denote det( ) by d(x_1,..., x_l). Let G be a subgroup of finite rank in A(K^a), and X a subvariety of A_{K^a}. Fix a basis {g_1,..., g_n} of G_Q. In this note, we prove a generalization of Poonen's theorem: If the set {x \in X(K^a) | d(g_1,..., g_n, x) <= e} is Zariski dense in X for every positive number e, then X is a translation of an abelian subvariety by an element of G_{div}.
In this paper, we propose a new height function for a variety defined over a finitely generated field over Q. For this height function, we will prove Northcott's theorem and Bogomolov's conjecture, so that we can recover the original Raynaud's theorem (Manin-Mumford's conjecture).
In this short note, we will show that the metric of Deligne's pairing is continous.