Showing 1–50 of 52 results for author: Baer, C

First-order elliptic boundary value problems on manifolds with non-compact boundary

Authors: Christian Baer, Lashi Bandara

Abstract: We consider first-order elliptic differential operators acting on vector bundles over smooth manifolds with smooth boundary, which is permitted to be noncompact. Under very mild assumptions, we obtain a regularity theory for sections in the maximal domain. Under additional geometric assumptions, and assumptions on an adapted boundary operator, we obtain a trace theorem on the maximal domain. This… ▽ More We consider first-order elliptic differential operators acting on vector bundles over smooth manifolds with smooth boundary, which is permitted to be noncompact. Under very mild assumptions, we obtain a regularity theory for sections in the maximal domain. Under additional geometric assumptions, and assumptions on an adapted boundary operator, we obtain a trace theorem on the maximal domain. This allows us to systematically study both local and nonlocal boundary conditions. In particular, the Atiyah-Patodi-Singer boundary condition occurs as a special case. Furthermore, we study contexts which induce semi-Fredholm and Fredholm extensions. △ Less

Submitted 15 February, 2024; v1 submitted 31 January, 2024; originally announced January 2024.

Comments: Reference added, condition (G1) made more precise, minor changes

MSC Class: Primary 35J56; 47A53; 58J05; 58J32; Secondary 46E35; 53C21

The Sem-Lex Benchmark: Modeling ASL Signs and Their Phonemes

Authors: Lee Kezar, Elana Pontecorvo, Adele Daniels, Connor Baer, Ruth Ferster, Lauren Berger, Jesse Thomason, Zed Sevcikova Sehyr, Naomi Caselli

Abstract: Sign language recognition and translation technologies have the potential to increase access and inclusion of deaf signing communities, but research progress is bottlenecked by a lack of representative data. We introduce a new resource for American Sign Language (ASL) modeling, the Sem-Lex Benchmark. The Benchmark is the current largest of its kind, consisting of over 84k videos of isolated sign p… ▽ More Sign language recognition and translation technologies have the potential to increase access and inclusion of deaf signing communities, but research progress is bottlenecked by a lack of representative data. We introduce a new resource for American Sign Language (ASL) modeling, the Sem-Lex Benchmark. The Benchmark is the current largest of its kind, consisting of over 84k videos of isolated sign productions from deaf ASL signers who gave informed consent and received compensation. Human experts aligned these videos with other sign language resources including ASL-LEX, SignBank, and ASL Citizen, enabling useful expansions for sign and phonological feature recognition. We present a suite of experiments which make use of the linguistic information in ASL-LEX, evaluating the practicality and fairness of the Sem-Lex Benchmark for isolated sign recognition (ISR). We use an SL-GCN model to show that the phonological features are recognizable with 85% accuracy, and that they are effective as an auxiliary target to ISR. Learning to recognize phonological features alongside gloss results in a 6% improvement for few-shot ISR accuracy and a 2% improvement for ISR accuracy overall. Instructions for downloading the data can be found at https://github.com/leekezar/SemLex. △ Less

Submitted 29 September, 2023; originally announced October 2023.

Comments: In Proceedings of the ACM Conference on Accessibility (ASSETS) 2023

K-cowaist of manifolds with boundary

Authors: Christian Baer, Bernhard Hanke

Abstract: We extend the K-cowaist inequality to generalized Dirac operators in the sense of Gromov and Lawson and study applications to manifolds with boundary. We extend the K-cowaist inequality to generalized Dirac operators in the sense of Gromov and Lawson and study applications to manifolds with boundary. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Comments: 6 pages

MSC Class: 53C21; 53C23; Secondary: 53C27; 58J20

Scalar curvature rigidity of warped product metrics

Authors: Christian Baer, Simon Brendle, Bernhard Hanke, Yipeng Wang

Abstract: We show scalar-mean curvature rigidity of warped products of round spheres of dimension at least 2 over compact intervals equipped with strictly log-concave war** functions. This generalizes earlier results of Cecchini-Zeidler to all dimensions. Moreover, we show scalar curvature rigidity of round spheres of dimension at least 3 with two antipodal points removed. This resolves a problem in Gromo… ▽ More We show scalar-mean curvature rigidity of warped products of round spheres of dimension at least 2 over compact intervals equipped with strictly log-concave war** functions. This generalizes earlier results of Cecchini-Zeidler to all dimensions. Moreover, we show scalar curvature rigidity of round spheres of dimension at least 3 with two antipodal points removed. This resolves a problem in Gromov's ''Four Lectures'' in all dimensions. Our arguments are based on spin geometry. △ Less

Submitted 18 April, 2024; v1 submitted 6 June, 2023; originally announced June 2023.

Comments: published version

MSC Class: 53C20; 53C21; 53C27

Journal ref: SIGMA 20 (2024), 035, 26 pages

The Cauchy problem for Lorentzian Dirac operators under non-local boundary conditions

Authors: Christian Baer, Penelope Gehring

Abstract: Non-local boundary conditions, such as the Atiyah-Patodi-Singer (APS) conditions, for Dirac operators on Riemannian manifolds are well understood while not much is known for such operators on spacetimes with timelike boundary. We define a class of Lorentzian boundary conditions that are local in time and non-local in the spatial directions and show that they lead to a well-posed Cauchy problem for… ▽ More Non-local boundary conditions, such as the Atiyah-Patodi-Singer (APS) conditions, for Dirac operators on Riemannian manifolds are well understood while not much is known for such operators on spacetimes with timelike boundary. We define a class of Lorentzian boundary conditions that are local in time and non-local in the spatial directions and show that they lead to a well-posed Cauchy problem for the Dirac operator. This applies in particular to the APS conditions imposed on each level set of a given Cauchy temporal function. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Comments: 37 pages, 4 figures

MSC Class: 58J45; 35L50

Remarks on the paper "On Gromov's dihedral extremality and rigidity conjectures" by **min Wang, Zhizhang Xie and Guoliang Yu

Authors: Christian Baer, Bernhard Hanke, Thomas Schick

Abstract: The recent article "On Gromov's dihedral extremality and rigidity conjectures" by **min Wang, Zhizhang Xie and Guoliang Yu makes a number of claims for self-adjoint extensions of Dirac type operators on manifolds with corners under local boundary conditions. We construct a counterexample to an index computation in that paper which affects the proof of its main result stating a generalisation of G… ▽ More The recent article "On Gromov's dihedral extremality and rigidity conjectures" by **min Wang, Zhizhang Xie and Guoliang Yu makes a number of claims for self-adjoint extensions of Dirac type operators on manifolds with corners under local boundary conditions. We construct a counterexample to an index computation in that paper which affects the proof of its main result stating a generalisation of Gromov's dihedral extremality conjecture. △ Less

Submitted 10 February, 2022; originally announced February 2022.

Comments: 4 pages, no figures

Boundary conditions for scalar curvature

