Searcharxiv⌕ Search

arXiv subjects

Frédéric Paulin

Publications and source records attributed to Frédéric Paulin.

At least 37 records · Page 2Linked to original sources
arXiv2019

Integral binary Hamiltonian forms and their waterworlds

We give a graphical theory of integral indefinite binary Hamiltonian forms $f$ analogous to the one by Conway for binary quadratic forms and the one of Bestvina-Savin for binary Hermitian forms. Given a maximal order $\mathcal O$ in a definite quaternion algebra over $\mathbb Q$, we define the waterworld of $f$, analogous to Conway's river and Bestvina-Savin's ocean, and use it to give a combinatorial description of the values of $f$ on $\mathcal O\times\mathcal O$. We use an appropriate normalisation of Busemann distances to the cusps (with an algebraic description given in an independent appendix), and the $\operatorname{SL}_2(\mathcal O)$-equivariant Ford-Voronoi cellulation of the real hyperbolic $5$-space.

math.NT↗
arXiv2019

Counting and equidistribution in quaternionic Heisenberg groups

We develop the relationship between quaternionic hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on quaternionic hyperbolic spaces, especially in dimension $2$. We prove a Mertens counting formula for the rational points over a definite quaternion algebra $A$ over $\mathbb Q$ in the light cone of quaternionic Hermitian forms, as well as a Neville equidistribution theorem of the set of rational points over $A$ in quaternionic Heisenberg groups.

math.DG↗
arXiv2019

On the minima of positive definite binary hamiltonian forms

Let $A$ be a definite quaternion algebra over $\mathbb Q$, with discriminant $D_A$, and $O$ a maximal order of $A$. We show that the minimum of the positive definite hamiltonian binary forms over $O$ with discrimiminant $-1$ is $\sqrt{D_A}$. When the different of $O$ is principal, we provide an explicit form representing this minimum, and when $O$ is principal, we give the list of the equivalence classes of all such forms. We also give criteria and algorithms to determine when the different of $O$ is principal.

math.NT↗
arXiv2019

On the nonarchimedean quadratic Lagrange spectra

We study Diophantine approximation in completions of functions fields over finite fields, and in particular in fields of formal Laurent series over finite fields. We introduce a Lagrange spectrum for the approximation by orbits of quadratic irrationals under the modular group. We give nonarchimedean analogs of various well known results in the real case: the closedness and boundedness of the Lagrange spectrum, the existence of a Hall ray, as well as computations of various Hurwitz constants. We use geometric methods of group actions on Bruhat-Tits trees.

math.NT↗
arXiv2019

A classification of $\mathbb R$-Fuchsian subgroups of Picard modular groups

Given an imaginary quadratic extension $K$ of $\mathbb Q$, we classify the maximal nonelementary subgroups of the Picard modular group $\operatorname{PU}(1,2;\mathcal O_K)$ preserving a totally real totally geodesic plane in the complex hyperbolic plane $\mathbb H^2_\mathbb C$. We prove that these maximal $\mathbb R$-Fuchsian subgroups are arithmetic, and describe the quaternion algebras from which they arise. For instance, if the radius $Δ$ of the corresponding $\mathbb R$-circle lies in $\mathbb N-\{0\}$, then the stabilizer arises from the quaternion algebra $\Big(\!\begin{array}{c} Δ\,,\, |D_K|\\\hline\mathbb Q\end{array} \!\Big)$. We thus prove the existence of infinitely many orbits of $K$-arithmetic $\mathbb R$-circles in the hypersphere of $\mathbb P_2(\mathbb C)$.

math.NT↗
arXiv2018

On continued fraction expansions of quadratic irrationals in positive characteristic

Let $P$ be a prime polynomial in the variable $Y$ over a finite field and let $f$ be a quadratic irrational in the field of formal Laurant series in the variable $Y^{-1}$. We study the asymptotic properties of the degrees of the coefficients of the continued fraction expansion of quadratic irrationals such as $P^nf$ and prove results that are in sharp contrast to the analogue situation in zero characteristic.

math.DS↗
arXiv2016

Equidistribution non-archimédienne et actions de groupes sur les arbres

