Showing 1–23 of 23 results for author: Sherman, D

A quantization of coarse spaces and uniform Roe algebras

Authors: Bruno M. Braga, Joseph Eisner, David Sherman

Abstract: We propose a quantization of coarse spaces and uniform Roe algebras. The objects are based on the quantum relations introduced by N. Weaver and require the choice of a represented von Neumann algebra. In the case of the diagonal inclusion l_infty(X) subset B(l_2(X)), they reduce to the usual constructions. Quantum metric spaces furnish natural examples parallel to the classical setting, but we pro… ▽ More We propose a quantization of coarse spaces and uniform Roe algebras. The objects are based on the quantum relations introduced by N. Weaver and require the choice of a represented von Neumann algebra. In the case of the diagonal inclusion l_infty(X) subset B(l_2(X)), they reduce to the usual constructions. Quantum metric spaces furnish natural examples parallel to the classical setting, but we provide other examples that are not inspired by metric considerations, including the new class of support expansion C*-algebras. We also work out the basic theory for maps between quantum coarse spaces and their consequences for quantum uniform Roe algebras. △ Less

Submitted 31 December, 2024; originally announced January 2025.

Comments: 36 pages

Support expansion $\mathrm C^*$-algebras

Authors: Bruno de Mendonça Braga, Joseph Eisner, David Sherman

Abstract: We consider operators on $L^2$ spaces that expand the support of vectors in a manner controlled by some constraint function. The primary objects of study are $\mathrm C^*$-algebras that arise from suitable families of constraints, which we call support expansion $\mathrm C^*$-algebras. In the discrete setting, support expansion $\mathrm C^*$-algebras are classical uniform Roe algebras, and the con… ▽ More We consider operators on $L^2$ spaces that expand the support of vectors in a manner controlled by some constraint function. The primary objects of study are $\mathrm C^*$-algebras that arise from suitable families of constraints, which we call support expansion $\mathrm C^*$-algebras. In the discrete setting, support expansion $\mathrm C^*$-algebras are classical uniform Roe algebras, and the continuous version featured here provides examples of "measurable" or "quantum" uniform Roe algebras as developed in a companion paper. We find that in contrast to the discrete setting, the poset of support expansion $\mathrm C^*$-algebras inside $\mathcal B(L^2(\mathbb R))$ is extremely rich, with uncountable ascending chains, descending chains, and antichains. △ Less

Submitted 7 November, 2022; originally announced November 2022.

The universal C*-algebra of a contraction

Authors: Kristin Courtney, David Sherman

Abstract: We say that a contractive Hilbert space operator is universal if there is a natural surjection from its generated C*-algebra to the C*-algebra generated by any other contraction. A universal contraction may be irreducible or a direct sum of (even nilpotent) matrices; we sharpen the latter fact and its proof in several ways, including von Neumann-type inequalities for noncommutative *-polynomials.… ▽ More We say that a contractive Hilbert space operator is universal if there is a natural surjection from its generated C*-algebra to the C*-algebra generated by any other contraction. A universal contraction may be irreducible or a direct sum of (even nilpotent) matrices; we sharpen the latter fact and its proof in several ways, including von Neumann-type inequalities for noncommutative *-polynomials. We also record properties of the unique C*-algebra generated by a universal contraction, and we show that it can be used similarly to C*(F_2) in various Kirchberg-like reformulations of Connes' Embedding Problem (some known, some new). Finally we prove some analogous results for universal C*-algebras of noncommuting row contractions and universal Pythagorean C*-algebras. △ Less

Submitted 3 May, 2019; v1 submitted 9 November, 2018; originally announced November 2018.

Comments: 28 pages. v3: minor revisions

MSC Class: 46L05

Matrices similar to partial isometries

Authors: Stephan Ramon Garcia, David Sherman

Abstract: We determine when a matrix is similar to a partial isometry, refining a result of Halmos--McLaughlin. We determine when a matrix is similar to a partial isometry, refining a result of Halmos--McLaughlin. △ Less

Submitted 14 March, 2017; v1 submitted 8 March, 2017; originally announced March 2017.

Comments: 6 pages

Journal ref: Lin. Alg. Appl., 526 (2017), no. 1, 35-41

