Showing 1–50 of 50 results for author: Lesch, M

Weakly Parametric Pseudodifferential Calculus for Twisted $C^*$-dynamical Systems

Authors: Gihyun Lee, Matthias Lesch

Abstract: For a twisted $C^*$-dynamical system $(\mathscr{A},\mathbb{R}^n,α,e)$ over a unital $C^*$-algebra we establish a weakly parametric pseudodifferential calculus analogously to the celebrated weakly parametric calculus due to Grubb and Seeley. If the $C^*$-algebra $\mathscr{A}$ has an $α$-invariant trace then we prove an expansion of the resolvent trace (with respect to the dual trace on multipliers)… ▽ More For a twisted $C^*$-dynamical system $(\mathscr{A},\mathbb{R}^n,α,e)$ over a unital $C^*$-algebra we establish a weakly parametric pseudodifferential calculus analogously to the celebrated weakly parametric calculus due to Grubb and Seeley. If the $C^*$-algebra $\mathscr{A}$ has an $α$-invariant trace then we prove an expansion of the resolvent trace (with respect to the dual trace on multipliers) for suitable pseudodifferential multipliers. The question whether the expansion holds true as a Hilbert space trace expansion in concrete GNS spaces for $\mathscr{A}$ will be addressed in a future publication. △ Less

Submitted 13 May, 2024; v1 submitted 1 July, 2023; originally announced July 2023.

Comments: v2: additional details in the proof of Theorem 5.2, 28 pages

Report number: MPIM-Bonn-2022 MSC Class: Primary 46L87; 47G30; Secondary 58B34; 35S99

The product formula for regularized Fredholm determinants: two new proofs

Authors: Nikolaos Koutsonikos-Kouloumpis, Matthias Lesch

Abstract: For an $m$-summable operator $A$ in a separable Hilbert space the higher regularized Fredholm determinant $\det\nolimits_m(I+A)$ generalizes the classical Fredholm determinant. Recently, Britz et al presented a proof of a product formula \[ \det\nolimits_m\bigl( (I+A)\cdot(I+B) \bigr) = \det\nolimits_m (I+A) \cdot \det\nolimits_m (I+B) \cdot \exp\operatorname{Tr}\bigl({X_m(A,B)}\bigr), \] wher… ▽ More For an $m$-summable operator $A$ in a separable Hilbert space the higher regularized Fredholm determinant $\det\nolimits_m(I+A)$ generalizes the classical Fredholm determinant. Recently, Britz et al presented a proof of a product formula \[ \det\nolimits_m\bigl( (I+A)\cdot(I+B) \bigr) = \det\nolimits_m (I+A) \cdot \det\nolimits_m (I+B) \cdot \exp\operatorname{Tr}\bigl({X_m(A,B)}\bigr), \] where $X_m(A,B)$ is an explicit polynomial in $A,B$ with values in the trace class operators. If $m=1$ then $X_1(A,B)=0$, hence the formula generalizes the classical determinant product formula. One of the purposes of this note is to present two very simple alternative proofs of the formula. The first proof is a priori analytic and makes use of the fact that $z\mapsto \det\nolimits_m(I+zA)$ is holomorphic, while the second proof is completely algebraic. The algebraic proof has, in our opinion, some interesting aspects in its own about the trace and commutators. Secondly, we extend the above mentioned formula to several factors \[ \det\nolimits_m\Bigl( \prod_{l=1}^r (I+A_l) \Bigr) =\left( \prod_{l=1}^r \det\nolimits_m (I+A_l) \right) \cdot \exp\operatorname{Tr}\bigl({X_{m,r}(A_r,\ldots,A_r)}\bigr). \] The latter is more than just a straightforward generalization as we will gain more insights into the combinatorics behind it. Also we will present an algebraized version of the analytic proof in the language of formal power series. The upshot is that the two identities are just combinatorial in nature. △ Less

Submitted 13 March, 2024; v1 submitted 25 February, 2022; originally announced February 2022.

Comments: 20 pages. This is a major update, almost doubling the paper in size. A second part on the multi-factor case is added

Zeta and Fredholm determinants of self-adjoint operators

Authors: Luiz Hartmann, Matthias Lesch

