
We introduce the notion of metrically systolic simplicial complexes. We study
geometric and largescale properties of such complexes and of groups acting on
them geometrically. We show that all twodimensional Artin groups act
geometrically on metrically systolic complexes. As direct corollaries we obtain
new results on twodimensional Artin groups and all their finitely presented
subgroups: we prove that the Conjugacy Problem is solvable, and that the Dehn
function is quadratic. We also show several largescale features of finitely
presented subgroups of twodimensional Artin groups, lying background for
further studies concerning their quasiisometric rigidity.

We show that if a hyperbolic group acts geometrically on a CAT(0) cube
complex, then the induced boundary action is hyperfinite. This means that for a
cubulated hyperbolic group the natural action on its Gromov boundary is
hyperfinite, which generalizes an old result of Dougherty, Jackson and Kechris
for the free group case.

Under the assumption that a defining graph of a Coxeter group admits only
twists in $\mathbb{Z}_2$ and is of type FC, we prove M\"uhlherr's Twist
Conjecture.

We prove that Artin groups from a class containing all largetype Artin
groups are systolic. This provides a concise yet precise description of their
geometry. Immediate consequences are new results concerning largetype Artin
groups: biautomaticity; existence of $EZ$boundaries; the Novikov conjecture;
descriptions of finitely presented subgroups, of virtually solvable subgroups,
and of centralizers for infinite order elements; the Burghelea conjecture;
existence of lowdimensional models for classifying spaces for some families of
subgroups.

Let $G$ and $G'$ be two rightangled Artin groups (RAAG). We show they are
quasiisometric iff they are isomorphic, under the assumption that $Out(G)$ and
$Out(G')$ are finite. If only $Out(G)$ is finite, then $G'$ is quasiisometric
$G$ iff $G'$ is isomorphic to a finite index subgroup of $G$. In this case, we
give an algorithm to determine whether $G$ and $G'$ are quasiisometric by
looking at their defining graphs.

Suppose that $(W,S)$ is a Coxeter system with associated Artin group $A$ and
with a simplicial complex $L$ as its nerve. We define the notion of a "standard
abelian subgroup" in $A$. The poset of such subgroups in $A$ is parameterized
by the poset of simplices in a certain subdivision $L_\oslash$ of $L$. This
complex of standard abelian subgroups is used to generalize an earlier result
from the case of rightangled Artin groups to case of general Artin groups, by
calculating, in many instances, the smallest dimension of a manifold model for
$BA$. (This is the "action dimension" of $A$ denoted actdim $A$.) If $H_d(L;
\mathbb Z/2)\neq 0$, where $d=\dim L$, then actdim $A \ge 2d+2$. Moreover, when
the $K(\pi,1)$Conjecture holds for $A$, the inequality is an equality.

We show that every $n$quasiflat in a $n$dimensional $CAT(0)$ cube complex
is at finite Hausdorff distance from a finite union of $n$dimensional
orthants. Then we introduce a class of cube complexes, called {\em weakly
special} cube complexes and show that quasiisometries between their universal
coverings preserve top dimensional flats. We use this to establish several
quasiisometry invariants for rightangled Artin groups.
Some of our arguments also extend to $CAT(0)$ spaces of finite geometric
dimension. In particular, we give a short proof of the fact that a top
dimensional quasiflat in a Euclidean buildings is Hausdorff close to finite
union of Weyl cones, which was previously established in several other authors
by different methods.

Let $G$ be a rightangled Artin group with defining graph $\Gamma$ and let
$H$ be a finitely generated group quasiisometric to $G(\Gamma)$. We show if
$G$ satisfies (1) its outer automorphism group is finite; (2) $\Gamma$ does not
have induced 4cycle; (3) $\Gamma$ is starrigid; then $H$ is commensurable to
$G$. We show condition (2) is sharp in the sense that if $\Gamma$ contains an
induced 4cycle, then there exists an $H$ quasiisometric to $G(\Gamma)$ but
not commensurable to $G(\Gamma)$. Moreover, one can drop condition (1) if $H$
is a uniform lattice acting on the universal cover of the Salvetti complex of
$G(\Gamma)$. As a consequence, we obtain a conjugation theorem for such uniform
lattices. The ingredients of the proof include a blowup building construction
in \cite{cubulation} and a HaglundWise style combination theorem for certain
class of special cube complexes. However, in most of our cases, relative
hyperbolicity is absent, so we need new ingredients for the combination
theorem.

We characterize groups quasiisometric to a rightangled Artin group $G$ with
finite outer automorphism group. In particular all such groups admit a
geometric action on a $CAT(0)$ cube complex that has an equivariant "fibering"
over the Davis building of $G$.

We are motivated by the question that for which class of rightangled Artin
groups (RAAG's), the quasiisometry classification coincides with
commensurability classification. This is previously known for RAAG's with
finite outer automorphism groups. In this paper, we identify two classes of
RAAG's, where their outer automorphism groups are allowed to contain adjacent
transvections and partial conjugations, hence infinite. If $G$ belongs to one
of these classes, then any other RAAG $G'$ is quasiisometric to $G$ if and
only if $G'$ is commensurable to $G$. We also show that in this case, there
exists an algorithm to determine whether two RAAG's are quasiisometric by
looking at their defining graphs. Compared to the finite out case, as well as
the previous quasiisometry rigidity results for symmetric spaces, thick
Euclidean buildings and mapping class groups, the main issue we need to deal
with here is the reconstruction map may not have nice properties as before, or
may not even exist. We introduce a deformation argument, as well as techniques
from cubulation to deal with this issue.

We give a necessary and sufficient condition for a 2dimensional or a
threegenerator Artin group $A$ to be (virtually) cocompactly cubulated, in
terms of the defining graph of $A$.