On the similarity of AB and BA for normal and other matrices

Authors: Stephan Ramon Garcia, David Sherman, Gary Weiss

Abstract: It is well-known that $AB$ and $BA$ are similar when $A$ and $B$ are complex square Hermitian matrices. In this note we answer a question of F. Zhang by demonstrating that similarity can fail if $A$ is Hermitian and $B$ is normal. Perhaps surprisingly, similarity does hold when $A$ is positive semidefinite and $B$ is normal. It is well-known that $AB$ and $BA$ are similar when $A$ and $B$ are complex square Hermitian matrices. In this note we answer a question of F. Zhang by demonstrating that similarity can fail if $A$ is Hermitian and $B$ is normal. Perhaps surprisingly, similarity does hold when $A$ is positive semidefinite and $B$ is normal. △ Less

Submitted 28 June, 2016; v1 submitted 14 May, 2016; originally announced May 2016.

Comments: 6 pages

MSC Class: 15A03; 15A18

Journal ref: Lin. Alg. Appl. 508 (2016), no. 1, 14-21

Existentially closed II_1 factors

Authors: Ilijas Farah, Isaac Goldbring, Bradd Hart, David Sherman

Abstract: We examine the properties of existentially closed (R^omega-embeddable) II_1 factors. In particular, we use the fact that every automorphism of an existentially closed (R^omega-embeddable) II_1 factor is approximately inner to prove that Th(R) is not model-complete. We also show that Th(R) is complete for both finite and infinite forcing and use the latter result to prove that there exist continuum… ▽ More We examine the properties of existentially closed (R^omega-embeddable) II_1 factors. In particular, we use the fact that every automorphism of an existentially closed (R^omega-embeddable) II_1 factor is approximately inner to prove that Th(R) is not model-complete. We also show that Th(R) is complete for both finite and infinite forcing and use the latter result to prove that there exist continuum many nonisomorphic existentially closed models of Th(R). △ Less

Submitted 18 October, 2013; originally announced October 2013.

Comments: 22 pages

Model theory of operator algebras III: Elementary equivalence and II_1 factors

Authors: Ilijas Farah, Bradd Hart, David Sherman

Abstract: We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II_1 factors and their ultrapowers. Among other things, we show that for any II_1 factor M, there are continuum many nonisomorphic separable II_1 factors that have an ultrapower isomorphic to an ultrapower of M. We also give a poor man's resolution of the Connes Embedding Problem: there exists a… ▽ More We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II_1 factors and their ultrapowers. Among other things, we show that for any II_1 factor M, there are continuum many nonisomorphic separable II_1 factors that have an ultrapower isomorphic to an ultrapower of M. We also give a poor man's resolution of the Connes Embedding Problem: there exists a separable II_1 factor such that all II_1 factors embed into one of its ultrapowers. △ Less

Submitted 3 November, 2011; originally announced November 2011.

Comments: 16 pages

MSC Class: 46L10; 03C20; 03C98

Model theory of operator algebras II: Model theory

Authors: Ilijas Farah, Bradd Hart, David Sherman

Abstract: We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is stable if and only if all of its ultrapowers associated with nonprincipal ultrafilters on N are isomorphic even when the Continuum Hypothesis fails. We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the theory of a separable metric structure is stable if and only if all of its ultrapowers associated with nonprincipal ultrafilters on N are isomorphic even when the Continuum Hypothesis fails. △ Less

Submitted 14 July, 2013; v1 submitted 5 April, 2010; originally announced April 2010.

Comments: 20 pages; references are not missing this time

MSC Class: 46L05; 46L10; 03C20; 03C98

On cardinal invariants and generators for von Neumann algebras

Authors: David Sherman

Abstract: We demonstrate how virtually all common cardinal invariants associated to a von Neumann algebra M can be computed from the decomposability number, dec(M), and the minimal cardinality of a generating set, gen(M). Applications include the equivalence of the well-known generator problem, "Is every separably-acting von Neumann algebra singly-generated?", with the formally stronger questions, "Is eve… ▽ More We demonstrate how virtually all common cardinal invariants associated to a von Neumann algebra M can be computed from the decomposability number, dec(M), and the minimal cardinality of a generating set, gen(M). Applications include the equivalence of the well-known generator problem, "Is every separably-acting von Neumann algebra singly-generated?", with the formally stronger questions, "Is every countably-generated von Neumann algebra singly-generated?" and "Is the gen invariant monotone?" Modulo the generator problem, we determine the range of the invariant (gen(M), dec(M)), which is mostly governed by the inequality dec(M) leq c^{gen(M)}. △ Less

