arXiv subjects

Dorothee Schueth

Publications and source records attributed to Dorothee Schueth.

16 recordsLinked to original sources

arXiv2025

Heat coefficients of surfaces with curved conic singularities

Let $(M,g)$ be a two-dimensional Riemannian manifold of finite diameter with a conical singularity. Under the assumption that the metric near the cone point $C$ is rotationally invariant, but not necessarily flat, we give an explicit formula for the coefficient $b_{1/2}(C)$ in the heat trace expansion $\operatorname{tr}(\operatorname{exp}(-tΔ_g))\sim_{t\searrow0} (4πt)^{-1}\sum_{j=0}^\infty a_j(M) t^j+\sum_{j=0}^\infty b_{j/2}(C)t^{j/2}+\sum_{j=0}^\infty c_{j/2}(C) t^{j/2} \log t$. In the case that the Gaussian curvature $K$ of $(M,g)$ satisfies $|K(p)|\to\infty$ as $p\to C$, we show that $b_{1/2}(C)$ varies irrationally under constant rescalings of the distance circles near the cone point. This is a sharp contrast to the behavior of $b_0(C)$ and of those coefficients $b_j(C)$ which appear in certain known formulas in the case of orbifold cone points or corners of geodesic polygons.

math.DG↗

arXiv2022

On the Dirac spectrum of homogeneous 3-spheres

We show that any two left-invariant metrics on $S^3\cong\operatorname{SU}(2)$ which are isospectral for the associated classical Dirac operator $D$ must be isometric. In the case of left-invariant metrics of positive scalar curvature, we compute and use the smallest eigenvalue of $D^2$. We show analogous results for left-invariant metrics on $\operatorname{SO}(3)=S^3/\{\pm1\}$ for each of its two spin structures.

math.DG↗

arXiv2018

On the corner contributions to the heat coefficients of geodesic polygons

Let $\mathcal O$ be a compact Riemannian orbisurface. We compute formulas for the contribution of cone points of~$\mathcal O$ to the coefficient at $t^2$ of the asymptotic expansion of the heat trace of $\mathcal O$, the contributions at $t^0$ and $t^1$ being known from the literature. As an application, we compute the coefficient at $t^2$ of the contribution of interior angles of the form $γ=π/k$ in geodesic polygons in surfaces to the asymptotic expansion of the Dirichlet heat kernel of the polygon, under a certain symmetry assumption locally near the corresponding corner. The main novelty here is the determination of the way in which the Laplacian of the Gauss curvature at the corner point enters into the coefficient at $t^2$. We finish with a conjecture concerning the analogous contribution of an arbitrary angle $γ$ in a geodesic polygon.

math.DG↗

arXiv2016

Generic irreducibilty of Laplace eigenspaces on certain compact Lie groups

If $G$ is a compact Lie group endowed with a left invariant metric $g$, then $G$ acts via pullback by isometries on each eigenspace of the associated Laplace operator $Δ_g$. We establish algebraic criteria for the existence of left invariant metrics $g$ on $G$ such that each eigenspace of $Δ_g$, regarded as the real vector space of the corresponding real eigenfunctions, is irreducible under the action of $G$. We prove that generic left invariant metrics on the Lie groups $G=\operatorname{SU}(2)\times\ldots\times\operatorname{SU}(2)\times T$, where $T$ is a (possibly trivial) torus, have the property just described. The same holds for quotients of such groups $G$ by discrete central subgroups. In particular, it also holds for $\operatorname{SO}(3)$, $\operatorname{U}(2)$, $\operatorname{SO}(4)$.

math.DG↗

arXiv2015

Inaudibility of sixth order curvature invariants

It is known that the spectrum of the Laplace operator on functions of a closed Riemannian manifold does not determine the integrals of the individual fourth order curvature invariants $\operatorname{scal}^2$, $|\operatorname{ric}|^2$, $|R|^2$, which appear as summands in the second heat invariant $a_2$. We study the analogous question for the integrals of the sixth order curvature invariants appearing as summands in $a_3$. Our result is that none of them is determined individually by the spectrum, which can be shown using various examples. In particular, we prove that two isospectral nilmanifolds of Heisenberg type with three-dimensional center are locally isometric if and only if they have the same value of $|\nabla R|^2$. In contrast, any pair of isospectral nilmanifolds of Heisenberg type with centers of dimension $r>3$ does not differ in any curvature invariant of order six, actually not in any curvature invariant of order smaller than $2r$. We also prove that this implies that for any $k\in\Bbb N$, there exist locally homogeneous manifolds which are not curvature equivalent but do not differ in any curvature invariant of order up to $2k$.

math.DG↗

arXiv2011

