--- abstract: 'For a hyperbolic surface embedded eigenvalues of the Laplace operator are unstable and tend to become resonances. A sufficient dissolving condition was identified by Phillips–Sarnak and is elegantly expressed in Fermi's Golden Rule. We prove formulas for higher approximations and obtain necessary and sufficient conditions for dissolving a cusp form with eigenfunction $u_j$ into a resonance. In the framework of perturbations in character varieties, we relate the result to the special values of the $L$-series $L(u_j\otimes F^n, s)$. This is the Rankin-Selberg convolution of $u_j$ with $F(z)^n$, where $F(z)$ is the antiderivative of a weight $2$ cusp form. In an example we show that the above-mentioned conditions force the embedded eigenvalue to become a resonance in a punctured neighborhood of the deformation space.' address: - | Department of Mathematics, University College London, Gower Street, London WC1E 6BT, United Kingdom\ Tel: 859-426-1705, Fax: 859-426-1705 - 'Department of Mathematical Sciences, University of Copenhagen, Universitetsparken 5, 2100 Copenhagen Ø, Denmark ' author: - 'Yiannis N. Petridis' - 'Morten S. Risager' title: 'Dissolving cusp forms: Higher order Fermi's Golden Rules' --- Introduction ============ For a hyperbolic surface with cusps the embedded eigenvalues of the Laplace operator $\Delta$ in the continuous spectrum are unstable. This is manifested by Fermi's Golden Rule developed in @phillips-sarnak2. We describe the result in the simplest case of a surface with one cusp and an eigenvalue of multiplicity one. Let $\lambda_j=1/4+r_j^2$ be an embedded eigenvalue with $r_j\in \R\setminus \{0\}$ and the corresponding $L^2$-normalized eigenfunction (Maa<span>ß</span> cusp form) $u_j(z)$. Let $E(z, s)$ be the Eisenstein series, which on the critical line $\Re (s)=1/2$ is a generalized eigenfunction for $\Delta$, so that $E(z, 1/2+ir_j)$ corresponds in the same eigenvalue as the Maa<span>ß</span> cusp form. We set $s_j=1/2+ir_j$. In @phillips-sarnak1 Phillips and Sarnak identified a condition that turns $\lambda_j$ into a resonance in Teichmüller space, i.e. dissolving $\lambda_j$ into a resonance. In @sarnak1 Sarnak identified a similar condition for character varieties. Let $\Delta ^{(1)}$ denote the infinitesimal variation of the family of Laplacians in either perturbation. Then the dissolving condition – usually called the Phillips–Sarnak condition – is $$\label{phillipssarnakcondition}\langle \Delta^{(1)} u_j, E(z, 1/2+ir_j)\rangle \ne 0.$$ In @phillips-sarnak2 Phillips and Sarnak identified the dissolving condition in terms of the speed that the cuspidal eigenvalue leaves the line $\Re (s)=1/2$ to become a resonance to the left half-plane. If $s_j(\e)$ denotes the position of the resonance or embedded cusp form, with perturbation series $$s_j(\e)=s_j+s_j^{(1)}(0)\e+\frac{s_j^{(2)}(0)}{2!}\e^2+\cdots ,$$ then $$\label{fermi}\Re s_j^{(2)}(0)=-\frac{1}{4r_j^2}\left|\langle \Delta^{(1)} u_j, E(z, 1/2+ir_j)\rangle\right|^2.$$ Our aim in this paper is to investigate what happens when the expression (\[fermi\]) vanishes, or equivalently: what happens if the Phillips-Sarnak condition is *not* satisfied. The proof of (\[fermi\]) in @phillips-sarnak2 uses the Lax-Phillips scattering theory as developed for automorphic functions, see @lax-phillips. The crucial ingredient is provided by the cut-off wave operator $B$. Its spectrum (on appropriate spaces) coincides with the singular set (counting multiplicities). It includes the embedded eigenvalues and the resonances. The motion of an embedded eigenvalue depending on the perturbation parameter $\e$ on the complex place $\C$ can be identified as the motion of an eigenvalue of $B$. Given that Phillips and Sarnak proved that regular perturbation theory applies to this setting, it follows that an embedded eigenvalue moves (with at most algebraic singularities) as function of $\e$, either remaining a cuspidal eigenvalue or becoming a resonance. Eq. (\[fermi\]) follows using standard perturbation theory techniques. Balslev provided a different proof of Eq. (\[fermi\]) in @balslev by introducing the technique of analytic dilations and imitating the setting of Fermi's Golden Rule for the helium atom, see @simon. A slightly modified version of the application of perturbation theory is provided in @petr, using the formulas in @kato [p. 79]. Once the dissolving condition had been identified, Phillips and Sarnak @phillips-sarnak1 expressed it as a special value of a Rankin–Selberg convolution of $u_j$ with the holomorphic cusp form $f$ generating the deformation. These special values have been subsequently studied @deshouillers-iwaniec [@dips; @luo] with the aim of showing that a generic surface with cusps has <span>few</span> embedded eigenvalues in the sense of Weyl's law. A different line of approach has been to develop alternate perturbation settings, where the condition to check is easier to understand. Wolpert, Phillips and Sarnak, and Balslev and Venkov succeded in investigating Weyl's law this way. @wolpert [@phillips-sarnak3; @balslev-venkov; @balslev-venkov2]. A more recent development came through the numerical investigation of the poles of Eisenstein series by Avelin @avelin. Working with the Teichmüller space of $\Gamma_0(5)$, she found a fourth order contact of $s_j(\e)$ with the unitary axis $\Re (s)=1/2$. It is easy to explain why certain directions in the moduli space will not satisfy the Phillips-Sarnak condition (\[phillipssarnakcondition\]): If the dimension of the moduli space is at least $2$, then the map $f\to \langle \Delta^{(1)} u_j, E(z, 1/2+ir_j)\rangle $ is linear, therefore, is has nontrivial kernel. Avelin also identified numerically the most suitable curve that the singular point follows in the left half-plane. This work (along with the work of Farmer and Lemurell @farmerlemurel) motivated us to investigate whether one can identify higher order Fermi-type conditions that will explain what happens in this case. We answer affirmatively: we find conditions that guarantee that an embedded eigenvalue becomes a resonance. For this purpose we introduce the perturbation series of the generalized eigenfunctions $D(z, s, \e)$, with $D(z, s, 0)=E(z, s)$: $$D(z, s, \e)=D(z, s, 0)+D^{(1)}(z, s )\e+\frac{D^{(2)}(z, s)}{2!}\e^2+\cdots .$$ \[higher-fermi-intro\] Assume that for $k=0, 1, \ldots , n-1$ the functions $D^{(k)}(z, s)$ are regular at a simple cuspidal eigenvalue $s_j=1/2+ir_j$. Then $D^{(n)}(z, s)$ has at most a first order pole at $s_j$. 1. If $D^{(n)}(z, s)$ has a pole at $s_j$, then the embedded eigenvalue becomes a resonance. 2. Moreover, with ${\left\lVert \cdot \right\rVert}$ the standard $L^2$-norm, $$ \Re {s}_j^{(2n)}(0)=-\frac{1}{2}\binom{2n}{n}{\left\lVert \operatorname*{res}_{s=s_j}D^{(n)}(z, s) \right\rVert}^2,$$ and this is the leading term in the expansion of $\Re s_j(\e)$, i.e. $\Re {s}_j^{(j)}(0)=0$ for $j<2n$. \[cykel-intro\] An embedded simple eigenvalue $s_j$ becomes a resonance if and only if for some $m\in \N$ the function $D^{(m)}(z, s)$ has a pole at $s_j$. \[phillips-sarnakcondition\] For $n=1$ the condition in the theorem is the classical Fermi's Golden Rule, see (\[Dn-residue\]) with $n=1$. Our method provides a new proof of this well-known result without using energy inner products, see @phillips-sarnak2 but assuming Theorem \[singularsetproperties\]. The assumptions of the theorem may equivalently be stated as $\Re(s^{(j)}(0))=0$ for $j=1,\ldots, 2n-1$. So in the theorem we are really assuming that the embedded eigenvalue does not become a resonance to order *less* than $2n$. At first glance it may seem that the condition identifies one perturbation object with another, equally unknown. However, the condition can surprisingly also be expressed as the nonvanishing at a special point of a Dirichlet series. The relevant series is more complicated than the standard Rankin–Selberg convolution. In the case of character varieties and $n=2$ this Dirichlet series is $$\sum_{n=1}^{\infty} \left( \sum_{k_1+k_2=n}\frac{a_{k_1}}{k_1}\frac{a_{k_2}}{k_2} b_{-n} \right)\frac{1 }{n^s},$$ where $a_n$ are the Fourier coefficients of $f$, and $b_n$ are the coefficients of $u_j$. Even more $D^{(n)}(z, s)$ has been the object of intense investigation by Goldfeld, O'Sullivan, Chinta, Diamantis, the authors, Jorgenson et. al. @goldfeld1 [@goldfeld2; @chinta; @diamantis; @osullivan; @petridis; @petridis-risager; @jorgenson]. It can be defined for $\Re (s)>1$ as $$\label{dseries} D^{(n)}(z, s)=\sum_{\GinfmodG}\left(2\pi i \int_{i\infty}^{\gamma z} \Re f(w)\, dw\right)^n\Im(\gamma z)^s.$$ In fact, in @osullivan2 [@petridis] it was proved that $${ \rm Res}_{s=s_j}D^{(1)}(z, s)= \langle \Delta^{(1)} u_j, E(z, 1/2+ir_j)\rangle u_j(z),$$ which gives the Phillips–Sarnak condition when one takes the $L^2$-norm. This motivated us to investigate the residues of $D^{(n)}(z, s)$ and derive Theorem \[higher-fermi-intro\]. The character perturbation setup is analyzed in section \[character-varieties\]. The simplicity of $s_j$ is not important. We state the theorem for any multiplicity of $s_j$ as Theorem \[maintheorem\] in Section \[introductorymaterial\]. This theorem gives an algorithmic method of checking whether in a particular direction of moduli space an embedded eigenvalue becomes a resonance. If $D^{(1)}(z, s)$ is regular at $s_j$, which is equivalent to the vanishing of the Phillips–Sarnak condition, then the embedded eigenvalue stays an eigenvalue to second order and we need to check the higher order condition $D^{(2)}(z, s)$. If this is regular one looks at the next term in the perturbation series of $D(z, s, \e)$ etc. There is an easy argument that explains why a pole of $D^{(n)}(z, s)$ at $s_j$ forces the embedded eigenvalue to become a resonance. The argument is sketched in section \[heustics-dissolving\]. In the last section we investigate whether cusp forms could be stable under perturbations along certain paths in the deformation space. Our main result is for groups with certain symmetries e.g. (extensions of) $ \Gamma_0(p)$. Even-odd considerations guarantee the existence of Maa<span>ß</span> cusp forms for the unperturbed problem. In Theorem \[destruction-in-a-neighborhood\] we give sufficient conditions to ensure that there is *no* path along which a cusp form remains. As a result the cusp form is isolated in the deformation space. If the conditions are not satisfied, the cusp form indeed remains in a specific determined line in the deformation space. In this article (Section \[character-varieties\]) we investigate the case of character varieties. The application of Theorem \[higher-fermi-intro\] to the analysis of Teichmüller deformations will appear in @petridis-risager2. We would like to thank D. Hejhal, A. Strömbergsson, A. Venkov, E. Balslev, D. Mayer and P. Sarnak for helpful discussions and encouragements. Background and preliminaries {#introductorymaterial} ============================ An admissible surface, see @mueller2 [@mueller], is a two dimensional non-compact Riemannian manifold $M$ of finite area with hyperbolic ends, i.e. there is a compact set $M_0$ such that $M$ has a decomposition $$M=M_0\cup \bigcup_{{\mathfrak a}=1}^{\mathfrak k}Z_{\mathfrak a}$$ and $$Z_{\mathfrak a}\cong S^{1}\times [c_{\mathfrak a}, \infty), \quad c_{\mathfrak a}>0$$ carries coordinates $(x_{\mathfrak a}, y_{\mathfrak a})\in S^{1}\times [c_{\mathfrak a}, \infty)$ and is equipped with the hyperbolic metric $$\frac{dx_{\mathfrak a}^2+dy_{\mathfrak a}^2}{y_{\mathfrak a}^2}.$$ The end $Z_{\mathfrak a}$ is called a cusp. Müller @mueller2 [@mueller] has worked out the spectral theory of admissible surfaces. The Laplace operator $\Delta$, defined originally on compactly supported smooth functions, has a unique self-adjoint extension on $L^2(M)$, which we denote by $L$. The spectrum of $L$ consists of discrete spectrum (eigenvalues $\lambda_j=s_j(1-s_j)$) with $$0=\lambda_0<\lambda_1\le \lambda_2\le \ldots$$ (a finite or infinite set accumulating at $\infty$) and continuous spectrum $[1/4, \infty)$ of multiplicity $\mathfrak k$, provided by generalized eigenfunctions $E_{\mathfrak a}(z, s)$. These can to be constructed as in @mueller [@deverdiere] and, only in the special case of hyperbolic surfaces, are given by series of the type $$E(z, s)=\sum_{\gamma\in \GinfmodG}\Im (\gamma z)^s.$$ We will call the generalized eigenfunctions Eisenstein series. Each $E_{\mathfrak a}(z, s)$ 1. admits meromorphic continuation to $\C$ with poles in $\Re (s)<1/2$ or on the interval $(1/2, 1]$, 2. satisfies the eigenvalue equation $$\Delta E_{\mathfrak a}(z, s)+s(1-s)E_{\mathfrak a}(z, s)=0,\quad \textrm{and }$$ 3. satisfies the functional equation $$E_{\mathfrak a}(z, s)=\sum_{\mathfrak b =1}^{\mathfrak k}\phi_{\mathfrak a\mathfrak b}(s) E_{\mathfrak b}(z, 1-s)$$ for some functions $\phi_{\mathfrak a \mathfrak b}(s)$. The determinant of the scattering matrix $\Phi (s)=(\phi_{\mathfrak a \mathfrak b}(s))_{\mathfrak a,\mathfrak b=1}^{\mathfrak k}$ is denoted $\phi (s)$. The poles of $\phi (s)$ are called resonances. The scattering matrix satisfies a functional equation $\Phi(s)\Phi (1-s)=I_{\mathfrak k\times \mathfrak k}$, and, moreover, $$\label{phifunctional}\Phi (\bar s)=\overline{\Phi (s)}, \quad \Phi (s)^*=\Phi(\bar s).$$ The resolvent of the Laplace operator $R(s)=(\Delta+s(1-s))^{-1}$ defined on $L^2 (M)$ for $\Re (s)>1/2$, $s\not\in\hbox{spec}(L)$, admits a meromorphic continuation to $\C$, if we restrict the domain to a smaller space, e.g. $C_c^{\infty}(M)$, compactly supported functions on $M$. The limiting absorption principle holds: i.e. the resolvent kernel (Green's function) $r(z, z', s)$ satisfies $$\label{limit-absorption} r(z, z', s)-r(z, z', 1-s)=\frac{1}{1-2s}\sum_{\mathfrak a=1}^{\mathfrak k}E_{\mathfrak a}(z, s)E_{\mathfrak a}(z', 1-s).$$ At a spectral point $s_j$ with eigenvalue $s_j(1-s_j)>1/4$ the resolvent kernel has a pole described by the Laurent expansion $$\label{resolventpolarstructure}r(z, z', s)=\frac{P}{s(1-s)-s_j(1-s_j)}+\cdots,$$ where $P$ is the spectral projection to the eigenspace with eigenvalue $s_j(1-s_j)$. An admissible surface has generically finitely many discrete eigenvalues, a result due to Colin de Verdière @deverdiere, and a consequence of the infinite dimensionality of the admissible metrics i.e. arbitrary metrics on $M_0$. Determining the number of eigenvalues is much trickier if we demand that $M$ is hyperbolic, as the Teichmüller space is finite dimensional. However, the perturbation setup works in the case of admissible surfaces and they appear as a technical devise in Teichmüller perturbations. We are interested in perturbations of the Laplace operator $L$ on $M$. The simplest kind of such arises from a perturbation of the Riemannian metric inside $M_0$ (compact perturbations). Let $\e\in(-\e_0, \e_0)$. Let $g(\e)$ be a real analytic family of metrics on $M$, with $g(\e)=g(0)$ on $M\setminus M_0$. The Laplacian then admits a real analytic expansion $$L(\e)=L(0)+ \e L^{(1)}+\frac{\e^2}{2}L^{(2)}+\cdots .$$ As the family of metrics agree with $g(0)$ up in the cusps, the Laplacian does not change up in the cusps and the operators $L^{(i)}$ are compactly supported operators, since $L^{(i)}f$ has support in $M_0$ for every (smooth) function $f$. We denote by $D(z,s,\e)$ any of the generalized eigenfunctions $E_{\mathfrak{a}}(z,s,\e)$ of $L(\e)$. \[eisensteinregularity\] The family $D(z, s, \e)$ is real analytic in $\e$ for $\e\in(-\e_0, \e_0)$ and meromorphic in $s\in {\C}\setminus\{1/2\}$. The $n$-th derivative in $\e$ is given by $$\label{Dnresolvent}D^{(n)}(z, s)=-R(s)\sum_{i=1}^n\binom{ n}{ i} L^{(i)} D^{(n-i)}(z, s).$$ \[Sketch of proof\] The real analyticity follows from the construction of the generalized eigenfunctions $D(z, s, \e)$ using pseudo-Laplacians and the fact that the construction can be differentiated at every step in $\e$. This is explained (for the first derivative at least) in @petridis, see also @bruggeman. The formula for $D^{(n)}(z, s)$ can be proved by differentiating $(L(\e)+s(1-s))D(z, s, \e)=0$ to get $$\sum_{i=0}^n\binom{n}{i}\left.\frac{d^i}{d\e^i}(L(\e)+s(1-s))\right|_{\e=0}D^{(n-i)}(z, s)=0.$$ Then we isolate the term $D^{(n)}(z, s)$ using $R(s)$ for $\Re (s)>1/2$. Since the operators $L^{(i)}$ are compactly supported, the resolvent is applied to a compactly supported function and the right-hand side of (\[Dnresolvent\]) can be meromorphically continued to $\C$. The identity (\[Dnresolvent\]) holds on $\C$ by the principle of analytic continuation. If we expand $E_{\mathfrak a}(z, s)$ in the cusp $Z_{\mathfrak b}$, the zero Fourier coefficient takes the form $$\delta_{\mathfrak a\mathfrak b}y_{\mathfrak b}^s+\phi_{\mathfrak a \mathfrak b}(s)y_{\mathfrak b}^{1-s}.$$ It follows from Theorem \[eisensteinregularity\], that, for $s\neq 1/2$, $\phi_{\mathfrak a\mathfrak b}(s, \e)$ is also real analytic in $\e$, since $$\phi_{\mathfrak a\mathfrak b}(s, \e)=\frac{1}{y^{1-s}_{\mathfrak b}}\left( \int_0^1 E_{\mathfrak a}(z_{\mathfrak b}, s, \e)\,dx_{\mathfrak b}-\delta_{\mathfrak a\mathfrak b}y_{\mathfrak b}^s\right).$$ The singular set $\sigma$ includes the embedded eigenvalues and resonances at the same time. The only points in the singular set $\sigma$ off the real axis are 1. $s_j$ with $s_j(1-s_j)$ an embedded eigenvalues counted with its multiplicity, and 2. resonances $s_j$ counted with multiplicity the order of the pole of the scattering determinant at $s_j$. For the points in $[0,1]\cap\sigma$, see @phillips-sarnak2. A point in the singular set is called singular. The important theorem about the singular set needed is the following theorem: <span>@phillips-sarnak2 [Corollary 5.2]</span>\[singularsetproperties\] If $s_j(0)$ is in the singular set $\sigma (0)$ for $\e=0$ and has multiplicity $1$, then it moves real analytically in $\e$ for ${\left\lvert \e \right\rvert}$ sufficiently small. If the multiplicity is greater than one, then the singular points decompose into a finite system of real analytic functions having at most algebraic singularities. In the setting of compact perturbations of admissible surfaces, Müller @mueller proved the same statement. These results use the family of cut-off wave operators $B(\e)$ and follow from standard perturbation theory, once it is proved that the resolvent $R_{B(\e)}(s)$ is real analytic for ${\left\lvert \e \right\rvert}$ sufficiently small. The technically difficult aspect of @phillips-sarnak2 is the identification of the spectrum of $B(\e)$ with the singular set $\sigma (\e)$. Dissolving conditions of higher order {#proofs} ===================================== Main statements --------------- From this section onwards we restrict ourselves, for simplicity, to the case that $M$ has one cusp, i.e. $\mathfrak{k}=1$. Let $s_j=s_j(0)$ be a singular point of multiplicity $m$. Let $\hat{s}_j(\e) $ be the weighted mean of the branches of the singular points generated by splitting $s_j(0)$ under perturbation, i.e. $$\hat{s}_j (\e)=\frac{1}{m}\sum_{l=1 }^m s_{j,l}(\e).$$ We are now ready to state and prove the more precise version of Theorem \[higher-fermi-intro\]: \[maintheorem\] Assume that for $k=0, 1, \ldots , n-1$ the functions $D^{(k)}(z, s)$ are regular at a cuspidal eigenvalue $s_j=1/2+ir_j$. Then $D^{(n)}(z, s)$ has at most a first order pole at $s_j$. 1. If $D^{(n)}(z, s)$ has a pole at $s_j$, then the embedded eigenvalue becomes a resonance. 2. Moreover, with ${\left\lVert \cdot \right\rVert}$ the standard $L^2$-norm, $$\Re {\hat{s}}_j^{(2n)}(0)=-\frac{1}{2m}\binom{2n}{n}{\left\lVert \operatorname*{res}_{s=s_j}D^{(n)}(z, s) \right\rVert}^2.$$ \[cykel\] At least one of the cusp forms with given $s_j$ becomes a resonance if and only if for some $m\in \N$ the function $D^{(m)}(z, s)$ has a pole at $s_j$. Poles of $D^{(n)}(z,s)$, and dissolving cusp forms {#heustics-dissolving} -------------------------------------------------- Before we prove Theorem \[maintheorem\], we indicate an argument that explains why a singularity of $D^{(n)}(z, s)$ at $s_j$ is connected to dissolving cusp forms. For simplicity we consider hyperbolic surfaces so that the generalized eigenfunction $D(z,s,\e)$ is an Eisenstein series. Let us assume that $D^{(k)}(z, s)$ is regular at $s_j$ for $k=1, \ldots, n-1$. Assume $u_j$ is a simple cusp form and that $u_j(\e)$ remains a cusp form with $u_j(0)=u_j$. It is known that cusp forms are perpendicular to the Eisenstein series $D(z,s,\e)$ for all $s$. This gives $$\label{easyeq}{\left \langle u_j(\e),D(z, s, \e) \right\rangle}=0.$$ Phillips and Sarnak @phillips-sarnak2 proved the real analyticity of $u_j(\e)$. We differentiate (\[easyeq\]) to get $$\sum_{k=0}^{n}\binom{n}{k}{\left \langle u_j^{(n-k)},D^{(k)}(z, s) \right\rangle}=0$$ for $s$ close to $s_j$. By the assumptions the term with $k=n$ should be a regular function at $s_j$. Under the same assumptions, using (\[Dnresolvent\]) and (\[resolventpolarstructure\]) we see that $D^{(n)}(z, s)$ has at most a first order pole at $s_j$ with residue a multiple of $u_j(0)$. By regularity of ${\left \langle u_j,D^{(n)}(z, s) \right\rangle}$ this residue has to vanish. This approach does not prove Corollary \[cykel\] but shows the sufficiency of the condition that some $D^{(n)}(z,s)$ has a pole to conclude that $s_j$ becomes a resonance. Corollary \[cykel\] shows that this is also necessary. Polar structure of the Taylor coefficients of $\phi(s, \e)$ ----------------------------------------------------------- Since the singular set is defined partly though the poles of $\phi(s)$, we now investigate the perturbation series of $\phi(s,\epsilon)$, in order to track the singular points as $\e$ varies. The functional equation for $D(z, s, \e)$ is $$\label{eq:FE}D(z, s, \e)=\phi(s, \e)D(z, 1-s, \e).$$ Since $D(z, s, \e)$ is real analytic in $\e$ the same is true for $\phi(s,\epsilon)$ and we may introduce the perturbation series of the scattering matrix $\phi(s, \e):$ $$\phi (s, \e)=\phi (s, 0)+\phi^{(1)}(s)\e+\frac{\phi^{(2)}(s)}{2!}\e^2+\cdots .$$ We differentiate (\[eq:FE\]) to identify the perturbation coefficients of $\phi (s, \e)$: $$\label{dnfunctional}D^{(n)}(z, s)=\sum_{i=0}^n\binom{n}{i} \phi^{(i)}(s)D^{(n-i)}(z, 1-s).$$ \[scatteringphin\] The perturbation coefficients of the scattering matrix are given by $$\phi^{(n)}(s)=\frac{1}{2s-1}\int_ME(z, s)\sum_{i=1}^{n}\binom{n}{i}L^{(i)}D^{(n-i)}(z, s)\, d\mu (z), \quad n\ge 1.$$ The proof is already in @risagerthesis. We include the argument here. We proceed by induction. By using first (\[Dnresolvent\]) and then (\[limit-absorption\]) we find that $$\begin{aligned} D^{(1)}&(z, s)=-R(s)L^{(1)}E(z, s)\\ &=-R(1-s)L^{(1)}E(z, s)+\frac{1}{2s-1}\int_M E(z', s)L^{(1)}E(z', s)\, d\mu (z') E(z, 1-s)\\ &=\phi(s)(-R(1-s)L^{(1)}E(z, 1-s))+\frac{1}{2s-1}\int_M E(z', s)L^{(1)}E(z', s)\, d\mu (z') E(z, 1-s)\\ &=\phi(s)D^{(1)}(z,1-s)+\frac{1}{2s-1}\int_M E(z', s)L^{(1)}E(z', s)\, d\mu (z')E(z, 1-s).\end{aligned}$$ From (\[dnfunctional\]) we know that $$D^{(1)}(z, s)=\phi^{(1)}(s)E(z, 1-s)+\phi(s) D^{(1)}(z, 1-s),$$ and since $E(z,1-s)$ does not vanish identically, we get the result for $n=1$. Assume the formula has been proved for $m<n$. Using (\[Dnresolvent\]) and (\[limit-absorption\]) we get $$\begin{aligned} {D^{(n)}(z, s)}&=&-R(1-s)\sum_{i=1}^n\binom{ n}{ i} L^{(i)} D^{(n-i)}(z, s)\\&&+\frac{1}{2s-1}\left(\int_ME(z, s)\sum_{i=1}^n\binom{ n}{ i} L^{(i)} D^{(n-i)}(z, s)\, d\mu (z) \right)E(z, 1-s)\\ &=&-R(1-s)\sum_{i=1}^n\binom{n}{ i} L^{(i)}\sum_{k=0}^{n-i}\binom{n-i}{ k}\phi^{(k)}(s)D^{(n-i-k)}(z, 1-s)+Q(z, s)\\ &=&-R(1-s)\sum_{k=0}^{n-1}\phi^{(k)}(s)\sum_{i=1}^{n-k}\binom{n}{ k}\binom{ n-k}{ i}L^{(i)}D^{(n-i-k)}(z, 1-s)+Q(z, s)\\ &=&\sum_{k=0}^{n-1}\binom{n}{ k}\phi^{(k)}(s)\left(-R(1-s)\sum_{i=1}^{n-k}\binom{ n-k }{ i}L^{(i)}D^{(n-k-i)}(z, 1-s)\right)+Q(z, s)\\ &=&\sum_{k=0}^{n-1}\binom{ n }{ k}\phi^{(k)}(s)D^{(n-k)}(z, 1-s)+Q(z, s),\end{aligned}$$ where $$Q(z, s)= \frac{1}{2s-1}\int_ME(z', s)\sum_{i=1}^{n}\binom{n}{i}L^{(i)}D^{(n-i)}(z', s)\, d\mu (z') E(z, 1-s).$$ Comparing with (\[dnfunctional\]), we get that $$\phi^{(n)}(s)=\frac{1}{2s-1}\int_ME(z, s)\sum_{i=1}^{n}\binom{n}{i}L^{(i)}D^{(n-i)}(z, s)\, d\mu (z),$$ which finishes the proof. Proposition \[scatteringphin\] allows to recover all the scattering terms in terms of the perturbed Eisenstein series. However, for $\phi^{(n)}(s)$ one uses information for $D^{(j)}(z, s)$ with $j$ up to $n$. For our purposes this is *not* good enough. The following technical yet important proposition allows to use fewer $D^{(j)}(z, s)$. \[phireduction-result\] The perturbed terms of the scattering function $\phi^{(n)}(s)$ are given for $i=1, 2, \ldots , n-1$ by $$\begin{aligned} \label{phireduction} \nonumber (2s-1)\phi^{(n)}(s)&=\binom{n}{i}{\left \langle \sum_{k=1}^{n-i}\binom{n-i}{k}L^{(k)}D^{(n-i-k)}(z, s),D^{(i)}(z, \bar s) \right\rangle}\\ & \qquad +\sum_{k=i+1}^n\binom{n}{k}{\left \langle D^{(n-k)}(z, s), \sum_{m=0}^{i-1}\binom{k}{m}L^{(k-m)}D^{(m)}(z, \bar s) \right\rangle}.\end{aligned}$$ To simplify the notation we suppress $z$ and $s$ and $\bar s$ in the inner products. It will be understood that the terms on the left of $\langle \cdot, \cdot \rangle $ should carry $s$ and the one on the right should have $\bar s$. Note that for any functions $f, g$ we have ${\left \langle R(s) f,g \right\rangle}={\left \langle f, R(\bar s) g \right\rangle}$, since $R(s)^*=R(\bar s)$. Moreover, since $L(\e)$ are self-adjoint, the same applies to $L^{(j)}$. Even if the Eisenstein series are not in $L^2$, since $L^{(j)}$ are compactly supported, we can easily justify the integration by parts in the following calculation. We have from Proposition \[scatteringphin\] and (\[Dnresolvent\]) $$\begin{aligned} (2s-1)&\phi^{(n)}(s)={\left \langle \sum_{i=1}^{n}\binom{n}{i}L^{(i)}D^{(n-i)},E \right\rangle}\\&=\binom{n}{1}{\left \langle D^{(n-1)},L^{(1)}E \right\rangle}+\sum_{i=2}^n\binom{n}{i}{\left \langle D^{(n-i)}, L^{(i)}E \right\rangle}\\ \allowdisplaybreaks &=\binom{n}{1}{\left \langle \sum_{k=1}^{n-1}\binom{n-1}{k}(-R)L^{(k)} D^{(n-1-k)},L^{(1)}E \right\rangle}+\sum_{i=2}^n\binom{n}{i}{\left \langle D^{(n-i)}, L^{(i)}E \right\rangle} \\ \allowdisplaybreaks &=\binom{n}{1}{\left \langle \sum_{k=1}^{n-1}\binom{n-1}{k}L^{(k)} D^{(n-1-k)},-RL^{(1)}E \right\rangle}+\sum_{i=2}^n\binom{n}{i}{\left \langle D^{(n-i)}, L^{(i)}E \right\rangle} \\ \allowdisplaybreaks &=\binom{n}{1}{\left \langle \sum_{k=1}^{n-1}\binom{n-1}{k}L^{(k)} D^{(n-1-k)},D^{(1)} \right\rangle}+\sum_{k=2}^n\binom{n}{k}{\left \langle D^{(n-k)}, L^{(k)}E \right\rangle}.\end{aligned}$$ This shows (\[phireduction\]) for $i=1$. Assume now that we proved it for a given $i$. We separate the terms with $k=1$ and $k=i+1$ in (\[phireduction\]) and group them together to get $$\begin{aligned} (2s-1)\phi^{(n)}(s)&=\binom{n}{i}{\left \langle \binom{n-i}{1}L^{(1)}D^{(n-i-1)},D^{(i)} \right\rangle}\\ \allowdisplaybreaks &+\binom{n}{i+1}{\left \langle D^{(n-(i+1))},\sum_{m=0}^{i-1}\binom{i+1}{m}L^{(i+1-m)}D^{(m)} \right\rangle}\\ \allowdisplaybreaks &+\binom{n}{i}{\left \langle \sum_{k=2}^{n-i}\binom{n-i}{k}L^{(k)}D^{(n-i-k)},D^{(i)} \right\rangle}\\&+ \sum_{k=i+2}^n\binom{n}{k}{\left \langle D^{(n-k)}, \sum_{m=0}^{i-1}\binom{k}{m}L^{(k-m)}D^{(m)} \right\rangle}. \end{aligned}$$ We use the obvious identity for binomial coefficients $$\binom{n}{i}\binom{n-i}{1}=\binom{n}{i+1}\cdot (i+1)$$ and bump the summation variable by $i$ in the third sum to get $$\begin{aligned} & \binom{n}{i+1}{\left \langle D^{(n-(i+1))},(i+1)L^{(1)}D^{(i)}+\sum_{m=0}^{i-1}\binom{i+1}{m}L^{(i+1-m)}D^{(m)} \right\rangle}\\ &+\sum_{k=i+2}^n\binom{n}{i}\binom{n-i}{k-i}{\left \langle L^{(k-i)}D^{(n-k)},D^{(i)} \right\rangle}+ \sum_{k=i+2}^n\binom{n}{k}{\left \langle D^{(n-k)}, \sum_{m=0}^{i-1}\binom{k}{m}L^{(k-m)}D^{(m)} \right\rangle}. \end{aligned}$$ We use $$\binom{n}{i}\binom{n-i}{k-i}=\binom{n}{k}\binom{k}{i}$$ and (\[Dnresolvent\]) to see that the expression is now $$\begin{aligned} &\binom{n}{i+1}{\left \langle \sum_{k=1}^{n-i-1}\binom{n-i-1}{k}L^{(k)}D^{(n-i-1-k)},-R\left(\sum_{m=0}^{i}\binom{i+1}{m}L^{(i+1-m)}D^{(m)}\right) \right\rangle} \\ & +\sum_{k=i+2}^n\binom{n}{k}\binom{k}{i}{\left \langle L^{(k-i)}D^{(n-k)},D^{(i)} \right\rangle}+ \sum_{k=i+2}^n\binom{n}{k}{\left \langle D^{(n-k)}, \sum_{m=0}^{i-1}\binom{k}{m}L^{(k-m)}D^{(m)} \right\rangle}.\end{aligned}$$ We use (\[Dnresolvent\]) again to get $$\begin{aligned} &\binom{n}{i+1}{\left \langle \sum_{k=1}^{n-i-1}\binom{n-i-1}{k}L^{(k)}D^{(n-i-1-k)},D^{(i+1)} \right\rangle}\\ &+\sum_{k=i+2}^n\binom{n}{k}\left(\binom{k}{i}{\left \langle L^{(k-i)}D^{(n-k)},D^{(i)} \right\rangle}+ {\left \langle D^{(n-k)}, \sum_{m=0}^{i-1}\binom{k}{m}L^{(k-m)}D^{(m)} \right\rangle}\right).\end{aligned}$$ Finally we get $$\begin{aligned} (2s-1)\phi^{(n)}(s)=& \binom{n}{i+1}{\left \langle \sum_{k=1}^{n-i-1}\binom{n-i-1}{k}L^{(k)}D^{(n-i-1-k)},D^{(i+1)} \right\rangle}\\&+ \sum_{k=i+2}^n\binom{n}{k}{\left \langle D^{(n-k)}, \sum_{m=0}^{i}\binom{k}{m}L^{(k-m)}D^{(m)} \right\rangle}.\\ \end{aligned}$$ We can now use Proposition \[phireduction\] to translate information about $D^{(i)}(z,s)$ at $s_j$ into information about $\phi^{(k)}(s)$ at $s_j$: \[orderpolephi(s)\] Assume that $D^{(q)}(z,s)$ is regular at $s_j=1/2+ir_j$ for $q=0,1, \ldots, n-1$. Then 1. \[one\] the function $\phi^{(l)}(s)$ is regular at $s_j$ for $l=0, 1,\ldots 2n-1$. 2. \[two\] the function $\phi^{(2n)}(s)$ has at most a simple pole at $s_j$. Furthermore the residue at $s_j$ is given by $$\operatorname*{res}_{s=s_j}\phi^{(2n)}(s)= -\phi(s_j)\binom{2n}{n}{\left\lVert \operatorname*{res}_{s=s_j}D^{(n)}(z,s) \right\rVert}^2.$$ We take $n=l$ for the various values of $l\leq 2n$ in Proposition \[phireduction-result\]. Assume first that $l<2n$ and let in Proposition \[phireduction-result\] the integer $i$ be the integral part of $l/2$. Then $i<n$ and $l-i-1<n$ and therefore, by the assumption on $D^{(q)}(z,s)$ for $q=0,1, \ldots, n-1$, we see immediately - using the expression on the right of (\[phireduction\]) - that $\phi^{(l)}(s)$ is regular at $s_j$. To prove the claim about $\phi^{(2n)}(s)$ we choose the integer $i$ in Proposition \[phireduction-result\] to equal $n$. By (\[phireduction\]) and the assumptions on $D^{(q)}(z,s)$ we see that $\phi^{(2n)}(s)$ has at most a simple pole at $s_j$ and that the residue is given by $$\label{good-expression} \frac{1}{2s_j-1}\binom{2n}{n}\int_M{ \sum_{k=1}^{n}\binom{n}{k}L^{(k)}D^{(n-k)}(z, s_j)}{\operatorname*{res}_{s=s_j}D^{(n)}(z, s)}d\mu(z).$$ From (\[dnfunctional\]) and the assumptions on $D^{(q)}(z,s)$ we get that $$\operatorname*{res}_{s=s_j}D^{(n)}(z,s_j)=\phi(s_j)\operatorname*{res}_{s=s_j}D^{(n)}(z,1-s).$$ Since $D^{(n)}(z,s)=\overline{D^{(n)}(z,\overline{s})}$ we have also, since $1-\overline{s_j}=s_j$, that $$\operatorname*{res}_{s=s_j}D^{(n)}(z,1-s)=-\overline{\operatorname*{res}_{s=s_j}D^{(n)}(z,s)},$$ and therefore $$\label{get-to-conjugate}\operatorname*{res}_{s=s_j}D^{(n)}(z,s)=-\phi(s_j)\overline{\operatorname*{res}_{s=s_j}D^{(n)}(z,s)}.$$ From (\[Dnresolvent\]) and (\[resolventpolarstructure\]) we see that $$\label{Dn-residue} \operatorname*{res}_{s=s_j}D^{(n)}(z,s)=\frac{1}{2s_j-1}\sum_{i=1}^m {\left \langle \sum_{k=1}^n\binom{n}{k}L^{(k)}D^{(n-k)}(z,s_j),u_{j,i} \right\rangle}u_{j,i},$$ where $\{u_{j,i}\}$ is an orthonormal basis for the eigenspace for the eigenvalue $s_j(1-s_j)$. Inserting this in (\[good-expression\]) (after first using (\[get-to-conjugate\])) we find that $\operatorname*{res}_{s=s_j}\phi^{(2n)}(s)$ is given by $$\ -\frac{\phi(s_j)}{{\left\lvert 2s_j-1 \right\rvert}^2}\binom{2n}{n}\sum_{i=1}^m{\left\lvert {\left \langle \sum_{k=1}^n\binom{n}{k}L^{(k)}D^{(n-k)}(z,s_j),u_{j,i} \right\rangle} \right\rvert}^2$$ which is easily seen to be the claimed result comparing (\[Dn-residue\]). We need one more ingredient about $\phi(s,\e)$ before proving Theorem \[maintheorem\]. Since $\phi (s, \e)=\overline{\phi (\bar s, \e)}$ we deduce that $$\label{phiprimeoverphi}\frac{\phi'(s, \e)}{\phi(s, \e)}=\overline{\left(\frac{\phi' (\bar s, \e)}{\phi (\bar s, \e)}\right)},$$ where $'$ denotes derivative in the $s$ variable, as is standard in the Selberg theory of the trace formula. This follows from the fact that for an analytic function $f$ we have $$\frac{d}{ds}\overline {f(\bar s)}=\overline{f'(\bar s)}.$$ \[Proof of Theorem \[maintheorem\]\] We want to track the movement of the embedded eigenvalue/resonance in the left half-plane. We define $\Gamma$ to be the semicircular contour $\gamma_1 (t)=ue^{it}+s_j$, $\pi/2\le t\le 3\pi/2$ followed by the vertical segment $\gamma_2 (t)=s_j+it$, $ -u\le t\le u$. Here $u$ is chosen small enough, so that the only singular point for $\e=0$ inside the ball $B(s_j, u)$ is $s_j$ with multiplicity $m=m(s_j)$. This contour is traversed counterclockwise. For small enough $\e$ the total multiplicities of the singular points $s_j(\e)$ inside $B(s_j, u)$ is $m(s_j)$. Perturbation theory allows to study the weighted mean $\hat{s}(\e)$ of the branches of eigenvalues of $B(\e)$. We have $$\label{blah}m(\hat{s} (\e)-s_j)=-\frac{1}{2\pi i}\int_{\Gamma} (s-s_j)\frac{\phi' (s, \e)}{\phi (s, \e)}\, ds+\sum_{j\in C}(s_j(\e)-s_j),$$ where $C$ is indexing the cusp forms eigenbranches inside $B(s_j, u)$, i.e. the cusp forms that remain cusp forms. Let the last sum be denoted by $p(\e)$. The reason for using $\Gamma$ and not the whole $\partial B(s_j, u)$ is that on the right half-disc $\phi (\e)$ has zeros, which we do not want to count. Notice that $\overline{\int_{\gamma}f(s)\, ds}=\int_{\bar \gamma} \bar f(\bar s)\, ds$ and, therefore, by (\[phiprimeoverphi\]) $$m(\overline{\hat{s} (\e)-s_j})=\frac{1}{2\pi i}\int_{\bar \Gamma} (s-\bar s_j)\overline{\left(\frac{\phi' (\bar s, \e)}{\phi (\bar s, \e)}\right)}\, ds+\overline{p(\e)}=\frac{1}{2\pi i}\int_{\bar \Gamma}(s-\bar s_j)\frac{\phi' (s, \e)}{\phi (s, \e)}\, ds+\overline{p(\e)}.$$ Denoting by $-\gamma$ the contour $\gamma$ traversed in the opposite direction, we get $$\begin{aligned} m(\overline{\hat{s} (\e) -s_j})&=-\frac{1}{2\pi i }\int_{-\bar \Gamma}(s-\bar s_j)\frac{\phi'(s, \e)}{\phi (s, \e)}\, ds+\overline{p(\e)}\\&=-\frac{1}{2\pi i}\int_{T^{-1}(-\bar\Gamma)}(1-w-\bar s_j)\frac{\phi'(1-w, \e)}{\phi (1-w, \e)}\, (-dw)+\overline{p(\e)},\end{aligned}$$ where $s=T(w)=1-w$ is a conformal map. By the functional equation $\phi (s, \e)\phi (1-s, \e)=1$, see (\[phifunctional\]), we get $$\phi'(s, \e)\phi (s, \e)-\phi (s, \e)\phi'(1-s, \e)=0,$$ which implies $$\frac{\phi'(s, \e)}{\phi (s, \e)}=\frac{\phi'(1-s, \e)}{\phi(1-s, \e)}.$$ We plug this into the expression for $m(\overline{\hat{s} (\e) -s_j})$ to get $$\label{blahblahblah}m(\overline{\hat{s} (\e) -s_j})=-\frac{1}{2\pi i}\int_{T^{-1}(-\bar\Gamma)}(w- s_j)\frac{\phi'(w, \e)}{\phi (w, \e)}\, dw+\overline{p(\e)}.$$ We sum (\[blah\]) and (\[blahblahblah\]) and notice that the cuspidal branch contributions cancel, because for a cuspidal branch $s_{j,l}(\e)$ the function $s_{j,l}(\e)-s_j$ is purely imaginary. We deduce that $$\begin{aligned} \label{flocke} \nonumber 2m\Re (\hat{s}(\e)-s_j)&=&-\frac{1}{2\pi i}\int_{\Gamma+T^{-1}(-\bar \Gamma)}(s-s_j)\frac{\phi'(s, \e)}{\phi(s, \e)}\, ds\\&=& -\frac{1}{2\pi i}\int_{\partial B(s_j, u)} (s-s_j)\frac{\phi'(s, \e)}{\phi(s, \e)}\, ds,\end{aligned}$$ since the contribution from the line segment on $\Re(s)=1/2$ from $\Gamma$ and $T^{-1}(-\bar \Gamma)$ cancel. By uniform convergence we can differentiate the last formula in $\e$. We get $$\begin{aligned} \label{mosedebatteri}&\left.2m\frac{d^{2n}}{d\e^{2n}}\Re (\hat{s} (\e))\right|_{\e=0}=-\frac{1}{2\pi i}\int_{\partial B(s_j, u)}(s-s_j)\frac{d^{2n}}{d\e^{2n}}\left.\left(\frac{\phi'(s, \e)}{\phi (s, \e)}\right)\right|_{\e=0}\, ds\\ \nonumber &=-\frac{1}{2\pi i}\int_{\partial B(s_j, u)}(s-s_j)\sum_{k=0}^{2n}\binom{2n}{k} \left.\frac{d^{k}\phi'(s, \e)}{d\e^{k}}\right|_{\e=0}\left.\frac{d^{2n-k}(\phi (s, \e)^{-1})}{d\e^{2n-k}}\right|_{\e=0}\, ds.\end{aligned}$$ We can interchange the order of differentiation $$\frac{d^k}{d\e^k}\phi'(s, \e)=\frac{d}{ds}\phi^{(k)}(s)$$ and see that this is regular at $s_j$ for $k<2n$ by Theorem \[orderpolephi(s)\]. On the other hand for $k=2n$ it has a double pole at $s_j$ by the same theorem. Concerning $$\frac{d^{2n-k}}{d\e^{2n-k}}\phi(s,\e)^{-1}$$ we argue as follows: We differentiate $m$ times $\phi(s,\e)^{-1}\phi(s,\e)=1$ to get $$\sum_{k=0}^m\binom{m}{k}\left.\frac{d^{k}}{d\e^{k}}\phi(s,\e)^{-1}\right|_{\e=0}\phi^{(m-k)}(s,0)=0.$$ Let $m$ be less than $2n$. By Theorem \[orderpolephi(s)\], the fact that $\phi(s)$ is unitary on $\Re(s)=1/2$, and by solving for $\left.\frac{d^{m}}{d\e^{m}}\phi(s,\e)^{-1}\right|_{\e=0}$, we see that $\left.\frac{d^{m}}{d\e^{m}}\phi(s,\e)^{-1}\right|_{\e=0}$ is regular at $s_j$. For $m=2n$ we see, by the same argument, that $\left.\frac{d^{2n}}{d\e^{2n}}\phi(s,\e)^{-1}\right|_{\e=0}$ has at most a simple pole at $s_j$. We can now determine the order of the pole of the integrand of the right-hand side in (\[mosedebatteri\]): By the above considerations we see that the only non-regular term occurs for $k=2n$. This is the term $$(s-s_j)\frac{d \phi^{(2n)}(s,0)}{ds}\phi^{-1}(s),$$ which has at most a simple pole. By the residue theorem the expression in (\[mosedebatteri\]) equals minus the residue of $$(s-s_j)\frac{d \phi^{(2n)}(s,0)}{ds}\phi^{-1}(s).$$ Since the leading term in the Laurent expansion of the derivative in $s$ of $\phi^{(2n)}(s,0)$ equals $-(\operatorname*{res}_{s=s_j}\phi^{(2n)}(s,0))/(s-s_j)^2$ we conclude that $$\begin{aligned} \left.2m\frac{d^{2n}}{d\e^{2n}}\Re (\hat{s} (\e))\right|_{\e=0}&=\frac{\operatorname*{res}_{s=s_j}\phi^{(2n)}(s,0)}{\phi(s_j,0)}\\ &=-\binom{2n}{n}{\left\lVert \operatorname*{res}_{s=s_j}D^{(n)}(z,s) \right\rVert}^2,\end{aligned}$$ where, in the last equality, we used Theorem \[orderpolephi(s)\] again. This completes the proof of the theorem. \[Proof of Corollary \[cykel\]\] The direction that a pole of some $D^{(m)}(z, s)$ at $s_j$ implies that at least one embedded eigenvalue becomes a resonance is proved as follows: If $n$ is the smallest number such that $D^{(n)}(z, s)$ has a pole at $s_j$, then from Theorem \[maintheorem\], we have that $\Re \hat{s}_j^{(2n)}\ne 0$, while $\Re \hat{s}_j^{(2m)}=0$ for $m<n$. If $k$ is the smallest integer with $\Re\hat{s}_j^{(k)}\ne 0$, then $k=2n$, since an odd leading term in the Taylor series of $\Re \hat{s}_j(\e)$ will force $\Re\hat{s}_j(\e)$ to take values larger and smaller than $1/2$. This is impossible, since a singular point cannot move to the right half-plane. Therefore $\hat {s}_j(\e)$ does not have real part equal to $1/2$ for all small $\e$ and one of the cuspidal eigenvalues has to dissolve. The opposite direction is obvious: If all embedded eigenvalues remain embedded eigenvalues, then $\Re \hat{s}_j(\e)=1/2.$ This implies that $\Re \hat{s}_j^{(2n)}=0$ for all $n\in \N$. Character varieties =================== Higher order dissolving for character varieties {#sec:dissolving-character-case} ----------------------------------------------- We now describe how the above theory can be modified for the twisted spectral problem related to character varieties. Let $\G$ be a discrete cofinite subgroup of $\psl$ with quotient $M=\GmodH$, where $\H$ is the upper half-plane. For simplicity, we still assume that $\Gamma$ has precisely one cusp, which we assume ryankent@example.org. Let $f(z)\in S_2(\Gamma)$ be a holomorphic cusp form of weight $2$. Then $\omega=\Re (f(z)\, dz) $ and $\omega=\Im (f(z)\, dz)$ are harmonic cuspidal 1-forms. Let $\alpha $ be a compactly supported $1$-form in the same cohomology class as one of them. For the exact construction see e.g. @petridis-risager [Prop. 2.1]. We fix $z_0\in\H$. Define a family of characters $$\begin{array}{lccc}\chi(\cdot,\e):&\Gamma&\rightarrow& S^1\\ &\g&\mapsto &\exp(-2\pi i\e\int_{z_0}^{\gamma z_0}\alpha). \end{array}$$ We consider the space $$\L(\GmodH,\overline \chi(\cdot,\epsilon))$$ of $(\G,\overline \chi(\cdot,\epsilon))$-automorphic functions, i.e. functions $f:\H\to\C$ where $$f(\g z)=\overline{\chi}(\g,\e)f(z),$$ and $$\int_{\GmodH}{\left\lvert f(z) \right\rvert}^2d\mu(z)<\infty.$$ The automorphic Laplacian $\tilde L(\e)$ is the closure of the operator acting on smooth functions in $\L(\GmodH,\overline \chi(\cdot,\epsilon))$ by $\Delta f$. We denote its resolvent by $\tilde R(s,\e)=(\tilde L(\e)+s(1-s))^{-1}$. We introduce unitary operators $$\begin{array}{rccc} U(\e):&\L(\GmodH)&\to& \L(\GmodH,\overline \chi(\cdot,\epsilon))\\ &f&\mapsto&\exp\left(2\pi i\e\int_{z_0}^z\alpha\right)f(z). \end{array}$$ We then define $$\begin{aligned} \label{twisted-laplacian-1v}L(\e)&=&U^{-1}(\e)\tilde L(\e)U(\e)\\ R(s,\e)&=&U^{-1}(\e)\tilde R(s,\e)U(\e). \end{aligned}$$ The operators $L(\e)$ on $\L(\GmodH)$ and $\tilde L(\e)$ on $ \L(\GmodH,\overline \chi(\cdot,\epsilon))$ are unitarily equivalent. Notice that $L(\e)$ and $R(s,\e)$ act on the fixed space $\L(\GmodH)$, which allows to apply perturbation theory. It is easy to verify that $$\begin{aligned} \label{muffinstogo}L(\e)h=\Delta h +4\pi i\e{\left \langle dh,\alpha \right\rangle}&-2\pi i\e\delta(\alpha)h-4\pi^2\e^ 2{\left \langle \a,\a \right\rangle}\\ \label{coffeetogo}(L(\e)+s(1-s))R(s,\e)=&R(s,\e)(L(\e)+s(1-s))=I.\end{aligned}$$ Here $$\begin{aligned} {\left \langle f_1dz+f_2d\overline z,g_1dz+g_2d\overline z \right\rangle}&=&2y^ 2(f_1\overline{g_1}+f_2\overline{g_2})\\ \delta(pdx+qdy)&=&-y^2(p_x+q_y).\end{aligned}$$ We notice also that $$\begin{aligned} \label{firstLvariation} L^{(1)}(\e)h&=4\pi i{\left \langle dh,\a \right\rangle}-2\pi i\delta (\alpha)h-8\pi^2 \e{\left \langle \a,\a \right\rangle},\\ \allowdisplaybreaks L^{(2)}(\e)h&=-8\pi^2 {\left \langle \a,\a \right\rangle},\\\allowdisplaybreaks L^{(i)}(\e)h&=0,\quad\textrm{ when }i\geq 3.\end{aligned}$$ We notice that $L^{(i)}$ are compactly supported operators and that $\delta(\omega)=0$ for a harmonic form $\omega$. We let $E(z,s,\epsilon)$ be the usual Eisenstein series for the system $(\Gamma,\overline{\chi}(\cdot,\e))$ and define the $\Gamma$-invariant function $$D(z,s,\e)=U^{-1}(\e)E(z,s,\e).$$ The Phillips–Sarnak condition for dissolving cusp forms in this setting is: $${\left \langle L^{(1)} u_j,E(z, s_j) \right\rangle}\ne 0.$$ The family of operators $L(\e)$ do not arise from an admissible metric, but all the properties described in Section \[introductorymaterial\] are well-known, and the proof of the dissolving theorem carries over almost verbatim, so in this case the higher order analogue of Fermi's golden rule also holds: \[maintheorem-for-characters\] Assume that for $k=0, 1, \ldots , n-1$ the functions $D^{(k)}(z, s)$ are regular close to a cuspidal eigenvalue $s_j=1/2+ir_j$. Then $D^{(n)}(z, s)$ has at most a first order pole at $s_j$. 1. If $D^{(n)}(z, s)$ has a pole at $s_j$, then the embedded eigenvalue becomes a resonance. 2. Moreover, with ${\left\lVert \cdot \right\rVert}$ the standard $L^2$-norm, $$\Re {\hat{s}}_j^{(2n)}(0)=-\frac{1}{2m}\binom{2n}{n}{\left\lVert \operatorname*{res}_{s=s_j}D^{(n)}(z, s) \right\rVert}^2.$$ Multiparameter perturbations {#multivariate} ---------------------------- To analyze the higher order dissolving conditions and relate it to a Dirichlet series it is useful to work with families of characters depending on several parameters. To do this we introduce the following notation. Given $\alpha_l$, $l=1, \ldots, k$ harmonic, compactly supported 1-forms on $M$, we let ${\underline{\alpha}}=(\alpha_1,\ldots,\alpha_k)$, ${\underline{\e}}=(\e_1, \ldots, \e_k)$ and define $$\label{d-alphaseries} D(z, s, \underline \alpha)=\sum_{\gamma\in \GinfmodG}\prod_{l=1}^k \left(\int_{i\infty}^{\gamma z}\alpha_l\right) \Im (\gamma z)^s.$$ Such series have been studied in @petridis-risager [Lemma 2.4], and we give a quick review of some of their properties: Let $$\label{karakter}\chi(\gamma,\underline \e)=\prod_{l=1}^k{\exp\left(-2\pi i\e_l\int_{z_0}^{\gamma z_0}\alpha_l\right)}.$$ be the multiparameter character induced from $\underline\alpha$. We know from the theory of Eisenstein series (See e.g. @selberg [@hejhal; @iwaniec]) that $$E(z,s,\underline \e)=\sum_{\gamma\in \GinfmodG}\chi(\gamma,\underline\e)\Im (\gamma z)^s,\quad \Re(s)>1.$$ admits meromorphic continuation to $\C$ and that it satisfies a functional equation $$\label{functional-equation-E}E(z,s,\underline \e)=\phi(s,\underline \e)E(z,1-s,\underline\e).$$ If we let $$U(\underline \e)f=\prod_{l=1}^k\exp\left(2\pi i\e_l\int_{z_0}^z\alpha_l\right)f(z)$$ we see that when $\Re(s)>1$ $$\label{original-petridis-obs}D(z, s, \underline{\alpha})=\left.\frac{\partial^k}{\partial \e_1\cdots\partial\e_k}U(-\underline \e)E(z,s,\underline \e)\right\vert _{\underline \e=\underline 0}.$$ We have – analogous to the 1-parameter situation described in the beginning of this section – that if $L(\underline\e)=U^{-1}(\underline \e)\tilde L(\underline \e)U(\underline \e)$ then $$\begin{array}{rcl} L(\underline \e)h&=&\Delta h+4\pi i \sum_{l=1}^{k}\epsilon_l\langle dh, \alpha_k\rangle-2\pi i \left(\sum_{l=1}^{k}\e_l \delta(\alpha_k)\right) h \\ &&-4\pi ^2 \left(\sum_{l,m=1}^{k}\e_l\e_m\langle \alpha_l,\alpha_m\rangle\right)h.\end{array}$$ Using this we arrive at the following theorem: \[summary-D's\] The function $D(z,s,\underline\alpha)$ admits meromorphic continuation to $\C$. Furthermore it satisfies the following: 1. \[itscold\] The poles of $D(z,s,\underline\alpha)$ are included in the singular set for the surface $M$, and the pole order at a singular point is at most $k$. 2. \[recursion\] For $\Re(s)>1/2$, and $s$ not in the singular set, the function $D(z,s,\underline\alpha)$ is square integrable and satisfies $$D(z,s,\underline\alpha)=-R(s)\left(\sum_{l=1}^k\left.\partial_{\e_l}L(\underline \e)\right\vert_{\underline\e=\underline 0}D(z,s,\underline\alpha_l)+\sum_{1\leq m<l\leq k}\left.\partial_{\e_l,\e_m}L(\underline \e)\right\vert_{\underline\e=\underline 0}D(z,s,\underline\alpha_{l,m})\right),$$ where $\underline\alpha_l$ is $\underline\alpha$ with the $l$-th component removed. This equation provides the analytic continuation of $D(z,s,\underline\alpha)$ using the meromorphic continuation of the Green's function. The analytically continued function grows at most polynomially as $z$ tends to a cusp. 3. \[itsstillcold\]For $1/2<\sigma_0< \Re(s)<\sigma_1$, and $s$ not in the singular set, the function $D(z,s,\underline \alpha)$ grows at most polynomially as ${\left\lvert \Im(s) \right\rvert}\to\infty$, and $z$ is in a compact set. 4. \[functional-equation\] The function $D(z,s,\underline\alpha)$ satisfies a functional equation. This is derived by multiplying (\[functional-equation-E\]) by $U(-\underline \e)$ and differentiating both sides, using (\[original-petridis-obs\]). \[Proof:\] (\[itscold\]), (\[recursion\]) and(\[itsstillcold\]) can be found in @petridis-risager, and (\[functional-equation\]) follows from differentiation (\[functional-equation-E\]). See also @risagerthesis. \[multivariate-functional-eq\] An example of the functional equation in Theorem \[summary-D's\] (\[functional-equation\]) is $$\begin{aligned} D(z,s,\alpha_1,\alpha_2)&=\phi(s,\underline 0)D(z,1-s,\alpha_1,\alpha_2)\\ &\quad +\left.\partial_{\e_1}\phi(s,\underline\e)\right\vert_{\underline \e=\underline 0}D(z,1-s,\alpha_2)+\left.\partial_{\e_2}\phi(s,\underline \e)\right\vert_{\underline \e=\underline 0}D(z,1-s,\alpha_1)\\ &\quad +\left.\partial_{\e_2,\e_1}\phi(s,\underline \e)\right\vert_{\underline \e=\underline 0}E(z,1-s).\end{aligned}$$ We notice that, although Theorem \[summary-D's\] concerns $D(z,s,\underline \alpha)$, where $\alpha=(\alpha_1,\ldots,\alpha_l)$ with $\alpha_l$ compactly supported, we can also handle non-compact but cuspidal cohomology in the following way: Since Theorem \[summary-D's\] immediately gives –through (\[original-petridis-obs\]) – the properties of $\left.\frac{\partial^k}{\partial \e_1\cdots\partial\e_k}E(z,s,\underline \e)\right\vert_{\underline \e=\underline 0}$, which is invariant under shift of $\alpha_l$ within its cohomology class. Since for every $f(z)\in S_{2}(\Gamma)$ the harmonic 1-form $\Re(f(z)dz)$ has a compactly supported form in its cohomology class, we see that Theorem \[summary-D's\] provides the analytic properties of the series $$\label{d-n-mseries} D^{n_1,\ldots , n_k}(z, s, \omega_1, \ldots , \omega_k)=\sum_{\gamma\in \GinfmodG}\prod_{l=1}^k \left(\int_{i\infty}^{\gamma z}\omega_l\right)^{n_l} \Im (\gamma z)^s,$$ where $\omega_i$, $i=1, \ldots, k$, are complex or real harmonic cuspidal 1-forms. We note also that the differentiated scattering matrices $$\left.\partial_{\e_k,\ldots,\e_1}\phi(s,\underline \e)\right\vert_{\underline \e=\underline 0}$$ are invariant under shift of $\alpha_l$ within its cohomology class. We shall freely use these connections below. \[odd-implies-zero\]It is well known (see e.g. @hejhal [page 218, Remark 61]) that in the one-cusp case the scattering matrix is *even* in the character (i.e. $\phi(s,\chi)=\phi(s,\overline{\chi})$). It follows that $$\left.\partial_{\e_k,\ldots,\e_1}\phi(s,\underline \e)\right\vert_{\underline \e=\underline 0}=0$$ whenever $k$ is odd. Dissolving and special values of Dirichlet series ------------------------------------------------- By Theorem \[maintheorem-for-characters\] the Phillips-Sarnak condition for the perturbation induced by $\omega$ is equivalent to$$\operatorname*{res}_{s=s_j}D^1(z, s, \omega)\ne 0.$$ The following lemma identifies situations where the Phillip-Sarnak condition is not satisfied. This is seen as follows: \[poweron\] Let $M$ be a finite volume hyperbolic surface of genus $g$. Let $\lambda$ be an eigenvalue $>1/4$ of multiplicity $m$. If $g>2m$, there exists a holomorphic cusp form $f(z)$ of weight $2$ such that for both perturbations induced by the harmonic 1-forms $\omega_1=\Re (f(z)\, dz)$ and $\omega_2 =\Im (f(z)\, dz)$ as in (\[muffinstogo\]) the Phillips–Sarnak condition for dissolving the eigenvalue $\lambda$ is *not* satisfied, i.e. $$\label{2phillips-sarnak} \operatorname*{res}_{s=s_j}D^1(z, s, \omega_i)=0, \quad i=1, 2.$$ Note that the condition (\[2phillips-sarnak\]) implies that $\operatorname*{res}_{s=s_j}D^1(z, s, \omega)=0$ for all $\omega$ in the linear complex span of $\omega_1$, $\omega_2$, in particular for $f(z)dz$. We have $M=\GmodH$ for some discrete cofinite subgroup $\G$. Let $(u_l)_{l=1}^m$ be a basis for the eigenspace corresponding to the eigenvalue $\lambda$. Consider the linear real map $\Lambda:S_2(\Gamma)\to \R^{4m}$ sending $f\in S_2(\Gamma)$ to $$\left(\Re{\left \langle \operatorname*{res}_{s=s_j}D^{(1)}(z,s,\w_i),u_l \right\rangle},\Im {\left \langle \operatorname*{res}_{s=s_j}D^{(1)}(z,s,\w_i),u_l \right\rangle}\right)_{\substack{i=1,2\\l=1,\ldots m}},$$ which is well-defined by Theorem \[summary-D's\] (\[recursion\]). Since $\dim_\R S_2(\Gamma)=2g$, the dimension formula implies that $\Lambda$ has non-trivial kernel when $2g-4m>0$ which gives the required result. There are numerically many known examples of surfaces of genus $g>2$ that has simple eigenvalues. For these Theorem \[poweron\] can be applied. Moreover the proof of the lemma shows that the real dimension of the relevant $f$'s is at least $2g-4m$. Note however that the kernel of $\Lambda$ is in fact a complex space since $\omega_1(if)=-\omega_2(f)$ and $\omega_2(if)=\omega_1(f)$. Hence this space must have complex dimension at least $g-2m$ We now introduce a Dirichlet series that plays a major role in investigating movement of an embedded eigenvalue if the Phillips-Sarnak condition is not satisfied. Let $f(z)=\sum_{n=1}^{\infty}a_ne^{2\pi i nz}$ be the Fourier expansion of $f(z)$ at the cusp $i\infty$. Let $$u_j(z)=\sum_{n\ne 0}b_n \sqrt{y}K_{s_j-1/2}(2\pi {\left\lvert n \right\rvert} y)e^{2\pi i nx}$$ be the Fourier expansion of $u_j$, which for simplicity we may assume to be real-valued. We introduce the antiderivative of $f(z)$ as $$F(z)=\int_{i\infty}^zf(w)\, dw=\sum_{n=1}^{\infty}\frac{a_n}{2\pi i n}e^{2\pi i nz}.$$ We define the Dirichlet series $$\label{Dirichlet series} L(u_j\otimes F^2, s)=\sum_{n=1}^{\infty} \left( \sum_{k_1+k_2=n}\frac{a_{k_1}}{k_1}\frac{a_{k_2}}{k_2} b_{-n} \right)\frac{1 }{n^{s-1/2}}.$$ Since $a_n, b_n$ grow at most polynomially in $n$ we easily see that the above series converges absolutely for $\Re(s)$ sufficiently large. By unfolding and inserting the relevant Fourier expansions we have, for $\Re(s)$ sufficiently large, $$\label{eq:unfolding-series} \begin{split}&{\left \langle D^2(z,s,f(z)dz),u_j \right\rangle}=\int_0^\infty\int_0^1\left(\int_{i\infty}^z f(w)dw\right)^2y^s u_j(z)dx\frac{dy}{y^2}\\ &\qquad =\int_0^\infty\int_0^1\left(\sum_{n=1}^\infty \frac{a_n}{2\pi i n}e(nz)\right)^2y^s\sum_{n\ne 0}b_n \sqrt{y}K_{s_j-1/2}(2\pi {\left\lvert n \right\rvert} y)e(nx) dx\frac{dy}{y^2}\\ &\qquad =\frac{-1}{4\pi^2}\sum_{n=1}^\infty\int_0^\infty \left(\sum_{k_1+k_2=n}\frac{a_{k_1}}{k_1}\frac{a_{k_2}}{k_2}\right) b_{-n} e^{-2\pi n y}y^{s-1/2}K_{s_j-1/2}(2\pi n y)\frac{dy}{y}\\ &\qquad =\frac{-1}{4\pi^2}\sum_{n=1}^\infty\left(\sum_{k_1+k_2=n}\frac{a_{k_1}}{k_1}\frac{a_{k_2}}{k_2}\right) b_{-n}\frac{1}{(2\pi n )^{s-1/2}}\int_0^\infty e^{-t}t^{s-1/2}K_{s_j-1/2}(t)\frac{dt}{t}\\ &\qquad =\frac{- 1}{2^{2s+1}\pi^{s+1}}L(u_j\otimes F^2, s)\frac{\Gamma(s+s_j-1)\Gamma(s-s_j)}{\Gamma(s)}, \end{split}$$ where we have used @gradshtejn-ryzhik [6.621 3]. Using this we can now prove the basic properties of $L(u_j\otimes F^2, s)$. \[prop:the-specific-L-f\]The series $L(u_j\otimes F^2,s)$ admits meromorphic continuation to $s\in \mathbb C$ with possible poles on the singular set. The poles are at most of first order. Furthermore we have the following functional equation: Let $$\Lambda(u_j\otimes F^2,s)=\frac{1}{(4\pi)^s}\frac{\Gamma(s+s_j-1)\Gamma(s-s_j)}{\Gamma(s)}L(u_j\otimes F^2,s).$$ Then $$\Lambda(u_j\otimes F^2,s)=\phi(s)\Lambda(u_j\otimes F^2,1-s)$$ where $\phi(s)$ is the scattering matrix. This follows from (\[eq:unfolding-series\]) and the properties of $D^2(z,s,f(z)dz)$ as recorded in Theorem \[summary-D's\]: Since the left hand side of (\[eq:unfolding-series\]) is meromorphic for $s\in \C$ this immediately gives meromorphic continuation of $L(u_j\otimes F^2,s)$ to $s\in \C$. Since $$D^{2}(z,s,f(z)dz)=D^{2}(z,s,\omega_1)-D^{2}(z,s,\omega_2)+2iD^{1,1}(z,s,\omega_1,\omega_2),$$ we have by Theorem \[summary-D's\] that $D^{2}(z,s,f(z)dz)=-R(s)(\psi(z,s))$ where $\psi(z,s)$ has at most a simple pole on the singular set. But then $${\left \langle D^2(z,s,f(z)dz),u_j \right\rangle}={\left \langle \psi(z,s),R(\overline{s})u_j \right\rangle}=\frac{1}{s(1-s)-\lambda_j}{\left \langle \psi(z,s),u_j \right\rangle}$$ which then holds for $s\in \C$ by meromorphic continuation. Comparing with (\[eq:unfolding-series\]) and noticing that $\Gamma(s-s_j)$ has a simple pole at $s=s_j$ we prove that the poles of $L(u_j\otimes F^2,s)$ are all at most simple. The functional equation in Theorem \[summary-D's\] (\[functional-equation\]), reduces, in this case, to $$D^{2}(z,s,f(z)dz)=\phi(s)D^{2}(z,1-s,f(z)dz)+\phi^{(2)}(s,f(z)dz)E(z,1-s).$$ The fact that ${\left \langle E(z,s),u_j \right\rangle}=0$ and Equation (\[eq:unfolding-series\]) give $$\begin{gathered} \begin{split}\frac{1}{4^{s}\pi^{s}}&L(u_j\otimes F^2, s)\frac{\Gamma(s+s_j-1)\Gamma(s-s_j)}{\Gamma(s)}\\ &=\phi(s)[\textrm{same expression evaluated at $1-s$}].\\ \end{split}\end{gathered}$$ We note that in the case of multiple cusps the above functional equation becomes more complicated since in general $\phi^{(1)}(s,f(z)dz)$ can be a non-zero matrix (with diagonal entries equal to zero). Assume (\[2phillips-sarnak\]), i.e. that the Phillips-Sarnak condition is not satisfied for the perturbations induced by both $\omega_i$, $i=1, 2$. Then $L(u_j\otimes F^2,s)$ is regular at $s=s_j$. As in the proof of Proposition \[prop:the-specific-L-f\] we have that $D^{2}(z,s,f(z)dz)=-R(s)(\psi(z,s))$ where $\psi(z,s)$ has at most a simple pole at $s_j$. But assuming (\[2phillips-sarnak\]), it follows easily from Theorem \[summary-D's\] (\[recursion\]), that $\psi(z,s)$ is in fact regular since the only potential poles would come from $D^1(z,s,\w_i)$. Therefore, as in the proof of Proposition \[prop:the-specific-L-f\], we conclude that ${\left \langle D^2(z,s,f(z)dz),u_j \right\rangle}$ has at most a simple pole at $s_j$. Comparing with (\[eq:unfolding-series\]) and again using that $\Gamma(s-s_j)$ has a simple pole at $s=s_j$ gives the claim. \[dirichlet-series-condition\] Assume (\[2phillips-sarnak\]), i.e. that the Phillips-Sarnak condition is not satisfied under perturbations induced by both $\omega_i$, $i=1, 2$, and that $L(u_j\otimes F^2, s_j)\ne 0$. For all directions $\w$ in the real span of $\w_1,\w_2$ with at most two exceptions we have $$\Re\hat{s}_j^{(4)}(0, \w)\ne 0.$$ In particular there exists a cusp form with eigenvalue $s_j(1-s_j)$ that is dissolved in this direction. The Phillips-Sarnak condition will not be satisfied in the whole span of $\w_1$, $\w_2$. Assume that $\Re\hat{s}_j^{(4)}(0, \w)= 0$ for three distinct directions given by $\eta_k=a_k\w_1+b_k\w_2$, $k=1,2,3$, i.e. $(a_kb_l-a_lb_k)\neq 0$ for $k\neq l$. We have $$D^2(z,s,\eta_k)=a_k^2 D^2(z,s,\w_1)+b_k^2D^2(z,s,\w_2)+2a_kb_kD^{1,1}(z,s,\w_1,\w_2) .$$ We can solve for $D^2(z,s,\w_1)$, $D^2(z,s,\w_2)$, and $D^{1,1}(z,s,\w_1,\w_2) $ as long as the following determinant is nonzero: $${\left\lvert \begin{array}{ccc}a_1^2&b_1^2& 2a_1b_1\\ a_2^2&b_2^2& 2a_2b_2\\ a_3^2&b_3^2& 2a_3b_3 \end{array} \right\rvert}=-2a_1^2a_2^2a^2_3{\left\lvert \begin{array}{ccc}1&b_1/a_1& (b_1/a_1)^2\\ 1&b_2/a_2& (b_2/a_2)^2\\ 1&b_3/a_3& (b_3/a_3)^2\\ \end{array} \right\rvert} =2\prod_{k>l}(a_kb_l-a_lb_k)\neq 0,$$ where we have used the fact that the last matrix is Vandermonde. Since $\Re\hat{s}_j^{(4)}(0, \eta_k)= 0$, it follows from Theorem \[maintheorem\] that $D^2(z,s,\eta_k)$ is regular at $s_j$, and by solving the above system that $D^2(z,s,\w_1)$, $D^2(z,s,\w_2)$, and $D^{1,1}(z,s,\w_1,\w_2)$ are regular. This implies that $$D^{2}(z,s,f(z)dz)=D^{2}(z,s,\omega_1)-D^{2}(z,s,\omega_2)+2iD^{1,1}(z,s,\omega_1,\omega_2)$$ is regular also at $s=s_j$. By (\[eq:unfolding-series\]) it follows that $L(u_j\otimes F^2, s)$ must have a zero at $s_j$, since the Gamma factor $\Gamma(s-s_j)$ has a pole at that point. This contradicts the assumption of the theorem. We note that the Dirichlet series $$D(s)=\sum_{n=1}^\infty \sum_{j=1}^{n-1}\frac{a_{n-j}a_j}{j}\frac{1}{n^s}=\frac{1}{2}\sum_{n=1}^\infty \sum_{j=1}^{n-1}\frac{a_{n-j}a_j}{(n-j)j}\frac{1}{n^{s-1}}$$ was recently studied by Diamantis, Knopp, Mason, O'Sullivan and Deitmar @deitmardiamantis [@diamantisknoppmasonosullivan]. The series $L(u_j\otimes F^2, s)$ (See \[Dirichlet series\]) has the structure of a Rankin-Selberg convolution between $D(s)$ and the $L$-function for $u_j$. The special value in Theorem \[dirichlet-series-condition\] is on the critical line and at the same height as the trivial zeros of $L(u_j\otimes F^2, s)$. It is of interest to study the non-vanishing of these special values theoretically and/or numerically. There is a generalization of Theorem \[dirichlet-series-condition\] which we describe briefly: Define $$\label{dirichlet-series-generalized} L(u_j\otimes F^l, s)=\sum_{n=1}^{\infty} \left( \sum_{k_1+\cdots+k_l=n}\frac{a_{k_1}}{k_1}\cdots\frac{a_{k_l}}{k_l} b_{-n} \right)\frac{1 }{n^{s-1/2}}.$$ By essentially the same computation as in (\[eq:unfolding-series\]) we have $$\label{choir} {\left \langle D^n(z,s,f(z)dz),u_j \right\rangle}=\frac{- 1}{2^{2s+1}\pi^{s+1}}L(u_j\otimes F^n, s)\frac{\Gamma(s+s_j-1)\Gamma(s-s_j)}{\Gamma(s)}.$$ Notice that this computation also proves the meromorphic continuation of $L(u_j\otimes F^n, s)$ to $s\in \C$, and that at $s_j$ the function $L(u_j\otimes F^n, s)$ has a pole of order at most $n-1$. Assume that $L(u_j\otimes F^n, s)$ does not have a zero at $s_j$. For all directions $\w$ in the real span of $\w_1$, $\w_2$ with at most $n$ exceptions we have $$\Re \hat{s}_j^{(2r)}(0, \omega)\ne 0,$$ for some $r\leq n$. In particular there exists a cusp form with eigenvalue $s_j(1-s_j)$ that is dissolved in this direction. Assume that $\Re\hat{s}_j^{(2r)}(0, \eta_k)= 0$, $r=1,\ldots, n$ for $n+1$ distinct directions given by $\eta_k=a_k\w_1+b_k\w_2$, $k=0,\ldots n$, i.e. $(a_kb_l-a_lb_k)\neq 0$ for $k\neq l$. We have $$D^n(z,s,\eta_k)=\sum_{l=0}^n\binom{n}{l}a_k^lb_k^{n-l}D^{l,{n-l}}(z,s,\w_1,\w_2)$$ We can solve for all $D^{l,{n-l}}(z,s,\w_1,\w_2)$ as long as the following determinant is nonzero: $$\begin{aligned} {\left\lvert \binom{n}{l}a_k^{n-l}b_k^l \right\rvert}_{k,l=0}^n&=\left(\prod_{l=0}^n\binom{n}{l}\right){\left\lvert a_k^{n-l}b_k^l \right\rvert}_{k,l=0}^n=\left(\prod_{l=0}^n\binom{n}{l}a_l^n\right){\left\lvert (b_k/a_k)^l \right\rvert}_{k,l=0}^n\\ &=\left(\prod_{l=0}^n\binom{n}{l}\right)\prod_{k<l}(a_kb_l-a_lb_k)\neq 0,\end{aligned}$$ where again we have used the fact that the last matrix is Vandermonde. It follows that all $D^{n-{l},l}(z,s)$ are linear combinations of $D^{n}(z,s,\eta_k)$, $k=0,\ldots n.$ Since $$\Re \hat{s}_j^{(2r)}(0, \eta_k)= 0,$$ Theorem \[maintheorem-for-characters\] allows us to conclude that $D^{n}(z,s,\eta_k)$ is regular at $s_j$, and therefore also that $D^{n-{l},l}(z,s)$ is regular at $s_j$. Since $$D^n(z,s,f(z)dz)=\sum_{j=0}^n\binom{n}{j}i^{n-j}D^{j,n-j}(z,s,\w_1,\w_2)$$ it follows also that $ D^n(z,s,f(z)dz)$ is regular at $s_0$. Therefore the left of (\[choir\]) is regular. It follows that the right-hand side of (\[choir\]) is regular, which proves – since $\Gamma(s-s_j)$ has a pole at $s_j$ – that $L(u_j\otimes F^n, s)$ has a zero at $s_j$. But this contradicts the assumption of the theorem. Are Maa<span>ß</span> cusp forms isolated in deformation space? {#subvarieties-section} =============================================================== In this section we investigate the question of whether cuspidal eigenvalues are isolated in deformation spaces. As before, we assume that $M$ has one cusp only. Let $\omega_1,\ldots, \omega_{2g}$ be a basis for the space $\hbox{Harm}_\R^1(M)$ of real harmonic cuspidal 1-forms on $M$ , and let $\alpha_i$ be compact differentials in the same cohomology classes. We consider the corresponding multiparameter perturbations as in section \[multivariate\]. Since we know that $\Re(s_j(\underline{\e}))$ has a maximum at $\underline{\e}=\underline{0}$, we know that its Hessian must be negative semi-definite. If the Hessian were negative definite, the maximum would be strict, i.e. the cuspidal eigenvalue would be isolated. We show below that in most cases the Hessian is not strictly negative definite, so we do not know apriori that the eigenvalue should be isolated. We start by finding an expression for the Hessian: \[general-hessian\]Let $s_j=s_j(0)\neq 1/2$ be an embedded eigenvalue of multiplicity $m$. Then the Hessian matrix $H=(h_{kl})_{k, l=1, \ldots, 2g}$ of $\hat s_j(\underline{\e})$ at $\underline{\e}=\underline{0}$ is given by $$h_{kl}=-\frac{1}{m}\Re{\left \langle \operatorname*{res}_{s=s_j}D(z,s,\alpha_k),\operatorname*{res}_{s=s_j}D(z,s,\alpha_l) \right\rangle}.$$ The diagonal terms $h_{kk}$ have already been computed in Theorem \[maintheorem-for-characters\] (2), and the off-diagonal terms can be found similarly: we note that by (\[Dn-residue\]) we have $$\label{Dn-residue-special}\operatorname*{res}_{s=s_j}D(z,s,\alpha_k)=\frac{1}{2s_j-1}\sum_{i=1}^m{\left \langle \partial_{\e_k}L(\underline{\e})\vert_{\underline\e=\underline 0} E(z,s),u_{j,i} \right\rangle}u_{j,i}.$$ We repeat Eq. (\[flocke\]) $$\label{williteverend}2m\Re (\hat{s}(\underline{\e})-s_j)=-\frac{1}{2\pi i}\int_{\partial B(s_j,u)}(s-s_j)\frac{\phi'(s, \underline\e)}{\phi(s, \underline\e)}\, ds.$$ An analysis similar to the one in the proof of Theorem \[maintheorem\] gives $$\label{lookatthis}\partial_{\e_k,\e_l}2m\Re (\hat{s}(\underline{\e})-s_j)\vert_{\underline{\e}=\underline{0}}=\frac{\operatorname*{res}_{s=s_j}\partial_{\e_k,\e_l} \phi(s,\underline{\e})\vert_{\underline\e=\underline 0}}{\phi(s_j,0)}.$$ To compute $\operatorname*{res}_{s=s_j}\partial_{\e_k,\e_l} \phi(s,\underline{\e})\vert_{\underline\e=\underline 0}$ we use Remark \[multivariate-functional-eq\] and the same technique as in the proof of Proposition \[scatteringphin\]. and find that $(2s-1)\partial_{\e_k,\e_l}\phi(s,\underline{\e})\vert_{\underline\e=\underline 0}$ equals $$\int_{M}E(z,s)\left(\partial_{\e_l} L(\underline{\e})\vert_{\underline\e=\underline 0} D(z,s,\alpha_k)+\partial_{\e_k} L(\underline{\e})\vert_{\underline\e=\underline 0} D(z,s,\alpha_l)+ \partial_{\e_k,\e_l} L(\underline{\e})\vert_{\underline\e=\underline 0} D(z,s) \right)d\mu(z).$$ We note that the term involving $\partial_{\e_k,\e_l} L(\underline{\e})\vert_{\underline\e=\underline 0} D(z,s)$ is regular so it does not contribute to the residue in (\[lookatthis\]). The rest equals $$\int_{M}D(z,s,\alpha_l)\partial_{\e_k}L(\underline{\e})\vert_{\underline\e=\underline 0} E(z,s) + D(z,s,\alpha_k)\partial_{\e_l}L(\underline{\e})\vert_{\underline\e=\underline 0} E(z,s) d\mu(z).$$ Taking residues and using (\[get-to-conjugate\]) we find that $\operatorname*{res}_{s=s_j}\partial_{\e_k,\e_l} \phi(s,\underline{\e})\vert_{\underline\e=\underline 0}$ equals $$\frac{-\phi(s_j)}{2s_j-1} \left({\left \langle \partial_{\e_k}L(\underline{\e})\vert_{\underline\e=\underline 0} E(z,s),\operatorname*{res}_{s=s_j}D(z,s,\alpha_l) \right\rangle} + {\left \langle \partial_{\e_l}L(\underline{\e})\vert_{\underline\e=\underline 0} E(z,s),\operatorname*{res}_{s=s_j}D(z,s,\alpha_k) \right\rangle} \right).$$ We insert (\[Dn-residue-special\]). This makes the above expression equal to $$\begin{aligned} \frac{-\phi(s_j)}{{\left\lvert 2s_j-1 \right\rvert}^2}&\displaystyle \Big(\sum_{i=1}^m {\left \langle \partial_{\e_k}L(\underline{\e})\vert_{\underline\e=\underline 0} E(z,s),u_{j,i} \right\rangle}{\left \langle u_{j,i},\partial_{\e_l}L(\underline{\e})\vert_{\underline\e=\underline 0} E(z,s) \right\rangle}\\&+ {\left \langle \partial_{\e_l}L(\underline{\e})\vert_{\underline\e=\underline 0} E(z,s),u_{j,i} \right\rangle}{\left \langle u_{j,i},\partial_{\e_k}L(\underline{\e})\vert_{\underline\e=\underline 0} E(z,s) \right\rangle}\Big)\\ =-\phi(s_j)2\Re\frac{1}{{\left\lvert 2s_j-1 \right\rvert}^2}&\displaystyle\sum_{i=1}^m {\left \langle \partial_{\e_k}L(\underline{\e})\vert_{\underline\e=\underline 0} E(z,s),u_{j,i} \right\rangle}{\left \langle u_{j,i},\partial_{\e_l}L(\underline{\e})\vert_{\underline\e=\underline 0} E(z,s) \right\rangle},\end{aligned}$$ which gives the desired result. We note that since the Hessian is $-m^{-1}$ times the real part of a Gram matrix we see that it is indeed negative semi-definite, as is should be. It is not hard to see that the Hessian in many cases fails to be strictly negative definite. For $g>m$, where $m$ is the multiplicity of the cuspidal eigenvalue, the null space of the Hessian is at least of dimension $2(g-m)$. This is seen as follows: Consider the map between real vector spaces $M:\hbox{Harm}_\R^1(M)\to \R^{2m}$ defined by $$\omega\mapsto \left(\Re{\left \langle \operatorname*{res}_{s=s_j}D(z,s,\w),u_l \right\rangle},\Im {\left \langle \operatorname*{res}_{s=s_j}D(z,s,\w),u_l \right\rangle}\right)_{l=1,\ldots m},$$ which must have a kernel of dimension $\geq 2g-2m$. We note that for elements $\omega$ in this kernel we have $\operatorname*{res}_{s=s_j}D(z,s,\omega)=0$. By choosing a basis for this kernel and extending it to a basis for $\hbox{Harm}_\R^1(M)$ we see from the expression in Proposition \[general-hessian\] that in this basis the Hessian is expressed by a matrix which has all zeroes outside a block of size $2m\times2m$. Symmetries ---------- We now want to consider surfaces with certain symmetries. Define $T(z)=-\overline{z}$. Clearly $T^2=I$. An (eigen)function $h$ is even (has parity 1) resp. odd (has parity -1) if $h(Tz)=\pm h(z)$. A one form $\alpha=p(x, y)\, dx+q(x, y)\, dy$ is even resp. odd if $\alpha\circ T=\pm \alpha$. This means that $p$ is odd resp. even, while $q$ is even resp. odd. If $\alpha=\Re(f(z)dz)$ then $\alpha$ is even resp. odd if $f$ has strictly imaginary resp. real Fourier coefficients. A Fuchsian group $\Gamma$ has fundamental domain symmetric with respect to the imaginary axis if $\Gamma=T\Gamma T$. In the rest of this section we assume this to be case. With these assumptions we easily see that the Eisenstein series is even for all $s$. By (\[firstLvariation\]) we see that, if $\alpha$ is even resp. odd, then $L^{(1)}(0)$ preserves the parity of $h$ resp. changes the parity of $h$. The Phillips–Sarnak integral $\langle L^{(1)}(0) u_j, E(z, s_j)\rangle$ clearly vanishes if the inner product $\langle L^{(1)}(0) u_j, E(z, s)\rangle=0$ for *all* $s$. This happens automatically if $\alpha$ is even and $u_j$ is odd, or $\alpha$ is odd and $u_j$ is even. \[parity-Ds\]Let the $1$-forms $\omega_l$ have parity $\eta_l\in\{1, -1\}$ for $l=1, \ldots k$. Then the parity of $D^{n_1, \ldots , n_k}(z, s, \omega_1, \ldots, \omega_k)$ in (\[d-n-mseries\]) is $\prod_{l=1}^k \eta_l^{n_l}$. For $\gamma\in \Gamma$ we write $\gamma'=T\gamma T$, which varies over all of $\Gamma$. Since $i\infty$ is fixed by $T$, we have that $ \Gamma_{\!\!\infty} =T\Gamma_{\!\!\infty}T$. We have $$D(Tz, s, \omega_1, \ldots, \omega_k)=\sum_{\gamma\in \GinfmodG}\prod_{l=1}^k\left(\int^{\gamma Tz}_{i\infty}\omega_l\right)^{n_l}\Im (\gamma Tz)^s$$ $$=\sum_{\gamma'\in \GinfmodG}\prod_{l=1}^k\left(\int^{T\gamma' z}_{Ti\infty}\omega_l\right)^{n_l}\Im (T\gamma 'z)^s=\sum_{\gamma'\in \GinfmodG}\prod_{l=1}^k\left(\int^{\gamma' z}_{i\infty}\omega_l\circ T\right)^{n_l}\Im (\gamma 'z)^s$$ $$=\prod_{l=1}^k\eta_l^{n_l}\sum_{\gamma'\in \GinfmodG}\prod_{l=1}^k\left(\int^{\gamma' z}_{i\infty}\omega_l\right)^{n_l}\Im (\gamma 'z)^s=\prod_{l=1}^k\eta_l^{n_l}D(z, s, \omega_1, \ldots, \omega_k).$$ Recall that for surfaces with one cusp the scattering function is given by (compare (\[karakter\])) $$\label{phiseries}\phi(s, \underline{\e})=\sqrt{\pi}\frac{\Gamma (s-1/2)}{\Gamma (s)}\sum_{\gamma\in \Gamma_{\infty}\setminus \Gamma /\Gamma_{\infty}}\frac{\chi(\gamma, \underline{\e})}{|c|^{2s}}$$ when $\Re(s)>1$. We assume that all $\alpha_i$ are eigenfunctions of $T$ with parity $\eta_i$. \[parity-phi\] Let $\alpha_i$ have parity $\eta_i\in \{ +1, -1\}$. The scattering function satisfies $$\phi(s, (\eta_i\e_i)_{i=1}^n)=\phi(s, (\e_i)_{i=1}^n).$$ We have $c(T\gamma T)=-c(\gamma)$ and $\int_{z_{0}}^{T\gamma Tz_0}\alpha_i=\eta_i\int_{Tz_{0}}^{\gamma Tz_0}\alpha_i$. Now the result follows easily using (\[phiseries\]). \[lots-zero\] Let $\displaystyle \sum_{\substack{i=1\\\alpha_i \rm{ odd}}}^{n}n_i$ or $\displaystyle \sum_{i=1}^{n}n_i$ be odd. Then $$\partial_{\e_1}^{n_1}\cdots\partial_{\e_{2g}}^{n_{n}}\phi(s,\e)\vert_{\underline{\e}=\underline 0}=0.$$ If $\displaystyle \sum_{\substack{i=1\\\alpha_i \rm{odd}}}^{n}n_i$ is odd differentiate the equality in Lemma \[parity-phi\] and plug $\underline \e=\underline 0$. If $\displaystyle \sum_{i=1}^{n}n_i$ is odd, use instead Remark \[odd-implies-zero\]. We choose $\alpha_i$ as follows: Let $f_1,\ldots f_g$ be a basis for $S_2(\Gamma)$, where $f_j$ has real Fourier coefficients. (If $\Gamma$ is congruence there is even a basis with integer coefficients). Then we let $$\alpha_j=\Re(f_j(z)dz)\textrm{ and } \alpha_{j+g}=\Re(if_j(z)dz),\quad j=1,\ldots, g,$$ so that $\alpha_j$ is odd when $j=1,\ldots,g$, and even when $j=g+1,\ldots,2g$. With these choices the Hessian has the following form for $u_j$ even (an analogous result holds for odd ones): \[lots-of-zeroes\] Assume that $s_j=s_j(0)$ correspond to a simple even embedded eigenvalue. Then outside the lower-right $g\times g$ corner of the Hessian of $s_j(\underline{\e})$ at $\underline{\e}=0$ all entries are zero. Outside the lower-right $g\times g$ corner of the Hessian we see from Proposition \[general-hessian\] that all entries involve an inner product with one entry being $\operatorname*{res}_{s=s_j}D(z,s,\a_l)$ where $\alpha_l$ is odd. It follows from Lemma \[parity-Ds\] that $D(z,s,\a_l)$ is odd for such an $\alpha_l$. Its residue at $s_j$ is, therefore, also odd, while it is a multiple of $u_j$, which is even. As
{'source': 'arXiv_out/1003'}