Showing 1–38 of 38 results for author: Strohmaier, A

Dimensional reduction formulae for spectral traces and Casimir energies

Authors: Alexander Strohmaier

Abstract: This short letter considers the case of acoustic scattering by several obstacles in $\mathbb{R}^{d+r}$ for $r,d \geq 1$ of the form $Ω\times \mathbb{R}^r$, where $Ω$ is a smooth bounded domain in $\mathbb{R}^d$. As a main result a von-Neumann-trace formula for the relative trace is obtained in this setting. As a special case we obtain a dimensional reduction formula for the Casimir energy for the… ▽ More This short letter considers the case of acoustic scattering by several obstacles in $\mathbb{R}^{d+r}$ for $r,d \geq 1$ of the form $Ω\times \mathbb{R}^r$, where $Ω$ is a smooth bounded domain in $\mathbb{R}^d$. As a main result a von-Neumann-trace formula for the relative trace is obtained in this setting. As a special case we obtain a dimensional reduction formula for the Casimir energy for the massive and massless scalar fields in this configuration $Ω\times \mathbb{R}^r$ per unit volume in $\mathbb{R}^r$. △ Less

Submitted 26 March, 2024; v1 submitted 26 February, 2024; originally announced February 2024.

Comments: 8 pages, latex, minor typos fixed

MSC Class: 81T55; 11F72

Heat and Wave kernel expansions for stationary spacetimes

Authors: Alexander Strohmaier, Steve Zelditch

Abstract: The generator of time-translations on the solution space of the wave equation on stationary spacetimes specialises to the square root of the Laplacian on Riemannian manifolds when the spacetime is ultrastatic. Its spectral analysis therefore constitutes a generalization of classical spectral geometry. If the spacetime is spatially compact the spectrum is discrete and admits a wave-trace expansion… ▽ More The generator of time-translations on the solution space of the wave equation on stationary spacetimes specialises to the square root of the Laplacian on Riemannian manifolds when the spacetime is ultrastatic. Its spectral analysis therefore constitutes a generalization of classical spectral geometry. If the spacetime is spatially compact the spectrum is discrete and admits a wave-trace expansion at time zero. A Weyl law for the eigenvalues and a wave-trace formula was shown in a previous paper and related to the geometry of the space of null-geodesics. In this paper we investigate the relation to heat kernel coefficients and residues of zeta functions in this context and compute the second non-zero term in the wave-trace expansion. This second coefficient is an analogue in the category of stationary spacetimes of the second heat kernel coefficient of the Laplace operator. The general formula is quite involved but reduces to the usual term involving the scalar curvature when specialised to ultra-static spacetimes. △ Less

Submitted 27 August, 2023; v1 submitted 23 August, 2023; originally announced August 2023.

Comments: 18 pages, fixed some typos

MSC Class: 11F72; 35P05; 58J50

Analytic states in quantum field theory on curved spacetimes

Authors: Alexander Strohmaier, Edward Witten

Abstract: We discuss high energy properties of states for (possibly interacting) quantum fields in curved spacetimes. In particular, if the spacetime is real analytic, we show that an analogue of the timelike tube theorem and the Reeh-Schlieder property hold with respect to states satisfying a weak form of microlocal analyticity condition. The former means the von Neumann algebra of observables of a spaceli… ▽ More We discuss high energy properties of states for (possibly interacting) quantum fields in curved spacetimes. In particular, if the spacetime is real analytic, we show that an analogue of the timelike tube theorem and the Reeh-Schlieder property hold with respect to states satisfying a weak form of microlocal analyticity condition. The former means the von Neumann algebra of observables of a spacelike tube equals the von Neumann algebra of observables of a significantly bigger region, that is obtained by deforming the boundary of the tube in a timelike manner. This generalizes theorems by Borchers and Araki to curved spacetimes. △ Less

Submitted 23 January, 2024; v1 submitted 6 February, 2023; originally announced February 2023.

Comments: 40 pages, 1 figure, typos corrected

MSC Class: 81T05; 81T20; 58J15

The relative trace formula in electromagnetic scattering and boundary layer operators

Authors: Alexander Strohmaier, Alden Waters

Abstract: This paper establishes trace-formulae for a class of operators defined in terms of the functional calculus for the Laplace operator on divergence-free vector fields with relative and absolute boundary conditions on Lipschitz domains in $\mathbb{R}^3$. Spectral and scattering theory of the absolute and relative Laplacian is equivalent to the spectral analysis and scattering theory for Maxwell equat… ▽ More This paper establishes trace-formulae for a class of operators defined in terms of the functional calculus for the Laplace operator on divergence-free vector fields with relative and absolute boundary conditions on Lipschitz domains in $\mathbb{R}^3$. Spectral and scattering theory of the absolute and relative Laplacian is equivalent to the spectral analysis and scattering theory for Maxwell equations. The trace-formulae allow for unbounded functions in the functional calculus that are not admissible in the Birman-Krein formula. In special cases the trace-formula reduces to a determinant formula for the Casimir energy that is being used in the physics literature for the computation of the Casimir energy for objects with metallic boundary conditions. Our theorems justify these formulae in the case of electromagnetic scattering on Lipschitz domains, give a rigorous meaning to them as the trace of certain trace-class operators, and clarifies the function spaces on which the determinants need to be taken. △ Less

Submitted 24 November, 2023; v1 submitted 30 November, 2021; originally announced November 2021.

Comments: 46 pages, 2 figures, small edits and typos corrected

MSC Class: 35Q61; 35P25; 81T55; 11F72

Journal ref: Analysis & PDE 18 (2025) 361-408

The Birman-Krein formula for differential forms and electromagnetic scattering

Authors: Alexander Strohmaier, Alden Waters

Abstract: We consider scattering theory of the Laplace Beltrami operator on differential forms on a Riemannian manifold that is Euclidean near infinity. Allowing for compact boundaries of low regularity we prove a Birman-Krein formula on the space of co-closed differential forms. In the case of dimension three this reduces to a Birman-Krein formula in Maxwell scattering. We consider scattering theory of the Laplace Beltrami operator on differential forms on a Riemannian manifold that is Euclidean near infinity. Allowing for compact boundaries of low regularity we prove a Birman-Krein formula on the space of co-closed differential forms. In the case of dimension three this reduces to a Birman-Krein formula in Maxwell scattering. △ Less

Submitted 25 May, 2022; v1 submitted 28 April, 2021; originally announced April 2021.

Comments: 22 pages, LaTeX, some typos corrected and more details and references added, restructured

A mathematical analysis of Casimir interactions I: The scalar field

