The eigenvalue one conjecture for odd-dimensional faithful irreducible representations

Let GG be a non-trivial finite group and let

ρ ⁣:GGLd(Z)\rho\colon G\rightarrow \operatorname{GL}_d(\mathbb{Z})

be a representation. Write ρR\rho^{\mathbb{R}} for the representation obtained by extending scalars to R\mathbb{R}, and let NGLd(Z)(ρ(G))N_{\operatorname{GL}_d(\mathbb{Z})}(\rho(G)) denote the normalizer of ρ(G)\rho(G) in GLd(Z)\operatorname{GL}_d(\mathbb{Z}). Assume that ρR\rho^{\mathbb{R}} is faithful and irreducible, and that dd is odd. Eigenvalue one conjecture. For every nNGLd(Z)(ρ(G))n\in N_{\operatorname{GL}_d(\mathbb{Z})}(\rho(G)), there exists gGg\in G such that ρ(g)n\rho(g)n has eigenvalue 11. This conjecture gives a sufficient eigenvalue condition used to establish the RR_\infty property for closed flat manifolds; its resolution status is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Gerhard Hiss and Rafał Lutowski, “The eigenvalue one property of finite groups, I”, arXiv:2504.04978 (2025).

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.