On Christoffel and standard words and their derivatives

We introduce and study natural derivatives for Christoffel and finite standard words, as well as for characteristic Sturmian words. These derivatives, which are realized as inverse images under suitable morphisms, preserve the aforementioned classes of words. In the case of Christoffel words, the morphisms involved map $a$ to $a^{k+1}b$ (resp.,~$ab^{k}$) and $b$ to $a^{k}b$ (resp.,~$ab^{k+1}$) for a suitable $k>0$. As long as derivatives are longer than one letter, higher-order derivatives are naturally obtained. We define the depth of a Christoffel or standard word as the smallest order for which the derivative is a single letter. We give several combinatorial and arithmetic descriptions of the depth, and (tight) lower and upper bounds for it.Comment: 28 pages. Final version, to appear in TC

On an involution of Christoffel words and Sturmian morphisms

There is a natural involution on Christoffel words, originally studied by the second author in [A. de Luca, Combinatorics of standard Sturmian words, Lecture Notes in Computer Science 1261 (1997) 249–267]. We show that it has several equivalent definitions: one of them uses the slope of the word, and changes the numerator and the denominator respectively in their inverses modulo the length; another one uses the cyclic graph allowing the construction of the word, by interpreting it in two ways (one as a permutation and its ascents and descents, coded by the two letters of the word, the other in the setting of the Fine and Wilf periodicity theorem); a third one uses central words and generation through iterated palindromic closure, by reversing the directive word. We show further that this involution extends to Sturmian morphisms, in the sense that it preserves conjugacy classes of these morphisms, which are in bijection with Christoffel words. The involution on morphisms is the restriction of some conjugation of the automorphisms of the free group. Finally, we show that, through the geometrical interpretation of substitutions of Arnoux and Ito, our involution is the same thing as duality of endomorphisms (modulo some conjugation)