Authors: Yan-Long Fang, Alexander Strohmaier

Abstract: Starting from the construction of the free quantum scalar field of mass $m\geq 0$ we give mathematically precise and rigorous versions of three different approaches to computing the Casimir forces between compact obstacles. We then prove that they are equivalent. Starting from the construction of the free quantum scalar field of mass $m\geq 0$ we give mathematically precise and rigorous versions of three different approaches to computing the Casimir forces between compact obstacles. We then prove that they are equivalent. △ Less

Submitted 7 March, 2022; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: 41 pages, 2 figures, LaTeX, more details added, typos corrected, references added

MSC Class: 81T55; 58J50

Trace singularities in obstacle scattering and the Poisson relation for the relative trace

Authors: Yan-Long Fang, Alexander Strohmaier

Abstract: We consider the case of scattering of several obstacles in $\mathbb{R}^d$ for $d \geq 2$ for the Laplace operator $Δ$ with Dirichlet boundary conditions imposed on the obstacles. In the case of two obstacles, we have the Laplace operators $Δ_1$ and $Δ_2$ obtained by imposing Dirichlet boundary conditions only on one of the objects. The relative trace operator $g(Δ) - g(Δ_1) - g(Δ_2) + g(Δ_0)$ was… ▽ More We consider the case of scattering of several obstacles in $\mathbb{R}^d$ for $d \geq 2$ for the Laplace operator $Δ$ with Dirichlet boundary conditions imposed on the obstacles. In the case of two obstacles, we have the Laplace operators $Δ_1$ and $Δ_2$ obtained by imposing Dirichlet boundary conditions only on one of the objects. The relative trace operator $g(Δ) - g(Δ_1) - g(Δ_2) + g(Δ_0)$ was introduced in [18] and shown to be trace-class for a large class of functions $g$, including certrain functions of polynomial growth. When $g$ is sufficiently regular at zero and fast decaying at infinity then, by the Birman-Krein formula, this trace can be computed from the relative spectral shift function $ξ_{rel}(λ) = -\frac{1}π \Im(Ξ(λ))$, where $Ξ(λ)$ is holomorphic in the upper half-plane and fast decaying. In this paper we study the wave-trace contributions to the singularities of the Fourier transform of $ξ_{rel}$. In particular we prove that $\hatξ_{rel}$ is real-analytic near zero and we relate the decay of $Ξ(λ)$ along the imaginary axis to the first wave-trace invariant of the shortest bounding ball orbit between the obstacles. The function $Ξ(λ)$ is important in physics as it determines the Casimir interactions between the objects. △ Less

Submitted 27 October, 2021; v1 submitted 2 April, 2021; originally announced April 2021.

Comments: 19 pages, 1 figure, second revised version

On microlocalisation and the construction of Feynman Propagators for normally hyperbolic operators

Authors: Onirban Islam, Alexander Strohmaier

Abstract: This article gives global microlocalisation constructions for normally hyperbolic operators on a vector bundle over a globally hyperbolic spacetime in geometric terms. As an application, this is used to generalise the Duistermaat-Hörmander construction of Feynman propagators, therefore incorporating the most important non-scalar geometric operators. It is shown that for normally hyperbolic operato… ▽ More This article gives global microlocalisation constructions for normally hyperbolic operators on a vector bundle over a globally hyperbolic spacetime in geometric terms. As an application, this is used to generalise the Duistermaat-Hörmander construction of Feynman propagators, therefore incorporating the most important non-scalar geometric operators. It is shown that for normally hyperbolic operators that are selfadjoint with respect to a hermitian bundle metric, the Feynman propagators can be constructed to satisfy a positivity property that reflects the existence of Hadamard states in quantum field theory on curved spacetimes. We also give a more direct construction of the Feynman propagators for Dirac-type operators on a globally hyperbolic spacetime. Even though the natural bundle metric on spinors is not positive-definite, in this case, we can give a direct microlocal construction of a Feynman propagator that satisfies positivity. △ Less

Submitted 19 December, 2024; v1 submitted 17 December, 2020; originally announced December 2020.

Comments: Typos and inaccuracies corrected; references updated. Published version modulo formatting

MSC Class: 35S30; 58J40; 81T20

Journal ref: Communications in Analysis and Geometry 32 (7), 1811 (2024)

Local Index Theory for Lorentzian Manifolds

Authors: Christian Baer, Alexander Strohmaier

Abstract: Index theory for Lorentzian Dirac operators is a young subject with significant differences to elliptic index theory. It is based on microlocal analysis instead of standard elliptic theory and one of the main features is that a nontrivial index is caused by topologically nontrivial dynamics rather than nontrivial topology of the base manifold. In this paper we establish a local index formula for L… ▽ More Index theory for Lorentzian Dirac operators is a young subject with significant differences to elliptic index theory. It is based on microlocal analysis instead of standard elliptic theory and one of the main features is that a nontrivial index is caused by topologically nontrivial dynamics rather than nontrivial topology of the base manifold. In this paper we establish a local index formula for Lorentzian Dirac-type operators on globally hyperbolic spacetimes. This local formula implies an index theorem for general Dirac-type operators on spatially compact spacetimes with Atiyah-Patodi-Singer boundary conditions on Cauchy hypersurfaces. This is significantly more general than the previously known theorems that require the compatibility of the connection with Clifford multiplication and the spatial Dirac operator on the Cauchy hypersurface to be selfadjoint with respect to a positive definite inner product. △ Less

Submitted 27 July, 2023; v1 submitted 2 December, 2020; originally announced December 2020.

Comments: Various improvements to the presentation. To appear in Annales scientifiques de l'École normale supérieure

MSC Class: Primary 58J20; 58J45; secondary 35L02; 35L05; 58J32

Journal ref: Annales Scientifiques de l'École Normale Supérieure 57 (2024), 1693-1752

The classical and quantum photon field for non-compact manifolds with boundary and in possibly inhomogeneous media

Authors: Alexander Strohmaier

Abstract: In this article I give a rigorous construction of the classical and quantum photon field on non-compact manifolds with boundary and in possibly inhomogeneous media. Such a construction is complicated by the presence of zero-modes that may appear in the presence of non-trivial topology of the manifold or the boundary. An important special case is $\mathbb{R}^3$ with obstacles. In this case the zero… ▽ More In this article I give a rigorous construction of the classical and quantum photon field on non-compact manifolds with boundary and in possibly inhomogeneous media. Such a construction is complicated by the presence of zero-modes that may appear in the presence of non-trivial topology of the manifold or the boundary. An important special case is $\mathbb{R}^3$ with obstacles. In this case the zero modes have a direct interpretation in terms of the topology of the obstacle. I give a formula for the renormalised stress energy tensor in terms of an integral kernel of an operator defined by spectral calculus of the Laplace Beltrami operator on differential forms with relative boundary conditions. △ Less

