{"id":"arxiv/2609.17957","url":"https://arxiv.org/abs/2609.17957","tags":["math.GR"],"score":0,"title":"Involution and Commutator Length in PU(n,1)","domain":"math.GR","source":"arxiv","authors":["Zhongqi Wang","Shihai Yang"],"reviews":0,"subject":"math.GR","summary":"We study decompositions of holomorphic isometries of complex hyperbolic space into holomorphic involutions. We prove that, for every n>=3, the involution length of PU(n,1) is 4. This improves the higher-dimensional upper bound 8 of Paupert--Will, as well as the projective upper bound 5 implied by Bünger's linear decomposition theorem, to the optimal value 4. Combined with the two-dimensional result of Paupert--Will, this shows that the involution length of PU(n,1) is 4 for every n>=2. The core of the proof is a three-involution decomposition theorem for square roots: every g in PU(n,1) has a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-16","reactions":{}}