Lie–Lück conjecture: qualitative rank-function convergence
Establish that for any semi-simple algebraic group G over C, any finitely generated subgroup Γ ≤ G(C), and any central character χ of Z(G) whose restriction to Z(G) ∩ Γ is fixed, as the highest-weight parameters of irreducible representations W with central character χ tend to infinity, the Sylvester matrix rank functions induced by W on C[Γ] converge to the twisted von Neumann rank function rk_Γ^χ on C[Γ].
References
Conjecture As rank functions on \mathbb{C}[\Gamma], we have that \lim_{\min \lambda_i \to \infty}\rk\Gamma_{W} = \rk\chi_\Gamma\,, where the limit is taken over X(T)\chi and \rk\chi\Gamma is the twisted von Neumann rank of \Gamma by the central character \chi restricted to \Gamma.
                — Asymptotics of rational representations for algebraic groups
                
                (2405.17360 - Sánchez et al., 27 May 2024) in Section 2 (Lie modules and Sylvester functions), Conjecture (label: lie-luck-conj)