Showing 1–26 of 26 results for author: Jones, V F

Motzkin Algebras and the $A_n$ Tensor Categories of Bimodules

Authors: Vaughan F. R. Jones, Jun Yang

Abstract: We discuss the structure of the Motzkin algebra $M_k(D)$ by introducing a sequence of idempotents and the basic construction. We show that $\cup_{k\geq 1}M_k(D)$ admits a factor trace if and only if $D\in \{2\cos(π/n)+1|n\geq 3\}\cup [3,\infty)$ and higher commutants of these factors depend on $D$. Then a family of irreducible bimodules over the factors are constructed. A tensor category with… ▽ More We discuss the structure of the Motzkin algebra $M_k(D)$ by introducing a sequence of idempotents and the basic construction. We show that $\cup_{k\geq 1}M_k(D)$ admits a factor trace if and only if $D\in \{2\cos(π/n)+1|n\geq 3\}\cup [3,\infty)$ and higher commutants of these factors depend on $D$. Then a family of irreducible bimodules over the factors are constructed. A tensor category with $A_n$ fusion rule is obtained from these bimodules. △ Less

Submitted 5 October, 2020; v1 submitted 10 August, 2020; originally announced August 2020.

Comments: 47 pages

Journal ref: Internat. J. Math. (2021)

Bergman space zero sets, modular forms, von Neumann algebras and ordered groups

Authors: Vaughan F. R. Jones

Abstract: $A^2_α$ will denote the weighted $L^2$ Bergman space. Given a subset $S$ of the open unit disc we define $Ω(S)$ to be the infimum of $\{s| \exists f \in A^2_{s-2}, f\neq 0, \mbox{ having $S$ as its zero set} \}$.By classical results on Hardy space there are sets $S$ for which $Ω(S)=1$. Using von Neumann dimension techniques and cusp forms we give examples of $S$ where $1<Ω(S)<\infty… ▽ More $A^2_α$ will denote the weighted $L^2$ Bergman space. Given a subset $S$ of the open unit disc we define $Ω(S)$ to be the infimum of $\{s| \exists f \in A^2_{s-2}, f\neq 0, \mbox{ having $S$ as its zero set} \}$.By classical results on Hardy space there are sets $S$ for which $Ω(S)=1$. Using von Neumann dimension techniques and cusp forms we give examples of $S$ where $1<Ω(S)<\infty$. By using a left order on certain Fuchsian groups we are able to calculate $Ω(S)$ exactly if $Ω(S)$ is the orbit of a Fuchsian group. This technique also allows us to derive in a new way well known results on zeros of cusp forms and indeed calculate the whole algebra of modular forms for \pslz. △ Less

Submitted 29 June, 2020; originally announced June 2020.

Irreducibility of the Wysiwyg representations of Thompson's groups

Authors: Vaughan F. R. Jones

Abstract: We prove irreducibility and mutual inequivalence for certain unitary representations of R. Thompson's groups F and T. We prove irreducibility and mutual inequivalence for certain unitary representations of R. Thompson's groups F and T. △ Less

Submitted 23 June, 2019; originally announced June 2019.

Comments: 18 pages, 38 figures

MSC Class: 46L99; 20C99; 20E99

On spectral measures for certain unitary representations of R. Thompson's group F

Authors: Valeriano Aiello, Vaughan F. R. Jones

Abstract: The Hilbert space $\mathcal H$ of backward renormalisation of an anyonic quantum spin chain affords a unitary representation of Thompson's group $F$ via local scale transformations. Given a vector in the canonical dense subspace of $\mathcal H$ we show how to calculate the corresponding spectral measure for any element of $F$ and illustrate with some examples. Introducing the "essential part" of a… ▽ More The Hilbert space $\mathcal H$ of backward renormalisation of an anyonic quantum spin chain affords a unitary representation of Thompson's group $F$ via local scale transformations. Given a vector in the canonical dense subspace of $\mathcal H$ we show how to calculate the corresponding spectral measure for any element of $F$ and illustrate with some examples. Introducing the "essential part" of an element we show that the spectral measure of any vector in $\mathcal H$ is, apart from possibly finitely many eigenvalues, absolutely continuous with respect to Lebesgue measure. The same considerations and results hold for the Brown-Thompson groups $F_n$ (for which $F=F_2$). △ Less

