Searcharxiv⌕ Search

arXiv subjects

Alexander Kolpakov

Publications and source records attributed to Alexander Kolpakov.

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

Thin hyperbolic reflection groups

We study a family of Zariski dense finitely generated discrete subgroups of $\mathrm{Isom}(\mathbb{H}^d)$, $d \geqslant 2$, defined by the following property: any group in this family contains at least one reflection in a hyperplane. As an application we obtain a general description of all thin hyperbolic reflection groups. In particular, we show that the Vinberg algorithm applied to a non-reflective Lorentzian lattice gives rise to an infinite sequence of thin reflection subgroups in $\mathrm{Isom}(\mathbb{H}^d)$, for any $d \geqslant 2$. Moreover, every such group is a subgroup of a group produced by the Vinberg algorithm applied to a Lorentzian lattice independently on the latter being reflective. As a consequence, all thin hyperbolic reflection groups are enumerable.

math.GR↗
arXiv2023

An approach to robust ICP initialization

In this note, we propose an approach to initialize the Iterative Closest Point (ICP) algorithm to match unlabelled point clouds related by rigid transformations. The method is based on matching the ellipsoids defined by the points' covariance matrices and then testing the various principal half-axes matchings that differ by elements of a finite reflection group. We derive bounds on the robustness of our approach to noise and numerical experiments confirm our theoretical findings.

cs.CV↗
arXiv2022

Embedding non-arithmetic hyperbolic manifolds

This paper shows that many hyperbolic manifolds obtained by glueing arithmetic pieces embed into higher-dimensional hyperbolic manifolds as codimension-one totally geodesic submanifolds. As a consequence, many Gromov--Pyatetski-Shapiro and Agol--Belolipetsky--Thomson non-arithmetic manifolds embed geodesically. Moreover, we show that the number of commensurability classes of hyperbolic manifolds with a representative of volume $\leq v$ that bounds geometrically is at least $v^{Cv}$, for $v$ large enough.

math.GT↗
arXiv2022

The signature of cusped hyperbolic 4-manifolds

In this note we show that every integer is the signature of a non-compact, oriented, hyperbolic 4-manifold of finite volume, and give some partial results on the geography of such manifolds. The main ingredients are a theorem of Long and Reid, and the explicit construction of a hyperbolic 24-cell manifold with some special topological properties.

math.GT↗
arXiv2022

Infinitely many quasi-arithmetic maximal reflection groups

In contrast to the fact that there are only finitely many maximal arithmetic reflection groups acting on the hyperbolic space $\mathbb{H}^n$, $n\geq 2$, we show that: (a) one can produce infinitely many maximal quasi-arithmetic reflection groups acting on $\mathbb{H}^2$; (b) they admit infinitely many different fields of definition; (c) the degrees of their fields of definition are unbounded. However, for $n\geq 14$ an approach initially developed by Vinberg shows that there are still finitely many fields of definitions in the quasi-arithmetic case.

math.GR↗
arXiv2022

Packable hyperbolic surfaces with symmetries

We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof).

math.GT↗
arXiv2021

Three-dimensional maps and subgroup growth

In this paper we derive a generating series for the number of cellular complexes known as pavings or three-dimensional maps, on $n$ darts, thus solving an analogue of Tutte's problem in dimension three. The generating series we derive also counts free subgroups of index $n$ in $Δ^+ = \mathbb{Z}_2*\mathbb{Z}_2*\mathbb{Z}_2$ via a simple bijection between pavings and finite index subgroups which can be deduced from the action of $Δ^+$ on the cosets of a given subgroup. We then show that this generating series is non-holonomic. Furthermore, we provide and study the generating series for isomorphism classes of pavings, which correspond to conjugacy classes of free subgroups of finite index in $Δ^+$. Computational experiments performed with software designed by the authors provide some statistics about the topology and combinatorics of pavings on $n\leq 16$ darts.

math.GR↗
arXiv2021

On free semigroups of affine maps on the real line

In this note we generalise some of the work of Klarner on free semigroups of affine maps acting on the real line by using a classical approach from geometric group theory (the Ping-Pong lemma). We also investigate the boundaries within which Klarner's necessary condition for a semigroup to be related is applicable.

math.CO↗
arXiv2021

Euclidean volumes of hyperbolic knots

The hyperbolic structure on a 3-dimensional cone-manifold with a knot as singularity can often be deformed into a limiting Euclidean structure. In the present paper we show that the respective normalised Euclidean volume is always an algebraic number. This stands in contrast to hyperbolic volumes whose number-theoretic nature is usually quite complicated.

math.GT↗
arXiv2021

Cusps of hyperbolic 4-manifolds and rational homology spheres

In the present paper, we construct a cusped hyperbolic $4$-manifold with all cusp sections homeomorphic to the Hantzsche-Wendt manifold, which is a rational homology sphere. By a result of Golénia and Moroianu, the Laplacian on $2$-forms on such a manifold has purely discrete spectrum. This shows that one of the main results of Mazzeo and Phillips from 1990 cannot hold without additional assumptions on the homology of the cusps. This also answers a question by Golénia and Moroianu from 2012. We also correct and refine the incomplete classification of compact orientable flat $3$-manifolds arising from cube colourings provided earlier by the last two authors.

