Concrete Billiard Arrays of Polynomial Type and Leonard Systems

Jimmy Vineyard

2024-08-29

Abstract:Let $d$ denote a nonnegative integer and let $\mathbb{F}$ denote a field. Let $V$ denote a $d+1$ dimensional vector space over $\mathbb{F}$. Given an ordering $\{\theta_i\}_{i=0}^d$ of the eigenvalues of a multiplicity-free linear map $A: V \to V$, we construct a Concrete Billiard Array $\mathcal{L}$ with the property that for $0 \leq i \leq d$, the $i^{\rm th}$ vector on its bottom border is in the $\theta_i$-eigenspace of $A$. The Concrete Billiard Array $\mathcal{L}$ is said to have polynomial type. We also show the following. Assume that there exists a Leonard system $\Phi=(A;\{E_i\}_{i=0}^d;A^*;\{E_i^*\}_{i=0}^d)$ where $E_i$ is the primitive idempotent of $A$ corresponding to $\theta_i$ for $0 \leq i \leq d$. Then, we show that after a suitable normalization, the left (resp. right) boundary of $\mathcal{L}$ corresponds to the $\Phi$-split (resp. $\Phi^{\Downarrow}$-split) decomposition of $V$.

Rings and Algebras

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to explore the natural connection between Billiard Arrays and Leonard Systems, and specifically construct a "Concrete Billiard Array of Polynomial Type". The following are the main problems and goals of the paper:

1. **Constructing a Concrete Billiard Array**:
- Given a multiplicity - free linear map \(A: V\rightarrow V\), where \(V\) is a \((d + 1)\)-dimensional vector space and its eigenvalues are \(\{\theta_i\}_{i = 0}^d\).
- Construct a concrete Billiard Array \(L\) such that for \(0\leq i\leq d\), the \(i\)-th vector on the bottom side is in the \(\theta_i\)-eigenspace of \(A\).

2. **Association with Leonard Systems**:
- Suppose there is a Leonard system \(\Phi=(A; \{E_i\}_{i = 0}^d; A^*; \{E_i^*\}_{i = 0}^d)\), where \(E_i\) is the primitive idempotent of \(A\) corresponding to \(\theta_i\).
- Prove that after appropriate normalization, the left (or right) boundary of the concrete Billiard Array \(L\) corresponds to the \(\Phi\)-split (or \(\Phi\Downarrow\)-split) decomposition of \(V\).

3. **Properties of the Concrete Billiard Array**:
- The paper further studies the properties of this concrete Billiard Array, including its edge labels and value functions.

Through these studies, the paper shows how Billiard Arrays naturally emerge in the context of Leonard pairs and Leonard systems, and provides specific construction methods and theoretical bases. This not only deepens the understanding of Billiard Arrays but also reveals their important applications in algebraic structures.

### Summary of Key Formulas

- **Definition of Characteristic Polynomials**:
\[
\tau_k(\xi)=\prod_{i = 1}^k(\xi-\theta_{i - 1}),\quad\eta_k(\xi)=\prod_{i = 1}^k(\xi-\theta_{d - i+ 1})
\]
where \(\tau_0(\xi)=\eta_0(\xi)=1\).

- **Definition of Elements in the Concrete Billiard Array**:
\[
L_\lambda=\eta_r(A)\tau_t(A)v
\]
where \(\lambda=(r, s, t)\).

- **Expression of the Value Function**:
\[
\hat{\beta}(r, s, t)=\frac{\theta_{d - r- 1}-\theta_t}{\theta_{d - r}-\theta_{t + 1}}
\]

These formulas play a key role in the paper, helping to construct and analyze the concrete Billiard Array and its properties.