We give sharp point-wise bounds in the weight-aspect on fourth moments of modular forms on arithmetic hyperbolic surfaces associated to Eichler orders. Thereby, we strengthen a result of Xia and extend it to co-compact lattices. We realize this fourth moment by constructing a holomorphic theta kernel on $\mathbf {G} \times \mathbf {G} \times \mathbf {SL}_{2}$, for $\mathbf {G}$ an indefinite inner form of $\mathbf {SL}_2$ over $\mathbb {Q}$, based on the Bergman kernel, and considering its $L^2$-norm in the Weil variable. The constructed theta kernel further gives rise to new elementary theta series for integral quadratic forms of signature $(2,2)$.

We obtain a new upper bound for Neumann eigenvalues of the Laplacian on a bounded convex domain in Euclidean space. As an application of the upper bound, we derive universal inequalities for Neumann eigenvalues of the Laplacian.

In this paper we study the small-scale equidistribution property of random waves whose coefficients are determined by an unfair coin. That is, the coefficients take value $+1$ with probability p and $-1$ with probability $1-p$. Random waves whose coefficients are associated with a fair coin are known to equidistribute down to the wavelength scale. We obtain explicit requirements on the deviation from the fair ($p=0.5$) coin to retain equidistribution.

A Birkhoff billiard is a system describing the inertial motion of a point mass inside a strictly convex planar domain, with elastic reflections at the boundary. The study of the associated dynamics is profoundly intertwined with the geometric properties of the domain: while it is evident how the shape determines the dynamics, a more subtle and difficult question is the extent to which the knowledge of the dynamics allows one to reconstruct the shape of the domain. This translates into many intriguing inverse problems and unanswered rigidity questions, which have been the focus of very active research in recent decades. In this paper we describe some of these questions, along with their connection to other problems in analysis and geometry, with particular emphasis on recent results obtained by the authors and their collaborators.

By means of a counter-example, we show that the Reilly theorem for the upper bound of the first non-trivial eigenvalue of the Laplace operator of a compact submanifold of Euclidean space (Reilly, 1977, Comment. Mat. Helvetici, 52, 525–533) does not work for a (codimension ⩾2) compact spacelike submanifold of Lorentz–Minkowski spacetime. In the search of an alternative result, it should be noted that the original technique in (Reilly, 1977, Comment. Mat. Helvetici, 52, 525–533) is not applicable for a compact spacelike submanifold of Lorentz–Minkowski spacetime. In this paper, a new technique, based on an integral formula on a compact spacelike section of the light cone in Lorentz–Minkowski spacetime is developed. The technique is genuine in our setting, that is, it cannot be extended to another semi-Euclidean spaces of higher index. As a consequence, a family of upper bounds for the first eigenvalue of the Laplace operator of a compact spacelike submanifold of Lorentz–Minkowski spacetime is obtained. The equality for one of these inequalities is geometrically characterized. Indeed, the eigenvalue achieves one of these upper bounds if and only if the compact spacelike submanifold lies minimally in a hypersphere of certain spacelike hyperplane. On the way, the Reilly original result is reproved if a compact submanifold of a Euclidean space is naturally seen as a compact spacelike submanifold of Lorentz–Minkowski spacetime through a spacelike hyperplane.

We show that there is nonuniqueness for the Calderón problem with partial data for Riemannian metrics with Hölder continuous coefficients in dimension greater than or equal to three. We provide simple counterexamples in the case of cylindrical Riemannian manifolds with boundary having two ends. The coefficients of these metrics are smooth in the interior of the manifold and are only Hölder continuous of order $\unicode[STIX]{x1D70C}<1$ at the end where the measurements are made. More precisely, we construct a toroidal ring $(M,g)$ and we show that there exist in the conformal class of $g$ an infinite number of Riemannian metrics $\tilde{g}=c^{4}g$ such that their corresponding partial Dirichlet-to-Neumann maps at one end coincide. The corresponding smooth conformal factors are harmonic with respect to the metric $g$ and do not satisfy the unique continuation principle.

