We study the arithmeticity of $\mathbb {C}$ -Fuchsian subgroups of some nonarithmetic lattices constructed by Deraux et al. [‘New non-arithmetic complex hyperbolic lattices’, Invent. Math. 203 (2016), 681–771]. Our results give an answer to a question raised by Wells [Hybrid Subgroups of Complex Hyperbolic Isometries, Doctoral thesis, Arizona State University, 2019].

Let $\Delta $ denote a nondegenerate k-simplex in $\mathbb {R}^k$. The set $\operatorname {\mathrm {Sim}}(\Delta )$ of simplices in $\mathbb {R}^k$ similar to $\Delta $ is diffeomorphic to $\operatorname {O}(k)\times [0,\infty )\times \mathbb {R}^k$, where the factor in $\operatorname {O}(k)$ is a matrix called the pose. Among $(k-1)$-spheres smoothly embedded in $\mathbb {R}^k$ and isotopic to the identity, there is a dense family of spheres, for which the subset of $\operatorname {\mathrm {Sim}}(\Delta )$ of simplices inscribed in each embedded sphere contains a similar simplex of every pose $U\in \operatorname {O}(k)$. Further, the intersection of $\operatorname {\mathrm {Sim}}(\Delta )$ with the configuration space of $k+1$ distinct points on an embedded sphere is a manifold whose top homology class maps to the top class in $\operatorname {O}(k)$ via the pose map. This gives a high-dimensional generalisation of classical results on inscribing families of triangles in plane curves. We use techniques established in our previous paper on the square-peg problem where we viewed inscribed simplices in spheres as transverse intersections of submanifolds of compactified configuration spaces.

We prove several sharp distortion and monotonicity theorems for spherically convex functions defined on the unit disk involving geometric quantities such as spherical length, spherical area, and total spherical curvature. These results can be viewed as geometric variants of the classical Schwarz lemma for spherically convex functions.

For any $n>1$ we determine the uniform and nonuniform lattices of the smallest covolume in the Lie group $\operatorname {\mathrm {Sp}}(n,1)$ . We explicitly describe them in terms of the ring of Hurwitz integers in the nonuniform case with n even, respectively, of the icosian ring in the uniform case for all $n>1$ .

The hyperbolic random geometric graph was introduced by Krioukov et al. (Phys. Rev. E82, 2010). Among many equivalent models for the hyperbolic space, we study the d-dimensional Poincaré ball ( $d\ge 2$ ), with a general connectivity radius. While many phase transitions are known for the expectation asymptotics of certain subgraph counts, very little is known about the second-order results. Two of the distinguishing characteristics of geometric graphs on the hyperbolic space are the presence of tree-like hierarchical structures and the power-law behaviour of the degree distribution. We aim to reveal such characteristics in detail by investigating the behaviour of sub-tree counts. We show multiple phase transitions for expectation and variance in the resulting hyperbolic geometric graph. In particular, the expectation and variance of the sub-tree counts exhibit an intricate dependence on the degree sequence of the tree under consideration. Additionally, unlike the thermodynamic regime of the Euclidean random geometric graph, the expectation and variance may exhibit different growth rates, which is indicative of power-law behaviour. Finally, we also prove a normal approximation for sub-tree counts using the Malliavin–Stein method of Last et al. (Prob. Theory Relat. Fields165, 2016), along with the Palm calculus for Poisson point processes.

We develop methods for constructing explicit generators, modulo torsion, of the $K_3$-groups of imaginary quadratic number fields. These methods are based on either tessellations of hyperbolic $3$-space or on direct calculations in suitable pre-Bloch groups and lead to the very first proven examples of explicit generators, modulo torsion, of any infinite $K_3$-group of a number field. As part of this approach, we make several improvements to the theory of Bloch groups for $ K_3 $ of any field, predict the precise power of $2$ that should occur in the Lichtenbaum conjecture at $ -1 $ and prove that this prediction is valid for all abelian number fields.

Let $G(n)={\textrm {Sp}}(n,1)$ or ${\textrm {SU}}(n,1)$ . We classify conjugation orbits of generic pairs of loxodromic elements in $G(n)$ . Such pairs, called ‘nonsingular’, were introduced by Gongopadhyay and Parsad for ${\textrm {SU}}(3,1)$ . We extend this notion and classify $G(n)$ -conjugation orbits of such elements in arbitrary dimension. For $n=3$ , they give a subspace that can be parametrized using a set of coordinates whose local dimension equals the dimension of the underlying group. We further construct twist-bend parameters to glue such representations and obtain local parametrization for generic representations of the fundamental group of a closed (genus $g \geq 2$ ) oriented surface into $G(3)$ .