Submitted 18 December, 2009; v1 submitted 31 August, 2009; originally announced August 2009.

Comments: 22 pages; the main additions are Theorem 3.8 and Section 8

MSC Class: 46L10

Journal ref: Can. J. Math.-J. Can. Math. 64 (2012) 455-480

Model theory of operator algebras I: Stability

Authors: Ilijas Farah, Bradd Hart, David Sherman

Abstract: Several authors have considered whether the ultrapower and the relative commutant of a C*-algebra or II_1 factor depend on the choice of the ultrafilter. We settle each of these questions, extending results of Ge-Hadwin and the first author. Several authors have considered whether the ultrapower and the relative commutant of a C*-algebra or II_1 factor depend on the choice of the ultrafilter. We settle each of these questions, extending results of Ge-Hadwin and the first author. △ Less

Submitted 8 August, 2012; v1 submitted 19 August, 2009; originally announced August 2009.

Comments: 15 pages; v3 - some rewriting

MSC Class: 03C45; 03C98; 46L05; 46L10; 46M07

Conditional expectations onto maximal abelian *-subalgebras

Authors: Charles A. Akemann, David Sherman

Abstract: We determine when there is a unique conditional expectation from a semifinite von Neumann algebra onto a singly-generated maximal abelian *-subalgebra. Our work extends the results of Kadison and Singer via new methods, notably the observation that a unique conditional expectation onto a singly-generated maximal abelian *-subalgebra must be normal. We determine when there is a unique conditional expectation from a semifinite von Neumann algebra onto a singly-generated maximal abelian *-subalgebra. Our work extends the results of Kadison and Singer via new methods, notably the observation that a unique conditional expectation onto a singly-generated maximal abelian *-subalgebra must be normal. △ Less

Submitted 11 June, 2009; v1 submitted 10 June, 2009; originally announced June 2009.

Comments: 8 pages; a remark was corrected

MSC Class: 46L10; 46A22; 46L30

Notes on automorphisms of ultrapowers of II_1 factors

Authors: David Sherman

Abstract: In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II_1 factors. Here are some sample results: (1) an automorphism is approximately inner if and only if its ultrapower is aleph_0-locally inner; (2) the ultrapower of an outer automorphism is always outer; (3) for unital *-homomorphisms from… ▽ More In functional analysis, approximative properties of an object become precise in its ultrapower. We discuss this idea and its consequences for automorphisms of II_1 factors. Here are some sample results: (1) an automorphism is approximately inner if and only if its ultrapower is aleph_0-locally inner; (2) the ultrapower of an outer automorphism is always outer; (3) for unital *-homomorphisms from a separable nuclear C*-algebra into an ultrapower of a II_1 factor, equality of the induced traces implies unitary equivalence. All statements are proved using operator algebraic techniques, but in the last section of the paper we indicate how the underlying principle is related to theorems of Henson's positive bounded logic. △ Less

Submitted 25 September, 2008; originally announced September 2008.

Comments: 11 pages

MSC Class: 46M07 (Primary) 46L10; 46L40 (Secondary)

Divisible operators in von Neumann algebras

Authors: David Sherman

Abstract: Relativizing an idea from multiplicity theory, we say that an element x of a von Neumann algebra M is n-divisible if (W*(x)' cap M) unitally contains a factor of type I_n. We decide the density of the n-divisible operators, for various n, M, and operator topologies. The most sensitive case is sigma-strong density in II_1 factors, which is closely related to the McDuff property. We make use of… ▽ More Relativizing an idea from multiplicity theory, we say that an element x of a von Neumann algebra M is n-divisible if (W*(x)' cap M) unitally contains a factor of type I_n. We decide the density of the n-divisible operators, for various n, M, and operator topologies. The most sensitive case is sigma-strong density in II_1 factors, which is closely related to the McDuff property. We make use of Voiculescu's noncommutative Weyl-von Neumann theorem to obtain several descriptions of the norm closure of the n-divisible operators in B(ell^2). Here are two consequences: (1) in contrast to the reducible operators, of which they form a subset, the divisible operators are nowhere dense; (2) if an operator is a norm limit of divisible operators, it is actually a norm limit of unitary conjugates of a single divisible operator. This is related to our ongoing work on unitary orbits by the following theorem, which is new even for B(ell^2): if an element of a von Neumann algebra belongs to the norm closure of the aleph_0-divisible operators, then the sigma-weak closure of its unitary orbit is convex. △ Less