Authors: Christian Baer, Bernhard Hanke

Abstract: Based on the Atiyah-Patodi-Singer index formula, we construct an obstruction to positive scalar curvature metrics with mean convex boundaries on spin manifolds of infinite K-area. We also characterize the extremal case. Next we show a general deformation principle for boundary conditions of metrics with lower scalar curvature bounds. This implies that the relaxation of boundary conditions often in… ▽ More Based on the Atiyah-Patodi-Singer index formula, we construct an obstruction to positive scalar curvature metrics with mean convex boundaries on spin manifolds of infinite K-area. We also characterize the extremal case. Next we show a general deformation principle for boundary conditions of metrics with lower scalar curvature bounds. This implies that the relaxation of boundary conditions often induces weak homotopy equivalences of spaces of such metrics. This can be used to refine the smoothing of codimension-one singularites a la Miao and the deformation of boundary conditions a la Brendle-Marques-Neves, among others. Finally, we construct compact manifolds for which the spaces of positive scalar curvature metrics with mean convex boundaries have nontrivial higher homotopy groups. △ Less

Submitted 22 May, 2024; v1 submitted 16 December, 2020; originally announced December 2020.

Comments: Minor typos fixed. Otherwise identical to the published version up to layout

MSC Class: Primary 53C21; 53C23; Secondary: 53C24; 53C27; 58D17; 58J20

Journal ref: In: M. Gromov, B. Lawson (eds), Perspectives in Scalar Curvature, vol. II, World Scientific, pp. 325-377 (2023)

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

The Faddeev-LeVerrier algorithm and the Pfaffian

Authors: Christian Baer

Abstract: We adapt the Faddeev-LeVerrier algorithm for the computation of characteristic polynomials to the computation of the Pfaffian of a skew-symmetric matrix. This yields a very simple, easy to implement and parallelize algorithm of computational cost $O(n^{β+1})$ where $n$ is the size of the matrix and $O(n^β)$ is the cost of multiplying $n\times n$-matrices, $β\in[2,2.37286)$. We compare its performa… ▽ More We adapt the Faddeev-LeVerrier algorithm for the computation of characteristic polynomials to the computation of the Pfaffian of a skew-symmetric matrix. This yields a very simple, easy to implement and parallelize algorithm of computational cost $O(n^{β+1})$ where $n$ is the size of the matrix and $O(n^β)$ is the cost of multiplying $n\times n$-matrices, $β\in[2,2.37286)$. We compare its performance to that of other algorithms and show how it can be used to compute the Euler form of a Riemannian manifold using computer algebra. △ Less

Submitted 5 August, 2021; v1 submitted 10 August, 2020; originally announced August 2020.

Comments: 15 pages, published version, to appear in Linear Algebra and its Applications

MSC Class: 15A15

Journal ref: Linear Algebra and its Applications 630 (2021), 39-55

A Novel Experimental Approach for Nanostructure Analysis: Simultaneous Small Angle X-ray and Neutron Scattering (SAXS/SANS)

Authors: Ezzeldin Metwalli, Klaus Götz, Sebastian Lages, Christian Bär, Tobias Zech, Dennis M. Noll, Isabel Schuldes, Torben Schindler, Annemarie Prihoda, Herbert Lang, Jürgen Grasser, Mark Jacques, Luc Didier, Amrouni Cyril, Anne Martel, Lionel Porcar, Tobias Unruh

Abstract: Exploiting small angle X-ray and neutron scattering (SAXS/SANS) on the same sample volume at the same time provides complementary nanoscale structural information at two different contrast situations. Compared with an independent experimental approach, the truly combined SAXS/SANS experimental approach ensures the exactness of the probed samples particularly for in-situ studies. Here, we introduce… ▽ More Exploiting small angle X-ray and neutron scattering (SAXS/SANS) on the same sample volume at the same time provides complementary nanoscale structural information at two different contrast situations. Compared with an independent experimental approach, the truly combined SAXS/SANS experimental approach ensures the exactness of the probed samples particularly for in-situ studies. Here, we introduce an advanced portable SAXS system that is dimensionally suitable for installation at D22 zone of ILL. The SAXS apparatus is based on a RIGAKU copper/molybdenum switchable microfocus rotating anode X-ray generator and a DECTRIS detector with a changeable sample-to-detector distance of up to 1.6 m in a vacuum chamber. A science case has been presented to demonstrate the uniqueness of the newly established method at ILL. Temporal structural rearrangements of both, organic stabilizing agents and organically capped gold colloidal particles during gold nanoparticle growth are simultaneously probed, enabling immediate correlated structural information. The newly established nano-analytical method at ILL will open the way for real time investigations of a wide range of innovative nanomaterials and will enable comprehensive in-situ studies on biological systems. A potential development of a fully-automated SAXS/SANS system with a common control environment and additional sample environments, permitting a continual and efficient operation of the system at the hands of ILL users, has also been introduced. △ Less

Submitted 27 March, 2020; originally announced March 2020.

Comments: 22 pages, 9+2 figures

Manifolds with many Rarita-Schwinger fields

Authors: Christian Baer, Rafe Mazzeo

Abstract: The Rarita-Schwinger operator is the twisted Dirac operator restricted to 3/2-spinors. Rarita-Schwinger fields are solutions of this operator which are in addition divergence-free. This is an overdetermined problem and solutions are rare; it is even more unexpected for there to be large dimensional spaces of solutions. In this paper we prove the existence of a sequence of compact manifolds in any… ▽ More The Rarita-Schwinger operator is the twisted Dirac operator restricted to 3/2-spinors. Rarita-Schwinger fields are solutions of this operator which are in addition divergence-free. This is an overdetermined problem and solutions are rare; it is even more unexpected for there to be large dimensional spaces of solutions. In this paper we prove the existence of a sequence of compact manifolds in any given dimension greater than or equal to 4 for which the dimension of the space of Rarita-Schwinger fields tends to infinity. These manifolds are either simply connected Kähler-Einstein spin with negative Einstein constant, or products of such spaces with flat tori. Moreover, we construct Calabi-Yau manifolds of even complex dimension with more linearly independent Rarita-Schwinger fields than flat tori of the same dimension. △ Less

Submitted 21 May, 2021; v1 submitted 25 March, 2020; originally announced March 2020.

Comments: published version

MSC Class: 53C27

Journal ref: Commun. Math. Phys. 384 (2021)

Boundary value problems for general first-order elliptic differential operators

Authors: Christian Baer, Lashi Bandara

Abstract: We study boundary value problems for first-order elliptic differential operators on manifolds with compact boundary. The adapted boundary operator need not be selfadjoint and the boundary condition need not be pseudo-local. We show the equivalence of various characterisations of elliptic boundary conditions and demonstrate how the boundary conditions traditionally considered in the literature fit… ▽ More We study boundary value problems for first-order elliptic differential operators on manifolds with compact boundary. The adapted boundary operator need not be selfadjoint and the boundary condition need not be pseudo-local. We show the equivalence of various characterisations of elliptic boundary conditions and demonstrate how the boundary conditions traditionally considered in the literature fit in our framework. The regularity of the solutions up to the boundary is proven. We show that imposing elliptic boundary conditions yields a Fredholm operator if the manifold is compact. We provide examples which are conveniently treated by our methods. △ Less