Nous donnons des résultats d'équidistribution d'éléments de corps de fonctions sur des corps finis, et d'irrationnels quadratiques sur ces corps, dans leurs corps locaux complétés. Nous déduisons ces résultats de théorèmes d'équidistribution de perpendiculaires communes dans des quotients d'arbres par des réseaux de leur groupe d'automorphismes, démontrés à l'aide de propriétés ergodiques du flot géodésique discret. Non-Archimedean equidistribution and group actions on trees. We give equidistribution results of elements of function fields over finite fields, and of quadratic irrationals over these fields, in their completed local fields. We deduce these results from equidistribution theorems of common perpendiculars in quotients of trees by lattices in their automorphism groups, proved by using ergodic properties of the discrete geodesic flow.

math.NT↗
arXiv2015

Escape of mass in homogeneous dynamics in positive characteristic

We show that in positive characteristic the homogeneous probability measure supported on a periodic orbit of the diagonal group in the space of 2-lattices, when varied along rays of Hecke trees, may behave in sharp contrast to the zero characteristic analogue; that is, that for a large set of rays the measures fail to converge to the uniform probability measure on the space of 2-lattices. More precisely, we prove that when the ray is rational there is uniform escape of mass, that there are uncountably many rays giving rise to escape of mass, and that there are rays along which the measures accumulate on measures which are not absolutely continuous with respect to the uniform measure on the space of 2-lattices.

math.DS↗
arXiv2015

Counting common perpendicular arcs in negative curvature

Let $D^-$ and $D^+$ be properly immersed closed locally convex subsets of a Riemannian manifold with pinched negative sectional curvature. Using mixing properties of the geodesic flow, we give an asymptotic formula as $t\to+\infty$ for the number of common perpendiculars of length at most $t$ from $D^-$ to $D^+$, counted with multiplicities, and we prove the equidistribution in the outer and inner unit normal bundles of $D^-$ and $D^+$ of the tangent vectors at the endpoints of the common perpendiculars. When the manifold is compact with exponential decay of correlations or arithmetic with finite volume, we give an error term for the asymptotic. As an application, we give an asymptotic formula for the number of connected components of the domain of discontinuity of Kleinian groups as their diameter goes to $0$.

math.DG↗
arXiv2015

Counting and equidistribution in Heisenberg groups

We strongly develop the relationship between complex hyperbolic geometry and arithmetic counting or equidistribution applications, that arises from the action of arithmetic groups on complex hyperbolic spaces, especially in dimension $2$. We prove a Mertens' formula for the integer points over a quadratic imaginary number fields $K$ in the light cone of Hermitian forms, as well as an equidistribution theorem of the set of rational points over $K$ in Heisenberg groups. We give a counting formula for the cubic points over $K$ in the complex projective plane whose Galois conjugates are orthogonal and isotropic for a given Hermitian form over $K$, and a counting and equidistribution result for arithmetic chains in the Heisenberg group when their Cygan diameter tends to $0$.

math.DG↗
arXiv2015

A classification of $\mathbb C$-Fuchsian subgroups of Picard modular groups

Given an imaginary quadratic extension $K$ of $\mathbb Q$, we give a classification of the maximal nonelementary subgroups of the Picard modular group $\operatorname{PSU}_{1,2}(\mathcal O_K)$ preserving a complex geodesic in the complex hyperbolic plane $\mathbb H^2_\mathbb C$. Complementing work of Holzapfel, Chinburg-Stover and Möller-Toledo, we show that these maximal $\mathbb C$-Fuchsian subgroups are arithmetic, arising from a quaternion algebra $\Big(\!\begin{array}{c} D\,,D_K\\\hline\mathbb QQ\end{array} \!\Big)$ for some explicit $D\in\mathbb N-\{0\}$ and $D_K$ the discriminant of $K$. We thus prove the existence of infinitely many orbits of $K$-arithmetic chains in the hypersphere of $\mathbb P_2(\mathbb C)$.

math.NT↗
arXiv2015

A survey of some arithmetic applications of ergodic theory in negative curvature

