arXiv subjects

Matthias Lesch

Publications and source records attributed to Matthias Lesch.

At least 19 recordsLinked to original sources

arXiv2024

Divided Differences and Multivariate Holomorphic Calculus

We review the multivariate holomorphic functional calculus for tuples in a commutative Banach algebra and establish a simple "na\"ive" extension to commuting tuples in a general Banach algebra. The approach is na\"ive in the sense that the na\"ively defined joint spectrum maybe too big. The advantage of the approach is that the functional calculus then is given by a simple concrete formula from which all its continuity properties can easily be derived. We apply this framework to multivariate functions arising as divided differences of a univariate function. This provides a rich set of examples to which our na\"ive calculus applies. Foremost, we offer a natural and straightforward proof of the Connes-Moscovici Rearrangement Lemma in the context of the multivariate holomorphic functional calculus. Secondly, we show that the Daletski-Krein type noncommutative Taylor expansion is a natural consequence of our calculus. Also Magnus' Theorem which gives a nonlinear differential equation for the $\log$ of the solutions to a linear matrix ODE follows naturally and easily from our calculus. Finally, we collect various combinatorial related formulas.

math.FA↗

arXiv2023

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

For a twisted $C^*$-dynamical system $(\mathscr{A},\mathbb{R}^n,\alpha,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 $\alpha$-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.

math.OA↗

arXiv2022

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

math.SP↗

arXiv2022

The product formula for regularized Fredholm determinants: two new proofs

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.

math.SP↗

arXiv2020

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.

math.KT↗

arXiv2019

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

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

math.OA↗

arXiv2018

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

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.

math.OA↗

arXiv2018

Modular Gaussian curvature

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.

math.QA↗

arXiv2018

Resolvent Trace Asymptotics on Stratified Spaces

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.

math.SP↗

arXiv2018

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.

math.SP↗

arXiv2016

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.

math.OA↗

arXiv2016

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

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.

math.SP↗

arXiv2016

Modular curvature and Morita equivalence

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.

math.QA↗

arXiv2014

On the spectral flow for Dirac operators with local boundary conditions

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.

math.AP↗

arXiv2014

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.

math.SP↗

arXiv2014

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.

math.OA↗

arXiv2013

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.

math.OA↗

arXiv2012

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.

math.SP↗