Submitted 14 March, 2021; v1 submitted 20 June, 2019; originally announced June 2019.

Comments: Link to video abstract and material on the Fredholm property added

MSC Class: 35J56; 58J05; 58J32

A Monte Carlo Framework for Rendering Speckle Statistics in Scattering Media

Authors: Chen Bar, Marina Alterman, Ioannis Gkioulekas, Anat Levin

Abstract: We present a Monte Carlo rendering framework for the physically-accurate simulation of speckle patterns arising from volumetric scattering of coherent waves. These noise-like patterns are characterized by strong statistical properties, such as the so-called memory effect, which are at the core of imaging techniques for applications as diverse as tissue imaging, motion tracking, and non-line-of-sig… ▽ More We present a Monte Carlo rendering framework for the physically-accurate simulation of speckle patterns arising from volumetric scattering of coherent waves. These noise-like patterns are characterized by strong statistical properties, such as the so-called memory effect, which are at the core of imaging techniques for applications as diverse as tissue imaging, motion tracking, and non-line-of-sight imaging. Our framework allows for these properties to be replicated computationally, in a way that is orders of magnitude more efficient than alternatives based on directly solving the wave equations. At the core of our framework is a path-space formulation for the covariance of speckle patterns arising from a scattering volume, which we derive from first principles. We use this formulation to develop two Monte Carlo rendering algorithms, for computing speckle covariance as well as directly speckle fields. While approaches based on wave equation solvers require knowing the microscopic position of wavelength-sized scatterers, our approach takes as input only bulk parameters describing the statistical distribution of these scatterers inside a volume. We validate the accuracy of our framework by comparing against speckle patterns simulated using wave equation solvers, use it to simulate memory effect observations that were previously only possible through lab measurements, and demonstrate its applicability for computational imaging tasks. △ Less

Submitted 21 January, 2019; originally announced January 2019.

Local Flexibility for Open Partial Differential Relations

Authors: Christian Baer, Bernhard Hanke

Abstract: We show that local deformations, near closed subsets, of solutions to open partial differential relations can be extended to global deformations, provided all but the highest derivatives stay constant along the subset. The applicability of this general result is illustrated by a number of examples, dealing with convex embeddings of hypersurfaces, differential forms, and lapse functions in Lorentzi… ▽ More We show that local deformations, near closed subsets, of solutions to open partial differential relations can be extended to global deformations, provided all but the highest derivatives stay constant along the subset. The applicability of this general result is illustrated by a number of examples, dealing with convex embeddings of hypersurfaces, differential forms, and lapse functions in Lorentzian geometry. The main application is a general approximation result by sections which have very restrictive local properties an open dense subsets. This shows, for instance, that given any $K \in \mathbb{R}$ every manifold of dimension at least two carries a complete $C^{1,1}$-metric which, on a dense open subset, is smooth with constant sectional curvature $K$. Of course this is impossible for $C^2$-metrics in general. △ Less

Submitted 4 September, 2020; v1 submitted 15 September, 2018; originally announced September 2018.

Comments: Appendix on Gauss-Bonnet for metrics of low regularity added. Some further minor changes. To appear in Comm. Pure Appl. Math

MSC Class: Primary: 53C23; 58A20; Secondary: 53C20; 53C42; 53C50; 58A10

Wave and Dirac equations on manifolds

Authors: Lars Andersson, Christian Baer

Abstract: We review some recent results on geometric equations on Lorentzian manifolds such as the wave and Dirac equations. This includes well-posedness and stability for various initial value problems, as well as results on the structure of these equations on black-hole spacetimes (in particular, on the Kerr solution), the index theorem for hyperbolic Dirac operators and properties of the class of Green-h… ▽ More We review some recent results on geometric equations on Lorentzian manifolds such as the wave and Dirac equations. This includes well-posedness and stability for various initial value problems, as well as results on the structure of these equations on black-hole spacetimes (in particular, on the Kerr solution), the index theorem for hyperbolic Dirac operators and properties of the class of Green-hyperbolic operators. △ Less

Submitted 17 April, 2018; v1 submitted 12 October, 2017; originally announced October 2017.

Comments: 21 pages, 1 figure

MSC Class: 53C27; 53C50; 83C57; 83C60; 58J45

Journal ref: In: J. Bruening, M. Staudacher (Eds.), Space-Time-Matter, de Gruyter, Berlin 2018, 324-348

Boundary value problems for the Lorentzian Dirac operator

Authors: Christian Baer, Sebastian Hannes

Abstract: On a compact globally hyperbolic Lorentzian spin manifold with smooth spacelike Cauchy boundary the (hyperbolic) Dirac operator is known to be Fredholm when Atiyah-Patodi-Singer boundary conditions are imposed. In this paper we investigate to what extent these boundary conditions can be replaced by more general ones and how the index then changes. There are some differences to the classical case o… ▽ More On a compact globally hyperbolic Lorentzian spin manifold with smooth spacelike Cauchy boundary the (hyperbolic) Dirac operator is known to be Fredholm when Atiyah-Patodi-Singer boundary conditions are imposed. In this paper we investigate to what extent these boundary conditions can be replaced by more general ones and how the index then changes. There are some differences to the classical case of the elliptic Dirac operator on a Riemannian manifold with boundary. △ Less

Submitted 14 July, 2017; v1 submitted 11 April, 2017; originally announced April 2017.

Comments: error in examples 4.10 and 4.11 corrected

MSC Class: 58J20; 58J45

The curl operator on odd-dimensional manifolds

Authors: Christian Baer

Abstract: We study the spectral properties of curl, a linear differential operator of first order acting on differential forms of appropriate degree on an odd-dimensional closed oriented Riemannian manifold. In three dimensions its eigenvalues are the electromagnetic oscillation frequencies in vacuum without external sources. In general, the spectrum consists of the eigenvalue 0 with infinite multiplicity a… ▽ More We study the spectral properties of curl, a linear differential operator of first order acting on differential forms of appropriate degree on an odd-dimensional closed oriented Riemannian manifold. In three dimensions its eigenvalues are the electromagnetic oscillation frequencies in vacuum without external sources. In general, the spectrum consists of the eigenvalue 0 with infinite multiplicity and further real discrete eigenvalues of finite multiplicity. We compute the Weyl asymptotics and study the zeta-function. We give a sharp lower eigenvalue bound for positively curved manifolds and analyze the equality case. Finally, we compute the spectrum for flat tori, round spheres and 3-dimensional spherical space forms. △ Less

Submitted 7 March, 2019; v1 submitted 7 February, 2017; originally announced February 2017.

