Related papers: Hyperplanes of Squier's cube complexes
In this note we give a complete description of all the hyperplane section of the projective bundle associated to the tangent bundle of $\mathbb{P}^2$ under its natural embedding in $\mathbb{P}^7.$ As an application one obtains a description…
We investigate several types of linear codes constructed from two families $\tilde{\mathcal S}_q$ and $\tilde{\mathcal R}_q$ of maximal curves over finite fields recently constructed by Skabelund as cyclic covers of the Suzuki and Ree…
We associate a graph ${\mathcal N}_{S}$ with a semigroup $S$ (called the upper non-nilpotent graph of $S$). The vertices of this graph are the elements of $S$ and two vertices are adjacent if they generate a semigroup that is not nilpotent…
Central to the theory of special cube complexes is Haglund and Wise's construction of the canonical completion and retraction, which enables one to build finite covers of special cube complexes in a highly controlled manner. In this paper…
Let $S_{p,q}$ be the hypersurface in $\mathbb{R}^{p+q+1}$ defined by the following: $$ S_{p,q} := \left\lbrace (x_1,\ldots,x_{p+1},x_{p+2},\ldots,x_{p+q+1}) \in \mathbb{R}^{p+q+1} \big| \left( \sum_{i=1}^{p+1} x_i^2 - a^2 \right)^2 +…
Let $S$ be a semigroup, $\Lambda$ a non-empty set and $P$ a mapping of $\Lambda$ into $S$. The set $S\times \Lambda$ together with the operation $\circ _P$ defined by $(s, \lambda)\circ _P(t, \mu )=(sP(\lambda)t, \mu )$ form a semigroup…
In this paper we study group actions on quasi-median graphs, or 'CAT(0) prism complexes', generalising the notion of CAT(0) cube complexes. We consider hyperplanes in a quasi-median graph $X$ and define the contact graph $\mathcal{C}X$ for…
Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…
In \cite{Oh22}, the second author defined a complex of groups decomposition of the fundamental group of a finitely generated 2-dimensional special group, called an \emph{intersection complex}, which is a quasi-isometry invariant. In this…
We study plane curves of type p,q having only nodes as singularities. Every Weierstra\ss semigroup is the Weierstra\ss semigroup of such a curve at its place at infinity for properly chosen p,q. We construct plane curves of type p,q with…
For a finite Coxeter group W, a subword complex is a simplicial complex associated with a pair (Q, \rho), where Q is a word in the alphabet of simple reflections, \rho is a group element. We describe the transformations of such a complex…
We study the hyperplane arrangements associated, via the minimal model programme, to symplectic quotient singularities. We show that this hyperplane arrangement equals the arrangement of CM-hyperplanes coming from the representation theory…
Convergent rewriting systems are well-known tools in the study of the word-rewriting problem. In particular, a presentation of a monoid by a finite convergent rewriting system gives an algorithm to decide the word problem for this monoid.…
We introduce the space function $s(n)$ of a finitely presented semigroup $S =<A\mid R>.$ To define $s(n)$ we consider pairs of words $w,w'$ over $A$ of length at most $n$ equal in $S$ and use relations from $R$ for the transformations…
For an arrangement $\mathcal{H}$ of hyperplanes in $\mathbb{R}^n$ through the origin, a region is a connected subset of $\mathbb{R}^n\setminus\mathcal{H}$. The graph of regions $G(\mathcal{H})$ has a vertex for every region, and an edge…
The {\it Weierstrass semigroup} of pole orders of meromorphic functions in a point $p$ of a smooth algebraic curve $C$ is a classical object of study; a celebrated problem of Hurwitz is to characterize which semigroups ${\rm S} \subset…
A plane near-triangulation G can be decomposed into a collection of induced subgraphs, described here as the W-components of G, such that G is perfect (respectively, chordal) if and only if each of its W-components is perfect (respectively,…
The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent…
We examine a graph $\Gamma$ encoding the intersection of hyperplane carriers in a CAT(0) cube complex $\widetilde X$. The main result is that $\Gamma$ is quasi-isometric to a tree. This implies that a group $G$ acting properly and…
We study divergence and thickness for general Coxeter groups $W$. We first characterise linear divergence, and show that if $W$ has superlinear divergence then its divergence is at least quadratic. We then formulate a computable…