Submitted 14 May, 2019; originally announced May 2019.

Journal ref: J. Funct. Anal. 2021

On the construction of knots and links from Thompson's groups

Authors: Vaughan F. R. Jones

Abstract: We review recent developments in the theory of Thompson group representations related to knot theory. We review recent developments in the theory of Thompson group representations related to knot theory. △ Less

Submitted 14 October, 2018; originally announced October 2018.

Comments: 20 pages

MSC Class: 57M25; 57M27; 20F36; 20F38; 22D10

Pythagorean representations of Thompson's groups

Authors: Arnaud Brothier, Vaughan F. R. Jones

Abstract: We introduce the Pythagorean C*-algebras and use the category/functor method to construct unitary representations of Thompson's groups from representations of them. We calculate several examples. We introduce the Pythagorean C*-algebras and use the category/functor method to construct unitary representations of Thompson's groups from representations of them. We calculate several examples. △ Less

Submitted 17 July, 2018; originally announced July 2018.

Comments: 22 pages, 8 figures

On the Haagerup and Kazhdan properties of R. Thompson's groups

Authors: Arnaud Brothier, Vaughan F. R. Jones

Abstract: A machine developed by the second author produces a rich family of unitary representations of the Thompson groups F,T and V. We use it to give direct proofs of two previously known results. First, we exhibit a unitary representation of V that has an almost invariant vector but no nonzero [F,F]-invariant vectors reproving, at least for T, Reznikov's result that any intermediate subgroup between the… ▽ More A machine developed by the second author produces a rich family of unitary representations of the Thompson groups F,T and V. We use it to give direct proofs of two previously known results. First, we exhibit a unitary representation of V that has an almost invariant vector but no nonzero [F,F]-invariant vectors reproving, at least for T, Reznikov's result that any intermediate subgroup between the commutator subgroup of F and V does not have Kazhdan's property (T). Second, we construct a one parameter family interpolating between the trivial and the left regular representations of V. We exhibit a net of coefficients for those representations which vanish at infinity on T and converge to 1 thus reproving Farley's result that T has the Haagerup property. △ Less

Submitted 6 May, 2018; originally announced May 2018.

Comments: 9 pages, 2 figures

Scale invariant transfer matrices and Hamiltionians

Authors: Vaughan F. R. Jones

Abstract: Given a direct system of Hilbert spaces $s\mapsto \mathcal H_s$ (with isometric inclusion maps $ι_s^t:\mathcal H_s\rightarrow \mathcal H_t$ for $s\leq t$) corresponding to quantum systems on scales $s$, we define notions of scale invariant and weakly scale invariant operators. Is some cases of quantum spin chains we find conditions for transfer matrices and nearest neighbour Hamiltonians to be sca… ▽ More Given a direct system of Hilbert spaces $s\mapsto \mathcal H_s$ (with isometric inclusion maps $ι_s^t:\mathcal H_s\rightarrow \mathcal H_t$ for $s\leq t$) corresponding to quantum systems on scales $s$, we define notions of scale invariant and weakly scale invariant operators. Is some cases of quantum spin chains we find conditions for transfer matrices and nearest neighbour Hamiltonians to be scale invariant or weakly so. Scale invariance forces spatial inhomogeneity of the spectral parameter. But weakly scale invariant transfer matrices may be spatially homogeneous in which case the change of spectral parameter from one scale to another is governed by a classical dynamical system exhibiting fractal behaviour. △ Less

