Related papers: Planar Algebra of the Subgroup-Subfactor

The $k$th power of a graph $G$, denoted $G^k$, has the same vertex set as $G$, and two vertices are adjacent in $G^k$ if and only if there exists a path between them in $G$ of length at most $k$. A $K_r$-factor in a graph is a spanning…

To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with…

In this paper we study the algebra of graph invariants, focusing mainly on the invariants of simple graphs. All other invariants, such as sorted eigenvalues, degree sequences and canonical permutations, belong to this algebra. In fact,…

We define a planar para algebra, which arises naturally from combining planar algebras with the idea of $\mathbb{Z}_{N}$ para symmetry in physics. A subfactor planar para algebra is a Hilbert space representation of planar tangles with…

A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from \fun\ to \uqg\ , given by elements of the pure braid group. These operators --- the `reflection matrix' $Y \equiv…

Let $\mathfrak{G}$ be the subgroup $\mathfrak{S}_{n-q} \times \mathfrak{S}_{q}$ of the $n$-th symmetric group $\mathfrak{S}_{n}$ for $n-q \geq q$. In this paper, we study the $\mathfrak{G}$-invariant part of the rational cohomology group of…

For $G$ a connected, reductive group over an algebraically closed field $k$ of large characteristic, we use the canonical Springer isomorphism between the nilpotent variety of $\mathfrak{g}:=\mathrm{Lie}(G)$ and the unipotent variety of $G$…

Let $\text{GL}(n) = \text{GL}(n, {\mathbb C})$ denote the complex general linear group and let $G \subset \text{GL}(n)$ be one of the classical complex subgroups $\text{O}(n)$, $\text{SO}(n)$, and $\text{Sp}(2k)$ (in the case $n = 2k$). We…

This paper presents algebraic methods for the study of polynomial relative invariants, when the group G formed by the symmetries and relative symmetries is a compact Lie group. We deal with the case when the subgroup H of symmetries is…

Let $G$ be a group. The intersection graph of subgroups of $G$, denoted by $\mathscr{I}(G)$, is a graph with all the proper subgroups of $G$ as its vertices and two distinct vertices in $\mathscr{I}(G)$ are adjacent if and only if the…

The \emph{difference subgroup graph} $D(G)$ of a finite group $G$ is defined as the graph whose vertices are the non-trivial proper subgroups of $G$, with two distinct vertices $H$ and $K$ adjacent if and only if $\langle H, K \rangle = G$…

A (3,4)-biregular bigraph G is a bipartite graph where all vertices in one part have degree 3 and all vertices in the other part have degree 4. A path factor of G is a spanning subgraph whose components are nontrivial paths. We prove that a…

Let G=SU(2) and let \Omega G denote the space of continuous based loops in G, equipped with the pointwise conjugation action of G. It is a classical fact in topology that the ordinary cohomology H^*(\Omega G) is a divided polynomial algebra…

For a given group $G$, we construct an invariant of flat $G$-connections on 4-manifolds from a finite type involutory quasitriangular Hopf $G$-algebra. Hopf $G$-algebras are generalizations of Hopf algebras, equipped with gradings by $G$.…

Let $H$ be a Hopf algebra over a field $K$ of characteristic $0$ and let $A$ be a bialgebra or Hopf algebra such that $H$ is isomorphic to a sub-Hopf algebra of $A$ and there is an $H$-bilinear coalgebra projection $\pi$ from $A$ to $H$…

Based on a closed formula for a star product of Wick type on $\CP^n$, which has been discovered in an earlier article of the authors, we explicitly construct a subalgebra of the formal star-algebra (with coefficients contained in the…

In this paper, we show that for a graph $\Gamma$ from a class named H-rigid graphs, its subgraph ${\rm Int}(\Gamma)$, named the internal graph of $\Gamma$, is an isomorphism invariant of the graph product of hyperfinite II$_1$-factors…

We describe the subfactor planar algebra of an intermediate subfactor $N\subset Q \subset M$ of an extremal subfactor $N\subset M$ of finite Jones index which is not necessarily irreducible.

We consider a bipartite distance-regular graph $G$ with diameter at least 4 and valency at least 3. Fix a vertex of $G$ and let $T$ denote the corresponding subconstituent algebra. We give a detailed description of a certain type of…

We consider the following two algorithmic problems: given a graph $G$ and a subgraph $H\subseteq G$, decide whether $H$ is an isometric or a geodesically convex subgraph of $G$. It is relatively easy to see that the problems can be solved…