Submitted 9 June, 2008; v1 submitted 13 November, 2006; originally announced November 2006.

Comments: 37 pages

MSC Class: 47C15 (Primary); 47A65; 46L10 (Secondary)

Locally inner automorphisms of operator algebras

Authors: David Sherman

Abstract: In this paper an automorphism of a unital C*-algebra is said to be /locally inner/ if on any element it agrees with some inner automorphism. We make a fairly complete study of local innerness in von Neumann algebras, incorporating comparison with the pointwise innerness of Haagerup-Stormer. On some von Neumann algebras, including all with separable predual, a locally inner automorphism must be i… ▽ More In this paper an automorphism of a unital C*-algebra is said to be /locally inner/ if on any element it agrees with some inner automorphism. We make a fairly complete study of local innerness in von Neumann algebras, incorporating comparison with the pointwise innerness of Haagerup-Stormer. On some von Neumann algebras, including all with separable predual, a locally inner automorphism must be inner. But a transfinitely recursive construction demonstrates that this is not true in general. As an application, we show that the diagonal sum descends to a well-defined map on the automorphism orbits of a unital C*-algebra if and only if all its automorphisms are locally inner. △ Less

Submitted 29 February, 2008; v1 submitted 26 September, 2006; originally announced September 2006.

Comments: 17 pages; some substantive changes to the last section ("problems and comments")

MSC Class: 46L40; 47C15

Unitary orbits of normal operators in von Neumann algebras

Authors: David Sherman

Abstract: The starting points for this paper are simple descriptions of the norm and strong* closures of the unitary orbit of a normal operator in a von Neumann algebra. The statements are in terms of spectral data and do not depend on the type or cardinality of the algebra. We relate this to several known results and derive some consequences, of which we list a few here. Exactly when the ambient von Ne… ▽ More The starting points for this paper are simple descriptions of the norm and strong* closures of the unitary orbit of a normal operator in a von Neumann algebra. The statements are in terms of spectral data and do not depend on the type or cardinality of the algebra. We relate this to several known results and derive some consequences, of which we list a few here. Exactly when the ambient von Neumann algebra is a direct sum of sigma-finite algebras, any two normal operators have the same norm-closed unitary orbit if and only if they have the same strong*-closed unitary orbit if and only if they have the same strong-closed unitary orbit. But these three closures generally differ from each other and from the unclosed unitary orbit, and we characterize when equality holds between any two of these four sets. We also show that in a properly infinite von Neumann algebra, the strong-closed unitary orbit of any operator, not necessarily normal, meets the center in the (non-void) left essential central spectrum of Halpern. One corollary is a "type III Weyl-von Neumann-Berg theorem" involving containment of essential central spectra. △ Less

Submitted 14 December, 2005; v1 submitted 29 September, 2005; originally announced September 2005.

Comments: 45 pages; the main change is the addition of Theorem 8.10 and its supporting material

MSC Class: 47C15; 46L10

On the dimension theory of von Neumann algebras

Authors: David Sherman

Abstract: In this paper we study three aspects of (P(M)/~), the set of Murray-von Neumann equivalence classes of projections in a von Neumann algebra M. First we determine the topological structure that (P(M)/~) inherits from the operator topologies on M. Then we show that there is a version of the center-valued trace which extends the dimension function, even when M is not sigma-finite. Finally we prove… ▽ More In this paper we study three aspects of (P(M)/~), the set of Murray-von Neumann equivalence classes of projections in a von Neumann algebra M. First we determine the topological structure that (P(M)/~) inherits from the operator topologies on M. Then we show that there is a version of the center-valued trace which extends the dimension function, even when M is not sigma-finite. Finally we prove that (P(M)/~) is a complete lattice, a fact which has an interesting reformulation in terms of representations. △ Less