Comments: published version

MSC Class: 58J50; 78A40

Journal ref: J. Math. Phys. 60, 031501 (2019)

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

Initial value problems for wave equations on manifolds

Authors: Christian Baer, Roger Tagne Wafo

Abstract: We study the global theory of linear wave equations for sections of vector bundles over globally hyperbolic Lorentz manifolds. We introduce spaces of finite energy sections and show well-posedness of the Cauchy problem in those spaces. These spaces depend in general on the choice of a time function but it turns out that certain spaces of finite energy solutions are independent of this choice and h… ▽ More We study the global theory of linear wave equations for sections of vector bundles over globally hyperbolic Lorentz manifolds. We introduce spaces of finite energy sections and show well-posedness of the Cauchy problem in those spaces. These spaces depend in general on the choice of a time function but it turns out that certain spaces of finite energy solutions are independent of this choice and hence invariantly defined. We also show existence and uniqueness of solutions for the Goursat problem where one prescribes initial data on a characteristic partial Cauchy hypersurface. This extends classical results due to Hörmander. △ Less

Submitted 5 November, 2014; v1 submitted 21 August, 2014; originally announced August 2014.

Comments: weakened assumptions in the theorem on the Goursat problem, references added, some more minor modifications

MSC Class: 35L05; 35L15; 58J45

Green-hyperbolic operators on globally hyperbolic spacetimes

Authors: Christian Baer

Abstract: Green-hyperbolic operators are linear differential operators acting on sections of a vector bundle over a Lorentzian manifold which possess advanced and retarded Green's operators. The most prominent examples are wave operators and Dirac-type operators. This paper is devoted to a systematic study of this class of differential operators. For instance, we show that this class is closed under taking… ▽ More Green-hyperbolic operators are linear differential operators acting on sections of a vector bundle over a Lorentzian manifold which possess advanced and retarded Green's operators. The most prominent examples are wave operators and Dirac-type operators. This paper is devoted to a systematic study of this class of differential operators. For instance, we show that this class is closed under taking restrictions to suitable subregions of the manifold, under composition, under taking "square roots", and under the direct sum construction. Symmetric hyperbolic systems are studied in detail. △ Less

Submitted 14 July, 2014; v1 submitted 2 October, 2013; originally announced October 2013.

Comments: final version, suggestions by referee incorporated; the final publication is available at link.springer.com

MSC Class: 58J45; 35L45; 35L51; 35L55; 81T20

Journal ref: Commun. Math. Phys. 333, 1585-1615 (2015)

Guide to Boundary Value Problems for Dirac-Type Operators

Authors: Christian Baer, Werner Ballmann

Abstract: We present an introduction to boundary value problems for Dirac-type operators on complete Riemannian manifolds with compact boundary. We introduce a very general class of boundary conditions which contains local elliptic boundary conditions in the sense of Lopatinskij and Shapiro as well as the Atiyah-Patodi-Singer boundary conditions. We discuss boundary regularity of solutions and also spectral… ▽ More We present an introduction to boundary value problems for Dirac-type operators on complete Riemannian manifolds with compact boundary. We introduce a very general class of boundary conditions which contains local elliptic boundary conditions in the sense of Lopatinskij and Shapiro as well as the Atiyah-Patodi-Singer boundary conditions. We discuss boundary regularity of solutions and also spectral and index theory. The emphasis is on providing the reader with a working knowledge. △ Less

Submitted 11 July, 2013; originally announced July 2013.

Comments: 30 pages, 2 figures

MSC Class: 35J56; 58J05; 58J20; 58J32

Differential Characters and Geometric Chains

Authors: Christian Baer, Christian Becker

Abstract: We study Cheeger-Simons differential characters and provide geometric descriptions of the ring structure and of the fiber integration map. The uniqueness of differential cohomology (up to unique natural transformation) is proved by deriving an explicit formula for any natural transformation between a differential cohomology theory and the model given by differential characters. Fiber integration f… ▽ More We study Cheeger-Simons differential characters and provide geometric descriptions of the ring structure and of the fiber integration map. The uniqueness of differential cohomology (up to unique natural transformation) is proved by deriving an explicit formula for any natural transformation between a differential cohomology theory and the model given by differential characters. Fiber integration for fibers with boundary is treated in the context of relative differential characters. As applications we treat higher-dimensional holonomy, parallel transport, and transgression. △ Less

Submitted 9 April, 2013; v1 submitted 26 March, 2013; originally announced March 2013.

Comments: references added

MSC Class: 53C08; 55N20

Geometrically formal 4-manifolds with nonnegative sectional curvature

Authors: Christian Baer

Abstract: A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is strictly positive, the manifold must be homeomorphic to S^4 or diffeomorphic to CP^2. This conclusion stills holds true if the sectional curvature is strictly p… ▽ More A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is strictly positive, the manifold must be homeomorphic to S^4 or diffeomorphic to CP^2. This conclusion stills holds true if the sectional curvature is strictly positive and we relax the condition of geometric formality to the requirement that the length of harmonic 2-forms is not too nonconstant. In particular, the Hopf conjecture on S^2 x S^2 holds in this class of manifolds. △ Less

Submitted 31 January, 2015; v1 submitted 6 December, 2012; originally announced December 2012.

Comments: final version

MSC Class: 53C25

Journal ref: Commun. Anal. Geom. 23 (2015), 479-497

Some properties of solutions to weakly hypoelliptic equations

Authors: Christian Baer

Abstract: A linear different operator L is called weakly hypoelliptic if any local solution u of Lu=0 is smooth. We allow for systems, that is, the coefficients may be matrices, not necessarily of square size. This is a huge class of important operators which cover all elliptic, overdetermined elliptic, subelliptic and parabolic equations. We extend several classical theorems from complex analysis to solu… ▽ More A linear different operator L is called weakly hypoelliptic if any local solution u of Lu=0 is smooth. We allow for systems, that is, the coefficients may be matrices, not necessarily of square size. This is a huge class of important operators which cover all elliptic, overdetermined elliptic, subelliptic and parabolic equations. We extend several classical theorems from complex analysis to solutions of any weakly hypoelliptic equation: the Montel theorem providing convergent subsequences, the Vitali theorem ensuring convergence of a given sequence and Riemann's first removable singularity theorem. In the case of constant coefficients we show that Liouville's theorem holds, any bounded solution must be constant and any L^p-solution must vanish. △ Less

Submitted 1 August, 2013; v1 submitted 17 July, 2012; originally announced July 2012.

Comments: published version (up to cosmetic issues)

MSC Class: 35H10 (Primary) 35B53 (Secondary)

Journal ref: Internat. J. Diff. Eq., vol. 2013, Article ID 526390, 8 pages, 2013

Renormalized Integrals and a Path Integral Formula for the Heat Kernel on a Manifold

Authors: Christian Baer

