In this paper we introduce the galaxy of Coxeter groups -- an infinite
dimensional, locally finite, ranked simplicial complex which captures
isomorphisms between Coxeter systems. In doing so, we would like to suggest a
new framework to study the isomorphism problem for Coxeter groups. We prove
some structural results about this space, provide a full characterization in
small ranks and propose many questions. In addition we survey known tools,
results and conjectures. Along the way we show profinite rigidity of triangle
Coxeter groups -- a result which is possibly of independent interest.Comment: 30 pages, 6 figures. v2: Incorporated referee's suggestions;
Corrected a mistake in the proof of Theorem 4.25 (formerly 4.24), improved
other proofs and text; Final version, to appear in the Journal of Algebr