相关论文: Canonical Heights and Monomial Maps: On Effective …

In this short note we construct unbounded families of minimal surfaces of general type with canonical map of degree 4 such that the limits of the slopes assume countably many different values among 6+2/3 and 8.

A central problem in Diophantine geometry is to uniformly bound the number of $K$-rational points on a smooth curve $X/K$ in terms of $K$ and its genus $g$. A recent paper by Stoll proved uniform bounds for the number of $K$-rational points…

Let $K$ be a field of characteristic zero over which every diagonal form in sufficiently many variables admits a nontrivial solution. For example, $K$ may be a totally imaginary number field or a finite extension of a $p$-adic field.…

Let $K$ be a number field with algebraic closure $\overline{K}$ and let $S$ be a finite set of places of $K$ containing all the archimedean places. It is known from Silverman's result that a forward orbit of a rational map $\varphi$…

We show that every limit point of a Zariski dense discrete subgroup $\Gamma$ of the isometry group of a symmetric space of noncompact type is conical if and only if $\Gamma$ is convex cocompact.

The critical height of a rational function (with algebraic coefficients) is a natural measure of dynamical complexity, essentially an adelic analogue of the Lyapunov exponent. Coordinate-free, it is well-defined on moduli space, but bears…

Let phi(z) be a polynomial of degree at least 2 with coefficients in a number field K. Iterating phi gives rise to a dynamical system and a corresponding canonical height function, as defined by Call and Silverman. We prove a simple product…

We study the topological invariant $\phi$ of Kwieci\'nski and Tworzewski, particularly beyond the case of mappings with smooth targets. We derive a lower bound for $\phi$ of a general mapping, which is similarly effective as the upper bound…

Special generic maps are higher dimensional versions of Morse functions with exactly two singular points, characterizing spheres topologically except 4-dimensional cases and 4-dimensional standard spheres. The class of such maps also…

This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…

Let $\Gamma$ denote a lattice in $SU(1,p)$, with $p$ greater than 1. We show that there exists no Zariski dense maximal representation with target $SU(m,n)$ if $n>m>1$. The proof is geometric and is based on the study of the rigidity…

We introduce a qualitative conjecture, in the spirit of Campana, to the effect that certain subsets of rational points on a variety over a number field, or a Deligne-Mumford stack over a ring of S-integers, cannot be Zariski dense. The…

We introduce an algorithm that can be used to compute the canonical height of a point on an elliptic curve over the rationals in quasi-linear time. As in most previous algorithms, we decompose the difference between the canonical and the…

In the present work we establish the equality of the canonical metric of two commuting maps on an algebraic variety X. As a consequence the canonical height and measure associated to both maps are identical.

The second author proved that the set of post-critically finite polynomials of given degree is a set of bounded height, up to change of variables. Motivated by an observation about unicritical polynomials, we complement this by proving that…

In this note we present examples of complex algebraic surfaces of general type with canonical maps of degree $10$, $11$ and $14$. They are constructed as quotients of a product of two Fermat septics using certain free actions of the group…

We produce a short and elementary algorithm to compute an upper bound for the canonical dimension of a spit semisimple linear algebraic group. Using this algorithm we confirm previously known bounds by Karpenko and Devyatov as well as we…

We present a new proof of the following theorem of Benoist-Quint: Let $G:=SO^\circ(d,1)$, $d\ge 2$ and $\Delta<G$ a cocompact lattice. Any orbit of a Zariski dense subgroup $\Gamma$ of $G$ is either finite or dense in $\Delta\backslash G$.…

We develop the affine sieve in the context of orbits of congruence subgroups of semi-simple groups acting linearly on affine space. In particular we give effective bounds for the saturation numbers for points on such orbits at which the…

Let $\Gamma$ be a finitely generated subgroup of the multiplicative group $\G_m^2(\bar{Q})$. Let $p(X,Y),q(X,Y)\in\bat{Q}$ be two coprime polynomials not both vanishing at $(0,0)$; let $\epsilon>0$. We prove that, for all $(u,v)\in\Gamma$…