Submitted 1 June, 2017; originally announced June 2017.

The Homflypt polynomial and the oriented Thompson group

Authors: Valeriano Aiello, Roberto Conti, Vaughan F. R. Jones

Abstract: We show how to construct unitary representations of the oriented Thompson group $\vec{F}$ from oriented link invariants. In particular we show that the suitably normalised HOMFLYPT polynomial defines a positive definite function of $\vec{F}$. We show how to construct unitary representations of the oriented Thompson group $\vec{F}$ from oriented link invariants. In particular we show that the suitably normalised HOMFLYPT polynomial defines a positive definite function of $\vec{F}$. △ Less

Submitted 3 August, 2017; v1 submitted 8 September, 2016; originally announced September 2016.

Comments: To appear in Quantum Topology

MSC Class: 57M27; 20F65; 43A35

Journal ref: Quantum Topol. 9 (2018), 461-472

A no-go theorem for the continuum limit of a periodic quantum spin chain

Authors: Vaughan F. R. Jones

Abstract: We show that the Hilbert space formed from a block spin renormalization construction of a cyclic quantum spin chain (based on the Temperley-Lieb algebra) does not support a chiral conformal field theory whose Hamiltonian generates translation on the circle as a continuous limit of the rotations on the lattice. We show that the Hilbert space formed from a block spin renormalization construction of a cyclic quantum spin chain (based on the Temperley-Lieb algebra) does not support a chiral conformal field theory whose Hamiltonian generates translation on the circle as a continuous limit of the rotations on the lattice. △ Less

Submitted 29 July, 2016; originally announced July 2016.

Some unitary representations of Thompson's groups F and T

Authors: Vaughan F. R. Jones

Abstract: In a "naive" attempt to create algebraic quantum field theories on the circle, we obtain a family of unitary representations of Thompson's groups T and F for any subfactor. The Thompson group elements are the "local scale transformations" of the theory. In a simple case the coefficients of the representations are polynomial invariants of links. We show that all links arise and introduce new "orien… ▽ More In a "naive" attempt to create algebraic quantum field theories on the circle, we obtain a family of unitary representations of Thompson's groups T and F for any subfactor. The Thompson group elements are the "local scale transformations" of the theory. In a simple case the coefficients of the representations are polynomial invariants of links. We show that all links arise and introduce new "oriented" subgroups $\overrightarrow F <F$ and $\overrightarrow T< T$ which allow us to produce all \emph{oriented} knots and links. △ Less

Submitted 24 December, 2014; originally announced December 2014.

MSC Class: 20C99; 46L37; 57M25; 20F65; 81R15; 82B20

Singly generated planar algebras of small dimension, Part III

Authors: Dietmar Bisch, Vaughan F. R. Jones, Zhengwei Liu

Abstract: The first two authors classified subfactor planar algebra generated by a non-trivial 2-box subject to the condition that the dimension of 3-boxes is at most 12 in Part I; 13 in Part II of this series. They are the group planar algebra for $\mathbb{Z}_3$, the Fuss-Catalan planar algebra ; and the group/subgroup planar algebra for $\mathbb{Z}_2\subset \mathbb{Z}_5\rtimes \mathbb{Z}_2$. In the presen… ▽ More The first two authors classified subfactor planar algebra generated by a non-trivial 2-box subject to the condition that the dimension of 3-boxes is at most 12 in Part I; 13 in Part II of this series. They are the group planar algebra for $\mathbb{Z}_3$, the Fuss-Catalan planar algebra ; and the group/subgroup planar algebra for $\mathbb{Z}_2\subset \mathbb{Z}_5\rtimes \mathbb{Z}_2$. In the present paper, we extend the classification to 14 dimensional 3-boxes. They are all BMW. Precisely it contains a depth 3 one from quantum $SO(3)$, and a one-parameter family from quantum $Sp(4)$. △ Less

