Abstract:
We discuss questions of isospectrality for hyperbolic orbisurfaces, examining the relationship between the geometry of an orbisurface and its Laplace spectrum. We show that certain hyperbolic orbisurfaces cannot be isospectral, where the obstructions involve the number of singular points and genera of our orbisurfaces. Using a version of the Selberg Trace Formula for hyperbolic orbisurfaces, we show that the Laplace spectrum determines the length spectrum and the orders of the singular points, up to finitely many possibilities. Conversely, knowledge of the length spectrum and the orders of the singular points determines the Laplace spectrum. This partial generalization of Huber's theorem is used to prove that isospectral sets of hyperbolic orbisurfaces have finite cardinality, generalizing a result of McKean for Riemann surfaces.

Abstract:
For compact Riemann surfaces, the collar theorem and Bers' partition theorem are major tools for working with simple closed geodesics. The main goal of this paper is to prove similar theorems for hyperbolic cone-surfaces. Hyperbolic two-dimensional orbifolds are a particular case of such surfaces. We consider all cone angles to be strictly less than $\pi$ to be able to consider partitions.

Abstract:
We show that for compact orientable hyperbolic orbisurfaces, the Laplace spectrum determines the length spectrum as well as the number of singular points of a given order. The converse also holds, giving a full generalization of Huber's theorem to the setting of compact orientable hyperbolic orbisurfaces.

Abstract:
We consider the heat operator acting on differential forms on spaces with complete and incomplete edge metrics. In the latter case we study the heat operator of the Hodge Laplacian with algebraic boundary conditions at the edge singularity. We establish the mapping properties of the heat operator, recovering and extending the classical results from smooth manifolds and conical spaces. The estimates, together with strong continuity of the heat operator, yield short-time existence of solutions to certain semilinear parabolic equations. Our discussion reviews and generalizes earlier work by Jeffres and Loya.

Abstract:
Let O be a symplectic toric 2n-dimensional orbifold with a fixed T^n-action and with a toric Kahler metric g. We previously explored whether, when O is a manifold, the equivariant spectrum of the Laplace operator acting on smooth functions on (O,g) determines the moment polytope of O, and hence by Delzant's theorem determines O up to symplectomorphism. In the setting of toric orbifolds we significantly improve upon our previous results and show that the moment polytope of a generic toric orbifold is determined by its equivariant spectrum, up to two possibilities and up to translation. This involves developing the asymptotic expansion of the heat trace on an orbifold in the presence of an isometry. We also show that the equivariant spectrum determines whether the toric Kahler metric has constant scalar curvature.

Abstract:
The study of extremal properties of the spectrum often involves restricting the metrics under consideration. Motivated by the work of Abreu and Freitas in the case of the sphere $S^2$ endowed with $S^1$-invariant metrics, we consider the subsequence $\lambda_k^G$ of the spectrum of a Riemannian manifold $M$ which corresponds to metrics and functions invariant under the action of a compact Lie group $G$. If $G$ has dimension at least 1, we show that the functional $\lambda_k^G$ admits no extremal metric under volume-preserving $G$-invariant deformations. If, moreover, $M$ has dimension at least three, then the functional $\lambda_k^G$ is unbounded when restricted to any conformal class of $G$-invariant metrics of fixed volume. As a special case of this, we can consider the standard O(n)-action on $S^n$; however, if we also require the metric to be induced by an embedding of $S^n$ in $\mathbb{R}^{n+1}$, we get an optimal upper bound on $\lambda_k^G$.

Abstract:
We give upper bounds for the eigenvalues of the La-place-Beltrami operator of a compact $m$-dimensional submanifold $M$ of $\R^{m+p}$. Besides the dimension and the volume of the submanifold and the order of the eigenvalue, these bounds depend on either the maximal number of intersection points of $M$ with a $p$-plane in a generic position (transverse to $M$), or an invariant which measures the concentration of the volume of $M$ in $\R^{m+p}$. These bounds are asymptotically optimal in the sense of the Weyl law. On the other hand, we show that even for hypersurfaces (i.e., when $p=1$), the first positive eigenvalue cannot be controlled only in terms of the volume, the dimension and (for $m\ge 3$) the differential structure.

Abstract:
Let M^{2n} be a symplectic toric manifold with a fixed T^n-action and with a toric K\"ahler metric g. Abreu asked whether the spectrum of the Laplace operator $\Delta_g$ on $\mathcal{C}^\infty(M)$ determines the moment polytope of M, and hence by Delzant's theorem determines M up to symplectomorphism. We report on some progress made on an equivariant version of this conjecture. If the moment polygon of M^4 is generic and does not have too many pairs of parallel sides, the so-called equivariant spectrum of M and the spectrum of its associated real manifold M_R determine its polygon, up to translation and a small number of choices. For M of arbitrary even dimension and with integer cohomology class, the equivariant spectrum of the Laplacian acting on sections of a naturally associated line bundle determines the moment polytope of M.

Abstract:
We prove an inverse spectral result for $S^1$-invariant metrics on $S^2$ based on the so-called asymptotic equivariant spectrum. This is roughly the spectrum together with large weights of the $S^1$ action on the eigenspaces. Our result generalizes an inverse spectral result of the first and last named authors, together with Victor Guillemin, concerning $S^1$-invariant metrics on $S^2$ which are invariant under the antipodal map. We use higher order terms in the asymptotic expansion of a natural spectral measure associated with the Laplacian and the $S^1$ action.

Abstract:
We prove inverse spectral results for differential operators on manifolds and orbifolds invariant under a torus action. These inverse spectral results involve the asymptotic equivariant spectrum, which is the spectrum itself together with "very large" weights of the torus action on eigenspaces. More precisely, we show that the asymptotic equivariant spectrum of the Laplace operator of any toric metric on a generic toric orbifold determines the equivariant biholomorphism class of the orbifold; we also show that the asymptotic equivariant spectrum of a T^n-invariant Schrodinger operator on R^n determines its potential in some suitably convex cases. In addition, we prove that the asymptotic equivariant spectrum of an S^1-invariant metric on S^2 determines the metric itself in many cases. Finally, we obtain an asymptotic equivariant inverse spectral result for weighted projective spaces. As a crucial ingredient in these inverse results, we derive a surprisingly simple formula for the asymptotic equivariant trace of a family of semi-classical differential operators invariant under a torus action.