-
Moduli of representations of Leavitt path algebras
Authors:
Arnaud Brothier,
Dilshan Wijesena
Abstract:
We transpose Jones' technology and the authors' C*-algebraic techniques to study representations of the Leavitt path algebra L (over an arbitrary row-finite graph) by using its quiver algebra A. We establish an equivalence of categories between certain full subcategories of Rep(A) and Rep(L) that preserves irreducibility and indecomposability. We define a dimension function on Rep(L), and for each…
▽ More
We transpose Jones' technology and the authors' C*-algebraic techniques to study representations of the Leavitt path algebra L (over an arbitrary row-finite graph) by using its quiver algebra A. We establish an equivalence of categories between certain full subcategories of Rep(A) and Rep(L) that preserves irreducibility and indecomposability. We define a dimension function on Rep(L), and for each finite dimension we provide a moduli space for the irreducible classes by transporting structures of King and Nakajima on quiver representations. Our techniques are both explicit and functorial.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
Forest-skein groups IV: dynamics
Authors:
Arnaud Brothier,
Ryan Seelig
Abstract:
We study forest-skein (FS) groups using dynamics. A simple Ore FS category produces three FS groups analogous to Richard Thompson's groups. Reconstruction theorems of McCleary and Rubin apply to these FS groups: each of them encodes a canonical rigid group action and thus carries powerful dynamical invariants. We then explicitly construct infinitely many isomorphism classes of finitely presented (…
▽ More
We study forest-skein (FS) groups using dynamics. A simple Ore FS category produces three FS groups analogous to Richard Thompson's groups. Reconstruction theorems of McCleary and Rubin apply to these FS groups: each of them encodes a canonical rigid group action and thus carries powerful dynamical invariants. We then explicitly construct infinitely many isomorphism classes of finitely presented (of type $F_\infty$) infinite simple groups which act faithfully on the circle by (orientation-preserving) homeomorphisms, but admit no non-trivial finite piecewise linear actions nor finite piecewise projective actions. To the best of our knowledge these are the first examples witnessing these properties. We also show these groups fit into the finite germ extension framework of Belk, Hyde, and Matucci.
△ Less
Submitted 19 November, 2024;
originally announced November 2024.
-
A tensor product for representations of the Cuntz algebra and of the R. Thompson groups
Authors:
Arnaud Brothier,
Dilshan Wijesena
Abstract:
The authors continue a series of articles studying certain unitary representations of the Richard Thompson groups $F,T,V$ called Pythagorean. They all extend to the Cuntz algebra $\mathcal{O}$ and conversely all representations of $\mathcal{O}$ are of this form. Via this approach we introduce a tensor product for a large class of representations of $F,T,V,\mathcal{O}$. We prove that a sub-category…
▽ More
The authors continue a series of articles studying certain unitary representations of the Richard Thompson groups $F,T,V$ called Pythagorean. They all extend to the Cuntz algebra $\mathcal{O}$ and conversely all representations of $\mathcal{O}$ are of this form. Via this approach we introduce a tensor product for a large class of representations of $F,T,V,\mathcal{O}$. We prove that a sub-category forms a tensor category and perform a number of explicit computations of fusion rules.
△ Less
Submitted 21 August, 2024;
originally announced August 2024.
-
Forest-skein groups III: simplicity
Authors:
Arnaud Brothier,
Ryan Seelig
Abstract:
An Ore forest-skein category provides three forest-skein groups equipped with a powerful diagrammatic calculus analogous to Richard Thompson's groups F,T,V. We investigate when forest-skein groups have simple derived subgroups and establish two characterisations: a dynamical one and a categorical one. We then construct two classes of examples. The first associates two finitely presented simple gro…
▽ More
An Ore forest-skein category provides three forest-skein groups equipped with a powerful diagrammatic calculus analogous to Richard Thompson's groups F,T,V. We investigate when forest-skein groups have simple derived subgroups and establish two characterisations: a dynamical one and a categorical one. We then construct two classes of examples. The first associates two finitely presented simple groups to every finite binary tree and the second associates two simple groups to every n-ary Higman-Thompson group.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Atomic representations of R. Thompson's groups and Cuntz's algebra
Authors:
Arnaud Brothier,
Dilshan Wijesena
Abstract:
We continue to study Pythagorean unitary representation of Richard Thompson's groups $F,T,V$ and their extension to the Cuntz(-Dixmier) algebra. Any linear isometry from a Hilbert space to its direct sum square produces such. We focus on those arising from a finite-dimensional Hilbert space. We show that they decompose as a direct sum of a so-called diffuse part and an atomic part. We previously p…
▽ More
We continue to study Pythagorean unitary representation of Richard Thompson's groups $F,T,V$ and their extension to the Cuntz(-Dixmier) algebra. Any linear isometry from a Hilbert space to its direct sum square produces such. We focus on those arising from a finite-dimensional Hilbert space. We show that they decompose as a direct sum of a so-called diffuse part and an atomic part. We previously proved that the diffuse part is Ind-mixing: it does not contain induced representations of finite-dimensional ones. In this article, we fully describe the atomic part: it is a finite direct sum of irreducible monomial representations arising from a precise family of parabolic subgroups.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
Irreducible Pythagorean representations of R. Thompson's groups and of the Cuntz algebra
Authors:
Arnaud Brothier,
Dilshan Wijesena
Abstract:
We introduce the Pythagorean dimension: a natural number (or infinity) for all representations of the Cuntz algebra and certain unitary representations of the Richard Thompson groups called Pythagorean. For each natural number d we completely classify (in a functorial manner) all such representations using finite dimensional linear algebra. Their irreducible classes form a real manifold of dimensi…
▽ More
We introduce the Pythagorean dimension: a natural number (or infinity) for all representations of the Cuntz algebra and certain unitary representations of the Richard Thompson groups called Pythagorean. For each natural number d we completely classify (in a functorial manner) all such representations using finite dimensional linear algebra. Their irreducible classes form a real manifold of dimension $2d^2+1$ playing the role of a moduli space. Apart from a finite disjoint union of circles, each point of the manifold corresponds to an irreducible unitary representation of Thompson's group F (which extends to the other Thompson groups and the Cuntz algebra) that is not monomial. The remaining circles provide monomial representations which we previously fully described and classified. We translate in our language a large number of previous results in the literature. We explain how our techniques extend them.
△ Less
Submitted 3 August, 2024; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Decomposition of Pythagorean representations of R. Thompson's groups
Authors:
Arnaud Brothier,
Dilshan Wijesena
Abstract:
We continue to study Pythagorean unitary representation of Richard Thompson's groups $F$, $T$ and $V$ that are built from a single isometry from a Hilbert space to its double. By developing powerful diagrammatically based techniques we show that each such representation splits into a diffuse and an atomic parts. We previously proved that the diffuse part is Ind-mixing: it does not contain induced…
▽ More
We continue to study Pythagorean unitary representation of Richard Thompson's groups $F$, $T$ and $V$ that are built from a single isometry from a Hilbert space to its double. By developing powerful diagrammatically based techniques we show that each such representation splits into a diffuse and an atomic parts. We previously proved that the diffuse part is Ind-mixing: it does not contain induced representations of finite-dimensional ones. We fully decompose the atomic part: the building blocks are monomial representations arising from a precise family of parabolic subgroups of $F$.
△ Less
Submitted 21 August, 2023; v1 submitted 9 February, 2023;
originally announced February 2023.
-
Forest-skein groups II: construction from homogeneously presented monoids
Authors:
Arnaud Brothier
Abstract:
Inspired by the reconstruction program of conformal field theories of Vaughan Jones we recently introduced a vast class of so called forest-skein groups. They are built from a skein presentation: a set of colours and a set of pairs of coloured trees. Each nice skein presentation produces four groups similar to Richard Thompson's group F,T,V and the braided version BV of Brin and Dehornoy.
In thi…
▽ More
Inspired by the reconstruction program of conformal field theories of Vaughan Jones we recently introduced a vast class of so called forest-skein groups. They are built from a skein presentation: a set of colours and a set of pairs of coloured trees. Each nice skein presentation produces four groups similar to Richard Thompson's group F,T,V and the braided version BV of Brin and Dehornoy.
In this article, we consider forest-skein groups obtained from one-dimensional skein presentations; the data of a homogeneous monoid presentation. We decompose these groups as wreath products. This permits to classify them up to isomorphisms. Moreover, we prove that a number of properties of the fraction group of the monoid pass through the forest-skein groups such as the Haagerup property, homological and topological finiteness properties, and orderability.
△ Less
Submitted 30 April, 2024; v1 submitted 4 December, 2022;
originally announced December 2022.
-
Jones' representations of R. Thompson's groups not induced by finite-dimensional ones
Authors:
Arnaud Brothier,
Dilshan Wijesena
Abstract:
Given any linear isometry from a Hilbert space to its square one can explicitly construct a so-called Pythagorean unitary representation of Richard Thompson's group F. We introduce a condition on the isometry implying that the associated representation does not contain any induced representations by finite-dimensional ones. This provides the first result of this kind. We illustrate this theorem vi…
▽ More
Given any linear isometry from a Hilbert space to its square one can explicitly construct a so-called Pythagorean unitary representation of Richard Thompson's group F. We introduce a condition on the isometry implying that the associated representation does not contain any induced representations by finite-dimensional ones. This provides the first result of this kind. We illustrate this theorem via a family of representations parametrised by the real 3-sphere for which all of them have this property except two sub-circles.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
Forest-skein groups I: between Vaughan Jones' subfactors and Richard Thompson's groups
Authors:
Arnaud Brothier
Abstract:
Vaughan Jones discovered unexpected connections between Richard Thompson's group and subfactor theory while attempting to construct conformal field theories (in short CFT). Among other this founded Jones' technology: a powerful new method for constructing actions of fraction groups which had numerous applications in mathematical physics, operator algebras, group theory and more surprisingly in kno…
▽ More
Vaughan Jones discovered unexpected connections between Richard Thompson's group and subfactor theory while attempting to construct conformal field theories (in short CFT). Among other this founded Jones' technology: a powerful new method for constructing actions of fraction groups which had numerous applications in mathematical physics, operator algebras, group theory and more surprisingly in knot theory and noncommutative probability theory.
We propose and outline a program in the vein of Jones' work but where the Thompson group is replaced by a family of groups that we name forest-skein groups. These groups are constructed from diagrammatic categories, are tailor-made for using Jones' technology, capture key aspects of the Thompson group, and aim to better connect subfactors with CFT. Our program strengthens Jones' visionary work and moreover produces a plethora of concrete groups which satisfy exceptional properties.
In this first article we introduce the general theory of forest-skein groups, provide criteria of existence, give explicit presentations, prove that their first L$^2$-Betti number vanishes, construct a canonical action on a totally ordered set, establish a topological finiteness theorem showing that many of our groups are of type $F_\infty$, and finish by studying a beautiful class of explicit examples.
△ Less
Submitted 17 October, 2022; v1 submitted 7 July, 2022;
originally announced July 2022.
-
Classification of Thompson related groups arising from Jones technology II
Authors:
Arnaud Brothier
Abstract:
In this second article, we continue to study classes of groups constructed from a functorial method due to Vaughan Jones. A key observation of the author shows that these groups have remarkable diagrammatic properties that can be used to deduce their properties. Given any group and two of its endomorphisms, we construct a semidirect product. In our first article dedicated to this construction, we…
▽ More
In this second article, we continue to study classes of groups constructed from a functorial method due to Vaughan Jones. A key observation of the author shows that these groups have remarkable diagrammatic properties that can be used to deduce their properties. Given any group and two of its endomorphisms, we construct a semidirect product. In our first article dedicated to this construction, we classify up to isomorphism all these semidirect products when one of the endomorphisms is trivial and described their automorphism group.
In this article we focus on the case where both endomorphisms are automorphisms. The situation is rather different and we obtain semidirect products where the largest Richard Thompson's group $V$ is acting on some discrete analogues of loop groups. Note that these semidirect products appear naturally in recent constructions of quantum field theories. Moreover, they have been previously studied by Tanushevski and can be constructed via the framework of cloning systems of Witzel-Zaremsky. In particular, they provide examples of groups with various finiteness properties and possible counterexamples of a conjecture of Lehnert on co-context-free groups.
We provide a partial classification of these semidirect products and describe explicitly their automorphism group. Moreover, we prove that groups studied in the first and second articles are never isomorphic to each other nor admit nice embeddings between them. We end the article with an appendix comparing Jones technology with Witzel-Zaremsky's cloning systems and with Tanushevski's construction. As in the first article, all the results presented were possible to achieve via a surprising rigidity phenomena on isomorphisms between these groups.
△ Less
Submitted 8 September, 2021; v1 submitted 25 November, 2020;
originally announced November 2020.
-
Classification of Thompson related groups arising from Jones technology I
Authors:
Arnaud Brothier
Abstract:
In the quest in constructing conformal field theories (CFT) Jones has discovered a beautiful and deep connection between CFT, Richard Thompson's groups and knot theory. This led to a powerful functorial framework for constructing actions of particular groups arising from categories such as Thompson's groups and braid groups. In particular, given a group and two of its endomorphisms one can constru…
▽ More
In the quest in constructing conformal field theories (CFT) Jones has discovered a beautiful and deep connection between CFT, Richard Thompson's groups and knot theory. This led to a powerful functorial framework for constructing actions of particular groups arising from categories such as Thompson's groups and braid groups. In particular, given a group and two of its endomorphisms one can construct a semidirect product where the largest Thompson's group $V$ is acting. These semidirect products have remarkable diagrammatic descriptions which were previously used to provide new examples of groups having the Haagerup property. They naturally appear in certain field theories as being generated by local and global symmetries. Moreover, these groups occur in a construction of Tanushevski and can be realised using Brin-Zappa-Szep's products with the technology of cloning systems of Witzel-Zaremsky.
We consider in this article the class of groups obtained in that way where one of the endomorphism is trivial leaving the case of two nontrivial endomorphisms to a second article. We provide an explicit description of all these groups as permutational restricted twisted wreath products where $V$ is the group acting and the twist depends on the endomorphism chosen. We classify this class of groups up to isomorphisms and provide a thin description of their automorphism group thanks to an unexpected rigidity phenomena.
△ Less
Submitted 1 December, 2021; v1 submitted 8 October, 2020;
originally announced October 2020.
-
On Jones' connections between subfactors, conformal field theory, Thompson's groups and knots
Authors:
Arnaud Brothier
Abstract:
Surprisingly Richard Thompson's groups have recently appeared in Jones' subfactor theory. Vaughan Jones is famous for linking theories that are a priori completely disconnected; for instance, his celebrated polynomial for links emanating from subfactor theory. This note is about a new beautiful story in mathematics which results from a fortunate accident in the land of quantum field theory.
Surprisingly Richard Thompson's groups have recently appeared in Jones' subfactor theory. Vaughan Jones is famous for linking theories that are a priori completely disconnected; for instance, his celebrated polynomial for links emanating from subfactor theory. This note is about a new beautiful story in mathematics which results from a fortunate accident in the land of quantum field theory.
△ Less
Submitted 9 March, 2020; v1 submitted 15 December, 2019;
originally announced December 2019.
-
Canonical quantization of 1+1-dimensional Yang-Mills theory: An operator-algebraic approach
Authors:
Arnaud Brothier,
Alexander Stottmeister
Abstract:
We present a mathematically rigorous canonical quantization of Yang-Mills theory in 1+1 dimensions (YM$_{1+1}$) by operator-algebraic methods. The latter are based on Hamiltonian lattice gauge theory and multi-scale analysis via inductive limits of $C^{*}$-algebras which are applicable in arbitrary dimensions. The major step, restricted to one spatial dimension, is the explicitly construction of t…
▽ More
We present a mathematically rigorous canonical quantization of Yang-Mills theory in 1+1 dimensions (YM$_{1+1}$) by operator-algebraic methods. The latter are based on Hamiltonian lattice gauge theory and multi-scale analysis via inductive limits of $C^{*}$-algebras which are applicable in arbitrary dimensions. The major step, restricted to one spatial dimension, is the explicitly construction of the spatially-localized von Neumann algebras of time-zero fields in the time gauge in representations associated with scaling limits of Gibbs states of the Kogut-Susskind Hamiltonian. We relate our work to existing results about YM$_{1+1}$ and its counterpart in Euclidean quantum field theory (YM$_{2}$). In particular, we show that the operator-algebraic approach offers a unifying perspective on results about YM$_{1+1}$ obtained by Dimock as well as Driver and Hall, especially regarding the existence of dynamics. Although our constructions work for non-abelian gauge theory, we obtain the most explicit results in the abelian case by applying the results of our recent companion article. In view of the latter, we also discuss relations with the construction of unitary representations of Thompson's groups by Jones. To understand the scaling limits arising from our construction, we explain our findings via a rigorous adaptation of the Wilson-Kadanoff renormalization group, which connects our construction with the multi-scale entanglement renormalization ansatz (MERA). Finally, we discuss potential generalizations and extensions to higher dimensions ($d+1\geq 3$).
△ Less
Submitted 11 July, 2019;
originally announced July 2019.
-
Haagerup property for wreath products constructed with Thompson's groups
Authors:
Arnaud Brothier
Abstract:
Using recent techniques introduced by Jones we prove that a large family of discrete groups and groupoids have the Haagerup property. In particular, we show that if G is a discrete group with the Haagerup property, then the wreath product $\oplus_{Q_2}G\rtimes V$ obtained from the group G and the usual action of Thompson's group V on the dyadic rational $Q_2$ of the unit interval has the Haagerup…
▽ More
Using recent techniques introduced by Jones we prove that a large family of discrete groups and groupoids have the Haagerup property. In particular, we show that if G is a discrete group with the Haagerup property, then the wreath product $\oplus_{Q_2}G\rtimes V$ obtained from the group G and the usual action of Thompson's group V on the dyadic rational $Q_2$ of the unit interval has the Haagerup property.
△ Less
Submitted 12 May, 2023; v1 submitted 10 June, 2019;
originally announced June 2019.
-
Jones representations of Thompson's group $F$ arising from Temperley-Lieb-Jones algebras
Authors:
Valeriano Aiello,
Arnaud Brothier,
Roberto Conti
Abstract:
Following a procedure due to V. Jones, using suitably normalized elements in a Temperley-Lieb-Jones (planar) algebra we introduce a 3-parametric family of unitary representations of the Thompson's group $F$ equipped with canonical (vacuum) vectors and study some of their properties. In particular, we discuss the behaviour at infinity of their matrix coefficients, thus showing that these representa…
▽ More
Following a procedure due to V. Jones, using suitably normalized elements in a Temperley-Lieb-Jones (planar) algebra we introduce a 3-parametric family of unitary representations of the Thompson's group $F$ equipped with canonical (vacuum) vectors and study some of their properties. In particular, we discuss the behaviour at infinity of their matrix coefficients, thus showing that these representations do not contain any finite type component. We then focus on a particular representation known to be quasi-regular and irreducible and show that it is inequivalent to itself once composed with a classical automorphism of F. This allows us to distinguish three equivalence classes in our family. Finally, we investigate a family of stabilizer subgroups of $F$ indexed by subfactor Jones indices that are described in terms of the chromatic polynomial. In contrast to the first non-trivial index value for which the corresponding subgroup is isomorphic to the Brown-Thompson's group $F_3$, we show that when the index is large enough this subgroup is always trivial.
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
Operator-algebraic construction of gauge theories and Jones' actions of Thompson's groups
Authors:
Arnaud Brothier,
Alexander Stottmeister
Abstract:
Using ideas from Jones, lattice gauge theory and loop quantum gravity, we construct 1+1-dimensional gauge theories on a spacetime cylinder. Given a separable compact group $G$, we construct localized time-zero fields on the spatial torus as a net of C*-algebras together with an action of the gauge group that is an infinite product of $G$ over the dyadic rationals and, using a recent machinery of J…
▽ More
Using ideas from Jones, lattice gauge theory and loop quantum gravity, we construct 1+1-dimensional gauge theories on a spacetime cylinder. Given a separable compact group $G$, we construct localized time-zero fields on the spatial torus as a net of C*-algebras together with an action of the gauge group that is an infinite product of $G$ over the dyadic rationals and, using a recent machinery of Jones, an action of Thompson's group $T$ as a replacement of the spatial diffeomorphism group. Adding a family of probability measures on the unitary dual of $G$ we construct a state and obtain a net of von Neumann algebras carrying a state-preserving gauge group action. For abelian $G$, we provide a very explicit description of our algebras. For a single measure on the dual of $G$, we have a state-preserving action of Thompson's group and semi-finite von Neumann algebras. For $G=\mathbf{S}$ the circle group together with a certain family of heat-kernel states providing the measures, we obtain hyperfinite type III factors with a normal faithful state providing a nontrivial time evolution via Tomita-Takesaki theory (KMS condition). In the latter case, we additionally have a non-singular action of the group of rotations with dyadic angles, as a subgroup of Thompson's group $T$, for geometrically motivated choices of families of heat-kernel states.
△ Less
Submitted 10 September, 2019; v1 submitted 15 January, 2019;
originally announced January 2019.
-
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.
-
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.
-
Rigidity for von Neumann algebras given by locally compact groups and their crossed products
Authors:
Arnaud Brothier,
Tobe Deprez,
Stefaan Vaes
Abstract:
We prove the first rigidity and classification theorems for crossed product von Neumann algebras given by actions of non-discrete, locally compact groups. We prove that for arbitrary free probability measure preserving actions of connected simple Lie groups of real rank one, the crossed product has a unique Cartan subalgebra up to unitary conjugacy. We then deduce a W* strong rigidity theorem for…
▽ More
We prove the first rigidity and classification theorems for crossed product von Neumann algebras given by actions of non-discrete, locally compact groups. We prove that for arbitrary free probability measure preserving actions of connected simple Lie groups of real rank one, the crossed product has a unique Cartan subalgebra up to unitary conjugacy. We then deduce a W* strong rigidity theorem for irreducible actions of products of such groups. More generally, our results hold for products of locally compact groups that are nonamenable, weakly amenable and that belong to Ozawa's class S.
△ Less
Submitted 6 December, 2017; v1 submitted 27 March, 2017;
originally announced March 2017.
-
Crossed-products by locally compact groups: Intermediate subfactors
Authors:
Rémi Boutonnet,
Arnaud Brothier
Abstract:
We study actions of locally compact groups on von Neumann factors and the associated crossed-product von Neumann algebras. In the setting of totally disconnected groups we provide sufficient conditions on an action $G\curvearrowright Q$ ensuring that the inclusion $Q \subset Q \rtimes G$ is irreducible and that every intermediate subfactor is of the form $Q \rtimes H$ for a closed subgroup $H<G$.…
▽ More
We study actions of locally compact groups on von Neumann factors and the associated crossed-product von Neumann algebras. In the setting of totally disconnected groups we provide sufficient conditions on an action $G\curvearrowright Q$ ensuring that the inclusion $Q \subset Q \rtimes G$ is irreducible and that every intermediate subfactor is of the form $Q \rtimes H$ for a closed subgroup $H<G$. This partially generalizes a result of Izumi-Longo-Popa [ILP98] and Choda [Ch78]. We moreover show that one can not hope to use their strategy for non-discrete groups.
△ Less
Submitted 2 December, 2016; v1 submitted 30 November, 2016;
originally announced November 2016.
-
On fixed point planar algebras
Authors:
Arnaud Brothier
Abstract:
To a weighted graph can be associated a bipartite graph planar algebra P. We construct and study the symmetric enveloping inclusion of P. We show that this construction is equivariant with respect to the automorphism group of P. The automorphism group of the weighted graph acts on P. We consider subgroups G of the automorphism group of the weighted graph such that the G-fixed point space P^G is a…
▽ More
To a weighted graph can be associated a bipartite graph planar algebra P. We construct and study the symmetric enveloping inclusion of P. We show that this construction is equivariant with respect to the automorphism group of P. The automorphism group of the weighted graph acts on P. We consider subgroups G of the automorphism group of the weighted graph such that the G-fixed point space P^G is a subfactor planar algebra. As an application we show that if G is amenable, then P^G is amenable as a subfactor planar algebra. We define the notions of a cocycle action of a Hecke pair on a tracial von Neumann algebra and the corresponding cross product. We show that a large class of symmetric enveloping inclusions of subfactor planar algebras can be described by such a cross product.
△ Less
Submitted 10 November, 2016; v1 submitted 3 March, 2016;
originally announced March 2016.
-
The cup subalgebra has the absorbing amenability property
Authors:
Arnaud Brothier,
Chenxu Wen
Abstract:
Consider an inclusion of diffuse von Neumann algebras A c M . We say that A c M has the absorbing amenability property if for any diffuse subalgebra B c A and any amenable intermediate algebra B c D c M we have that D is contained in A. We prove that the cup subalgebra associated to any subfactor planar algebra has the absorbing amenability property.
Consider an inclusion of diffuse von Neumann algebras A c M . We say that A c M has the absorbing amenability property if for any diffuse subalgebra B c A and any amenable intermediate algebra B c D c M we have that D is contained in A. We prove that the cup subalgebra associated to any subfactor planar algebra has the absorbing amenability property.
△ Less
Submitted 15 December, 2015; v1 submitted 20 October, 2015;
originally announced October 2015.
-
Approximation properties of fixed point planar algebras
Authors:
Arnaud Brothier
Abstract:
Let $(Γ,μ)$ be a bipartite graph together with a weight on its vertices. Assume that $μ$ is an eigenvector for the adjacency matrix of $Γ$. Let Aut$(Γ, μ)$ be the automorphism group of the bipartite graph $Γ$ that scales the weight $μ$. It is a locally compact totally disconnected group that acts on the bipartite graph planar algebra $P$ associated to $(Γ,μ)$. Consider a subgroup G < Aut$(Γ, μ)$ a…
▽ More
Let $(Γ,μ)$ be a bipartite graph together with a weight on its vertices. Assume that $μ$ is an eigenvector for the adjacency matrix of $Γ$. Let Aut$(Γ, μ)$ be the automorphism group of the bipartite graph $Γ$ that scales the weight $μ$. It is a locally compact totally disconnected group that acts on the bipartite graph planar algebra $P$ associated to $(Γ,μ)$. Consider a subgroup G < Aut$(Γ, μ)$ and the set of fixed points $P^G \subset P$ that we assume to be a subfactor planar algebra. If the closure of G inside Aut$(Γ, μ)$ satisfies an approximation property such as amenability, the Haagerup property, weak amenability, or not having property (T), then the subfactor planar algebra $P^G$ inherits this property respectively. As a corollary we show that if $Γ$ is a tree, then the subfactor planar algebra $P^G$ has the Haagerup property and has the complete metric approximation property (CMAP). This provides an infinite family of subfactor planar algebras that have non-integer index, are non-amenable, have the Haagerup property, and have CMAP. We define the crossed product of a (finite) von Neumann algebra by a Hecke pair of groups. We show that a large class of symmetric enveloping inclusions of subfactor planar algebras are described by such a crossed product including Bisch-Haagerup subfactors.
△ Less
Submitted 11 February, 2016; v1 submitted 22 September, 2015;
originally announced September 2015.
-
Hilbert modules over a planar algebra and the Haagerup property
Authors:
Arnaud Brothier,
Vaughan Jones
Abstract:
Given a subfactor planar algebra P and a Hilbert P-module of lowest weight 0 we build a bimodule over the symmetric enveloping inclusion associated to P. As an application we prove diagrammatically that the Temperley-Lieb-Jones standard invariants have the Haagerup property. This provides a new proof of a result due to Popa and Vaes.
Given a subfactor planar algebra P and a Hilbert P-module of lowest weight 0 we build a bimodule over the symmetric enveloping inclusion associated to P. As an application we prove diagrammatically that the Temperley-Lieb-Jones standard invariants have the Haagerup property. This provides a new proof of a result due to Popa and Vaes.
△ Less
Submitted 9 March, 2015;
originally announced March 2015.
-
Weak amenability for subfactors
Authors:
Arnaud Brothier
Abstract:
We define the notions of weak amenability and the Cowling-Haagerup constant for extremal finite index subfactors of type II_1. We prove that the Cowling-Haagerup constant only depends on the standard invariant of the subfactor. Hence, we define the Cowling-Haagerup constant for standard invariants. We explicitly compute the constant for Bisch-Haagerup subfactors and prove that it is equal to the c…
▽ More
We define the notions of weak amenability and the Cowling-Haagerup constant for extremal finite index subfactors of type II_1. We prove that the Cowling-Haagerup constant only depends on the standard invariant of the subfactor. Hence, we define the Cowling-Haagerup constant for standard invariants. We explicitly compute the constant for Bisch-Haagerup subfactors and prove that it is equal to the constant of the group involved in the construction. Given a finite family of amenable standard invariants in the sense of Popa, we prove that their free product in the sense of Bisch-Jones is weakly amenable with constant 1. We show that the Cowling-Haagerup constant of the tensor product of a finite family of standard invariants is equal to the product of their Cowling-Haagerup constants.
△ Less
Submitted 30 March, 2015; v1 submitted 10 October, 2014;
originally announced October 2014.
-
Families of hyperfinite subfactors with the same standard invariant and prescribed fundamental group
Authors:
Arnaud Brothier,
Stefaan Vaes
Abstract:
We construct irreducible hyperfinite subfactors of index 6 with a prescribed fundamental group from a large family containing all countable and many uncountable subgroups of R_+. We also prove that there are unclassifiably many irreducible hyperfinite group-type subfactors of index 6 that all have the same standard invariant. More precisely, we associate such a subfactor to every ergodic measure p…
▽ More
We construct irreducible hyperfinite subfactors of index 6 with a prescribed fundamental group from a large family containing all countable and many uncountable subgroups of R_+. We also prove that there are unclassifiably many irreducible hyperfinite group-type subfactors of index 6 that all have the same standard invariant. More precisely, we associate such a subfactor to every ergodic measure preserving automorphism of the interval [0,1] and prove that the resulting subfactors are isomorphic if and only if the automorphisms are conjugate.
△ Less
Submitted 20 September, 2013;
originally announced September 2013.
-
The cup subalgebra of a II_1 factor given by a subfactor planar algebra is maximal amenable
Authors:
Arnaud Brothier
Abstract:
To every subfactor planar algebra was associated a II_1 factor with a canonical abelian subalgebra generated by the cup tangle. Using Popa's approximative orthogonality property, we show that this cup subalgebra is maximal amenable.
To every subfactor planar algebra was associated a II_1 factor with a canonical abelian subalgebra generated by the cup tangle. Using Popa's approximative orthogonality property, we show that this cup subalgebra is maximal amenable.
△ Less
Submitted 9 September, 2013; v1 submitted 30 October, 2012;
originally announced October 2012.
-
Rigid C^*-tensor categories of bimodules over interpolated free group factors
Authors:
Arnaud Brothier,
Michael Hartglass,
David Penneys
Abstract:
Given a countably generated rigid C^*-tensor category C, we construct a planar algebra P whose category of projections Pro is equivalent to C. From P, we use methods of Guionnet-Jones-Shlyakhtenko-Walker to construct a rigid C^*-tensor category Bim whose objects are bifinite bimodules over an interpolated free group factor, and we show Bim is equivalent to Pro. We use these constructions to show C…
▽ More
Given a countably generated rigid C^*-tensor category C, we construct a planar algebra P whose category of projections Pro is equivalent to C. From P, we use methods of Guionnet-Jones-Shlyakhtenko-Walker to construct a rigid C^*-tensor category Bim whose objects are bifinite bimodules over an interpolated free group factor, and we show Bim is equivalent to Pro. We use these constructions to show C is equivalent to a category of bifinite bimodules over L(F_infty).
△ Less
Submitted 14 January, 2013; v1 submitted 27 August, 2012;
originally announced August 2012.
-
Unshaded planar algebras and their associated II_1 factors
Authors:
Arnaud Brothier
Abstract:
Guionnet et al. gave a construction of a II_1 factor associated to a subfactor planar algebra. In this paper we define an unshaded planar algebra. To any unshaded planar algebra P we associate a finite von Neumann algebra M_P. We prove that M_P is a II_1 factor that contains a generic maximal abelian subalgebra called the cup subalgebra.
Guionnet et al. gave a construction of a II_1 factor associated to a subfactor planar algebra. In this paper we define an unshaded planar algebra. To any unshaded planar algebra P we associate a finite von Neumann algebra M_P. We prove that M_P is a II_1 factor that contains a generic maximal abelian subalgebra called the cup subalgebra.
△ Less
Submitted 6 February, 2012;
originally announced February 2012.
-
The Takesaki equivalence relation for maximal abelian subalgebras
Authors:
Arnaud Brothier
Abstract:
For a maximal abelian subalgebra $A\subset M$ in a finite von Neumann algebra, we consider an invariant due to Takesaki which is an equivalence relation on a standard probability space. We give several characterization of this invariant and show that it can be reconstructed from the A-bimodule structure of the GNS Hilbert space $L^2(M)$. In particular, we show that this invariant is induced by the…
▽ More
For a maximal abelian subalgebra $A\subset M$ in a finite von Neumann algebra, we consider an invariant due to Takesaki which is an equivalence relation on a standard probability space. We give several characterization of this invariant and show that it can be reconstructed from the A-bimodule structure of the GNS Hilbert space $L^2(M)$. In particular, we show that this invariant is induced by the action of the normalizer on A. Hence, this gives a new proof to a question of Takesaki.
△ Less
Submitted 29 November, 2011;
originally announced November 2011.