Let $\Omega $ be a connected open set in the plane and $\gamma : [0,1] \to \overline {\Omega }$ a path such that $\gamma ((0,1)) \subset \Omega $ . We show that the path $\gamma $ can be “pulled tight” to a unique shortest path which is homotopic to $\gamma $ , via a homotopy h with endpoints fixed whose intermediate paths $h_t$ , for $t \in [0,1)$ , satisfy $h_t((0,1)) \subset \Omega $ . We prove this result even in the case when there is no path of finite Euclidean length homotopic to $\gamma $ under such a homotopy. For this purpose, we offer three other natural, equivalent notions of a “shortest” path. This work generalizes previous results for simply connected domains with simple closed curve boundaries.

The space of convex projective structures has been well studied with respect to the topological entropy. But, to better understand the geometry of the structure, we study the entropy of the Sinai–Ruelle–Bowen measure and show that it is a continuous function on the space of strictly convex real projective structures.

Frieze patterns, as introduced by Coxeter in the 1970s, are closely related to cluster algebras without coefficients. A suitable generalization of frieze patterns, linked to cluster algebras with coefficients, has only briefly appeared in an unpublished manuscript by Propp. In this paper, we study these frieze patterns with coefficients systematically and prove various fundamental results, generalizing classic results for frieze patterns. As a consequence, we see how frieze patterns with coefficients can be obtained from classic frieze patterns by cutting out subpolygons from the triangulated polygons associated with classic Conway–Coxeter frieze patterns. We address the question of which frieze patterns with coefficients can be obtained in this way and solve this problem completely for triangles. Finally, we prove a finiteness result for frieze patterns with coefficients by showing that for a given boundary sequence there are only finitely many (nonzero) frieze patterns with coefficients with entries in a subset of the complex numbers without an accumulation point.

In the classical setting, a convex polytope is said to be semiregular if its facets are regular and its symmetry group is transitive on vertices. This paper continues our study of alternating semiregular abstract polytopes, which have abstract regular facets, still with combinatorial automorphism group transitive on vertices and with two kinds of regular facets occurring in an alternating fashion.

Our main concern here is the universal polytope ${\mathcal{U}}_{{\mathcal{P}},{\mathcal{Q}}}$, an alternating semiregular $(n+1)$-polytope defined for any pair of regular $n$-polytopes ${\mathcal{P}},{\mathcal{Q}}$ with isomorphic facets. After a careful look at the local structure of these objects, we develop the combinatorial machinery needed to explain how ${\mathcal{U}}_{{\mathcal{P}},{\mathcal{Q}}}$ can be constructed by “freely assembling” unlimited copies of ${\mathcal{P}}$, ${\mathcal{Q}}$ along their facets in alternating fashion. We then examine the connection group of ${\mathcal{U}}_{{\mathcal{P}},{\mathcal{Q}}}$, and from that prove that ${\mathcal{U}}_{{\mathcal{P}},{\mathcal{Q}}}$ covers any $(n+1)$-polytope ${\mathcal{B}}$ whose facets alternate in any way between various quotients of ${\mathcal{P}}$ or ${\mathcal{Q}}$.

Higher dimensional analogues of the modular group $\mathit{PSL}(2,\mathbb{Z})$ are closely related to hyperbolic reflection groups and Coxeter polyhedra with big symmetry groups. In this context, we develop a theory and dissection properties of ideal hyperbolic $k$-rectified regular polyhedra, which is of independent interest. As an application, we can identify the covolumes of the quaternionic modular groups with certain explicit rational multiples of the Riemann zeta value $\unicode[STIX]{x1D701}(3)$.

Toeplitz conjectured that any simple planar loop inscribes a square. Here we prove variants of Toeplitz’s square peg problem. We prove Hadwiger’s 1971 conjecture that any simple loop in $3$-space inscribes a parallelogram. We show that any simple planar loop inscribes sufficiently many rectangles that their vertices are dense in the loop. If the loop is rectifiable, there is a rectangle that cuts the loop into four pieces which can be rearranged to form two loops of equal length. (The previous two results are independently due to Schwartz.) A rectifiable loop in $d$-space can be cut into $(r-1)(d+1)+1$ pieces that can be rearranged by translations to form $r$ loops of equal length. We relate our results to fair divisions of necklaces in the sense of Alon and to Tverberg-type results. This provides a new approach and a common framework to obtain inscribability results for the class of all continuous curves.