Submitted 31 July, 2021; v1 submitted 25 November, 2020; originally announced November 2020.

Comments: 32 pages, 2 figures, subtantial revision

MSC Class: 81T20; 35Q61; 81T55; 58A14

Analytic properties of heat equation solutions and reachable sets

Authors: Alexander Strohmaier, Alden Waters

Abstract: There recently has been some interest in the space of functions on an interval satisfying the heat equation for positive time in the interior of this interval. Such functions were characterised as being analytic on a square with the original interval as its diagonal. In this short note we provide a direct argument that the analogue of this result holds in any dimension. For the heat equation on a… ▽ More There recently has been some interest in the space of functions on an interval satisfying the heat equation for positive time in the interior of this interval. Such functions were characterised as being analytic on a square with the original interval as its diagonal. In this short note we provide a direct argument that the analogue of this result holds in any dimension. For the heat equation on a bounded Lipschitz domain $Ω\subset \mathbb{R}^d$ at positive time all solutions are analytically extendable to a geometrically determined subdomain $\mathcal{E}(Ω)$ of $\mathbb{C}^d$ containing $Ω$. This domain is sharp in the sense that there is no larger domain for which this is true. If $Ω$ is a ball we prove an almost converse of this theorem. Any function that is analytic in an open neighborhood of $\mathcal{E}(Ω)$ is reachable in the sense that it can be obtained from a solution of the heat equation at positive time. This is based on an analysis of the convergence of heat equation solutions in the complex domain using the boundary layer potential method for the heat equation. The converse theorem is obtained using a Wick rotation into the complex domain that is justified by our results. This gives a simple explanation for the shapes appearing in the one-dimensional analysis of the problem in the literature. It also provides a new short and conceptual proof in that case. △ Less

Submitted 27 April, 2022; v1 submitted 10 June, 2020; originally announced June 2020.

Comments: 16 pages 1 figure, some additional explanations and references added

MSC Class: 35R30; 58J35; 93B07

A relative trace formula for obstacle scattering

Authors: Florian Hanisch, Alexander Strohmaier, Alden Waters

Abstract: We consider the case of scattering of several obstacles in $\mathbb{R}^d$ for $d \geq 2$. In this setting the absolutely continuous part of the Laplace operator $Δ$ with Dirichlet boundary conditions and the free Laplace operator $Δ_0$ are unitarily equivalent. For suitable functions that decay sufficiently fast we have that the difference $g(Δ)-g(Δ_0)$ is a trace-class operator and its trace is d… ▽ More We consider the case of scattering of several obstacles in $\mathbb{R}^d$ for $d \geq 2$. In this setting the absolutely continuous part of the Laplace operator $Δ$ with Dirichlet boundary conditions and the free Laplace operator $Δ_0$ are unitarily equivalent. For suitable functions that decay sufficiently fast we have that the difference $g(Δ)-g(Δ_0)$ is a trace-class operator and its trace is described by the Krein spectral shift function. In this paper we study the contribution to the trace (and hence the Krein spectral shift function) that arises from assembling several obstacles relative to a setting where the obstacles are completely separated. In the case of two obstacles we consider the Laplace operators $Δ_1$ and $Δ_2$ obtained by imposing Dirichlet boundary conditions only on one of the objects. Our main result in this case states that then $g(Δ) - g(Δ_1) - g(Δ_2) + g(Δ_0)$ is a trace class operator for a much larger class of functions (including functions of polynomial growth) and that this trace may still be computed by a modification of the Birman-Krein formula. In case $g(x)=x^\frac{1}{2}$ the relative trace has a physical meaning as the vacuum energy of the massless scalar field and is expressible as an integral involving boundary layer operators. Such integrals have been derived in the physics literature using non-rigorous path integral derivations and our formula provides both a rigorous justification as well as a generalisation. △ Less

Submitted 20 June, 2022; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: 33 pages, 1 figure, small typos corrected

Semi-classical mass asymptotics on stationary spacetimes

Authors: Alexander Strohmaier, Steve Zelditch

Abstract: We study the spectrum $\{λ_j(m)\}_{j=1}^{\infty}$ of a timelike Killing vector field $Z$ acting as a differential operator $D_Z$ on the Hilbert space of solutions of the massive Klein-Gordon equation $(\Box_g + m^2) u = 0$ on a globally hyperbolic stationary spacetime $(M, g)$ with compact Cauchy hypersurface. The inverse mass $m^{-1}$ is formally like the Planck constant in a Schrödinger equation… ▽ More We study the spectrum $\{λ_j(m)\}_{j=1}^{\infty}$ of a timelike Killing vector field $Z$ acting as a differential operator $D_Z$ on the Hilbert space of solutions of the massive Klein-Gordon equation $(\Box_g + m^2) u = 0$ on a globally hyperbolic stationary spacetime $(M, g)$ with compact Cauchy hypersurface. The inverse mass $m^{-1}$ is formally like the Planck constant in a Schrödinger equation, and we give Weyl asymptotics as $m \to \infty$ for the number $$N_{ν, C}(m)= \# \{j \mid \frac{λ_j(m)}{m} \in [ν- \frac{C}{m}, ν+ \frac{C}{m} ]\}$$ for a given $C > 0$. The semi-classical mass asymptotics are governed by the dynamics of the Killing flow $e^{tZ} $ on the hypersurface in the space of mass $1$ geodesics $γ$ where $\langle \dotγ, Z \rangle= ν$. △ Less

Submitted 31 August, 2020; v1 submitted 3 February, 2020; originally announced February 2020.

Comments: to appear in Indagationes Mathematicae, special volume in honour of Hans Duistermaat

Journal ref: Indagationes Mathematicae 32 (2021), 323-363, Special issue in memory of Hans Duistermaat

Geometric and Obstacle Scattering at Low Energy

Authors: Alexander Strohmaier, Alden Waters

