Atsushi Moriwaki
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).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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.
We show that the height of a variety over a finitely generated field of characteristic zero can be written as an integral of local heights over the set of places of the field. This allows us to apply our previous work on toric varieties and extend our combinatorial formulae for the height to compute some arithmetic intersection numbers of non toric arithmetic varieties over the rational numbers.
For several applications in the arithmetic of abelian varieties it is important to compute canonical heights. Following Faltings and Hriljac, we show how the canonical height on the Jacobian of a smooth projective curve can be computed using arithmetic intersection theory on a regular model of the curve in practice. In the case of hyperelliptic curves we present a complete algorithm that has been implemented in Magma. Several examples are computed and the behavior of the running time is discussed.
We give a mathematical structure on an arithmetic surface, that has algebraic meanings over finite places and can estimate the canonical norm for a relative differential form on the arithmetic surface. This will give a lower bound for the canonical norm for a relative differential form on an arithmetic surface, which proves a Height Inequality on the arithmetic surface.
We extend the Faltings modular heights of abelian varieties to general arithmetic varieties and show direct relations with the Kahler-Einstein geometry, the Minimal Model Program, heights of Bost and Zhang, and give some applications. Along the way, we propose arithmetic Yau-Tian-Donaldson conjecture, an equivalence of a purely arithmetic property of variety and its metrical property, and partially confirm it.
Heights on toric varieties for singular metrics: Global theory
本文提出了一种极核种的极值理论，通过凹函数积分计算极核算术品种的极值。
We prove height bounds concerning intersections of finitely generated subgroups in a torus with algebraic subvarieties, all varying in a pencil. This vastly extends the previously treated constant case and involves entirely different, and more delicate, techniques.
We introduce a new canonical height function for Jordan blocks of small eigenvalues for endomorphisms on smooth projective varieties over a number field. We prove that under an assumption on the eigenvalues of the endomorphism on the group of divisors modulo numerical equivalence, the arithmetic degree at a rational point is equal to one if and only if it is preperiodic under the endomorphism.
We develop a theory of vector-valued heights and intersections defined relative to finitely generated extensions K/k. These generalize both number field and geometric heights. When k is Q or F_p, or when a non-isotriviality condition holds, we obtain Northcott-type results. We then prove a version of the Hodge Index Theorem for vector-valued intersections, and use it to prove a rigidity theorem for polarized dynamical systems over any field.
We show that if the automorphism group of a projective variety is torsion, then it is finite. Motivated by Lang's conjecture on rational points of hyperbolic varieties, we use this to prove that a projective variety with only finitely many rational points has only finitely many automorphisms. Moreover, we investigate to what extent finiteness of $S$-integral points on a variety over a number field persists over finitely generated fields. To this end, we introduce the class of mildly bounded varieties and prove a general criterion for proving this persistence.
We present bounds for the degree and the height of the polynomials arising in some central problems in effective algebraic geometry including the implicitation of rational maps and the effective Nullstellensatz over a variety. Our treatment is based on arithmetic intersection theory in products of projective spaces and extends to the arithmetic setting constructions and results due to Jelonek. A key role is played by the notion of canonical mixed height of a multiprojective variety. We study this notion from the point of view of resultant theory and establish some of its basic properties, incl…
In this paper, we prove an explicit arithmetic intersection formula between arithmetic Hirzebruch-Zagier divisors and arithmetic CM cycles in a Hilbert modular surface over $\mathbb Z$. As applications, we obtain the first `non-abelian' Chowla-Selberg formula, which is a special case of Colmez's conjecture; an explicit arithmetic intersection formula between arithmetic Humbert surfaces and CM cycles in the arithmetic Siegel modular variety of genus two; Lauter's conjecture about the denominators of CM values of Igusa invariants; and a result about bad reductions of CM genus two curves.
Heights and quantitative arithmetic on stacky curves
本文研究堆叠曲线上的E-S-ZB高度，构造对偶高度、计数有界高度有理点，并揭示其Northcott性质及Vojta猜想与abc猜想的等价性。
We describe a general algorithm for computing intersection pairings on arithmetic surfaces. We have implemented our algorithm for curves over $\mathbb Q$, and we show how to use it to compute regulators for a number of Jacobians of smooth plane quartics, and to numerically verify the conjecture of Birch and Swinnerton-Dyer for the Jacobian of the split Cartan curve of level 13, up to squares.
We present sharp estimates for the degree and the height of the polynomials in the Nullstellensatz over $\Z$. The result improves previous work of Philippon, Berenstein-Yger and Krick-Pardo. We also present degree and height estimates of intrinsic type, which depend mainly on the degree and the height of the input polynomial system. As an application, we derive an effective arithmetic Nullstellensatz for sparse polynomial systems. The proof of these results relies heavily on the notion of local height of an affine variety defined over a number field. We introduce this notion and study its basi…
Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$ representing $L$ is finite by showing that the moduli stack of such hypersurfaces has only finitely many $R$-points. We accomplish this by using level structures to interpolate finiteness results between this moduli stack and the stack of canonically polarized varieties.
We present an upper bound for the height of the isolated zeros in the torus of a system of Laurent polynomials over an adelic field satisfying the product formula. This upper bound is expressed in terms of the mixed integrals of the local roof functions associated to the chosen height function and to the system of Laurent polynomials. We also show that this bound is close to optimal in some families of examples. This result is an arithmetic analogue of the classical Bernštein-Kušnirenko theorem. Its proof is based on arithmetic intersection theory on toric varieties.
Modular Heights of Unitary Shimura Varieties II: Arithmetic Generating Series of Divisors
本文通过定义并计算酉 Shimura 簇上除子的算术生成级数及其算术相交数，推导了酉 Shimura 曲线的模高公式及其上 CM 点的高度公式。
Given a toric metrized R-divisor on a toric variety over a global field, we give a formula for the essential minimum of the associated height function. Under suitable positivity conditions, we also give formulae for all the successive minima. We apply these results to the study, in the toric setting, of the relation between the successive minima and other arithmetic invariants like the height and the arithmetic volume. We also apply our formulae to compute the successive minima for several families of examples, including weighted projective spaces, toric bundles and translates of subtori.
We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and `discrete Shafarevich-Tate groups', and prove that they are finitely generated $\Bbb Z$-modules. Further, we prove that in the isotrivial case, the discrete Shafarevich-Tate group vanishes and the discrete Selmer group coincides with the Mordell-Weil group. One of the key ingredients to prove these results is a new specialisation theorem à la Néron for first Galo…
A system of transformations is associated to a rational point on an elliptic curve. The sequence entropy is connected to the canonical height, and in some cases there is a canonically defined quotient system whose entropy is the canonical height and for which the fibre entropy is accounted for by local heights at primes of bad reduction. The proofs use transcendence theory and a strong form of Siegel's theorem. We go on to extend these ideas to the morphic heights of Call and Goldstine.
We show that the height of a toric variety with respect to a toric metrized line bundle can be expressed as the integral over a polytope of a certain adelic family of concave functions. To state and prove this result, we study the Arakelov geometry of toric varieties. In particular, we consider models over a discrete valuation ring, metrized line bundles, and their associated measures and heights. We show that these notions can be translated in terms of convex analysis, and are closely related to objects like polyhedral complexes, concave functions, real Monge-Ampère measures, and Legendre-Fen…
Assuming Vojta's conjecture, we give a sufficient condition for the limit \[ \lim_{n \to \infty} \frac{h_{Y}(f^{n}(x))}{h_{H}(f^{n}(x))} \] is equal to zero, where $f \colon X \longrightarrow X$ is a surjective self-morphism on a smooth projective variety $X$, $h_{H}$ is an ample height function on $X$, and $h_{Y}$ is a global height function associated with a closed subscheme $Y \subset X$ of codimension at least two. Based on this, we propose a conjecture on a sufficient condition for the limit to be zero. We point out that our conjecture implies Dynamical Mordell-Lang conjecture for endomor…
We present an explicit expression for the normalized height of a projective toric variety. This expression decomposes as a sum of local contributions, each term being the integral of a certain function, concave and piecewise linear-affine. More generally, we obtain an explicit expression for the normalized multiheight of a torus with respect to several monomial embeddings. The set of functions introduced behaves as an arithmetic analog of the polytope classically associated with the torus action. Besides the formulae for the height and multiheight, we show that this object behaves in a natural…
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]).
On the height of the universal abelian variety
本文推广袁-X和张-S.W.的算术相交理论至非nef且不可积的adelic算术除子，用相对有限能量概念证明泛阿贝尔簇上Siegel-Jacobi形式线丛不可积并算出其算术自交数，技术可用于混合Shimura簇等场景。
Let X be a smooth projective surface over a number field, and $f: X \to X$ an automorphism of positive topological entropy. In this paper, we construct a height function on X that behaves well relative to f and deduce some arithmetic properties of (X; f).
Let F and G be morphisms of degree at least 2 from P^N to P^N that are defined over the algebraic closure of Q. We define the arithmetic distance d(F,G) between F and G to be the supremum over all algebraic points P of |h_F(P)-h_G(P)|, where h_F and h_G are the canonical heights associated to the morphisms F and G, respectively. We prove comparison theorems relating d(F,G) to more naive height functions and show that for a fixed G, the set of F satisfying d(F,G) < B is a set of bounded height. In particular, there are only finitely many such F defined over any given number field.
In 1996 as part of the development of arithmetic intersection theory and Arakelov theory, Zhang defined a "GIT height function" for semi-stable algebraic cycles in projective space. In the same work, Zhang conjectured that this height function was positive. We prove this conjecture for zero-cycles and hyperplane arrangements.
We construct natural Green forms for special cycles in orthogonal and unitary Shimura varieties, in all codimensions, and, for compact Shimura varieties of type O(p,2) and U(p,1), we show that the resulting local archimedean height pairings are related to special values of derivatives of Siegel Eisentein series. A conjecture put forward by Kudla relates these derivatives to arithmetic intersections of special cycles, and our results settle the part of his conjecture involving local archimedean heights.
We investigate similarity classes of arithmetic lattices in the plane. We introduce a natural height function on the set of such similarity classes, and give asymptotic estimates on the number of all arithmetic similarity classes, semi-stable arithmetic similarity classes, and well-rounded arithmetic similarity classes of bounded height as the bound tends to infinity. We also briefly discuss some properties of the $j$-invariant corresponding to similarity classes of planar lattices.
Let $B$ be a simple CM abelian variety over a CM field $E$, $p$ a rational prime. Suppose that $B$ has potentially ordinary reduction above $p$ and is self-dual with root number $-1$. Under some further conditions, we prove the generic non-vanishing of (cyclotomic) $p$-adic heights on $B$ along anticyclotomic $\Z_{p}$-extensions of $E$. This provides evidence towards Schneider's conjecture on the non-vanishing of $p$-adic heights. For CM elliptic curves over $\Q$, the result was previously known as a consequence of work of Bertrand, Gross--Zagier and Rohrlich in the 1980s. Our proof is based o…
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.
Let F : P^N --> P^N be a dominant rational map. The dynamical degree of F is the quantity d_F = lim (deg F^n)^(1/n). When F is defined over a number field, we define the arithmetic degree of an algebraic point P to be a_F(P) = limsup h(F^n(P))^(1/n) and the canonical height of P to be h_F(P) = limsup h(F^n(P))/n^k d_F^n for an appropriately chosen integer k = k_F. In this article we prove some elementary relations and make some deep conjectures relating d_F, a_F(P), and h_F(P). We prove our conjectures for monomial maps.
This is an introduction to the topics of the title, from the 2017 Grenoble Summer school on Arakelov geometry and arithmetic applications. We review Arithmetic intersection numbers, explain the definition of the height of a variety and its properties, both in the framework of classical Arakelov geometry and of Zhang's adelic formalism. We then discuss arithmetic ampleness and its application to the equidistribution theorem of Szpiro-Ullmo-Zhang-Yuan, both at complex and nonarchimedean places. We conclude with Ullmo-Zhang's proof of the Bogomolov conjecture over number fields.
In this paper, we will give an upper bound and a lower bound of the arithmetic Hilbert-Samuel function of projective hypersurfaces, which are uniform and explicit. These two bounds have the optimal dominant terms. As an application, we use the lower bound to get an estimate of the density of rational points with small heights in a hypersurface.
Let f : X --> X be an endomorphism of a normal projective variety defined over a global field K, and let D_0,D_1,D_2,... be divisor classes that form a Jordan block with eigenvalue b for the action of f^* on Pic(X) tensored with C. We construct appropriately normalized canonical heights h_0,h_1,h_2,... associated to D_0,D_1,D_2,... and satisfying Jordan transformation formulas h_k(f(x)) = b h_k(x) + h_{k-1}(x). As an application, we prove that for every x in X, the arithmetic degree a_f(x) exists, is an algebraic integer, and takes on only finitely many values as x varies over X. Further, if X…
We show that the dynamical degree of an (i.i.d) random sequence of dominant, rational self-maps on projective space is almost surely constant. We then apply this result to height growth and height counting problems in random orbits.
We generalize the absolute logarithmic Weil height from elements of the multiplicative group of algebraic numbers modulo torsion, to finitely generated subgoups. The height of a finitely generated subgroup is shown to equal the volume of a certain naturally occurring, convex, symmetric subset of Euclidean space. This connection leads to a bound on the norm of integer vectors that give multiplicative dependencies among finite sets of algebraic numbers.
Dynamical Degrees, Arithmetic Degrees, and Canonical Heights: History, Conjectures, and Future Directions
本文综述衡量代数动力系统复杂性的动力学次数、算术次数与标准高度，并梳理相关历史、开放猜想及未来研究方向。
We extend Haran's Diamond Theorem to closed subgroups of a finitely generated free profinite group. This gives an affirmative answer to Problem 25.4.9 in the book Field Arithmetics of Fried and Jarden.
The purpose of this article is to initiate Arakelov theory in a noncommutative setting. More precisely, we are concerned with Arakelov theory of noncommutative arithmetic curves. Our first main result is an arithmetic Riemann-Roch formula in this setup. We proceed with introducing the Grothendieck group of arithmetic vector bundles on a noncommutative arithmetic curve and show that there is a uniquely determined degree map, which we then use to define a height function. We prove a duality theorem for this height.
We investigate sections of arithmetic fundamental groups of hyperbolic curves over function fields. As a consequence we prove that the anabelian section conjecture of Grothendieck holds over all finitely generated fields over $\Bbb Q$ if it holds over all number fields, under the condition of finiteness (of the $\ell$-primary parts) of certain Shafarevich-Tate groups. We also prove that if the section conjecture holds over all number fields then it holds over all finitely generated fields for curves which are defined over a number field.
In this work we prove a new Northcott property for the Faltings height. Namely we show, assuming the Colmez Conjecture and the Artin Conjecture, that there are finitely many CM abelian varieties over the complex numbers of a fixed dimension which have bounded Faltings height. The technique developed uses new tools from integral p-adic Hodge theory to study the variation of Faltings height within an isogeny class of CM abelian varieties. In special cases, we are moreover able to use the technique to develop new Colmez-type formulas for the Faltings height.
We study the Faltings height pairing of arithmetic Heegner divisors and CM cycles on Shimura varieties associated to orthogonal groups. We compute the Archimedian contribution to the height pairing and derive a conjecture relating the total pairing to the central derivative of a Rankin L-function. We prove the conjecture in certain cases where the Shimura variety has dimension 0, 1, or 2. In particular, we obtain a new proof of the Gross-Zagier formula.
We investigate from a statistical perspective the arithmetic properties of the dynamics of polynomials of fixed degree and defined over the field of rational numbers. To start with, ordering their affine conjugacy classes by height, we show that their average number of rational preperiodic points is equal to zero, thereby proving a strong average version of the uniform boundedness conjecture of Morton and Silverman. Next, inspired by the analogy with the successive minima of a lattice we define the dynamical successive minima of a polynomial. Noting that these quantities are invariant under th…
We prove that various arithmetic quotients of the unit ball in $\mathbb{C}^n$ are Mordellic, in the sense that they have only finitely many rational points over any finitely generated field extension of $\mathbb{Q}$. In the previously known case of compact hyperbolic complex surfaces, we give a new proof using their Albanese in conjunction with some key results of Faltings, but without appealing to the Shafarevich conjecture. In higher dimension, our methods allow us to solve an alternative of Ullmo and Yafaev. Our strongest result uses in addition Rogawski's theory and establishes the Mordell…
We apply the theory of Borcherds products to calculate arithmetic volumes (heights) of Shimura varieties of orthogonal type up to contributions from very bad primes. The approach is analogous to the well-known computation of their geometric volume by induction, using special cycles. A functorial theory of integral models of toroidal compactifications of those varieties and a theory of arithmetic Chern classes of integral automorphic vector bundles with singular metrics are used. We obtain some evidence in the direction of Kudla's conjectures on relations of heights of special cycles on these v…
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.
Galois coinvariants and fundamental groups of arithmetic schemes
该研究针对有限生成域上的几何平展基本群与平展上同调，建立特定伽罗瓦扩张下共变式的有限性性质，进而得到数域上算术概型平展基本群的有限性结果。
We generalized several results for the arithmetic dynamics of monomial maps, including Silverman's conjectures on height growth, dynamical Mordell-Lang conjecture, and dynamical Manin-Mumford conjecture. These results are originally known for monomial maps on algebraic tori. We extend the results to arbitrary toric varieties.
In this paper, we show the Hasse principle for the character group of a finitely generated field over the rational number field. By applying this result, we obtain an algebraic proof of unramified class field theory of arithmetical schemes.
Spreading out perverse sheaves
本文研究几何不可约反常层在算术基上的延拓，证明算术柏原猜想并推广分解定理与硬Lefschetz定理。
Towards the Colmez Conjecture
本文通过定义部分CM型的高度并推导算术周期公式，提出将特殊点高度与L函数特殊值联系起来的猜想，从而推进科尔梅兹猜想的几何表述。
Limit heights and special values of the Riemann zeta function
研究射影直线与其挠点平移交点高度的分布，证明极限高度为Riemann zeta函数特殊值商的有理倍数，并从Arakelov几何视角解释为算术Bézout定理的特例。
Let $Γ$ be a centerless irreducible higher rank arithmetic lattice in characteristic zero. We prove that if $Γ$ is either non-uniform or is uniform of orthogonal type and dimension at least 9, then $Γ$ is bi-interpretable with the ring $\mathbb{Z}$ of integers. It follows that the first order theory of $Γ$ is undecidable, that all finitely generated subgroups of $Γ$ are definable, and that $Γ$ is characterized by a single first order sentence among all finitely generated groups.
We study special cycles on integral models of Shimura varieties associated with unitary similitude groups of signature (n-1,1). We construct an arithmetic theta lift from harmonic Maass forms of weight 2-n to the arithmetic Chow group of the integral model of a unitary Shimura variety, by associating to a harmonic Maass form f a linear combination of Kudla-Rapoport divisors, equipped with the Green function given by the regularized theta lift of f. Our main result is an equality of two complex numbers: (1) the height pairing of the arithmetic theta lift of f against a CM cycle, and (2) the cen…
In this article, we extend Grothendieck's standard conjectures to cycles on degenerated fibers and use them to define some decompositions for the arithmetic Chow group of Gillet--Soulé. In the local setting, our decompositions provide non-archimedean analogues of "harmonic forms" on Kähler manifolds. In the global setting, our decompositions provide canonical arithmetic liftings called "L- liftings" of algebraic cycles on varieties over number fields, and thus provide a new height pairing called the L-height pairing as one extension of Beilinson--Bloch's pairing of homologically trivial cycles…
In contrast to the fact that there are only finitely many maximal arithmetic reflection groups acting on the hyperbolic space $\mathbb{H}^n$, $n\geq 2$, we show that: (a) one can produce infinitely many maximal quasi-arithmetic reflection groups acting on $\mathbb{H}^2$; (b) they admit infinitely many different fields of definition; (c) the degrees of their fields of definition are unbounded. However, for $n\geq 14$ an approach initially developed by Vinberg shows that there are still finitely many fields of definitions in the quasi-arithmetic case.
A positive quadratic form is $(k,\ell)$-universal if it represents all the numbers $kx+\ell$ where $x$ is a non-negative integer, and almost $(k,\ell)$-universal if it represents all but finitely many of them. We prove that for any $k,\ell$ such that $k\nmid\ell$ there exists an almost $(k,\ell)$-universal diagonal ternary form. We also conjecture that there are only finitely many primes $p$ for which a $(p,\ell)$-universal diagonal ternary form exists (for any $\ell<p$) and we show the results of computer experiments that speak in favor of the conjecture.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。