Related papers: A new approach in index theory
Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…
Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…
We define and study the noncommutative spectral flow for paths of regular selfadjoint Fredholm operators on a countably generated Hilbert C*-module. We give an axiomatic description and discuss some applications. One of them is the…
We consider in a Hilbert space a self-adjoint operator H and a family Phi=(Phi_1,...,Phi_d) of mutually commuting self-adjoint operators. Under some regularity properties of H with respect to Phi, we propose two new formulae for a time…
Given C*-algebras A and B and an imprimitivity A-B-bimodule X, we construct an explicit isomorphism X_* : K_i(A) --> K_i(B) where K_i denote the complex K-theory functors for i=0, 1. Our techniques do not require separability nor existence…
We present an improved Fredholm theory of non-elliptic operators for when the corresponding classical dynamical system exhibits normally hyperbolic trapping with smooth backward and forward trapped sets. It takes place on coisotropic…
We characterize the groupoids for which an operator is Fredholm if, and only if, its principal symbol and all its boundary restrictions are invertible. A groupoid with this property is called {\em Fredholm}. Using results on the Effros-Hahn…
Let $E$ and $F$ be Hilbert $C^*$-modules over a $C^*$-algebra $\CAlg{A}$. New classes of (possibly unbounded) operators $t:E\to F$ are introduced and investigated. Instead of the density of the domain $\Def(t)$ we only assume that $t$ is…
Indicial operators are model operators associated to an elliptic differential operator near a corner singularity on a stratified manifold. These model operators are defined on generalized tangent cone configurations and exhibit a natural…
Let $\mathcal{H}$ be a connected hereditary abelian category with tilting objects. It is proved that the cluster-tilting graph associated with $\mathcal{H}$ is always connected. As a consequence, we establish the connectedness of the…
Let X --> B be a proper submersion with a Riemannian structure. Given a differential K-theory class on X, we define its analytic and topological indices as differential K-theory classes on B. We prove that the two indices are the same.
Given an elliptic operator $P$ on a non-compact manifold (with proper asymptotic conditions), there is a discrete set of numbers called indicial roots. It's known that $P$ is Fredholm between weighted Sobolev spaces if and only if the…
We establish a regular sampling theory in the range of the analysis operator of a continuous frame having a unitary structure. The unitary structure is related with a unitary representation of a locally compact abelian group on a separable…
Given a countable metric space, we can consider its end. Then a basis of a Hilbert space indexed by the metric space defines an end of the Hilbert space, which is a new notion and different from an end as a metric space. Such an indexed…
We consider Fredholm determinants of matrix convolution operators associated to matrix versions of the $n - $th Airy functions. Using the theory of integrable operators, we relate them to a fully noncommutative Painlev\'e II hierarchy,…
The paper constructs the analytic index for an elliptic pseudodifferential family of $L^{m}_{\rho,\de}$-operators invariant under the proper action of a continuous family groupoid on a $G$-compact, $C^{\infty,0}$ $G$-space.
We prove novel results on interpolation of Fredholm operators including an abstract factorization theorem. The main result of this paper provides sufficient conditions on the parameters $\theta \in (0,1)$ and $q\in \lbrack 1,\infty ]$ under…
Relative index theorems, which deal with what happens with the index of elliptic operators when cutting and pasting, are abundant in the literature. It is desirable to obtain similar theorems for other stable homotopy invariants, not the…
We study the Spectral Analysis for a class of bounded linear operators T = D + F in a non Archimedean Hilbert space E, where D is a diagonal linear operator and where F is a finite rank linear operator. In this study of the Spectral…
We derive the leading asymptotic behavior and build a new series representation for the Fredholm determinant of integrable integral operators appearing in the representation of the time and distance dependent correlation functions of…