Transcendence for Pisot Morphic Words over an Algebraic Base

It is known that for a uniform morphic sequence $\mathit{u}=⟨u_n{⟩}_{n=0}^{\mathrm{\infty }}$ and an algebraic number $\beta$ such that $\mathrm{\mid }\beta \mathrm{\mid }>1$, the number $[\text{\hspace{0.17em}⁣}[\mathit{u}]\text{\hspace{0.17em}⁣}{]}_{\beta }:={\sum }_{n=0}^{\mathrm{\infty }}\frac{u_n}{{\beta }^n}$ either lies in $\mathbb{Q}(\beta )$ or is transcendental. In this paper we show a similar rational-transcendental dichotomy for sequences defined by irreducible Pisot morphisms. Subject to the Pisot conjecture (an irreducible Pisot morphism has pure discrete spectrum), we generalise the latter result to arbitrary finite alphabets. In certain cases we are able to show transcendence of $[\text{\hspace{0.17em}⁣}[\mathit{u}]\text{\hspace{0.17em}⁣}{]}_{\beta }$ outright. In particular, for $k\ge 2$, if $\mathit{u}$ is the $k$-bonacci word then $[\text{\hspace{0.17em}⁣}[\mathit{u}]\text{\hspace{0.17em}⁣}{]}_{\beta }$ is transcendental.