
This article proves that an irreducible subfactor planar algebra with a
distributive biprojection lattice admits a minimal 2box 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.

This paper gives a selfcontained grouptheoretic 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.

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 2box 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.

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 groupcomplemented 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 groupcomplemented interval $[H,G]$, the graded coset
poset $\hat{P} = \hat{C}(H,G)$ is CohenMacaulay 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 groupcomplemented case with
$G:H<32$. One observes that they are also true when $H$ is a Borel subgroup
of $G$.

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 2box 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 nontrivial upper bound for the
minimal number of irreducible components for a faithful complex representation
of a finite group.

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.

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.

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 nontrivial 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.

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.

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 wcyclic), i.e. there is a minimal 2box 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 nontrivial upper bound for the
minimal number of irreducible complex representations generating the left
regular representation.

This paper is the third of a series giving a selfcontained way from the
NeveuSchwarz algebra to a new series of irreducible subfactors. Here we
introduce the local von Neumann algebra of the NeveuSchwarz algebra, to obtain
JonesWassermann 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.

This paper is the second of a series giving a selfcontained way from the
NeveuSchwarz algebra to a new series of irreducible subfactors. Here we give a
unitary complete proof of the classification of the unitary series of the
NeveuSchwarz algebra, by the way of GKO construction, Kac determinant and FQS
criterion. We then obtain the characters directly, without FeiginFuchs
resolutions.

This paper is the first of a series giving a selfcontained way from the
NeveuSchwarz algebra to a new series of irreducible subfactors. Here we
present an elementary, progressive and selfcontained 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 NeveuSchwarz
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$.