Questions tagged [heights]
The heights tag has no usage guidance.
52
questions
0
votes
0
answers
29
views
On the Lipschitz parametrizability of polynomials of fixed Mahler measure
Background
For a polynomial $f(x) = a(x-\alpha_1) \cdots (x - \alpha_n) \in \mathbb{C}[x]$, its Mahler measure is defined to be
$$M(f) = |a| \prod_{i=1}^n \max\{1, |\alpha_i|\}$$
In Lemma 1, Masser-...
2
votes
0
answers
63
views
The Weil height on a generic fiber of family of abelian variety
In the paper Canonical heights on varieties with morphisms by Joseph H. Silverman, in page 184 (which is page 23 in the PDF) Silverman uses Lang's Fundamentals of Diophantine Geometry to show that
$$|...
2
votes
0
answers
114
views
The connection of Faltings height and Tate module
Suppose $K$ is a number field, $S$ a finite set of places of $K$, and $A$ is an abelian scheme over $\mathcal O_{K,S}$. I want to ask is there some connections between the Faltings' height $h_F(A)$ ...
4
votes
1
answer
213
views
Definition of intersection pairing on an arithmetic surface
$\def\div{\operatorname{div}} \def\Spec{\operatorname{Spec}}$Let $K$ be a number field, $O_K$ be the ring of integers, and $X \to \Spec(O_K)$ be a regular arithmetic surface. I want to understand how ...
5
votes
1
answer
114
views
How should multiplicative height on projective space interact with automorphisms?
Background on heights
Consider $P = [a: b] \in \mathbb{P}^1(\mathbb{Q})$, where $a,b$ are coprime integers. We define the naive (multiplicative) height as
$$H(P) = \max \{|a|, |b|\}$$
We can change ...
1
vote
0
answers
125
views
Height on $\mathbb G^n_m$ and Néron–Tate heights
Let $A$ be an abelian variety over $\overline{\mathbb{Q}}$ and let $L$ be a line bundle on $A$. Then a Néron–Tate height $\hat h_L$ can be defined by taking a model $\mathcal A$ of $A$ (over the ring ...
6
votes
2
answers
282
views
Does the $p$-adic regulator depend on Weierstrass model?
I am a little confused on the $p$-adic regulator on elliptic curves and what happens when you switch to different Weierstrass models. Restrict to ell. curves over $\mathbb Q$ for simplicity.
From my ...
3
votes
1
answer
233
views
Are there any quadratic functions on an abelian variety not from the height machine?
Let $X$ be an abelian variety defined over a number field $K$. We know that the Neron--Tate height machine associates to a class in the Picard group of $X$ a unique quadratic function which is zero at ...
7
votes
1
answer
556
views
Weil height vs Moriwaki height
Let $X$ be a projective veriety over a number field. After fixing an embedding into $\mathbb P^n$ (i.e. a very ample line bundle $L$), one can define the Weil height $\hat h_{L}$ by restriction of the ...
15
votes
3
answers
775
views
Height functions on $\mathcal{M}_g(\overline{\Bbb{Q}})$ defined via dessins d'enfants?
Belyi's theorem establishes a correspondence between smooth projective curves defined over number fields and the so called dessins d'enfants which are bipartite graphs embedded on an oriented surface ...
6
votes
0
answers
210
views
Rational points on varieties whose anticanonical bundle is nef but not ample
Is the following plausible?
"If $X$ is a variety over $\mathbf{Q}$ whose anticanonical bundle $L$ is nef but not ample, there is a number field $K$ such that $X(K)$ contains an infinite set of ...
15
votes
3
answers
2k
views
Integration of a function over 7-sphere
Suppose we have $x_1^2 + y_1^2 + x_2^2 + y_2^2 + x_3^2 + y_3^2 + x_4^2 + y_4^2 = 1$ and we define $z_j = x_j + iy_j$, where $j = 1,\,2,\,3,\,4$.
The problem is finding or approximating the ...
3
votes
1
answer
355
views
What is the "geometric height" mentioned by Moriwaki?
Let $K$ be a finitely generated field over $\mathbb{Q}$ of transcendence degree 1, and take a curve $C$ over a number field $k$ such that $k(C)=K$. In "Arithmetic height functions over finitely ...
1
vote
0
answers
106
views
how often can a fixed prime be anomalous?
Let $p$ be a fixed prime. Say for simplicity $p>5$. As we vary over all elliptic curves $E/\mathbb{Q}$ of height $< X$, can one (expect to) say anything about what proportion of elliptic curves ...
2
votes
0
answers
152
views
Faltings' height theorem for isogenies over finite fields
For an Abelian scheme over a ring of integers in a number field, Faltings has a theorem that describes how the Faltings' height changes through an isogeny. There are multiple references for this ...
1
vote
0
answers
133
views
Clarification regarding the definition of absolute height of an algebraic number
According to page 1-2 of this paper (https://arxiv.org/abs/0906.4286), Mahler has established the inequality
$$|\alpha_1 - \alpha_2| \geq H(\alpha_1)^{-(d-1)} \tag 1 $$
to be valid for all pairs of ...
2
votes
0
answers
182
views
References for heights of algebraic or projective variety
In my research I am using the notion of a $\textbf{rational function f on a domain}\: U\subset \mathbb C^{n}$. By this I mean that the graph of $f$ is an analytic component of an affine variety $X$ ...
5
votes
1
answer
361
views
Deligne's example of $\deg \pi_{*}\Omega_{X/Y}<0$
While reviewing Lang's book on Arakelov theory, I saw the following comment by Paul Vojta:
"...Deligne has found an example when $\deg \pi_{*}\Omega_{X/Y}$ can be negative, because Green's functions ...
3
votes
0
answers
60
views
Heights of semiabelian varieties
Fix a prime number $l$. Let $K$ be a finite extension of $\mathbb{Q}$ and $R$ be the ring of integers in $K$.
In Chapter 2 of the Storrs volume (Cornell-Silverman) it is claimed that it is not ...
9
votes
0
answers
378
views
Number fields ordered by discriminant
Since the discriminant of a number field $K \neq \mathbb{Q}$ is bounded from below by an exponential of the degree $[K:\mathbb{Q}]$, for instance by Minkowski's Geometry of Numbers bound, there are ...
8
votes
0
answers
343
views
Comparison between Faltings height and Modular Height
Motivation/Context: In Faltings’ proof of the Mordell conjecture, there is a theorem that establishes a finiteness of abelian varieties with respect to the Faltings height under certain conditions. ...
9
votes
0
answers
326
views
Is this a possible strengthening of the Lehmer conjecture?
Here is another possible refinement of the Lehmer conjecture.
For $\alpha \in \overline{\mathbb{Q}}^{\times}$, let $C_{\alpha} \subseteq \mathbb{Q}(\alpha)$ be the maximal cyclotomic field contained ...
6
votes
0
answers
227
views
Faltings height variation "at place of bad reduction''
Is there any example in the literature where someone has considered the problem of bounding the variation of Faltings height at a place of bad reduction? Specifically, if $A_i$ for $i\in \{1,2\}$ are ...
1
vote
1
answer
140
views
Transformation of height on projective varieties
I am trying to find a reference for the following statement: let $X$ and $Y$ be projective varieties defined over $ \mathbb{Q}$ and $\phi: X \to Y$ be a rational map defined over $ \mathbb{Q}$. Denote ...
1
vote
1
answer
410
views
Heights of multiples of rational points on elliptic curves
Let $E/\mathbb{Q}$ be an elliptic curve, given by some minimal Weierstrass equation (say $Y^2 = X^3 + aX + b$ for some integer $a$ and $b$), and let $P$ be a rational point on $E$ which is not the ...
5
votes
2
answers
382
views
Mahler measure of a totally positive, expanding algebraic integer
Consider a degree-$d$ algebraic integer $\alpha$ all of whose conjugates (including itself) are real numbers greater than 1. Its Mahler measure $M(\alpha)$ is simply equal to the norm $N(\alpha)$. ...
2
votes
1
answer
377
views
Can we define a height function for a variety over a finite field?
That is, is there a way to measure the complexity of a point over a finite field the same way we do it over number fields?
2
votes
0
answers
165
views
algorithm to find a new point of small height in a number field extension
By the height of an algebraic number $\alpha$, I mean the absolute, logarithmic (additive) Weil height $h(\alpha)$; e.g. $h(2^{1/n}) = (\log 2)/n.$
If $K$ is a number field, let $\delta(K)$ denote ...
7
votes
1
answer
402
views
Weil height of an Abelian Variety with everywhere (potentially) good reduction
Background: Suppose that $E$ is an elliptic curve over $\mathbb{Q}$ with everywhere (potentially) good reduction. there are many ways to define the height of $E$, and I will be concerned with the ...
9
votes
2
answers
817
views
How did height in algeb. number theory/elliptic curves started?
Maybe this is obvious but it isn't to me yet. What is the history of heights used in say points of the project plane over a number field or of elliptic curve over a number field? I would guess people ...
14
votes
3
answers
915
views
Asymptotics for algebraic numbers of height less than one
The question. Is an asymptotic equivalent known or conjectured for the number $N(d)$ of $\alpha \in \bar{\mathbb{Q}}$ with $h(\alpha) < 1$ and $[\mathbb{Q}(\alpha):\mathbb{Q}] \leq d$?
The rather ...
1
vote
0
answers
131
views
Points with minimal height
Let $K$ be an algebraically number field and $$\phi : \mathbb P^n (K) \to \mathbb P^m (K)$$ a polynomial map, such that $\forall \alpha \in \mathbb P^n$, where $\alpha = [\alpha_0, \dots , \alpha_n]$, ...
3
votes
0
answers
198
views
Lang's height conjecture over $\mathbb{F}_q(T)$?
Is the canonical height of a non-torsion $\mathbb{F}_q(T)$-rational point of an elliptic curve over $\mathbb{F}_q(T)$ known or supposed to be bounded from below by an absolute positive number (or ...
2
votes
0
answers
159
views
Must the coordinates of a polynomial iteration have about the same size?
Original post. The following statements seem plausible (not to say intuitively obvious), but I do not see how to prove them.
Let us say that a polynomial mapping of $\mathbb{C}^2$ is reducible if ...
5
votes
1
answer
665
views
Examples of "nice" properties of algebraic extensions of $\mathbb{Q}$
I am writing a short survey of some "nice'' properties of algebraic extensions of $\mathbb{Q}$. Let's say a property (P) is nice if
every finite extension of $\mathbb{Q}$ satisfies (P), and
if $K \...
2
votes
0
answers
418
views
algebraicity of Néron-Tate canonical height for Abelian varieties over global function fields
(transcendence of canonical heights)
Is the Néron-Tate canonical height for an Abelian variety $A$ over a global function field $K$, $\hat{h}: A(K) \times A^\vee(K) \to \mathbf{R}$ known to always ...
4
votes
1
answer
463
views
relation between Faltings height and periods
Let $E$ be an elliptic curve defined by an equation $y^2=4x^3+ax+b$ where $a$ and $b$ are algebraic numbers. What is the relation between the Faltings height $h_F(E)$ and the periods
$$
\int_{\gamma} ...
5
votes
2
answers
871
views
Reference request for the theory of heights over function fields
I am looking for an article or book where the theory of heights over function fields (in any characteristic) is treated. I am especially interested in Northcott-type statements. For instance, over a ...
7
votes
2
answers
1k
views
questions on Néron-Tate canonical height
I have three questions regarding height pairings:
In [Serre, Lectures on the Mordell-Weil theorem], p. 85 f., it is stated that the following function is a local height function:
"Let $V/R$ be a ...
5
votes
1
answer
802
views
Does the Mordell conjecture imply the Shafarevich conjecture
The base field is a number field.
It is known that the Shafarevich conjecture implies the Mordell conjecture (Kodaira-Parshin).
Is the converse also true?
Note that both conjectures are now ...
2
votes
0
answers
354
views
modern reference for Néron's "Quasi-fonctions et Hauteurs sur les Varietes Abeliennes"
Is there a modern reference for Néron's "Quasi-fonctions et Hauteurs sur les Varietes Abeliennes" http://www.jstor.org/pss/1970644 i.e. using Grothendieck's language of schemes and in English?
3
votes
2
answers
735
views
Almost Northcott properties for heights of abelian varieties
Let $h$ be a function on the moduli space of abelian varieties of dimension $g$ over $\overline{\mathbf{Q}}$.
Let $K$ be a number field and let $g\geq 2$ be an integer. Fix a real number $C$. Does ...
2
votes
1
answer
244
views
Is there an easier argument to prove that almost all of these curves have no semi-stable reduction
Fix a number field $K$ and a polynomial $F(x)\in K[x]$ of degree at least $4$. For a squarefree integer $d$, define the curve $X_d$ over $K$ by the equation $dy^2 = F(x)$. Note that the curves $X_d$ ...
12
votes
2
answers
423
views
Records for low-height points on elliptic curves over number fields
Elkies maintains a list of nontorsion points of low height on elliptic curves over Q; does anyone know of anything similar for curves over number fields?
Everest and Ward give examples of points of ...
11
votes
1
answer
1k
views
Which curves have stable Faltings height greater or equal to 1
Let $Y$ be a smooth projective connected curve of genus $g>0$ over $\overline{\mathbf{Q}}$. Let $h_{\textrm{Fal}}(Y)$ be the Faltings height of $Y$.
Question 1. Can one classify or describe the ...
2
votes
2
answers
814
views
Comparing the height of an algebraic number with the height of its conjugates
Let $\bar{\mathbf{Q}}$ be an algebraic closure of the rationals, and $\alpha$ denote an algebraic number in $\bar{\mathbf{Q}}$. We define the height of $\alpha$, denoted by $H(\alpha)$, to be $$H(\...
23
votes
2
answers
2k
views
The divisor bound in number fields
The divisor bound asserts that for a large (rational) integer $n \in {\bf Z}$, the number of divisors of $n$ is at most $n^{o(1)}$ as $n \to \infty$. It is not difficult to prove this bound using the ...
13
votes
2
answers
1k
views
Families of curves for which the Belyi degree can be easily bounded
I know (edit: three) families of smooth projective connected curves over $\bar{\mathbf{Q}}$ for which the Belyi degree is not hard to bound from above.
The modular curves $X(n)$. They are ...
7
votes
1
answer
1k
views
Beilinson's height pairing vs. Néron–Tate
In the literature there are several different definitions of what is often referred to as Beilinson's height pairing (see for example section 4.3.8 of Gillet and Soulé's paper Arithmetic intersection ...
1
vote
2
answers
316
views
Equidistribution in the unit interval of numbers in a real field with bounded Mahler measure
Let $K$ be a real number field, together with a fixed immersion in $\mathbb{R}$, and for each positive real number $M$ consider the set $S_M(K)$ of elements in $K \cap [0,1]$ having Mahler measure ...