Submitted 14 November, 2014; v1 submitted 10 October, 2014; originally announced October 2014.

Comments: 15 pages, 34 figures

MSC Class: 46L37; 46L10

Infinite index subfactors and the GICAR categories

Authors: Vaughan F. R. Jones, David Penneys

Abstract: Given a II$_1$-subfactor $A\subset B$ of arbitrary index, we show that the rectangular GICAR category, also called the rectangular planar rook category, faithfully embeds as $A-A$ bimodule maps among the bimodules $\bigotimes_A^n L^2(B)$. As a corollary, we get a lower bound on the dimension of the centralizer algebras $A_0'\cap A_{2n}$ for infinite index subfactors, and we also get that… ▽ More Given a II$_1$-subfactor $A\subset B$ of arbitrary index, we show that the rectangular GICAR category, also called the rectangular planar rook category, faithfully embeds as $A-A$ bimodule maps among the bimodules $\bigotimes_A^n L^2(B)$. As a corollary, we get a lower bound on the dimension of the centralizer algebras $A_0'\cap A_{2n}$ for infinite index subfactors, and we also get that $A_0'\cap A_{2n}$ is nonabelian for $n\geq 2$, where $(A_n)_{n\geq 0}$ is the Jones tower for $A_0=A\subset B=A_1$. We also show that the annular GICAR/planar rook category acts as maps amongst the $A$-central vectors in $\bigotimes_A^n L^2(B)$, although this action may be degenerate. We prove these results in more generality using bimodules. The embedding of the GICAR category builds on work of Connes and Evans who originally found GICAR algebras inside Temperley-Lieb algebras with finite modulus. △ Less

Submitted 3 October, 2014; originally announced October 2014.

Comments: 40 pages, many figures

MSC Class: 46L37 (Primary); 18D10; 57M20 (Secondary)

The classification of subfactors of index at most 5

Authors: Vaughan F. R. Jones, Scott Morrison, Noah Snyder

Abstract: A subfactor is an inclusion $N \subset M$ of von Neumann algebras with trivial centers. The simplest example comes from the fixed points of a group action $M^G \subset M$, and subfactors can be thought of as fixed points of more general group-like algebraic structures. These algebraic structures are closely related to tensor categories and have played important roles in knot theory, quantum groups… ▽ More A subfactor is an inclusion $N \subset M$ of von Neumann algebras with trivial centers. The simplest example comes from the fixed points of a group action $M^G \subset M$, and subfactors can be thought of as fixed points of more general group-like algebraic structures. These algebraic structures are closely related to tensor categories and have played important roles in knot theory, quantum groups, statistical mechanics, and topological quantum field theory. There's a measure of size of a subfactor, called the index. Remarkably the values of the index below 4 are quantized, which suggests that it may be possible to classify subfactors of small index. Subfactors of index at most 4 were classified in the '80s and early '90s. The possible index values above 4 are not quantized, but once you exclude a certain family it turns out that again the possibilities are quantized. Recently the classification of subfactors has been extended up to index 5, and (outside of the infinite families) there are only 10 subfactors of index between 4 and 5. We give a summary of the key ideas in this classification and discuss what is known about these special small subfactors. △ Less

Submitted 7 June, 2013; v1 submitted 22 April, 2013; originally announced April 2013.

Comments: 45 pages

Journal ref: Bulletin of the American Mathematical Society 51 (2014), no. 2, pp. 277-327

Subfactors of index less than 5, part 3: quadruple points

Authors: Masaki Izumi, Vaughan F. R. Jones, Scott Morrison, Noah Snyder

