Measures from Dixmier traces and zeta functions

For L^∞-functions on a (closed) compact Riemannian manifold, the noncommutative residue and the Dixmier trace formulation of the noncommutative integral are shown to equate to a multiple of the Lebesgue integral. The identifications are shown to continue to, and be sharp at, L²-functions. For functions strictly in Lp, 1?p<2, symmetrised noncommutative residue and Dixmier trace formulas must be introduced, for which the identification is shown to continue for the noncommutative residue. However, a failure is shown for the Dixmier trace formulation at L¹-functions. It is shown the noncommutative residue remains finite and recovers the Lebesgue integral for any integrable function while the Dixmier trace expression can diverge. The results show that a claim in the monograph [J.M. Gracia-Bondía, J.C. Várilly, H. Figueroa, Elements of Noncommutative Geometry, Birkhäuser Adv. Texts, Birkhäuser, Boston, 2001], that the equality on C^∞-functions between the Lebesgue integral and an operator-theoretic expression involving a Dixmier trace (obtained from Connes' Trace Theorem) can be extended to any integrable function, is false. The results of this paper include a general presentation for finitely generated von Neumann algebras of commuting bounded operators, including a bounded Borel or L^∞ functional calculus version of C^∞ results in IV.2.δ of [A. Connes, Noncommutative Geometry, Academic Press, New York, 1994].     

Spectral flow and Dixmier traces

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 deduce a formula for the Chern character of an odd -summable Breuer-Fredholm module in terms of a Hochschild 1-cycle. We explain how to derive a Wodzicki residue for pseudo-differential operators along the orbits of an ergodic action on a compact space X. Finally, we give a short proof of an index theorem of Lesch for generalised Toeplitz operators.     

Integration on locally compact noncommutative spaces

We present an ab initio approach to integration theory for nonunital spectral triples. This is done without reference to local units and in the full generality of semifinite noncommutative geometry. The main result is an equality between the Dixmier trace and generalised residue of the zeta function and heat kernel of suitable operators. We also examine definitions for integrable bounded elements of a spectral triple based on zeta function, heat kernel and Dixmier trace techniques. We show that zeta functions and heat kernels yield equivalent notions of integrability, which imply Dixmier traceability.     

Type II non-commutative geometry. I. Dixmier trace in von Neumann algebras

We define the notion of Connes-von Neumann spectral triple and consider the associated index problem. We compute the analytic Chern-Connes character of such a generalized spectral triple and prove the corresponding local formula for its Hochschild class. This formula involves the Dixmier trace for II_∞ von Neumann algebras. In the case of foliations, we identify this Dixmier trace with the corresponding measured Wodzicki residue.     

Summability for Nonunital Spectral Triples

This paper examines the issue of summability for spectral triples for the class of nonunital algebras introduced in [23]. For the case of (p, )-summability, we prove that the Dixmier trace can be used to define a (semifinite) trace on the algebra of the spectral triple. We show this trace is well-behaved, and provide a criteria for measurability of an operator in terms of zeta functions. We also show that all our hypotheses are satisfied by spectral triples arising from geodesically complete Riemannian manifolds. In addition, we indicate how the Local Index Theorem of Connes-Moscovici extends to our nonunital setting.     

Summation of the euler function values over numbers of the form <Emphasis Type="Italic">p</Emphasis> − 1

An asymptotic formula is proved for the sum of values of the Euler function on numbers of the form p ? 1 not exceeding x. The order of the remainder of the asymptotics corresponds to the modern bound for zeros of the zeta function.     

The Dirichlet divisor problem,traces and determinants for complex powers of the twisted bi-Laplacian

Estimating the counting function for the eigenvalues of the twisted bi-Laplacian leads to the Dirichlet divisor problem, which is then used to compute the trace of the heat semigroup and the Dixmier trace of the inverse of the twisted bi-Laplacian. The zeta function regularizations of the traces and determinants of complex powers of the twisted bi-Laplacian are computed. A formula for the zeta function regularizations of determinants of heat semigroups of complex powers of the twisted bi-Laplacian is given.     

Derivations and Dirichlet forms on fractals

We study derivations and Fredholm modules on metric spaces with a local regular conservative Dirichlet form. In particular, on finitely ramified fractals, we show that there is a non-trivial Fredholm module if and only if the fractal is not a tree (i.e. not simply connected). This result relates Fredholm modules and topology, refines and improves known results on p.c.f. fractals. We also discuss weakly summable Fredholm modules and the Dixmier trace in the cases of some finitely and infinitely ramified fractals (including non-self-similar fractals) if the so-called spectral dimension is less than 2. In the finitely ramified self-similar case we relate the p-summability question with estimates of the Lyapunov exponents for harmonic functions and the behavior of the pressure function.     

A generalization of A. Connes' trace formula

A new Bessel type function is found for each field of p-adic numbers, which has remarkable properties. By using this Bessel function, a Hankel type transformation is defined for every field of p-adic numbers. It is the analogue of the classical Hankel transformation of order zero (Li, 2007 [8]). A global Hankel transformation is defined on the adele group. It is closely related to the Euler product formula of the Riemann zeta function. Local and S-local trace formulas are obtained for the Hankel transformation. They are generalizations of A. Connes' corresponding trace formulas in Connes (1999) [5].     

A higher order p-adic class number formula

We generalize a formula of Leopoldt which relates the p-adic regulator modulo p of a real abelian extension of ? with the value of the relative Dedekind zeta function at s = 2 ? p. We use this generalization to give an alternative proof of the non-vanishing modulo p of this relative zeta function at the point s = 1 under a mild condition.     

q-Hardy-Berndt type sums associated with q-Genocchi type zeta and q-l-functions

The aim of this paper is to define new generating functions. By applying a derivative operator and the Mellin transformation to these generating functions, we define q-analogue of the Genocchi zeta function, q-analogue Hurwitz type Genocchi zeta function, and q-Genocchi type l-function. We define partial zeta function. By using this function, we construct p-adic interpolation functions which interpolate generalized q-Genocchi numbers at negative integers. We also define p-adic meromorphic functions on C_p. Furthermore, we construct new generating functions of q-Hardy-Berndt type sums and q-Hardy-Berndt type sums attached to Dirichlet character. We also give some new relations, related to these sums.     

Embedding constants for periodic Sobolev spaces of fractional order

We obtain an explicit expression for the norms of the embedding operators of the periodic Sobolev spaces into the space of continuous functions (the norms of this type are usually called embedding constants). The corresponding formulas for the embedding constants express them in terms of the values of the well-known Epstein zeta function which depends on the smoothness exponent s of the spaces under study and the dimension n of the space of independent variables. We establish that the embeddings under consideration have the embedding functions coinciding up to an additive constant and a scalar factor with the values of the corresponding Epstein zeta function. We find the asymptotics of the embedding constants as s → n/2.     

Measurable operators and the asymptotics of heat kernels and zeta functions

In this note we answer some questions inspired by the introduction in Connes (1988, 1994) [6], [7] 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.     

Computation of Weng's rank 2 zeta function over an algebraic number field

In this paper, we study the zeta function, named non-abelian zeta function, defined by Lin Weng. We can represent Weng's rank r zeta function of an algebraic number field F as the integration of the Eisenstein series over the moduli space of the semi-stable OF-lattices with rank r. For r=2, in the case of F=Q, Weng proved that it can be written by the Riemann zeta function, and Lagarias and Suzuki proved that it satisfies the Riemann hypothesis. These results were generalized by the author to imaginary quadratic fields and by Lin Weng to general number fields. This paper presents proofs of both these results. It derives a formula (first found by Weng) for Weng's rank 2 zeta functions for general number fields, and then proves the Riemann hypothesis holds for such zeta functions.     

Arithmetic progressions of zeros of the Riemann zeta function

If the Riemann zeta function vanishes at each point of the finite arithmetic progression {D+inp}_0<|n|<N (D?1/2, p>0), then N<13p if D=1/2, and N<p^1/D-1+o(1) in general.     

Applications of weighted estimates of Calderon’s commutators

The paper introduces singular integral operators of a new type defined in the space L ^p with the weight function on the complex plane. For these operators, norm estimates are derived. Namely, if V is a complex-valued function on the complex plane satisfying the condition |V(z) ? V(??)| ?? w|z ? ??| and F is an entire function, then we put $$P_F^* f(z) = \mathop {\sup }\limits_{\varepsilon > 0} \left| {\int\limits_{\left| {\zeta - z} \right| > \varepsilon } {F\left( {\frac{{V(\zeta ) - V(z)}} {{\zeta - z}}} \right)\frac{{f(\zeta )}} {{\left( {\zeta - z} \right)^2 }}d\sigma (\zeta )} } \right|.$$ It is shown that if the weight function ?? is a Muckenhoupt A _p weight for 1 < p < ??, then $$\left\| {P_F^* f} \right\|_{p,\omega } \leqslant C(F,w,p)\left\| f \right\|_{p,\omega } .$$ .     

Dixmier traces as singular symmetric functionals and applications to measurable operators

We unify various constructions and contribute to the theory of singular symmetric functionals on Marcinkiewicz function/operator spaces. This affords a new approach to the non-normal Dixmier and Connes-Dixmier traces (introduced by Dixmier and adapted to non-commutative geometry by Connes) living on a general Marcinkiewicz space associated with an arbitrary semifinite von Neumann algebra. The corollaries to our approach, stated in terms of the operator ideal L^(1,∞) (which is a special example of an operator Marcinkiewicz space), are: (i) a new characterization of the set of all positive measurable operators from L^(1,∞), i.e. those on which an arbitrary Connes-Dixmier trace yields the same value. In the special case, when the operator ideal L^(1,∞) is considered on a type I infinite factor, a bounded operator x belongs to L^(1,∞) if and only if the sequence of singular numbers {s_n(x)}_n?1 (in the descending order and counting the multiplicities) satisfies . In this case, our characterization amounts to saying that a positive element x∈L^(1,∞) is measurable if and only if exists; (ii) the set of Dixmier traces and the set of Connes-Dixmier traces are norming sets (up to equivalence) for the space , where the space is the closure of all finite rank operators in L^(1,∞) in the norm ∥.∥_(1,∞).     

Tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property

In this paper we set up a representation theorem for tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property in terms of Ky Fan norms. Examples of tracial gauge norms on finite von Neumann algebras satisfying the weak Dixmier property include unitarily invariant norms on finite factors (type II₁ factors and Mn(C)) and symmetric gauge norms on L^∞[0,1] and Cn. As the first application, we obtain that the class of unitarily invariant norms on a type II₁ factor coincides with the class of symmetric gauge norms on L^∞[0,1] and von Neumann's classical result [J. von Neumann, Some matrix-inequalities and metrization of matrix-space, Tomsk. Univ. Rev. 1 (1937) 286-300] on unitarily invariant norms on Mn(C). As the second application, Ky Fan's dominance theorem [Ky Fan, Maximum properties and inequalities for the eigenvalues of completely continuous operators, Proc. Natl. Acad. Sci. USA 37 (1951) 760-766] is obtained for finite von Neumann algebras satisfying the weak Dixmier property. As the third application, some classical results in non-commutative Lp-theory (e.g., non-commutative Hölder's inequality, duality and reflexivity of non-commutative Lp-spaces) are obtained for general unitarily invariant norms on finite factors. We also investigate the extreme points of N(M), the convex compact set (in the pointwise weak topology) of normalized unitarily invariant norms (the norm of the identity operator is 1) on a finite factor M. We obtain all extreme points of N(M₂(C)) and some extreme points of N(Mn(C)) (n?3). For a type II₁ factor M, we prove that if t (0?t?1) is a rational number then the Ky Fan tth norm is an extreme point of N(M).     

Dixmier traces on noncompact isospectral deformations

We extend the isospectral deformations of Connes, Landi and Dubois-Violette to the case of Riemannian spin manifolds carrying a proper action of the noncompact abelian group Rl. Under deformation by a torus action, a standard formula relates Dixmier traces of measurable operators to integrals of functions on the manifold. We show that this relation persists for actions of Rl, under mild restrictions on the geometry of the manifold which guarantee the Dixmier traceability of those operators.