Haagerup property and group-invariant percolation

• 成果类型: Article; Early Access
• 署名作者: Mukherjee, Chiranjib; Recke, Konstantin
• 署名单位: University of Munster
• 刊物名称: PROBABILITY THEORY AND RELATED FIELDS
• ISSN/ISSBN: 0178-8051; 1432-2064
• DOI: 10.1007/s00440-026-01514-9
• 发表日期: 2026-07-09
• 关键词: Haagerup property; percolation; Group-invariance; Kazhdhan's Property (T); Spaces with measured walls; Two-point functions; amenability; lamplighter groups; Co-compact Fuchsian groups; infinite clusters; phase-transitions; random-walks; KAZHDAN; uniqueness; BOUNDARY

摘要

Let G be the Cayley graph of a finitely generated, infinite group Gamma . We show that Gamma has the Haagerup property if and only if for every alpha<1 , there is a Gamma -invariant bond percolation P on G with E[deg(omega)(g)]>alpha degG(g) for every vertex g and with the two-point function tau(g,h)=P[g <-> h] vanishing as d(g,h)->infinity . As an upshot, we also obtain a sufficient condition for the Haagerup property using Bernoulli percolation and the associated threshold pconn of random connected subgraphs of G . On the other hand, we show that Gamma has Kazhdan's property (T) if and only if there exists a threshold alpha & lowast;<1 such that for every Gamma -invariant bond percolation P on G , E[deg(omega)(o)]>alpha(& lowast;)deg(o) implies that the two-point function is bounded away from zero. These results in particular answer questions about characterizations of properties of groups beyond amenability through group-invariant percolations, raised by Russell Lyons (J. Math. Phys. 41 1099-1126 (2000)). The method of proof is new and is based on a construction of percolations with suitable dependence structures built from invariant point processes on spaces with measured walls. In fact, we develop this new approach further to obtain quantitative estimates: we show that there is an explicit relationship between probabilistic quantities like large marginals and two-function decay of percolations and geometric features captured by growth of wall distances defined by invariant actions on spaces with measured walls. We apply this relationship to obtain quantitative bounds on the two-point functions, exhibiting in particular exponential decay of the two-point function in several prominent examples of Haagerup groups, including co-compact Fuchsian groups, co-compact discrete subgroups of Isom(Hn) and lamplighters over free groups. This method also allows us to extend the aforementioned characterization of property (T) to the setting of relative property (T). As further applications of our methods, we give new proofs of the facts that for Bernoulli percolation at the uniqueness threshold pu there is no unique infinite cluster for groups with property (T) as well as with relative property (T).