Abstract: One major obstacle in extending the classification of small index subfactors beyond 3+\sqrt{3} is the appearance of infinite families of candidate principal graphs with 4-valent vertices (in particular, the "weeds" Q and Q' from Part 1 (arXiv:1007.1730)). Thus instead of using triple point obstructions to eliminate candidate graphs, we need to develop new quadruple point obstructions. In this pape… ▽ More One major obstacle in extending the classification of small index subfactors beyond 3+\sqrt{3} is the appearance of infinite families of candidate principal graphs with 4-valent vertices (in particular, the "weeds" Q and Q' from Part 1 (arXiv:1007.1730)). Thus instead of using triple point obstructions to eliminate candidate graphs, we need to develop new quadruple point obstructions. In this paper we prove two quadruple point obstructions. The first uses quadratic tangles techniques and eliminates the weed Q' immediately. The second uses connections, and when combined with an additional number theoretic argument it eliminates both weeds Q and Q'. Finally, we prove the uniqueness (up to taking duals) of the 3311 Goodman-de la Harpe-Jones subfactor using a combination of planar algebra techniques and connections. △ Less

Submitted 14 September, 2011; originally announced September 2011.

Comments: 21 pages

Journal ref: Communications in Mathematical Physics, vol. 316, issue 2 (2012), pp. 531-554

On the symmetric enveloping algebra of planar algebra subfactors

Authors: Stephen Curran, Vaughan F. R. Jones, Dimitri Shlyakhtenko

Abstract: We give a diagrammatic description of Popa's symmetric enveloping algebras associated to planar algebra subfactors. As an application we construct a natural family of derivations on these factors, and compute a certain free entropy dimension type quantity. We give a diagrammatic description of Popa's symmetric enveloping algebras associated to planar algebra subfactors. As an application we construct a natural family of derivations on these factors, and compute a certain free entropy dimension type quantity. △ Less

Submitted 9 May, 2011; originally announced May 2011.

Comments: 19 pages

Report number: ESI preprint number 2318 MSC Class: 46L37; 46L54

Loop models, random matrices and planar algebras

Authors: A. Guionnet, V. F. R. Jones, D. Shlyakhtenko, P. Zinn-Justin

Abstract: We define matrix models that converge to the generating functions of a wide variety of loop models with fugacity taken in sets with an accumulation point. The latter can also be seen as moments of a non-commutative law on a subfactor planar algebra. We apply this construction to compute the generating functions of the Potts model on a random planar map. We define matrix models that converge to the generating functions of a wide variety of loop models with fugacity taken in sets with an accumulation point. The latter can also be seen as moments of a non-commutative law on a subfactor planar algebra. We apply this construction to compute the generating functions of the Potts model on a random planar map. △ Less

Submitted 4 June, 2012; v1 submitted 2 December, 2010; originally announced December 2010.

The embedding theorem for finite depth subfactor planar algebras

Authors: Vaughan F. R. Jones, David Penneys

Abstract: We define a canonical relative commutant planar algebra from a strongly Markov inclusion of finite von Neumann algebras. In the case of a connected unital inclusion of finite dimensional C*-algebras with the Markov trace, we show this planar algebra is isomorphic to the bipartite graph planar algebra of the Bratteli diagram of the inclusion. Finally, we show that a finite depth subfactor planar al… ▽ More We define a canonical relative commutant planar algebra from a strongly Markov inclusion of finite von Neumann algebras. In the case of a connected unital inclusion of finite dimensional C*-algebras with the Markov trace, we show this planar algebra is isomorphic to the bipartite graph planar algebra of the Bratteli diagram of the inclusion. Finally, we show that a finite depth subfactor planar algebra is a planar subalgebra of the bipartite graph planar algebra of its principal graph. △ Less

Submitted 19 July, 2010; originally announced July 2010.

Comments: 30 pages, many figures

MSC Class: 46L37 (Primary); 18D10; 57M20 (Secondary)

Quadratic Tangles in Planar Algebras

Authors: Vaughan F. R. Jones

