R. E. Borcherds
The aim of this paper is to provide evidence for the following new principle: interesting reflection groups of Lorentzian lattices are controlled by certain modular forms with poles at cusps. We use this principle to explain many of the known examples of such reflection groups, and to find several new examples of reflection groups of Lorentzian lattices, including one whose fundamental domain has 960 faces.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this article we study a second example of the phenomenon studied in "Complex Lorentzian Leech lattice and bimonster".(Arxiv. math.GR/0508228). The results and methods of proof are similar. We find 14 roots in the automorphism group of the the quaternionic Lorentzian Leech lattice L that form the Coxeter diagram D given by the incidence graph of projective plane over finite field of order 2. We prove that the reflections in these 14 roots generate the automorphism group of L. We find evidence that these reflections behave like the simple roots and the vector fixed by the diagram automorphism…
We find 26 reflections in the automorphism group of the the Lorentzian Leech lattice L over Z[exp(2*pi*i/3)] that form the Coxeter diagram seen in the presentation of the bimonster. We prove that these 26 reflections generate the automorphism group of L. We find evidence that these reflections behave like the simple roots and the vector fixed by the diagram automorphisms behaves like the Weyl vector for the refletion group.
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…
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…
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…
This dissertation answers some of the questions raised in Borcherds' papers on Moonshine and Lorentzian reflection groups. We prove (assuming an open conjecture of Burger, Li and Sarnak) that a Lorentzian reflection group with Weyl vector is associated to a vector-valued modular form. This result allows us to establish a folklore conjecture that the maximal dimension of a Lorentzian reflection group with Weyl vector is 26. In the case of elementary lattices, we show that these vector-valued forms can be obtained by inducing scalar-valued forms. This allows us to explain the critical signatures…
We classify all the symmetric integer bilinear forms of signature (2,1) whose isometry groups are generated up to finite index by reflections. There are 8595 of them up to scale, whose 374 distinct Weyl groups fall into 39 commensurability classes. This extends Nikulin's enumeration of the strongly square-free cases. Our technique is an analysis of the shape of the Weyl chamber, followed by computer work using Vinberg's algorithm and our "method of bijections". We also correct a minor error in Conway and Sloane's definition of their canonical 2-adic symbol.
Thin hyperbolic reflection groups
本文研究双曲空间中至少含一个超平面反射的 Zariski 稠密离散子群，证明将 Vinberg 算法应用于非反射洛伦兹格可生成无限薄反射子群，并由此证明所有薄双曲反射群可枚举。
The main result of this paper describes the normalizer of a finite parabolic subgroup of a (possibly infinite) Coxeter group. We use this to compute the automorphism groups of some Lorentzian lattices and K3 surfaces.
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…
This is the unabridged table of all 8595 rank three reflective Lorentzian lattices, intended as a supplement to the author's paper classifying them. The abridged table in that paper is complete too, but less explicit, so the main purpose of this document is archival. The TeX sourcecode is simultaneously a Perl script, which when run prints out all the lattices in computer-readable format.
Every Coxeter group admits a geometric representation as a group generated by reflections in a real vector space. In the projective representation space, limit directions are limits of injective sequences in the orbit of some base point. Limit roots are limit directions that can be obtained starting from simple roots. In this article, we study the limit directions arising from any point when the representation space is a Lorentz space. In particular, we characterize the light-like limit directions using eigenvectors of infinite-order elements. This provides a spectral perspective on limit root…
The lattice of normal reflection subgroups of an irreducible reflection group
研究不可约反射群的正规反射子群格，通过考虑共轭作用轨道给出计算方法及生成元，将复反射群分类表示为最大反射群集合及正规子群，研究商群和共线群作用，还引入新技术。
For a finite real reflection group $W$ with Coxeter element $γ$ we give a uniform proof that the closed interval, $[I, γ]$ forms a lattice in the partial order on $W$ induced by reflection length. The proof involves the construction of a simplicial complex which can be embedded in the type W simplicial generalised associahedron.
We give a computer-free proof of a theorem of Basak, describing the group generated by 16 complex reflections of order 3, satisfying the braid and commutation relations of the Y555 diagram. The group is the full isometry group of a certain lattice of signature (13,1) over the Eisenstein integers Z[cube root of 1]. Along the way we enumerate the cusps of this lattice and classify the root and Niemeier lattices over this ring.
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.
Kleinian sphere packings, reflection groups, and arithmeticity
本文研究Kleinian球填充等相关问题，解决了高维晶体球填充存在性难题，提出几何加倍构造方法并探究真整填充，技术依托洛伦兹二次型等相关计算。
Let A = (A,V) be a complex hyperplane arrangement and let L(A) denote its intersection lattice. The arrangement A is called supersolvable, provided its lattice L(A) is supersolvable, a notion due to Stanley. Jambu and Terao showed that every supersolvable arrangement is inductively free, a notion due to Terao. So this is a natural subclass of this particular class of free arrangements. Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A = (A(W), V) be the associated hyperplane arrangement of W. In a recent paper, we determined all inductively free r…
This is the second in a series of papers that develops the theory of reflection monoids, motivated by the theory of reflection groups. Reflection monoids were first introduced in arXiv:0812.2789. In this paper we study their presentations as abstract monoids. Along the way we also find general presentations for certain join-semilattices (as monoids under join) which we interpret for two special classes of examples: the face lattices of convex polytopes and the geometric lattices, particularly the intersection lattices of hyperplane arrangements. Another spin-off is a general presentation for t…
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$.
Let A = (A,V) be a complex hyperplane arrangement and let L(A) denote its intersection lattice. The arrangement A is called supersolvable, provided its lattice L(A) is supersolvable. For X in L(A), it is known that the restriction A^X is supersolvable provided A is. Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A(W) = (A(W), V) be its associated hyperplane arrangement. In earlier work by the last two authors, we classified all supersolvable reflection arrangements. Extending this work, the aim of this note is to determine all supersolvable restr…
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. …
This paper studies the poset of eigenspaces of elements of an imprimitive unitary reflection group, for a fixed eigenvalue, ordered by the reverse of inclusion. The study of this poset is suggested by the eigenspace theory of Springer and Lehrer. The posets are shown to be isomorphic to certain subposets of Dowling lattices (the `d-divisible, k-evenly coloured Dowling lattices'). This enables us to prove that these posets are Cohen-Macaulay, and to determine the dimension of their top homology.
The lattice of intersections of reflecting hyperplanes of a complex reflection group W may be considered as the poset of 1-eigenspaces of the elements of W. In this paper we replace 1 with an arbitrary eigenvalue and study the topology and homology representation of the resulting poset. After posing the main question of whether this poset is shellable, we show that all its upper intervals are geometric lattices, and then answer the question in the affirmative for the infinite family G(m,p,n) of complex reflection groups, and the first 31 of the 34 exceptional groups, by constructing CL-shellin…
We study Coxeter diagrams of some unitary reflection groups. Using solely the combinatorics of diagrams, we give a new proof of the classification of root lattices defined over $\cE = \ZZ[e^{2 πi/3}]$: there are only four such lattices, namely, the $\cE$-lattices whose real forms are $A_2$, $D_4$, $E_6$ and $E_8$. Next, we address the issue of characterizing the diagrams for unitary reflection groups, a question that was raised by Broué, Malle and Rouquier. To this end, we describe an algorithm which, given a unitary reflection group $G$, picks out a set of complex reflections. The algorithm i…
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.
The eigenspace theory of unitary reflection groups, initiated by Springer and Lehrer, suggests that the following object is worthy of study: the poset of eigenspaces of elements of a unitary reflection group, for a fixed eigenvalue, ordered by the reverse of inclusion. We investigate topological properties of this poset. The new results extend the well-known work of Orlik and Solomon on the lattice of intersections of hyperplanes.
Interval Garside groups arising from involutions in finite reflection groups
研究有限反射群中对合产生的区间加赛德群，通过考克斯特群绝对序限制到特定格来识别研究，除$B_n$型外所得群同构于直角阿廷群，还探讨了有限复反射群相关情况。
Associated to every complex reflection group, we construct a lattice of quotients of its braid monoid-algebra, which we term nil-Hecke algebras, and which are obtained by killing all braid words that are "sufficiently long", as well as some integer power of each generator. These include usual nil-Coxeter algebras, nil-Temperley-Lieb algebras, and their variants, and lead to symmetric semigroup module categories which necessarily cannot be monoidal. Motivated by classical work of Coxeter (1957) and the Broue-Malle-Rouquier freeness conjecture [Crelle 1998], and continuing beyond work of the sec…
Ehrenborg and Jung recently related the order complex for the lattice of d-divisible partitions with the simplicial complex of pointed ordered set partitions via a homotopy equivalence. The latter has top homology naturally identified as a Specht module. Their work unifies that of Calderbank, Hanlon, Robinson, and Wachs. By focusing on the underlying geometry, we strengthen and extend these results from type A to all real reflection groups and the complex reflection groups known as Shephard groups.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。