Abstract: Let $L$ be a self-adjoint invertible operator in a Hilbert space such that $L^{-1}$ is $p$-summable. Under a certain discrete dimension spectrum assumption on $L$, we study the relation between the (regularized) Fredholm determinant, $\det_{p}(I+z\cdot L^{-1})$, on the one hand and the zeta regularized determinant, $\det_ζ(L+z)$, on the other. One of the main results is the formula \begin{equati… ▽ More Let $L$ be a self-adjoint invertible operator in a Hilbert space such that $L^{-1}$ is $p$-summable. Under a certain discrete dimension spectrum assumption on $L$, we study the relation between the (regularized) Fredholm determinant, $\det_{p}(I+z\cdot L^{-1})$, on the one hand and the zeta regularized determinant, $\det_ζ(L+z)$, on the other. One of the main results is the formula \begin{equation*} \frac{\det_ζ (L + z)}{\det_ζ (L)} = \exp \left( \sum_{j=1}^{p-1} \frac{z^j}{j!} \cdot \frac{d^j}{dz^j} \log \det\nolimits_ζ (L+z) |_{z=0} \right) \cdot \det\nolimits_{p}(I + z \cdot L^{-1} ). \end{equation*} We show that the derivatives $\frac{d^j}{dz^j} \log \det\nolimits_ζ (L+z) |_{z=0}$ can be expressed in terms of (regularized) zeta values and heat trace coefficients of $L$. Furthermore, we give a general criterion in terms of the heat trace coefficients (and which is, e.g., fulfilled for large classes of elliptic operators) which guarantees that the constant term in the asymptotic expansion of the Fredholm determinant, $\log\det_{p} (I+z\cdot L^{-1})$, equals the zeta determinant of $L$. △ Less

Submitted 25 February, 2022; v1 submitted 4 June, 2021; originally announced June 2021.

MSC Class: 58J52

Multivariate cumulants in flow analyses: The Next Generation

Authors: Ante Bilandzic, Marcel Lesch, Cindy Mordasini, Seyed Farid Taghavi

Abstract: We reconcile for the first time the strict mathematical formalism of multivariate cumulants with the usage of cumulants in anisotropic flow analyses in high-energy nuclear collisions. This reconciliation yields to the next generation of estimators to be used in flow analyses. We review all fundamental properties of multivariate cumulants and use them as a foundation to establish two simple necessa… ▽ More We reconcile for the first time the strict mathematical formalism of multivariate cumulants with the usage of cumulants in anisotropic flow analyses in high-energy nuclear collisions. This reconciliation yields to the next generation of estimators to be used in flow analyses. We review all fundamental properties of multivariate cumulants and use them as a foundation to establish two simple necessary conditions to determine whether some multivariate random variable is a multivariate cumulant in the basis they are expressed in. We argue that properties of cumulants are preserved only for the stochastic variables on which the cumulant expansion has been performed directly, and if there are no underlying symmetries due to which some terms in the cumulant expansion are identically zero. We illustrate one possibility of new multivariate cumulants of azimuthal angles by defining them event-by-event and by keeping all non-isotropic terms in the cumulant expansion. Further, we introduce new cumulants of flow amplitudes named Asymmetric Cumulants, which generalize recently introduced Symmetric Cumulants for the case when flow amplitudes are raised to different powers. Finally, we present the new concept of Cumulants of Symmetry Plane Correlations and provide the first realisation for the lowest orders. The new estimators can be used directly to constrain the multivariate probability density function of flow fluctuations, since its functional form can be reconstructed only from its true moments or cumulants. The new definition for cumulants of azimuthal angles enables separation of nonflow and flow contributions, and offers first insights into how the combinatorial background contributes for small multiplicities to flow measurements with correlation techniques. All the presented results are supported by Monte Carlo studies using state-of-the-art models. △ Less

Submitted 22 February, 2022; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: 32 pages, 9 figures. Version accepted for publication in PRC

The upgrade of the ALICE TPC with GEMs and continuous readout

Authors: J. Adolfsson, M. Ahmed, S. Aiola, J. Alme, T. Alt, W. Amend, F. Anastasopoulos, C. Andrei, M. Angelsmark, V. Anguelov, A. Anjam, H. Appelshäuser, V. Aprodu, O. Arnold, M. Arslandok, D. Baitinger, M. Ball, G. G. Barnaföldi, E. Bartsch, P. Becht, R. Bellwied, A. Berdnikova, M. Berger, N. Bialas, P. Bialas , et al. (210 additional authors not shown)

Abstract: The upgrade of the ALICE TPC will allow the experiment to cope with the high interaction rates foreseen for the forthcoming Run 3 and Run 4 at the CERN LHC. In this article, we describe the design of new readout chambers and front-end electronics, which are driven by the goals of the experiment. Gas Electron Multiplier (GEM) detectors arranged in stacks containing four GEMs each, and continuous re… ▽ More The upgrade of the ALICE TPC will allow the experiment to cope with the high interaction rates foreseen for the forthcoming Run 3 and Run 4 at the CERN LHC. In this article, we describe the design of new readout chambers and front-end electronics, which are driven by the goals of the experiment. Gas Electron Multiplier (GEM) detectors arranged in stacks containing four GEMs each, and continuous readout electronics based on the SAMPA chip, an ALICE development, are replacing the previous elements. The construction of these new elements, together with their associated quality control procedures, is explained in detail. Finally, the readout chamber and front-end electronics cards replacement, together with the commissioning of the detector prior to installation in the experimental cavern, are presented. After a nine-year period of R&D, construction, and assembly, the upgrade of the TPC was completed in 2020. △ Less

Submitted 25 March, 2021; v1 submitted 17 December, 2020; originally announced December 2020.

Comments: 88 pages, 60 figures

Journal ref: JINST 16 (2021) P03022

Fredholm conditions and index for restrictions of invariant pseudodifferential operators to isotypical components

Authors: A. Baldare, R. Côme, M. Lesch, V. Nistor

Abstract: Let $Γ$ be a compact group acting on a smooth, compact manifold $M$, let $P \in ψ^m(M; E_0, E_1)$ be a $Γ$-invariant, classical pseudodifferential operator acting between sections of two equivariant vector bundles $E_i \to M$, $i = 0,1$, and let $α$ be an irreducible representation of the group $Γ$. Then $P$ induces a map $π_α(P) : H^s(M; E_0)_α\to H^{s-m}(M; E_1)_α$ between the $α$-isotypical com… ▽ More Let $Γ$ be a compact group acting on a smooth, compact manifold $M$, let $P \in ψ^m(M; E_0, E_1)$ be a $Γ$-invariant, classical pseudodifferential operator acting between sections of two equivariant vector bundles $E_i \to M$, $i = 0,1$, and let $α$ be an irreducible representation of the group $Γ$. Then $P$ induces a map $π_α(P) : H^s(M; E_0)_α\to H^{s-m}(M; E_1)_α$ between the $α$-isotypical components of the corresponding Sobolev spaces of sections. When $Γ$ is finite, we explicitly characterize the operators $P$ for which the map $π_α(P)$ is Fredholm in terms of the principal symbol of $P$ and the action of $Γ$ on the vector bundles $E_i$. When $Γ= \{1\}$, that is, when there is no group, our result extends the classical characterization of Fredholm (pseudo)differential operators on compact manifolds. The proof is based on a careful study of the symbol $C^*$-algebra and of the topology of its primitive ideal spectrum. We also obtain several results on the structure of the norm closure of the algebra of invariant pseudodifferential operators and their relation to induced representations. Whenever our results also hold for non-discrete groups, we prove them in this greater generality. As an illustration of the generality of our results, we provide some applications to Hodge theory and to index theory of singular quotient spaces. △ Less

Submitted 30 September, 2020; v1 submitted 2 April, 2020; originally announced April 2020.

New estimator for symmetry plane correlations in anisotropic flow analyses

Authors: Ante Bilandzic, Marcel Lesch, Seyed Farid Taghavi

Abstract: Correlations of symmetry planes are important observables used to quantify anisotropic flow phenomenon and constrain independently the properties of strongly interacting nuclear matter produced in the collisions of heavy ions at the highest energies. In this paper, we point out current problems of measuring correlations between symmetry planes and elaborate on why the available analysis techniques… ▽ More Correlations of symmetry planes are important observables used to quantify anisotropic flow phenomenon and constrain independently the properties of strongly interacting nuclear matter produced in the collisions of heavy ions at the highest energies. In this paper, we point out current problems of measuring correlations between symmetry planes and elaborate on why the available analysis techniques have a large systematic bias. To overcome this problem, we introduce a new approach to approximate multi-harmonic flow fluctuations via a two-dimensional Gaussian distribution. Employing this approximation, we introduce a new estimator, dubbed Gaussian Estimator (GE), to extract pure correlation between symmetry planes. We validate GE by using the realistic event-generator iEBE-VISHNU and demonstrate that it outperforms all existing estimators. Based on event-shape engineering, we propose an experimental procedure to improve GE accuracy even further. △ Less

Submitted 9 April, 2020; v1 submitted 2 April, 2020; originally announced April 2020.

Comments: 14 pages, 4 figures. v2: minor revision, v2 submitted to journal

Journal ref: Phys. Rev. C 102, 024910 (2020)

Fredholm conditions for invariant operators: finite abelian groups and boundary value problems

Authors: Alexandre Baldare, Rémi Côme, Matthias Lesch, Victor Nistor

Abstract: We answer the question of when an invariant pseudodifferential operator is Fredholm on a fixed, given isotypical component. More precisely, let $Γ$ be a compact group acting on a smooth, compact, manifold $M$ without boundary and let $P \in ψ^m(M; E_0, E_1)$ be a $Γ$-invariant, classical, pseudodifferential operator acting between sections of two $Γ$-equivariant vector bundles $E_0$ and $E_1$. Let… ▽ More We answer the question of when an invariant pseudodifferential operator is Fredholm on a fixed, given isotypical component. More precisely, let $Γ$ be a compact group acting on a smooth, compact, manifold $M$ without boundary and let $P \in ψ^m(M; E_0, E_1)$ be a $Γ$-invariant, classical, pseudodifferential operator acting between sections of two $Γ$-equivariant vector bundles $E_0$ and $E_1$. Let $α$ be an irreducible representation of the group $Γ$. Then $P$ induces by restriction a map $π_α(P) : H^s(M; E_0)_α\to H^{s-m}(M; E_1)_α$ between the $α$-isotypical components of the corresponding Sobolev spaces of sections. We study in this paper conditions on the map $π_α(P)$ to be Fredholm. It turns out that the discrete and non-discrete cases are quite different. Additionally, the discrete abelian case, which provides some of the most interesting applications, presents some special features and is much easier than the general case. We thus concentrate in this paper on the case when $Γ$ is finite abelian. We prove then that the restriction $π_α(P)$ is Fredholm if, and only if, $P$ is "$α$-elliptic", a condition defined in terms of the principal symbol of $P$. If $P$ is elliptic, then $P$ is also $α$-elliptic, but the converse is not true in general. However, if $Γ$ acts freely on a dense open subset of $M$, then $P$ is $α$-elliptic for the given fixed $α$ if, and only if, it is elliptic. The proofs are based on the study of the structure of the algebra $ψ^{m}(M; E)^Γ$ of classical, $Γ$-invariant pseudodifferential operators acting on sections of the vector bundle $E \to M$ and of the structure of its restrictions to the isotypical components of $Γ$. These structures are described in terms of the isotropy groups of the action of the group $Γ$ on $E \to M$. △ Less

Submitted 5 November, 2019; originally announced November 2019.

The KO-valued spectral flow for skew-adjoint Fredholm operators

Authors: Chris Bourne, Alan L. Carey, Matthias Lesch, Adam Rennie

Abstract: In this article we give a comprehensive treatment of a `Clifford module flow' along paths in the skew-adjoint Fredholm operators on a real Hilbert space that takes values in KO${}_{*}(\mathbb{R})$ via the Clifford index of Atiyah-Bott-Shapiro. We develop its properties for both bounded and unbounded skew-adjoint operators including an axiomatic characterization. Our constructions and approach are… ▽ More In this article we give a comprehensive treatment of a `Clifford module flow' along paths in the skew-adjoint Fredholm operators on a real Hilbert space that takes values in KO${}_{*}(\mathbb{R})$ via the Clifford index of Atiyah-Bott-Shapiro. We develop its properties for both bounded and unbounded skew-adjoint operators including an axiomatic characterization. Our constructions and approach are motivated by the principle that \[ \text{spectral flow} = \text{Fredholm index}. \] That is, we show how the KO--valued spectral flow relates to a KO-valued index by proving a Robbin-Salamon type result. The Kasparov product is also used to establish a spectral flow $=$ Fredholm index result at the level of bivariant K-theory. We explain how our results incorporate previous applications of $\mathbb{Z}/ 2\mathbb{Z}$-valued spectral flow in the study of topological phases of matter. △ Less

Submitted 6 April, 2020; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: v2: 47 pages, applications to physics expanded

Report number: RIKEN-iTHEMS-Report-19

Modular Gaussian curvature

Authors: Matthias Lesch, Henri Moscovici

Abstract: We review the state of the art of our understanding of the conformal geometry of the irrational rotation algebra. This was sparked by a paper by Cohen and Connes. We review the more recent progress made by Connes and the second named author and the work of the authors of this review. We review the state of the art of our understanding of the conformal geometry of the irrational rotation algebra. This was sparked by a paper by Cohen and Connes. We review the more recent progress made by Connes and the second named author and the work of the authors of this review. △ Less

Submitted 24 October, 2018; originally announced October 2018.

Comments: 24 pages

MSC Class: 46L87; 58B34

Resolvent Trace Asymptotics on Stratified Spaces

Authors: Luiz Hartmann, Matthias Lesch, Boris Vertman

Abstract: Let $(M,g)$ be a compact smoothly stratified pseudomanifold with an iterated cone-edge metric satisfying a spectral Witt condition. Under these assumptions the Hodge-Laplacian $Δ$ is essentially self-adjoint. We establish the asymptotic expansion for the resolvent trace of $Δ$. Our method proceeds by induction on the depth and applies in principle to a larger class of second-order differential ope… ▽ More Let $(M,g)$ be a compact smoothly stratified pseudomanifold with an iterated cone-edge metric satisfying a spectral Witt condition. Under these assumptions the Hodge-Laplacian $Δ$ is essentially self-adjoint. We establish the asymptotic expansion for the resolvent trace of $Δ$. Our method proceeds by induction on the depth and applies in principle to a larger class of second-order differential operators of regular-singular type, e.g., Dirac Laplacians. Our arguments are functional analytic, do not rely on microlocal techniques and are very explicit. The results of this paper provide a basis for studying index theory and spectral invariants in the setting of smoothly stratified spaces and in particular allow for the definition of zeta-determinants and analytic torsion in this general setup. △ Less

Submitted 9 October, 2018; originally announced October 2018.

MSC Class: 35J75; 58J35

Journal ref: Pure Appl. Analysis 3 (2021) 75-108

Sums of regular selfadjoint operators in Hilbert-C*-modules

Authors: Matthias Lesch, Bram Mesland

Abstract: We introduce a notion of weak anticommutativity for a pair (S,T) of self-adjoint regular operators in a Hilbert-C*-module E. We prove that the sum $S+T$ of such pairs is self-adjoint and regular on the intersection of their domains. A similar result then holds for the sum S^2+T^2 of the squares. We show that our definition is closely related to the Connes-Skandalis positivity criterion in $KK$-the… ▽ More We introduce a notion of weak anticommutativity for a pair (S,T) of self-adjoint regular operators in a Hilbert-C*-module E. We prove that the sum $S+T$ of such pairs is self-adjoint and regular on the intersection of their domains. A similar result then holds for the sum S^2+T^2 of the squares. We show that our definition is closely related to the Connes-Skandalis positivity criterion in $KK$-theory. As such we weaken a sufficient condition of Kucerovsky for representing the Kasparov product. Our proofs indicate that our conditions are close to optimal. △ Less

Submitted 29 November, 2018; v1 submitted 22 March, 2018; originally announced March 2018.

Comments: Final version. Minor editorial changes

MSC Class: 46L08; 19K35; 46C50; 47A10; 47A60

Journal ref: J. Math. Anal. Appl. 472 (1) (2019), 947--980

On the domain of Dirac and Laplace type operators on stratified spaces

Authors: Luiz Hartmann, Matthias Lesch, Boris Vertman

Abstract: We consider a generalized Dirac operator on a compact stratified space with an iterated cone-edge metric. Assuming a spectral Witt condition, we prove its essential self-adjointness and identify its domain and the domain of its square with weighted edge Sobolev spaces. This sharpens previous results where the minimal domain is shown only to be a subset of an intersection of weighted edge Sobolev s… ▽ More We consider a generalized Dirac operator on a compact stratified space with an iterated cone-edge metric. Assuming a spectral Witt condition, we prove its essential self-adjointness and identify its domain and the domain of its square with weighted edge Sobolev spaces. This sharpens previous results where the minimal domain is shown only to be a subset of an intersection of weighted edge Sobolev spaces. Our argument does not rely on microlocal techniques and is very explicit. The novelty of our approach is the use of an abstract functional analytic notion of interpolation scales. Our results hold for the Gauss-Bonnet and spin Dirac operators satisfying a spectral Witt condition. △ Less

Submitted 31 May, 2018; v1 submitted 5 September, 2017; originally announced September 2017.

Comments: revised; to appear in Journal of Spectral Theory

MSC Class: 35J75; 58j52

Journal ref: J. Spectr. Theory 8 (2018), no. 4, 1295-1348

Zeta-determinants of Sturm-Liouville operators with quadratic potentials at infinity

Authors: Luiz Hartmann, Matthias Lesch, Boris Vertman

Abstract: We consider Sturm-Liouville operators on a half line $[a,\infty), a>0$, with potentials that are growing at most quadratically at infinity. Such operators arise naturally in the analysis of hyperbolic manifolds, or more generally manifolds with cusps. We establish existence and a formula for the associated zeta-determinant in terms of the Wronski-determinant of a fundamental system of solutions ad… ▽ More We consider Sturm-Liouville operators on a half line $[a,\infty), a>0$, with potentials that are growing at most quadratically at infinity. Such operators arise naturally in the analysis of hyperbolic manifolds, or more generally manifolds with cusps. We establish existence and a formula for the associated zeta-determinant in terms of the Wronski-determinant of a fundamental system of solutions adapted to the boundary conditions. Despite being the natural objects in the context of hyperbolic geometry, spectral geometry of such operators has only recently been studied in the context of analytic torsion. △ Less

Submitted 5 December, 2016; v1 submitted 25 July, 2016; originally announced July 2016.

Comments: 31 pages

MSC Class: 58J52; 34B24

Journal ref: J. Differential Equations 262 (2017), no. 5, 3431-3465

Modular curvature and Morita equivalence

Authors: Matthias Lesch, Henri Moscovici

Abstract: The curvature of the noncommutative torus $T^2_θ$ ($θ$ irrational) endowed with a noncommutative conformal metric has been the focus of attention of several recent works. Continuing the approach taken in the paper [A. Connes and H. Moscovici, http://arxiv.org/abs/1110.3500] we extend the study of the curvature to twisted Dirac spectral triples constructed out of Heisenberg bimodules that implement… ▽ More The curvature of the noncommutative torus $T^2_θ$ ($θ$ irrational) endowed with a noncommutative conformal metric has been the focus of attention of several recent works. Continuing the approach taken in the paper [A. Connes and H. Moscovici, http://arxiv.org/abs/1110.3500] we extend the study of the curvature to twisted Dirac spectral triples constructed out of Heisenberg bimodules that implement the Morita equivalence of the $C^*$-algebra $A_θ= C(T^2_θ)$ with other toric algebras $A_{θ'}$. In the enlarged context the conformal metric on $T^2_θ$ is exchanged with an arbitrary Hermitian metric on the Heisenberg $(A_θ, A_{θ'})$-bimodule $E'$ for which ${\rm End}_{A_{θ'}}(E') = A_θ$. We prove that the Ray-Singer log-determinant of the corresponding Laplacian, viewed as a functional on the space of all Hermitian metrics on $E'$, attains its extremum at the unique Hermitian metric whose corresponding connection has constant curvature. The gradient of the log-determinant functional gives rise to a noncommutative analogue of the Gaussian curvature. The genuinely new outcome of this paper is that the latter is shown to be independent of any Heisenberg bimodule $E'$ such that $A_θ= {\rm End}_{A_{θ'}}(E')$, and in this sense it is Morita invariant. To prove the above results we extend Connes' pseudodifferential calculus to Heisenberg modules. The twisted version, which offers more flexibility even in the case of trivial coefficients, could potentially be applied to other problems in the elliptic theory on noncommutative tori. A noteworthy technical feature is that we systematize the computation of the resolvent expansion for elliptic differential operators on noncommutative tori to an extent which makes the (previously employed) computer assistance unnecessary. △ Less

Submitted 1 July, 2016; v1 submitted 5 May, 2015; originally announced May 2015.

Comments: 50 pages

MSC Class: 46L87; 58B34

Journal ref: Geom. Funct. Anal. 26 (2016), no. 3, 818-873

Divided Differences in Noncommutative Geometry: Rearrangement Lemma, Functional Calculus and Expansional Formula

Authors: Matthias Lesch

Abstract: We state a generalization of the Connes-Tretkoff-Moscovici Rearrangement Lemma and give a surprisingly simple (almost trivial) proof of it. Secondly, we put on a firm ground the multivariable functional calculus used implicitly in the Rearrangement Lemma and elsewhere in the recent modular curvature paper by Connes and Moscovici. Furthermore, we show that the fantastic formulas connecting the one… ▽ More We state a generalization of the Connes-Tretkoff-Moscovici Rearrangement Lemma and give a surprisingly simple (almost trivial) proof of it. Secondly, we put on a firm ground the multivariable functional calculus used implicitly in the Rearrangement Lemma and elsewhere in the recent modular curvature paper by Connes and Moscovici. Furthermore, we show that the fantastic formulas connecting the one and two variable modular functions of loc. cit. are just examples of the plenty recursion formulas which can be derived from the calculus of divided differences. We show that the functions derived from the main integral occurring in the Rearrangement Lemma can be expressed in terms of divided differences of the Logarithm, generalizing the "modified Logarithm" of Connes-Tretkoff. Finally, we show that several expansion formulas related to the Magnus expansion have a conceptual explanation in terms of a multivariable functional calculus applied to divided differences. △ Less

Submitted 1 June, 2015; v1 submitted 5 May, 2014; originally announced May 2014.

Comments: 28 pages; the paper has not been submitted yet. This is a major revision and the paper will now be submitted for publication

On the spectral flow for Dirac operators with local boundary conditions

Authors: Alexander Gorokhovsky, Matthias Lesch

Abstract: Let M be an even dimensional compact Riemannian manifold with boundary and let D be a Dirac operator acting on the sections of the Clifford module E over M. We impose certain local elliptic boundary conditions for D obtaining a selfadjoint extension D_F of D. For a smooth U(n)--valued function g:M -> U(n) we establish a formula for the spectral flow along the straight line between D_F and g^{-1} D… ▽ More Let M be an even dimensional compact Riemannian manifold with boundary and let D be a Dirac operator acting on the sections of the Clifford module E over M. We impose certain local elliptic boundary conditions for D obtaining a selfadjoint extension D_F of D. For a smooth U(n)--valued function g:M -> U(n) we establish a formula for the spectral flow along the straight line between D_F and g^{-1} D_F g. This spectral flow is motivated by index theory: in odd dimensions it gives the natural pairing between the K--homology class of the operator and the K--theory class of g. In our situation, with dim M having the "wrong" parity, the answer can be expressed in terms of the natural spectral flow pairing on the odd--dimensional boundary. Our result generalizes a recent paper by M. Prokhorova in which the two-dimensional case is treated. Furthermore, our paper may be seen as an odd-dimensional analogue of a paper by D. Freed. As an application we obtain a new proof of the cobordism invariance of the spectral flow. △ Less

Submitted 7 July, 2014; v1 submitted 1 October, 2013; originally announced October 2013.

Comments: 15 pages

Journal ref: Int. Math. Res. Not. IMRN 2015, no. 17, 8036-8051

Regularizing infinite sums of zeta-determinants

Authors: Matthias Lesch, Boris Vertman

Abstract: We present a new multiparameter resolvent trace expansion for elliptic operators, polyhomogeneous in both the resolvent and auxiliary variables. For elliptic operators on closed manifolds the expansion is a simple consequence of the parameter dependent pseudodifferential calculus. As an additional nontrivial toy example we treat here Sturm-Liouville operators with separated boundary conditions.… ▽ More We present a new multiparameter resolvent trace expansion for elliptic operators, polyhomogeneous in both the resolvent and auxiliary variables. For elliptic operators on closed manifolds the expansion is a simple consequence of the parameter dependent pseudodifferential calculus. As an additional nontrivial toy example we treat here Sturm-Liouville operators with separated boundary conditions. As an application we give a new formula, in terms of regularized sums, for the zeta-determinant of an infinite direct sum of Sturm-Liouville operators. The Laplace-Beltrami operator on a surface of revolution decomposes into an infinite direct sum of Sturm-Louville operators, parametrized by the eigenvalues of the Laplacian on the cross-section. We apply the polyhomogeneous expansion to equate the zeta-determinant of the Laplace-Beltrami operator as a regularized sum of zeta-determinants of the Sturm-Liouville operators plus a locally computable term from the polyhomogeneous resolvent trace asymptotics. This approach provides a completely new method for summing up zeta-functions of operators and computing the meromorphic extension of that infinite sum to s=0. We expect out method to extend to a much larger class of operators. △ Less

Submitted 30 June, 2014; v1 submitted 4 June, 2013; originally announced June 2013.

Journal ref: Mathematische Annalen April 2015, Volume 361, Issue 3-4, pp 835-862

A gluing formula for the analytic torsion on singular spaces

Authors: Matthias Lesch

Abstract: We prove a gluing formula for the analytic torsion on non-compact (i.e. singular) riemannian manifolds. Let M= U\cup M_1, where M_1 is a compact manifold with boundary and U represents a model of the singularity. For general elliptic operators we formulate a criterion, which can be checked solely on U, for the existence of a global heat expansion, in particular for the existence of the analytic to… ▽ More We prove a gluing formula for the analytic torsion on non-compact (i.e. singular) riemannian manifolds. Let M= U\cup M_1, where M_1 is a compact manifold with boundary and U represents a model of the singularity. For general elliptic operators we formulate a criterion, which can be checked solely on U, for the existence of a global heat expansion, in particular for the existence of the analytic torsion in case of the Laplace operator. The main result then is the gluing formula for the analytic torsion. Here, decompositions M=M_1\cup_W M_2 along any compact closed hypersurface W with M_1, M_2 both non-compact are allowed; however product structure near W is assumed. We work with the de Rham complex coupled to an arbitrary flat bundle F; the metric on F is not assumed to be flat. In an appendix the corresponding algebraic gluing formula is proved. As a consequence we obtain a framework for proving a Cheeger-Müller type Theorem for singular manifolds; the latter has been the main motivation for this work. The main tool is Vishik's theory of moving boundary value problems for the de Rham complex which has also been successfully applied to Dirac type operators and the eta invariant by J. Brüning and the author. The paper also serves as a new, self--contained, and brief approach to Vishik's important work. △ Less

Submitted 11 September, 2012; v1 submitted 13 March, 2012; originally announced March 2012.

Comments: 40 pages, 3 figures; Revision v2: discussion of examples added to the intro, a few improvements in the text, several typos fixed

Journal ref: Analysis & PDE PDE 6 (2013), No. 1, 221-256

Spectral flow and the unbounded Kasparov product

Authors: Jens Kaad, Matthias Lesch

Abstract: We present a fairly general construction of unbounded representatives for the interior Kasparov product. As a main tool we develop a theory of C^1-connections on operator * modules; we do not require any smoothness assumptions; our sigma-unitality assumptions are minimal. Furthermore, we use work of Kucerovsky and our recent Local Global Principle for regular operators in Hilbert C*-modules. As… ▽ More We present a fairly general construction of unbounded representatives for the interior Kasparov product. As a main tool we develop a theory of C^1-connections on operator * modules; we do not require any smoothness assumptions; our sigma-unitality assumptions are minimal. Furthermore, we use work of Kucerovsky and our recent Local Global Principle for regular operators in Hilbert C*-modules. As an application we show that the Spectral Flow Theorem and more generally the index theory of Dirac-Schrödinger operators can be nicely explained in terms of the interior Kasparov product. △ Less

Submitted 7 October, 2011; originally announced October 2011.

Comments: 40 pages

Journal ref: Advances in Mathematics 248 (2013), 495-530

A local global principle for regular operators in Hilbert C*-modules

Authors: Jens Kaad, Matthias Lesch

Abstract: Hilbert C*-modules are the analogues of Hilbert spaces where a C*-algebra plays the role of the scalar field. With the advent of Kasparov's celebrated KK-theory they became a standard tool in the theory of operator algebras. While the elementary properties of Hilbert C*-modules can be derived basically in parallel to Hilbert space theory the lack of an analogue of the Projection Theorem soon leads… ▽ More Hilbert C*-modules are the analogues of Hilbert spaces where a C*-algebra plays the role of the scalar field. With the advent of Kasparov's celebrated KK-theory they became a standard tool in the theory of operator algebras. While the elementary properties of Hilbert C*-modules can be derived basically in parallel to Hilbert space theory the lack of an analogue of the Projection Theorem soon leads to serious obstructions and difficulties. In particular the theory of unbounded operators is notoriously more complicated due to the additional axiom of regularity which is not easy to check. In this paper we present a new criterion for regularity in terms of the Hilbert space localizations of an unbounded operator. We discuss several examples which show that the criterion can easily be checked and that it leads to nontrivial regularity results. △ Less

Submitted 22 December, 2016; v1 submitted 12 July, 2011; originally announced July 2011.

Comments: 31 pages, 2 figures; v3: revised version containing an erratum to v2 clarifying the contributions by François Pierrot

MSC Class: 46H25; 46C50; 47C15

Journal ref: J. Funct. Anal. 262 (2012), 4540-4569

Perturbation of Sectorial Projections of Elliptic Pseudo-differential Operators

Authors: Bernhelm Booss-Bavnbek, Guoyuan Chen, Matthias Lesch, Chaofeng Zhu

Abstract: Over a closed manifold, we consider the sectorial projection of an elliptic pseudo-differential operator A of positive order with two rays of minimal growth. We show that it depends continuously on A when the space of pseudo-differential operators is equipped with a certain topology which we explicitly describe. Our main application deals with a continuous curve of arbitrary first order linear ell… ▽ More Over a closed manifold, we consider the sectorial projection of an elliptic pseudo-differential operator A of positive order with two rays of minimal growth. We show that it depends continuously on A when the space of pseudo-differential operators is equipped with a certain topology which we explicitly describe. Our main application deals with a continuous curve of arbitrary first order linear elliptic differential operators over a compact manifold with boundary. Under the additional assumption of the weak inner unique continuation property, we derive the continuity of a related curve of Calderon projections and hence of the Cauchy data spaces of the original operator curve. In the Appendix, we describe a topological obstruction against a verbatim use of R. Seeley's original argument for the complex powers, which was seemingly overlooked in previous studies of the sectorial projection. △ Less

Submitted 3 October, 2011; v1 submitted 30 December, 2010; originally announced January 2011.

Comments: 30 pages, 2 figures; v3: major revision, shortened, several references added, some material moved into an appendix; v4: final version, accepted for publication in Journal of Pseudo-Differential Operators and Applications

MSC Class: 58J40 (Primary) 58J37; 58J50; 58J05 (Secondary)

Journal ref: J. Pseudo-Differ. Oper. Appl. 3 (2012), 49-79

Classification of traces and hypertraces on spaces of classical pseudodifferential operators

Authors: Matthias Lesch, Carolina Neira Jiménez

Abstract: Let M be a closed manifold and let CL(M) be the algebra of classical pseudodifferential operators. The aim of this note is to classify trace functionals on the subspaces CL^a(M) of CL(M) of operators of order a. CL^a(M) is a CL^0(M)-module for any real a; it is an algebra only if a is a non-positive integer. Therefore, it turns out to be useful to introduce the notions of pretrace and hypertrace.… ▽ More Let M be a closed manifold and let CL(M) be the algebra of classical pseudodifferential operators. The aim of this note is to classify trace functionals on the subspaces CL^a(M) of CL(M) of operators of order a. CL^a(M) is a CL^0(M)-module for any real a; it is an algebra only if a is a non-positive integer. Therefore, it turns out to be useful to introduce the notions of pretrace and hypertrace. Our main result gives a complete classification of pre- and hypertraces on CL^a(M) for any real a, as well as the traces on CL^a(M) if a is a non-positive integer. We also extend these results to classical pseudodifferential operators acting on sections of a vector bundle. As a byproduct we give a new proof of the well-known uniqueness results for the Guillemin-Wodzicki residue trace and for the Kontsevich-Vishik canonical trace. The novelty of our approach lies in the calculation of the cohomology groups of homogeneous and log-polyhomogeneous differential forms on a symplectic cone. This allows to give an extremely simple proof of a generalization of a Theorem of Guillemin about the representation of homogeneous functions as sums of Poisson brackets. △ Less

Submitted 30 April, 2013; v1 submitted 14 November, 2010; originally announced November 2010.

Comments: 39 pages; v2: acknowledgments and bibliographical remarks substantially expanded, minor corrections, bibliography updated and improved; v3: revision according to the referee's suggestions. The introduction is substantially expanded and now provides more explanations and motivations; v4: minor corrections, layout improvements; To appear in Journal of Noncommutative Geometry

MSC Class: Primary 58J42; Secondary 58J40; 53D05

Journal ref: J. Noncommut. Geom. 7 (2013), 457-498

Regular singular Sturm-Liouville operators and their zeta-determinants

Authors: Matthias Lesch, Boris Vertman

Abstract: We consider Sturm-Liouville operators on the line segment [0, 1] with general regular singular potentials and separated boundary conditions. We establish existence and a formula for the associated zeta-determinant in terms of the Wronski- determinant of a fundamental system of solutions adapted to the boundary conditions. This generalizes the earlier work of the first author, treating general regu… ▽ More We consider Sturm-Liouville operators on the line segment [0, 1] with general regular singular potentials and separated boundary conditions. We establish existence and a formula for the associated zeta-determinant in terms of the Wronski- determinant of a fundamental system of solutions adapted to the boundary conditions. This generalizes the earlier work of the first author, treating general regular singular potentials but only the Dirichlet boundary conditions at the singular end, and the recent results by Kirsten-Loya-Park for general separated boundary conditions but only special regular singular potentials. △ Less

Submitted 29 March, 2011; v1 submitted 3 May, 2010; originally announced May 2010.

Comments: 38 pages, 2 figures; Completely revised according to the referees comprehensive suggestions; v3: minor corrections, accepted for publication in Journal of Functional Analysis

MSC Class: 58J52; 34B24

Journal ref: J. Funct. Anal. 261 (2011), 408--450

Connes-Chern character for manifolds with boundary and eta cochains

Authors: Matthias Lesch, Henri Moscovici, Markus J. Pflaum

Abstract: We express the Connes-Chern character of the Dirac operator associated to a b-metric on a manifold with boundary in terms of a retracted cocycle in relative cyclic cohomology, whose expression depends on a scaling/cut-off pa- rameter. Blowing-up the metric one recovers the pair of characteristic currents that represent the corresponding de Rham relative homology class, while the blow-down yields a… ▽ More We express the Connes-Chern character of the Dirac operator associated to a b-metric on a manifold with boundary in terms of a retracted cocycle in relative cyclic cohomology, whose expression depends on a scaling/cut-off pa- rameter. Blowing-up the metric one recovers the pair of characteristic currents that represent the corresponding de Rham relative homology class, while the blow-down yields a relative cocycle whose expression involves higher eta cochains and their b-analogues. The corresponding pairing formulae with relative K-theory classes capture information about the boundary and allow to derive geometric consequences. As a by-product, we show that the generalized Atiyah-Patodi-Singer pairing introduced by Getzler and Wu is necessarily restricted to almost flat bundles. △ Less

Submitted 22 July, 2011; v1 submitted 1 December, 2009; originally announced December 2009.

Comments: 98 pages, 6 figures; major revision, accepted for publication in the Memoirs of the AMS

MSC Class: 58Jxx; 46L80; 58B34; 46L87

Journal ref: Mem. Amer. Math. Soc. 220 (2012), no. 1036

Continuous Variation of Cauchy Data Spaces. Task - Results - Open Problems

Authors: Bernhelm Booss-Bavnbek, Matthias Lesch, Chaofeng Zhu

Abstract: Summary of a talk given at the International Seminar "Analysis of spectral invariants and related operator theory", Tokyo University of Science, Unga Campus, 5-6 Oct. 2009 Summary of a talk given at the International Seminar "Analysis of spectral invariants and related operator theory", Tokyo University of Science, Unga Campus, 5-6 Oct. 2009 △ Less

Submitted 23 November, 2009; originally announced November 2009.

MSC Class: 58J32; 35J67

Pseudodifferential Operators and Regularized Traces

Authors: Matthias Lesch

Abstract: This paper is based on talks delivered in summer 2008 at the Conference on Motives, QFT and Pseudodifferential Operators in Boston, and at the Trimester programme Geometry and Physics, Hausdorff Institute for Mathematics in Bonn The paper surveys the pseudodifferential calculus with parameter, resolvent expansions, Dixmier trace, noncommutative residue, Kontsevich-Vishik canonical trace as well… ▽ More This paper is based on talks delivered in summer 2008 at the Conference on Motives, QFT and Pseudodifferential Operators in Boston, and at the Trimester programme Geometry and Physics, Hausdorff Institute for Mathematics in Bonn The paper surveys the pseudodifferential calculus with parameter, resolvent expansions, Dixmier trace, noncommutative residue, Kontsevich-Vishik canonical trace as well some aspects of regularized integrals on spaces of symbols. △ Less

Submitted 21 July, 2010; v1 submitted 12 January, 2009; originally announced January 2009.

Comments: 38 pages, 1 figure; rewritten and revised according to the referee's suggestions, section on the Hilbert space trace added; accepted for publication in the Proceedings of the Conference on Motives, Quantum Field Theory and Pseudodifferential Operators, Boston, June 2008, Clay Mathematics Proceedings; v3 a few BUG fixes, none really serious, but one annoying omission fixed

MSC Class: 58J42; 58J40; 58J35

Journal ref: In: Motives, Quantum Field Theory, and Pseudodifferential Operators, Clay Mathematics Proceedings, vol. 12, Amer. Math. Soc., Providence, RI, 2010, pp. 37-72

The Calderon Projection: New Definition and Applications

Authors: Bernhelm Booss-Bavnbek, Matthias Lesch, Chaofeng Zhu

Abstract: We consider an arbitrary linear elliptic first--order differential operator A with smooth coefficients acting between sections of complex vector bundles E,F over a compact smooth manifold M with smooth boundary N. We describe the analytic and topological properties of A in a collar neighborhood U of N and analyze various ways of writing A|U in product form. We discuss the sectorial projections o… ▽ More We consider an arbitrary linear elliptic first--order differential operator A with smooth coefficients acting between sections of complex vector bundles E,F over a compact smooth manifold M with smooth boundary N. We describe the analytic and topological properties of A in a collar neighborhood U of N and analyze various ways of writing A|U in product form. We discuss the sectorial projections of the corresponding tangential operator, construct various invertible doubles of A by suitable local boundary conditions, obtain Poisson type operators with different mapping properties, and provide a canonical construction of the Calderon projection. We apply our construction to generalize the Cobordism Theorem and to determine sufficient conditions for continuous variation of the Calderon projection and of well--posed selfadjoint Fredholm extensions under continuous variation of the data. △ Less

Submitted 27 April, 2009; v1 submitted 28 March, 2008; originally announced March 2008.

Comments: 60 pages, 4 figures; revised version; index and list of notation added; accepted for publication in J. Geom. Phys; v3 contains a few minor corrections

MSC Class: 58J32 (Primary); 35J67; 58J50; 57Q20 (Secondary)

Journal ref: Journal of Geometry and Physics 59, No 7, (2009), 784-826

The invertible double of elliptic operators

Authors: Bernhelm Booss-Bavnbek, Matthias Lesch

Abstract: First, we review the Dirac operator folklore about basic analytic and geometrical properties of operators of Dirac type on compact manifolds with smooth boundary and on closed partitioned manifolds and show how these properties depend on the construction of a canonical invertible double and are related to the concept of the Calderon projection. Then we summarize a recent construction of a canoni… ▽ More First, we review the Dirac operator folklore about basic analytic and geometrical properties of operators of Dirac type on compact manifolds with smooth boundary and on closed partitioned manifolds and show how these properties depend on the construction of a canonical invertible double and are related to the concept of the Calderon projection. Then we summarize a recent construction of a canonical invertible double for general first order elliptic differential operators over smooth compact manifolds with boundary. We derive a natural formula for the Calderon projection which yields a generalization of the famous Cobordism Theorem. We provide a list of assumptions to obtain a continuous variation of the Calderon projection under smooth variation of the coefficients. That yields various new spectral flow theorems. Finally, we sketch a research program for confining, respectively closing, the last re- maining gaps between the geometric Dirac operator type situation and the general linear elliptic case. △ Less

Submitted 12 January, 2009; v1 submitted 28 March, 2008; originally announced March 2008.

Comments: 25 pages, 1 figure, Final Version from Dec 30, 2008. To appear in Letters in Mathematical Physics

MSC Class: 58J32 (Primary); 35J67; 58J50; 57Q20 (Secondary)

Journal ref: Lett. Math. Phys. 87 (2009), No 1-2, 19-46

Quantum gravity: unification of principles and interactions, and promises of spectral geometry

Authors: Bernhelm Booss-Bavnbek, Giampiero Esposito, Matthias Lesch

Abstract: Quantum gravity was born as that branch of modern theoretical physics that tries to unify its guiding principles, i.e., quantum mechanics and general relativity. Nowadays it is providing new insight into the unification of all fundamental interactions, while giving rise to new developments in modern mathematics. It is however unclear whether it will ever become a falsifiable physical theory, sin… ▽ More Quantum gravity was born as that branch of modern theoretical physics that tries to unify its guiding principles, i.e., quantum mechanics and general relativity. Nowadays it is providing new insight into the unification of all fundamental interactions, while giving rise to new developments in modern mathematics. It is however unclear whether it will ever become a falsifiable physical theory, since it deals with Planck-scale physics. Reviewing a wide range of spectral geometry from index theory to spectral triples, we hope to dismiss the general opinion that the mere mathematical complexity of the unification programme will obstruct that programme. △ Less

Submitted 7 October, 2007; v1 submitted 13 August, 2007; originally announced August 2007.

Comments: This is a contribution to the Proceedings of the 2007 Midwest Geometry Conference in honor of Thomas P. Branson, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 3:098,2007

Selected Aspects of the Mathematical Work of Krzysztof P. Wojciechowski

Authors: Matthias Lesch

Abstract: I review the milestones of the mathematical work of Krzysztof P. Wojciechowski. This will at the same time be a tour of Analysis and Geometry of Boundary Value Problems. Starting in the 80s I will discuss the spectral flow and the general linear conjugation problem, the Calderon projector and the topology of space of elliptic boundary problems. The theme of the 90s is the eta invariant. The pape… ▽ More I review the milestones of the mathematical work of Krzysztof P. Wojciechowski. This will at the same time be a tour of Analysis and Geometry of Boundary Value Problems. Starting in the 80s I will discuss the spectral flow and the general linear conjugation problem, the Calderon projector and the topology of space of elliptic boundary problems. The theme of the 90s is the eta invariant. The paper with Douglas was fundamental for establishing spectral invariants for manifolds with boundary and for the investigation of the behavior of spectral invariants under analytic surgery. This was so influential that many different proofs of the gluing formula for the eta-invariant were published. Finally turning to the new millennium we will look at the zeta--determinant. Compared to eta this is a much more rigid spectral invariant which is technically challenging. This paper was presented at the workshop "Krzysztof Wojciechowski - 50 Years" held in May 2005 near Roskilde/Denmark. △ Less

Submitted 21 March, 2006; originally announced March 2006.

Comments: 16 pages

MSC Class: 58J32; 58J30; 58J28; 58J52; 35P99

Journal ref: In: Analysis, Geometry and Topology of Elliptic Operators (B. Booss-Bavnbek, S. Klimek, M. Lesch, W. Zhang eds), World Scientific, Singapore, 2006, pp. 3-22

Relative pairing in cyclic cohomology and divisor flows

Authors: Matthias Lesch, Henri Moscovici, Markus Pflaum

Abstract: We construct invariants of relative K-theory classes of multiparameter dependent pseudodifferential operators, which recover and generalize Melrose's divisor flow and its higher odd-dimensional versions of Lesch and Pflaum. These higher divisor flows are obtained by means of pairing the relative K-theory modulo the symbols with the cyclic cohomological characters of relative cycles constructed o… ▽ More We construct invariants of relative K-theory classes of multiparameter dependent pseudodifferential operators, which recover and generalize Melrose's divisor flow and its higher odd-dimensional versions of Lesch and Pflaum. These higher divisor flows are obtained by means of pairing the relative K-theory modulo the symbols with the cyclic cohomological characters of relative cycles constructed out of the regularized operator trace together with its symbolic boundary. Besides giving a clear and conceptual explanation to all the essential features of the divisor flows, this construction allows to uncover the previously unknown even-dimensional counterparts. Furthermore, it confers to the totality of these invariants a purely topological interpretation, that of implementing the classical Bott periodicity isomorphisms in a manner compatible with the suspension isomorphisms in both K-theory and in cyclic cohomology. We also give a precise formulation, in terms of a natural Clifford algebraic suspension, for the relationship between the higher divisor flows and the spectral flow. △ Less

Submitted 22 December, 2006; v1 submitted 21 March, 2006; originally announced March 2006.

Comments: 43 pages; revision 5.22; expanded by a factor of 1.5, in particular even case added

MSC Class: 46L80; 58J30; 58J40; 58J42 58J42

Journal ref: Journal of K-theory 3 (2009), No. 2, 359-407

The uniqueness of the spectral flow on spaces of unbounded self--adjoint Fredholm operators

Authors: Matthias Lesch

Abstract: We discuss several natural metrics on spaces of unbounded self--adjoint operators and their relations, among them the Riesz and the graph metric. We show that the topologies of the spaces of Fredholm operators resp. invertible operators depend heavily on the metric. Nevertheless we prove that in all cases the spectral flow is up to a normalization the only integer invariant of non-closed paths w… ▽ More We discuss several natural metrics on spaces of unbounded self--adjoint operators and their relations, among them the Riesz and the graph metric. We show that the topologies of the spaces of Fredholm operators resp. invertible operators depend heavily on the metric. Nevertheless we prove that in all cases the spectral flow is up to a normalization the only integer invariant of non-closed paths which is path additive and stable under homotopies with endpoints varying in the space of invertible self-adjoint operators. Furthermore we show that for certain Riesz continuous paths of self--adjoint Fredholm operators the spectral flow can be expressed in terms of the index of the pair of positive spectral projections at the endpoints. Finally we review the Cordes--Labrousse theorem on the stability of the Fredholm index with respect to the graph metric in a modern language and we generalize it to the Clifford index and to the equivariant index. △ Less

Submitted 27 July, 2004; v1 submitted 29 January, 2004; originally announced January 2004.

Comments: 32 pages, 2 figures; to appear in January 2005 in an AMS Contemporary Math Proceedings volume on 'Spectral Geometry of Manifolds with Boundary', edited by B. Booss--Bavnbek, G. Grubb and K.P. Wojciechowski

MSC Class: 47A53; 19K56

Journal ref: In: Spectral geometry of manifolds with boundary and decomposition of manifolds (B. Booss-Bavnbek and K. P. Wojciechowski Eds.), Contemp. Math. 366, Amer. Math. Soc., Providence, 2005, pp. 193-224

Calderon projector for the Hessian of the perturbed Chern-Simons function on a 3-manifold with boundary

Authors: Benjamin Himpel, Paul Kirk, Matthias Lesch

Abstract: The existence and continuity for the Calderon projector of the perturbed odd signature operator on a 3-manifold is established. As an application we give a new proof of a result of Taubes relating the mod 2 spectral flow of a family of operators on a homology 3-sphere with the difference in local intersection numbers of the character varieties coming from a Heegard decomposition. The existence and continuity for the Calderon projector of the perturbed odd signature operator on a 3-manifold is established. As an application we give a new proof of a result of Taubes relating the mod 2 spectral flow of a family of operators on a homology 3-sphere with the difference in local intersection numbers of the character varieties coming from a Heegard decomposition. △ Less

Submitted 20 February, 2003; v1 submitted 19 February, 2003; originally announced February 2003.

Comments: Typo in title fixed

MSC Class: 57M27; 58J32

Journal ref: Proc. London Math. Soc. (3) 89 (2004), no 1, 241--272

On the rho invariant for manifolds with boundary

Authors: Paul Kirk, Matthias Lesch

Abstract: This article is a follow up of the previous article of the authors on the analytic surgery of eta- and rho-invariants. We investigate in detail the (Atiyah-Patodi-Singer)-rho-invariant for manifolds with boundary. First we generalize the cut-and-paste formula to arbitrary boundary conditions. A priori the rho-invariant is an invariant of the Riemannian structure and a representation of the funda… ▽ More This article is a follow up of the previous article of the authors on the analytic surgery of eta- and rho-invariants. We investigate in detail the (Atiyah-Patodi-Singer)-rho-invariant for manifolds with boundary. First we generalize the cut-and-paste formula to arbitrary boundary conditions. A priori the rho-invariant is an invariant of the Riemannian structure and a representation of the fundamental group. We show, however, that the dependence on the metric is only very mild: it is independent of the metric in the interior and the dependence on the metric on the boundary is only up to its pseudo--isotopy class. Furthermore, we show that this cannot be improved: we give explicit examples and a theoretical argument that different metrics on the boundary in general give rise to different rho-invariants. Theoretically, this follows from an interpretation of the exponentiated rho-invariant as a covariantly constant section of a determinant bundle over a certain moduli space of flat connections and Riemannian metrics on the boundary. Finally we extend to manifolds with boundary the results of Farber-Levine-Weinberger concerning the homotopy invariance of the rho-invariant and spectral flow of the odd signature operator. △ Less

Submitted 3 July, 2003; v1 submitted 11 March, 2002; originally announced March 2002.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-22.abs.html

MSC Class: 58J28; 57M27; 58J32; 58J30

Journal ref: Algebr. Geom. Topol. 3 (2003) 623-675

Unbounded Fredholm Operators and Spectral Flow

Authors: Bernhelm Booss-Bavnbek, Matthias Lesch, John Phillips

Abstract: We study the gap (= "projection norm" = "graph distance") topology of the space of (not necessarily bounded) self--adjoint Fredholm operators in a separable Hilbert space by the Cayley transform and direct methods. In particular, we show that the space is connected contrary to the bounded case. Moreover, we present a rigorous definition of spectral flow of a path of such operators (actually alte… ▽ More We study the gap (= "projection norm" = "graph distance") topology of the space of (not necessarily bounded) self--adjoint Fredholm operators in a separable Hilbert space by the Cayley transform and direct methods. In particular, we show that the space is connected contrary to the bounded case. Moreover, we present a rigorous definition of spectral flow of a path of such operators (actually alternative but mutually equivalent definitions) and prove the homotopy invariance. As an example, we discuss operator curves on manifolds with boundary. △ Less

Submitted 12 February, 2004; v1 submitted 2 August, 2001; originally announced August 2001.

Comments: 23 pages, 2 figures; 09/10/2001 minor corrections, Proposition characterizing the range of the Riesz transformation added; 02/12/2004 very final version 1.0.2, minor corrections

MSC Class: 58J30; 47A53; 19K56; 58J32

Journal ref: Canadian Journal of Mathematics vol. 57, no.2 (2005), 225-250.

The eta-invariant, Maslov index, and spectral flow for Dirac-type operators on manifolds with boundary

Authors: Paul Kirk, Matthias Lesch

Abstract: Several proofs have been published of the Mod Z gluing formula for the eta-invariant of a Dirac operator. However, so far the integer contribution to the gluing formula for the eta-invariant is left obscure in the literature. In this article we present a gluing formula for the eta-invariant which expresses the integer contribution as a triple index involving the boundary conditions and the Calde… ▽ More Several proofs have been published of the Mod Z gluing formula for the eta-invariant of a Dirac operator. However, so far the integer contribution to the gluing formula for the eta-invariant is left obscure in the literature. In this article we present a gluing formula for the eta-invariant which expresses the integer contribution as a triple index involving the boundary conditions and the Calderon projectors of the two parts of the decomposition. The main ingredients of our presentation are the Scott-Wojciechowski theorem for the determinant of a Dirac operator on a manifold with boundary and the approach of Bruning-Lesch to the mod Z gluing formula. Our presentation includes careful constructions of the Maslov index and triple index in a symplectic Hilbert space. As a byproduct we give intuitively appealing proofs of two theorems of Nicolaescu on the spectral flow of Dirac operators. As an application of our methods, we carry out a detailed analysis of the eta-invariant of the odd signature operator coupled to a flat connection using adiabatic methods. This is used to extend the definition of the Atiyah-Patodi-Singer rho-invariant to manifolds with boundary. We derive a ``non-additivity'' formula for the Atiyah-Patodi-Singer rho-invariant and relate it to Wall's non-additivity formula for the signature of even-dimensional manifolds. △ Less

Submitted 11 March, 2002; v1 submitted 15 December, 2000; originally announced December 2000.

Comments: 64 pages, 1 figure; v2 Nov 2001, several improvements in Sec. 8, minor polishing in the other sections

MSC Class: 58J28; 58J30; 58J32

Journal ref: Forum Math. 16 (2004), no 4, 553--629

On the number of square integrable solutions and self-adjointness of symmetric first order systems of differential equations

Authors: Matthias Lesch, Mark M. Malamud

Abstract: The main purpose of this paper is to investigate the formal deficiency indices ${\cal N}_{\pm}(I)$ of a symmetric first order system $$ Jf'+Bf=λ{\cal H} f $$ on an interval $I$, where $I=\mathbb{R}$ or $I=\mathbb{R}_\pm.$ Here $J,B,{cal H}$ are $n\times n$ matrix valued functions and the Hamiltonian ${\cal H}\ge 0$ may be singular even everywhere. We obtain two results for such a system to have… ▽ More The main purpose of this paper is to investigate the formal deficiency indices ${\cal N}_{\pm}(I)$ of a symmetric first order system $$ Jf'+Bf=λ{\cal H} f $$ on an interval $I$, where $I=\mathbb{R}$ or $I=\mathbb{R}_\pm.$ Here $J,B,{cal H}$ are $n\times n$ matrix valued functions and the Hamiltonian ${\cal H}\ge 0$ may be singular even everywhere. We obtain two results for such a system to have minimal numbers ${\cal N}_\pm(\mathbb{R})=0$ (resp. ${\cal N}_\pm(\mathbb{R}_\pm)=n$) and a criterion for their maximality ${\cal N}_{\pm}(\mathbb{R}_+)=2n.$ Some conditions for a canonical system to have intermediate numbers ${\cal N}_\pm(\mathbb{R}_+)$ are presented, too. We also obtain a generalization of the well-known Titchmarsh-Sears theorem for second order Sturm-Liouville type equations. This contains results due to Lidskii and Krein as special cases. It is important to note that in general the above system does not give rise to an operator but rather to a symmetric linear relation in a Hilbert space. These relations are investigated in detail. As a byproduct we obtain very short proofs of (generalizations of) the main results of a paper by Kogan and Rofe-Beketov (Proc. Roy. Soc. Edinb. 74 (1974/75))as well as a criterion for the quasi-regularity of canonical systems. This covers the Kac-Krein theorem and some results from the quoted paper of Kogan and Rofe-Beketov. △ Less

Submitted 11 December, 2000; originally announced December 2000.

MSC Class: 34L05

Journal ref: J. Differential Equations 189 (2003), no 2, 556--615

Essential self-adjointness of symmetric linear relations associated to first order systems

Authors: Matthias Lesch

Abstract: The purpose of this note is to present several criteria for essential self-adjointness. The method is based on ideas due to Shubin. This note is divided into two parts. The first part deals with symmetric first order systems on the line in the most general setting. Such a symmetric first order system of differential equations gives rise naturally to a symmetric linear relation in a Hilbert spa… ▽ More The purpose of this note is to present several criteria for essential self-adjointness. The method is based on ideas due to Shubin. This note is divided into two parts. The first part deals with symmetric first order systems on the line in the most general setting. Such a symmetric first order system of differential equations gives rise naturally to a symmetric linear relation in a Hilbert space. In this case even regularity is nontrivial. We will announce a regularity result and discuss criteria for essential self-adjointness of such systems. This part is based on joint work with Mark Malamud. Details will be published elsewhere. In the second part we consider a complete Riemannian manifold, $M$, and a first order differential operator, $D:\cinfz{E}\to \cinfz{F}$, acting between sections of the hermitian vector bundles $E,F$. Moreover, let $V:\cinf{E}\to L^{\infty}_{\loc}(E)$ be a self-adjoint zero order differential operator. We give a sufficient condition for the Schrödinger operator $H=D^tD+V$ to be essentially self-adjoint. This generalizes recent work of I. Oleinik \cite{Ole:ESA,Ole:CCQ,Ole:ESAG}, M. Shubin \cite{Shu:CQC,Shu:ESA}, and M. Braverman \cite{Bra:SAS}. △ Less

Submitted 11 December, 2000; v1 submitted 1 May, 2000; originally announced May 2000.

Comments: Version June 2000, previous version superceded, one section added

MSC Class: 58G25;58G16; 35P05

Journal ref: Journees "Equations aux Derivee Partielles" (La Chapelle sur Erdre, 2000), Exp. No. X, 18pp, Univ. Nantes, Nantes, 2000

On boundary value problems for Dirac type operators. I. Regularity and self-adjointness

Authors: Jochen Brüning, Matthias Lesch

Abstract: In a series of papers, we will develop systematically the basic spectral theory of (self-adjoint) boundary value problems for operators of Dirac type. We begin in this paper with the characterization of (self-adjoint) boundary conditions with optimal regularity, for which we will derive the heat asymptotics and index theorems in subsequent publications. Along with a number of new results, we ext… ▽ More In a series of papers, we will develop systematically the basic spectral theory of (self-adjoint) boundary value problems for operators of Dirac type. We begin in this paper with the characterization of (self-adjoint) boundary conditions with optimal regularity, for which we will derive the heat asymptotics and index theorems in subsequent publications. Along with a number of new results, we extend and simplify the proofs of many known theorems. Our point of departure is the simple structure which is displayed by Dirac type operators near the boundary. Thus our proofs are given in an abstract functional analytic setting, generalizing considerably the framework of compact manifolds with boundary. The results of this paper have been announced in math.DG/9902100 △ Less

Submitted 23 June, 1999; v1 submitted 28 May, 1999; originally announced May 1999.

Comments: LaTeX2e, 55 pages; June 23, 1999, minor correction

MSC Class: Primary 58G20; Secondary 35F15

Journal ref: J. Funct. Anal. 185 (2001), no 1, 1--62

Determinants of regular singular Sturm-Liouville operators

Authors: Matthias Lesch

Abstract: We consider a regular singular Sturm-Liouville operator $L:=-\frac{d^2}{dx^2} + \frac{q(x)}{x^2 (1-x)^2}$ on the line segment $[0,1]$. We impose certain boundary conditions such that we obtain a semi-bounded self-adjoint operator. It is known that the $ζ$-function of this operator $ζ_L(s)=\sum_{λ\in\spec(L)\setminus\{0\}} λ^{-s}$ has a meromorphic continuation to the whole complex plane with 0 b… ▽ More We consider a regular singular Sturm-Liouville operator $L:=-\frac{d^2}{dx^2} + \frac{q(x)}{x^2 (1-x)^2}$ on the line segment $[0,1]$. We impose certain boundary conditions such that we obtain a semi-bounded self-adjoint operator. It is known that the $ζ$-function of this operator $ζ_L(s)=\sum_{λ\in\spec(L)\setminus\{0\}} λ^{-s}$ has a meromorphic continuation to the whole complex plane with 0 being a regular point. Then, according to Ray and Singer the $ζ$-regularized determinant of $L$ is defined by $\detz(L):=\exp(-ζ_L'(0)).$ In this paper we are going to express this determinant in terms of the solutions of the homogeneous differential equation $Ly=0$ generalizing earlier work of S. Levit and U. Smilansky, T. Dreyfus and H. Dym, and D. Burghelea, L. Friedlander and T. Kappeler. More precisely we prove the formula $\detz(L)=\frac{πW(ψ,φ)} {2^{ν_0+ν_1} Γ(ν_0+1)Γ(ν_1+1)}.$ Here $φ, ψ$ is a certain fundamental system of solutions for the homogeneous equation $Ly=0$, $W(φ, ψ)$ denotes their Wronski determinant, and $ν_0, ν_1$ are numbers related to the characteristic roots of the regular singular points $0, 1$. △ Less

Submitted 19 February, 1999; originally announced February 1999.

Comments: LaTeX, 32 pages, Revised version, January, 1996

MSC Class: 58G11; 34B24

Journal ref: Math. Nachr. 194 (1998), 139-170

Spectral theory of boundary value problems for Dirac type operators

Authors: Jochen Brüning, Matthias Lesch

Abstract: The purpose of this note is to describe a unified approach to the fundamental results in the spectral theory of boundary value problems, restricted to the case of Dirac type operators. Even though many facts are known and well presented in the literature (cf. the monograph of Booss-Wojciechowski), we simplify and extend or sharpen most results by using systematically the simple structure which D… ▽ More The purpose of this note is to describe a unified approach to the fundamental results in the spectral theory of boundary value problems, restricted to the case of Dirac type operators. Even though many facts are known and well presented in the literature (cf. the monograph of Booss-Wojciechowski), we simplify and extend or sharpen most results by using systematically the simple structure which Dirac type operators display near the boundary. Thus our approach is basically functional analytic, and consequently we achieve results which apply to more general situations than compact manifolds with boundary. The details of the material presented here will be published elsewhere. △ Less

Submitted 6 April, 1999; v1 submitted 17 February, 1999; originally announced February 1999.

Comments: LaTeX2e, 14 pages. 06 April 1999 final version with minor corrections. To appear in B. Booss--Bavnbek, K.P. Wojciechowski (eds.): Geometric Aspects of PDE - Spectral Invariants (Roskilde Conf. Sept 1998), Contemp. Math

MSC Class: 58G

Journal ref: In: B. Booss-Bavnbek, K. Wojciechowski (eds): Geometric Aspects of Partial Differential Equations. Proceedings of a Minisymposium on Spectral Invariants, Heat Equation Approach, September 18-19, 1998, Roskilde, Denmark. Contemporary Mathematics Vol 242, Amer. Math. Soc., Providence, R.I., 1999, pp. 203-216

On the L^2-Stokes theorem and Hodge theory for singular algebraic varieties

Authors: D. Grieser, M. Lesch

Abstract: For a projective algebraic variety $V$ with isolated singularities, endowed with a metric induced from an embedding, we consider the analysis of the natural partial differential operators on the regular part of $V$. We show that, in the complex case, the Laplacians of the de Rham and Dolbeault complexes are discrete operators except possibly in degrees $n,n\pm 1$, where $n$ is the complex dimens… ▽ More For a projective algebraic variety $V$ with isolated singularities, endowed with a metric induced from an embedding, we consider the analysis of the natural partial differential operators on the regular part of $V$. We show that, in the complex case, the Laplacians of the de Rham and Dolbeault complexes are discrete operators except possibly in degrees $n,n\pm 1$, where $n$ is the complex dimension of $V$. We also prove a Hodge theorem on the operator level and the $L^2$--Stokes theorem outside the degrees $n-1,n$. We show that the $L^2$-Stokes theorem may fail to hold in the case of real algebraic varieties, and also discuss the $L^2$-Stokes theorem on more general non-compact spaces. △ Less

Submitted 7 May, 2002; v1 submitted 9 February, 1999; originally announced February 1999.

Comments: 17 pages; revised version; to appear in Math. Nachrichten

MSC Class: 58A (Primary); 32S (Secondary)

Journal ref: Math. Nachr. 246/247 (2002), 68--82

The inverse spectral problem for first order systems on the half line

Authors: Matthias Lesch, Mark M. Malamud

Abstract: On the half line $[0,\infty)$ we study first order differential operators of the form $B 1/i d/(dx) + Q(x)$, where $B:=\mat{B_1}{0}{0}{-B_2}$, $B_1,B_2\in M(n,\C)$ are self--adjoint positive definite matrices and $Q:\R_+\to M(2n,\C)$, $\R_+:=[0,\infty)$, is a continuous self-adjoint off-diagonal matrix function. We determine the self-adjoint boundary conditions for these operators. We prove th… ▽ More On the half line $[0,\infty)$ we study first order differential operators of the form $B 1/i d/(dx) + Q(x)$, where $B:=\mat{B_1}{0}{0}{-B_2}$, $B_1,B_2\in M(n,\C)$ are self--adjoint positive definite matrices and $Q:\R_+\to M(2n,\C)$, $\R_+:=[0,\infty)$, is a continuous self-adjoint off-diagonal matrix function. We determine the self-adjoint boundary conditions for these operators. We prove that for each such boundary value problem there exists a unique matrix spectral function $σ$ and a generalized Fourier transform which diagonalizes the corresponding operator in $L^2_σ(R, C)$. We give necessary and sufficient conditions for a matrix function $σ$ to be the spectral measure of a matrix potential $Q$. Moreover we present a procedure based on a Gelfand-Levitan type equation for the determination of $Q$ from $σ$. Our results generalize earlier results of M. Gasymov and B. Levitan. We apply our results to show the existence of $2n\times 2n$ Dirac systems with purely absolute continuous, purely singular continuous and purely discrete spectrum of multiplicity $p$, where $1\le p \le n$ is arbitrary. △ Less

Submitted 6 April, 1999; v1 submitted 7 May, 1998; originally announced May 1998.

Comments: LaTeX2e, 36 pages, 18 Feb 1999 completely revised version, section and several references added. 29 March 1999 final version, minor corrections and last section about systems with prescribed spectral functions improved

MSC Class: 34A25 (Primary); 34L (Secondary)

Journal ref: In: Differential operators and related topics, Vol. I (Odessa, 1997), 199--238, Oper. Theory Adv. Appl., 117, Birkhaeuser, Basel, 2000

Traces on algebras of parameter dependent pseudodifferential operators and the eta-invariant

Authors: Matthias Lesch, Markus J. Pflaum

Abstract: We identify Melrose's suspended algebra of pseudodifferential operators with a subalgebra of the algebra of parametric pseudodifferential operators with parameter space $\R$. For a general algebra of parametric pseudodifferential operators, where the parameter space may now be a cone $Γ\subset\R^p$, we construct a unique ``symbol valued trace'', which extends the $L^2$-trace on operators of smal… ▽ More We identify Melrose's suspended algebra of pseudodifferential operators with a subalgebra of the algebra of parametric pseudodifferential operators with parameter space $\R$. For a general algebra of parametric pseudodifferential operators, where the parameter space may now be a cone $Γ\subset\R^p$, we construct a unique ``symbol valued trace'', which extends the $L^2$-trace on operators of small order. This allows to construct various trace functionals in a systematic way. Furthermore we study the higher-dimensional eta-invariants on algebras with parameter space $\R^{2k-1}$. Using Clifford representations we construct for each first order elliptic differential operator a natural family of parametric pseudodifferential operators over $\R^{2k-1}$. The eta-invariant of this family coincides with the spectral eta-invariant of the operator. △ Less

Submitted 18 February, 1999; v1 submitted 29 April, 1998; originally announced April 1998.

Comments: 29 pages, LaTeX2e, revised version of 21 Oct 1998, some minor errors corrected, to appear in Trans. Amer. Math. Soc

Report number: ESI, Vienna, Preprint No. 547 MSC Class: 58G15

Journal ref: Trans. Amer. Math. Soc. 352 (2000), No 11, 4911--4936

On the noncommutative residue for pseudodifferential operators with log-polyhomogeneous symbols

Authors: Matthias Lesch

Abstract: We study various aspects of the noncommutative residue for an algebra of pseudodifferential operators whose symbols have an expansion $a\sim \sum_{j=0}^\infty a_{m-j}, a_{m-j}(x,ξ)=\sum_{l=0}^k a_{m-j,l}(x,ξ) \log^l|ξ|,$ where $a_{m-j,l}$ is homogeneous in $ξ$ of degree $m-j$. We will explain why this algebra of pseudodifferential operators is natural. For a pseudodifferential operator in this… ▽ More We study various aspects of the noncommutative residue for an algebra of pseudodifferential operators whose symbols have an expansion $a\sim \sum_{j=0}^\infty a_{m-j}, a_{m-j}(x,ξ)=\sum_{l=0}^k a_{m-j,l}(x,ξ) \log^l|ξ|,$ where $a_{m-j,l}$ is homogeneous in $ξ$ of degree $m-j$. We will explain why this algebra of pseudodifferential operators is natural. For a pseudodifferential operator in this class, $A$, and a classical elliptic pseudodifferential operator, $P$, we show that the generalized zeta-function $\Tr(AP^{-s})$ has a meromorphic continuation to the whole complex plane, however possibly with higher order poles. Our algebra of operators has a bigrading given by the order and the highest log-power occuring in the symbol expansion. We construct "higher" noncommutative residue functionals on the subspaces given by the log-grading. However, in contrast to the classical case we prove that the whole algebra does not admit any nontrivial traces. Finally we show that the analogue of the Kontsevich-Vishik trace also exists on our algebra. Our method also provides an alternative approach to the Kontsevich-Vishik trace. △ Less

Submitted 18 February, 1999; v1 submitted 13 August, 1997; originally announced August 1997.

Comments: LaTeX2e, 35 pages; v2 16 Sept 1997, section on Kontsevich-Vishik added, Final version, 10 July 1998, minor corrections, to appear in Ann. Glob. Anal. Geom

Report number: SFB288, no. 280 MSC Class: 58G15 (Primary); 58G11 (Secondary)

Journal ref: Ann. Glob. Anal. Geom. 17 (1999), 151-187

On the Determinant of One-Dimensional Elliptic Boundary Value Problems

Authors: Matthias Lesch, Jürgen Tolksdorf

Abstract: We discuss the $ζ-$regularized determinant of elliptic boundary value problems on a line segment. Our framework is applicable for separated and non-separated boundary conditions. We discuss the $ζ-$regularized determinant of elliptic boundary value problems on a line segment. Our framework is applicable for separated and non-separated boundary conditions. △ Less

Submitted 30 July, 1997; originally announced July 1997.

Comments: LaTeX, 18 pages

MSC Class: 34L05 (Primary); 58G26 (Secondary)

Journal ref: Commun. Math. Phys. 193 (1998), 643-660

On index formulas for manifolds with metric horns

Authors: Matthias Lesch, Norbert Peyerimhoff

Abstract: In this paper we discuss the index problem for geometric differential operators (Spin-Dirac operator, Gauß-Bonnet operator, Signature operator) on manifolds with metric horns. On singular manifolds these operators in general do not have unique closed extensions. But there always exist two extremal extensions $D_{min}$ and $D_{max}$. We describe the quotient… ▽ More In this paper we discuss the index problem for geometric differential operators (Spin-Dirac operator, Gauß-Bonnet operator, Signature operator) on manifolds with metric horns. On singular manifolds these operators in general do not have unique closed extensions. But there always exist two extremal extensions $D_{min}$ and $D_{max}$. We describe the quotient ${\cal D}(D_{max}) / {\cal D}(D_{min})$ explicitely in geometric resp. topologic terms of the base manifolds of the metric horns. We derive index formulas for the Spin-Dirac and Gauß-Bonnet operator. For the Signature operator we present a partial result. The first version of this paper was completed August 1995 at the University of Augsburg. △ Less

Submitted 19 February, 1999; v1 submitted 24 September, 1996; originally announced September 1996.

Comments: LaTeX, 37 pages. Final version from 20 Jan 1998, completely revised

MSC Class: 58G (Primary)

Journal ref: Commun. Part. Diff. Equ. 23 (1998), 649-684

On the eta-invariant of certain nonlocal boundary value problems

Authors: Jochen Brüning, Matthias Lesch

Abstract: Motivated by the work of Vishik on the analytic torsion we introduce a new class of generalized Atiyah-Patodi-Singer boundary value problems. We are able to derive a full heat expansion for this class of operators generalizing earlier work of Grubb and Seeley. As an application we give another proof of the gluing formula for the eta invariant. Our class of boundary conditions contains as special… ▽ More Motivated by the work of Vishik on the analytic torsion we introduce a new class of generalized Atiyah-Patodi-Singer boundary value problems. We are able to derive a full heat expansion for this class of operators generalizing earlier work of Grubb and Seeley. As an application we give another proof of the gluing formula for the eta invariant. Our class of boundary conditions contains as special cases the usual (nonlocal) Atiyah-Patodi-Singer boundary value problems as well as the (local) relative and absolute boundary conditions for the Gauss-Bonnet operator. △ Less

Submitted 18 February, 1999; v1 submitted 4 September, 1996; originally announced September 1996.

Comments: LaTeX, 35 pages, final version as of 14 Nov 1997, to appear in Duke Math. J

Report number: SFB288, No. 222 MSC Class: 58G (Primary)

Journal ref: Duke Math. J. 96 (1999), 425-468

Differential operators of Fuchs type, conical singularities, and asymptotic methods

Authors: Matthias Lesch

Abstract: This text is a revised version of the authors Habilitationsschrift which was submitted to the University of Augsburg, 1993. Fuchs type differential operators are used to model the analysis on manifolds with cone--like singularities, or more general, stratified spaces. This book provides a self--contained treatment of the analysis of the heat equation and index theory for these operators. Maj… ▽ More This text is a revised version of the authors Habilitationsschrift which was submitted to the University of Augsburg, 1993. Fuchs type differential operators are used to model the analysis on manifolds with cone--like singularities, or more general, stratified spaces. This book provides a self--contained treatment of the analysis of the heat equation and index theory for these operators. Major topics are short--time asymptotics, $η$-- and $ζ$--functions, (relative) index theorems. Another chapter is devoted to the discussion of deficiency indices and Dirac Schrödinger operators. △ Less

Submitted 19 July, 1996; originally announced July 1996.

Comments: LaTeX, 161 pages, also available from http://spectrum.mathematik.hu-berlin.de/~lesch

Report number: To appear as Teubner text MSC Class: 58G (Primary)

Journal ref: Teubner Texte zur Mathematik Vol. 136, Teubner--Verlag, Leipzig, 1997