{"id":"arxiv/2611.02336","url":"https://arxiv.org/abs/2611.02336","tags":["math.OA"],"score":0,"title":"The relative dimension set of an extremal subfactor of finite index","domain":"math.OA","source":"arxiv","authors":["Julio Cáceres"],"reviews":0,"subject":"math.OA","summary":"Popa's relative dimension set $Λ(M,N)$ of an inclusion of $\\mathrm{II}_1$ factors $N\\subset M$ consists of the scalars $α$ for which some projection $p\\in M$ satisfies $E_N(p)=\\alpha1$. Popa computed it for index at most $4$, and for index $d>4$ outside the middle interval $(t_d,1-t_d)$, where $t_d(1-t_d)=d^{-1}$; whether the middle interval meets $Λ(M,N)$ for every irreducible inclusion of index $d>4$ has remained open. We show that for every extremal inclusion of finite index $d>4$, the whole interval $[t_d,1-t_d]$ is contained in $Λ(M,N)$. Consequently, $Λ(M,N)$ depends only on the index…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-02","reactions":{}}