Generalized Thue-Morse words and palindromic richness

We prove that the generalized Thue-Morse word $\mathbf{t}_{b,m}$ defined for $b \geq 2$ and $m \geq 1$ as $\mathbf{t}_{b,m} = (s_b(n) \mod m)_{n=0}^{+\infty}$, where $s_b(n)$ denotes the sum of digits in the base-$b$ representation of the integer $n$, has its language closed under all elements of a group $D_m$ isomorphic to the dihedral group of order $2m$ consisting of morphisms and antimorphisms. Considering simultaneously antimorphisms $\Theta \in D_m$, we show that $\mathbf{t}_{b,m}$ is saturated by $\Theta$-palindromes up to the highest possible level. Using the terminology generalizing the notion of palindromic richness for more antimorphisms recently introduced by the author and E. Pelantov\'a, we show that $\mathbf{t}_{b,m}$ is $D_m$-rich. We also calculate the factor complexity of $\mathbf{t}_{b,m}$.Comment: 11 page

Every group is the outer automorphism group of an HNN-extension of a fixed triangle group

Fix an equilateral triangle group $T_i=\langle a, b; a^i, b^i, (ab)^i\rangle$ with $i\geq6$ arbitrary. Our main result is: for every presentation $\mathcal{P}$ of every countable group $Q$ there exists an HNN-extension $T_{\mathcal{P}}$ of $T_i$ such that $\operatorname{Out}(T_{\mathcal{P}})\cong Q$. We construct the HNN-extensions explicitly, and examples are given. The class of groups constructed have nice categorical and residual properties. In order to prove our main result we give a method for recognising malnormal subgroups of small cancellation groups, and we introduce the concept of "malcharacteristic" subgroups.Comment: 39 pages. Final version, to appear in Advances in Mathematic

Horizontal non-vanishing of Heegner points and toric periods

Let $F/\mathbb{Q}$ be a totally real field and $A$ a modular \GL_2-type abelian variety over $F$. Let $K/F$ be a CM quadratic extension. Let $\chi$ be a class group character over $K$ such that the Rankin-Selberg convolution $L(s,A,\chi)$ is self-dual with root number $-1$. We show that the number of class group characters $\chi$ with bounded ramification such that $L'(1, A, \chi) \neq 0$ increases with the absolute value of the discriminant of $K$. We also consider a rather general rank zero situation. Let $\pi$ be a cuspidal cohomological automorphic representation over \GL_{2}(\BA_{F}). Let $\chi$ be a Hecke character over $K$ such that the Rankin-Selberg convolution $L(s,\pi,\chi)$ is self-dual with root number $1$. We show that the number of Hecke characters $\chi$ with fixed $\infty$-type and bounded ramification such that $L(1/2, \pi, \chi) \neq 0$ increases with the absolute value of the discriminant of $K$. The Gross-Zagier formula and the Waldspurger formula relate the question to horizontal non-vanishing of Heegner points and toric periods, respectively. For both situations, the strategy is geometric relying on the Zariski density of CM points on self-products of a quaternionic Shimura variety. The recent result \cite{Ts, YZ, AGHP} on the Andr\'e-Oort conjecture is accordingly fundamental to the approach.Comment: Adv. Math., to appear. arXiv admin note: text overlap with arXiv:1712.0214

Languages invariant under more symmetries: overlapping factors versus palindromic richness

Factor complexity $\mathcal{C}$ and palindromic complexity $\mathcal{P}$ of infinite words with language closed under reversal are known to be related by the inequality $\mathcal{P}(n) + \mathcal{P}(n+1) \leq 2 + \mathcal{C}(n+1)-\mathcal{C}(n)$ for any $n\in \mathbb{N}$\,. Word for which the equality is attained for any $n$ is usually called rich in palindromes. In this article we study words whose languages are invariant under a finite group $G$ of symmetries. For such words we prove a stronger version of the above inequality. We introduce notion of $G$-palindromic richness and give several examples of $G$-rich words, including the Thue-Morse sequence as well.Comment: 22 pages, 1 figur

Integrability Criterion for Abelian Extensions of Lie Groups

We establish a criterion for when an abelian extension of infinite-dimensional Lie algebras integrates to a corresponding Lie group extension $\hat{G}$ of $G$ by $A$, where $G$ is a connected, simply connected Lie group and $A$ is a quotient of its Lie algebra by some discrete subgroup. When $G$ is non-simply connected, the kernel $A$ is replaced by a central extension $\hat{A}$ of $\pi_1(G)$ by $A$.Comment: 11 pages, 2 figure