Related papers: Krein's trace theorem revisited

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.

In this paper, we provide a fairly general self-reference-free proof of the Second Incompleteness Theorem from Tarski's Theorem of the Undefinability of Truth.

We introduce complex cones and associated projective gauges, generalizing a real Birkhoff cone and its Hilbert metric to complex vector spaces. We deduce a variety of spectral gap theorems in complex Banach spaces. We prove a dominated…

We prove continuous-valued analogues of the basic fact that Murray-von Neumann subequivalence of projections in II$_1$ factors is completely determined by tracial evaluations. We moreover use this result to solve the so-called trace problem…

Let $M$ be a von Neumann algebra equipped with a normal semi-finite faithful trace (nsf trace in short) and let $T\colon M\to M$ be a contraction. We say that $T$ is absolutely dilatable if there exist another von Neumann algebra $M'$…

We provide a complete characterization of theories of tracial von Neumann algebras that admit quantifier elimination. We also show that the theory of a separable tracial von Neumann algebra $\mathcal{N}$ is never model complete if its…

The first purpose of this paper is to give the fnite transcendence of Frobenius traces for elliptic curves over $\mathbb{Q}$ without the assumption of complex multiplication (CM). This result generalizes the previous work by Luca and…

A main result is that, roughly, a dense set of the infinitesimal trace-preserving deformations of a semicircular system $s_1,..., s_n$ arise from one-parameter groups of automorphisms of the free-group factor $L(F(n))$ generated by…

We revisit the non-commutative Hodge-to-de Rham Degeneration Theorem of the first author, and present its proof in a somewhat streamlined and improved form that explicitly uses spectral algebraic geometry. We also try to explain why…

We give a reframing of Godel's first and second incompleteness theorems that applies even to some undefinable theories of arithmetic. The usual Hilbert-Bernays provability conditions and the diagonal lemma are replaced by a more direct…

We classify the trace anomaly for parity-invariant non-relativistic Schr\"odinger theories in 2+1 dimensions coupled to background Newton-Cartan gravity. The general anomaly structure looks very different from the one in the z=2 Lifshitz…

We obtain general theorems which enable the calculation of the Dixmier trace in terms of the asymptotics of the zeta function and of the heat operator in a general semi-finite von Neumann algebra. Our results have several applications. We…

Let $E$ be any directed graph, and $K$ any field. We classify those graphs $E$ for which the Leavitt path algebra $L_K(E)$ is primitive. As a consequence, we obtain classes of examples of von Neumann regular prime rings which are not…

Halin [1965] proved that if a graph has $n$ many pairwise disjoint rays for each $n$ then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other similar results in terms of computable and proof theoretic…

We establish sharp trace- and Korn-type inequalities that involve vectorial differential operators, the focus being on situations where global singular integral estimates are not available. Starting from a novel approach to sharp Besov…

We present a stable uniqueness theorem for non-unital C*-algebras. Generalized tracial rank one is defined for stably projectionless simple C*-algebras. Let $A$ and $B$ be two stably projectionless separable simple amenable C*-algebras with…

We prove that if A is a \sigma-unital exact C*-algebra of real rank zero, then every state on K_0(A) is induced by a 2-quasitrace on A. This yields a generalisation of Rainone's work on pure infiniteness and stable finiteness of crossed…

We prove a non-commutative version of the Hilbert's 17th problem, giving a characterization of the class of non-commutative polynomials in n-undeterminates that have positive trace when evaluated in n-selfadjoint elements in arbitrary II1…

It is shown that all 2-quasitraces on a unital exact C*-algebra are traces. As consequences one gets: (1) Every stably finite exact unital C*-algebra has a tracial state, and (2) if an AW*-factor of type II_1 is generated (as an…

Traces $\Phi$ on von Neumann algebras with values in complex order complete vector lattices are considered. The full description of these traces is given for the case when $\Phi$ is the Maharam trace. The version of Radon-Nikodym-type…