Related papers: Canonical heights and the arithmetic complexity of…

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…

We initiate a study of the homomorphism domination exponent of a pair of graphs F and G, defined as the maximum real number c such that |Hom(F,T)| \geq |Hom(G,T)|^c for every graph T. The problem of determining whether HDE(F,G) \geq 1 is…

Let $S$ be a smooth irreducible curve over $\overline{\mathbb{Q}}$, and let $\mathcal{A} \to S$ be an abelian scheme with a curve $C \subset \mathcal{A}$, both defined over $\overline{\mathbb{Q}}$. In 2020, Barroero and Capuano proved that…

Let $C\subset{\mathbb P}_K^2$ be an algebraic curve over a number field $K$, and denote by $d_K$ the degree of $K$ over ${\mathbb Q}$. We prove that the number of $K$-rational points of height at most $H$ in $C$ is bounded by $c…

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…

Let $X$ be a Gorenstein minimal projective $n$-fold with at worst locally factorial terminal singularities, and suppose that the canonical map of $X$ is generically finite onto its image. When $n<4$, the canonical degree is universally…

It is proved that the degree of a morphism from a smooth projective n-fold with Picard number one to a smooth n-quadric is bounded (provided, of course, that n is at least three). Actually it has been proved some years ago, but I have never…

Given a $2k$-dimensional symplectic space $(Z,F)$ in $N$ variables, $1 < 2k \leq N$, over a global field $K$, we prove the existence of a symplectic basis for $(Z,F)$ of bounded height. This can be viewed as a version of Siegel's lemma for…

Let $\mathbb{F}_q$ be the finite field of order $q$ and $E\subset \mathbb{F}_q^d$, where $4|d$. Using Fourier analytic techniques, we prove that if $|E|>\frac{q^{d-1}}{d}\binom{d}{d/2}\binom{d/2}{d/4}$, then the points of $E$ determine a…

Let $k$ be an algebraically closed field of characteristic $p\neq 0$. Let $G$ be a connected reductive group over $k$, $P \subseteq G$ be a parabolic subgroup and $\lambda: P \longrightarrow \mathbb G_m$ be a strictly anti-dominant…

Let $X$ be a minuscule homogeneous space, an odd quadric, or an adjoint homogenous space of type different from $A$ and $G_2$. Le $C$ be an elliptic curve. In this paper, we prove that for $d$ large enough, the scheme of degree $d$…

It was shown by A. Beauville that if the canonical map $\varphi_{|K_M|}$ of a complex smooth projective surface $M$ is generically finite, then ${\rm deg}(\varphi_{|K_M|})\leq 36$. The first example of a surface with canonical degree 36 was…

The \emph{distance-number} of a graph $G$ is the minimum number of distinct edge-lengths over all straight-line drawings of $G$ in the plane. This definition generalises many well-known concepts in combinatorial geometry. We consider the…

Let $F(x_1,...,x_n)$ be a form of degree $d\geq 2$, which produces a geometrically irreducible hypersurface in $\mathbb{P}^{n-1}$. This paper is concerned with the number of rational points on F=0 which have height at most $B$. Whenever…

Let G = S^d, d = 0, 1 or 3, act freely on a finitistic connected space X. This paper gives the cohomology classification of X if a mod 2 or rational cohomology of the orbit space X/G is isomorphic to the product of a projective space and…

Let X be the graph in the plane of a pfaffian function f (in the sense of Khovanskii). Suppose X is not algebraic. This note gives an upper bound for the number of rational points on X of height up to X. The bound is uniform in the order…

Let $\F_p = \Z/p\Z$. The \emph{height} of a point $\mathbf{a}=(a_1,..., a_d) \in \F_p^d$ is $h_p(\mathbf{a}) = \min \left\{\sum_{i=1}^d (ka_i \mod p) : k=1,...,p-1\right\}.$ Explicit formulas and estimates are obtained for the values of the…

We prove that graphs G, G' satisfy the same sentences of first-order logic with counting of quantifier rank at most k if and only if they are homomorphism-indistinguishable over the class of all graphs of tree depth at most k. Here G, G'…

This paper is an enhancement of the previous note "Explicit computations of Zariski decompositions on P_Z^1". In this paper, we observe several properties of a certain kind of an arithmetic divisor D on the n-dimensional projective space…

An extension of algebras is a homomorphism of algebras preserving identities. We use extensions of algebras to study the finitistic dimension conjecture over Artin algebras. Let $f: B \to A$ be an extension of Artin algebras. We denote by…