arXiv subjects

James Farre

Publications and source records attributed to James Farre.

16 recordsLinked to original sources

arXiv2026

Affine laminations and coaffine representations

We study surface subgroups of $\mathrm{SL}(4,\mathbb R)$ acting convex cocompactly on $\mathbb R \textrm P^3$ with image in the coaffine group. The boundary of the convex core is stratified, and the one dimensional strata form a pair of bending laminations. We show that the bending data on each component consist of a convex $\mathbb R \textrm P^2$ structure and an affine measured lamination depending on the underlying convex projective structure on $S$ with (Hitchin) holonomy $ρ: π_1S \to \mathrm{SL}(3,\mathbb R)$. We study the space $\mathcal{ML}^ρ(S)$ of bending data compatible with $ρ$ and prove that its projectivization is a sphere of dimension $6g-7$.

math.GT↗

arXiv2026

Weaving Geodesics and New Phenomena in Horocyclic Dynamics

We construct geometrically infinite hyperbolic surfaces supporting horocycles with tailored recurrence properties. In particular, we obtain the first examples of non-trivial minimal horocyclic orbit closures and of infinite locally-finite conservative horocyclic invariant measures which are singular with respect to the geodesic flow. Other examples include surfaces supporting horocyclic orbit closures of arbitrary Hausdorff dimension in $(1,2)$.

math.DS↗

arXiv2025

On Mirzakhani's twist torus conjecture

We address a conjecture of Mirzakhani about the statistical behavior of certain expanding families of ``twist tori'' in the moduli space of hyperbolic surfaces, showing that they equidistribute to a certain Lebesgue-class measure along almost all sequences. We also identify a number of other expanding families of twist tori whose limiting distributions are mutually singular to Lebesgue.

math.GT↗

arXiv2025

Continuity of the orthogeodesic foliation and ergodic theory of the earthquake flow

In a previous paper, the authors extended Mirzakhani's (almost-everywhere defined) measurable conjugacy between the earthquake and horocycle flows to a measurable bijection. In this one, we analyze the continuity properties of this map and its inverse, proving that both are continuous at many points and in many directions. This lets us transfer measure convergence between the two systems, allowing us to pull back results from Teichm{ü}ller dynamics to deduce analogous statements for the earthquake flow.

math.GT↗

arXiv2024

Invariant multi-functions and Hamiltonian flows for surface group representations

Goldman defined a symplectic form on the smooth locus of the $G$-character variety of a closed, oriented surface $S$ for a Lie group $G$ satisfying very general hypotheses. He then studied the Hamiltonian flows associated to $G$-invariant functions $G \to \mathbb R$ obtained by evaluation on a simple closed curve and proved that they are generalized twist flows. In this article, we investigate the Hamiltonian flows on (subsets of the) $G$-character variety induced by evaluating a $G$-invariant multi-function $G^k \to \mathbb R$ on a tuple $ \underlineα \in π_1(S)^k$. We introduce the notion of a subsurface deformation along a supporting subsurface $S_0$ for $\underlineα$ and prove that the Hamiltonian flow of an induced invariant multi-function is of this type. We also give a formula for the Poisson bracket between two functions induced by invariant multi-functions and prove that they Poisson commute if their supporting subsurfaces are disjoint. We give many examples of functions on character varieties that arise in this way and discuss applications, for example, to the flow associated to the trace function for non-simple closed curves on $S$.

math.GT↗

arXiv2024

Classification of horocycle orbit closures in $ \mathbb{Z} $-covers

We fully describe all horocycle orbit closures in $ \mathbb{Z} $-covers of compact hyperbolic surfaces. Our results rely on a careful analysis of the efficiency of all distance minimizing geodesic rays in the cover. As a corollary we obtain in this setting that all non-maximal horocycle orbit closures, while fractal, have integer Hausdorff dimension.

math.DS↗

arXiv2024

Geometry of hyperconvex representations of surface groups

We study the geometry of hyperconvex representations of surface groups in ${\rm PSL}(d,\mathbb{C})$ and their deformation spaces: We produce a natural holomorphic extension of the classical Ahlfors--Bers map to a product of Teichmüller spaces of a canonical Riemann surface lamination and prove that the limit set of a hyperconvex representation in the full flag space has Hausdorff dimension 1 if and only if the representation is conjugate in ${\rm PSL}(d,\mathbb{R})$.

math.GT↗

arXiv2024

Topological and geometric restrictions on hyperconvex representations

We study the geometry of hyperconvex representations of hyperbolic groups in ${\rm PSL}(d,\mathbb{C})$ and establish two structural results: a group admitting a hyperconvex representation is virtually isomorphic to a Kleinian group, and its hyperconvex limit set in the appropriate flag manifold has Hausdorff dimension strictly smaller than $2$.

math.GT↗

arXiv2023

Minimizing laminations in regular covers, horospherical orbit closures, and circle-valued Lipschitz maps

We expose a connection between distance minimizing laminations and horospherical orbit closures in $\mathbb{Z}$-covers of compact hyperbolic manifolds. For surfaces, we provide novel constructions of $\mathbb{Z}$-covers with prescribed geometric and dynamical properties, in which an explicit description of all horocycle orbit closures is given. We further show that even the slightest of perturbations to the hyperbolic metric on a $\mathbb{Z}$-cover can lead to drastic topological changes to horocycle orbit closures.

math.DS↗

arXiv2023

Hamiltonian flows for pseudo-Anosov mapping classes