Abstract: In planar algebras, we show how to project certain simple "quadratic" tangles onto the linear space spanned by "linear" and "constant" tangles. We obtain some corollaries about the principal graphs and annular structure of subfactors. In planar algebras, we show how to project certain simple "quadratic" tangles onto the linear space spanned by "linear" and "constant" tangles. We obtain some corollaries about the principal graphs and annular structure of subfactors. △ Less

Submitted 9 July, 2010; v1 submitted 7 July, 2010; originally announced July 2010.

MSC Class: 46L37; 57M20; 20G99

Journal ref: Duke Math. J. 161, no. 12 (2012), 2257-2295

A semi-finite algebra associated to a planar algebra

Authors: A. Guionnet, V. F. R. Jones, D. Shlyakhtenko

Abstract: We canonically associate to any planar algebra two type II_{\infty} factors M_{+} and M_{-}. The subfactors constructed previously by the authors in a previous paper are isomorphic to compressions of M_{+} and M_{-} to finite projections. We show that each \mathfrak{M}_{\pm} is isomorphic to an amalgamated free product of type I von Neumann algebras with amalgamation over a fixed discrete type I… ▽ More We canonically associate to any planar algebra two type II_{\infty} factors M_{+} and M_{-}. The subfactors constructed previously by the authors in a previous paper are isomorphic to compressions of M_{+} and M_{-} to finite projections. We show that each \mathfrak{M}_{\pm} is isomorphic to an amalgamated free product of type I von Neumann algebras with amalgamation over a fixed discrete type I von Neumann subalgebra. In the finite-depth case, existing results in the literature imply that M_{+} \cong M_{-} is the amplification a free group factor on a finite number of generators. As an application, we show that the factors M_{j} constructed in our previous paper are isomorphic to interpolated free group factors L(\mathbb{F}(r_{j})), r_{j}=1+2δ^{-2j}(δ-1)I, where δ^{2} is the index of the planar algebra and I is its global index. Other applications include computations of laws of Jones-Wenzl projections. △ Less

Submitted 25 November, 2009; originally announced November 2009.

MSC Class: 46L37; 46L54

Random matrices, free probability, planar algebras and subfactors

Authors: A. Guionnet, V. F. R. Jones, D. Shlyakhtenko

Abstract: Using a family of graded algebra structures on a planar algebra and a family of traces coming from random matrix theory, we obtain a tower of non-commutative probability spaces, naturally associated to a given planar algebra. The associated von Neumann algebras are II$_{1}$ factors whose inclusions realize the given planar algebra as a system of higher relative commutants. We thus give an altern… ▽ More Using a family of graded algebra structures on a planar algebra and a family of traces coming from random matrix theory, we obtain a tower of non-commutative probability spaces, naturally associated to a given planar algebra. The associated von Neumann algebras are II$_{1}$ factors whose inclusions realize the given planar algebra as a system of higher relative commutants. We thus give an alternative proof to a result of Popa that every planar algebra can be realized by a subfactor. △ Less

Submitted 8 July, 2008; v1 submitted 18 December, 2007; originally announced December 2007.

Comments: Minor changes

MSC Class: 46L37; 46L54; 15A52

Intermediate Subfactors with No Extra Structure

Authors: Pinhas Grossman, Vaughan F. R. Jones

Abstract: If $N \subset P,Q \subset M$ are type II_1 factors with $N' \cap M = C id$ and $[M:N]$ finite we show that restrictions on the standard invariants of the elementary inclusions $N \subset P$, $N \subset Q$, $P \subset M$ and $Q \subset M$ imply drastic restrictions on the indices and angles between the subfactors. In particular we show that if these standard invariants are trivial and the conditi… ▽ More If $N \subset P,Q \subset M$ are type II_1 factors with $N' \cap M = C id$ and $[M:N]$ finite we show that restrictions on the standard invariants of the elementary inclusions $N \subset P$, $N \subset Q$, $P \subset M$ and $Q \subset M$ imply drastic restrictions on the indices and angles between the subfactors. In particular we show that if these standard invariants are trivial and the conditional expectations onto $P$ and $Q$ do not commute, then $[M:N]$ is 6 or $6 + 4\sqrt 2$. In the former case $N$ is the fixed point algebra for an outer action of $S_3$ on $M$ and the angle is $π/3$, and in the latter case the angle is $cos^{-1}(\sqrt 2-1)$ and an example may be found in the GHJ subfactor family. The techniques of proof rely heavily on planar algebras. △ Less