math.GT↗
arXiv2021

Kissing number in non-Euclidean spaces of constant sectional curvature

This paper provides upper and lower bounds on the kissing number of congruent radius $r > 0$ spheres in hyperbolic $\mathbb{H}^n$ and spherical $\mathbb{S}^n$ spaces, for $n\geq 2$. For that purpose, the kissing number is replaced by the kissing function $κ_H(n, r)$, resp. $κ_S(n, r)$, which depends on the dimension $n$ and the radius $r$. After we obtain some theoretical upper and lower bounds for $κ_H(n, r)$, we study their asymptotic behaviour and show, in particular, that $κ_H(n,r) \sim (n-1) \cdot d_{n-1} \cdot B(\frac{n-1}{2}, \frac{1}{2}) \cdot e^{(n-1) r}$, where $d_n$ is the sphere packing density in $\mathbb{R}^n$, and $B$ is the beta-function. Then we produce numeric upper bounds by solving a suitable semidefinite program, as well as lower bounds coming from concrete spherical codes. A similar approach allows us to locate the values of $κ_S(n, r)$, for $n= 3,\, 4$, over subintervals in $[0, π]$ with relatively high accuracy.

math.CO↗
arXiv2021

Growth rates of Coxeter groups and Perron numbers

We define a large class of abstract Coxeter groups, that we call $\infty$--spanned, and for which the word growth rate and the geodesic growth rate appear to be Perron numbers. This class contains a fair amount of Coxeter groups acting on hyperbolic spaces, thus corroborating a conjecture by Kellerhals and Perren. We also show that for this class the geodesic growth rate strictly dominates the word growth rate.

math.GR↗
arXiv2020

Space vectors forming rational angles

We classify all sets of nonzero vectors in $\mathbb{R}^3$ such that the angle formed by each pair is a rational multiple of $π$. The special case of four-element subsets lets us classify all tetrahedra whose dihedral angles are multiples of $π$, solving a 1976 problem of Conway and Jones: there are $2$ one-parameter families and $59$ sporadic tetrahedra, all but three of which are related to either the icosidodecahedron or the $B_3$ root lattice. The proof requires the solution in roots of unity of a $W(D_6)$-symmetric polynomial equation with $105$ monomials (the previous record was $12$ monomials).

math.MG↗
arXiv2020

On faces of quasi-arithmetic Coxeter polytopes

We prove that each lower-dimensional face of a quasi-arithmetic Coxeter polytope, which happens to be itself a Coxeter polytope, is also quasi-arithmetic. We also provide a sufficient condition for a codimension $1$ face to be actually arithmetic, as well as a few computed examples.

math.GT↗
arXiv2020

Symmetries of hyperbolic 4-manifolds

In this paper, for each finite group $G$, we construct explicitly a non-compact complete finite-volume arithmetic hyperbolic $4$-manifold $M$ such that $\mathrm{Isom}\,M \cong G$, or $\mathrm{Isom}^{+}\,M \cong G$. In order to do so, we use essentially the geometry of Coxeter polytopes in the hyperbolic $4$-space, on one hand, and the combinatorics of simplicial complexes, on the other.

math.GT↗
arXiv2020

Hyperbolic four-manifolds, colourings and mutations

We develop a way of seeing a complete orientable hyperbolic $4$-manifold $\mathcal{M}$ as an orbifold cover of a Coxeter polytope $\mathcal{P} \subset \mathbb{H}^4$ that has a facet colouring. We also develop a way of finding totally geodesic sub-manifolds $\mathcal{N}$ in $\mathcal{M}$, and describing the result of mutations along $\mathcal{N}$. As an application of our method, we construct an example of a complete orientable hyperbolic $4$-manifold $\mathcal{X}$ with a single non-toric cusp and a complete orientable hyperbolic $4$-manifold $\mathcal{Y}$ with a single toric cusp. Both $\mathcal{X}$ and $\mathcal{Y}$ have twice the minimal volume among all complete orientable hyperbolic $4$-manifolds.

math.GT↗
arXiv2020

Some hyperbolic three-manifolds that bound geometrically

A closed connected hyperbolic $n$-manifold bounds geometrically if it is isometric to the geodesic boundary of a compact hyperbolic $(n+1)$-manifold. A. Reid and D. Long have shown by arithmetic methods the existence of infinitely many manifolds that bound geometrically in every dimension. We construct here infinitely many explicit examples in dimension $n=3$ using right-angled dodecahedra and $120$-cells and a simple colouring technique introduced by M. Davis and T. Januszkiewicz. Namely, for every $k\geqslant 1$, we build an orientable compact closed $3$-manifold tessellated by $16k$ right-angled dodecahedra that bounds a $4$-manifold tessellated by $32k$ right-angled $120$-cells. A notable feature of this family is that the ratio between the volumes of the $4$-manifolds and their boundary components is constant and, in particular, bounded.

math.GT↗