Abstract: We consider scattering theory of the Laplace Beltrami operator on differential forms on a Riemannian manifold that is Euclidean at infinity. The manifold may have several boundary components caused by obstacles at which relative boundary conditions are imposed. Scattering takes place because of the presence of these obstacles and possible non-trivial topology and geometry. Unlike in the case of fu… ▽ More We consider scattering theory of the Laplace Beltrami operator on differential forms on a Riemannian manifold that is Euclidean at infinity. The manifold may have several boundary components caused by obstacles at which relative boundary conditions are imposed. Scattering takes place because of the presence of these obstacles and possible non-trivial topology and geometry. Unlike in the case of functions eigenvalues generally exist at the bottom of the continuous spectrum and the corresponding eigenforms represent cohomology classes. We show that these eigenforms appear in the expansion of the resolvent, the scattering matrix, and the spectral measure in terms of the spectral parameter $λ$ near zero, and we determine the first terms in this expansion explicitly. In dimension two an additional cohomology class appears as a resonant state in the presence of an obstacle. In even dimensions the expansion is in terms of $λ$ and $\log λ$. The theory of Hahn holomorphic functions is used to describe these expansions effectively. We also give a Birman-Krein formula in this context. The case of one forms with relative boundary conditions has direct applications in physics as it describes the scattering of electromagnetic waves. △ Less

Submitted 19 May, 2020; v1 submitted 2 July, 2019; originally announced July 2019.

Comments: 60 pages, 1 figure, presentation restructered, typos corrected

MSC Class: 58J50; 35P25; 58A10

Computations of eigenvalues and resonances on perturbed hyperbolic surfaces with cusps

Authors: Michael Levitin, Alexander Strohmaier

Abstract: In this paper we describe a simple method that allows for a fast direct computation of the scattering matrix for a surface with hyperbolic cusps from the Neumann-to-Dirichlet map on the compact manifold with boundary obtained by removing the cusps. We illustrate that even if the Neumann-to-Dirichlet map is obtained by a Finite Element Method (FEM) one can achieve good accuracy for the scattering m… ▽ More In this paper we describe a simple method that allows for a fast direct computation of the scattering matrix for a surface with hyperbolic cusps from the Neumann-to-Dirichlet map on the compact manifold with boundary obtained by removing the cusps. We illustrate that even if the Neumann-to-Dirichlet map is obtained by a Finite Element Method (FEM) one can achieve good accuracy for the scattering matrix. We give various interesting examples of how this can be used to investigate the behaviour of resonances under conformal perturbations or when moving in Teichmüller space. For example, based on numerical experiments we rediscover the four arithmetic surfaces of genus one with one cusp. This demonstrates that it is possible to identify arithmetic objects using FEM. △ Less

Submitted 18 June, 2019; v1 submitted 13 December, 2018; originally announced December 2018.

Comments: bibliography updated; subsection 6.2 added; 38 pages; 17 figures; 7 tables; external links to 6 videos; to appear in IMRN

MSC Class: 58J50 (Primary) 35P25; 11F72; 65N25; 65N30 (Secondary)

A Gutzwiller trace formula for stationary space-times

Authors: Alexander Strohmaier, Steve Zelditch

Abstract: We give a relativistic generalization of the Gutzwiller-Duistermaat-Guillemin trace formula for the wave group of a compact Riemannian manifold to globally hyperbolic stationary space-times with compact Cauchy hypersurfaces. We introduce several (essentially equivalent) notions of trace of self-adjoint operators on the null-space $\ker \Box$ of the wave operator and define $U(t)$ to be translation… ▽ More We give a relativistic generalization of the Gutzwiller-Duistermaat-Guillemin trace formula for the wave group of a compact Riemannian manifold to globally hyperbolic stationary space-times with compact Cauchy hypersurfaces. We introduce several (essentially equivalent) notions of trace of self-adjoint operators on the null-space $\ker \Box$ of the wave operator and define $U(t)$ to be translation by the flow $e^{t Z}$ of the timelike Killing vector field $Z$ on $\Box$. The spectrum of $Z$ on $\ker \Box$ is discrete and the singularities of $\rm{Tr}\;e^{t Z} |_{\ker \Box}$ occur at periods of periodic orbits of $\exp t Z$ on the symplectic manifold of null geodesics. The trace formula gives a Weyl law for the eigenvalues of $Z$ on $\ker \Box$. △ Less

Submitted 6 October, 2020; v1 submitted 25 August, 2018; originally announced August 2018.

Comments: 47 pages, typos corrected and presentation restructured

MSC Class: 35P20; 81Q10; 35S30; 81T20

Journal ref: Advances in Mathematics, Volume 376, 2021, 107434

Computation of Eigenvalues, Spectral Zeta Functions and Zeta-Determinants on Hyperbolic Surfaces

Authors: Alexander Strohmaier

Abstract: These are lecture notes from a series of three lectures given at the summer school "Geometric and Computational Spectral Theory" in Montreal in June 2015. The aim of the lecture was to explain the mathematical theory behind computations of eigenvalues and spectral determinants in geometrically non-trivial contexts. These are lecture notes from a series of three lectures given at the summer school "Geometric and Computational Spectral Theory" in Montreal in June 2015. The aim of the lecture was to explain the mathematical theory behind computations of eigenvalues and spectral determinants in geometrically non-trivial contexts. △ Less

Submitted 8 September, 2016; v1 submitted 10 April, 2016; originally announced April 2016.

Comments: 33 pages, LaTeX with sample Mathematica code included, some typos corrected

Heat Kernel estimates for general boundary problems

Authors: Liangpan Li, Alexander Strohmaier

Abstract: We show that not feeling the boundary estimates for heat kernels hold for any non-negative self-adjoint extension of the Laplace operator acting on vector-valued compactly supported functions on a domain in $\mathbb{R}^d$. They are therefore valid for any choice of boundary condition and we show that the implied constants can be chosen independent of the self-adjoint extension. The method of proof… ▽ More We show that not feeling the boundary estimates for heat kernels hold for any non-negative self-adjoint extension of the Laplace operator acting on vector-valued compactly supported functions on a domain in $\mathbb{R}^d$. They are therefore valid for any choice of boundary condition and we show that the implied constants can be chosen independent of the self-adjoint extension. The method of proof is very general and is based on finite propagation speed estimates and explicit Fourier Tauberian theorems obtained by Y. Safarov. △ Less

Submitted 4 April, 2016; originally announced April 2016.

Comments: 13 pages, latex

MSC Class: 35K08

The local counting function of operators of Dirac and Laplace type

Authors: Liangpan Li, Alexander Strohmaier