Abstract: We introduce renormalized integrals which generalize conventional measure theoretic integrals. One approximates the integration domain by measure spaces and defines the integral as the limit of integrals over the approximating spaces. This concept is implicitly present in many mathematical contexts such as Cauchy's principal value, the determinant of operators on a Hilbert space and the Fourier tr… ▽ More We introduce renormalized integrals which generalize conventional measure theoretic integrals. One approximates the integration domain by measure spaces and defines the integral as the limit of integrals over the approximating spaces. This concept is implicitly present in many mathematical contexts such as Cauchy's principal value, the determinant of operators on a Hilbert space and the Fourier transform of an $L^p$-function. We use renormalized integrals to define a path integral on manifolds by approximation via geodesic polygons. The main part of the paper is dedicated to the proof of a path integral formula for the heat kernel of any self-adjoint generalized Laplace operator acting on sections of a vector bundle over a compact Riemannian manifold. △ Less

Submitted 11 June, 2012; v1 submitted 15 February, 2012; originally announced February 2012.

Comments: minor corrections, published version

MSC Class: 58J65; 58J35; 47D08

Wiener Measures on Riemannian Manifolds and the Feynman-Kac Formula

Authors: Christian Baer, Frank Pfaeffle

Abstract: This is an introduction to Wiener measure and the Feynman-Kac formula on general Riemannian manifolds for Riemannian geometers with little or no background in stochastics. We explain the construction of Wiener measure based on the heat kernel in full detail and we prove the Feynman-Kac formula for Schrödinger operators with $L^\infty$-potentials. We also consider normal Riemannian coverings and sh… ▽ More This is an introduction to Wiener measure and the Feynman-Kac formula on general Riemannian manifolds for Riemannian geometers with little or no background in stochastics. We explain the construction of Wiener measure based on the heat kernel in full detail and we prove the Feynman-Kac formula for Schrödinger operators with $L^\infty$-potentials. We also consider normal Riemannian coverings and show that projecting and lifting of paths are inverse operations which respect the Wiener measure. △ Less

Submitted 17 July, 2012; v1 submitted 25 August, 2011; originally announced August 2011.

Comments: reference added, a few minor changes, published version

MSC Class: 58J65; 58J35

Journal ref: Matematica Contemporanea 40 (2011), 37-90

Classical and Quantum Fields on Lorentzian Manifolds

Authors: Christian Baer, Nicolas Ginoux

Abstract: We construct bosonic and fermionic locally covariant quantum field theories on curved backgrounds for large classes of fields. We investigate the quantum field and n-point functions induced by suitable states. We construct bosonic and fermionic locally covariant quantum field theories on curved backgrounds for large classes of fields. We investigate the quantum field and n-point functions induced by suitable states. △ Less

Submitted 2 May, 2011; v1 submitted 6 April, 2011; originally announced April 2011.

Comments: minor changes, references added

MSC Class: 58J45; 35Lxx; 81T20

Journal ref: Global Differential Geometry, Springer Proceedings in Math. 17, Springer-Verlag (2011), 359-400

Boundary Value Problems for Elliptic Differential Operators of First Order

Authors: Christian Baer, Werner Ballmann

Abstract: We study boundary value problems for linear elliptic differential operators of order one. The underlying manifold may be noncompact, but the boundary is assumed to be compact. We require a symmetry property of the principal symbol of the operator along the boundary. This is satisfied by Dirac type operators, for instance. We provide a selfcontained introduction to (nonlocal) elliptic boundary co… ▽ More We study boundary value problems for linear elliptic differential operators of order one. The underlying manifold may be noncompact, but the boundary is assumed to be compact. We require a symmetry property of the principal symbol of the operator along the boundary. This is satisfied by Dirac type operators, for instance. We provide a selfcontained introduction to (nonlocal) elliptic boundary conditions, boundary regularity of solutions, and index theory. In particular, we simplify and generalize the traditional theory of elliptic boundary value problems for Dirac type operators. We also prove a related decomposition theorem, a general version of Gromov and Lawson's relative index theorem and a generalization of the cobordism theorem. △ Less

Submitted 21 November, 2011; v1 submitted 6 January, 2011; originally announced January 2011.

Comments: 79 pages, 6 figures, minor corrections, references added

MSC Class: 35J56; 58J05; 58J20; 58J32

Journal ref: In Memory of C.C. Hsiung - Lectures given at the JDG Symposium, Surveys in Differential Geometry XVII, 2012, 1-78

Linear Wave Equations on Lorentzian Manifolds

Authors: Christian Baer

Abstract: This is a survey on the analytic theory of linear wave equations on globally hyperbolic Lorentzian manifolds. There is no claim of originality. This is a survey on the analytic theory of linear wave equations on globally hyperbolic Lorentzian manifolds. There is no claim of originality. △ Less

Submitted 11 June, 2010; originally announced June 2010.

Comments: 15 pages, 6 figures

MSC Class: 58J45; 35L05; 53C50

Journal ref: In: V. Cortes (Editor): Handbook of Pseudo-Riemannian Geometry and Supersymmetry, 897-914 (2010)

Stochastic completeness and volume growth

Authors: Christian Baer, G. Pacelli Bessa

Abstract: It has been suggested in 1999 that a certain volume growth condition for geodesically complete Riemannian manifolds might imply that the manifold is stochastically complete. This is motivated by a large class of examples and by a known analogous criterion for recurrence of Brownian motion. We show that the suggested implication is not true in general. We also give counter-examples to a converse… ▽ More It has been suggested in 1999 that a certain volume growth condition for geodesically complete Riemannian manifolds might imply that the manifold is stochastically complete. This is motivated by a large class of examples and by a known analogous criterion for recurrence of Brownian motion. We show that the suggested implication is not true in general. We also give counter-examples to a converse implication. △ Less

Submitted 13 November, 2009; v1 submitted 28 August, 2009; originally announced August 2009.

Comments: 11 pages, 5 figures, published version

MSC Class: 58J35; 58J65

Journal ref: Proc. Amer. Math. Soc. 138 (2010), 2629-2640

Spectral Bounds for Dirac Operators on Open Manifolds

Authors: Christian Baer

Abstract: We extend several classical eigenvalue estimates for Dirac operators on compact manifolds to noncompact, even incomplete manifolds. This includes Friedrich's estimate for manifolds with positive scalar curvature as well as the author's estimate on surfaces. We extend several classical eigenvalue estimates for Dirac operators on compact manifolds to noncompact, even incomplete manifolds. This includes Friedrich's estimate for manifolds with positive scalar curvature as well as the author's estimate on surfaces. △ Less

Submitted 30 October, 2008; originally announced October 2008.

Comments: pdflatex, 14 pages, 3 figures

MSC Class: 53C27

Journal ref: Annals of Global Analysis and Geometry 36 (2009) 67-79

Wave Equations on Lorentzian Manifolds and Quantization

Authors: Christian Baer, Nicolas Ginoux, Frank Pfaeffle

