Determinants, analytic torsion, and functional analytic models for Dirac operators

matthias LeschDirac型算子是黎曼几何中自然产生的对称一阶椭圆微分算子。他们对理论物理很感兴趣。在有边界的紧流形上给定这样的算子，就可以刻画出导致自伴随椭圆问题的边界条件。这些所谓的适定边值问题是由r.t. Seeley引入的。最近，该研究人员与J. Br\ uning合作，从功能分析的角度给出了一个解释。这是当前项目的起点，在这个项目中，研究人员想要研究与具有边界的流形上的狄拉克算子相关的谱不变量。更具体地说，我们想要给出任意平面束存在下解析扭转的胶合公式的解析证明。因此，在最一般的情况下，包括有边界的流形，人们得到了Cheeger—Muller型定理的一种替代方法，用于解释解析扭转和拓扑扭转之间的关系。与解析扭转相关的不变量是正则化行列式。我们想把这个行列式作为边界条件的函数来研究，推广Burghelea-Friedlander- Kappeler和Scott-Wojciechowski的早期工作。第三个子项目，与J. Bruening联合，处理Dirac型算子边值问题的泛函解析方法。最终目标是为具有边界的流形上的Dirac型算子找到一个简单的泛函解析模型，该模型允许导出热迹展开、指数定理和谱流定理等基本结果。这样的一个模型很有希望为带角的流形带来这样的定理。狄拉克型算子是黎曼几何中自然产生的对称一阶椭圆微分算子。他们对理论物理很感兴趣。在算子的频谱（物理系统的“可测量”量）和底层几何之间存在着有趣的关系。一般来说，算符的谱是很难计算的。然而，可以提取与几何形状密切相关的某些谱不变量。如果底层几何是一个有边界的流形，那么首先，人们必须施加边界条件，以得到一个自伴随问题，从而得到一个定义良好的谱。在当前的项目中，作者想要研究这种边值问题的某些谱不变量（解析扭转，行列式）。一个特殊的问题是不变量对边界条件选择的依赖性。

DMS-0072551Matthias LeschDirac type operators are symmetric first order elliptic differential operators arising naturally in Riemannian geometry. They are of considerable interest in theoretical physics. Given such an operator on a compact manifold with boundary it is possible to characterize those boundary conditions which lead to a self--adjoint elliptic problem. These so--called well--posed boundary value problems were introduced by R. T. Seeley. A recent account from a functional analytic perspective was given by the researcher in collaboration with J. Br\"uning. This is the starting point of the current project in which the researcher wants to investigate spectral invariants associated to Dirac operators on manifolds with boundary. More specifically,we want to present an analytic proof of the gluing formula for the analytic torsion in the presence of an arbitrary flat bundle. As a consequence one obtains an alternative approach to Cheeger--Muller type theorems on the relation between analytical and topological torsion in the mostgeneral setting, including manifolds with boundary. An invariant related to the analytic torsion is the zeta-regularized determinant. We want to study this determinant as a functionof the boundary condition, generalizing earlier work of Burghelea-Friedlander--Kappeler and Scott-Wojciechowski.The third subproject, jointly with J. Bruening, deals with a functional analytic approach to boundary value problems for Dirac type operators. The ultimate goal is to find a simple functional analytic model for a Dirac type operator on a manifold with boundary which allows to derive basic resultslike heat trace expansions, index theorems and the spectralflow theorem. Such a model would hopefully lead to such theorems for manifolds with corners.Dirac type operators are symmetric first order elliptic differential operators arising naturally in Riemannian geometry. They are of considerable interest in theoretical physics. There are interesting relations between the spectrum of the operator (the 'measurable' quantities of the physical system) and the underlying geometry. In general the spectrum of the operator is hard to compute. However, it is possible to extract certain spectral invariants which are intimately related to the geometry. If the underlying geometry is a manifold with boundary then, at first, one has to impose boundary conditions in order to get a self--adjoint problem and hence a well--defined spectrum. In the current project the author wants to investigate certain spectral invariants (analytic torsion, determinant) for such boundary value problems. A special issue is the dependence of the invariants on the choice of the boundary condition.