Abstract: Let $P$ be a non-negative self-adjoint Laplace type operator acting on sections of a hermitian vector bundle over a closed Riemannian manifold. In this paper we review the close relations between various $P$-related coefficients such as the mollified spectral counting coefficients, the heat trace coefficients, the resolvent trace coefficients, the residues of the spectral zeta function as well as… ▽ More Let $P$ be a non-negative self-adjoint Laplace type operator acting on sections of a hermitian vector bundle over a closed Riemannian manifold. In this paper we review the close relations between various $P$-related coefficients such as the mollified spectral counting coefficients, the heat trace coefficients, the resolvent trace coefficients, the residues of the spectral zeta function as well as certain Wodzicki residues. We then use the Wodzicki residue to obtain results about the local counting function of operators of Dirac and Laplace type. In particular, we express the second term of the mollified spectral counting function of Dirac type operators in terms of geometric quantities and characterize those Dirac type operators for which this coefficient vanishes. △ Less

Submitted 1 September, 2015; originally announced September 2015.

Comments: 36 pages

MSC Class: 35P20; 35R01; 35Q41; 58J42

A rigorous geometric derivation of the chiral anomaly in curved backgrounds

Authors: Christian Baer, Alexander Strohmaier

Abstract: We discuss the chiral anomaly for a Weyl field in a curved background and show that a novel index theorem for the Lorentzian Dirac operator can be applied to describe the gravitational chiral anomaly. A formula for the total charge generated by the gravitational and gauge field background is derived in a mathematically rigorous manner. It contains a term identical to the integrand in the Atiyah-Si… ▽ More We discuss the chiral anomaly for a Weyl field in a curved background and show that a novel index theorem for the Lorentzian Dirac operator can be applied to describe the gravitational chiral anomaly. A formula for the total charge generated by the gravitational and gauge field background is derived in a mathematically rigorous manner. It contains a term identical to the integrand in the Atiyah-Singer index theorem and another term involving the $η$-invariant of the Cauchy hypersurfaces. △ Less

Submitted 1 April, 2016; v1 submitted 21 August, 2015; originally announced August 2015.

Comments: references added, introduction rewritten, examples added, published version

MSC Class: 81T50; 81T20

Journal ref: Commun. Math. Phys. 347 (2016), 703-721

An index theorem for Lorentzian manifolds with compact spacelike Cauchy boundary

Authors: Christian Baer, Alexander Strohmaier

Abstract: We show that the Dirac operator on a compact globally hyperbolic Lorentzian spacetime with spacelike Cauchy boundary is a Fredholm operator if appropriate boundary conditions are imposed. We prove that the index of this operator is given by the same expression as in the index formula of Atiyah-Patodi-Singer for Riemannian manifolds with boundary. The index is also shown to equal that of a certain… ▽ More We show that the Dirac operator on a compact globally hyperbolic Lorentzian spacetime with spacelike Cauchy boundary is a Fredholm operator if appropriate boundary conditions are imposed. We prove that the index of this operator is given by the same expression as in the index formula of Atiyah-Patodi-Singer for Riemannian manifolds with boundary. The index is also shown to equal that of a certain operator constructed from the evolution operator and a spectral projection on the boundary. In case the metric is of product type near the boundary a Feynman parametrix is constructed. △ Less

Submitted 28 September, 2019; v1 submitted 2 June, 2015; originally announced June 2015.

Comments: published version

MSC Class: Primary 58J20; 58J45; secondary 35L03; 58J30; 58J40

Journal ref: American Journal of Mathematics 141 (5), 1421-1455, 2019

Riesz means of the counting function of the Laplace operator on compact manifolds of non-positive curvature

Authors: Kamil Mroz, Alexander Strohmaier

Abstract: Let $(M, {g})$ be a compact, $d$-dimensional Riemannian manifold without boundary. Suppose further that $(M,g)$ is either two dimensional and has no conjugate points or $(M,g)$ has non-positive sectional curvature. The goal of this note is to show that the long time parametrix obtained for such manifolds by Bérard can be used to prove a logarithmic improvement for the remainder term of the Riesz m… ▽ More Let $(M, {g})$ be a compact, $d$-dimensional Riemannian manifold without boundary. Suppose further that $(M,g)$ is either two dimensional and has no conjugate points or $(M,g)$ has non-positive sectional curvature. The goal of this note is to show that the long time parametrix obtained for such manifolds by Bérard can be used to prove a logarithmic improvement for the remainder term of the Riesz means of the counting function of the Laplace operator. △ Less

Submitted 20 March, 2015; v1 submitted 5 September, 2014; originally announced September 2014.

Comments: 9 pages, some typos and minor errors corrected

MSC Class: 35P20

Gupta-Bleuler Quantization of the Maxwell Field in Globally Hyperbolic Space-Times

Authors: Felix Finster, Alexander Strohmaier

Abstract: We give a complete framework for the Gupta-Bleuler quantization of the free electromagnetic field on globally hyperbolic space-times. We describe one-particle structures that give rise to states satisfying the microlocal spectrum condition. The field algebras in the so-called Gupta-Bleuler representations satisfy the time-slice axiom, and the corresponding vacuum states satisfy the microlocal spec… ▽ More We give a complete framework for the Gupta-Bleuler quantization of the free electromagnetic field on globally hyperbolic space-times. We describe one-particle structures that give rise to states satisfying the microlocal spectrum condition. The field algebras in the so-called Gupta-Bleuler representations satisfy the time-slice axiom, and the corresponding vacuum states satisfy the microlocal spectrum condition. We also give an explicit construction of ground states on ultrastatic space-times. Unlike previous constructions, our method does not require a spectral gap or the absence of zero modes. The only requirement, the absence of zero-resonance states, is shown to be stable under compact perturbations of topology and metric. Usual deformation arguments based on the time-slice axiom then lead to a construction of Gupta-Bleuler representations on a large class of globally hyperbolic space-times. As usual, the field algebra is represented on an indefinite inner product space, in which the physical states form a positive semi-definite subspace. Gauge transformations are incorporated in such a way that the field can be coupled perturbatively to a Dirac field. Our approach does not require any topological restrictions on the underlying space-time. △ Less

Submitted 7 July, 2020; v1 submitted 5 July, 2013; originally announced July 2013.

Comments: 28 pages, LaTeX, this version corrects a misleading typo in the definition of the function spaces in Section 5.1 and clarifies some details of the construction

Journal ref: Ann. Henri Poincaré 16 (2015) 1837-1868, erratum Ann. Henri Poincaré 19 (2018) 323-324

Explicit bounds on eigenfunctions and spectral functions on manifolds hyperbolic near a point

Authors: Kamil Mroz, Alexander Strohmaier