Submitted 31 March, 2005; originally announced March 2005.

Comments: 24 pages

MSC Class: 46L10

A new proof of the noncommutative Banach-Stone theorem

Authors: David Sherman

Abstract: Surjective isometries between unital C*-algebras were classified in 1951 by Kadison. In 1972 Paterson and Sinclair handled the nonunital case by assuming Kadison's theorem and supplying some supplementary lemmas. Here we combine an observation of Paterson and Sinclair with variations on the methods of Yeadon and the author, producing a fundamentally new proof of the structure of surjective isome… ▽ More Surjective isometries between unital C*-algebras were classified in 1951 by Kadison. In 1972 Paterson and Sinclair handled the nonunital case by assuming Kadison's theorem and supplying some supplementary lemmas. Here we combine an observation of Paterson and Sinclair with variations on the methods of Yeadon and the author, producing a fundamentally new proof of the structure of surjective isometries between (nonunital) C*-algebras. In the final section we indicate how our techniques may be applied to classify surjective isometries of noncommutative Lp spaces, extending some recent results of the author to 0 < p leq 1. △ Less

Submitted 24 September, 2004; originally announced September 2004.

Comments: 12 pages

MSC Class: 46B04; 46L05

Variations on Kuratowski's 14-set theorem

Authors: David Sherman

Abstract: Kuratowski's 14-set theorem says that in a topological space, 14 is the maximum possible number of distinct sets which can be generated from a fixed set by taking closures and complements. In this article we consider the analogous questions for any possible subcollection of the operations {closure, complement, interior, intersection, union}, and any number of initially given sets. We use the alg… ▽ More Kuratowski's 14-set theorem says that in a topological space, 14 is the maximum possible number of distinct sets which can be generated from a fixed set by taking closures and complements. In this article we consider the analogous questions for any possible subcollection of the operations {closure, complement, interior, intersection, union}, and any number of initially given sets. We use the algebraic "topological calculus" to full advantage. △ Less

Submitted 21 May, 2004; originally announced May 2004.

Comments: 11 pages

MSC Class: 54A05; 06F05

A classification for 2-isometries of noncommutative Lp-spaces

Authors: Marius Junge, Zhong-Jin Ruan, David Sherman

