-
Symmetric functionals on simply generated symmetric spaces
Authors:
Galina Levitina,
Alexandr Usachev
Abstract:
In the present paper we suggest a construction of symmetric functionals on a large class of symmetric spaces over a semifinite von Neumann algebra. This approach establishes a bijection between the symmetric functionals on symmetric spaces and shift-invariant functionals on the space of bounded sequences. It allows to obtain a bijection between the classes of all continuous symmetric functionals o…
▽ More
In the present paper we suggest a construction of symmetric functionals on a large class of symmetric spaces over a semifinite von Neumann algebra. This approach establishes a bijection between the symmetric functionals on symmetric spaces and shift-invariant functionals on the space of bounded sequences. It allows to obtain a bijection between the classes of all continuous symmetric functionals on different symmetric spaces. Notably, we show that this mapping is not bijective on the class of all Dixmier traces. As an application of our results we prove an extension of the Connes trace formula for a wide class of operators and symmetric functionals.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Dixmier-type traces on semifinite symmetric spaces
Authors:
Galina Levitina,
Alexandr Usachev
Abstract:
We prove that a normalised linear functional on certain semifinite symmetric spaces respects tail majorisation if and only if it is a Dixmier-type trace.
We prove that a normalised linear functional on certain semifinite symmetric spaces respects tail majorisation if and only if it is a Dixmier-type trace.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
On a conjectured property of the Witten index and an application to Levinson's theorem
Authors:
Alan Carey,
Galina Levitina
Abstract:
A few years ago Fritz Gesztesy raised the issue of whether there was a composition rule for the Witten index analogous to that satisfied by Fredholm operators. In this note we prove a result in this direction and provide an application to Levinson's theorem.
A few years ago Fritz Gesztesy raised the issue of whether there was a composition rule for the Witten index analogous to that satisfied by Fredholm operators. In this note we prove a result in this direction and provide an application to Levinson's theorem.
△ Less
Submitted 19 September, 2023; v1 submitted 13 August, 2023;
originally announced August 2023.
-
The limiting absorption principle for massless Dirac operators, properties of spectral shift functions, and an application to the Witten index of non-Fredholm operators
Authors:
Alan Carey,
Fritz Gesztesy,
Galina Levitina,
Roger Nichols,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We derive a limiting absorption principle on any compact interval in $\mathbb{R} \backslash \{0\}$ for the free massless Dirac operator, $H_0 = α\cdot (-i \nabla)$ in $[L^2(\mathbb{R}^n)]^N$, $n \geq 2$, $N=2^{\lfloor(n+1)/2\rfloor}$, and then prove the absence of singular continuous spectrum of interacting massless Dirac operators $H = H_0 +V$, where $V$ decays like $O(|x|^{-1 - \varepsilon})$.…
▽ More
We derive a limiting absorption principle on any compact interval in $\mathbb{R} \backslash \{0\}$ for the free massless Dirac operator, $H_0 = α\cdot (-i \nabla)$ in $[L^2(\mathbb{R}^n)]^N$, $n \geq 2$, $N=2^{\lfloor(n+1)/2\rfloor}$, and then prove the absence of singular continuous spectrum of interacting massless Dirac operators $H = H_0 +V$, where $V$ decays like $O(|x|^{-1 - \varepsilon})$.
Expressing the spectral shift function $ξ(\,\cdot\,; H,H_0)$ as normal boundary values of regularized Fredholm determinants, we prove that for sufficiently decaying $V$, $ξ(\,\cdot\,;H,H_0) \in C((-\infty,0) \cup (0,\infty))$, and that the left and right limits at zero, $ξ(0_{\pm}; H,H_0)$, exist.
Introducing the non-Fredholm operator $\boldsymbol{D}_{\boldsymbol{A}} = \frac{d}{dt} + \boldsymbol{A}$ in $L^2\big(\mathbb{R};[L^2(\mathbb{R}^n)]^N\big)$, where $\boldsymbol{A} = \boldsymbol{A_-} + \boldsymbol{B}$, $\boldsymbol{A_-}$, and $\boldsymbol{B}$ are generated in terms of $H, H_0$ and $V$, via $A(t) = A_- + B(t)$, $A_- = H_0$, $B(t)=b(t) V$, $t \in \mathbb{R}$, assuming $b$ is smooth, $b(-\infty) = 0$, $b(+\infty) = 1$, and introducing $\boldsymbol{H_1} = \boldsymbol{D}_{\boldsymbol{A}}^{*} \boldsymbol{D}_{\boldsymbol{A}}$, $\boldsymbol{H_2} = \boldsymbol{D}_{\boldsymbol{A}} \boldsymbol{D}_{\boldsymbol{A}}^{*}$, one of the principal results in this manuscript expresses the $k$th resolvent regularized Witten index $W_{k,r}(\boldsymbol{D}_{\boldsymbol{A}})$ ($k \in \mathbb{N}$, $k \geq \lceil n/2 \rceil$) in terms of spectral shift functions as \[ W_{k,r}(\boldsymbol{D}_{\boldsymbol{A}}) = ξ(0_+; \boldsymbol{H_2}, \boldsymbol{H_1}) = [ξ(0_+;H,H_0) + ξ(0_-;H,H_0)]/2. \] Here $L^2(\mathbb{R};\mathcal{H}) = \int_{\mathbb{R}}^{\oplus} dt \, \mathcal{H}$ and $\boldsymbol{T} = \int_{\mathbb{R}}^{\oplus} dt \, T(t)$ abbreviate direct integrals.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
The Witten index and the spectral shift function
Authors:
Alan Carey,
Galina Levitina,
Denis Potapov,
Fedor Sukochev
Abstract:
In \cite{APSIII} Atiyah, Patodi and Singer introduced spectral flow for elliptic operators on odd dimensional compact manifolds. They argued that it could be computed from the Fredholm index of an elliptic operator on a manifold of one higher dimension. A general proof of this fact was produced by Robbin-Salamon \cite{RS95}. In \cite{GLMST}, a start was made on extending these ideas to operators w…
▽ More
In \cite{APSIII} Atiyah, Patodi and Singer introduced spectral flow for elliptic operators on odd dimensional compact manifolds. They argued that it could be computed from the Fredholm index of an elliptic operator on a manifold of one higher dimension. A general proof of this fact was produced by Robbin-Salamon \cite{RS95}. In \cite{GLMST}, a start was made on extending these ideas to operators with some essential spectrum as occurs on non-compact manifolds. The new ingredient introduced there was to exploit scattering theory following the fundamental paper \cite{Pu08}. These results do not apply to differential operators directly, only to pseudo-differential operators on manifolds, due to the restrictive assumption that spectral flow is considered between an operator and {its perturbation by a relatively trace-class operator}. In this paper we extend the main results of these earlier papers to spectral flow between an operator and a perturbation satisfying a higher $p^{th}$ Schatten class condition for $0\leq p<\infty$, thus allowing differential operators on manifolds of any dimension $d<p+1$. In fact our main result does not assume any ellipticity or Fredholm properties at all and proves an operator theoretic trace formula motivated by \cite{BCPRSW, CGK16}. We illustrate our results using Dirac type operators on $L^2(\bbR^d)$ for arbitrary $d\in\bbN$. In this setting our main result substantially extends \cite[Theorem 3.5]{CGGLPSZ16}, where the case $d=1$ was treated.
△ Less
Submitted 22 February, 2022; v1 submitted 17 January, 2021;
originally announced January 2021.
-
Pietsch correspondence for symmetric functionals on Calkin operator spaces associated with semifinite von Neumann algebras
Authors:
Galina Levitina,
Alexandr Usachev
Abstract:
In this paper we extend the Pietsch correspondence for ideals of compact operators and traces on them to the semifinite setting. We prove that a shift-monotone space $E(\Z)$ of sequences indexed by $\Z$ defines a Calkin space $E(\cM,τ)$ of $τ$-measurable operators affiliated with a semifinite von Neumann algebra $\cM$ equipped with a faithful normal semifinite trace $τ$. Furthermore, we show that…
▽ More
In this paper we extend the Pietsch correspondence for ideals of compact operators and traces on them to the semifinite setting. We prove that a shift-monotone space $E(\Z)$ of sequences indexed by $\Z$ defines a Calkin space $E(\cM,τ)$ of $τ$-measurable operators affiliated with a semifinite von Neumann algebra $\cM$ equipped with a faithful normal semifinite trace $τ$. Furthermore, we show that shift-invariant functionals on $E(\Z)$ generate symmetric functionals on $E(\cM,τ)$. In the special case, when the algebra $\cM$ is atomless or atomic with atoms of equal trace, the converse also holds and we have a bijective correspondence between all shift-monotone spaces $E(\Z)$ and Calkin spaces $E(\cM,τ)$ as well as a bijective correspondence between shift-invariant functionals on $E(\Z)$ and symmetric functionals on $E(\cM,τ)$. The bijective correspondence $E(\Z)\leftrightarrows E(\cM,τ)$ extends to a correspondence between complete symmetrically $Δ$-normed spaces $E(\cM,τ)$ and complete $Δ$-normed shift-monotone spaces $E(\Z)$.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Noncommutative Geometry for Symmetric Non-Self-Adjoint Operators
Authors:
Alain Connes,
Galina Levitina,
Edward McDonald,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We introduce the notion of a pre-spectral triple, which is a generalisation of a spectral triple $(\mathcal{A}, H, D)$ where $D$ is no longer required to be self-adjoint, but closed and symmetric. Despite having weaker assumptions, pre-spectral triples allow us to introduce noncompact noncommutative geometry with boundary. In particular, we derive the Hochschild character theorem in this setting.…
▽ More
We introduce the notion of a pre-spectral triple, which is a generalisation of a spectral triple $(\mathcal{A}, H, D)$ where $D$ is no longer required to be self-adjoint, but closed and symmetric. Despite having weaker assumptions, pre-spectral triples allow us to introduce noncompact noncommutative geometry with boundary. In particular, we derive the Hochschild character theorem in this setting. We give a detailed study of Dirac operators with Dirichlet boundary conditions on open subsets of $\mathbb{R}^d$, $d \geq 2$.
△ Less
Submitted 6 January, 2019; v1 submitted 6 August, 2018;
originally announced August 2018.
-
On the Global Limiting Absorption Principle for Massless Dirac Operators
Authors:
Alan Carey,
Fritz Gesztesy,
Jens Kaad,
Galina Levitina,
Roger Nichols,
Denis Potapov,
Fedor Sukochev
Abstract:
We prove a global limiting absorption principle on the entire real line for free, massless Dirac operators $H_0 = α\cdot (-i \nabla)$ for all space dimensions $n \in \mathbb{N}$, $n \geq 2$. This is a new result for all dimensions other than three, in particular, it applies to the two-dimensional case which is known to be of some relevance in applications to graphene.
We also prove an essential…
▽ More
We prove a global limiting absorption principle on the entire real line for free, massless Dirac operators $H_0 = α\cdot (-i \nabla)$ for all space dimensions $n \in \mathbb{N}$, $n \geq 2$. This is a new result for all dimensions other than three, in particular, it applies to the two-dimensional case which is known to be of some relevance in applications to graphene.
We also prove an essential self-adjointness result for first-order matrix-valued differential operators with Lipschitz coefficients.
△ Less
Submitted 3 November, 2017;
originally announced November 2017.
-
Cwikel estimates revisited
Authors:
Galina Levitina,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
In this paper, we propose a new approach to Cwikel estimates both for the Euclidean space and for the noncommutative Euclidean space.
In this paper, we propose a new approach to Cwikel estimates both for the Euclidean space and for the noncommutative Euclidean space.
△ Less
Submitted 13 March, 2017;
originally announced March 2017.
-
Trace Formulas for a Class of non-Fredholm Operators: A Review
Authors:
Alan Carey,
Fritz Gesztesy,
Harald Grosse,
Galina Levitina,
Denis Potapov,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We review previous work on spectral flow in connection with certain self-adjoint model operators $\{A(t)\}_{t\in \mathbb{R}}$ on a Hilbert space $\mathcal{H}$, joining endpoints $A_\pm$, and the index of the operator $D_{A}^{}= (d/d t) + A$ acting in $L^2(\mathbb{R}; \mathcal{H})$, where $A$ denotes the operator of multiplication $(A f)(t) = A(t)f(t)$. In this article we review what is known when…
▽ More
We review previous work on spectral flow in connection with certain self-adjoint model operators $\{A(t)\}_{t\in \mathbb{R}}$ on a Hilbert space $\mathcal{H}$, joining endpoints $A_\pm$, and the index of the operator $D_{A}^{}= (d/d t) + A$ acting in $L^2(\mathbb{R}; \mathcal{H})$, where $A$ denotes the operator of multiplication $(A f)(t) = A(t)f(t)$. In this article we review what is known when these operators have some essential spectrum and describe some new results in terms of associated spectral shift functions.
We are especially interested in extensions to non-Fredholm situations, replacing the Fredholm index by the Witten index, and use a particular $(1+1)$-dimensional model setup to illustrate our approach based on spectral shift functions.
△ Less
Submitted 16 October, 2016;
originally announced October 2016.
-
Double operator integral methods applied to continuity of spectral shift functions
Authors:
Alan Carey,
Fritz Gesztesy,
Galina Levitina,
Roger Nichols,
Denis Potapov,
Fedor Sukochev
Abstract:
We derive two main results: First, assume that $A$, $B$, $A_n$, $B_n$ are self-adjoint operators in the Hilbert space $\mathcal{H}$, and suppose that $A_n$ converges to $A$ and $B_n$ to $B$ in strong resolvent sense as $n \to \infty$. Fix $m \in \mathbb{N}$, $m$ odd, $p \in [1,\infty)$, and assume that…
▽ More
We derive two main results: First, assume that $A$, $B$, $A_n$, $B_n$ are self-adjoint operators in the Hilbert space $\mathcal{H}$, and suppose that $A_n$ converges to $A$ and $B_n$ to $B$ in strong resolvent sense as $n \to \infty$. Fix $m \in \mathbb{N}$, $m$ odd, $p \in [1,\infty)$, and assume that $T:= \big[( A + iI_{\mathcal{H}})^{-m} - ( B + iI_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_p(\mathcal{H})$, $T_n := \big[( A_n + iI_{\mathcal{H}})^{-m} - ( B_n + iI_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_p(\mathcal{H})$, and $\lim_{n \rightarrow \infty} \|T_n - T\|_{\mathcal{B}_p(\mathcal{H})} =0$. Then for any function $f$ in the class $\mathfrak F_{k}(\mathbb{R}) \supset C_0^{\infty}(\mathbb{R})$ (cf. (1.1)), $$ \lim_{n \rightarrow \infty} \big\| [f(A_n) - f(B_n)] - [f(A)- f(B)]\big\|_{\mathcal{B}_p(\mathcal{H})}=0. $$
Our second result concerns the continuity of spectral shift functions $ξ(\cdot; B,B_0)$ with respect to the operator parameter $B$. For $T$ self-adjoint in $\mathcal{H}$ we denote by $Γ_m(T)$, $m \in \mathbb{N}$ odd, the set of all self-adjoint operators $S$ in $\mathcal{H}$ satisfying $\big[(S - z I_{\mathcal{H}})^{-m} - (T - z I_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_1(\mathcal{H})$, $z \in \mathbb{C}\backslash \mathbb{R}$. Employing a suitable topology on $Γ_m(T)$ (cf. (1.9), we prove the following: Suppose that $B_1\in Γ_m(B_0)$ and let $\{B_τ\}_{τ\in [0,1]}\subset Γ_m(B_0)$ denote a path from $B_0$ to $B_1$ in $Γ_m(B_0)$ depending continuously on $τ\in [0,1]$ with respect to the topology on $Γ_m(B_0)$. If $f \in L^{\infty}(\mathbb{R})$, then $$ \lim_{τ\to 0^+} \|ξ(\, \cdot \, ; B_τ, A_0) f - ξ(\, \cdot \, ; B_0, A_0) f\|_{L^1(\mathbb{R}; (|ν|^{m+1} + 1)^{-1}dν)} = 0. $$
△ Less
Submitted 2 February, 2016; v1 submitted 25 November, 2015;
originally announced November 2015.
-
On the Index of a Non-Fredholm Model Operator
Authors:
Alan Carey,
Fritz Gesztesy,
Galina Levitina,
Fedor Sukochev
Abstract:
Let $\{A(t)\}_{t \in \mathbb{R}}$ be a path of self-adjoint Fredholm operators in a Hilbert space $\mathcal{H}$, joining endpoints $A_\pm$ as $t \to \pm \infty$. Computing the index of the operator $D_A= (d/d t) + A$ acting in $L^2(\mathbb{R}; \mathcal{H})$, where $A = \int_{\mathbb{R}}^{\oplus} dt \, A(t)$, and its relation to spectral flow along this path, has a long history. While most of the l…
▽ More
Let $\{A(t)\}_{t \in \mathbb{R}}$ be a path of self-adjoint Fredholm operators in a Hilbert space $\mathcal{H}$, joining endpoints $A_\pm$ as $t \to \pm \infty$. Computing the index of the operator $D_A= (d/d t) + A$ acting in $L^2(\mathbb{R}; \mathcal{H})$, where $A = \int_{\mathbb{R}}^{\oplus} dt \, A(t)$, and its relation to spectral flow along this path, has a long history. While most of the latter focuses on the case where $A(t)$ all have purely discrete spectrum, we now particularly study situations permitting essential spectra.
Introducing $H_1={D_A}^* D_A$ and $H_2=D_A {D_A}^*$, we consider spectral shift functions $ξ(\, \cdot \,; A_+, A_-)$ and $ξ(\, \cdot \, ; H_2, H_1)$ associated with the pairs $(A_+, A_-)$ and $(H_2,H_1)$. Assuming $A_+$ to be a relatively trace class perturbation of $A_-$ and $A_{\pm}$ to be Fredholm, the value $ξ(0; A_-, A_+)$ was shown in [14] to represent the spectral flow along the path $\{A(t)\}_{t\in \mathbb{R}}$ while that of $ξ(0_+; H_1,H_2)$ yields the Fredholm index of $D_A$. The fact, proved in [14], that these values of the two spectral functions are equal, resolves the index = spectral flow question in this case.
When the path $\{A(t)\}_{t \in \mathbb{R}}$ consists of differential operators, the relatively trace class perturbation assumption is violated. The simplest assumption that applies (to differential operators in (1+1)-dimensions) is a relatively Hilbert-Schmidt perturbation. This is not just an incremental improvement. In fact, the approximation method we employ here to make this extension is of interest in any dimension. Moreover we consider $A_\pm$ which are not necessarily Fredholm and we establish that the relationships between the two spectral shift functions for the pairs $(A_+, A_-)$ and $(H_2,H_1)$ found in all of the previous papers [9], [14], and [22] can be proved in the non-Fredholm case.
△ Less
Submitted 4 September, 2015;
originally announced September 2015.
-
On Index Theory for Non-Fredholm Operators: A $(1+1)$-Dimensional Example
Authors:
Alan Carey,
Fritz Gesztesy,
Galina Levitina,
Denis Potapov,
Fedor Sukochev,
Dima Zanin
Abstract:
Using the general formalism of [12], a study of index theory for non-Fredholm operators was initiated in [9]. Natural examples arise from $(1+1)$-dimensional differential operators using the model operator $D_A$ in $L^2(\mathbb{R}^2; dt dx)$ of the type $D_A = (d/dt) + A$, where $A = \int^{\oplus}_{\mathbb{R}} dt \, A(t)$, and the family of self-adjoint operators $A(t)$ in $L^2(\mathbb{R}; dx)$ is…
▽ More
Using the general formalism of [12], a study of index theory for non-Fredholm operators was initiated in [9]. Natural examples arise from $(1+1)$-dimensional differential operators using the model operator $D_A$ in $L^2(\mathbb{R}^2; dt dx)$ of the type $D_A = (d/dt) + A$, where $A = \int^{\oplus}_{\mathbb{R}} dt \, A(t)$, and the family of self-adjoint operators $A(t)$ in $L^2(\mathbb{R}; dx)$ is explicitly given by $A(t) = - i (d/dx) + θ(t) φ(\cdot)$, $t \in \mathbb{R}$. Here $φ: \mathbb{R} \to \mathbb{R}$ has to be integrable on $\mathbb{R}$ and $θ: \mathbb{R} \to \mathbb{R}$ tends to zero as $t \to - \infty$ and to $1$ as $t \to + \infty$. In particular, $A(t)$ has asymptotes in the norm resolvent sense $A_- = - i (d/dx)$, $A_+ = - i (d/dx) + φ(\cdot)$ as $t \to \mp \infty$.
Since $D_A$ violates the relative trace class condition introduced in [9], we now employ a new approach based on an approximation technique. The approximants do fit the framework of [9] and lead to the following results: Introducing $H_1 = {D_A}^* D_A$, $H_2 = D_A {D_A}^*$, we recall that the resolvent regularized Witten index of $D_A$, denoted by $W_r(D_A)$, is defined by $$ W_r(D_A) = \lim_{λ\to 0} (- λ) {\rm tr}_{L^2(\mathbb{R}^2; dtdx)}((H_1 - λI)^{-1} - (H_2 - λI)^{-1}). $$ In the concrete example at hand, we prove $$ W_r(D_A) = ξ(0_+; H_2, H_1) = ξ(0; A_+, A_-) = 1/(2 π) \int_{\mathbb{R}} dx \, φ(x). $$ Here $ξ(\, \cdot \, ; S_2, S_1)$, denotes the spectral shift operator for the pair $(S_2,S_1)$, and we employ the normalization, $ξ(λ; H_2, H_1) = 0$, $λ< 0$.
△ Less
Submitted 4 September, 2015;
originally announced September 2015.
-
The Spectral shift function and the Witten index
Authors:
Alan Carey,
Fritz Gesztesy,
Galina Levitina,
Fedor Sukochev
Abstract:
We survey the notion of the spectral shift function of a pair of self-adjoint operators and recent progress on its connection with the Witten index. We also describe a proof of Krein's Trace Theorem that does not use complex analysis [53] and develop its extension to general $σ$-finite von Neumann algebras $\mathcal{M}$ of type II and unbounded perturbations from the predual of $\mathcal{M}$.
We…
▽ More
We survey the notion of the spectral shift function of a pair of self-adjoint operators and recent progress on its connection with the Witten index. We also describe a proof of Krein's Trace Theorem that does not use complex analysis [53] and develop its extension to general $σ$-finite von Neumann algebras $\mathcal{M}$ of type II and unbounded perturbations from the predual of $\mathcal{M}$.
We also discuss the connection between the theory of the spectral shift function and index theory for certain model operators. We start by introducing various definitions of the Witten index, (an extension of the notion of Fredholm index to non-Fredholm operators). Then we study the model operator $D_{A^{}} = (d/dt) + A$ in $L^2(\mathbb{R};\mathcal{H})$ associated with the operator path $\{A(t)\}_{t=-\infty}^{\infty}$, where $(A f)(t) = A(t) f(t)$ for a.e. $t\in\mathbb{R}$, and appropriate $f \in L^2(\mathbb{R};\mathcal{H})$. The setup permits the operator family $A(t)$ on $\mathcal{H}$ to be an unbounded relatively trace class perturbation of the unbounded self-adjoint operator $A_-$, and no discrete spectrum assumptions are made on the asymptotes $A_{\pm}$.
When $A_{\pm}$ are boundedly invertible, it is shown that $D_{A^{}}$ is Fredholm and its index can be computed as $ξ(0; A_+, A_-)$. When $0\inσ(A_+)$ (or $0\inσ(A_-)$), the operator $D_{A^{}}$ ceases to be Fredholm. However, if $0$ is a right and a left Lebesgue point of $ξ(\,\cdot\,\, ; A_+, A_-)$, the resolvent regularized Witten index $W_r(D_{A^{}})$ is given by $W_r(D_{A^{}}) = ξ(0_+; |D_{A^{*}}|^2, |D_{A^{}}|^2) = [ξ(0_+; A_+,A_-) + ξ(0_-; A_+, A_-)]/2$.
We also study a special example, when the perturbation of the unbounded self-adjoint operator $A_-$ is not assumed to be relatively trace class.
△ Less
Submitted 19 May, 2015;
originally announced May 2015.
-
Derivations with values in quasi-normed bimodules of locally measurable operators
Authors:
A. F. Ber,
V. I. Chilin,
G. B. Levitina
Abstract:
We prove that every derivation acting on a von Neumann algebra $\mathcal{M}$ with values in a quasi-normed bimodule of locally measurable operators affiliated with $\mathcal{M}$ is necessarily inner.
We prove that every derivation acting on a von Neumann algebra $\mathcal{M}$ with values in a quasi-normed bimodule of locally measurable operators affiliated with $\mathcal{M}$ is necessarily inner.
△ Less
Submitted 28 August, 2013;
originally announced August 2013.
-
Derivations on ideals in commutative $AW^*$-algebras
Authors:
V. I. Chilin,
G. B. Levitina
Abstract:
Let $\mathcal{A}$ be a commutative $AW^*$-algebra, let $S(\mathcal{A})$ be the *-algebra of all measurable operators affiliated with $\mathcal{A}$, let $\mathcal{I}$ be an ideal in $\mathcal{A}$, let $s(\mathcal{I})$ be the support of the ideal $\mathcal{I}$ and let $\mathbb{Y}$ be a solid subspace in $S(\mathcal{A})$. The necessary and sufficient conditions of existence of non-zero band preservin…
▽ More
Let $\mathcal{A}$ be a commutative $AW^*$-algebra, let $S(\mathcal{A})$ be the *-algebra of all measurable operators affiliated with $\mathcal{A}$, let $\mathcal{I}$ be an ideal in $\mathcal{A}$, let $s(\mathcal{I})$ be the support of the ideal $\mathcal{I}$ and let $\mathbb{Y}$ be a solid subspace in $S(\mathcal{A})$. The necessary and sufficient conditions of existence of non-zero band preserving derivations from $\mathcal{I}$ to $\mathbb{Y}$ are given. We show that, in case when $\mathbb{Y}\subset\mathcal{A}$, or $\mathbb{Y}$ is a quasi-normed solid space, any band preserving derivation from $\mathcal{I}$ into $\mathbb{Y}$ is always trivial. At the same time, there exist non-zero band preserving derivations from $\mathcal{I}$ with values in $S(\mathcal{A})$, if and only if the Boolean algebra of all projections from the $AW^*$-algebra $s(\mathcal{I})\mathcal{A}$ is not $σ$-distributive.
△ Less
Submitted 24 August, 2012; v1 submitted 28 May, 2012;
originally announced May 2012.
-
Derivations on symmetric quasi-Banach ideals of compact operators
Authors:
A. F. Ber,
V. I. Chilin,
G. B. Levitina,
F. A. Sukochev
Abstract:
Let $\mathcal{I,J}$ be symmetric quasi-Banach ideals of compact operators on an infinite-dimensional complex Hilbert space $H$, let $\mathcal{J:I}$ be a space of multipliers from $\mathcal{I}$ to $\mathcal{J}$. Obviously, ideals $\mathcal{I}$ and $\mathcal{J}$ are quasi-Banach algebras and it is clear that ideal $\mathcal{J}$ is a bimodule for $\mathcal{I}$. We study the set of all derivations fro…
▽ More
Let $\mathcal{I,J}$ be symmetric quasi-Banach ideals of compact operators on an infinite-dimensional complex Hilbert space $H$, let $\mathcal{J:I}$ be a space of multipliers from $\mathcal{I}$ to $\mathcal{J}$. Obviously, ideals $\mathcal{I}$ and $\mathcal{J}$ are quasi-Banach algebras and it is clear that ideal $\mathcal{J}$ is a bimodule for $\mathcal{I}$. We study the set of all derivations from $\mathcal{I}$ into $\mathcal{J}$. We show that any such derivation is automatically continuous and there exists an operator $a\in\mathcal{J:I}$ such that $δ(\cdot)=[a,\cdot]$, moreover $\|a\|_{\mathcal{B}(H)}\leq\|δ\|_\mathcal{I\to J}\leq 2C\|a\|_\mathcal{J:I}$, where $C$ is the modulus of concavity of the quasi-norm $\|\cdot\|_\mathcal{J}$. In the special case, when $\mathcal{I=J=K}(H)$ is a symmetric Banach ideal of compact operators on $H$ our result yields the classical fact that any derivation $δ$ on $\mathcal{K}(H)$ may be written as $δ(\cdot)=[a,\cdot]$, where $a$ is some bounded operator on $H$ and $\|a\|_{\mathcal{B}(H)}\leq\|δ\|_\mathcal{I\to I}\leq 2\|a\|_{\mathcal{B}(H)}$.
△ Less
Submitted 20 April, 2012; v1 submitted 19 April, 2012;
originally announced April 2012.