Classical Equivalence and Quantum Equivalence of Magnetic Fields on Flat Tori

Let M be a real 2m-torus equipped with a translation-invariant metric h and a translation-invariant symplectic form w; the latter we interpret as a magnetic field on M. The Hamiltonian flow of half the norm-squared function induced by h on T^*M (the "kinetic energy") with respect to the twisted symplectic form w_{T^*M}+ π^*w describes the trajectories of a particle moving on M under the influence of the magnetic field w. If [w] is an integral cohomology class, then we can study the geometric quantization of the symplectic manifold (T^*M,w_{T^*M}+π^*w) with the kinetic energy Hamiltonian. We say that the quantizations of two such tori (M_1,h_1,w_1) and (M_2,h_2,w_2) are quantum equivalent if their quantum spectra, i.e., the spectra of the associated quantum Hamiltonian operators, coincide; these quantum Hamiltonian operators are proportional to the h_j-induced bundle Laplacians on powers of the Hermitian line bundle on M with Chern class [w]. In this paper, we construct continuous families {(M,h_t)}_t of mutually nonisospectral flat tori (M,h_t), each endowed with a translation-invariant symplectic structure w, such that the associated classical Hamiltonian systems are pairwise equivalent. If w represents an integer cohomology class, then the (M,h_t,w) also have the same quantum spectra. We show moreover that for any translation-invariant metric h and any translation-invariant symplectic structure w on M that represents an integer cohomology class, the associated quantum spectrum determines whether (M,h,w) is Kaehler, and that all translation-invariant Kaehler structures (h,w) of given volume on M have the same quantum spectra. Finally, we construct pairs of magnetic fields (M,h,w_1), (M,h,w_2) having the same quantum spectra but nonsymplectomorphic classical phase spaces. In some of these examples the pairs consist of Kaehler manifolds.

math.DG↗

arXiv2011

Local symmetry of harmonic spaces as determined by the spectra of small geodesic spheres

We show that in any harmonic space, the eigenvalue spectra of the Laplace operator on small geodesic spheres around a given point determine the norm $|\nabla R|$ of the covariant derivative of the Riemannian curvature tensor in that point. In particular, the spectra of small geodesic spheres in a harmonic space determine whether the space is locally symmetric. For the proof we use the first few heat invariants and consider certain coefficients in the radial power series expansions of the curvature invariants $|R|^2$ and $|Ric|^2$ of the geodesic spheres. Moreover, we obtain analogous results for geodesic balls with either Dirichlet or Neumann boundary conditions.

math.DG↗

arXiv2010

Quantum Equivalent Magnetic Fields that Are Not Classically Equivalent

We construct pairs of compact Kähler-Einstein manifolds $(M_i,g_i,ω_i)$ ($i=1,2)$ of complex dimension $n$ with the following properties: The canonical line bundle $L_i=\bigwedge^n T^*M_i$ has Chern class $[ω_i/2π]$, and for each integer $k$ the tensor powers $L_1^{\otimes k}$ and $L_2^{\otimes k}$ are isospectral for the bundle Laplacian associated with the canonical connection, while $M_1$ and $M_2$ -- and hence $T^*M_1$ and $T^*M_2$ -- are not homeomorphic. In the context of geometric quantization, we interpret these examples as magnetic fields which are quantum equivalent but not classically equivalent. Moreover, we construct many examples of line bundles $L$, pairs of potentials $Q_1$, $Q_2$ on the base manifold, and pairs of connections $\nabla_1$, $\nabla_2$ on $L$ such that for each integer $k$ the associated Schrödinger operators on $L^{\otimes k}$ are isospectral.

math.DG↗

arXiv2010

Spectral isolation of bi-invariant metrics on compact Lie groups

We show that a bi-invariant metric on a compact connected Lie group $G$ is spectrally isolated within the class of left-invariant metrics. In fact, we prove that given a bi-invariant metric $g_0$ on $G$ there is a positive integer $N$ such that, within a neighborhood of $g_0$ in the class of left-invariant metrics of at most the same volume, $g_0$ is uniquely determined by the first $N$ distinct non-zero eigenvalues of its Laplacian (ignoring multiplicities). In the case where $G$ is simple, $N$ can be chosen to be two.

math.DG↗

arXiv2008

Isospectral orbifolds with different maximal isotropy orders

