• Images
• Videos
• Documents
• Books
• Articles

Definition

The idea of the planar algebra is to be a diagrammatic axiomatization of the standard invariant.⁶⁷⁸

Planar tangle

A (shaded) planar tangle is the data of finitely many input disks, one output disk, non-intersecting strings giving an even number, say 2 n {\displaystyle 2n} , intervals per disk and one ⋆ {\displaystyle \star } -marked interval per disk.

Here, the mark is shown as a ⋆ {\displaystyle \star } -shape. On each input disk it is placed between two adjacent outgoing strings, and on the output disk it is placed between two adjacent incoming strings. A planar tangle is defined up to isotopy.

Composition

To compose two planar tangles, put the output disk of one into an input of the other, having as many intervals, same shading of marked intervals and such that the ⋆ {\displaystyle \star } -marked intervals coincide. Finally we remove the coinciding circles. Note that two planar tangles can have zero, one or several possible compositions.

Planar operad

The planar operad is the set of all the planar tangles (up to isomorphism) with such compositions.

Planar algebra

A planar algebra is a representation of the planar operad; more precisely, it is a family of vector spaces ( P n , ± ) n ∈ N {\displaystyle ({\mathcal {P}}_{n,\pm })_{n\in \mathbb {N} }} , called n {\displaystyle n} -box spaces, on which acts the planar operad, i.e. for any tangle T {\displaystyle T} (with one output disk and r {\displaystyle r} input disks with 2 n 0 {\displaystyle 2n_{0}} and 2 n 1 , … , 2 n r {\displaystyle 2n_{1},\dots ,2n_{r}} intervals respectively) there is a multilinear map

Z T : P n 1 , ϵ 1 ⊗ ⋯ ⊗ P n r , ϵ r → P n 0 , ϵ 0 {\displaystyle Z_{T}:{\mathcal {P}}_{n_{1},\epsilon _{1}}\otimes \cdots \otimes {\mathcal {P}}_{n_{r},\epsilon _{r}}\to {\mathcal {P}}_{n_{0},\epsilon _{0}}}

with ϵ i ∈ { + , − } {\displaystyle \epsilon _{i}\in \{+,-\}} according to the shading of the ⋆ {\displaystyle \star } -marked intervals, and these maps (also called partition functions) respect the composition of tangle in such a way that all the diagrams as below commute.

Examples

Planar tangles

The family of vector spaces ( T n , ± ) n ∈ N {\displaystyle ({\mathcal {T}}_{n,\pm })_{n\in \mathbb {N} }} generated by the planar tangles having 2 n {\displaystyle 2n} intervals on their output disk and a white (or black) ⋆ {\displaystyle \star } -marked interval, admits a planar algebra structure.

Temperley–Lieb

The Temperley-Lieb planar algebra T L ( δ ) {\displaystyle {\mathcal {TL}}(\delta )} is generated by the planar tangles without input disk; its 3 {\displaystyle 3} -box space T L 3 , + ( δ ) {\displaystyle {\mathcal {TL}}_{3,+}(\delta )} is generated by

Moreover, a closed string is replaced by a multiplication by δ {\displaystyle \delta } .

Note that the dimension of T L n , ± ( δ ) {\displaystyle {\mathcal {TL}}_{n,\pm }(\delta )} is the Catalan number 1 n + 1 ( 2 n n ) {\displaystyle {\frac {1}{n+1}}{\binom {2n}{n}}} . This planar algebra encodes the notion of Temperley–Lieb algebra.

Hopf algebra

A semisimple and cosemisimple Hopf algebra over an algebraically closed field is encoded in a planar algebra defined by generators and relations, and "corresponds" (up to isomorphism) to a connected, irreducible, spherical, non degenerate planar algebra with non zero modulus δ {\displaystyle \delta } and of depth two.⁹