Abstract: We derive explicit bounds for the remainder term in the local Weyl law for locally hyperbolic manifolds, we also give the estimates of the derivative of this remainder. We use these to obtain explicit bounds for the C^k-norms of the L^2-normalised eigenfunctions in the case spectrum of the Laplacian is discrete, e.g. for closed Riemannian manifolds. We also derive bounds for the local heat trace.… ▽ More We derive explicit bounds for the remainder term in the local Weyl law for locally hyperbolic manifolds, we also give the estimates of the derivative of this remainder. We use these to obtain explicit bounds for the C^k-norms of the L^2-normalised eigenfunctions in the case spectrum of the Laplacian is discrete, e.g. for closed Riemannian manifolds. We also derive bounds for the local heat trace. Our estimates are purely local and therefore also hold for any manifold at points near which the metric is locally hyperbolic. △ Less

Submitted 16 May, 2013; originally announced May 2013.

Comments: 23 pages, 2 figures

MSC Class: 35P15; 35P20

Journal ref: J. London Math. Soc. (2014) 89 (3): 917-940

The semiclassical theory of discontinuous systems and ray-splitting billiards

Authors: Dmitry Jakobson, Yuri Safarov, Alexander Strohmaier, Yves Colin de Verdiere

Abstract: We analyze the semiclassical limit of spectral theory on manifolds whose metrics have jump-like discontinuities. Such systems are quite different from manifolds with smooth Riemannian metrics because the semiclassical limit does not relate to a classical flow but rather to branching (ray-splitting) billiard dynamics. In order to describe this system we introduce a dynamical system on the space of… ▽ More We analyze the semiclassical limit of spectral theory on manifolds whose metrics have jump-like discontinuities. Such systems are quite different from manifolds with smooth Riemannian metrics because the semiclassical limit does not relate to a classical flow but rather to branching (ray-splitting) billiard dynamics. In order to describe this system we introduce a dynamical system on the space of functions on phase space. To identify the quantum dynamics in the semiclassical limit we compute the principal symbols of the Fourier integral operators associated to reflected and refracted geodesic rays and identify the relation between classical and quantum dynamics. In particular we prove a quantum ergodicity theorem for discontinuous systems. In order to do this we introduce a new notion of ergodicity for the ray-splitting dynamics. The paper contains an Appendix written by Yves Colin de Verdiere in which a non-trivial class of examples is constructed. △ Less

Submitted 5 February, 2014; v1 submitted 28 January, 2013; originally announced January 2013.

Comments: 51 pages, 6 figures, proof in Appendix A corrected and some more typos fixed, error in the formula for the transmission and reflection coefficient due to different choice of boundary conditions corrected, Appendix by Yves Colin de Verdiere

MSC Class: 81Q50

Journal ref: American Journal of Mathematics, Volume 137, Number 4, August 2015, pp. 859-906

The theory of Hahn meromorphic functions, a holomorphic Fredholm theorem and its applications

Authors: Jörn Müller, Alexander Strohmaier

Abstract: We introduce a class of functions near zero on the logarithmic cover of the complex plane that have convergent expansions into generalized power series. The construction covers cases where non-integer powers of $z$ and also terms containing $\log z$ can appear. We show that under natural assumptions some important theorems from complex analysis carry over to the class of these functions. In partic… ▽ More We introduce a class of functions near zero on the logarithmic cover of the complex plane that have convergent expansions into generalized power series. The construction covers cases where non-integer powers of $z$ and also terms containing $\log z$ can appear. We show that under natural assumptions some important theorems from complex analysis carry over to the class of these functions. In particular it is possible to define a field of functions that generalize meromorphic functions and one can formulate an analytic Fredholm theorem in this class. We show that this modified analytic Fredholm theorem can be applied in spectral theory to prove convergent expansions of the resolvent for Bessel type operators and Laplace-Beltrami operators for manifolds that are Euclidean at infinity. These results are important in scattering theory as they are the key step to establish analyticity of the scattering matrix and the existence of generalized eigenfunctions at points in the spectrum. △ Less

Submitted 22 November, 2013; v1 submitted 1 May, 2012; originally announced May 2012.

Comments: 27 pages

Journal ref: Analysis & PDE Vol. 7 (2014), No. 3, 745-770

An Algorithm for the Computation of Eigenvalues, Spectral Zeta Functions and Zeta-Determinants on Hyperbolic Surfaces

Authors: Alexander Strohmaier, Ville Uski

Abstract: We present a rigorous scheme that makes it possible to compute eigenvalues of the Laplace operator on hyperbolic surfaces within a given precision. The method is based on an adaptation of the method of particular solutions to the case of locally symmetric spaces and on explicit estimates for the approximation of eigenfunctions on hyperbolic surfaces by certain basis functions. It can be applied to… ▽ More We present a rigorous scheme that makes it possible to compute eigenvalues of the Laplace operator on hyperbolic surfaces within a given precision. The method is based on an adaptation of the method of particular solutions to the case of locally symmetric spaces and on explicit estimates for the approximation of eigenfunctions on hyperbolic surfaces by certain basis functions. It can be applied to check whether or not there is an eigenvalue in an ε-neighborhood of a given number λ>0. This makes it possible to find all the eigenvalues in a specified interval, up to a given precision with rigorous error estimates. The method converges exponentially fast with the number of basis functions used. Combining the knowledge of the eigenvalues with the Selberg trace formula we are able to compute values and derivatives of the spectral zeta function again with error bounds. As an example we calculate the spectral determinant and the Casimir energy of the Bolza surface and other surfaces. △ Less

Submitted 17 November, 2017; v1 submitted 10 October, 2011; originally announced October 2011.

Comments: 48 pages, 8 figures, LaTeX, some more typos corrected, more Figures added, some explanations are more detailed now, Fenchel-Nielsen coordinates and numbers for the surface with symmetry group of order 10 corrected, datafiles are now available as ancillary files

MSC Class: 11F72; 11M36; 35P15; 58J52

Journal ref: Communications in Mathematical Physics February 2013, Volume 317, Issue 3, pp 827-869

Geometry of the high energy limit of differential operators on vector bundles

Authors: Alexander Strohmaier

Abstract: At high energies relativistic quantum systems describing scalar particles behave classically. This observation plays an important role in the investigation of eigenfunctions of the Laplace operator on manifolds for large energies and allows to establish relations to the dynamics of the corresponding classical system. Relativistic quantum systems describing particles with spin such as the Dirac equ… ▽ More At high energies relativistic quantum systems describing scalar particles behave classically. This observation plays an important role in the investigation of eigenfunctions of the Laplace operator on manifolds for large energies and allows to establish relations to the dynamics of the corresponding classical system. Relativistic quantum systems describing particles with spin such as the Dirac equation do not behave classically at high energies. Nonetheless, the dynamical properties of the classical frame flow determine the behavior of eigensections of the corresponding operator for large energies. We review what a high energy limit is and how it can be described for geometric operators. △ Less