This paper is a survey of some arithmetic applications of techniques in the geometry and ergodic theory of negatively curved Riemannian manifolds, focusing on the joint works of the authors. We describe Diophantine approximation results of real numbers by quadratic irrational ones, and we discuss various results on the equidistribution in $\mathbb R$, $\mathbb C$ and in the Heisenberg groups of arithmetically defined points. We explain how these results are consequences of equidistribution and counting properties of common perpendiculars between locally convex subsets in negatively curved orbifolds, proven using dynamical and ergodic properties of their geodesic flows. This exposition is based on lectures at the conference "Chaire Jean Morlet: Géométrie et systèmes dynamiques", at the CIRM, Luminy, 2014. We thank B. Hasselblatt for his strong encouragements to write this survey.

math.NT↗
arXiv2014

Logarithm laws for equilibrium states in negative curvature

Let $M$ be a pinched negatively curved Riemannian manifold, whose unit tangent bundle is endowed with a Gibbs measure $m_F$ associated to a potential $F$. We compute the Hausdorff dimension of the conditional measures of $m_F$. We study the $m_F$-almost sure asymptotic penetration behaviour of locally geodesic lines of $M$ into small neighbourhoods of closed geodesics, and of other compact (locally) convex subsets of $M$. We prove Khintchine-type and logarithm law-type results for the spiraling of geodesic lines around these objects. As an arithmetic consequence, we give almost sure Diophantine approximation results of real numbers by quadratic irrationals with respect to general Hölder quasi-invariant measures.

math.DS↗
arXiv2013

On the hyperbolic orbital counting problem in conjugacy classes

Given a discrete group $Γ$ of isometries of a negatively curved manifold $\widetilde M$, a nontrivial conjugacy class $\mathfrak K$ in $Γ$ and $x_0\in\widetilde M$, we give asymptotic counting results, as $t\to +\infty$, on the number of orbit points $γx_0$ at distance at most $t$ from $x_0$, when $γ$ is restricted to be in $\mathfrak K$, as well as related equidistribution results. These results generalise and extend work of Huber on cocompact hyperbolic lattices in dimension $2$. We also study the growth of given conjugacy classes in finitely generated groups endowed with a word metric.

math.DS↗
arXiv2013

Equilibrium states in negative curvature

With their origin in thermodynamics and symbolic dynamics, Gibbs measures are crucial tools to study the ergodic theory of the geodesic flow on negatively curved manifolds. We develop a framework (through Patterson-Sullivan densities) allowing us to get rid of compactness assumptions on the manifold, and prove many existence, uniqueness and finiteness results of Gibbs measures. We give many applications, to the Variational Principle, the counting and equidistribution of orbit points and periods, the unique ergodicity of the strong unstable foliation and the classification of Gibbs densities on some Riemannian covers.

math.DS↗
arXiv2013

On the arithmetic of crossratios and generalised Mertens' formulas

We develop the relation between hyperbolic geometry and arithmetic equidistribution problems that arises from the action of arithmetic groups on real hyperbolic spaces, especially in dimension up to 5. We prove generalisations of Mertens' formula for quadratic imaginary number fields and definite quaternion algebras over the rational numbers, counting results of quadratic irrationals with respect to two different natural complexities, and counting results of representations of (algebraic) integers by binary quadratic, Hermitian and Hamiltonian forms with error bounds. For each such statement, we prove an equidistribution result of the corresponding arithmetically defined points. Furthermore, we study the asymptotic properties of crossratios of such points, and expand Pollicott's recent results on the Schottky-Klein prime functions.

math.NT↗
arXiv2013

Counting orbits of integral points in families of affine homogeneous varieties and diagonal flows

In this paper, we study the distribution of integral points on parametric families of affine homogeneous varieties. By the work of Borel and Harish-Chandra, the set of integral points on each such variety consists of finitely many orbits of arithmetic groups, and we establish an asymptotic formula (on average) for the number of the orbits indexed by their Siegel weights. In particular, we deduce asymptotic formulas for the number of inequivalent integral representations by decomposable forms and by norm forms in division algebras, and for the weighted number of equivalence classes of integral points on sections of quadratic surfaces. Our arguments use the exponential mixing property of diagonal flows on homogeneous spaces.

math.DS↗