Abstract: This book provides a detailed introduction to linear wave equations on Lorentzian manifolds (for vector-bundle valued fields). After a collection of preliminary material in the first chapter one finds in the second chapter the construction of local fundamental solutions together with their Hadamard expansion. The third chapter establishes the existence and uniqueness of global fundamental soluti… ▽ More This book provides a detailed introduction to linear wave equations on Lorentzian manifolds (for vector-bundle valued fields). After a collection of preliminary material in the first chapter one finds in the second chapter the construction of local fundamental solutions together with their Hadamard expansion. The third chapter establishes the existence and uniqueness of global fundamental solutions on globally hyperbolic spacetimes and discusses Green's operators and well-posedness of the Cauchy problem. The last chapter is devoted to field quantization in the sense of algebraic quantum field theory. The necessary basics on C*-algebras and CCR-representations are developed in full detail. The text provides a self-contained introduction to these topics addressed to graduate students in mathematics and physics. At the same time it is intended as a reference for researchers in global analysis, general relativity, and quantum field theory. △ Less

Submitted 5 June, 2008; originally announced June 2008.

Comments: 199 pages, 43 figures, order information for a hardcopy: http://www.ems-ph.org/order.php

MSC Class: 58J45; 35L05; 35L15; 46Lxx; 81T05; 81T20

Journal ref: ESI Lectures in Mathematics and Physics, European Mathematical Society Publishing House, ISBN 978-3-03719-037-1, March 2007, Softcover

Asymptotic heat kernel expansion in the semi-classical limit

Authors: Christian Baer, Frank Pfaeffle

Abstract: Let $H_h = h^2 L +V$ where $L$ is a self-adjoint Laplace type operator acting on sections of a vector bundle over a compact Riemannian manifold and $V$ is a symmetric endomorphism field. We derive an asymptotic expansion for the heat kernel of $H_h$ as $h \to 0$. As a consequence we get an asymptotic expansion for the quantum partition function and we see that it is asymptotic to the classical p… ▽ More Let $H_h = h^2 L +V$ where $L$ is a self-adjoint Laplace type operator acting on sections of a vector bundle over a compact Riemannian manifold and $V$ is a symmetric endomorphism field. We derive an asymptotic expansion for the heat kernel of $H_h$ as $h \to 0$. As a consequence we get an asymptotic expansion for the quantum partition function and we see that it is asymptotic to the classical partition function. Moreover, we show how to bound the quantum partition function for positive $h$ by the classical partition function. △ Less

Submitted 26 January, 2010; v1 submitted 6 May, 2008; originally announced May 2008.

Comments: Minor changes, published version

MSC Class: 35K05; 58J35; 81C99

Journal ref: Commun. Math. Phys. 294 (2010), 731-744

Conformal Structures in Noncommutative Geometry

Authors: Christian Baer

Abstract: It is well-known that a compact Riemannian spin manifold can be reconstructed from its canonical spectral triple which consists of the algebra of smooth functions, the Hilbert space of square integrable spinors and the Dirac operator. It seems to be a folklore fact that the metric can be reconstructed up to conformal equivalence if one replaces the Dirac operator D by sign(D). We give a precise… ▽ More It is well-known that a compact Riemannian spin manifold can be reconstructed from its canonical spectral triple which consists of the algebra of smooth functions, the Hilbert space of square integrable spinors and the Dirac operator. It seems to be a folklore fact that the metric can be reconstructed up to conformal equivalence if one replaces the Dirac operator D by sign(D). We give a precise formulation and proof of this fact. △ Less

Submitted 15 June, 2007; v1 submitted 17 April, 2007; originally announced April 2007.

Comments: 8 pages, published version

MSC Class: 58B34; 53C27; 53A30

Journal ref: J. Noncomm. Geom. 1 (2007), 385-395

Path integrals on manifolds by finite dimensional approximation

Authors: Christian Baer, Frank Pfaeffle

Abstract: Let M be a compact Riemannian manifold without boundary and let H be a self-adjoint generalized Laplace operator acting on sections in a bundle over M. We give a path integral formula for the solution to the corresponding heat equation. This is based on approximating path space by finite dimensional spaces of geodesic polygons. We also show a uniform convergence result for the heat kernels. This… ▽ More Let M be a compact Riemannian manifold without boundary and let H be a self-adjoint generalized Laplace operator acting on sections in a bundle over M. We give a path integral formula for the solution to the corresponding heat equation. This is based on approximating path space by finite dimensional spaces of geodesic polygons. We also show a uniform convergence result for the heat kernels. This yields a simple and natural proof for the Hess-Schrader-Uhlenbrock estimate and a path integral formula for the trace of the heat operator. △ Less

Submitted 9 March, 2007; originally announced March 2007.

Comments: 23 pages

MSC Class: 58J65; 58J35; 47D06

Journal ref: Journal für die reine und angewandte Mathematik (Crelles Journal) 625, 29-57 (2008)

The First Dirac Eigenvalue on Manifolds with Positive Scalar Curvature

Authors: Christian Baer, Mattias Dahl

Abstract: We show that on every compact spin manifold admitting a Riemannian metric of positive scalar curvature Friedrich's eigenvalue estimate for the Dirac operator can be made sharp up to an arbitrarily small given error by choosing the metric suitably. We show that on every compact spin manifold admitting a Riemannian metric of positive scalar curvature Friedrich's eigenvalue estimate for the Dirac operator can be made sharp up to an arbitrarily small given error by choosing the metric suitably. △ Less

Submitted 19 May, 2003; originally announced May 2003.

Comments: 7 pages, 3 figures

MSC Class: 53C27

Journal ref: Proc. Amer. Math. Soc. 132, 3337-3344 (2004)

Generalized Cylinders in Semi-Riemannian and Spin Geometry

Authors: Christian Baer, Paul Gauduchon, Andrei Moroianu

Abstract: We use a construction which we call generalized cylinders to give a new proof of the fundamental theorem of hypersurface theory. It has the advantage of being very simple and the result directly extends to semi-Riemannian manifolds and to embeddings into spaces of constant curvature. We also give a new way to identify spinors for different metrics and to derive the variation formula for the Dira… ▽ More We use a construction which we call generalized cylinders to give a new proof of the fundamental theorem of hypersurface theory. It has the advantage of being very simple and the result directly extends to semi-Riemannian manifolds and to embeddings into spaces of constant curvature. We also give a new way to identify spinors for different metrics and to derive the variation formula for the Dirac operator. Moreover, we show that generalized Killing spinors for Codazzi tensors are restrictions of parallel spinors. Finally, we study the space of Lorentzian metrics and give a criterion when two Lorentzian metrics on a manifold can be joined in a natural manner by a 1-parameter family of such metrics. △ Less

Submitted 7 March, 2003; originally announced March 2003.

Comments: 29 pages, 2 figures

MSC Class: 53C27; 53A07; 53B30

