Related papers: Helly meets Garside and Artin

A generating pair $x, y$ for a group $G$ is said to be \textbf{\textit{symmetric}} if there exists an automorphism $\varphi_{x,y}$ of $G$ inverting both $x$ and $y$, that is, $x^{\varphi_{x,y}}=x^{-1}$ and $y^{\varphi_{x,y}}=y^{-1}$.…

We show that the geometric realisation of the poset of proper parabolic subgroups of a large-type Artin group has a systolic geometry. We use this geometry to show that the set of parabolic subgroups of a large-type Artin group is stable…

We propose a novel construction of finite hypergraphs and relational structures that is based on reduced products with Cayley graphs of groupoids. To this end we construct groupoids whose Cayley graphs have large girth not just in the usual…

Given a finite graph G there is a corresponding group given by the presentation with generators the vertices of G and a relation [x,y]=1 for generators x and y precisely when (x,y) is an edge of G. Such groups are known as partially…

While finite type Artin groups and right-angled Artin groups are well-understood, little is known about more general Artin groups. In this paper we use the action of an infinite type Artin group $A_\Gamma$ on a CAT(0) cube complex to prove…

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…

We study different geometric properties on infinite graphs, related to the weak-type boundedness of the Hardy-Littlewood maximal averaging operator. In particular, we analyze the connections between the doubling condition, having finite…

We prove that fractional Helly and $(p,q)$-theorems imply $(\aleph_0,q)$-theorems in an entirely abstract setting. We give a plethora of applications, including reproving almost all earlier $(\aleph_0,q)$-theorems about geometric…

The \emph{graph of irreducible parabolic subgroups} is a combinatorial object associated to an Artin-Tits group $A$ defined so as to coincide with the curve graph of the $(n+1)$-times punctured disk when $A$ is Artin's braid group on…

We propose a combinatorial framework to analyze quantitative Helly-type questions. Using this framework, we prove a Quantitative Fractional Helly Theorem with Fractional Helly Number 3d and a stability version of the Quantitative Helly…

We describe a simple locally CAT(0) classifying space for extra extra large type Artin groups (with all labels at least 5). Furthermore, when the Artin group is not dihedral, we describe a rank 1 periodic geodesic, thus proving that extra…

We show that the intersection of parabolic subgroups of an even finitely generated FC-type Artin group is again a parabolic subgroup.

We study combinatorial properties of convex sets over arbitrary valued fields. We demonstrate analogs of some classical results for convex sets over the reals (e.g. the fractional Helly theorem and B\'ar\'any's theorem on points in many…

The intersection graph of a group $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$…

We show that every abstract homomorphism $\varphi$ from a locally compact group $L$ to a graph product $G_\Gamma$, endowed with the discrete topology, is either continuous or $\varphi(L)$ lies in a 'small' parabolic subgroup. In particular,…

We study analytic properties of graph product of finite groups with a hyperbolic defining graph. This is done by studying dynamics on the Bowditch compactification of the extension graph, or the crossing graph, of graph product. In…

We prove the following variant of Helly's classical theorem for Hamming balls with a bounded radius. For $n>t$ and any (finite or infinite) set $X$, if in a family of Hamming balls of radius $t$ in $X^n$, every subfamily of at most…

Let $G$ be a group and $S$ be the set of all non-trivial proper subgroups of $G$. The intersection hypergraph of $G$, denoted by $\tilde{\Gamma}_\mathcal{H}(G)$, is a hypergraph whose vertex set is $\{H \in S \,\, | \,\, H \cap K = \{e\}…

We study versions of Helly's theorem that guarantee that the intersection of a family of convex sets in $R^d$ has a large diameter. This includes colourful, fractional and $(p,q)$ versions of Helly's theorem. In particular, the fractional…

In this paper, we present a variety of problems in the interface between combinatorics and geometry around the theorems of Helly, Radon, Carath\'eodory, and Tverberg. Through these problems we describe the fascinating area of Helly-type…