We construct pairs of compact Riemannian orbifolds which are isospectral for the Laplace operator on functions such that the maximal isotropy order of singular points in one of the orbifolds is higher than in the other. In one type of examples, isospectrality arises from a version of the famous Sunada theorem which also implies isospectrality on $p$-forms; here the orbifolds are quotients of certain compact normal homogeneous spaces. In another type of examples, the orbifolds are quotients of Euclidean $\R^3$ and are shown to be isospectral on functions using dimension formulas for the eigenspaces. In the latter type of examples the orbifolds are not isospectral on 1-forms. Along the way we also give several additional examples of isospectral orbifolds which do not have maximal isotropy groups of different size but other interesting properties.

math.DG↗

arXiv2007

Integrability of geodesic flows and isospectrality of Riemannian manifolds

We construct a pair of compact, eight-dimensional, two-step Riemannian nilmanifolds $M$ and $M'$ which are isospectral for the Laplace operator on functions and such that $M$ has completely integrable geodesic flow in the sense of Liouville, while $M'$ has not. Moreover, for both manifolds we analyze the structure of the submanifolds of the unit tangent bundle given by to maximal continuous families of closed geodesics with generic velocity fields. The structure of these submanifolds turns out to reflect the above (non)integrability properties. On the other hand, their dimension is larger than that of the Lagrangian tori in $M$, indicating a degeneracy which might explain the fact that the wave invariants do not distinguish an integrable from a nonintegrable system here. Finally, we show that for $M$, the invariant eight-dimensional tori which are foliated by closed geodesics are dense in the unit tangent bundle, and that both $M$ and $M'$ satisfy the so-called Clean Intersection Hypothesis.

math.DG↗

arXiv2002

Isospectral potentials and conformally equivalent isospectral metrics on spheres, balls and Lie groups

We construct pairs of conformally equivalent isospectral Riemannian metrics $ϕ_1 g$ and $ϕ_2 g$ on spheres $S^n$ and balls $B^{n+1}$ for certain dimensions $n$, the smallest of which is $n=7$, and on certain compact simple Lie groups. In the case of Lie groups, the metric $g$ is left-invariant. In the case of spheres and balls, the metric $g$ is not the standard metric but may be chosen arbitrarily close to the standard one. For the same manifolds $(M,g)$ we also show that the functions $ϕ_1$ and $ϕ_2$ are isospectral potentials for the Schrödinger operator $\hbar^2Δ+ϕ$. To our knowledge, these are the first examples of isospectral potentials and of isospectral conformally equivalent metrics on simply connected closed manifolds.

math.DG↗

arXiv2001

Isospectral metrics on five-dimensional spheres

We construct isospectral pairs of Riemannian metrics on S^5 and on B^6, thus lowering by three the dimension of spheres and balls on which such metrics have been constructed previously (S^{n\ge 8} and B^{n\ge 9}). We also construct continuous families of isospectral Riemannian metrics on S^7 and on B^8. In each of these examples, the metrics can be chosen equal to the standard metric outside certain subsets of arbitrarily small volume.

math.DG↗

arXiv2001

Isospectral manifolds with different local geometries

We construct several new classes of isospectral manifolds with different local geometries. After reviewing a theorem by Carolyn Gordon on isospectral torus bundles and presenting certain useful specialized versions (Chapter 1) we apply these tools to construct the first examples of isospectral four-dimensional manifolds which are not locally isometric (Chapter 2). Moreover, we construct the first examples of isospectral left invariant metrics on compact Lie groups (Chapter 3). Thereby we also obtain the first continuous isospectral families of globally homogeneous manifolds and the first examples of isospectral manifolds which are simply connected and irreducible. Finally, we construct the first pairs of isospectral manifolds which are conformally equivalent and not locally isometric (Chapter 4).

math.DG↗

arXiv1999

Continuous families of isospectral metrics on simply connected manifolds

We construct continuous families of Riemannian metrics on certain simply connected manifolds with the property that the resulting Riemannian manifolds are pairwise isospectral for the Laplace operator acting on functions. These are the first examples of simply connected Riemannian manifolds without boundary which are isospectral, but not isometric. For example, we construct continuous isospectral families of metrics on the product of spheres S^4\times S^3\times S^3. The metrics considered are not locally homogeneous. For a big class of such families, the set of critical values of the scalar curvature function changes during the deformation. Moreover, the manifolds are in general not isospectral for the Laplace operator acting on 1-forms.

dg-ga↗

arXiv1997

Isospectral deformations of closed Riemannian manifolds with different scalar curvature

We construct the first examples of continuous families of isospectral Riemannian metrics that are not locally isometric on closed manifolds, more precisely, on $S^n\times T^m$, where $T^m$ is a torus of dimension $m\ge 2$ and $S^n$ is a sphere of dimension $n\ge 4$. These metrics are not locally homogeneous; in particular, the scalar curvature of each metric is nonconstant. For some of the deformations, the maximum scalar curvature changes during the deformation.

dg-ga↗