Journal ref: Mathematische Zeitschrift 249, 545-580 (2005)

Small eigenvalues of the Conformal Laplacian

Authors: Christian Baer, Mattias Dahl

Abstract: We introduce a differential topological invariant for compact differentiable manifolds by counting the small eigenvalues of the Conformal Laplace operator. This invariant vanishes if and only if the manifold has a metric of positive scalar curvature. We show that the invariant does not increase under surgery of codimension at least three and we give lower and upper bounds in terms of the $α$-gen… ▽ More We introduce a differential topological invariant for compact differentiable manifolds by counting the small eigenvalues of the Conformal Laplace operator. This invariant vanishes if and only if the manifold has a metric of positive scalar curvature. We show that the invariant does not increase under surgery of codimension at least three and we give lower and upper bounds in terms of the $α$-genus. △ Less

Submitted 3 December, 2002; v1 submitted 16 April, 2002; originally announced April 2002.

Comments: Remark 3.3 added. To appear in "Geometric And Functional Analysis"

MSC Class: 53C27; 55N22; 57R65; 58J05; 58J50

Journal ref: Geom. Funct. Anal. 13, 483-508 (2003)

Dirac eigenvalue estimates on surfaces

Authors: Bernd Ammann, Christian Baer

Abstract: We prove lower Dirac eigenvalue bounds for closed surfaces with a spin structure whose Arf invariant equals 1. Besides the area only one geometric quantity enters in these estimates, the spin-cut-diameter which depends on the choice of spin structure. It can be expressed in terms of various distances on the surfaces or, alternatively, by stable norms of certain cohomology classes. In case of the… ▽ More We prove lower Dirac eigenvalue bounds for closed surfaces with a spin structure whose Arf invariant equals 1. Besides the area only one geometric quantity enters in these estimates, the spin-cut-diameter which depends on the choice of spin structure. It can be expressed in terms of various distances on the surfaces or, alternatively, by stable norms of certain cohomology classes. In case of the 2-torus we obtain a positive lower bound for all Riemannian metrics and all nontrivial spin structures. The corresponding estimate also holds for the $L^2$-spectrum of the Dirac operator on a noncompact complete surface of finite area. As a corollary we get positive lower bounds on the Willmore integral for all 2-tori embedded in $R^3$. △ Less

Submitted 25 January, 2002; originally announced January 2002.

Comments: to appear in Math. Zeitschrift

MSC Class: 58J50; 53C27; 53A05

Journal ref: Math. Zeitschr. 240 , 423-449 (2002)

Surgery and the Spectrum of the Dirac Operator

Authors: Christian Baer, Mattias Dahl

Abstract: We show that for generic Riemannian metrics on a simply-connected closed spin manifold of dimension at least 5 the dimension of the space of harmonic spinors is no larger than it must be by the index theorem. The same result holds for periodic fundamental groups of odd order. The proof is based on a surgery theorem for the Dirac spectrum which says that if one performs surgery of codimension a… ▽ More We show that for generic Riemannian metrics on a simply-connected closed spin manifold of dimension at least 5 the dimension of the space of harmonic spinors is no larger than it must be by the index theorem. The same result holds for periodic fundamental groups of odd order. The proof is based on a surgery theorem for the Dirac spectrum which says that if one performs surgery of codimension at least 3 on a closed Riemannian spin manifold, then the Dirac spectrum changes arbitrarily little provided the metric on the manifold after surgery is chosen properly. △ Less

Submitted 22 January, 2002; v1 submitted 21 January, 2002; originally announced January 2002.

Comments: 23 pages, 4 figures, to appear in J. Reine Angew. Math

MSC Class: 53C27; 55N22; 57R65; 58J05; 58J50

Journal ref: J. reine angew. Math. 552, 53-76 (2002)

Status and Controls Requirements of the Planned Heavy Ion Tumor Therapy Accelerator Facility HICAT

Authors: Ralph C. Baer, Hartmut Eickhoff, Thomas Haberer

Abstract: The HICAT project is a Heavy Ion accelerator for light ion Cancer Treatment to be built for the clinics in Heidelberg, Germany. It consists of a 7 MeV/u linac, a compact synchrotron and three treatment places, one of them equipped with a 360 degree gantry beam-line. The facility will implement the intensity controlled raster-scanning technique that was developed and successfully demonstrated at… ▽ More The HICAT project is a Heavy Ion accelerator for light ion Cancer Treatment to be built for the clinics in Heidelberg, Germany. It consists of a 7 MeV/u linac, a compact synchrotron and three treatment places, one of them equipped with a 360 degree gantry beam-line. The facility will implement the intensity controlled raster-scanning technique that was developed and successfully demonstrated at GSI with over 100 patients at present. In order to produce the beams with the characteristics requested by the treatment sequencer, the accelerator must operate on a pulse-to-pulse basis with different settings. This concept imposes strict and challenging demands on the operation of the accelerators and hence the control system of the facility. The control system should be developed, installed and maintained by and under the complete responsibility of an industrial system provider, using a state-of-the-art system and wide-spread industrial components wherever possible. The presentation covers the status of the project and the requirements on the control system. △ Less

Submitted 11 December, 2001; v1 submitted 9 November, 2001; originally announced November 2001.

Comments: Paper for ICALEPCS 2001 Conference (Poster), Paper TUAP031, PDF (from Word), 3 pages, 1 embedded figure

Journal ref: eConf C011127 (2001) TUAP031

The Dirac Operator on Hyperbolic Manifolds of Finite Volume

Authors: Christian Baer

Abstract: We study the spectrum of the Dirac operator on hyperbolic manifolds of finite volume. Depending on the spin structure it is either discrete or the whole real line. For link complements in S^3 we give a simple criterion in terms of linking numbers for when essential spectrum can occur. We compute the accumulation rate of the eigenvalues of a sequence of closed hyperbolic 2- or 3-manifolds degener… ▽ More We study the spectrum of the Dirac operator on hyperbolic manifolds of finite volume. Depending on the spin structure it is either discrete or the whole real line. For link complements in S^3 we give a simple criterion in terms of linking numbers for when essential spectrum can occur. We compute the accumulation rate of the eigenvalues of a sequence of closed hyperbolic 2- or 3-manifolds degenerating into a noncompact hyperbolic manifold of finite volume. It turns out that in three dimensions there is no clustering at all. △ Less

Submitted 25 October, 2000; originally announced October 2000.

Comments: Latex, 43 pages, 9 figures, uses bbold.sty (included) and pstricks macro package; to appear in J. Diff. Geom

MSC Class: 58G25; 53C25

Journal ref: J. Diff. Geom. 54, 439-488 (2000)

Dependence on the spin structure of the Dirac spectrum

Authors: Christian Baer

Abstract: The theme is the influence of the spin structure on the Dirac spectrum of a spin manifold. We survey examples and results related to this question. The theme is the influence of the spin structure on the Dirac spectrum of a spin manifold. We survey examples and results related to this question. △ Less