Submitted 9 September, 2011; originally announced September 2011.

Comments: 19 pages

Journal ref: Spectrum and dynamics, 43--56, CRM Proc. Lecture Notes, 52, Amer. Math. Soc., Providence, RI, 2010

Scattering theory of the $p$-form Laplacian on manifolds with generalized cusps

Authors: E. Hunsicker, N. Roidos, A. Strohmaier

Abstract: In this paper we consider scattering theory on manifolds with special cusp-like metric singularities of warped product type g=dx^2 + x^(-2a)h, where a>0. These metrics form a natural subset in the class of metrics with warped product singularities and they can be thought of as interpolating between hyperbolic and cylindrical metrics. We prove that the resolvent of the Laplace operator acting on p-… ▽ More In this paper we consider scattering theory on manifolds with special cusp-like metric singularities of warped product type g=dx^2 + x^(-2a)h, where a>0. These metrics form a natural subset in the class of metrics with warped product singularities and they can be thought of as interpolating between hyperbolic and cylindrical metrics. We prove that the resolvent of the Laplace operator acting on p-forms on such a manifold extends to a meromorphic function defined on the logarithmic cover of the complex plane with values in the bounded operators between weighted L^2-spaces. This allows for a construction of generalized eigenforms for the Laplace operator as well as for a meromorphic continuation of the scattering matrix. We give a precise description of the asymptotic expansion of generalized eigenforms on the cusp and find that the scattering matrix satisfies a functional equation. △ Less

Submitted 18 February, 2014; v1 submitted 15 June, 2011; originally announced June 2011.

Comments: 29 pages

MSC Class: 58G25

Journal ref: J. Spectr. Theory 4, no. 1, 177-209 (2014)

On the Noncommutative Residue for Projective Pseudodifferential Operators

Authors: Jörg Seiler, Alexander Strohmaier

Abstract: A well known result on pseudodifferential operators states that the noncommutative residue (Wodzicki residue) of a pseudodifferential projection vanishes. This statement is non-local and implies the regularity of the eta invariant at zero of Dirac type operators. We prove that in a filtered algebra the value of a projection under any residual trace depends only on the principal part of the project… ▽ More A well known result on pseudodifferential operators states that the noncommutative residue (Wodzicki residue) of a pseudodifferential projection vanishes. This statement is non-local and implies the regularity of the eta invariant at zero of Dirac type operators. We prove that in a filtered algebra the value of a projection under any residual trace depends only on the principal part of the projection. This general, purely algebraic statement applied to the algebra of projective pseudodifferential operators implies that the noncommutative residue factors to a map from the twisted K-theory of the co-sphere bundle. We use arguments from twisted K-theory to show that this map vanishes, thus showing that the noncommutative residue of a projective pseudodifferential projection vanishes. This also gives a very short proof in the classical setting. △ Less

Submitted 7 May, 2014; v1 submitted 21 May, 2010; originally announced May 2010.

Comments: 16 pages, LaTeX, third version, new proof of Proposition 3.4, Section 7 removed

MSC Class: 58J42 (Primary); 47G30 (Secondary); 19L50

Journal ref: J. Differential Geom. Volume 94, Number 3 (2013), 505-519

Scattering at low energies on manifolds with cylindrical ends and stable systoles

Authors: Werner Mueller, Alexander Strohmaier

Abstract: Scattering theory for p-forms on manifolds with cylindrical ends has a direct interpretation in terms of cohomology. Using the Hodge isomorphism,the scattering matrix at low energy may be regarded as operator on the cohomology of the boundary. Its value at zero describes the image of the absolute cohomology in the cohomology of the boundary. We show that the so-called scattering length, the Eisenb… ▽ More Scattering theory for p-forms on manifolds with cylindrical ends has a direct interpretation in terms of cohomology. Using the Hodge isomorphism,the scattering matrix at low energy may be regarded as operator on the cohomology of the boundary. Its value at zero describes the image of the absolute cohomology in the cohomology of the boundary. We show that the so-called scattering length, the Eisenbud-Wigner time delay at zero energy, has a cohomological interpretation as well. Namely, it relates the norm of a cohomology class on the boundary to the norm of its image under the connecting homomorphism in the long exact sequence in cohomology. An interesting consequence of this is that one can estimate the scattering lengths in terms of geometric data like the volumes of certain homological systoles. △ Less

Submitted 14 November, 2017; v1 submitted 20 July, 2009; originally announced July 2009.

Comments: 40 pages, 2 figures, LaTeX; this version corrects a typo in the definition of the relative boundary condition in Section 3 and updates Remark 2.13

MSC Class: 58J50; 35P25; 49Q15

Journal ref: Geometric and Functional Analysis, 20, pp.741-778, 2010

On the Spectrum of geometric operators on Kähler manifolds

Authors: Dmitry Jakobson, Alexander Strohmaier, Steve Zelditch

Abstract: On a compact Kähler manifold there is a canonical action of a Lie-superalgebra on the space of differential forms. It is generated by the differentials, the Lefschetz operator and the adjoints of these operators. We determine the asymptotic distribution of irreducible representations of this Lie-superalgebra on the eigenspaces of the Laplace-Beltrami operator. Because of the high degree of symme… ▽ More On a compact Kähler manifold there is a canonical action of a Lie-superalgebra on the space of differential forms. It is generated by the differentials, the Lefschetz operator and the adjoints of these operators. We determine the asymptotic distribution of irreducible representations of this Lie-superalgebra on the eigenspaces of the Laplace-Beltrami operator. Because of the high degree of symmetry the Laplace-Beltrami operator on forms can not be quantum ergodic. We show that after taking these symmetries into account quantum ergodicity holds for the Laplace-Beltrami operator and for the Spin^c-Dirac operators if the unitary frame flow is ergodic. The assumptions for our theorem are known to be satisfied for instance for negatively curved Kähler manifolds of odd complex dimension. △ Less

Submitted 15 May, 2008; originally announced May 2008.

Comments: 19 pages, 1 figure, uses dcpic.sty

MSC Class: 81Q50

Journal ref: Journal of modern Dynamics, 2(4), pp.701-718, 2008

High energy limits of Laplace-type and Dirac-type eigenfunctions and frame flows

Authors: Dmitry Jakobson, Alexander Strohmaier