Note that connected means dim ⁡ ( P 0 , ± ) = 1 {\displaystyle \dim({\mathcal {P}}_{0,\pm })=1} (as for evaluable below), irreducible means dim ⁡ ( P 1 , + ) = 1 {\displaystyle \dim({\mathcal {P}}_{1,+})=1} , spherical is defined below, and non-degenerate means that the traces (defined below) are non-degenerate.

Subfactor planar algebra

Definition

A subfactor planar algebra is a planar ⋆ {\displaystyle \star } -algebra ( P n , ± ) n ∈ N {\displaystyle ({\mathcal {P}}_{n,\pm })_{n\in \mathbb {N} }} which is:

(1) Finite-dimensional: dim ⁡ ( P n , ± ) < ∞ {\displaystyle \dim({\mathcal {P}}_{n,\pm })<\infty } (2) Evaluable: P 0 , ± = C {\displaystyle {\mathcal {P}}_{0,\pm }=\mathbb {C} } (3) Spherical: t r := t r r = t r l {\displaystyle tr:=tr_{r}=tr_{l}} (4) Positive: ⟨ a | b ⟩ = t r ( b ⋆ a ) {\displaystyle \langle a\vert b\rangle =tr(b^{\star }a)} defines an inner product.

Note that by (2) and (3), any closed string (shaded or not) counts for the same constant δ {\displaystyle \delta } .

The tangle action deals with the adjoint by:

Z T ( a 1 ⊗ a 2 ⊗ ⋯ ⊗ a r ) ⋆ = Z T ⋆ ( a 1 ⋆ ⊗ a 2 ⋆ ⊗ ⋯ ⊗ a r ⋆ ) {\displaystyle Z_{T}(a_{1}\otimes a_{2}\otimes \cdots \otimes a_{r})^{\star }=Z_{T^{\star }}(a_{1}^{\star }\otimes a_{2}^{\star }\otimes \cdots \otimes a_{r}^{\star })}

with T ⋆ {\displaystyle T^{\star }} the mirror image of T {\displaystyle T} and a i ⋆ {\displaystyle a_{i}^{\star }} the adjoint of a i {\displaystyle a_{i}} in P n i , ϵ i {\displaystyle {\mathcal {P}}_{n_{i},\epsilon _{i}}} .

Examples and results

No-ghost theorem: The planar algebra T L ( δ ) {\displaystyle {\mathcal {TL}}(\delta )} has no ghost (i.e. element a {\displaystyle a} with ⟨ a | a ⟩ < 0 {\displaystyle \langle a\vert a\rangle <0} ) if and only if

δ ∈ { 2 cos ⁡ ( π / n ) | n = 3 , 4 , 5 , . . . } ∪ [ 2 , + ∞ ] {\displaystyle \delta \in \{2\cos(\pi /n)|n=3,4,5,...\}\cup [2,+\infty ]}

For δ {\displaystyle \delta } as above, let I {\displaystyle {\mathcal {I}}} be the null ideal (generated by elements a {\displaystyle a} with ⟨ a | a ⟩ = 0 {\displaystyle \langle a\vert a\rangle =0} ). Then the quotient T L ( δ ) / I {\displaystyle {\mathcal {TL}}(\delta )/{\mathcal {I}}} is a subfactor planar algebra, called the Temperley–Lieb-Jones subfactor planar algebra T L J ( δ ) {\displaystyle {\mathcal {TLJ}}(\delta )} . Any subfactor planar algebra with constant δ {\displaystyle \delta } admits T L J ( δ ) {\displaystyle {\mathcal {TLJ}}(\delta )} as planar subalgebra.

