Source author record

Matthias Lesch

Matthias Lesch appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

14works
13topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2022arXiv

Zeta and Fredholm determinants of self-adjoint operators

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$.

preprint2020arXiv

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

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.

preprint2018arXiv

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

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.

preprint2016arXiv

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

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.

preprint2015arXiv

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

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.

preprint2014arXiv

Regularizing infinite sums of zeta-determinants

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.

preprint2013arXiv

Classification of traces and hypertraces on spaces of classical pseudodifferential operators

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.

preprint2012arXiv

A gluing formula for the analytic torsion on singular spaces

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.

preprint2011arXiv

Connes-Chern character for manifolds with boundary and eta cochains

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.

preprint2011arXiv

Perturbation of Sectorial Projections of Elliptic Pseudo-differential Operators

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.

preprint2011arXiv

Regular singular Sturm-Liouville operators and their zeta-determinants

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.

preprint2011arXiv

Spectral flow and the unbounded Kasparov product

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.

preprint2010arXiv

Pseudodifferential Operators and Regularized Traces

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.

preprint2003arXiv

On the rho invariant for manifolds with boundary

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.