arXiv subjects

Alice Mark

Publications and source records attributed to Alice Mark.

6 recordsLinked to original sources

arXiv2023

Shi arrangements and low elements in Coxeter groups

Given an arbitrary Coxeter system $(W,S)$ and a nonnegative integer $m$, the $m$-Shi arrangement of $(W,S)$ is a subarrangement of the Coxeter hyperplane arrangement of $(W,S)$. The classical Shi arrangement ($m=0$) was introduced in the case of affine Weyl groups by Shi to study Kazhdan-Lusztig cells for $W$. As two key results, Shi showed that each region of the Shi arrangement contains exactly one element of minimal length in $W$ and that the union of their inverses form a convex subset of the Coxeter complex. The set of $m$-low elements in $W$ were introduced to study the word problem of the corresponding Artin-Tits (braid) group and they turn out to produce automata to study the combinatorics of reduced words in $W$. In this article, we generalize and extend Shi's results to any Coxeter system for any $m$: (1) the set of minimal length elements of the regions in a $m$-Shi arrangement is precisely the set of $m$-low elements, settling a conjecture of the first and third authors in this case; (2) the union of the inverses of the ($0$-)low elements form a convex subset in the Coxeter complex, settling a conjecture by the third author, Nadeau and Williams.

math.CO↗

arXiv2021

Picard modular groups generated by complex reflections

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.

math.GR↗

arXiv2017

Presentations for cusped arithmetic hyperbolic lattices

We present a general method to compute a presentation for any cusped arithmetic hyperbolic lattice $\Gamma$, applying a classical result of Macbeath to a suitable $\Gamma$-invariant horoball cover of the corresponding symmetric space. As applications we compute presentations for the Picard modular groups ${\rm PU}(2,1,\mathcal{O}_d)$ for $d=1,3,7$ and the quaternion hyperbolic lattice ${\rm PU}(2,1,\mathcal{H})$ with entries in the Hurwitz integer ring $\mathcal{H}$. The implementation of the method for these groups is computer-assisted.

math.GR↗

arXiv2015

The classification of Rank 3 Reflective Hyperbolic Lattices over Z[\sqrt{2}]

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. However, for a large number of our quadratic forms the computation time required by Vinberg's algorithm was too long. We invented some alternatives, which we present here.

math.GR↗

arXiv2015

The Conway-Sloane calculus for 2-adic lattices

We motivate and explain the system introduced by Conway and Sloane for working with quadratic forms over the 2-adic integers, and prove its validity. Their system is far better for actual calculations than earlier methods, and has been used for many years, but no proof has been published before now.

math.NT↗

arXiv2012

Reflection groups of the quadratic form -px_0^2+x_1^2+...+x_n^2

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.

math.GR↗