Showing 1–26 of 26 results for author: Sukochev, F A

A multidimensional solution to additive homological equations

Authors: Aleksei F. Ber, Matthijs J. Borst, Sander J. Borst, Fedor A. Sukochev

Abstract: In this paper we prove that for a finite-dimensional real normed space $V$, every bounded mean zero function $f\in L_\infty([0,1];V)$ can be written in the form $f = g\circ T - g$ for some $g\in L_\infty([0,1];V)$ and some ergodic invertible measure preserving transformation $T$ of $[0,1]$. Our method moreover allows us to choose $g$, for any given $\varepsilon>0$, to be such that… ▽ More In this paper we prove that for a finite-dimensional real normed space $V$, every bounded mean zero function $f\in L_\infty([0,1];V)$ can be written in the form $f = g\circ T - g$ for some $g\in L_\infty([0,1];V)$ and some ergodic invertible measure preserving transformation $T$ of $[0,1]$. Our method moreover allows us to choose $g$, for any given $\varepsilon>0$, to be such that $\|g\|_\infty\leq (S_V+\varepsilon)\|f\|_\infty$, where $S_V$ is the Steinitz constant corresponding to $V$. △ Less

Submitted 23 July, 2021; originally announced July 2021.

Comments: 51 pages

The Grothendieck property in Marcinkiewicz spaces

Authors: B. de Pagter, F. A. Sukochev

Abstract: The main pupose of this paper is to fully characterize continuous concave functions $ψ$ such that the corresponding Marcinkiewicz Banach function space $M_{ψ}$ is a Grothendieck space. The main pupose of this paper is to fully characterize continuous concave functions $ψ$ such that the corresponding Marcinkiewicz Banach function space $M_{ψ}$ is a Grothendieck space. △ Less

Submitted 2 December, 2019; originally announced December 2019.

Comments: 24 pages

MSC Class: Primary 46E30; 46B42; Secondary 46B10

Full proof of Kwapień's theorem on representing bounded mean zero functions on $[0,1]$

Authors: Aleksei F. Ber, Matthijs J. Borst, Fedor A. Sukochev

Abstract: In [7], Kwapień announced that every mean zero function $f\in L_\infty[0,1]$ can be written as a coboundary $f = g\circ T -g$ for some $g\in L_\infty[0,1]$ and some measure preserving transformation $T$ of $[0,1]$. Whereas the original proof in [7] holds for continuous functions, there is a serious gap in the proof for functions with discontinuities. In this article we fill in this gap and establi… ▽ More In [7], Kwapień announced that every mean zero function $f\in L_\infty[0,1]$ can be written as a coboundary $f = g\circ T -g$ for some $g\in L_\infty[0,1]$ and some measure preserving transformation $T$ of $[0,1]$. Whereas the original proof in [7] holds for continuous functions, there is a serious gap in the proof for functions with discontinuities. In this article we fill in this gap and establish Kwapień's result in full generality. Our method also allows to improve the original result by showing that for any given $ε>0$ the function $g$ can be chosen to satisfy a bound $\|g\|_\infty\leq (1+ε)\|f\|_\infty$. △ Less

Submitted 29 November, 2019; originally announced November 2019.

Comments: 18 pages

Innerness of continuous derivations on algebras of locally measurable operators

Authors: A. F. Ber, V. I. Chilin, F. A. Sukochev

Abstract: It is established that every derivation continuous with respect to the local measure topology acting on the *-algebra $LS(\mathcal{M})$ of all locally measurable operators affiliated with a von Neumann algebra $\mathcal{M}$ is necessary inner. If $\mathcal{M}$ is a properly infinite von Neumann algebra, then every derivation on $LS(\mathcal{M})$ is inner. In addition, it is proved that any derivat… ▽ More It is established that every derivation continuous with respect to the local measure topology acting on the *-algebra $LS(\mathcal{M})$ of all locally measurable operators affiliated with a von Neumann algebra $\mathcal{M}$ is necessary inner. If $\mathcal{M}$ is a properly infinite von Neumann algebra, then every derivation on $LS(\mathcal{M})$ is inner. In addition, it is proved that any derivation on $\mathcal{M}$ with values in Banach $\mathcal{M}$-bimodule of locally measurable operators is inner. △ Less

