The Terwilliger algebra of an almost-bipartite \(P\)- and \(Q\)-polynomial association scheme (Q1773354)

Let \(\Gamma\) be a distance-regular graph with diameter \(D\). We say \(\Gamma\) is almost-bipartite whenever \(a_i=0\) for \(0\leq i\leq D-1\) and \(a_D\neq 0\). Let \(\Gamma\) be an almost-bipartite distance-regular graph with diameter \(D\geq 3\). Let \(\Gamma\) be \(Q\)-polynomial with respect to the ordering \(E_0,\dots ,E_D\) of the primitive idempotents. Fix a base vertex \(x\) of \(\Gamma\), and write \(E_i^*=E_i^*(x)\), \({\mathcal M}^*={\mathcal M}^*(x)\) and \(T=T(x)\). It is proved that any irreducible \(T\)-module \(W\) is both thin and dual thin (Lemma 10.3). Let \(W\) denote a thin irreducible \(T\)-module with endpoint \(r\), dual endpoint \(t\), and diameter \(d\). Then for all nonzero \(v\in E_tW\), \(E_r^*(v),\dots, E_{r+d}^*(v)\) is a basis for \(W\) and for all nonzero \(w\in E_r^*W\), \(E_t(w),\dots,E_{t+d}(w)\) is a basis for \(W\) (Theorm 8.1). The dual endpoint and diameter of \(W\) determine its isomorphism class as a \(T\)-module (Theorem 14.1).