Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Noncommutative localisation in algebraic K-theory II

In [Amnon Neeman, Andrew Ranicki, Noncommutative localisation in algebraic K-theory I, Geom. Topol. 8 (2004) 1385-1425] we proved a localisation theorem in the algebraic K-theory of noncommutative rings. The main purpose of the current article is to express the general theorem of the previous paper in a more user-friendly fashion, in a way more suitable for applications. In the process we compare our result to the existing theorems in the literature, showing how the previous paper improves all the existing results.It should be pointed out that there have been two very interesting recent preprints on related topics. The reader is referred to the beautiful papers of Krause [Henning Krause, Cohomological quotients and smashing localizations, http://wwwmath.upb.de/~hkrause/publications.html. [8]] and Dwyer [William G. Dwyer, Noncommutative localization in homotopy theory, preprint, http://www.nd.edu/~wgd/. [4]]. Krause studies the lifting of chain complexes and the relation with the telescope conjecture, and Dwyer generalises to the homotopy theoretic framework.     

Energy crisis or a new soliton in the noncommutative CP(1) model?

The non-commutative (NC) CP(1) model is studied from field theory perspective. Our formalism and definition of the NC CP(1) model differs crucially from the existing one [Phys. Lett. B 498 (2001) 277, hep-th/0203125, hep-th/0303090].

Due to the U(1) gauge invariance, the Seiberg–Witten map is used to convert the NC action to an action in terms of ordinary spacetime degrees of freedom and the subsequent theory is studied. The NC effects appear as (NC parameter) θ-dependent interaction terms. The expressions for static energy, obtained from both the symmetric and canonical forms of the energy momentum tensor, are identical, when only spatial noncommutativity is present. Bogomolny analysis reveals a lower bound in the energy in an unambiguous way, suggesting the presence of a new soliton. However, the BPS equations saturating the bound are not compatible to the full variational equation of motion. This indicates that the definitions of the energy momentum tensor for this particular NC theory (the NC theory is otherwise consistent and well defined), are inadequate, thus leading to the “energy crisis”.

A collective coordinate analysis corroborates the above observations. It also shows that the above mentioned mismatch between the BPS equations and the variational equation of motion is small.     

Free cumulants,Schröder trees,and operads

The functional equation defining the free cumulants in free probability is lifted successively to the noncommutative Faà di Bruno algebra, and then to the group of a free operad over Schröder trees. This leads to new combinatorial expressions, which remain valid for operator-valued free probability. Specializations of these expressions give back Speicher's formula in terms of noncrossing partitions, and its interpretation in terms of characters due to Ebrahimi-Fard and Patras.     

Action of the Cremona group on a noncommutative ring

The Cremona group acts on the field of two independent commutative variables over complex numbers. We provide a noncommutative algebra that is an analog of a noncommutative field of two independent variables and prove that the Cremona group embeds in a group of outer automorphisms of this algebra. We give two proofs of it, the first proof is technical, the second one is conceptual and proceeds through a construction of a birational invariant of an algebraic variety from its bounded derived category of coherent sheaves.     

Noncommutative geometry and conformal geometry. III. Vafa–Witten inequality and Poincaré duality

This paper is the third part of a series of papers whose aim is to use the framework of twisted spectral triples to study conformal geometry from a noncommutative geometric viewpoint. In this paper we reformulate the inequality of Vafa–Witten [42] in the setting of twisted spectral triples. This involves a notion of Poincaré duality for twisted spectral triples. Our main results have various consequences. In particular, we obtain a version in conformal geometry of the original inequality of Vafa–Witten, in the sense of an explicit control of the Vafa–Witten bound under conformal changes of metrics. This result has several noncommutative manifestations for conformal deformations of ordinary spectral triples, spectral triples associated with conformal weights on noncommutative tori, and spectral triples associated with duals of torsion-free discrete cocompact subgroups satisfying the Baum–Connes conjecture.     

Non-commutative complex differential geometry

This paper defines and examines the basic properties of non-commutative analogues of almost complex structures, integrable almost complex structures, holomorphic curvature, cohomology, and holomorphic sheaves. The starting point is a differential structure on a non-commutative algebra defined in terms of a differential graded algebra. This is compared to current ideas on non-commutative algebraic geometry.     

Dirac index classes and the noncommutative spectral flow

We present a detailed proof of the existence-theorem for noncommutative spectral sections (see the noncommutative spectral flow, unpublished preprint, 1997). We apply this result to various index-theoretic situations, extending to the noncommutative context results of Booss–Wojciechowski, Melrose–Piazza and Dai–Zhang. In particular, we prove a variational formula, in K_*(C_r^*(Γ)), for the index classes associated to 1-parameter family of Dirac operators on a Γ-covering with boundary; this formula involves a noncommutative spectral flow for the boundary family. Next, we establish an additivity result, in K_*(C_r^*(Γ)), for the index class defined by a Dirac-type operator associated to a closed manifold M and a map r:M→BΓ when we assume that M is the union along a hypersurface F of two manifolds with boundary M=M_{+ F} M₋. Finally, we prove a defect formula for the signature-index classes of two cut-and-paste equivalent pairs (M₁,r₁:M₁→BΓ) and (M₂,r₂:M₂→BΓ), where

M₁=M_{+ (F,φ1)} M₋, M₂=M_{+ (F,φ2)} M₋

and φ_jDiff(F). The formula involves the noncommutative spectral flow of a suitable 1-parameter family of twisted signature operators on F. We give applications to the problem of cut-and-paste invariance of Novikov's higher signatures on closed oriented manifolds.