This paper introduces a new approach to the non-normal Dixmier and Connes-Dixmier traces (introduced by Dixmier and adapted to non-commutative geometry by Connes) on a general Marcinkiewicz space associated with an arbitrary semifinite von Neumann algebra. By unifying various constructions, and translating the situation of Dixmier traces into the theory of singular symmetric functionals on Marcinkiewicz function/operator spaces, we obtain the results (i) and (ii) below. The results are stated here, for the reader, in terms of the ideal $L^{(1,\infty)}$ of compact operators whose partial sums of singular values are of logarithmic divergence. (i) a positive compact operator $x$ in $L^{(1,\infty)}$ yields the same value for an arbitrary Connes-Dixmier trace (ie. $x$ is measurable in the sense of Connes) if and only if $\lim_{N\to\infty} \frac{1}{Log N}\sum_{n=1}^N s_n(x)$ exists, where $s_n(x)$ are the singular values of the compact operator $x$; (ii) the set of Dixmier traces and the set of Connes-Dixmier traces are norming sets (up to equivalence) for the space $L^{(1,\infty)}/L^{(1,\infty)}_0$, where the space $L^{(1,\infty)}_0$ is the closure of all finite rank operators in the norm $||.||_{(1,\infty)}$.
In the present paper we prove that the classes of Dixmier and Connes-Dixmier traces differ even on the Dixmier ideal $\mathcal M_{1,\infty}$. We construct a Marcinkiewicz space $\mathcal M_ψ$ and a positive operator $T\in \mathcal M_ψ$ which is Connes-Dixmier measurable but which is not Dixmier measurable.
We define a new class of singular positive traces on the ideal $\mathcal M_{1,\infty}$ of $B(H)$ generated by exponentiation invariant generalized limits. We prove that this new class is strictly contained in the class of all Dixmier traces. We also prove a Lidskii-type formula for this class of traces.
In this paper we study Dixmier traces of powers of Hankel operators in Lorentz ideals. We extend results of Engliš-Zhang to the case of powers $p\geq 1$ and general Lorentz ideals starting from abstract extrapolation results of Gayral-Sukochev. In the special case $p=2,4,6$ we give an exact formula for the Dixmier trace. For general $p$, we give upper and lower bounds on the Dixmier trace. We also construct, for any $p$ and any Lorentz ideal, examples of non-measurable Hankel operators.
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.
In this note we answer some questions inspired by the introduction, by Alain Connes, of the notion of measurable operators using Dixmier traces. These questions concern the relationship of measurability to the asymptotics of $ζ-$functions and heat kernels. The answers have remained elusive for some 15 years.
We consider the spectral behavior and noncommutative geometry of commutators $[P,f]$, where $P$ is an operator of order $0$ with geometric origin and $f$ a multiplication operator by a function. When $f$ is Hölder continuous, the spectral asymptotics is governed by singularities. We study precise spectral asymptotics through the computation of Dixmier traces; such computations have only been considered in less singular settings. Even though a Weyl law fails for these operators, and no pseudo-differential calculus is available, variations of Connes' residue trace theorem and related integral fo…
We prove perturbation results for traces on normed ideals in semifinite von Neumann algebra factors. This includes the case of Dixmier traces. In particular, we establish existence of spectral shift measures with initial operators being dissipative or bounded, and show that these measures can have singular components in the case of Dixmier traces. We also establish a linearization formula for a Dixmier trace applied to perturbed operator functions, a result that does not typically hold for normal traces.
We study notions of measurability for singular traces, and characterise universal measurability for operators in Dixmier ideals. This measurability result is then applied to improve on the various proofs of Connes' identification of the Hochschild class of the Chern character of Dixmier summable spectral triples. The measurability results show that the identification of the Hochschild class is independent of the choice of singular trace. As a corollary we obtain strong information on the asymptotics of the eigenvalues of operators naturally associated to spectral triples (A,H,D) and Hochschild…
We extend the noncommutative residue of M. Wodzicki on compactly supported classical pseudo-differential operators of order $-d$ and generalise A. Connes' trace theorem, which states that the residue can be calculated using a singular trace on compact operators. Contrary to the role of the noncommutative residue for the classical pseudo-differential operators, a corollary is that the pseudo-differential operators of order $-d$ do not have a `unique' trace; pseudo-differential operators can be non-measurable in Connes' sense. Other corollaries are given clarifying the role of Dixmier traces in …
For a certain class of discrete metric spaces, we provide a formula for the density of states. This formula involves Dixmier traces and is proven using recent advances in operator theory. Various examples are given of metric spaces for which this formula holds, including crystals, quasicrystals and the infinite cluster resulting from super-critical bond percolation on $\mathbb{Z}^d$.
We investigate states on von Neumann algebras which are not normal but enjoy various forms of infinite additivity, and show that these exist on $B(H)$ if and only if the cardinality of an orthonormal basis of $H$ satisfies various large cardinal conditions. For instance, there is a singular countably additive pure state on $B(l^2(κ))$ if and only if $κ$ is Ulam measurable, and there is a singular ${<}\,κ$-additive pure state on $B(l^2(κ))$ if and only if $κ$ is measurable. The proofs make use of Farah and Weaver's theory of quantum filters. Applications to Ueda's peak set theorem for von Neuma…
Given a C*-algebra A with a semicontinuous semifinite trace tau acting on the Hilbert space H, we define the family R of bounded Riemann measurable elements w.r.t. tau as a suitable closure, a la Dedekind, of A, in analogy with one of the classical characterizations of Riemann measurable functions, and show that R is a C*-algebra, and tau extends to a semicontinuous semifinite trace on R. Then, unbounded Riemann measurable operators are defined as the closed operators on H which are affiliated to A'' and can be approximated in measure by operators in R, in analogy with unbounded Riemann integr…
Let $\mathcal{M}$ be a semifinite von Neumann algebra on a Hilbert space $\mathcal{H}$ equipped with a faithful normal semifinite trace $τ$, $S(\mathcal{M},τ)$ be the ${}^*$-algebra of all $τ$-measurable operators. Let $S_0(\mathcal{M},τ)$ be the ${}^*$-algebra of all $τ$-compact operators and $T(\mathcal{M},τ)=S_0(\mathcal{M},τ)+\mathbb{C}I$ be the ${}^*$-algebra of all operators $X=A+λI$ with $A\in S_0(\mathcal{M},τ)$ and $λ\in \mathbb{C}$. We prove that every operator of $T(\mathcal{M},τ)$ that is left-invertible in $T(\mathcal{M},τ)$ is in fact invertible in $T(\mathcal{M},τ)$. It is a gen…
This is a survey article of geometric properties of noncommutative symmetric spaces of measurable operators $E(\mathcal{M},τ)$, where $\mathcal{M}$ is a semifinite von Neumann algebra with a faithful, normal, semifinite trace $τ$, and $E$ is a symmetric function space. If $E\subset c_0$ is a symmetric sequence space then the analogous properties in the unitary matrix ideals $C_E$ are also presented. In the preliminaries we provide basic definitions and concepts illustrated by some examples and occasional proofs. In particular we list and discuss the properties of general singular value functio…
For bounded Lebesgue measurable functions $f,g,ϕ$ and $ψ$ on the unit circle, $P_{+}fP_{+}+P_{-}gP_{+} +P_{+}ϕP_{-}+P_{-}ψP_{-}$ is called a generalized singular integral operator (GSIO) on $L^{2}(\mathbb{T})$, where $P_{+}$ is the Riesz projection, $P_{-}=I-P_{+}.$ In this paper, we relate GSIOs to a number of operators, including Cauchy singular integral operator, (dual) truncated Toeplitz operator, Foguel-Hankel operator, multiplication operator, Toeplitz plus Hankel operator etc. We establish the short exact sequences associated of the $C^{*}-$algebras generated by GSIOs with bounded or qu…
Given three measurable functions $V\left(r \right)\geq 0$, $K\left(r\right)> 0$ and $Q\left(r \right)\geq 0$, $r>0$, we consider the bilaplacian equation \[ Δ^2 u+V(|x|)u=K(|x|)f(u)+Q(|x|) \quad \text{in }\,\mathbb{R}^N \] and we find radial solutions thanks to compact embeddings of radial spaces of Sobolev functions into sum of weighted Lebesgue spaces.
In this paper we study maximal $L^p$-regularity for evolution equations with time-dependent operators $A$. We merely assume a measurable dependence on time. In the first part of the paper we present a new sufficient condition for the $L^p$-boundedness of a class of vector-valued singular integrals which does not rely on Hörmander conditions in the time variable. This is then used to develop an abstract operator-theoretic approach to maximal regularity. The results are applied to the case of $m$-th order elliptic operators $A$ with time and space-dependent coefficients. Here the highest order c…
We study $L^p$-theory of second-order elliptic divergence type operators with complex measurable coefficients. The major aspect is that we allow complex coefficients in the main part of the operator, too. We investigate generation of analytic $C_0$-semigroups under very general conditions on the coefficients, related to the notion of form-boundedness. We determine an interval $J$ in the $L^p$-scale, not necessarily containing $p=2$, in which one obtains a consistent family of quasi-contractive semigroups. This interval is close to optimal, as shown by several examples. In the case of uniform e…
Let $\mathcal{M}$ be a semifinite von Neumann algebra with a faithful, normal, semifinite trace $τ$ and $E$ be a strongly symmetric Banach function space on $[0,τ(1))$. We show that an operator $x$ in the unit sphere of $E\left(\mathcal{M},τ\right)$ is $k$-extreme, $k\in\mathbb N$, whenever its singular value function $μ(x)$ is $k$-extreme and one of the following conditions hold (i) $μ(\infty,x)=\lim_{t\to\infty}μ(t,x)=0$ or (ii) $n(x)\mathcal{M} n(x^*)=0$ and $|x|\geq μ(\infty,x)s(x)$, where $n(x)$ and $s(x)$ are null and support projections of $x$, respectively. The converse is true wheneve…
We prove that if the Hardy-Littlewood maximal operator is bounded on a separable Banach function space $X(\mathbb{R}^n)$ and on its associate space $X'(\mathbb{R}^n)$ and a maximally modulated Calderón-Zygmund singular integral operator $T^Φ$ is of weak type $(r,r)$ for all $r\in(1,\infty)$, then $T^Φ$ extends to a bounded operator on $X(\mathbb{R}^n)$. This theorem implies the boundedness of the maximally modulated Hilbert transform on variable Lebesgue spaces $L^{p(\cdot)}(\mathbb{R})$ under natural assumptions on the variable exponent $p:\mathbb{R}\to(1,\infty)$. Applications of the above r…
In the first part of the paper we prove that for $2 < p, r < \infty$ every operator $T: L_p \to \ell_r$ is narrow. This completes the list of sequence and function Lebesgue spaces $X$ with the property that every operator $T:L_p \to X$ is narrow. Next, using similar methods we prove that every $\ell_2$-strictly singular operator from $L_p$, $1<p<\infty$, to any Banach space with an unconditional basis, is narrow, which partially answers a question of Plichko and Popov posed in 1990. A theorem of H. P. Rosenthal asserts that if an operator $T$ on $L_1[0,1]$ satisfies the assumption that for eac…
In this paper we continue the work that we began in arXiv:1912.07537. Given $1<p<N$, two measurable functions $V\left(r \right)\geq 0$ and $K\left(r\right)> 0$, and a continuous function $A(r) >0\ (r>0)$, we consider the quasilinear elliptic equation \[ -\mathrm{div}\left(A(|x| )|\nabla u|^{p-2} \nabla u\right) +V\left( \left| x\right| \right) |u|^{p-2}u= K(|x|) f(u) \quad \text{in }\mathbb{R}^{N}, \] where all the potentials $A,V,K$ may be singular or vanishing, at the origin or at infinity. We find existence of nonnegative solutions by the application of variational methods, for which we nee…
