Schwartz's conjectural picture for complex hyperbolic triangle groups

About 22 years old · traced to

Assume p1≤p2≤p3p_1\le p_2\le p_3, and let ι1,ι2,ι3\iota_1,\iota_2,\iota_3 be the complex reflections generating a (p1,p2,p3)(p_1,p_2,p_3)-representation. Define

wA=ι3ι2ι3ι1,wB=ι1ι2ι3.w_A=\iota_3\iota_2\iota_3\iota_1,\qquad w_B=\iota_1\iota_2\iota_3.

Schwartz's conjectural picture. A (p1,p2,p3)(p_1,p_2,p_3)-representation is a discrete embedding if and only if neither wAw_A nor wBw_B is elliptic. The corresponding parameter values form a closed symmetric interval. If wAw_A becomes elliptic before wBw_B, call the triple type A; otherwise call it type B. The triple is of type A if p1<10p_1<10 and of type B if p1>13p_1>13. For a type A triple, there is a countable collection of parameters for which the representation is infinite and discrete but not injective; for a type B triple, there are no discrete but non-injective representations of this kind.

This is the conjectural description, attributed in the source to Richard Schwartz, of the parameter space and discreteness behavior of complex hyperbolic triangle groups. The supplied material does not establish its resolution status.

References

Primary source

Anna Pratoussevitch, “Traces in Complex Hyperbolic Triangle Groups”, arXiv:math/0402153 (2004).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.