Perturbation vectors (Q1818822): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Richard W. Carey / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Joel D. Pincus / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Boris Vladimirovich Loginov / rank | |||
Normal rank |
Revision as of 20:25, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Perturbation vectors |
scientific article |
Statements
Perturbation vectors (English)
0 references
1 August 2000
0 references
The authors study the algebraic \(K\)-theory of algebras of operators in Hilbert space \(H\) having trace class commutators. To do this they create two new objects: ``perturbation vectors'' \(\sigma_{T,S}\) and the joint torsion \(\tau(S_{1},S_{2},T_{2},T_{1})\) defined for two such pairs when \(S_{1}S_{2}=T_{2}T_{1}\). The perturbation vectors are obtained through the construction of a section \(\sigma\) of a canonical determinant bundle. The main results of this article are the proofs of the existence of this section and the basic properties of the perturbation vectors \(\sigma_{T,S}\) which give a trivialization of the bundle. Let \({\mathcal F}\) denote the Fredholm operators on \(H\) and \(Q\rightarrow {\mathcal F} \) be the Quillen det bundle. Form \({\mathcal Q}+{\mathcal Q}^{*}\) as a bundle over \({\mathcal F}\times{\mathcal F}\). Let \(\wp= \operatorname {det} ({\mathcal Q}+{\mathcal Q}^{*})\) be the determinant bundle and \(M\equiv\{ (S,T)\mid (S,T)\in {\mathcal F}\times{\mathcal F}, S-T\in {\mathcal L}^{1}(H)\}\) with \(i_{M}:M\rightarrow {\mathcal F}\times {\mathcal F}\) the inclusion map. The authors prove the existence of a trivialization of the pullback \(i^{*}_{M}(\wp)\) by construction of a section \(\sigma\), called the perturbation section. The thereby constructed ``perturbation vectors'' \(\sigma_{S,T}\) generalize the perturbation determinant \(\operatorname {det} (S^{-1}T)\), when the operators \(S\),\(T\) are singular. Then, for pairs of elements \((A,D)\) and \((B,C)\) in \(M\) with \(AB=CD\) there is a Koszul complex \(K(A,B;C,D)\) with two torsion vectors built from its homology whose tensor product is a scalar multiple of \(\sigma_{A,D}\otimes \sigma_{B,C}.\) This gives a number \(\tau(A,B,C,D;H) \in C^{*}\) called the joint torsion. It has previously been shown that if \(A\) and \(B\) are commuting operators in \({\mathcal F}\) then the Steinberg symbol determinant \(\operatorname {det} _{*}\circ \partial\{ A+ L^{1}(H), B+L^{1}(H)\} =\tau(A,B,B,A;H).\) Corresponding results are now proved in the non-commuting case, and the section \(\sigma\) and the joint torsion are used to examine the \(n\times n\) subdeterminants of Toeplitz matrices with non-zero index as \(n\rightarrow \infty\).
0 references
Fredholm operators
0 references
spectral theory
0 references
algebraic K-theory
0 references
trace class commutators
0 references
perturbation vectors
0 references
determinant bundles
0 references
Quillen det bundles
0 references
trivialization of the pullback
0 references
perturbation section
0 references
Koszul complex
0 references
torsion vectors
0 references
homology
0 references
joint torsion
0 references
Steinberg symbol determinant
0 references
Toeplitz matrices
0 references