Operator *-correspondences in analysis and geometry

An operator *-algebra is a non-selfadjoint operator algebra with completely isometric involution. We show that any operator *-algebra admits a faithful representation on a Hilbert space in such a way that the involution coincides with the operator adjoint up to conjugation by a symmetry. We introduce operator *-correspondences as a general class of inner product modules over operator *-algebras and prove a similar representation theorem for them. From this we derive the existence of linking operator *-algebras for operator *-correspondences. We illustrate the relevance of this class of inner product modules by providing numerous examples arising from noncommutative geometry.Comment: 31 pages. This work originated from the MFO workshop "Operator spaces and noncommutative geometry in interaction

Exploration of finite dimensional Kac algebras and lattices of intermediate subfactors of irreducible inclusions

We study the four infinite families KA(n), KB(n), KD(n), KQ(n) of finite dimensional Hopf (in fact Kac) algebras constructed respectively by A. Masuoka and L. Vainerman: isomorphisms, automorphism groups, self-duality, lattices of coideal subalgebras. We reduce the study to KD(n) by proving that the others are isomorphic to KD(n), its dual, or an index 2 subalgebra of KD(2n). We derive many examples of lattices of intermediate subfactors of the inclusions of depth 2 associated to those Kac algebras, as well as the corresponding principal graphs, which is the original motivation. Along the way, we extend some general results on the Galois correspondence for depth 2 inclusions, and develop some tools and algorithms for the study of twisted group algebras and their lattices of coideal subalgebras. This research was driven by heavy computer exploration, whose tools and methodology we further describe.Comment: v1: 84 pages, 13 figures, submitted. v2: 94 pages, 15 figures, added connections with Masuoka's families KA and KB, description of K3 in KD(n), lattices for KD(8) and KD(15). v3: 93 pages, 15 figures, proven lattice for KD(6), misc improvements, accepted for publication in Journal of Algebra and Its Application

The Algebras of Large N Matrix Mechanics

Extending early work, we formulate the large N matrix mechanics of general bosonic, fermionic and supersymmetric matrix models, including Matrix theory: The Hamiltonian framework of large N matrix mechanics provides a natural setting in which to study the algebras of the large N limit, including (reduced) Lie algebras, (reduced) supersymmetry algebras and free algebras. We find in particular a broad array of new free algebras which we call symmetric Cuntz algebras, interacting symmetric Cuntz algebras, symmetric Bose/Fermi/Cuntz algebras and symmetric Cuntz superalgebras, and we discuss the role of these algebras in solving the large N theory. Most important, the interacting Cuntz algebras are associated to a set of new (hidden) local quantities which are generically conserved only at large N. A number of other new large N phenomena are also observed, including the intrinsic nonlocality of the (reduced) trace class operators of the theory and a closely related large N field identification phenomenon which is associated to another set (this time nonlocal) of new conserved quantities at large N.Comment: 70 pages, expanded historical remark

Simultaneous quantization of edge and bulk Hall conductivity

The edge Hall conductivity is shown to be an integer multiple of $e^2/h$ which is almost surely independent of the choice of the disordered configuration. Its equality to the bulk Hall conductivity given by the Kubo-Chern formula follows from K-theoretic arguments. This leads to quantization of the Hall conductance for any redistribution of the current in the sample. It is argued that in experiments at most a few percent of the total current can be carried by edge states.Comment: 6 pages Latex, 1 figur

Tachyon Condensation on Noncommutative Torus

We discuss noncommutative solitons on a noncommutative torus and their application to tachyon condensation. In the large B limit, they can be exactly described by the Powers-Rieffel projection operators known in the mathematical literature. The resulting soliton spectrum is consistent with T-duality and is surprisingly interesting. It is shown that an instability arises for any D-branes, leading to the decay into many smaller D-branes. This phenomenon is the consequence of the fact that K-homology for type II von Neumann factor is labeled by R.Comment: LaTeX, 17 pages, 1 figur

C*-algebras associated with endomorphisms and polymorphisms of compact abelian groups

A surjective endomorphism or, more generally, a polymorphism in the sense of \cite{SV}, of a compact abelian group $H$ induces a transformation of $L^2(H)$. We study the C*-algebra generated by this operator together with the algebra of continuous functions $C(H)$ which acts as multiplication operators on $L^2(H)$. Under a natural condition on the endo- or polymorphism, this algebra is simple and can be described by generators and relations. In the case of an endomorphism it is always purely infinite, while for a polymorphism in the class we consider, it is either purely infinite or has a unique trace. We prove a formula allowing to determine the $K$-theory of these algebras and use it to compute the $K$-groups in a number of interesting examples.Comment: 25 page

Finitely-Generated Projective Modules over the Theta-deformed 4-sphere

We investigate the "theta-deformed spheres" C(S^{3}_{theta}) and C(S^{4}_{theta}), where theta is any real number. We show that all finitely-generated projective modules over C(S^{3}_{theta}) are free, and that C(S^{4}_{theta}) has the cancellation property. We classify and construct all finitely-generated projective modules over C(S^{4}_{\theta}) up to isomorphism. An interesting feature is that if theta is irrational then there are nontrivial "rank-1" modules over C(S^{4}_{\theta}). In that case, every finitely-generated projective module over C(S^{4}_{\theta}) is a sum of a rank-1 module and a free module. If theta is rational, the situation mirrors that for the commutative case theta=0.Comment: 34 page

Twisted k-graph algebras associated to Bratteli diagrams

Given a system of coverings of k-graphs, we show that the cohomology of the resulting (k+1)-graph is isomorphic to that of any one of the k-graphs in the system. We then consider Bratteli diagrams of 2-graphs whose twisted C*-algebras are matrix algebras over noncommutative tori. For such systems we calculate the ordered K-theory and the gauge-invariant semifinite traces of the resulting 3-graph C*-algebras. We deduce that every simple C*-algebra of this form is Morita equivalent to the C*-algebra of a rank-2 Bratteli diagram in the sense of Pask-Raeburn-R{\o}rdam-Sims.Comment: 28 pages, pictures prepared using tik

Progress in noncommutative function theory

In this expository paper we describe the study of certain non-self-adjoint operator algebras, the Hardy algebras, and their representation theory. We view these algebras as algebras of (operator valued) functions on their spaces of representations. We will show that these spaces of representations can be parameterized as unit balls of certain $W^{*}$-correspondences and the functions can be viewed as Schur class operator functions on these balls. We will provide evidence to show that the elements in these (non commutative) Hardy algebras behave very much like bounded analytic functions and the study of these algebras should be viewed as noncommutative function theory