Related papers: Canonical heights for correspondences

Let $f: \mathbb{P}^1\to \mathbb{P}^1$ be a map of degree $>1$ defined over a function field $k = K(X)$, where $K$ is a number field and $X$ is a projective curve over $K$. For each point $a \in \mathbb{P}^1(k)$ satisfying a dynamical…

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…

In recent work with Bhatt and Morrow, we defined a new integral p-adic cohomology theory interpolating between etale and de Rham cohomology. An unexpected feature of this cohomology is that in coordinates, it can be computed by a…

For a cycle of codimension 1 in a toric variety, its degree with respect to a nef toric divisor can be understood in terms of the mixed volume of the polytopes associated to the divisor and to the cycle. We prove here that an analogous…

The aim of this paper is to study a conjecture predicting a lower bound on the canonical height on abelian varieties, formulated by S. Lang and generalized by J. H. Silverman. We give here an asymptotic result on the height of Heegner…

We show that the canonical-lift construction for ordinary elliptic curves over perfect fields of characteristic $p>0$ extends uniquely to arbitrary families of ordinary elliptic curves, even over $p$-adic formal schemes. In particular, the…

Let $M$ be a closed manifold of Sasaki type. A polarization of $M$ is defined by a Reeb vector field, and for one such, we consider the set of all Sasakian metrics compatible with it. On this space, we study the functional given by the…

The Chabauty--Coleman--Kim method in depth two describes the rational points on a curve in terms of a generalisation of Nekov\'a\v{r}'s $p$-adic height pairing which replaces $\mathbb{G}_m$ with a higher Chow group. It is unclear both what…

In this article we prove the existence of a canonical theta structure for the canonical lift of an ordinary abelian variety.

The canonical formalism for expanding metrics scenarios is presented. Non-unitary time evolution implied by expanding geometry is described as a trajectory over unitarily inequivalent representations at different times of the canonical…

We prove a lower bound on the canonical height associated to polynomials over number fields evaluated at points with infinite forward orbit. The lower bound depends only on the degree of the polynomial, the degree of the number field, and…

The canonical polynomial is an important output of the multivariable topological Poincar\'e series associated with a normal surface singularity. It can be considered as a multivariable polynomial generalization of the Seiberg--Witten…

We study two closely related objects associated with plane domains bounded by rational algebraic arcs: canonical forms in the sense of positive geometry and normalized moment-generating functions, or Fantappie transforms. For polygons these…

Let A be the jacobian variety of a hyperelliptic curve defined over a number field k. We provide a decomposition formula for the Faltings height of A and for the N\'eron-Tate height of k-rational points on A. We formulate a question of…

For a morphism $f : X \to Y$ of schemes, we give a tropical criterion for which points of $Y$ (valued in a field, discrete valuation ring, number ring, or Dedekind domain) lift to $X$. Our criterion extends the firmaments of Abramovich to a…

The canonical structure of theories whose Lagrangian contains higher powers of time derivatives is often obscured by the nonlinear relationship between the velocities and momenta. We use the Dirac formalism and define a generalized Legendre…

We prove that the N\'eron-Tate height of subvarieties are always rational numbers. We use the induction formula, and characterize the canonical metric by theta functions.

We establish the dynamical Northcott property for polarized endomorphisms of a projective variety over a function field $\mathbf{K}$ of characteristic zero, and we relate this property to the notion of stability in complex dynamics. This…

We give a formula with explicit error term for the number of $K$-rational points $P$ satisfying $H(f(P)) \le X$ as $X \to \infty$, where $f$ is a nonconstant morphism between projective spaces defined over a number field $K$ and $H$ is the…

Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the ordered structure and it does so in a purely algebraic and…