Submitted 8 April, 2013; v1 submitted 20 February, 2013; originally announced February 2013.

Comments: 22 pages. arXiv admin note: substantial text overlap with arXiv:1108.5427

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.

Comments: 21 pages

Derivations in the Banach ideals of $τ$-compact operators

Authors: A. F. Ber, F. A. Sukochev

Abstract: Let $\mathcal{M}$ be a von Neumann algebra equipped with a faithful normal semi-finite trace $τ$ and let $S_0(τ)$ be the algebra of all $τ$-compact operators affiliated with $\mathcal{M}$. Let $E(τ)\subseteq S_0(τ)$ be a symmetric operator space (on $\mathcal{M}$) and let $\mathcal{E}$ be a symmetrically-normed Banach ideal of $τ$-compact operators in $\mathcal{M}$. We study (i) derivations $δ$ on… ▽ More Let $\mathcal{M}$ be a von Neumann algebra equipped with a faithful normal semi-finite trace $τ$ and let $S_0(τ)$ be the algebra of all $τ$-compact operators affiliated with $\mathcal{M}$. Let $E(τ)\subseteq S_0(τ)$ be a symmetric operator space (on $\mathcal{M}$) and let $\mathcal{E}$ be a symmetrically-normed Banach ideal of $τ$-compact operators in $\mathcal{M}$. We study (i) derivations $δ$ on $\mathcal{M}$ with the range in $E(τ)$ and (ii) derivations on the Banach algebra $\mathcal{E}$. In the first case our main results assert that such derivations are continuous (with respect to the norm topologies) and also inner (under some mild assumptions on $E(τ)$). In the second case we show that any such derivation is necessarily inner when $\mathcal{M}$ is a type $I$ factor. As an interesting application of our results for the case (i) we deduce that any derivation from $\mathcal{M}$ into an $L_p$-space, $L_p(\mathcal{M},τ)$, ($1<p<\infty$) associated with $\mathcal{M}$ is inner. △ Less

Submitted 18 April, 2012; originally announced April 2012.

Continuity of derivations in algebras of locally measurable operators

Authors: A. F. Ber, V. I. Chilin, F. A. Sukochev

Abstract: We prove that any derivation of the *-algebra $LS(\mathcal{M})$ of all locally measurable operators affiliated with a properly infinite von Neumann algebra $\mathcal{M}$ is continuous with respect to the local measure topology $t(\mathcal{M})$. Building an extension of a derivation $δ:\mathcal{M}\longrightarrow LS(\mathcal{M})$ up to a derivation from $LS(\mathcal{M})$ into $LS(\mathcal{M})$, it i… ▽ More We prove that any derivation of the *-algebra $LS(\mathcal{M})$ of all locally measurable operators affiliated with a properly infinite von Neumann algebra $\mathcal{M}$ is continuous with respect to the local measure topology $t(\mathcal{M})$. Building an extension of a derivation $δ:\mathcal{M}\longrightarrow LS(\mathcal{M})$ up to a derivation from $LS(\mathcal{M})$ into $LS(\mathcal{M})$, it is further established that any derivation from $\mathcal{M}$ into $LS(\mathcal{M})$ is $t(\mathcal{M})$-continuous. △ Less

Submitted 1 June, 2012; v1 submitted 27 August, 2011; originally announced August 2011.

Comments: 31 pages

Best constants in Rosenthal-type inequalities and the Kruglov operator

Authors: S. V. Astashkin, F. A. Sukochev