Submitted 14 February, 2005; v1 submitted 21 December, 2004; originally announced December 2004.

Comments: 51 pages, 65 figures

MSC Class: 46L37

Intersections of finite families of finite index subfactors

Authors: Vaughan F. R. Jones, Feng Xu

Abstract: We prove that finiteness of the index of the intersection of a finite set of finite index subalgebras in a von Neumann algebra (with small centre) is equivalent to the finite dimensionality of the algebra generated by the conditional expectations onto the subalgebras. We prove that finiteness of the index of the intersection of a finite set of finite index subalgebras in a von Neumann algebra (with small centre) is equivalent to the finite dimensionality of the algebra generated by the conditional expectations onto the subalgebras. △ Less

Submitted 8 July, 2004; v1 submitted 16 June, 2004; originally announced June 2004.

Comments: 17 pages, to appear in International Journal of Mathematics

In and around the origin of quantum groups

Authors: Vaughan F. R. Jones

Abstract: Quantum groups were invented largely to provide solutions of the Yang-Baxter equation and hence solvable models in 2-dimensional statistical mechanics and one-dimensional quantum mechanics. They have been hugely successful. But not all Yang-Baxter solutions fit into the framework of quantum groups. We shall explain how other mathematical structures, especially subfactors, provide a language and… ▽ More Quantum groups were invented largely to provide solutions of the Yang-Baxter equation and hence solvable models in 2-dimensional statistical mechanics and one-dimensional quantum mechanics. They have been hugely successful. But not all Yang-Baxter solutions fit into the framework of quantum groups. We shall explain how other mathematical structures, especially subfactors, provide a language and examples for solvable models. The prevalence of the Connes tensor product of Hilbert spaces over von Neumann algebras leads us to speculate concerning its potential role in describing entangled or interacting quantum systems. △ Less

Submitted 11 September, 2003; originally announced September 2003.

Comments: 36 pages

MSC Class: Primary: 46L37; 17B37; Secondary: 81P15; 82B20; 57M25

The Annular Structure of Subfactors

Authors: Vaughan F. R. Jones

Abstract: Given a planar algebra we show the equivalence of the notions of a module over this algebra (in the operadic sense), and module over a universal annular algebra. We classify such modules, with invariant inner products, in the generic region and give applications to subfactorss, including a planar construction of the $E_6$ and $E_8$ subfactors. Given a planar algebra we show the equivalence of the notions of a module over this algebra (in the operadic sense), and module over a universal annular algebra. We classify such modules, with invariant inner products, in the generic region and give applications to subfactorss, including a planar construction of the $E_6$ and $E_8$ subfactors. △ Less

Submitted 9 May, 2001; originally announced May 2001.

Comments: 62 pages, includes 2 tables and 24 figures, to be published in L'Enseignement Mathematique

Report number: PAM-791 MSC Class: 46L37; 57M25

Planar algebras, I

Authors: Vaughan F. R. Jones

Abstract: We introduce a notion of planar algebra, the simplest example of which is a vector space of tensors, closed under planar contractions. A planar algebra with suitable positivity properties produces a finite index subfactor of a II_1 factor, and vice versa. We introduce a notion of planar algebra, the simplest example of which is a vector space of tensors, closed under planar contractions. A planar algebra with suitable positivity properties produces a finite index subfactor of a II_1 factor, and vice versa. △ Less

Submitted 4 September, 1999; originally announced September 1999.

Comments: 122 pages