Abstract: In this paper we extend previous results of Banach, Lamperti and Yeadon on isometries of Lp-spaces to the non-tracial case first introduced by Haagerup. Specifically, we use operator space techniques and an extrapolation argument to prove that every 2-isometry T : Lp(M) to Lp(N) between arbitrary noncommutative Lp-spaces can always be written in the form T(phi^{1/p}) = w (phi circ pi^{-1} circ E… ▽ More In this paper we extend previous results of Banach, Lamperti and Yeadon on isometries of Lp-spaces to the non-tracial case first introduced by Haagerup. Specifically, we use operator space techniques and an extrapolation argument to prove that every 2-isometry T : Lp(M) to Lp(N) between arbitrary noncommutative Lp-spaces can always be written in the form T(phi^{1/p}) = w (phi circ pi^{-1} circ E)^{1/p}, for phi in M_*^+. Here pi is a normal *-isomorphism from M onto the von Neumann subalgebra pi(M) of N, w is a partial isometry in N, and E is a normal conditional expectation from N onto pi(M). As a consequence of this, any 2-isometry is automatically a complete isometry and has completely contractively complemented range. △ Less

Submitted 11 February, 2004; originally announced February 2004.

Comments: 25 pages

On the structure of isometries between noncommutative Lp spaces

Authors: David Sherman

Abstract: We prove some structure results for isometries between noncommutative Lp spaces associated to von Neumann algebras. We find that an isometry T: Lp(M_1) to Lp(M_2) (1 le p < infty, p not 2) can be canonically expressed in a certain simple form whenever M_1 has variants of Watanabe's extension property. Conversely, this form always defines an isometry provided that M_1 is "approximately semifinite… ▽ More We prove some structure results for isometries between noncommutative Lp spaces associated to von Neumann algebras. We find that an isometry T: Lp(M_1) to Lp(M_2) (1 le p < infty, p not 2) can be canonically expressed in a certain simple form whenever M_1 has variants of Watanabe's extension property. Conversely, this form always defines an isometry provided that M_1 is "approximately semifinite" (defined below). Although neither of these properties is fully understood, we show that they are enjoyed by all semifinite algebras and hyperfinite algebras (with no summand of type I_2), plus others. Thus the classification is stronger than Yeadon's theorem for semifinite algebras (and its recent improvement in [JRS]), and the proof uses independent techniques. Related to this, we examine the modular theory for positive projections from a von Neumann algebra onto a Jordan image of another von Neumann algebra, and use such projections to construct new Lp isometries by interpolation. Some complementary results and questions are also presented. △ Less

Submitted 19 November, 2003; originally announced November 2003.

Comments: 28 pages

MSC Class: 46L52; 46B04; 47B49

Journal ref: Publ. RIMS (Kyoto) 42 (2006), 45-82.

Noncommutative Lp structure encodes exactly Jordan structure

Authors: David Sherman

Abstract: We prove that for all 1 \le p \le \infty, p not 2, the Lp spaces associated to two von Neumann algebras M,N are isometrically isomorphic if and only if M and N are Jordan *-isomorphic. This follows from a noncommutative Lp Banach-Stone theorem: a specific decomposition for surjective isometries of noncommutative Lp spaces. We prove that for all 1 \le p \le \infty, p not 2, the Lp spaces associated to two von Neumann algebras M,N are isometrically isomorphic if and only if M and N are Jordan *-isomorphic. This follows from a noncommutative Lp Banach-Stone theorem: a specific decomposition for surjective isometries of noncommutative Lp spaces. △ Less

Submitted 14 September, 2004; v1 submitted 22 September, 2003; originally announced September 2003.

Comments: 14 pages, to appear in J. Funct. Anal. A step in the earlier proof was invalid for finite type I algebras

MSC Class: 46L52; 46B04; 47B49

Relative tensor products for modules over von Neumann algebras

Authors: David Sherman

Abstract: We give an overview of relative tensor products (RTPs) for von Neumann algebra modules. For background, we start with the categorical definition and go on to examine its algebraic formulation, which is applied to Morita equivalence and index. Then we consider the analytic construction, with particular emphasis on explaining why the RTP is not generally defined for every pair of vectors. We also… ▽ More We give an overview of relative tensor products (RTPs) for von Neumann algebra modules. For background, we start with the categorical definition and go on to examine its algebraic formulation, which is applied to Morita equivalence and index. Then we consider the analytic construction, with particular emphasis on explaining why the RTP is not generally defined for every pair of vectors. We also look at recent work justifying a representation of RTPs as composition of unbounded operators, noting that these ideas work equally well for L^p modules. Finally, we prove some new results characterizing preclosedness of the map (ξ, η) \mapsto ξ\otimes_φη. △ Less

Submitted 7 January, 2003; originally announced January 2003.

Comments: 17 pages; to appear in Contemporary Mathematics

MSC Class: 46L10; 46M05

Noncommutative Lp modules

Authors: Marius Junge, David Sherman

Abstract: We construct classes of von Neumann algebra modules by considering ``column sums" of noncommutative L^p spaces. Our abstract characterization is based on an L^{p/2}-valued inner product, thereby generalizing Hilbert C*-modules and representations on Hilbert space. While the (single) representation theory is similar to the L^2 case, the concept of L^p bimodule (p not 2) turns out to be nearly tri… ▽ More We construct classes of von Neumann algebra modules by considering ``column sums" of noncommutative L^p spaces. Our abstract characterization is based on an L^{p/2}-valued inner product, thereby generalizing Hilbert C*-modules and representations on Hilbert space. While the (single) representation theory is similar to the L^2 case, the concept of L^p bimodule (p not 2) turns out to be nearly trivial. △ Less

Submitted 14 September, 2004; v1 submitted 6 January, 2003; originally announced January 2003.

Comments: 29 pages, to appear in J. Operator Theory. Some proofs from Section 6 have been rewritten to avoid an incorrect result in the literature

MSC Class: 46L52; 46L10