Related papers: Canonical heights and division polynomials
We study the j-invariant of the canonical lifting of an elliptic curve as a Witt vector. We prove that its Witt coordinates lie in an open affine subset of the j-line and deduce the existence of a universal formula for the j-invariant of…
We give a new proof of a slightly weaker form of a theorem of P. Colmez. This theorem gives a formula for the Faltings height of abelian varieties with complex multiplication by a C.M. field whose Galois group over $\bf Q$ is abelian; it…
Let $f(x) = x^{2g+1} + c_1 x^{2g} + \dots + c_{2g+1} \in k[x]$ be a polynomial of nonzero discriminant, and let $J$ denote the Jacobian of the odd hyperelliptic curve $C : y^2 = f(x)$. We show that the morphism $J \to \mathbb{P}^{2^g-1}$…
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…
In this paper, we give sharp upper and lower bounds for the number of degenerate monic (and arbitrary, not necessarily monic) polynomials with integer coefficients of fixed degree $n \ge 2$ and height bounded by $H \ge 2$. The polynomial is…
Quadratic Chabauty is a $p$-adic method for determining rational points on curves. Local heights are arithmetic invariants used in the quadratic Chabauty method. We present an algorithm to compute these local heights for hyperelliptic…
In this paper we investigate the following related problems: (A) the separation of $p$-adic roots of integer polynomials of a fixed degree and bounded height; and (B) counting integer polynomials of a fixed degree and bounded height with…
Given a canonical genus three curve $X=\{F=0\}$, we construct, emulating Mumford discussion for hyperelliptic curves, a set of equations for an affine open subset of the jacobian $JX$. We give explicit algorithms describing the law group in…
We construct canonical heights of subvarieties for dynamical system of several morphisms associated with line bundles defined over a number field, and study some of their properties. We also construct invariant currents for such systems…
We prove that if $f$ is a polynomial over a number field $K$ with a finite superattracting periodic point and a non-archimedean place of bad reduction, then there is an $\epsilon>0$ such that only finitely many $P\in K^{\text{ab}}$ have…
Results on matrix canonical forms are used to give a complete description of the higher rank numerical range of matrices arising from the study of quantum error correction. It is shown that the set can be obtained as the intersection of…
We describe an algorithm that provably computes the rational torsion subgroup of the Jacobian of a curve without relying on height bounds. Instead, the strategy is to find upper bounds for the torsion subgroup using reduction modulo primes,…
We introduce the notion of a `canonical' splitting over Z or ZxZ for a finitely generated group G. We show that when G happens to be the fundamental group of an orientable Haken manifold M with incompressible boundary, then the…
We prove the existence of a gap around zero for canonical height functions associated to endomorphisms of projective spaces defined over complex function fields. We also prove that if the rational points of height zero are Zariski dense,…
In this paper, we give a uniform upper bound on the rational points of bounded height provided by conics in a cubic surface. For this target, we give a generalized version of the global determinant method of Salberger by Arakelov geometry.
The method of subquotients is developed and used to determine all finite dimensional rank 2 Nichols algebras of diagonal type over an arbitrary field of characteristic zero. Key Words: Hopf algebra, Nichols algebra
In his previous papers (Math. Res. Letters 7 (2000), 123--13; Math. Res. Letters 8 (2001), 429--435; Moscow Math. J. 2 (2002), issue 2, 403-431) the author proved that in characteristic $\ne 2$ the jacobian $J(C)$ of a hyperelliptic curve…
To compute generators for the Mordell-Weil group of an elliptic curve over a number field, one needs to bound the difference between the naive and the canonical height from above. We give an elementary and fast method to compute an upper…
In these lectures we cover basics of the theory of heights starting with the heights in the projective space, heights of polynomials, and heights of the algebraic curves. We define the minimal height of binary forms and moduli height for…
In this note we give an overview of various quantities that are used to measure the complexity of an algebraic dynamical system f:X-->X, including the dynamical degree d(f), which gives a coarse measure of the geometric complexity of the…