For a given pseudo-Anosov homeomorphism $φ$ of a closed surface $S$, the action of $φ$ on the Teichmüller space $\mathcal T(S)$ preserves the Weil-Petersson symplectic form. We give explicit formulae for two invariant functions $\mathcal T(S)\to \mathbb R$ whose symplectic gradients generate autonomous Hamiltonian flows that coincide with the action of $φ$ at time one. We compute the Poisson bracket between these two functions. This amounts to computing the variation of length of a Hölder cocyle on one lamination along a shear vector field defined by another. For a measurably generic set of laminations, we prove that the variation of length is expressed as the cosine of the angle between the two laminations integrated against the product Hölder distribution, generalizing a result of Kerckhoff. We also obtain rates of convergence for the supports of germs of differentiable paths of measured laminations in the Hausdorff metric on a hyperbolic surface, which may be of independent interest.

math.GT↗

arXiv2023

Shear-shape cocycles for measured laminations and ergodic theory of the earthquake flow

We extend Mirzakhani's conjugacy between the earthquake and horocycle flows to a bijection, demonstrating conjugacies between these flows on all strata and exhibiting an abundance of new ergodic measures for the earthquake flow. The structure of our map indicates a natural extension of the earthquake flow to an action of the the upper-triangular subgroup P < SL(2,R) and we classify the ergodic measures for this action as pullbacks of affine measures on the bundle of quadratic differentials. Our main tool is a generalization of the shear coordinates of Bonahon and Thurston to arbitrary measured laminations.

math.GT↗

arXiv2022

Minimal area surfaces and fibered hyperbolic $3$-manifolds

By work of Uhlenbeck, the largest principal curvature of any least area fiber of a hyperbolic $3$-manifold fibering over the circle is bounded below by one. We give a short argument to show that, along certain families of fibered hyperbolic $3$-manifolds, there is a uniform lower bound for the maximum principal curvatures of a least area minimal surface which is greater than one.

math.GT↗

arXiv2021

Borel and volume classes for dense representations of discrete groups

We show that the bounded Borel class of any dense representation $ρ: G\to \PSL_n\bC$ is non-zero in degree three bounded cohomology and has maximal semi-norm, for any discrete group $G$. When $n=2$, the Borel class is equal to the $3$-dimensional hyperbolic volume class. Using tools from the theory of Kleinian groups, we show that the volume class of a dense representation $ρ: G\to \PSL_2\bC$ is uniformly separated in semi-norm from any other representation $ρ': G\to \G$ for which there is a subgroup $H\le G$ on which $ρ$ is still dense but $ρ'$ is discrete or indiscrete but stabilizes a point, line, or plane in $\bH^3\cup \partial \bH^3$. We exhibit a family of dense representations of a non-abelian free group on two letters and a family of discontinuous dense representations of $\PSL_2\bR$, whose volume classes are linearly independent and satisfy some additional properties; the cardinality of these families is that of the continuum. We explain how the strategy employed may be used to produce non-trivial volume classes in higher dimensions, contingent on the existence of a family of hyperbolic manifolds with certain topological and geometric properties.

math.GT↗

arXiv2020

Relations in Bounded Cohomology

We explain some interesting relations in the degree three bounded cohomology of surface groups. Specifically, we show that if two faithful Kleinian surface group representations are quasi-isometric, then their bounded fundamental classes are the same in bounded cohomology. This is novel in the setting that one end is degenerate, while the other end is geometrically finite. We also show that a difference of two singly degenerate classes with bounded geometry is boundedly cohomologous to a doubly degenerate class, which has a nice geometric interpretation. Finally, we explain that the above relations completely describe the linear dependences between the `geometric' bounded classes defined by the volume cocycle with bounded geometry. We obtain a mapping class group invariant Banach sub-space of the reduced degree three bounded cohomology with explicit topological generating set and describe all linear relations.

math.GT↗

arXiv2018

Bounded Cohomology of Finitely Generated Kleinian Groups

Any action of a group $Γ$ on $\mathbb H^3$ by isometries yields a class in degree three bounded cohomology by pulling back the volume cocycle to $Γ$. We prove that the bounded cohomology of finitely generated Kleinian groups without parabolic elements distinguishes the asymptotic geometry of geometrically infinite ends of hyperbolic $3$-manifolds. That is, if two homotopy equivalent hyperbolic manifolds with infinite volume and without parabolic cusps have different geometrically infinite end invariants, then they define a $2$ dimensional subspace of bounded cohomology. Our techniques apply to classes of hyperbolic $3$-manifolds that have sufficiently different end invariants, and we give explicit bases for vector subspaces whose dimension is uncountable. We also show that these bases are uniformly separated in pseudo-norm, extending results of Soma. The technical machinery of the Ending Lamination Theorem allows us to analyze the geometrically infinite ends of hyperbolic $3$-manifolds with unbounded geometry.

math.GT↗

arXiv2015

Algorithms for detecting dependencies and rigid subsystems for CAD

Geometric constraint systems underly popular Computer Aided Design soft- ware. Automated approaches for detecting dependencies in a design are critical for developing robust solvers and providing informative user feedback, and we provide algorithms for two types of dependencies. First, we give a pebble game algorithm for detecting generic dependencies. Then, we focus on identifying the "special positions" of a design in which generically independent constraints become dependent. We present combinatorial algorithms for identifying subgraphs associated to factors of a particular polynomial, whose vanishing indicates a special position and resulting dependency. Further factoring in the Grassmann- Cayley algebra may allow a geometric interpretation giving conditions (e.g., "these two lines being parallel cause a dependency") determining the special position.

cs.CG↗