Atsushi Moriwaki
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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.
We show an arithmetic generalization of the recent work of Lazarsfeld-Mustata which uses Okounkov bodies to study linear series of line bundles. As applications, we derive a log-concavity inequality on volumes of arithmetic line bundles and an arithmetic Fujita approximation theorem for big line bundles.
We introduce the positive intersection product in Arakelov geometry and prove that the arithmetic volume function is continuously differentiable. As applications, we compute the distribution function of the asymptotic measure of a Hermitian line bundle and several other arithmetic invariants.
We introduce a new arithmetic invariant for hermitian line bundles on an arithmetic variety. We use this invariant to measure the variation of the volume function with respect to the metric. The main result of this paper is a generalized Hodge index theorem on arithmetic toric varieties.
We compute the arithmetic volumes of integral models of unitary Shimura curves. This establishes the base case of an inductive argument to compute the arithmetic volumes of unitary Shimura varieties of higher dimension, to appear in subsequent work of Bruinier and the author.
Let $\mathcal{A}_g$ denote the moduli stack of principally polarized abelian varieties of dimension $g$. The arithmetic height, or arithmetic volume, of $\overline{\mathcal{A}}_g$, is defined to be the arithmetic degree of the metrized Hodge bundle $\overlineω_g$ on $\overline{\mathcal{A}}_g$. In 1999, Kühn proved a formula for the arithmetic volume of $\overline{\mathcal{A}}_1$ in terms of special values of the Riemann zeta function. In this article, we generalize his result to the case $g=2$.
The arithmetic volume of hypersurfaces in toric varieties and Mahler measures
该研究确定了光滑射影环面簇中超曲面的典范算术体积，并由此证明了这类超曲面上的广义Hodge指标定理，为算术代数几何领域相关问题提供了新结果。
For a hermitian line bundle over an arithmetic variety, we construct a convex continuous function on the Okounkov body associated to the generic fibre of the line bundle. The integration of the continuous function gives the growth of the Euler characteristic of the hermitian line bundle. It is the global version of the recent work of Nystrom.
We define and investigate extension groups in the context of Arakelov geometry. The 'arithmetic extension groups' we introduce are extensions by groups of analytic types of the usual extension groups attached to $Ø_X$-modules over an arithmetic scheme $X$. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over $X$ - and we especially consider the case when $X$ is an 'arithmetic curve', namely the spectrum $\Spec Ø_K$ of the ring of integers in some number field $K$. T…
Arithmetic volumes of moduli stacks of Shtukas
本文研究模堆栈中tautological classes的算术体积及其与Artin L函数导数的关系，并探讨phantom tautological ring的结构及其在函数域Colmez猜想中的应用。
Arithmetic volumes of unitary Shimura varieties
本文研究酉 Shimura 簇上度量线丛的算术体积，将其表示为 Dirichlet L-函数对数导数，并确定 Kudla-Rapoport 除子的算术体积及其与 Eisenstein 级数系数的关系。
In a previous paper, we have defined arithmetic extension groups in the context of Arakelov geometry. In the present one, we introduce an arithmetic analogue of the Atiyah extension that defines an element -- the arithmetic Atiyah class -- in a suitable arithmetic extension group. If $\overline{E}$ is a hermitian vector bundle on an arithmetic scheme $X$, its arithmetic Atiyah class is an obstruction to the algebraicity of the unitary connection on the vector bundle $E_\C$ over the complex manifold $X(\C)$ that is compatible with its holomorphic structure. We develop basic properties of the ar…
In this paper, we collect some fundamental properties of the arithmetic restricted volumes (or the arithmetic multiplicities) of the adelically metrized line bundles. The arithmetic restricted volume has the concavity property and characterizes the arithmetic augmented base locus as the null locus. We also show a generalized Fujita approximation for the arithmetic restricted volumes.
In this note, we study the differentiability of the arithmetic volumes along arithmetic R-divisors, and give some equality conditions for the Brunn-Minkowski inequality for arithmetic volumes over the cone of nef and big arithmetic R-divisors.
We establish, for a generically big Hermitian line bundle, the convergence of truncated Harder-Narasimhan polygons and the uniform continuity of the limit. As applications, we prove a conjecture of Moriwaki asserting that the arithmetic volume function is actually a limit instead of a sup-limit, and we show how to compute the asymptotic polygon of a Hermitian line bundle, by using the arithmetic volume function.
Given a line bundle L on a smooth projective curve over the complex numbers, we show that a general extension E of L by the trivial line bundle is very stable: line bundles contained in E have degree much less than half the degree of E. From this result we deduce new inequalities for the successive minima of the euclidean lattice H^1(X,L^{-1}), where L is an hermitian line bundle on the arithmetic surface X.
In this paper, we show that the arithmetic volume function defined on the space of pairs of adelic R-Cartier divisors and base conditions is differentiable at a big pair, and that its derivative is given by an arithmetic restricted positive intersection number defined for the pair.
Three types of reciprocity laws for arithmetic surfaces are established. For these around a point or along a vertical curve, we first construct $K_2$ type central extensions, then introduce reciprocity symbols, and finally prove the law as an application of Parshin-Beilinson's theory of adelic complex. For reciprocity law along a horizontal curve, we first introduce a new type of arithmetic central extensions, then apply our arithmetic adelic cohomology theory and arithmetic intersection theory to prove the related reciprocity law. All this can be interpreted within the framework of arithmetic…
For Châtelet surfaces defined over number fields, we study two arithmetic properties, the Hasse principle and weak approximation, when passing to an extension of the base field. Generalizing a construction of Y. Liang, we show that for an arbitrary extension of number fields $L/K,$ there is a Châtelet surface over $K$ which does not satisfy weak approximation over any intermediate field of $L/K,$ and a Châtelet surface over $K$ which satisfies the Hasse principle over an intermediate field $L'$ if and only if $[L' : K]$ is even.
Squares in arithmetic progression over quadratic extensions of number fields
本文研究数域二次扩张中二次剩余等差数列的结构，通过代数方法证明了五或六项等差数列的特定形式，并证明了长度超过六的等差数列不存在。
Arithmetic volume of Shtukas and Langlands duality
本文扩展了Feng-Yun-Zhang的工作，将Shukas的算术体积与ζ函数的导数联系起来，允许任意共权重，并首次在L-函数导数的公式中赋予对偶群结构作用。
Arithmetic theta invariants and arithmetic equilibrium measures
本研究引入算术簇上埃尔米特线丛的两个新算术不变量，导出内蕴算术平衡测度，证明其可检测算术正性、支配算术体积变分，为相关问题提供新的分析框架。
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 F…
On a given arithmetic surface, inspired by work of Miyaoka, we consider vector bundles which are extensions of a line bundle by another one. We give sufficient conditions for their restriction to the generic fiber to be semi-stable. We then apply the arithmetic analog of Bogomolov inequality in Arakelov theory, and deduce from it a lower bound for some successive minima in the lattice of extension classes between these line bundles.
In this paper, we prove effective upper bounds for effective sections of line bundles on projective varieties and hermitian line bundles on arithmetic varieties in terms of the volumes. They are effective versions of the Hilbert--Samuel formula and the arithmetic Hilbert--Samuel formula.
We establish an inequality comparing the height and the $χ$-arithmetic volume of toric metrized divisors on $\mathbb{P}^1_{\mathbb{Q}}$. This gives a partial answer to a question of Burgos, Moriwaki, Philippon and Sombra ([5, remark 5.13]).
The construction of families of Sato Grassmannians, their determinant line bundles and the extensions induced by them are given. The base scheme is an arbitrary scheme.
We introduce an adelic Cartier divisor over a trivially valued field and discuss the bigness of it. For bigness, we give the integral representation of the arithmetic volume and prove the existence of limit of it. Moreover, we show that the arithmetic volume is continuous and log concave.
Arithmetic descent of specializations of Galois covers
本文研究数域上Galois覆盖的特化能否算术下降到Q的问题，证明了允许基变换时在G正则可实现条件下答案通常为肯定，不允许基变换时循环群情形为肯定，并给出一个无反例的显式构造。
Let $k$ be a number field, let $X$ be a Kummer variety over $k$, and let $δ$ be an odd integer. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for $X$. For example, we show that if the Brauer-Manin obstruction is the only obstruction to the existence of rational points on $X$ over all finite extensions of $k$, then the $2$-primary Brauer-Manin obstruction is the only obstruction to the existence of a zero-cycle of degree $δ$ on $X$ over $k$.
We show that for any given field $k$ and natural number $r\geq2$, every continuous extension of the absolute Galois group $\mathrm{Gal}_k$ by a finite group is the arithmetic fundamental group of a geometrically connected smooth projective variety over $k$ of dimension $r$.
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.
Let $X$ be a rationally connected algebraic variety, defined over a number field $k$. We find a relation between the arithmetic of rational points on $X$ and the arithmetic of zero-cycles. More precisely, we consider the following statements: (1) the Brauer-Manin obstruction is the only obstruction to weak approximation for $K$-rational points on $X_K$ for all finite extensions $K/k$; (2) the Brauer-Manin obstruction is the only obstruction to weak approximation in some sense that we define for zero-cycles of degree 1 on $X_K$ for all finite extensions $K/k$; (3) a certain sequence of local-gl…
We study arithmetic of the algebraic varieties defined over number fields by applying Lagrange interpolation to fibrations. Assuming the finiteness of the Tate-Shafarevich group of a certain elliptic curve, we show, for Châtelet surface bundles over curves, that the violation of Hasse principle being accounted for by the Brauer-Manin obstruction is not invariant under an arbitrary finite extension of the ground field.
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.
By giving an estimate on the minimal slopes, we prove a Hilbert-Samuel formula for semiample and semipositive adelic line bundles. We also show the birational invariance of the arithmetic χ-volume and its continuous extension on the semiample cone.
In the setting of Arakelov geometry over adelic curves, we introduce the $χ$-volume function and show some general properties. This article is dedicated to talk about the continuity of $χ$-volume function. By discussing its relationship with volume function, we prove its continuity around adelic $\mathbb{Q}$-ample $\mathbb{Q}$-Cartier divisors and its continuity in the trivially valued case. The study of the variation of arithmetic Okounkov bodies leads us to its continuous extension on arithmetic surfaces.
This paper contains three parts. In the first part, we give a thorough overview of the theory of Artin-Schreier-Witt extensions: this theory allows one to understand the $\mathbf{Z}/p^n\mathbf{Z}$-extensions of any field $K$ of characteristic $p$ via $p$-typical Witt vectors. Let $W_n(K)$ be the ring of $p$-typical Witt vectors of $K$ of length $n$ and let $\wp = F-\mathrm{id}: W_n(K)\longrightarrow W_n(K)$, where $F$ is the Frobenius map and $\mathrm{id}$ is the identity map. Artin-Schreier-Witt theory tells us that the abelian group $W_n(K)/\wp W_n(K)$ represents the set of $\mathbf{Z}/p^n\m…
Let $k$ be a number field. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for Kummer varieties over $k$. For example, for any Kummer variety $X$ over $k$, we show that if the Brauer-Manin obstruction is the only obstruction to the Hasse principle for rational points on $X$ over all finite extensions of $k$, then the ($2$-primary) Brauer-Manin obstruction is the only obstruction to the Hasse principle for zero-cycles of any given odd degree on $X$ over $k$. We also obtain similar results for pr…
In this paper, we introduce positivity notions for pairs of adelic R-Cartier divisors and R-base conditions, and study fundamental properties of the arithmetic volumes defined for such pairs. We show that the Gateaux derivatives of the arithmetic volume function at big pairs along the directions of adelic R-Cartier divisors are given by suitable arithmetic positive intersection numbers. As a corollary, we obtain an Arakelov theoretic analogue of the Bonnesen-Diskant inequality in convex geometry.
The aim of this paper is twofold. First we prove a theorem of extension of sections of a coherent subquotient of a hermitian vector bundle on a complex analytic space with control of the norms, without any of the smoothness assumptions that were needed in previously known analogous results. Then we show how to associate an arithmetic Hilbert-Samuel function to a coherent sheaf on an arithmetic variety -- provided this coherent sheaf is a subquotient of a hermitian vector bundle -- and using the classical arithmetic Hilbert-Samuel theorem and our extension theorem, we give the leading term of t…
In this note, we would like to propose a suitable extension of the arithmetic Chow group of codimension one, in which the Hodge index theorem holds. We also prove an arithmetic analogue of Bogomolov's instability theorem for rank 2 vector bundles on arbitrary regular projective arithmetic varieties.
Generalizing the famous Bernstein-Kushnirenko Theorem, Khovanskii proved in 1978 a combinatorial formula for the arithmetic genus of the compactification of a generic complete intersection associated to a family of lattice polytopes. Recently, an analogous combinatorial formula, called the discrete mixed volume, was introduced by Bihan and shown to be nonnegative. By making a footnote of Khovanskii in his paper explicit, we interpret this invariant as the (motivic) arithmetic genus of the non-compact generic complete intersection associated to the family of lattice polytopes.
We study the relationship between the local and global Galois theory of function fields over a complete discretely valued field. We give necessary and sufficient conditions for local separable extensions to descend to global extensions, and for the local absolute Galois group to inject into the global absolute Galois group. As an application we obtain a local-global principle for the index of a variety over such a function field. In this context we also study algebraic versions of van Kampen's theorem, describing the global absolute Galois group as a pushout of local absolute Galois groups.
Non-arithmetic hyperbolic orbifolds attached to unitary Shimura varieties
本文提出利用复算术球商上的反全纯对合并沿测地子空间粘合的方法，为所有 n>1 在 PO(n,1) 中构造非算术格，并得到可显式计算体积的完备实双曲 orbifold。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。