• ### Ore's theorem on subfactor planar algebras(1704.00745)

March 26, 2019 math.CO, math.OA, math.QA, math.RT, math.GR
This article proves that an irreducible subfactor planar algebra with a distributive biprojection lattice admits a minimal 2-box projection generating the identity biprojection. It is a generalization (conjectured in 2013) of a theorem of Oystein Ore on distributive intervals of finite groups (1938), and a corollary of a natural subfactor extension of a conjecture of Kenneth S. Brown in algebraic combinatorics (2000). We deduce a link between combinatorics and representations in finite group theory.
• ### Dual Ore's theorem on distributive intervals of finite groups(1708.02565)

March 9, 2019 math.CO, math.RT, math.GR
This paper gives a self-contained group-theoretic proof of a dual version of a theorem of Ore on distributive intervals of finite groups. We deduce a bridge between combinatorics and representations in finite group theory.
• ### Euler totient of subfactor planar algebras(1703.04486)

March 20, 2018 math.CO, math.OA, math.RT, math.GR
We extend the Euler's totient function (from arithmetic) to any irreducible subfactor planar algebra, using the Mobius function of its biprojection lattice, as Hall did for the finite groups. We prove that if it is nonzero then there is a minimal 2-box projection generating the identity biprojection. We explain a relation with a problem of K.S. Brown. As an application, we define the dual Euler totient of a finite group and we show that if it is nonzero then the group admits a faithful irreducible complex representation. We also get an analogous result at depth 2, involving the central biprojection lattice.
• ### On Boolean intervals of finite groups(1604.06765)

Feb. 10, 2018 math.CO, math.OA, math.QA, math.RT, math.GR
We prove a dual version of {\O}ystein Ore's theorem on distributive intervals in the subgroup lattice of finite groups, having a nonzero dual Euler totient $\hat{\varphi}$. For any Boolean group-complemented interval, we observe that $\hat{\varphi} = \varphi \neq 0$ by the original Ore's theorem. We also discuss some applications in representation theory. We conjecture that $\hat{\varphi}$ is always nonzero for Boolean intervals. In order to investigate it, we prove that for any Boolean group-complemented interval $[H,G]$, the graded coset poset $\hat{P} = \hat{C}(H,G)$ is Cohen-Macaulay and the nontrivial reduced Betti number of the order complex $\Delta(P)$ is $\hat{\varphi}$, so nonzero. We deduce that these results are true beyond the group-complemented case with $|G:H|<32$. One observes that they are also true when $H$ is a Borel subgroup of $G$.
• ### Ore's theorem on cyclic subfactor planar algebras and beyond(1702.02124)

Ore proved that a finite group is cyclic if and only if its subgroup lattice is distributive. Now, since every subgroup of a cyclic group is normal, we call a subfactor planar algebra cyclic if all its biprojections are normal and form a distributive lattice. The main result generalizes one side of Ore's theorem and shows that a cyclic subfactor is singly generated in the sense that there is a minimal 2-box projection generating the identity biprojection. We conjecture that this result holds without assuming the biprojections to be normal, and we show that it is true for small lattices. We finally exhibit a dual version of another theorem of Ore and a non-trivial upper bound for the minimal number of irreducible components for a faithful complex representation of a finite group.
• ### The type III manufactory(1101.2827)

Nov. 8, 2016 math.OA
Using unusual objects in the theory of von Neumann algebra, as the chinese game Go or the Conway game of life (generalized on finitely presented groups), we are able to build, by hands, many type III factors.
• ### Spectral triples for finitely presented groups, index 1(1011.4436)

Nov. 8, 2016 math.OA
Using a Cayley complex (generalizing the Cayley graph) and Clifford algebras, we are able to give, for a large class of finitely presented groups, a uniform construction of spectral triples with $D_{+}$ of index 1.
• ### Spectral triples for finitely generated groups, index 0(1010.5221)

Nov. 8, 2016 math.OA
Using Cayley graphs and Clifford algebras, we are able to give, for every finitely generated groups, a uniform construction of spectral triples with a generically non-trivial phase for the Dirac operator. Unfortunatly $D_{+}$ is index $0$, but we are naturally led to an interesting classification of finitely generated groups into three types.
• ### Dual Ore's theorem for distributive intervals of small index(1610.07253)

Oct. 24, 2016 math.CO, math.RT, math.GR
This paper proves a dual version of a theorem of Oystein Ore for every distributive interval of finite groups [H,G] of index |G:H|<9720, and for every boolean interval of rank <7. It has applications to representation theory for every finite group.
• ### Ore's theorem for cyclic subfactor planar algebras and applications(1505.06649)

This paper introduces the cyclic subfactors, generalizing the cyclic groups as the subfactors generalize the groups, and generalizing the natural numbers as the maximal subfactors generalize the prime numbers. On one hand, a theorem of O. Ore states that a finite group is cyclic if and only if its subgroups lattice is distributive, and on the other hand, every subgroup of a cyclic group is normal. Then, a subfactor planar algebra is called cyclic if all the biprojections are normal and form a distributive lattice. The main result shows in what sense a cyclic subfactor is singly generated, by generalizing one side of Ore's theorem as follows: if a subfactor planar algebra is cyclic then it is weakly cyclic (or w-cyclic), i.e. there is a minimal 2-box projection generating the identity biprojection. Some extensions of this result are discussed, and some applications of it are given in subfactors, quantum groups and finite group theories, for example, a non-trivial upper bound for the minimal number of irreducible complex representations generating the left regular representation.
• ### Neveu-Schwarz and operators algebras III: Subfactors and Connes fusion(1010.0076)

Oct. 7, 2010 math.OA, math.FA, math.RT
This paper is the third of a series giving a self-contained way from the Neveu-Schwarz algebra to a new series of irreducible subfactors. Here we introduce the local von Neumann algebra of the Neveu-Schwarz algebra, to obtain Jones-Wassermann subfactors for each representation of the discrete series. Then using primary fields we prove the irreducibility of these subfactors; to next compute the Connes fusion ring and obtain the explicit formula of the subfactors indices.
• ### Neveu-Schwarz and operators algebras II: Unitary series and characters(1010.0077)

Oct. 7, 2010 math.OA, math.FA, math.RT
This paper is the second of a series giving a self-contained way from the Neveu-Schwarz algebra to a new series of irreducible subfactors. Here we give a unitary complete proof of the classification of the unitary series of the Neveu-Schwarz algebra, by the way of GKO construction, Kac determinant and FQS criterion. We then obtain the characters directly, without Feigin-Fuchs resolutions.
• ### Neveu-Schwarz and operators algebras I: Vertex operators superalgebras(1010.0078)

Oct. 7, 2010 math.OA, math.FA, math.RT
This paper is the first of a series giving a self-contained way from the Neveu-Schwarz algebra to a new series of irreducible subfactors. Here we present an elementary, progressive and self-contained approch to vertex operator superalgebra. We then build such a structure from the loop algebra $Lg$ of any simple finite dimensional Lie algebra $g$. The Neveu-Schwarz algebra $Vir_{1/2}$ emerges naturally on. As application, we obtain a unitary action of $Vir_{1/2}$ on the unitary discrete series of $Lg$.