Abstract: Let $X$ be a symmetric Banach function space on $[0,1]$ with the Kruglov property, and let $\mathbf{f}=\{f_k\}_{k=1}^n$, $n\ge1$ be an arbitrary sequence of independent random variables in $X$. This paper presents sharp estimates in the deterministic characterization of the quantities \[\Biggl\|\sum_{k=1}^nf_k\Biggr\|_X,\Biggl\|\Biggl(\sum_{k=1}^n|f_k|^p\Biggr)^{1/p}\Biggr\|_X,\qquad 1\leq p<\inft… ▽ More Let $X$ be a symmetric Banach function space on $[0,1]$ with the Kruglov property, and let $\mathbf{f}=\{f_k\}_{k=1}^n$, $n\ge1$ be an arbitrary sequence of independent random variables in $X$. This paper presents sharp estimates in the deterministic characterization of the quantities \[\Biggl\|\sum_{k=1}^nf_k\Biggr\|_X,\Biggl\|\Biggl(\sum_{k=1}^n|f_k|^p\Biggr)^{1/p}\Biggr\|_X,\qquad 1\leq p<\infty,\] in terms of the sum of disjoint copies of individual terms of $\mathbf{f}$. Our method is novel and based on the important recent advances in the study of the Kruglov property through an operator approach made earlier by the authors. In particular, we discover that the sharp constants in the characterization above are equivalent to the norm of the Kruglov operator in $X$. △ Less

Submitted 5 November, 2010; originally announced November 2010.

Comments: Published in at http://dx.doi.org/10.1214/10-AOP529 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP529

Journal ref: Annals of Probability 2010, Vol. 38, No. 5, 1986-2008

$ζ-$function and heat kernel formulae

Authors: F. A. Sukochev, D. V. Zanin

Abstract: We present a systematic study of asymptotic behavior of (generalised) $ζ-$functions and heat kernels used in noncommutative geometry and clarify their connections with Dixmier traces. We strengthen and complete a number of results from the recent literature and answer (in the affirmative) the question raised by M. Benameur and T. Fack \cite{BF}. We present a systematic study of asymptotic behavior of (generalised) $ζ-$functions and heat kernels used in noncommutative geometry and clarify their connections with Dixmier traces. We strengthen and complete a number of results from the recent literature and answer (in the affirmative) the question raised by M. Benameur and T. Fack \cite{BF}. △ Less

Submitted 28 October, 2010; originally announced October 2010.

Comments: accepted to Journal of Functional Analysis

Commutator estimates in $W^*$-factors

Authors: A. F. Ber, F. A. Sukochev

Abstract: Let $\mathcal{M}$ be a $W^*$-factor and let $S\left( \mathcal{M} \right) $ be the space of all measurable operators affiliated with $\mathcal{M}$. It is shown that for any self-adjoint element $a\in S(\mathcal{M})$ there exists a scalar $λ_0\in\mathbb{R}$, such that for all $\varepsilon > 0$, there exists a unitary element $u_\varepsilon$ from $\mathcal{M}$, satisfying… ▽ More Let $\mathcal{M}$ be a $W^*$-factor and let $S\left( \mathcal{M} \right) $ be the space of all measurable operators affiliated with $\mathcal{M}$. It is shown that for any self-adjoint element $a\in S(\mathcal{M})$ there exists a scalar $λ_0\in\mathbb{R}$, such that for all $\varepsilon > 0$, there exists a unitary element $u_\varepsilon$ from $\mathcal{M}$, satisfying $|[a,u_\varepsilon]| \geq (1-\varepsilon)|a-λ_0\mathbf{1}|$. A corollary of this result is that for any derivation $δ$ on $\mathcal{M}$ with the range in an ideal $I\subseteq\mathcal{M}$, the derivation $δ$ is inner, that is $δ(\cdot)=δ_a(\cdot)=[a,\cdot]$, and $a\in I$. Similar results are also obtained for inner derivations on $S(\mathcal{M})$. △ Less

Submitted 19 August, 2010; originally announced August 2010.

Comments: 21 pages

Kruglov operator and operators defined by random permutations

Authors: S. V. Astashkin, D. V. Zanin, E. M. Semenov, F. A. Sukochev

Abstract: The Kruglov property and the Kruglov operator play an important role in the study of geometric properties of r.i. function spaces. We prove that the boundedness of the Kruglov operator in a r.i. space is equivalent to the uniform boundedness on this space of a sequence of operators defined by random permutations. It is shown also that there is no minimal r.i. space with the Kruglov property. The Kruglov property and the Kruglov operator play an important role in the study of geometric properties of r.i. function spaces. We prove that the boundedness of the Kruglov operator in a r.i. space is equivalent to the uniform boundedness on this space of a sequence of operators defined by random permutations. It is shown also that there is no minimal r.i. space with the Kruglov property. △ Less

Submitted 9 March, 2010; originally announced March 2010.

Comments: translated from original Russian text

MSC Class: 46E30

Orbits in symmetric spaces, II

Authors: N. J. Kalton, F. A. Sukochev, D. V. Zanin

Abstract: Suppose $E$ is fully symmetric Banach function space on $(0,1)$ or $(0,\infty)$ or a fully symmetric Banach sequence space. We give necessary and sufficient conditions on $f\in E$ so that its orbit $Ω(f)$ is the closed convex hull of its extreme points. We also give an application to symmetrically normed ideals of compact operators on a Hilbert space. Suppose $E$ is fully symmetric Banach function space on $(0,1)$ or $(0,\infty)$ or a fully symmetric Banach sequence space. We give necessary and sufficient conditions on $f\in E$ so that its orbit $Ω(f)$ is the closed convex hull of its extreme points. We also give an application to symmetrically normed ideals of compact operators on a Hilbert space. △ Less

Submitted 9 March, 2010; originally announced March 2010.

MSC Class: 46E30; 46B70; 46B20

Lidskii-type formulae for Dixmier traces

Authors: A. A. Sedaev, F. A. Sukochev, D. V. Zanin

Abstract: We establish several analogues of the classical Lidskii Theorem for some special classes of singular traces (Dixmier traces and Connes-Dixmier traces) used in noncommutative geometry. We establish several analogues of the classical Lidskii Theorem for some special classes of singular traces (Dixmier traces and Connes-Dixmier traces) used in noncommutative geometry. △ Less

Submitted 9 March, 2010; originally announced March 2010.

MSC Class: 46L52; 47B10; 46E30

Some remarks on derivations in algebras of measurable operators

Authors: A. F. Ber, B. de Pagter, F. A. Sukochev

Abstract: This paper is concerned with derivations in algebras of (unbounded) operators affiliated with a von Neumann algebra $\mathcal{M}$. Let $\mathcal{% A}$ be one of the algebras of measurable operators, locally measurable operators or, $τ$-measurable operators. We present a complete description of von Neumann algebras $\mathcal{M}$ of type $I$ in terms of their central projections such that every de… ▽ More This paper is concerned with derivations in algebras of (unbounded) operators affiliated with a von Neumann algebra $\mathcal{M}$. Let $\mathcal{% A}$ be one of the algebras of measurable operators, locally measurable operators or, $τ$-measurable operators. We present a complete description of von Neumann algebras $\mathcal{M}$ of type $I$ in terms of their central projections such that every derivation in $\mathcal{A}$ is inner. It is also shown that every derivation in the algebra $LS(\mathcal{M})$ of all locally measurable operators with respect to a properly infinite von Neumann algebra $\mathcal{M}$ vanishes on the center of $LS(\mathcal{M})$. △ Less

Submitted 7 July, 2009; originally announced July 2009.

Comments: 14 pages

Noncommutative Residues and a Characterisation of the Noncommutative Integral

Authors: Steven Lord, Fedor A. Sukochev

Abstract: We continue the study of the relationship between Dixmier traces and noncommutative residues initiated by A. Connes. The utility of the residue approach to Dixmier traces is shown by a characterisation of the noncommutative integral in Connes' noncommutative geometry (for a wide class of Dixmier traces) as a generalised limit of vector states associated to the eigenvectors of a compact operator… ▽ More We continue the study of the relationship between Dixmier traces and noncommutative residues initiated by A. Connes. The utility of the residue approach to Dixmier traces is shown by a characterisation of the noncommutative integral in Connes' noncommutative geometry (for a wide class of Dixmier traces) as a generalised limit of vector states associated to the eigenvectors of a compact operator (or an unbounded operator with compact resolvent), i.e. as a generalised quantum limit. Using the characterisation, a criteria involving the eigenvectors of a compact operator and the projections of a von Neumann subalgebra of bounded operators is given so that the noncommutative integral associated to the compact operator is normal, i.e. satisfies a monotone convergence theorem, for the von Neumann subalgebra. △ Less

Submitted 2 May, 2009; originally announced May 2009.

Comments: 15 pages

MSC Class: 46L51; 47B10; 58J42 (Primary) 46L87 (Secondary)

Journal ref: Proc. Amer. Math. Soc., (2010)

Derivations in algebras of operator-valued functions

Authors: A. F. Ber, B. de Pagter, F. A. Sukochev

Abstract: In this paper we study derivations in subalgebras of $L_{0}^{wo}(ν;% \mathcal{L}(X)) $, the algebra of all weak operator measurable funtions $f:S\to \mathcal{L}(X) $, where $% \mathcal{L}(X) $ is the Banach algebra of all bounded linear operators on a Banach space $X$. It is shown, in particular, that all derivations on $L_{0}^{wo}(ν;\mathcal{L}(X)) $ are inner whenever $X$ is separable and infi… ▽ More In this paper we study derivations in subalgebras of $L_{0}^{wo}(ν;% \mathcal{L}(X)) $, the algebra of all weak operator measurable funtions $f:S\to \mathcal{L}(X) $, where $% \mathcal{L}(X) $ is the Banach algebra of all bounded linear operators on a Banach space $X$. It is shown, in particular, that all derivations on $L_{0}^{wo}(ν;\mathcal{L}(X)) $ are inner whenever $X$ is separable and infinite dimensional. This contrasts strongly with the fact that $L_{0}^{wo}(ν;\mathcal{L}(X)) $ admits non-trivial non-inner derivations whenever $X$ is finite dimensional and the measure $ν$ is non-atomic. As an application of our approach, we study derivations in various algebras of measurable operators affiliated with von Neumann algebras. △ Less

Submitted 6 November, 2008; originally announced November 2008.

Comments: 48 pages

The spectral shift function and spectral flow

Authors: N. A. Azamov, A. L. Carey, F. A. Sukochev

Abstract: This paper extends Krein's spectral shift function theory to the setting of semifinite spectral triples. We define the spectral shift function under these hypotheses via Birman-Solomyak spectral averaging formula and show that it computes spectral flow. This paper extends Krein's spectral shift function theory to the setting of semifinite spectral triples. We define the spectral shift function under these hypotheses via Birman-Solomyak spectral averaging formula and show that it computes spectral flow. △ Less

Submitted 10 May, 2007; originally announced May 2007.

Comments: 47 pages

MSC Class: 47A11; 47A55

Operator integrals, spectral shift and spectral flow

Authors: N. A. Azamov, A. L. Carey, P. G. Dodds, F. A. Sukochev

Abstract: We present a new and simple approach to the theory of multiple operator integrals that applies to unbounded operators affiliated with general von Neumann algebras. For semifinite von Neumann algebras we give applications to the Fréchet differentiation of operator functions that sharpen existing results, and establish the Birman-Solomyak representation of the spectral shift function of M.G. Krein… ▽ More We present a new and simple approach to the theory of multiple operator integrals that applies to unbounded operators affiliated with general von Neumann algebras. For semifinite von Neumann algebras we give applications to the Fréchet differentiation of operator functions that sharpen existing results, and establish the Birman-Solomyak representation of the spectral shift function of M.G. Krein in terms of an average of spectral measures in the type II setting. We also exhibit a surprising connection between the spectral shift function and spectral flow. △ Less

Submitted 14 March, 2007; originally announced March 2007.

Comments: To appear in Canadian Journal of Mathematics

MSC Class: 47A56; 47B49

The Dixmier trace and asymptotics of zeta functions

Authors: A. L. Carey, A. Rennie, A. Sedaev, F. A. Sukochev

Abstract: We obtain general theorems which enable the calculation of the Dixmier trace in terms of the asymptotics of the zeta function and of the trace of the heat semigroup. We prove our results in a general semi-finite von Neumann algebra. We find for p>1 that the asymptotics of the zeta function determines an ideal strictly larger than {\mathcal L}^{p,\infty} on which the Dixmier trace may be defined.… ▽ More We obtain general theorems which enable the calculation of the Dixmier trace in terms of the asymptotics of the zeta function and of the trace of the heat semigroup. We prove our results in a general semi-finite von Neumann algebra. We find for p>1 that the asymptotics of the zeta function determines an ideal strictly larger than {\mathcal L}^{p,\infty} on which the Dixmier trace may be defined. We also establish stronger versions of other results on Dixmier traces and zeta functions. △ Less

Submitted 21 November, 2006; originally announced November 2006.

Comments: 23 pp, submitted

The Chern Character of Semifinite Spectral Triples

Authors: Alan L. Carey, John Phillips, Adam Rennie, Fyodor A. Sukochev

Abstract: In previous work we generalised both the odd and even local index formula of Connes and Moscovici to the case of spectral triples for a *-subalgebra \A of a general semifinite von Neumann algebra. Our proofs are novel even in the setting of the original theorem and rely on the introduction of a function valued cocycle (called the resolvent cocycle) which is `almost' a (b,B)-cocycle in the cyclic… ▽ More In previous work we generalised both the odd and even local index formula of Connes and Moscovici to the case of spectral triples for a *-subalgebra \A of a general semifinite von Neumann algebra. Our proofs are novel even in the setting of the original theorem and rely on the introduction of a function valued cocycle (called the resolvent cocycle) which is `almost' a (b,B)-cocycle in the cyclic cohomology of \A. In this paper we show that this resolvent cocycle `almost' represents the Chern character, and assuming analytic continuation properties for zeta functions, we show that the associated residue cocycle, which appears in our statement of the local index theorem does represent the Chern character. △ Less

Submitted 8 November, 2006; originally announced November 2006.

Comments: 46 pages

Dixmier traces and some applications to noncommutative geometry

Authors: A. L. Carey, F. A. Sukochev

Abstract: This is a survey of some recent advances in the theory of singular traces in which the authors have played some part and which were inspired by questions raised by the book of Alain Connes (Noncommutative Geometry, Academic Press 1994). There are some original proofs and ideas but most of the results have appeared elsewhere. Detailed information on the contents is contained in the Introduction. This is a survey of some recent advances in the theory of singular traces in which the authors have played some part and which were inspired by questions raised by the book of Alain Connes (Noncommutative Geometry, Academic Press 1994). There are some original proofs and ideas but most of the results have appeared elsewhere. Detailed information on the contents is contained in the Introduction. △ Less

Submitted 22 August, 2006; v1 submitted 15 August, 2006; originally announced August 2006.

Comments: To appear in Russian Mathematical Surveys (in Russian). New version corrects Latex problems, minor errors and references

MSC Class: 46L87; 46L51

An Analytic Approach to Spectral Flow in von Neumann Algebras

Authors: M-T. Benameur, A. L. Carey, J. Phillips, A. Rennie, F. A. Sukochev, K. P. Wojciechowski

Abstract: The analytic approach to spectral flow is about ten years old. In that time it has evolved to cover an ever wider range of examples. The most critical extension was to replace Fredholm operators in the classical sense by Breuer-Fredholm operators in a semifinite von Neumann algebra. The first part of this paper gives a brief account of this theory extending and refining earlier results. It is th… ▽ More The analytic approach to spectral flow is about ten years old. In that time it has evolved to cover an ever wider range of examples. The most critical extension was to replace Fredholm operators in the classical sense by Breuer-Fredholm operators in a semifinite von Neumann algebra. The first part of this paper gives a brief account of this theory extending and refining earlier results. It is then applied in the latter parts of the paper to a series of examples. One of the most powerful tools is an integral formula for spectral flow. This integral formula was known for Dirac operators in a variety of forms ever since the fundamental papers of Atiyah, Patodi and Singer. One of the purposes of this exposition is to make contact with this early work so that one can understand the recent developments in a proper historical context. In addition we show how to derive these spectral flow formulae in the setting of Dirac operators on (non-compact) covering spaces of a compact spin manifold using the adiabatic method. Finally we relate our work to that of Coburn, Douglas, Schaeffer and Singer on Toeplitz operators with almost periodic symbol. We generalise their work to cover the case of matrix valued almost periodic symbols on \R^N using some ideas of Shubin. △ Less

Submitted 20 December, 2005; originally announced December 2005.

Comments: 44 pages, to appear in Spectral and Geometric Analysis on Manifolds, World Scientific

MSC Class: 19K56; 58J20 (Primary); 46L80; 58J30 (Secondary)

The Local Index Formula in Semifinite von Neumann Algebras II: The Even Case

Authors: Alan L. Carey, John Phillips, Adam Rennie, Fyodor A. Sukochev

Abstract: We generalise the even local index formula of Connes and Moscovici to the case of spectral triples for a *-subalgebra \A of a general semifinite von Neumann algebra. The proof is a variant of that for the odd case which appears in Part I. To allow for algebras with a non-trivial centre we have to establish a theory of unbounded Fredholm operators in a general semifinite von Neumann algebra and i… ▽ More We generalise the even local index formula of Connes and Moscovici to the case of spectral triples for a *-subalgebra \A of a general semifinite von Neumann algebra. The proof is a variant of that for the odd case which appears in Part I. To allow for algebras with a non-trivial centre we have to establish a theory of unbounded Fredholm operators in a general semifinite von Neumann algebra and in particular prove a generalised McKean-Singer formula. △ Less

Submitted 31 October, 2004; originally announced November 2004.

Comments: 29 pages, to appear in Advances in Mathematics

The Local Index Formula in Semifinite von Neumann Algebras I: Spectral Flow

Authors: Alan L. Carey, John Phillips, Adam Rennie, Fyodor A. Sukochev

Abstract: We generalise the local index formula of Connes and Moscovici to the case of spectral triples for a *-subalgebra \A of a general semifinite von Neumann algebra. In this setting it gives a formula for spectral flow along a path joining an unbounded self adjoint Breuer-Fredholm operator, affiliated to the von Neumann algebra, to a unitarily equivalent operator. Our proof is novel even in the setti… ▽ More We generalise the local index formula of Connes and Moscovici to the case of spectral triples for a *-subalgebra \A of a general semifinite von Neumann algebra. In this setting it gives a formula for spectral flow along a path joining an unbounded self adjoint Breuer-Fredholm operator, affiliated to the von Neumann algebra, to a unitarily equivalent operator. Our proof is novel even in the setting of the original theorem and relies on the introduction of a function valued cocycle which is `almost' a (b,B)-cocycle in the cyclic cohomology of \A. △ Less

Submitted 31 October, 2004; originally announced November 2004.

Comments: 53 pages, to appear in Advances in Mathematics

Banach embedding properties of non-commutative L^p-spaces

Authors: U. Haagerup, H. P. Rosenthal, F. A. Sukochev

Abstract: Let N and M be von Neumann algebras. It is proved that L^p(N) does not Banach embed in L^p(M) for N infinite, M finite, 1 < or = p < 2. The following considerably stronger result is obtained (which implies this, since the Schatten p-class C_p embeds in L^p(N) for N infinite). Theorem: Let 1 < or = p < 2 and let X be a Banach space with a spanning set (x_{ij}) so that for some C < or = 1: (i) any… ▽ More Let N and M be von Neumann algebras. It is proved that L^p(N) does not Banach embed in L^p(M) for N infinite, M finite, 1 < or = p < 2. The following considerably stronger result is obtained (which implies this, since the Schatten p-class C_p embeds in L^p(N) for N infinite). Theorem: Let 1 < or = p < 2 and let X be a Banach space with a spanning set (x_{ij}) so that for some C < or = 1: (i) any row or column is C-equivalent to the usual ell^2-basis; (ii) (x_{i_k,j_k}) is C-equivalent to the usual ell^p-basis, for any i_1 < i_2 < ... and j_1 < j_2 < ... . Then X is not isomorphic to a subspace of L^p(M), for M finite. Complements on the Banach space structure of non-commutative L^p-spaces are obtained, such as the p-Banach-Saks property and characterizations of subspaces of L^p(M) containing ell^p isomorphically. The spaces L^p(N) are classified up to Banach isomorphism, for N infinite-dimensional, hyperfinite and semifinite, 1 < or = p< infty, p not= 2. It is proved that there are exactly thirteen isomorphism types; the corresponding embedding properties are determined for p < 2 via an eight level Hasse diagram. It is also proved for all 1 < or = p < infty that L^p(N) is completely isomorphic to L^p(M) if N and M are the algebras associated to free groups, or if N and M are injective factors of type III_lambda and III_{lambda'} for 0 < lambda, lambda' < or = 1. △ Less

Submitted 15 May, 2000; originally announced May 2000.

Comments: 54 pp., LaTeX

Report number: ut-ma/00-03 MSC Class: 46B20; 46L10; 46L52; 47L25 (Primary)

A Uniform Kadec-klee Property For Symmetric Operator Spaces

Authors: Peter G. Dodds, T. K. Dodds, Paddy N. Dowling, Christopher J. Lennard, Fyodor A. Sukochev

Abstract: We show that if a rearrangement invariant Banach function space $E$ on the positive semi-axis satisfies a non-trivial lower $q-$ estimate with constant $1$ then the corresponding space $E(\nm)$ of $τ-$measurable operators, affiliated with an arbitrary semi-finite von Neumann algebra $\nm$ equipped with a distinguished faithful, normal, semi-finite trace $τ$, has the uniform Kadec-Klee property f… ▽ More We show that if a rearrangement invariant Banach function space $E$ on the positive semi-axis satisfies a non-trivial lower $q-$ estimate with constant $1$ then the corresponding space $E(\nm)$ of $τ-$measurable operators, affiliated with an arbitrary semi-finite von Neumann algebra $\nm$ equipped with a distinguished faithful, normal, semi-finite trace $τ$, has the uniform Kadec-Klee property for the topology of local convergence in measure. In particular, the Lorentz function spaces $L_{q,p}$ and the Lorentz-Schatten classes ${\cal C}_{q,p}$ have the UKK property for convergence locally in measure and for the weak-operator topology, respectively. As a partial converse , we show that if $E$ has the UKK property with respect to local convergence in measure then $E$ must satisfy some non-trivial lower $q$-estimate. We also prove a uniform Kadec-Klee result for local convergence in any Banach lattice satisfying a lower $q$-estimate. △ Less

Submitted 28 January, 1993; originally announced January 1993.

Report number: Banach Archive 1/28/93 MSC Class: 46B