The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
1answer
395 views

A second isomorphism theorem for the inclusions of groups

The usual second isomorphism theorem for groups is: let $G$ be a group, $S$ and $N$ subgroups with $N$ normal, then $SN$ is a subgroup of $G$, $S\cap N$ is a normal subgroup of $S$ and $SN/N \simeq ...
4
votes
1answer
276 views

Normal intermediate subgroup and normal core

Let $G$ be a finite group and $H$ a subgroup. The normal core of $H$ in $G$ is $core_G(H) := \bigcap_{g \in G}g^{-1}Hg$ Definition: $K$ is a normal intermediate subgroup of the inclusion $(H \...
1
vote
0answers
191 views

$\mathcal{L}(H_i \subset G_i)$ distributive $\Rightarrow$ $\mathcal{L}(H_1 \times H_2 \subset G_1 \times G_2)$ modular?

Let $\mathcal{L}( G)$ be the lattice of subgroups of $G$ and $\mathcal{L}(H \subset G)$ the lattice of intermediate subgroups. Definitions: A lattice $(L, \wedge, \vee)$ is distributive if, $\...
0
votes
2answers
165 views

Products of maximal inclusions of finite groups with a non-obvious intermediate

Let $(H_1 \subset G_1)$ and $(H_2 \subset G_2)$ be core-free maximal inclusions of finite groups. Their product, the inclusion $(H_1 \times H_2 \subset G_1 \times G_2)$, admits four obvious ...
2
votes
0answers
184 views

Existence of inclusions of finite groups with a particular lattice property

Definition : Let $\sim$ be the equivalence relation on inclusions of finite groups, generated by : $(H \subset G) \sim (\phi(H) \subset \phi(G))$, with $ \phi: G \to L$ a finite group morphism and ...
3
votes
1answer
548 views

Abelian subfactors, a relevant concept?

Through the questions below, this post asks whether the concept of abelian subfactor is relevant. Remark : here abelian qualifies an inclusion of II$_1$ factors $(N \subset M)$, $N$ is not an abelian ...
5
votes
3answers
480 views

Jordan-Hölder theorem for subfactors?

All the subfactors $(N\subset M)$ are irreducible and finite index inclusions of II$_1$ factors. First recall that in this paper, D. Bisch characterizes the Jones projections $e_K$ of the ...
5
votes
1answer
205 views

Jordan-Hölder theorem for planar algebras?

First recall the Jordan-Hölder theorem for groups: Theorem (Jordan-Hölder): Let $G$ be a group, and let $$ G=G_1 \supset G_2 \supset \dots \supset G_r = \{ e \} $$ be a normal tower such that ...
4
votes
2answers
489 views

The category of subfactors extending the category of groups?

This post was inspired by this answer of Dave Penneys. In the category of (irreducible hyperfinite II$_1$) subfactors, the morphisms of $(N \subset M)$ to $(N' \subset M')$ are usually defined as ...
0
votes
2answers
201 views

Isomorphism theorem for subfactors?

It's about the existence of a generalization of the first isomorphism theorem for groups, for subfactors : Let $(N \subset M)$ and $(N' \subset M')$ be irreducible inclusions of hyperfinite $II_1$ ...
1
vote
0answers
213 views

Fusion categories with permutation “associativity matrices”

Let $\mathcal{C}$ be a fusion category and let $(H_1,...,H_r)$ be its simple objects. $\mathcal{C}$ is non-pointed if at least one of its simple object has Perron-Frobenius dimension $ \neq 1$. ...
2
votes
0answers
137 views

Planar algebraic translation of a subfactor property

Let $N \subset M$ be an irreducible finite depth and finite index subfactor. $M$ is a completely reducible (algebraic) $N$-$N$ bimodule, it decomposes into irreducibles as follows : $$M=\bigoplus_{...
3
votes
0answers
160 views

Is an integral simple fusion ring, categorifiable?

A fusion ring $\mathcal{F}$ (see here p 28) is integral if the Perron-Frobenius dimension $d(h_i)$ of its basic elements $\{h_1,...,h_r\}$, are integers. Its rank is $r$ and its dimension is $\sum d(...
4
votes
1answer
338 views

Are all the R-R-bimodules completely reducible?

Let $R$ be the hyperfinite $II_1$ factor and let $X$ be any $R$-$R$-bimodule. Question: Is $X$ completely reducible (i.e. a direct integral of irreducible $R$-$R$-bimodules)? Example: If $(N \...
2
votes
1answer
138 views

Are every finitely generated planar algebras, also singly generated?

Let $\mathcal{P}$ be a finitely generated planar algebra. Question : Is it also singly generated ? I ask this question, because, on one hand I've read on this paper of V. Jones and D. Bisch : ...
8
votes
1answer
180 views

realizing fusion categories as subfactors of the hyperfinite

Let R be the hyperfinite II_1 or the hyperfinite III_1 factor (pick which ever one you prefer), and let Bim(R) denote the tensor category of R-R-bimodules. This question is inspired by the recent ...
4
votes
0answers
212 views

An embedding theorem for a fusion ring planar algebra?

We first recall the embedding theorem for finite depth subfactor planar algebras: The planar algebra generated by a (finite depth) subfactor, is embeddable into the planar algebra generated by its ...
4
votes
0answers
191 views

Existence of a Kac algebra for a given fusion ring in a particular class

A $n$-dimensional Kac algebra (i.e., a Hopf C*-algebra), admits finitely many irreducible representations, whose cardinal $r$ is called its rank, the increasing sequence $(d_{1},d_{2},d_{3}, ..., d_{r}...
1
vote
0answers
119 views

How simplify the pentagonal equation from two fusion rings?

A semi-simple finite dimensional Hopf algebra $\mathbb{A}$, and its dual $\mathbb{A}^{*}$ produce two fusion categories $\mathcal{C}$ and $\mathcal{C}^{*}$ and then two fusion rings $\mathcal{R}_{1}$ ...
3
votes
0answers
189 views

Is the fundamental group of a maximal subfactor always $\mathbb{R}_{+}^{*}$?

The fundamental group $\mathcal{F}(N \subset M)$ of an inclusion of $II_{1}$ factors $N \subset M$ is defined as : $\mathcal{F}(N \subset M) =\{t >0 \ | \ (N \subset M)^{t} \simeq (N \subset M) \}...
3
votes
1answer
279 views

What's the natural equivalence of subfactors in general?

Let $A$ be a factor and $\mathcal{C}_{A}$ be the category of all the subfactors $(M \subset N)$ such that $M$ and $N$ are isomorphic to $A$. The most famous of them is perhaps $\mathcal{C}_{R}$ with $...
3
votes
0answers
108 views

Can you tell if a subfactor is finite depth by the growth rate of the standard invariant?

Let $N\subset M$ be a finite index inclusion of $II_1$ factors. To the inclusion we associate the tower of higher relative commutants $\begin{array}{ccccccc} \mathbb{C} = N'\cap N & \subset &...
2
votes
1answer
212 views

An upper bound for the maximal subgroups at fixed index?

Let us call a subgroup an injective homomorphism between groups. I warn the reader that a subgroup designates here an inclusion $(H \subset G)$, not $H$ alone. A subgroup $H \subset G$ is ...
11
votes
3answers
1k views

Is there a purely group-theoretic reformulation of an equivalence of subgroups?

There is an equivalence relation between inclusion of finite groups coming from the world of subfactors: Definition: $(H_{1} \subset G_{1}) \sim(H_{2} \subset G_{2})$ if $(R^{G_{1}} \subset R^{H_{1}...
6
votes
2answers
315 views

Are subfactor planar algebras hard to classify at index 6?

Given a finite index inclusion, $N\subset M$, of $II_1$ factors we can construct two towers of finite dimensional algebras known as the $\textit{standard invariant}$. For low index, this has allowed ...
8
votes
3answers
330 views

What are the intermediate subfactors of the tensor product of two maximal subfactors?

Let $(N_1 \subset M_1)$ and $(N_2 \subset M_2)$ be two maximal subfactors. Their tensor product, the subfactor $(N_1 \otimes N_2 \subset M_1 \otimes M_2)$, admits four obvious intermediate ...
4
votes
0answers
118 views

Is there a maximal finite depth infinite index irreducible subfactor?

A subfactor $N \subset M $ is irreducible if $N' \cap M = \mathbb{C} $. It's maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $. It's cyclic if its lattice of ...
2
votes
0answers
124 views

About the classification of infinite depth irreducible finite index maximal subfactors

The Temperley Lieb subfactors $A_{\infty}$ are the first examples of infinite depth irreducible finite index maximal subfactors. We can see these subfactors as coming from the simple Lie group $SU(2)$....
13
votes
1answer
2k views

The cyclic subfactors theory: a quantum arithmetic?

Context: First recall some results: - Actions of finite groups on the hyperfinite type $II_{1}$ factor $R$ (Jones 1980). - A Galois correspondence for depth 2 irreducible subfactors (Izumi-Longo-...
5
votes
1answer
119 views

Is there an infinite depth irreducible finite index maximal subfactor (other than Temperley Lieb) ?

A subfactor $N \subset M$ is maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M$. Is there an infinite depth irreducible finite index maximal subfactor (other than ...
8
votes
0answers
270 views

Are there only finitely many maximal irreducible amenable subfactors at fixed finite index?

A subfactor $N \subset M $ is maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $. Question: Are there only finitely many maximal irreducible amenable subfactors at ...
16
votes
1answer
941 views

Non-“weakly group theoretical” integral fusion categories?

Is there an integral fusion category of global dimension $210$, such that the simple objects have dimensions $\{1,5,5,5,6,7,7\}$ and the following fusion matrices? $\small{\begin{smallmatrix} 1 & ...
12
votes
0answers
530 views

Unitary structures on fusion categories

A unitary fusion category is a fusion category with a $C^*$-tensor structure. Hence, in principle, a fusion category could have more than one unitary structure. Does exist a fusion category with more ...
18
votes
1answer
676 views

Fuss-Catalan algebras and non-commutative Hilbert schemes

Hello, this is a question regarding Reineke's paper "Cohomology of non-commutative Hilbert schemes", http://arxiv.org/abs/math/0306185, and more precisely the formula on page 4 there (at $n=1$), ...
11
votes
2answers
310 views

What is known about arbitrary subfactors of integer index?

Let $N\subset M$ be an inclusion of ${\rm II}_1$ factors of finite index, $[M:N]<\infty$. I would be mostly interested in the hyperfinite case, $N\simeq M\simeq R$, but let us just take them ...
1
vote
0answers
186 views

Non-invariant subspaces for subfactors.

Let $\mathcal{M}$ be a II_1 factor. If $\mathcal{N}$ is a subfactor of $\mathcal{M}$ ($\mathcal{N} \neq \mathcal{M}$), does there always exist a projection in $\mathcal{M}$ such that $(I-P)AP \neq 0$ ...
6
votes
0answers
127 views

Is it true that there are exactly two conjugacy classes of order two elements in Out(R)?

In the title, $R$ stands for the hyperfinite III1 factor. An order two element $\alpha\in Out(M)$ ($M$ any factor) has an invariant $c(\alpha)\in H^3(\mathbb Z/2,S^1)=\mathbb Z/2$. Q: Is $c$ the ...
5
votes
1answer
256 views

How well do we know relative commutants in $L(\mathbb{F}_\infty)$?

Let $H=K_1\oplus K_2$ be infinite dimensional Hilbert spaces. Voiculescu's free Gaussian functor gives us free group factors $L(H)$, $L(K_1)$, $L(K_2)$ acting on the full Fock space $\Gamma(H)$ and, ...
6
votes
1answer
299 views

von Neumann automorphisms: does convergence on a dense algebra imply $u$-convergence?

Let $M$ be a separable von Neumann algebra and let $A$ be a (von Neumann-)dense *-subalgebra. Suppose that $\alpha,\alpha_1,\alpha_2,\dots$ are automorphisms of $M$, such that for every $a \in A$, $$ \...
15
votes
1answer
390 views

Denseness of inner automorphisms inside automorphisms of hyperfinite type III_1 factor

Let $R$ be the hyperfinite type $III_1$ factor, and let $Aut(R)$ be its group of automorphisms, equipped with the $u$-topology (topology of pointwise convergence on the predual). An automorphism $\...
12
votes
0answers
255 views

Subfactors of $L(F_{\infty})$

It is a well known result that any subfactor of the hyperfinite $II_{1}$ factor is hyperfinite. I wonder if there is any finite index version of this for free group factors. In particular is it true ...
11
votes
1answer
307 views

A question about maximal subgroups

Let $G$ be a finite group and $H_1,\ldots, H_n$ a set of maximal subgroups of $G$. Let $\delta_{H_i}$ be delta functions with support on $H_i$, and let $A$ be the commutative algebra generated by $\...
37
votes
3answers
2k views

Why is there such a close resemblance between the unitary representation theory of the Virasoro algebra and that of the Temperley-Lieb algebra?

For those who aren't familiar with the Virasoro or Temperley-Lieb algebras, I include some definitions: • The (universal envelopping algebra of the) Virasoro algebra is the $\star$-algebra $...
5
votes
1answer
299 views

representing tensor-C*-categories in BIM

Given a factor M (=von Neumann alg. with center ℂ), let us write BIM for the ⊗-C*-category of M-M-bimodules. Which ⊗-C*-categories can one faithfully embed into BIM? ⓵ Are ...
5
votes
1answer
703 views

Subspaces of a Subfactor

Is the following true? Let $\mathcal N \subset \mathcal M$ be a subfactor. There is a bijective correspondence between the ultraweakly closed subspaces of $\mathcal M$ that are bimodules over $\...
5
votes
1answer
394 views

Is there a trivial construction of the trace on the Jones basic construction?

Let $N$ be a type $II_{1}$-factor with trace $\tau$, and $B$ a von Neumann subalgebra. The existence of the semifinite trace on the Jones basic construction $\langle N, e_{B} \rangle$ is reasonably ...
6
votes
2answers
226 views

What is the subfactor planar algebra of type $\tilde{A}_n$, of index 4?

As I understand it, there is a subfactor whose principal graph is the affine Dynkin diagram $\tilde{A}_n$. Since every vertex has two neighbors, does that mean the space of 1-boxes is two dimensional? ...
4
votes
2answers
311 views

Invertibility of the planar algebra-subfactor correspondence

In Jones's paper "Planar Algebras I", Theorem 4.2.1 establishes that an extremal finite index subfactor admits a spherical C*-planar algebra structure, and Theorem 4.3.1 establishes that spherical C*-...
8
votes
4answers
384 views

Possible values of the index for subfactor inclusions coming from conformal nets

This question is related to Can the minimal index of a subfactor take all values in {4cos^2(pi/n);n=3,4,5,...} u [4,infinity]? I was wondering what one knows for the special case of conformal nets ...
13
votes
1answer
985 views

Endomorphism of type III factor: can it satisfy $\phi\circ\phi = \phi\oplus\phi$?

I'm still trying to get some feeling about this question... Given Jesse Peterson's answer to this question (he showed that $\phi\circ\phi\sim\phi$ is impossible), I suspect that the following is also ...