John Mcleod
We determine the maximal hyperbolic reflection groups associated to the quadratic forms $-3x_0^2 + x_1^2 + ... + x_n^2$, $n \ge 2$, and present the Coxeter schemes of their fundamental polyhedra. These groups exist in dimensions up to 13, and a proof is given that in higher dimensions these quadratic forms are not reflective.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Invariant random subgroups in hyperbolic reflection groups
本文证明了双曲反射群存在具有不可数多种子群同构类型的不变随机子群，并通过Coxeter多面体构造回答了S.Thomas等人的问题。
Mock hyperbolic reflection spaces and Frobenius groups of finite Morley rank
该研究定义伪双曲反射空间概念，用于分析有限Morley秩的Frobenius群，得出相关群的分裂性结论与秩不等式推论。
Quadratic Isoperimetric Inequality for Mapping Tori of Hyperbolic Groups
该研究确立了一端无挠双曲群的映射环面具有二次等周不等式，推进了几何群论相关问题的研究。
We prove that there are only finitely many conjugacy classes of arithmetic maximal hyperbolic reflection groups.
In a discrete group generated by hyperplane reflections in the $n$-dimensional hyperbolic space, the reflection length of an element is the minimal number of hyperplane reflections in the group that suffices to factor the element. For a Coxeter group that arises in this way and does not split into a direct product of spherical and affine reflection groups, the reflection length is unbounded. The action of the Coxeter group induces a tessellation of the hyperbolic space. After fixing a fundamental domain, there exists a bijection between the tiles and the group elements. We describe certain poi…
A hyperbolic reflection group is a discrete group generated by reflections in the faces of an $n$-dimensional hyperbolic polyhedron. This survey article is dedicated to the study of arithmetic hyperbolic reflection groups with an emphasis on the results that were obtained in the last ten years and on the open problems.
For each positive integer $k$ we present an example of Coxeter system $(G_k,S_k)$ such that $G_k$ is a word-hyperbolic Coxeter group, for any two generating reflections $s,t\in S_k$ the product $st$ has finite order, and the Coxeter graph of $S_k$ has negative inertia index equal to $k$. In particular, $G_k$ cannot be embedded into pseudo-orthogonal group $O(n,k-1)$ for any $n$ as a reflection group with generating set being reflections w.r.t. $(G_k,S_k)$
The Vahlen group gives a way for presenting the hyperbolic space of every dimension of a group acting via Möbius transformations. As Vahlen groups and paravector Vahlen groups are now defined over any field of characteristic different from 2, we establish analogous spaces on which they operate transitively as Möbius transformations, by defining appropriate boundary components that must be added in case the denominator in the Möbius transformation formula vanishes.
Let $V$ be a vector space endowed with a non-degenerate quadratic form $Q$. If the base field $\mathbb{F}$ is different from $\mathbb{F}_2$, it is known that every isometry can be written as a product of reflections. In this article, we detail the structure of the poset of all minimal length reflection factorizations of an isometry. If $\mathbb{F}$ is an ordered field, we also study factorizations into positive reflections, i.e., reflections defined by vectors of positive norm. We characterize such factorizations, under the hypothesis that the squares of $\mathbb{F}$ are dense in the positive …
We prove that in a torsion-free hyperbolic group $Γ$, the length of the value of each variable in a minimal solution of a quadratic equation $Q=1$ is bounded by $N|Q|^3$ for an orientable equation, and by $N|Q|^{4}$ for a non-orientable equation, where $|Q|$ is the length of the equation, and the constant $N$ can be computed. We show that the problem, whether a quadratic equation in $Γ$ has a solution, is in NP, and that there is a PSpace algorithm for solving arbitrary equations in $Γ$. If additionally $Γ$ is non-cyclic, then this problem (of deciding existence of a solution) is NP-complete. …
A group of isometries of a hyperbolic $n$-space is called a reflection group if it is generated by reflections in hyperbolic hyperplanes. Vinberg gave a semi-algorithm for finding a maximal reflection sublattice in a given arithmetic subgroup of $O(n,1)$ of the simplest type. We provide an effective termination condition for Vinberg's semi-algorithm with which it becomes an algorithm for finding maximal reflection sublattices. The main new ingredient of the proof is an upper bound for the number of faces of an arithmetic hyperbolic Coxeter polyhedron in terms of its volume.
There are 432 strongly squarefree symmetric bilinear forms of signature $(2,1)$ defined over $\Z[\sqrt{2}]$ whose integral isometry groups are generated up to finite index by finitely many reflections. We adapted Allcock's method (based on Nikulin's) of analysis for the $2$-dimensional Weyl chamber to the real quadratic setting, and used it to produce a finite list of quadratic forms which contains all of the ones of interest to us as a sub-list. The standard method for determining whether a hyperbolic reflection group is generated up to finite index by reflections is an algorithm of Vinberg. …
We present the classification of reflective quadratic forms $-px_0^2+x_1^2+\ldots+x_n^2$ for $p$ prime. We show that for $p = 5$, it is reflective for $2\leq n\leq 8$, for $p = 7\text{ and }17$ it is reflective for $n = 2\text{ and }3$, for $p=11$ it is reflective for $p=2,3,\text{ and } 4$, and it is not reflective for higher values of $n$. We also show that it is non-reflective for $n > 2$ when $p = 13,19,\text{and }23$. This completes the classification of these forms with $p$ prime.
This paper is a follow-up to our joint paper with I. Agol, P. Storm and K. Whyte "Finiteness of arithmetic hyperbolic reflection groups". The main purpose is to investigate the effective side of the method developed there and its possible application to the problem of classification of arithmetic hyperbolic reflection groups.
We consider the automorphism groups of various Lorentzian lattices over the Eisenstein, Gaussian, and Hurwitz integers, and in some of them we find reflection groups of finite index. These provide new finite-covolume reflection groups acting on complex and quaternionic hyperbolic spaces. Specifically, we provide groups acting on CH^n for all n<6 and n=7, and on HH^n for n=1,2,3 and 5. We compare our groups to those discovered by Deligne and Mostow and show that our largest examples are new. For many of these Lorentzian lattices we show that the entire symmetry group is generated by reflections…
Thin hyperbolic reflection groups
本文研究双曲空间中至少含一个超平面反射的 Zariski 稠密离散子群，证明将 Vinberg 算法应用于非反射洛伦兹格可生成无限薄反射子群，并由此证明所有薄双曲反射群可枚举。
In this article we examine the conjecture of Neumann and Reid that the only hyperbolic knots in the $3$-sphere which admit hidden symmetries are the figure-eight knot and the two dodecahedral knots. Knots whose complements cover hyperbolic reflection orbifolds admit hidden symmetries, and we verify the Neumann-Reid conjecture for knots which cover small hyperbolic reflection orbifolds. We also show that a reflection orbifold covered by the complement of an AP knot is necessarily small. Thus when $K$ is an AP knot, the complement of $K$ covers a reflection orbifold exactly when $K$ is either th…
In this paper, we compute the covolume of the group of units of the quadratic form f_d^n(x) = x_1^2 + x_2^2 + . . . + x_n^2 - d x_{n+1}^2 with d an odd, positive, square-free integer. Mcleod has determined the hyperbolic Coxeter fundamental domain of the reflection subgroup of the group of units of the quadratic form f_3^n. We apply our covolume formula to compute the volumes of these hyperbolic Coxeter polytopes.
Let G be a graph of hyperbolic groups with 2-ended edge groups. We show that G is hierarchically hyperbolic if and only if G has no distorted infinite cyclic subgroup. More precisely, we show that G is hierarchically hyperbolic if and only if G does not contain certain quotients of Baumslag-Solitar groups. As a consequence, we obtain several new results about this class, such as quadratic isoperimetric inequality and finite asymptotic dimension.
Convex cocompact groups in real hyperbolic spaces with limit set a Pontryagin sphere
论文通过两个例子展示实超曲面的等距群中凸紧致子群的极限集为庞特里亚金球，并探讨其与Menger曲线的关联。
Convex cocompact groups with three-dimensional limit sets
本文提出一种构造三维极限集的凸紧致超反射群的方法，通过输入三维 simplicial 复形生成超反射群，并证明其为薄子群。
The automorphism groups of integral Lorentzian lattices act by isometries on hyperbolic space with finite covolume. In the case of reflective integral lattices, the automorphism groups are commensurable to arithmetic hyperbolic reflection groups. However, for a fixed dimension, there is only finitely many reflective integral Lorentzian lattices, and these can only occur in small dimensions. The goal of this note is to construct embeddings of low-dimensional integral Lorentzian lattices into unimodular Lorentzian lattices associated to right-angled reflection groups. As an application, we const…
Let $G$ be a discrete group generated by reflections in hyperbolic or Euclidean space, and $H\subset G$ be a finite index subgroup generated by reflections. Suppose that the fundamental chamber of $G$ is a finite volume polytope with $k$ facets. In this paper, we prove that the fundamental chamber of $H$ has at least $k$ facets.
A hyperbolic lattice is called \textit{$(1{,}2)$-reflective} if its automorphism group is generated by $1$- and $2$-reflections up to finite index. In this paper we prove that the fundamental polyhedron of a $\mathbb{Q}$-arithmetic cocompact reflection group in the three-dimensional Lobachevsky space contains an edge such that the distance between its framing faces is small enough. Using this fact we obtain a classification of $(1{,}2)$-reflective anisotropic hyperbolic lattices of rank $4$.
We give an effective upper bound, for certain arithmetic hyperbolic 3-manifold groups obtained from a quadratic form construction, on the minimal index of a subgroup that embeds in a fixed 6-dimensional right-angled reflection group, stabilizing a totally geodesic subspace. In particular, for manifold groups in any fixed commensurability class we show that the index of such a subgroup is asymptotically smaller than any fractional power of the volume of the manifold. We also give effective bounds on the geodesic residual finiteness growths of closed hyperbolic manifolds that totally geodesicall…
We prove that the hitting measure is not equivalent to the Lebesgue measure for a large class of nearest-neighbour random walks on hyperbolic reflection groups and Fuchsian groups.
A $k$-reflection of the $n$-dimensional complex hyperbolic space ${\rm H}_{\C}^n$ is an element in ${\rm U}(n,1)$ with negative type eigenvalue $λ$, $|λ|=1$, of multiplicity $k+1$ and positive type eigenvalue $1$ of multiplicity $n-k$. We prove that a holomorphic isometry of ${\rm H}_{\C}^n$ is a product of at most four involutions and a complex $k$-reflection, $k \leq 2$. Along the way, we prove that every element in ${\rm SU}(n)$ is a product of four or five involutions according as $n \neq 2 \mod 4$ or $n = 2 \mod 4$. We also give an easy proof of the result that every holomorphic isometry …
The reflection length of an element of a Coxeter group is the minimal number of conjugates of the standard generators whose product is equal to that element. In this paper we prove the conjecture of McCammond and Petersen that reflection length is unbounded in any non-affine Coxeter group. Among the tools used, the construction of word-hyperbolic quotients of all minimal non-affine Coxeter groups might be of independent interest.
We study the unitary boundary representation of a strongly transitive group acting on a right-angled hyperbolic building. We show its irreducibility. We do so by associating to such a representation a representation of a certain Hecke algebra, which is a deformation of the classical representation of a hyperbolic reflection group. We show that the associated Hecke algebra representation is irreducible.
A hyperbolic lattice is called \textit{$1.2$-reflective} if the subgroup of its automorphism group generated by all $1$- and $2$-reflections is of finite index. The main result of this article is a complete classification of $1.2$-reflective maximal anisotropic lattices of rank $4$.
Cubulated hyperbolic groups admit Anosov representations
本文证明了立方超几何群允许射影Anosov表示，并展示了超几何准凸子群在右角Coxeter群中的表示性质。
In this short note we use the presentations found in \cite{MP} and \cite{Po} to show that the Picard modular groups ${\rm PU}(2,1,\mathcal{O}_d)$ with $d=1,3,7$ (respectively the quaternion hyperbolic lattice ${\rm PSp}(2,1,\mathcal{H})$ with entries in the Hurwitz integer ring $\mathcal{H}$) are generated by complex (resp. quaternionic) reflections, and that the Picard modular groups ${\rm PU}(2,1,\mathcal{O}_d)$ with $d=2,11$ have an index 4 subgroup generated by complex reflections.
We give a criterion which ensures that a group generated by Cartan involutions in the automorph group of a rational quadratic form of signature (n-1,1) is "thin", namely it is of infinite index in the latter. It is based on a graph defined on the integral Cartan root vectors, as well as Vinberg's theory of hyperbolic reflection groups. The criterion is shown to be robust for showing that many hyperbolic hypergeometric groups for n_F_(n-1) are thin.
The recent articles of Waldspurger and Meinrenken contained the results of tilings formed by the sets of type $(1-w)C^\circ$, $w\in W$, where $W$ is a linear or affine Weyl group, and $C^\circ$ is an open kernel of a fundamental chamber $C$ of the group $W$. In this article we generalize these results to cocompact hyperbolic reflection groups. We also give more clear and simple proofs of the Waldspurger and Meinrenken theorems.
Let $D$ be the incidence graph of the projective plane over $\FF_3$. The Artin group of the graph $D$ maps onto the bimonster and a complex hyperbolic reflection group $Γ$ acting on 13 dimensional complex hyperbolic space $Y$. The generators of the Artin group are mapped to elements of order 2 (resp. 3) in the bimonster (resp. $Γ$). Let $Y^{\circ} \subseteq Y$ be the complement of the union of the mirrors of $Γ$. Daniel Allcock has conjectured that the orbifold fundamental group of $Y^{\circ}/Γ$ surjects onto bimonster. In this article we study the reflection group $Γ$. Our main result shows t…
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.
The notion of limit roots of a Coxeter group W was recently introduced (see arXiv:1112.5415 and arXiv:1303.6710): they are the accumulation points of directions of roots of a root system for W. In the case where the root system lives in a Lorentzian space W admits a faithful representation as a discrete reflection group of isometries on a hyperbolic space; the accumulation set of any of its orbits is then classically called the limit set of W. In this article we show that the limit roots of a Coxeter group W acting on a Lorentzian space is equal to the limit set of W seen as a discrete reflect…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。