A planar algebra ( P n , ± ) {\displaystyle ({\mathcal {P}}_{n,\pm })} is a subfactor planar algebra if and only if it is the standard invariant of an extremal subfactor N ⊆ M {\displaystyle N\subseteq M} of index [ M : N ] = δ 2 {\displaystyle [M:N]=\delta ^{2}} , with P n , + = N ′ ∩ M n − 1 {\displaystyle {\mathcal {P}}_{n,+}=N'\cap M_{n-1}} and P n , − = M ′ ∩ M n {\displaystyle {\mathcal {P}}_{n,-}=M'\cap M_{n}} .¹⁰¹¹¹² A finite depth or irreducible subfactor is extremal ( t r N ′ = t r M {\displaystyle tr_{N'}=tr_{M}} on N ′ ∩ M {\displaystyle N'\cap M} ).

There is a subfactor planar algebra encoding any finite group (and more generally, any finite dimensional Hopf C ⋆ {\displaystyle {\rm {C}}^{\star }} -algebra, called Kac algebra), defined by generators and relations. A (finite dimensional) Kac algebra "corresponds" (up to isomorphism) to an irreducible subfactor planar algebra of depth two.¹³¹⁴

The subfactor planar algebra associated to an inclusion of finite groups,¹⁵ does not always remember the (core-free) inclusion.¹⁶¹⁷

A Bisch-Jones subfactor planar algebra B J ( δ 1 , δ 2 ) {\displaystyle {\mathcal {BJ}}(\delta _{1},\delta _{2})} (sometimes called Fuss-Catalan) is defined as for T L J ( δ ) {\displaystyle {\mathcal {TLJ}}(\delta )} but by allowing two colors of string with their own constant δ 1 {\displaystyle \delta _{1}} and δ 2 {\displaystyle \delta _{2}} , with δ i {\displaystyle \delta _{i}} as above. It is a planar subalgebra of any subfactor planar algebra with an intermediate such that [ K : N ] = δ 1 2 {\displaystyle [K:N]=\delta _{1}^{2}} and [ M : K ] = δ 2 2 {\displaystyle [M:K]=\delta _{2}^{2}} .¹⁸¹⁹

The first finite depth subfactor planar algebra of index δ 2 > 4 {\displaystyle \delta ^{2}>4} is called the Haagerup subfactor planar algebra.²⁰ It has index ( 5 + 13 ) / 2 ∼ 4.303 {\displaystyle (5+{\sqrt {13}})/2\sim 4.303} .

The subfactor planar algebras are completely classified for index at most 5 {\displaystyle 5} ²¹ and a bit beyond.²² This classification was initiated by Uffe Haagerup.²³ It uses (among other things) a listing of possible principal graphs, together with the embedding theorem²⁴ and the jellyfish algorithm.²⁵

A subfactor planar algebra remembers the subfactor (i.e. its standard invariant is complete) if it is amenable.²⁶ A finite depth hyperfinite subfactor is amenable.

About the non-amenable case: there are unclassifiably many irreducible hyperfinite subfactors of index 6 that all have the same standard invariant.²⁷

Fourier transform and biprojections

Let N ⊂ M {\displaystyle N\subset M} be a finite index subfactor, and P {\displaystyle {\mathcal {P}}} the corresponding subfactor planar algebra. Assume that P {\displaystyle {\mathcal {P}}} is irreducible (i.e. P 1 , + = N ′ ∩ M 1 = C {\displaystyle {\mathcal {P}}_{1,+}=N'\cap M_{1}=\mathbb {C} } ). Let N ⊂ K ⊂ M {\displaystyle N\subset K\subset M} be an intermediate subfactor. Let the Jones projection e K M : L 2 ( M ) → L 2 ( K ) {\displaystyle e_{K}^{M}:L^{2}(M)\to L^{2}(K)} . Note that e K M ∈ P 2 , + {\displaystyle e_{K}^{M}\in {\mathcal {P}}_{2,+}} . Let i d := e M M {\displaystyle id:=e_{M}^{M}} and e 1 := e N M {\displaystyle e_{1}:=e_{N}^{M}} .

Note that t r ( e 1 ) = δ − 2 = [ M : N ] − 1 {\displaystyle tr(e_{1})=\delta ^{-2}=[M:N]^{-1}} and t r ( i d ) = 1 {\displaystyle tr(id)=1} .

Let the bijective linear map F : P 2 , ± → P 2 , ∓ {\displaystyle {\mathcal {F}}:{\mathcal {P}}_{2,\pm }\to {\mathcal {P}}_{2,\mp }} be the Fourier transform, also called 1 {\displaystyle 1} -click (of the outer star) or 90 ∘ {\displaystyle 90^{\circ }} rotation; and let a ∗ b {\displaystyle a*b} be the coproduct of a {\displaystyle a} and b {\displaystyle b} .

Note that the word coproduct is a diminutive of convolution product. It is a binary operation.

The coproduct satisfies the equality a ∗ b = F ( F − 1 ( a ) F − 1 ( b ) ) . {\displaystyle a*b={\mathcal {F}}({\mathcal {F}}^{-1}(a){\mathcal {F}}^{-1}(b)).}

For any positive operators a , b {\displaystyle a,b} , the coproduct a ∗ b {\displaystyle a*b} is also positive; this can be seen diagrammatically:²⁸

Let a ¯ := F ( F ( a ) ) {\displaystyle {\overline {a}}:={\mathcal {F}}({\mathcal {F}}(a))} be the contragredient a {\displaystyle a} (also called 180 ∘ {\displaystyle 180^{\circ }} rotation). The map F 4 {\displaystyle {\mathcal {F}}^{4}} corresponds to four 1 {\displaystyle 1} -clicks of the outer star, so it's the identity map, and then a ¯ ¯ = a {\displaystyle {\overline {\overline {a}}}=a} .

In the Kac algebra case, the contragredient is exactly the antipode,²⁹ which, for a finite group, correspond to the inverse.

A biprojection is a projection b ∈ P 2 , + ∖ { 0 } {\displaystyle b\in {\mathcal {P}}_{2,+}\setminus \{0\}} with F ( b ) {\displaystyle {\mathcal {F}}(b)} a multiple of a projection. Note that e 1 = e N M {\displaystyle e_{1}=e_{N}^{M}} and i d = e M M {\displaystyle id=e_{M}^{M}} are biprojections; this can be seen as follows:

A projection b {\displaystyle b} is a biprojection iff it is the Jones projection e K M {\displaystyle e_{K}^{M}} of an intermediate subfactor N ⊂ K ⊂ M {\displaystyle N\subset K\subset M} ,³⁰ iff e 1 ≤ b = b ¯ = λ b ∗ b ,  with  λ − 1 = δ t r ( b ) {\displaystyle e_{1}\leq b={\overline {b}}=\lambda b*b,{\text{ with }}\lambda ^{-1}=\delta tr(b)} .³¹³²

Galois correspondence:³³ in the Kac algebra case, the biprojections are 1-1 with the left coideal subalgebras, which, for a finite group, correspond to the subgroups.

For any irreducible subfactor planar algebra, the set of biprojections is a finite lattice,³⁴ of the form [ e 1 , i d ] {\displaystyle [e_{1},id]} , as for an interval of finite groups [ H , G ] {\displaystyle [H,G]} .

Using the biprojections, we can make the intermediate subfactor planar algebras.³⁵³⁶

The uncertainty principle extends to any irreducible subfactor planar algebra P {\displaystyle {\mathcal {P}}} :

Let S ( x ) = T r ( R ( x ) ) {\displaystyle {\mathcal {S}}(x)=Tr(R(x))} with R ( x ) {\displaystyle R(x)} the range projection of x {\displaystyle x} and T r {\displaystyle Tr} the unnormalized trace (i.e. T r = δ n t r {\displaystyle Tr=\delta ^{n}tr} on P n , ± {\displaystyle {\mathcal {P}}_{n,\pm }} ).

Noncommutative uncertainty principle:³⁷ Let x ∈ P 2 , ± {\displaystyle x\in {\mathcal {P}}_{2,\pm }} , nonzero. Then

S ( x ) S ( F ( x ) ) ≥ δ 2 {\displaystyle {\mathcal {S}}(x){\mathcal {S}}({\mathcal {F}}(x))\geq \delta ^{2}}

Assuming x {\displaystyle x} and F ( x ) {\displaystyle {\mathcal {F}}(x)} positive, the equality holds if and only if x {\displaystyle x} is a biprojection. More generally, the equality holds if and only if x {\displaystyle x} is the bi-shift of a biprojection.

References

1. Vaughan F. R. Jones (1999), "Planar algebras, I", arXiv:math/9909027 /wiki/Vaughan_F._R._Jones ↩

2. Bar-Natan, Dror (2004). "Dror Bar-Natan: Publications: Cobordisms". Math.toronto.edu. 9 (3): 1443–1499. arXiv:math/0410495. doi:10.2140/gt.2005.9.1443. Retrieved 2016-11-20. http://www.math.toronto.edu/~drorbn/papers/Cobordism/ ↩

3. Bar-Natan, Dror (2005). "Khovanov's homology for tangles and cobordisms". Geometry & Topology. 9 (3): 1443–1499. arXiv:math/0410495. doi:10.2140/gt.2005.9.1443. S2CID 1247623. /wiki/ArXiv_(identifier) ↩

4. Vaughan F. R. Jones (2017), "Some unitary representations of Thompson's groups F and T", J. Comb. Algebra, 1 (1): 1–44, arXiv:1412.7740, doi:10.4171/JCA/1-1-1, MR 3589908, S2CID 119631229 /wiki/Vaughan_F._R._Jones ↩

5. Vaughan F. R. Jones (1999), "Planar algebras, I", arXiv:math/9909027 /wiki/Vaughan_F._R._Jones ↩

6. Vaughan F. R. Jones (1999), "Planar algebras, I", arXiv:math/9909027 /wiki/Vaughan_F._R._Jones ↩

7. Vijay Kodiyalam; V.S. Sunder (2004), "On Jones' planar algebras", J. Knot Theory Ramifications, 13 (2): 219–247, doi:10.1142/S021821650400310X, MR 2047470 /wiki/V.S._Sunder ↩

8. "Vijay Kodiyalam - Planar algebras - IMSc 2015". youtube.com. 2015-11-14. https://www.youtube.com/playlist?list=PLjudt2gd3iAe40juwS3dKocAoooXF91Vi ↩

9. Vijay Kodiyalam; V.S. Sunder (2006), "The planar algebra of a semisimple and cosemisimple Hopf algebra", Proc. Indian Acad. Sci. Math. Sci., 116 (4): 1–16, arXiv:math/0506153, Bibcode:2005math......6153K /wiki/V.S._Sunder ↩

10. Sorin Popa (1995), "An axiomatization of the lattice of higher relative commutants of a subfactor", Inventiones Mathematicae, 120 (3): 427–445, Bibcode:1995InMat.120..427P, doi:10.1007/BF01241137, MR 1334479, S2CID 1740471 /wiki/Sorin_Popa ↩

11. Alice Guionnet; Vaughan F. R. Jones; Dimitri Shlyakhtenko (2010), "Random matrices, free probability, planar algebras and subfactors", Clay Math. Proc., {11}: 201–239, MR 2732052 /wiki/Alice_Guionnet ↩

12. Vijay Kodiyalam; V.S. Sunder (2009), "From subfactor planar algebras to subfactors", Internat. J. Math., 20 (10): 1207–1231, arXiv:0807.3704, doi:10.1142/S0129167X0900573X, MR 2574313, S2CID 115161031 /wiki/V.S._Sunder ↩

13. Paramita Das; Vijay Kodiyalam (2005), "Planar algebras and the Ocneanu-Szymanski theorem", Proc. Amer. Math. Soc., 133 (9): 2751–2759, doi:10.1090/S0002-9939-05-07789-0, ISSN 0002-9939, MR 2146224 /wiki/Proc._Amer._Math._Soc. ↩

14. Vijay Kodiyalam; Zeph Landau; V.S. Sunder (2003), "The planar algebra associated to a Kac algebra", Proc. Indian Acad. Sci. Math. Sci., 113 (1): 15–51, doi:10.1007/BF02829677, ISSN 0253-4142, MR 1971553, S2CID 56571515 /wiki/V.S._Sunder ↩

15. Ved Prakash Gupta (2008), "Planar algebra of the subgroup-subfactor", Proceedings Mathematical Sciences, 118 (4): 583–612, arXiv:0806.1791, Bibcode:2008arXiv0806.1791G, doi:10.1007/s12044-008-0046-0, S2CID 5589336 /wiki/ArXiv_(identifier) ↩

16. Vijay Kodiyalam; V.S. Sunder (2000), "The subgroup-subfactor", Math. Scand., 86 (1): 45–74, doi:10.7146/math.scand.a-14281, ISSN 0025-5521, MR 1738515 /wiki/V.S._Sunder ↩

17. Masaki Izumi (2002), "Characterization of isomorphic group-subgroup subfactors", Int. Math. Res. Not., 2002 (34): 1791–1803, doi:10.1155/S107379280220402X, ISSN 1073-7928, MR 1920326{{citation}}: CS1 maint: unflagged free DOI (link) /wiki/Doi_(identifier) ↩

18. Dietmar Bisch; Vaughan Jones (1997), "Algebras associated to intermediate subfactors", Inventiones Mathematicae, 128 (1): 89–157, Bibcode:1997InMat.128...89J, doi:10.1007/s002220050137, S2CID 119372640 /wiki/Vaughan_Jones ↩

19. Pinhas Grossman; Vaughan Jones (2007), "Intermediate subfactors with no extra structure", J. Amer. Math. Soc., 20 (1): 219–265, Bibcode:2007JAMS...20..219G, doi:10.1090/S0894-0347-06-00531-5, MR 2257402 /wiki/Vaughan_Jones ↩

20. Emily Peters (2010), "A planar algebra construction of the Haagerup subfactor", Internat. J. Math., 21 (8): 987–1045, arXiv:0902.1294, doi:10.1142/S0129167X10006380, MR 2679382, S2CID 951475 /wiki/ArXiv_(identifier) ↩

21. Vaughan F. R. Jones; Scott Morrison; Noah Snyder (2014), "The classification of subfactors of index at most 5 {\displaystyle 5} ", Bull. Amer. Math. Soc. (N.S.), 51 (2): 277–327, arXiv:1304.6141, doi:10.1090/S0273-0979-2013-01442-3, MR 3166042, S2CID 29962597 /wiki/Vaughan_F._R._Jones ↩

22. Narjess Afzaly; Scott Morrison; David Penneys (2015), The classification of subfactors with index at most 5 + 1 / 4 {\displaystyle 5+1/4} , pp. 70pp, arXiv:1509.00038, Bibcode:2015arXiv150900038A /wiki/ArXiv_(identifier) ↩

23. Uffe Haagerup (1994), "Principal graphs of subfactors in the index range 4 < [ M : N ] < 3 + 2 {\displaystyle 4<[M:N]<3+{\sqrt {2}}} ", Subfactors (Kyuzeso, 1993): 1–38, MR 1317352 /wiki/Uffe_Haagerup ↩

24. Vaughan Jones; David Penneys (2011), "The embedding theorem for finite depth subfactor planar algebras.", Quantum Topol., 2 (3): 301–337, arXiv:1007.3173, doi:10.4171/QT/23, MR 2812459, S2CID 59578009 /wiki/Vaughan_Jones ↩

25. Stephen Bigelow; David Penneys (2014), "Principal graph stability and the jellyfish algorithm.", Math. Ann., 358 (1–2): 1–24, arXiv:1208.1564, doi:10.1007/s00208-013-0941-2, MR 3157990, S2CID 3549669 /wiki/Stephen_Bigelow ↩

26. Popa, Sorin (1994), "Classification of amenable subfactors of type II", Acta Mathematica, 172 (2): 163–255, doi:10.1007/BF02392646, MR 1278111 /wiki/Sorin_Popa ↩

27. Arnaud Brothier; Stefaan Vaes (2015), "Families of hyperfinite subfactors with the same standard invariant and prescribed fundamental group.", J. Noncommut. Geom., 9 (3): 775–796, arXiv:1309.5354, doi:10.4171/JNCG/207, MR 3420531, S2CID 117853753 /wiki/Stefaan_Vaes ↩

28. Zhengwei Liu (2016), "Exchange relation planar algebras of small rank", Trans. Amer. Math. Soc., 368 (12): 8303–8348, arXiv:1308.5656, doi:10.1090/tran/6582, ISSN 0002-9947, MR 3551573, S2CID 117030298 /wiki/Trans._Amer._Math._Soc. ↩

29. Vijay Kodiyalam; Zeph Landau; V.S. Sunder (2003), "The planar algebra associated to a Kac algebra", Proc. Indian Acad. Sci. Math. Sci., 113 (1): 15–51, doi:10.1007/BF02829677, ISSN 0253-4142, MR 1971553, S2CID 56571515 /wiki/V.S._Sunder ↩

30. Dietmar Bisch (1994), "A note on intermediate subfactors", Pacific J. Math., 163 (2): 201–216, doi:10.2140/pjm.1994.163.201, ISSN 0030-8730, MR 1262294 /wiki/Doi_(identifier) ↩

31. Zeph A. Landau (2002), "Exchange relation planar algebras", Geom. Dedicata, 95: 183–214, doi:10.1023/A:1021296230310, ISSN 0046-5755, MR 1950890, S2CID 119036175 /wiki/Doi_(identifier) ↩

32. Zhengwei Liu (2016), "Exchange relation planar algebras of small rank", Trans. Amer. Math. Soc., 368 (12): 8303–8348, arXiv:1308.5656, doi:10.1090/tran/6582, ISSN 0002-9947, MR 3551573, S2CID 117030298 /wiki/Trans._Amer._Math._Soc. ↩

33. Masaki Izumi; Roberto Longo; Sorin Popa (1998), "A Galois correspondence for compact groups of automorphisms of von Neumann algebras with a generalization to Kac algebras", J. Funct. Anal., 155 (1): 25–63, arXiv:funct-an/9604004, doi:10.1006/jfan.1997.3228, ISSN 0022-1236, MR 1622812, S2CID 12990106 /wiki/Sorin_Popa ↩

34. Yasuo Watatani (1996), "Lattices of intermediate subfactors", J. Funct. Anal., 140 (2): 312–334, doi:10.1006/jfan.1996.0110, hdl:2115/68899, ISSN 0022-1236, MR 1409040 /wiki/Doi_(identifier) ↩

35. Zeph A. Landau (1998), "Intermediate subfactors", Thesis - University of California at Berkeley: 132pp ↩

36. Keshab Chandra Bakshi (2016), "Intermediate planar algebra revisited", International Journal of Mathematics, 29 (12): 31pp, arXiv:1611.05811, Bibcode:2016arXiv161105811B, doi:10.1142/S0129167X18500775, S2CID 119305436 /wiki/ArXiv_(identifier) ↩

37. Chunlan Jiang; Zhengwei Liu; Jinsong Wu (2016), "Noncommutative uncertainty principles", J. Funct. Anal., 270 (1): 264–311, arXiv:1408.1165, doi:10.1016/j.jfa.2015.08.007, S2CID 16295570 /wiki/ArXiv_(identifier) ↩