Holmsen, Kynčl and Valculescu recently conjectured that if a finite set $X$ with $\ell n$ points in $\mathbb{R}^{d}$ that is colored by $m$ different colors can be partitioned into $n$ subsets of $\ell$ points each, such that each subset contains points of at least $d$ different colors, then there exists such a partition of $X$ with the additional property that the convex hulls of the $n$ subsets are pairwise disjoint.

We prove a continuous analogue of this conjecture, generalized so that each subset contains points of at least $c$ different colors, where we also allow $c$ to be greater than $d$. Furthermore, we give lower bounds on the fraction of the points each of the subsets contains from $c$ different colors. For example, when $n\geqslant 2$, $d\geqslant 2$, $c\geqslant d$ with $m\geqslant n(c-d)+d$ are integers, and $\unicode[STIX]{x1D707}_{1},\ldots ,\unicode[STIX]{x1D707}_{m}$ are $m$ positive finite absolutely continuous measures on $\mathbb{R}^{d}$, we prove that there exists a partition of $\mathbb{R}^{d}$ into $n$ convex pieces which equiparts the measures $\unicode[STIX]{x1D707}_{1},\ldots ,\unicode[STIX]{x1D707}_{d-1}$, and in addition every piece of the partition has positive measure with respect to at least $c$ of the measures $\unicode[STIX]{x1D707}_{1},\ldots ,\unicode[STIX]{x1D707}_{m}$.

We give an equality condition for a symmetrization inequality for condensers proved by F.W. Gehring regarding elliptic areas. We then use this to obtain a monotonicity result involving the elliptic area of the image of a holomorphic function f.

Let $\mathbf{H}_{\mathbb{H}}^{n}$ denote the $n$-dimensional quaternionic hyperbolic space. The linear group $\text{Sp}(n,1)$ acts on $\mathbf{H}_{\mathbb{H}}^{n}$ by isometries. A subgroup $G$ of $\text{Sp}(n,1)$ is called Zariski dense if it neither fixes a point on $\mathbf{H}_{\mathbb{H}}^{n}\cup \unicode[STIX]{x2202}\mathbf{H}_{\mathbb{H}}^{n}$ nor preserves a totally geodesic subspace of $\mathbf{H}_{\mathbb{H}}^{n}$. We prove that a Zariski dense subgroup $G$ of $\text{Sp}(n,1)$ is discrete if for every loxodromic element $g\in G$ the two-generator subgroup $\langle f,gfg^{-1}\rangle$ is discrete, where the generator $f\in \text{Sp}(n,1)$ is a certain fixed element not necessarily from $G$.

We construct a family of self-affine tiles in $\mathbb{R}^{d}$ ($d\geqslant 2$) with noncollinear digit sets, which naturally generalizes a class studied originally by Q.-R. Deng and K.-S. Lau in $\mathbb{R}^{2}$, and its extension to $\mathbb{R}^{3}$ by the authors. We obtain necessary and sufficient conditions for the tiles to be connected and for their interiors to be contractible.

We describe the parameter spaces of some families of quadrilaterals, such as parallelograms, rectangles, rhombuses, cyclic quadrilaterals and trapezoids. For this purpose, we prove that the closed $n$-disc $\mathbb{D}^{n}$ is the unique topological $n$-manifold (with boundary) whose boundary and interior are homeomorphic to $\mathbb{S}^{n-1}$ and $\mathbb{R}^{n}$, respectively. Roughly speaking, our main result states that the natural compactifications of the parameter spaces of cyclic quadrilaterals and of trapezoids, modulo similarity, are both homeomorphic to $\mathbb{D}^{3}$.

In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. This paper proves the following results. Except for parallelograms and centrally symmetric hexagons, there are no other convex domains that can form two-, three- or four-fold lattice tilings in the Euclidean plane. However, there are both octagons and decagons that can form five-fold lattice tilings. Whenever $n\geqslant 3$, there are non-parallelohedral polytopes that can form five-fold lattice tilings in the $n$-dimensional Euclidean space.

Let ℍ be the division ring of real quaternions. Let SL(2, ℍ) be the group of 2 × 2 quaternionic matrices $A={\scriptsize{(\begin{array}{l@{\quad}l} a & b \\ c & d \end{array})}}$ with quaternionic determinant det A = |ad − aca−1b| = 1. This group acts by the orientation-preserving isometries of the five-dimensional real hyperbolic space. We obtain discreteness criteria for Zariski-dense subgroups of SL(2, ℍ).