Submitted 21 July, 2000; originally announced July 2000.

Comments: 16 pages, 3 figures, to appear in the proceedings of the meeting ``Analyse Harmonique et Analyse sur les Varietes'', 31 May to 4 June 1999, CIRM, Luminy, France

MSC Class: 58G25; 58G30

Journal ref: Seminaires et Congres 4, Global Analysis and Harmonic Analysis, J.P. Bourguignon, T. Branson, O. Hijazi (Eds.), 17-33, (2000)

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)

Localization and Semibounded Energy - A Weak Unique Continuation Theorem

Authors: Christian Baer

Abstract: Let D be a self-adjoint differential operator of Dirac type acting on sections in a vector bundle over a closed Riemannian manifold M. Let H be a closed D-invariant subspace of the Hilbert space of square integrable sections. Suppose D restricted to H is semibounded. We show that every element u in H has the weak unique continuation property, i.e. if u vanishes on a nonempty open subset of M, th… ▽ More Let D be a self-adjoint differential operator of Dirac type acting on sections in a vector bundle over a closed Riemannian manifold M. Let H be a closed D-invariant subspace of the Hilbert space of square integrable sections. Suppose D restricted to H is semibounded. We show that every element u in H has the weak unique continuation property, i.e. if u vanishes on a nonempty open subset of M, then it vanishes on all of M. △ Less

Submitted 15 October, 1999; originally announced October 1999.

Comments: 9 pages, 1 figure, LaTeX

MSC Class: 58G03;35B05

Journal ref: J. Geom. Phys. 34 , 155-161 (2000)

Dirac eigenvalues and total scalar curvature

Authors: Bernd Ammann, Christian Baer

Abstract: It has recently been conjectured that the eigenvalues $λ$ of the Dirac operator on a closed Riemannian spin manifold $M$ of dimension $n\ge 3$ can be estimated from below by the total scalar curvature: $$ λ^2 \ge \frac{n}{4(n-1)} \cdot \frac{\int_M S}{vol(M)}. $$ We show by example that such an estimate is impossible. It has recently been conjectured that the eigenvalues $λ$ of the Dirac operator on a closed Riemannian spin manifold $M$ of dimension $n\ge 3$ can be estimated from below by the total scalar curvature: $$ λ^2 \ge \frac{n}{4(n-1)} \cdot \frac{\int_M S}{vol(M)}. $$ We show by example that such an estimate is impossible. △ Less

Submitted 11 September, 1999; originally announced September 1999.

Comments: 9 pages, LaTeX, uses pstricks macro package. to appear in Journal of Geometry and Physics

MSC Class: 58G25

Journal ref: J. Geom. Phys. 33, 229-234 (2000)

Zero Sets of Solutions to Semilinear Elliptic Systems of First Order

Authors: Christian Baer

Abstract: Consider a nontrivial solution to a semilinear elliptic system of first order with smooth coefficients defined over an $n$-dimensional manifold. Assume the operator has the strong unique continuation property. We show that the zero set of the solution is contained in a countable union of smooth $(n-2)$-dimensional submanifolds. Hence it is countably $(n-2)$-rectifiable and its Hausdorff dimensio… ▽ More Consider a nontrivial solution to a semilinear elliptic system of first order with smooth coefficients defined over an $n$-dimensional manifold. Assume the operator has the strong unique continuation property. We show that the zero set of the solution is contained in a countable union of smooth $(n-2)$-dimensional submanifolds. Hence it is countably $(n-2)$-rectifiable and its Hausdorff dimension is at most $n-2$. Moreover, it has locally finite $(n-2)$-dimensional Hausdorff measure. We show by example that every real number between 0 and $n-2$ actually occurs as the Hausdorff dimension (for a suitable choice of operator). We also derive results for scalar elliptic equations of second order. △ Less

Submitted 13 May, 1998; originally announced May 1998.

Comments: 16 pages, LaTeX2e, 2 figs, uses pstricks macro package

Report number: Freiburg Preprint No. 18/1998 MSC Class: 35B05

Journal ref: Inventiones Math. 138 , 183-202 (1999)

Extrinsic Bounds for Eigenvalues of the Dirac Operator

Authors: Christian Baer

Abstract: We derive upper eigenvalue bounds for the Dirac operator of a closed hypersurface in a manifold with Killing spinors such as Euclidean space, spheres or hyperbolic space. The bounds involve the Willmore functional. Relations with the Willmore inequality are briefly discussed. In higher codimension we obtain bounds on the eigenvalues of the Dirac operator of the submanifold twisted with the spino… ▽ More We derive upper eigenvalue bounds for the Dirac operator of a closed hypersurface in a manifold with Killing spinors such as Euclidean space, spheres or hyperbolic space. The bounds involve the Willmore functional. Relations with the Willmore inequality are briefly discussed. In higher codimension we obtain bounds on the eigenvalues of the Dirac operator of the submanifold twisted with the spinor bundle of the normal bundle. △ Less

Submitted 13 May, 1998; originally announced May 1998.

Comments: 24 pages, LaTeX2e. to appear in Ann. Glob. Anal. Geom

Report number: Freiburg Preprint No. 26/1997 MSC Class: 58G25; 53C42

Journal ref: Ann. Glob. Anal. Geom. 16 , 573-596 (1998)

The Dirac Operator on Nilmanifolds and Collapsing Circle Bundles

Authors: Bernd Ammann, Christian Baer

Abstract: We compute the spectrum of the Dirac operator on 3-dimensional Heisenberg manifolds. The behavior under collapse to the 2-torus is studied. Depending on the spin structure either all eigenvalues tend to $\pm\infty$ or there are eigenvalues converging to those of the torus. This is shown to be true in general for collapsing circle bundles with totally geodesic fibers. Using the Hopf fibration we… ▽ More We compute the spectrum of the Dirac operator on 3-dimensional Heisenberg manifolds. The behavior under collapse to the 2-torus is studied. Depending on the spin structure either all eigenvalues tend to $\pm\infty$ or there are eigenvalues converging to those of the torus. This is shown to be true in general for collapsing circle bundles with totally geodesic fibers. Using the Hopf fibration we use this fact to compute the Dirac eigenvalues on complex projective space including the multiplicities. Finally, we show that there are 1-parameter families of Riemannian nilmanifolds such that the Laplacian on functions and the Dirac operator for certain spin structures have constant spectrum while the Laplacian on 1-forms and the Dirac operator for the other spin structures have nonconstant spectrum. The marked length spectrum is also constant for these families. △ Less

Submitted 20 January, 1998; originally announced January 1998.

Comments: latex, 36 pages, uses pstricks-macros. to appear in Annals of Global Analysis and Geometry

MSC Class: 58G25 (Primary) 58G30; 53C20; 53C25; 53C30 (Secondary)

Journal ref: Ann. Global Anal. Geom. 16, no. 3, 221-253 (1998)