Relative dimension, towers of projections and commuting squares of subfactors (Q913202)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relative dimension, towers of projections and commuting squares of subfactors
scientific article

    Statements

    Relative dimension, towers of projections and commuting squares of subfactors (English)
    0 references
    1989
    0 references
    If \(N\subset M\) is a subfactor of the type \(II_ 1\) factor M the index of N in M, [M:N], introduced by V. Jones, can only take the values \(\{4 \cos^ 2\pi /(n+2):\) \(n\geq 0\}\cup [4,\infty]\). It can also be defined as the dimension of the smallest nonzero projection in M which expected on N is a scalar multiple of the identity. This paper deals with the set \(\Lambda\) (M,N) of nonzero scalars appearing this way. The main result is the following: Let \(N\subset M\) be a subfactor of finite index. (i) If \([M:N]=4 \cos^ 2\pi /(n+2)\) then \(\Lambda (M,N)=\{0\}\cup \{P_{k-1}([M:N]^{-1})/[M:N]P_ k([M:N]^{- 1\quad}):\quad 0\leq k\leq n-1\},\) (ii) If \([M:N]\geq 4\) and \(t\leq 1/2\) is so that \(t(1-t)=[M:N]^{-1}\) then \(\Lambda (M,N)\cap (0,t)=\{P_{k- 1}([M:N]^{-1})/[M:N]P_ k([M:N]^{-1\quad}):\quad k\geq 0\}.\) Where \(P_ k(x)\) is the Jones' polynomial defined by \(P_{-1}\equiv 1\), \(P_ 0\equiv 1\), \(P_{n+1}(x)=P_ n(x)-xP_{n-1}(x)\).
    0 references
    0 references
    relative dimension
    0 references
    towers of projections
    0 references
    commuting squares of
    0 references
    subfactors
    0 references
    Jones index
    0 references
    index
    0 references
    subfactor of finite index
    0 references
    Jones' polynomial
    0 references
    0 references
    0 references