In this paper we study spectral properties of the Dirichlet-to-Neumann map on differential forms obtained by a slight modification of the definition due to Belishev and Sharafutdinov. The resulting operator $\unicode[STIX]{x039B}$ is shown to be self-adjoint on the subspace of coclosed forms and to have purely discrete spectrum there. We investigate properties of eigenvalues of $\unicode[STIX]{x039B}$ and prove a Hersch–Payne–Schiffer type inequality relating products of those eigenvalues to eigenvalues of the Hodge Laplacian on the boundary. Moreover, non-trivial eigenvalues of $\unicode[STIX]{x039B}$ are always at least as large as eigenvalues of the Dirichlet-to-Neumann map defined by Raulot and Savo. Finally, we remark that a particular case of $p$-forms on the boundary of a $2p+2$-dimensional manifold shares many important properties with the classical Steklov eigenvalue problem on surfaces.

We prove the existence of a discrete correlation spectrum for Morse–Smale flows acting on smooth forms on a compact manifold. This is done by constructing spaces of currents with anisotropic Sobolev regularity on which the Lie derivative has a discrete spectrum.

Subconvexity bounds on the critical line are proved for general Epstein zeta-functions of $k$-ary quadratic forms. This is related to sup-norm bounds for unitary Eisenstein series on $\text{GL}(k)$ associated with the maximal parabolic of type $(k-1,1)$, and the exact sup-norm exponent is determined to be $(k-2)/8$ for $k\geqslant 4$. In particular, if $k$ is odd, this exponent is not in $\frac{1}{4}\mathbb{Z}$, which is relevant in the context of Sarnak’s purity conjecture and shows that it can in general not directly be generalized to Eisenstein series.

This paper is devoted to dimensional reductions via the norm-resolvent convergence. We derive explicit bounds on the resolvent difference as well as spectral asymptotics. The efficiency of our abstract tool is demonstrated by its application on seemingly different partial differential equation problems from various areas of mathematical physics; all are analysed in a unified manner, known results are recovered and new ones established.

Extending our previous work on eigenvalues of closed surfaces and work of Otal and Rosas, we show that a complete Riemannian surface $S$ of finite type and Euler characteristic $\unicode[STIX]{x1D712}(S)<0$ has at most $-\unicode[STIX]{x1D712}(S)$ small eigenvalues.

We prove that on any compact manifold $M^{n}$ with boundary, there exists a conformal class $C$ such that for any Riemannian metric $g\in C$ of unit volume, the first positive eigenvalue of the Neumann Laplacian satisfies ${\it\lambda}_{1}(M^{n},g)<n\,\text{Vol}(S^{n},g_{\text{can}})^{2/n}$. We also prove a similar inequality for the first positive Steklov eigenvalue. The proof relies on a handle decomposition of the manifold. We also prove that the conformal volume of $(M,C)$ is $\text{Vol}(S^{n},g_{\text{can}})$, and that the Friedlander–Nadirashvili invariant and the Möbius volume of $M$ are equal to those of the sphere. If $M$ is a domain in a space form, $C$ is the conformal class of the canonical metric.

For a hyperbolic surface, embedded eigenvalues of the Laplace operator are unstable and tend to dissolve into scattering poles i.e. 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 two 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.

We prove upper bounds for Hecke–Laplace eigenfunctions on certain Riemannian manifolds $X$ of arithmetic type, uniformly in the eigenvalue and the volume of the manifold. The manifolds under consideration are $d$-fold products of $2$-spheres or $3$-spheres, realized as adelic quotients of quaternion algebras over totally real number fields. In the volume aspect we prove a (‘Weyl-type’) saving of $\mathrm{vol} \hspace{0.167em} (X)^{- 1/ 6+ \varepsilon } $.

We explain an array of basic functional analysis puzzles on the way to general spectral flow formulae and indicate a direction of future topological research for dealing with these puzzles.

The eta invariant of the Dirac operator over a non-compact cofinite quotient of PSL(2,ℝ) is defined through a regularized trace following Melrose. It reduces to the standard definition in terms of eigenvalues in the case of a totally non-trivial spin structure. When the S1-fibers are rescaled, the metric becomes of non-exact fibered-cusp type near the ends. We completely describe the continuous spectrum of the Dirac operator with respect to the rescaled metric and its dependence on the spin structure, and show that the adiabatic limit of the eta invariant is essentially the volume of the base hyperbolic Riemann surface with cusps, extending some of the results of Seade and Steer.