Abstract: We relate high-energy limits of Laplace-type and Dirac-type operators to frame flows on the corresponding manifolds, and show that the ergodicity of frame flows implies quantum ergodicity in an appropriate sense for those operators. Observables for the corresponding quantum systems are matrix-valued pseudodifferential operators and therefore the system remains non-commutative in the high-energy… ▽ More We relate high-energy limits of Laplace-type and Dirac-type operators to frame flows on the corresponding manifolds, and show that the ergodicity of frame flows implies quantum ergodicity in an appropriate sense for those operators. Observables for the corresponding quantum systems are matrix-valued pseudodifferential operators and therefore the system remains non-commutative in the high-energy limit. We discuss to what extent the space of stationary high-energy states behaves classically. △ Less

Submitted 25 July, 2006; originally announced July 2006.

Comments: 26 pages, latex2e

MSC Class: 81Q50; 35P20; 37D30; 58J50; 81Q005

Journal ref: Communications in Mathematical Physics, 270(3), pp.813-833, 2007

Huber's theorem for hyperbolic orbisurfaces

Authors: Emily B. Dryden, Alexander Strohmaier

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. 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. △ Less

Submitted 30 July, 2007; v1 submitted 28 April, 2005; originally announced April 2005.

Comments: 6 pages; v2: more explanation of length spectrum, to appear in Canadian Mathematical Bulletin

MSC Class: 58J53; 11F72

Journal ref: Canadian Mathematical Bulletin, 52, pp.66-71, 2009

Analytic Continuation of Resolvent Kernels on noncompact Symmetric Spaces

Authors: Alexander Strohmaier

Abstract: Let X=G/K be a symmetric space of noncompact type and let L be the Laplacian associated with a G-invariant metric on X. We show that the resolvent kernel of L admits a holomorphic extension to a Riemann surface depending on the rank of the symmetric space. This Riemann surface is a branched cover of the complex plane with a certain part of the real axis removed. It has a branching point at the b… ▽ More Let X=G/K be a symmetric space of noncompact type and let L be the Laplacian associated with a G-invariant metric on X. We show that the resolvent kernel of L admits a holomorphic extension to a Riemann surface depending on the rank of the symmetric space. This Riemann surface is a branched cover of the complex plane with a certain part of the real axis removed. It has a branching point at the bottom of the spectrum of L. It is further shown that this branching point is quadratic if the rank of X is odd, and is logarithmic otherwise. In case G has only one conjugacy class of Cartan subalgebras the resolvent kernel extends to a holomorphic function on a branched cover of the complex plane with the only branching point being the bottom of the spectrum. △ Less

Submitted 26 October, 2003; originally announced October 2003.

Comments: 16 pages, 3 figures, LaTeX

MSC Class: 58J50; 11F72

Journal ref: Mathematische Zeitschrift, 250(2), pp.411-425, 2005

On Noncommutative and semi-Riemannian Geometry

Authors: Alexander Strohmaier

Abstract: We introduce the notion of a semi-Riemannian spectral triple which generalizes the notion of spectral triple and allows for a treatment of semi-Riemannian manifolds within a noncommutative setting. It turns out that the relevant spaces in noncommutative semi-Riemannian geometry are not Hilbert spaces any more but Krein spaces, and Dirac operators are Krein-selfadjoint. We show that the noncommut… ▽ More We introduce the notion of a semi-Riemannian spectral triple which generalizes the notion of spectral triple and allows for a treatment of semi-Riemannian manifolds within a noncommutative setting. It turns out that the relevant spaces in noncommutative semi-Riemannian geometry are not Hilbert spaces any more but Krein spaces, and Dirac operators are Krein-selfadjoint. We show that the noncommutative tori can be endowed with a semi-Riemannian structure in this way. For the noncommutative tori as well as for semi-Riemannian spin manifolds the dimension, the signature of the metric, and the integral of a function can be recovered from the spectral data. △ Less

Submitted 25 March, 2002; v1 submitted 28 September, 2001; originally announced October 2001.

Comments: 27 pages, LaTeX, fixed typos, changed signature of the metric to properly include the Riemannian case, one reference added

MSC Class: 58B34; 58B99; 46C20; 53C50

Journal ref: J.Geom.Phys. 56 (2006) 175-195

Fuzzy Line Bundles, the Chern Character and Topological Charges over the Fuzzy Sphere

Authors: Harald Grosse, Christian W. Rupp, Alexander Strohmaier

Abstract: Using the theory of quantized equivariant vector bundles over compact coadjoint orbits we determine the Chern characters of all noncommutative line bundles over the fuzzy sphere with regard to its derivation based differential calculus. The associated Chern numbers (topological charges) arise to be non-integer, in the commutative limit the well known integer Chern numbers of the complex line bun… ▽ More Using the theory of quantized equivariant vector bundles over compact coadjoint orbits we determine the Chern characters of all noncommutative line bundles over the fuzzy sphere with regard to its derivation based differential calculus. The associated Chern numbers (topological charges) arise to be non-integer, in the commutative limit the well known integer Chern numbers of the complex line bundles over the 2-sphere are recovered. △ Less

Submitted 7 October, 2002; v1 submitted 23 May, 2001; originally announced May 2001.

Comments: Latex2e, 13 pages, 1 figure. This paper continues and supersedes math-ph/0103003. v2: Typos corrected

MSC Class: 81R60; 55R10

Journal ref: J.Geom.Phys. 42 (2002) 54-63

Semi-Bounded Restrictions of Dirac Type Operators and the Unique Continuation Property

Authors: Christian Baer, Alexander Strohmaier

Abstract: Let M be a connected Riemannian manifold and let D be a Dirac type operator acting on smooth compactly supported sections in a Hermitian vector bundle over M. Suppose D has a self-adjoint extension A in the Hilbert space of square-integrable sections. We show that any $L^2$-section $φ$ contained in a closed A-invariant subspace onto which the restriction of A is semi-bounded has the unique conti… ▽ More Let M be a connected Riemannian manifold and let D be a Dirac type operator acting on smooth compactly supported sections in a Hermitian vector bundle over M. Suppose D has a self-adjoint extension A in the Hilbert space of square-integrable sections. We show that any $L^2$-section $φ$ contained in a closed A-invariant subspace onto which the restriction of A is semi-bounded has the unique continuation property: if $φ$ vanishes on a non-empty open subset of M, then it vanishes on all of M. △ Less

Submitted 11 August, 2000; v1 submitted 3 April, 2000; originally announced April 2000.

Comments: 10 pages, LaTeX, minor corrections, reference added

MSC Class: 35B05; 58J05; 81T20

Journal ref: Diff. Geom. Appl. 15, 175-182 (2001)