The tame automorphism group of an affine quadric threefold acting on a square complex (Q487726): Difference between revisions

In the paper under review, the authors introduce the notion of \textit{tame\ automorphism} for the affine dimension 3 complex smooth quadric \(Q=\{xt-yz=1\}\subset{\mathbb C}^4\); this notion is inspired by the homonymous one related to polynomial automorphisms of \({\mathbb C}^3\) which are finite product of affine and elementary automorphisms. Denote by \(\mathrm{Tame}(Q)\) the subgroup of \(\mathrm{Aut}(Q)\) consisting of such time automorphisms. The authors define a graph \(\mathcal{C}\) with additional structure associated to that subgroup, so-called \textit{complex square}, in such a way that group acts by isometries on this graph and prove that then \(\mathcal{C}\) is \(CAT(0)\) and hyperbolic. As applications they deduce, on one hand, that \(\mathrm{Tame}(Q)\) is linearizable, i.e., conjugate to a subgroup of the orthogonal group \(O_4\) associated to the quadratic form \(xt-yz\) of \({\mathbb C}^4\), and on the other hand, that \(\mathrm{Tame}(Q)\) satisfies the Tits alternative, i.e. every subgroup of \(\mathrm{Tame}(Q)\) contains, either a solvable subgroup of finite index or a free subgroup of rank 2. Furthermore, in an appendix they prove that any non linear element in \(\mathrm{Tame}(Q)\) can be reduced to an element of \(O_4\) by composing with finitely many suitable elements which are elementary in some sense.