Showing 1–50 of 53 results for author: Davidson, K R

Completely Bounded Norms of $k$-positive Maps

Authors: Guillaume Aubrun, Kenneth R. Davidson, Alexander Müller-Hermes, Vern I. Paulsen, Mizanur Rahaman

Abstract: Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system). In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exa… ▽ More Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system). In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exact value $r_k(M_n) = \frac{2n-k}{k}$ and show upper and lower bounds on the parameters $d_k(M_n)$. Moreover, when $\mathcal{S}$ is a finite-dimensional operator system, adapting recent results of Passer and the 4th author, we show that the sequence $(r_k( \mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ is exact and that the sequence $(d_k(\mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ has the lifting property. △ Less

Submitted 7 May, 2024; v1 submitted 22 January, 2024; originally announced January 2024.

Comments: Journal of the London Mathematical Society (to appear)

On boundary representations

Authors: Kenneth R. Davidson, Michael Hartz

Abstract: Let $S$ be an operator system sitting in its C*-envelope $C^*_{\mathrm{min}}(S)$. Starting with a pure state on $S$, let $F$ be the face of state extensions to $C^*_{\mathrm{min}}(S)$. The dilation theorem of Davidson-Kennedy shows that the GNS representations corresponding to some of the extreme states of $F$ are boundary representations. We construct an explicit example in which $F$ is an interv… ▽ More Let $S$ be an operator system sitting in its C*-envelope $C^*_{\mathrm{min}}(S)$. Starting with a pure state on $S$, let $F$ be the face of state extensions to $C^*_{\mathrm{min}}(S)$. The dilation theorem of Davidson-Kennedy shows that the GNS representations corresponding to some of the extreme states of $F$ are boundary representations. We construct an explicit example in which $F$ is an interval and only one of the two extreme points yields a boundary representation. △ Less

Submitted 9 August, 2023; originally announced August 2023.

Comments: 12 pages

MSC Class: 46L07 (Primary); 47A20; 46E22; 47L55 (Secondary)

Positive maps and entanglement in real Hilbert spaces

Authors: Giulio Chiribella, Kenneth R. Davidson, Vern I. Paulsen, Mizanur Rahaman

Abstract: The theory of positive maps plays a central role in operator algebras and functional analysis, and has countless applications in quantum information science. The theory was originally developed for operators acting on complex Hilbert spaces, and little is known about its variant on real Hilbert spaces. In this article we study positive maps acting on a full matrix algebra over the reals, pointing… ▽ More The theory of positive maps plays a central role in operator algebras and functional analysis, and has countless applications in quantum information science. The theory was originally developed for operators acting on complex Hilbert spaces, and little is known about its variant on real Hilbert spaces. In this article we study positive maps acting on a full matrix algebra over the reals, pointing out a number of fundamental differences with the complex case and discussing their implications in quantum information. We provide a necessary and sufficient condition for a real map to admit a positive complexification, and connect the existence of positive maps with non-positive complexification with the existence of mixed states that are entangled in real Hilbert space quantum mechanics, but separable in the complex version, providing explicit examples both for the maps and for the states. Finally, we discuss entanglement breaking and PPT maps, and we show that a straightforward real version of the PPT-squared conjecture is false even in dimension 2. Nevertheless, we show that the original PPT-squared conjecture implies a different conjecture for real maps, in which the PPT property is replaced by a stronger property of invariance under partial transposition (IPT). When the IPT property is assumed, we prove an asymptotic version of the conjecture. △ Less

Submitted 14 May, 2023; v1 submitted 6 July, 2022; originally announced July 2022.

Comments: Updated version. To appear in Annales Henri Poincaré

Journal ref: Annales Henri Poincaré (2023)

Counterexamples to the extendibility of positive unital norm-one maps

Authors: Giulio Chiribella, Kenneth R. Davidson, Vern I. Paulsen, Mizanur Rahaman

Abstract: Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete positivity is replaced by positivity is known to be false. A natural question is whether extendibility could still hold for positive maps satisfying stronger conditio… ▽ More Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete positivity is replaced by positivity is known to be false. A natural question is whether extendibility could still hold for positive maps satisfying stronger conditions, such as being unital and norm 1. Here we provide three counterexamples showing that positive norm-one unital maps defined on an operator subsystem of a matrix algebra cannot be extended to a positive map on the full matrix algebra. The first counterexample is an unextendible positive unital map with unit norm, the second counterexample is an unextendible positive unital isometry on a real operator space, and the third counterexample is an unextendible positive unital isometry on a complex operator space. △ Less

Submitted 19 April, 2022; originally announced April 2022.

Comments: Comments are welcome

Journal ref: Linear Algebra and its Applications (2023)

Strongly peaking representations and compressions of operator systems

Authors: Kenneth R. Davidson, Benjamin Passer

Abstract: We use Arveson's notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets which admit minimal presentations. A fully compressed separable operator system necessarily generates the C*-envelope and is such that the identity is the direct sum of strongly peaking representations. In particular, a fully compressed presentation of a separab… ▽ More We use Arveson's notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets which admit minimal presentations. A fully compressed separable operator system necessarily generates the C*-envelope and is such that the identity is the direct sum of strongly peaking representations. In particular, a fully compressed presentation of a separable operator system is unique up to unitary equivalence. Under various additional assumptions, minimality conditions are sufficient to determine a separable operator system uniquely. △ Less

Submitted 12 August, 2020; v1 submitted 23 May, 2020; originally announced May 2020.

Comments: 26 pages. Version 2 has minor updates. To appear in International Mathematics Research Notices

MSC Class: 47A20; 47A13; 46L07; 47L25

Journal ref: Int. Math. Res. Not. IMRN 7 (2022), 5037-5070

Interpolation and duality in algebras of multipliers on the ball

Authors: Kenneth R. Davidson, Michael Hartz

Abstract: We study the multiplier algebras $A(\mathcal{H})$ obtained as the closure of the polynomials on certain reproducing kernel Hilbert spaces $\mathcal{H}$ on the ball $\mathbb{B}_d$ of $\mathbb{C}^d$. Our results apply, in particular, to the Drury-Arveson space, the Dirichlet space and the Hardy space on the ball. We first obtain a complete description of the dual and second dual spaces of… ▽ More We study the multiplier algebras $A(\mathcal{H})$ obtained as the closure of the polynomials on certain reproducing kernel Hilbert spaces $\mathcal{H}$ on the ball $\mathbb{B}_d$ of $\mathbb{C}^d$. Our results apply, in particular, to the Drury-Arveson space, the Dirichlet space and the Hardy space on the ball. We first obtain a complete description of the dual and second dual spaces of $A(\mathcal H)$ in terms of the complementary bands of Henkin and totally singular measures for $\operatorname{Mult}(\mathcal{H})$. This is applied to obtain several definitive results in interpolation. In particular, we establish a sharp peak interpolation result for compact $\operatorname{Mult}(\mathcal{H})$-totally null sets as well as a Pick and peak interpolation theorem. Conversely, we show that a mere interpolation set is $\operatorname{Mult}(\mathcal{H})$-totally null. △ Less

Submitted 22 April, 2022; v1 submitted 31 March, 2020; originally announced March 2020.

Comments: 44 pages; minor changes

MSC Class: 46E22 (Primary) 47L30; 47L50; 46J15 (Secondary)

Noncommutative Choquet theory

Authors: Kenneth R. Davidson, Matthew Kennedy

Abstract: We introduce a new and extensive theory of noncommutative convexity along with a corresponding theory of noncommutative functions. We establish noncommutative analogues of the fundamental results from classical convexity theory, and apply these ideas to develop a noncommutative Choquet theory that generalizes much of classical Choquet theory. The central objects of interest in noncommutative con… ▽ More We introduce a new and extensive theory of noncommutative convexity along with a corresponding theory of noncommutative functions. We establish noncommutative analogues of the fundamental results from classical convexity theory, and apply these ideas to develop a noncommutative Choquet theory that generalizes much of classical Choquet theory. The central objects of interest in noncommutative convexity are noncommutative convex sets. The category of compact noncommutative sets is dual to the category of operator systems, and there is a robust notion of extreme point for a noncommutative convex set that is dual to Arveson's notion of boundary representation for an operator system. We identify the C*-algebra of continuous noncommutative functions on a compact noncommutative convex set as the maximal C*-algebra of the operator system of continuous noncommutative affine functions on the set. In the noncommutative setting, unital completely positive maps on this C*-algebra play the role of representing measures in the classical setting. The continuous convex noncommutative functions determine an order on the set of unital completely positive maps that is analogous to the classical Choquet order on probability measures. We characterize this order in terms of the extensions and dilations of the maps, providing a powerful new perspective on the structure of completely positive maps on operator systems. Finally, we establish a noncommutative generalization of the Choquet-Bishop-de Leeuw theorem asserting that every point in a compact noncommutative convex set has a representing map that is supported on the extreme boundary. In the separable case, we obtain a corresponding integral representation theorem. △ Less

Submitted 22 October, 2022; v1 submitted 21 May, 2019; originally announced May 2019.

Comments: 83 pages; various minor changes

MSC Class: Primary 46A55; 46L07; 47A20; Secondary 46L52; 47L25

Nevanlinna-Pick Families and Singular Rational Varieties

Authors: Kenneth R. Davidson, Eli Shamovich

Abstract: The goal of this note is to apply ideas from commutative algebra (a.k.a. affine algebraic geometry) to the question of constrained Nevanlinna-Pick interpolation. More precisely, we consider subalgebras $A \subset \mathbb{C}[z_1,\ldots,z_d]$, such that the map from the affine space to the spectrum of $A$ is an isomorphism except for finitely many points. Letting $\mathfrak{A}$ be the weak-$*$ closu… ▽ More The goal of this note is to apply ideas from commutative algebra (a.k.a. affine algebraic geometry) to the question of constrained Nevanlinna-Pick interpolation. More precisely, we consider subalgebras $A \subset \mathbb{C}[z_1,\ldots,z_d]$, such that the map from the affine space to the spectrum of $A$ is an isomorphism except for finitely many points. Letting $\mathfrak{A}$ be the weak-$*$ closure of $A$ in $\mathcal{M}_d$ -- the multiplier algebra of the Drury-Arveson space. We provide a parametrization for the Nevanlinna-Pick family of $M_k(\mathfrak{A})$ for $k \geq 1$. In particular, when $k=1$ the parameter space for the Nevanlinna-Pick family is the Picard group of $A$. △ Less

Submitted 12 December, 2018; v1 submitted 7 November, 2018; originally announced November 2018.

Structure of free semigroupoid algebras

Authors: Kenneth R. Davidson, Adam Dor-On, Boyu Li

Abstract: A free semigroupoid algebra is the closure of the algebra generated by a TCK family of a graph in the weak operator topology. We obtain a structure theory for these algebras analogous to that of free semigroup algebra. We clarify the role of absolute continuity and wandering vectors. These results are applied to obtain a Lebesgue-von Neumann-Wold decomposition of TCK families, along with reflexivi… ▽ More A free semigroupoid algebra is the closure of the algebra generated by a TCK family of a graph in the weak operator topology. We obtain a structure theory for these algebras analogous to that of free semigroup algebra. We clarify the role of absolute continuity and wandering vectors. These results are applied to obtain a Lebesgue-von Neumann-Wold decomposition of TCK families, along with reflexivity, a Kaplansky density theorem and classification for free semigroupoid algebras. Several classes of examples are discussed and developed, including self-adjoint examples and a classification of atomic free semigroupoid algebras up to unitary equivalence. △ Less

Submitted 13 June, 2019; v1 submitted 19 September, 2017; originally announced September 2017.

Comments: 65 pages, 1 figure. Accepted to JFA

MSC Class: 47L80; 47L55; 47L40 (Primary) 46L05 (Secondary)

A proof of Boca's Theorem

Authors: Kenneth R. Davidson, Evgenios T. A. Kakariadis

Abstract: We give a general method of extending unital completely positive maps to amalgamated free products of C*-algebras. As an application we give a dilation theoretic proof of Boca's Theorem. We give a general method of extending unital completely positive maps to amalgamated free products of C*-algebras. As an application we give a dilation theoretic proof of Boca's Theorem. △ Less

Submitted 11 July, 2017; v1 submitted 5 June, 2017; originally announced June 2017.

Comments: 9 pages, minor corrections in text

MSC Class: 46L07; 46L09

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 149 (2019) 869-876

Complete spectral sets and numerical range

Authors: Kenneth R. Davidson, Vern I. Paulsen, Hugo J. Woerdeman

Abstract: We define the complete numerical radius norm for homomorphisms from any operator algebra into ${\mathcal B}({\mathcal H})$, and show that this norm can be computed explicitly in terms of the completely bounded norm. This is used to show that if $K$ is a complete $C$-spectral set for an operator $T$, then it is a complete $M$-numerical radius set, where $M=\frac12(C+C^{-1})$. In particular, in view… ▽ More We define the complete numerical radius norm for homomorphisms from any operator algebra into ${\mathcal B}({\mathcal H})$, and show that this norm can be computed explicitly in terms of the completely bounded norm. This is used to show that if $K$ is a complete $C$-spectral set for an operator $T$, then it is a complete $M$-numerical radius set, where $M=\frac12(C+C^{-1})$. In particular, in view of Crouzeix's theorem, there is a universal constant $M$ (less than 5.6) so that if $P$ is a matrix polynomial and $T \in {\mathcal B}({\mathcal H})$, then $w(P(T)) \le M \|P\|_{W(T)}$. When $W(T) = \overline{\mathbb D}$, we have $M = \frac54$. △ Less

Submitted 16 December, 2016; originally announced December 2016.

MSC Class: 47A12; 47A25; 15A60

Choquet order and hyperrigidity for function systems

Authors: Kenneth R. Davidson, Matthew Kennedy

Abstract: We establish a dilation-theoretic characterization of the Choquet order on the space of measures on a compact convex set using ideas from the theory of operator algebras. This yields an extension of Cartier's dilation theorem to the non-separable setting, as well as a non-separable version of Šaškin's theorem from approximation theory. We show that a slight variant of this order characterizes the… ▽ More We establish a dilation-theoretic characterization of the Choquet order on the space of measures on a compact convex set using ideas from the theory of operator algebras. This yields an extension of Cartier's dilation theorem to the non-separable setting, as well as a non-separable version of Šaškin's theorem from approximation theory. We show that a slight variant of this order characterizes the representations of a commutative C*-algebra that have the unique extension property relative to a set of generators. This reduces the commutative case of Arveson's hyperrigidity conjecture to the question of whether measures that are maximal with respect to the classical Choquet order are also maximal with respect to this new order. An example shows that these orders are not the same in general. △ Less

Submitted 29 April, 2021; v1 submitted 8 August, 2016; originally announced August 2016.

Comments: 32 pages; minor revision; Corollary 7.7 added. To appear in Advances Math

Dilations, inclusions of matrix convex sets, and completely positive maps

Authors: Kenneth R. Davidson, Adam Dor-On, Orr Shalit, Baruch Solel

Abstract: A matrix convex set is a set of the form $\mathcal{S} = \cup_{n\geq 1}\mathcal{S}_n$ (where each $\mathcal{S}_n$ is a set of $d$-tuples of $n \times n$ matrices) that is invariant under UCP maps from $M_n$ to $M_k$ and under formation of direct sums. We study the geometry of matrix convex sets and their relationship to completely positive maps and dilation theory. Key ingredients in our approach a… ▽ More A matrix convex set is a set of the form $\mathcal{S} = \cup_{n\geq 1}\mathcal{S}_n$ (where each $\mathcal{S}_n$ is a set of $d$-tuples of $n \times n$ matrices) that is invariant under UCP maps from $M_n$ to $M_k$ and under formation of direct sums. We study the geometry of matrix convex sets and their relationship to completely positive maps and dilation theory. Key ingredients in our approach are polar duality in the sense of Effros and Winkler, matrix ranges in the sense of Arveson, and concrete constructions of scaled commuting normal dilation for tuples of self-adjoint operators, in the sense of Helton, Klep, McCullough and Schweighofer. Given two matrix convex sets $\mathcal{S} = \cup_{n \geq 1} \mathcal{S}_n,$ and $\mathcal{T} = \cup_{n \geq 1} \mathcal{T}_n$, we find geometric conditions on $\mathcal{S}$ or on $\mathcal{T}$, such that $\mathcal{S}_1 \subseteq \mathcal{T}_1$ implies that $\mathcal{S} \subseteq C\mathcal{S}$ for some constant $C$. For instance, under various symmetry conditions on $\mathcal{S}$, we can show that $C$ above can be chosen to equal $d$, the number of variables, and in some cases this is sharp. We also find an essentially unique self-dual matrix convex set $\mathcal{D}$, the self-dual matrix ball, for which corresponding inclusion and dilation results hold with constant $C=\sqrt{d}$. Our results have immediate implications to spectrahedral inclusion problems studied recently by Helton, Klep, McCullough and Schweighofer. Our constants do not depend on the ranks of the pencils determining the free spectrahedra in question, but rather on the "number of variables" $d$. There are also implications to the problem of existence of (unital) completely positive maps with prescribed values on a set of operators. △ Less

Submitted 4 February, 2018; v1 submitted 29 January, 2016; originally announced January 2016.

Comments: Proposition 6.3, Corollary 6.4 and Theorem 6.5 in the previous version do not hold in the generality claimed. In this version we added "non-singularity" assumption (Definition 6.3) under which these results hold; in the new version they appear as Proposition 6.7, Corollary 6.8 and Theorem 6.9. 52 pages

MSC Class: 47A13; 47B32; 12Y05; 13P10

Ideals in a multiplier algebra on the ball

Authors: Raphaël Clouâtre, Kenneth R. Davidson

Abstract: We study the ideals of the closure of the polynomial multipliers on the Drury-Arveson space. Structural results are obtained by investigating the relation between an ideal and its weak-$*$ closure, much in the spirit of the corresponding classical facts for the disc algebra. Zero sets for multipliers are also considered and are deeply intertwined with the structure of ideals. Our approach is prima… ▽ More We study the ideals of the closure of the polynomial multipliers on the Drury-Arveson space. Structural results are obtained by investigating the relation between an ideal and its weak-$*$ closure, much in the spirit of the corresponding classical facts for the disc algebra. Zero sets for multipliers are also considered and are deeply intertwined with the structure of ideals. Our approach is primarily based on duality arguments. △ Less

Submitted 27 June, 2016; v1 submitted 9 November, 2015; originally announced November 2015.

Comments: 21 pages. Version 2. Accepted for publication in Transactions of the AMS

Absolute continuity for commuting row contractions

Authors: Raphaël Clouâtre, Kenneth R. Davidson

Abstract: Absolutely continuous commuting row contractions admit a weak-$*$ continuous functional calculus. Building on recent work describing the first and second dual spaces of the closure of the polynomial multipliers on the Drury-Arveson space, we give a complete characterization of these commuting row contractions in measure theoretic terms. We also establish that completely non-unitary row contraction… ▽ More Absolutely continuous commuting row contractions admit a weak-$*$ continuous functional calculus. Building on recent work describing the first and second dual spaces of the closure of the polynomial multipliers on the Drury-Arveson space, we give a complete characterization of these commuting row contractions in measure theoretic terms. We also establish that completely non-unitary row contractions are necessarily absolutely continuous, in direct parallel with the case of a single contraction. Finally, we consider refinements of this question for row contractions that are annihilated by a given ideal. △ Less

Submitted 9 May, 2016; v1 submitted 9 November, 2015; originally announced November 2015.

Comments: 20 pages. Small issues in the proof of Theorem 4.2 have been fixed. Final version. To appear in Journal of Functional Analysis

The unit ball of the predual of $H^\infty(\mathbb{B}_d)$ has no extreme points

Authors: Raphaël Clouâtre, Kenneth R. Davidson

Abstract: We identify the exposed points of the unit ball of the dual space of the ball algebra. As a corollary, we show that the predual of $H^\infty(\mathbb{B}_d)$ has no extreme points in its unit ball. We identify the exposed points of the unit ball of the dual space of the ball algebra. As a corollary, we show that the predual of $H^\infty(\mathbb{B}_d)$ has no extreme points in its unit ball. △ Less

Submitted 3 January, 2016; v1 submitted 4 April, 2015; originally announced April 2015.

Comments: 7 pages. Final version. To appear in Proceedings of the AMS

Duality, convexity and peak interpolation in the Drury-Arveson space

Authors: Raphaël Clouâtre, Kenneth R. Davidson

Abstract: We consider the closed algebra $\mathcal{A}_d$ generated by the polynomial multipliers on the Drury-Arveson space. We identify $\mathcal{A}_d^*$ as a direct sum of the preduals of the full multiplier algebra and of a commutative von Neumann algebra, and establish analogues of many classical results concerning the dual space of the ball algebra. These developments are deeply intertwined with the pr… ▽ More We consider the closed algebra $\mathcal{A}_d$ generated by the polynomial multipliers on the Drury-Arveson space. We identify $\mathcal{A}_d^*$ as a direct sum of the preduals of the full multiplier algebra and of a commutative von Neumann algebra, and establish analogues of many classical results concerning the dual space of the ball algebra. These developments are deeply intertwined with the problem of peak interpolation for multipliers, and we generalize a theorem of Bishop-Carleson-Rudin to this setting by means of Choquet type integral representations. As a byproduct we shed some light on the nature of the extreme points of the unit ball of $\mathcal{A}^*_d$. △ Less

Submitted 29 February, 2016; v1 submitted 2 April, 2015; originally announced April 2015.

Comments: 50 pages. Final version. Accepted for publication in Advances in Mathematics

Semicrossed Products of Operator Algebras: A Survey

Authors: Kenneth R. Davidson, Adam H. Fuller, Evgenios T. A. Kakariadis

Abstract: Semicrossed product algebras have been used to study dynamical systems since their introduction by Arveson in 1967. In this survey article, we discuss the history and some recent work, focussing on the conjugacy problem, dilation theory and C*-envelopes, and some connections back to the dynamics Semicrossed product algebras have been used to study dynamical systems since their introduction by Arveson in 1967. In this survey article, we discuss the history and some recent work, focussing on the conjugacy problem, dilation theory and C*-envelopes, and some connections back to the dynamics △ Less

Submitted 5 April, 2014; originally announced April 2014.

Comments: 29 pages

MSC Class: 47A20; 47L25; 47L65; 46L07

Journal ref: New York Journal of Mathematics 24a (2018), 56-86

Semicrossed Products of Operator Algebras by Semigroups

Authors: Kenneth R. Davidson, Adam H. Fuller, Evgenios T. A. Kakariadis

Abstract: We examine the semicrossed products of a semigroup action by $*$-endomorphisms on a C*-algebra, or more generally of an action on an arbitrary operator algebra by completely contractive endomorphisms. The choice of allowable representations affects the corresponding universal algebra. We seek quite general conditions which will allow us to show that the C*-envelope of the semicrossed product is (a… ▽ More We examine the semicrossed products of a semigroup action by $*$-endomorphisms on a C*-algebra, or more generally of an action on an arbitrary operator algebra by completely contractive endomorphisms. The choice of allowable representations affects the corresponding universal algebra. We seek quite general conditions which will allow us to show that the C*-envelope of the semicrossed product is (a full corner of) a crossed product of an auxiliary C*-algebra by a group action. Our analysis concerns a case-by-case dilation theory on covariant pairs. In the process we determine the C*-envelope for various semicrossed products of (possibly nonselfadjoint) operator algebras by spanning cones and lattice-ordered abelian semigroups. In particular, we show that the C*-envelope of the semicrossed product of C*-dynamical systems by doubly commuting representations of $\mathbb{Z}^n_+$ (by generally non-injective endomorphisms) is the full corner of a C*-crossed product. In consequence we connect the ideal structure of C*-covers to properties of the actions. In particular, when the system is classical, we show that the C*-envelope is simple if and only if the action is injective and minimal. The dilation methods that we use may be applied to non-abelian semigroups. We identify the C*-envelope for actions of the free semigroup $\mathbb{F}_+^n$ by automorphisms in a concrete way, and for injective systems in a more abstract manner. We also deal with C*-dynamical systems over Ore semigroups when the appropriate covariance relation is considered. △ Less

Submitted 11 January, 2016; v1 submitted 5 April, 2014; originally announced April 2014.

Comments: 100 pages; comments and references updated

MSC Class: 47A20; 47L25; 47L65; 46L07

Journal ref: Memoirs of the American Mathematical Society 247 (2017), no. 1168, (97 + v pages)

Multipliers of embedded discs

Authors: Kenneth R. Davidson, Michael Hartz, Orr Shalit

Abstract: We consider a number of examples of multiplier algebras on Hilbert spaces associated to discs embedded into a complex ball in order to examine the isomorphism problem for multiplier algebras on complete Nevanlinna-Pick reproducing kernel Hilbert spaces. In particular, we exhibit uncountably many discs in the ball of $\ell^2$ which are multiplier biholomorphic but have non-isomorphic multiplier alg… ▽ More We consider a number of examples of multiplier algebras on Hilbert spaces associated to discs embedded into a complex ball in order to examine the isomorphism problem for multiplier algebras on complete Nevanlinna-Pick reproducing kernel Hilbert spaces. In particular, we exhibit uncountably many discs in the ball of $\ell^2$ which are multiplier biholomorphic but have non-isomorphic multiplier algebras. We also show that there are closed discs in the ball of $\ell^2$ which are varieties, and examine their multiplier algebras. In finite balls, we provide a counterpoint to a result of Alpay, Putinar and Vinnikov by providing a proper rational biholomorphism of the disc onto a variety $V$ in $\mathbb B_2$ such that the multiplier algebra is not all of $H^\infty(V)$. We also show that the transversality property, which is one of their hypotheses, is a consequence of the smoothness that they require. △ Less

Submitted 18 June, 2014; v1 submitted 11 July, 2013; originally announced July 2013.

Comments: 34 pages; the earlier version relied on a result of Davidson and Pitts that the fibre of the maximal ideal space of the multiplier algebra over a point in the open ball consists only of point evaluation. This result fails for $d = \infty$, and has necessitated some changes; to appear in Complex Analysis and Operator Theory

MSC Class: 47L30; 47A13; 46E22

Journal ref: Complex Analysis and Operator Theory, Vol. 9 (2015), 287-321

The Choquet boundary of an operator system

Authors: Kenneth R. Davidson, Matthew Kennedy

Abstract: We show that every operator system (and hence every unital operator algebra) has sufficiently many boundary representations to generate the C*-envelope. We show that every operator system (and hence every unital operator algebra) has sufficiently many boundary representations to generate the C*-envelope. △ Less

Submitted 12 June, 2013; v1 submitted 13 March, 2013; originally announced March 2013.

Comments: 15 pages; simplified proof of key lemma, added new short proof of sufficiency of boundary representations

MSC Class: 46L07; 46L52; 47A20; 47L55

Journal ref: Duke Math. J. 164, no. 15 (2015), 2989-3004

The mathematical legacy of William Arveson

Authors: Kenneth R. Davidson

Abstract: This is a retrospective of some of William Arveson's many contributions to operator theory and operator algebras. This is a retrospective of some of William Arveson's many contributions to operator theory and operator algebras. △ Less

Submitted 27 September, 2012; originally announced September 2012.

MSC Class: 47A; 47D; 47L; 46L

Conjugate Dynamical Systems on C*-algebras

Authors: Kenneth R. Davidson, Evgenios T. A. Kakariadis

Abstract: Let $(A, α)$ and $(B, β)$ be C*-dynamical systems where $α$ and $β$ are arbitrary *-endomorphisms. When $α$ is injective or surjective, we show that the semicrossed products $A \times_α\mathbb{Z}$ and $B \times_β\mathbb{Z}$ are isometrically isomorphic if and only if $(A, α)$ and $(B, β)$ are outer conjugate. This conclusion also holds in various other cases as well. Let $(A, α)$ and $(B, β)$ be C*-dynamical systems where $α$ and $β$ are arbitrary *-endomorphisms. When $α$ is injective or surjective, we show that the semicrossed products $A \times_α\mathbb{Z}$ and $B \times_β\mathbb{Z}$ are isometrically isomorphic if and only if $(A, α)$ and $(B, β)$ are outer conjugate. This conclusion also holds in various other cases as well. △ Less

Submitted 14 May, 2012; originally announced May 2012.

Comments: 19 pages

MSC Class: 47L65; 46L40 (Primary)

Journal ref: International Mathematics Research Notices 2014 (2014), no. 5, 1289-1311

A 3x3 dilation counterexample

Authors: Man Duen Choi, Kenneth R. Davidson

Abstract: We define four 3x3 commuting contractions which do not dilate to commuting isometries. However they do satisfy the scalar von Neumann inequality. These matrices are all nilpotent of order 2. We also show that any three $3\times3$ commuting contractions which are scalar plus nilpotent of order 2 do dilate to commuting isometries. We define four 3x3 commuting contractions which do not dilate to commuting isometries. However they do satisfy the scalar von Neumann inequality. These matrices are all nilpotent of order 2. We also show that any three $3\times3$ commuting contractions which are scalar plus nilpotent of order 2 do dilate to commuting isometries. △ Less

Submitted 29 February, 2012; originally announced March 2012.

Comments: 11 pages

MSC Class: 47A20; 47A30; 15A60

Operator algebras for analytic varieties

Authors: Kenneth R. Davidson, Christopher Ramsey, Orr Shalit

Abstract: We study the isomorphism problem for the multiplier algebras of irreducible complete Pick kernels. These are precisely the restrictions $\mathcal M_V$ of the multiplier algebra $\mathcal M$ of Drury-Arveson space to a holomorphic subvariety $V$ of the unit ball $\mathbb{B}_d$. We find that $\mathcal M_V$ is completely isometrically isomorphic to $\mathcal M_W$ if and only if $W$ is the image of… ▽ More We study the isomorphism problem for the multiplier algebras of irreducible complete Pick kernels. These are precisely the restrictions $\mathcal M_V$ of the multiplier algebra $\mathcal M$ of Drury-Arveson space to a holomorphic subvariety $V$ of the unit ball $\mathbb{B}_d$. We find that $\mathcal M_V$ is completely isometrically isomorphic to $\mathcal M_W$ if and only if $W$ is the image of $V$ under a biholomorphic automorphism of the ball. In this case, the isomorphism is unitarily implemented. This is then strengthend to show that, when $d<\infty$, every isometric isomorphism is completely isometric. The problem of characterizing when two such algebras are (algebraically) isomorphic is also studied. When $V$ and $W$ are each a finite union of irreducible varieties and a discrete variety in $\mathbb{B}_d$ with $d<\infty$, then an isomorphism between $\mathcal M_V$ and $\mathcal M_W$ determines a biholomorphism (with multiplier coordinates) between the varieties; and the isomorphism is composition with this function. These maps are automatically weak-$*$ continuous. We present a number of examples showing that the converse fails in several ways. We discuss several special cases in which the converse does hold---particularly, smooth curves and Blaschke sequences. We also discuss the norm closed algebras associated to a variety, and point out some of the differences. △ Less

Submitted 23 July, 2014; v1 submitted 19 January, 2012; originally announced January 2012.

Comments: 39 pages. It has come to light that a result of Davidson and Pitts, that the fibre of the maximal ideal space of the multiplier algebra over a point in the open ball consists only of point evaluation, is not true for $d = \infty$. Version 5 addresses this with some minor changes to the $d=\infty$ case. To appear in Trans. Amer. Math. Soc

Journal ref: Trans. Amer. Math. Soc., Vol. 367, No. 2 (2015), 1121-1150

Dilation theory, commutant lifting and semicrossed products

Authors: Kenneth R. Davidson, Elias G. Katsoulis

Abstract: We take a new look at dilation theory for nonself-adjoint operator algebras. Among the extremal (co)extensions of a representation, there is a special property of being fully extremal. This allows a refinement of some of the classical notions which are important when one moves away from standard examples. We show that many algebras including graph algebras and tensor algebras of C*-correspondences… ▽ More We take a new look at dilation theory for nonself-adjoint operator algebras. Among the extremal (co)extensions of a representation, there is a special property of being fully extremal. This allows a refinement of some of the classical notions which are important when one moves away from standard examples. We show that many algebras including graph algebras and tensor algebras of C*-correspondences have the semi-Dirichlet property which collapses these notions and explains why they have a better dilation theory. This leads to variations of the notions of commutant lifting and Ando's theorem. This is applied to the study of semicrossed products by automorphisms, and endomorphisms which lift to the C*-envelope. In particular, we obtain several general theorems which allow one to conclude that semicrossed products of an operator algebra naturally imbed completely isometrically into the semicrossed product of its C*-envelope, and the C*-envelopes of these two algebras are the same. △ Less

Submitted 1 September, 2011; originally announced September 2011.

MSC Class: 47L55

Semicrossed products of the disc algebra

Authors: Kenneth R. Davidson, Elias G. Katsoulis

Abstract: If $α$ is the endomorphism of the disk algebra, $\AD$, induced by composition with a finite Blaschke product $b$, then the semicrossed product $\AD\times_α \bZ^+$ imbeds canonically, completely isometrically into $\rC(\bT)\times_α \bZ^+$. Hence in the case of a non-constant Blaschke product $b$, the C*-envelope has the form $ \rC(§_{b})\times_{s} \bZ$, where $(§_{b}, s)$ is the solenoid system for… ▽ More If $α$ is the endomorphism of the disk algebra, $\AD$, induced by composition with a finite Blaschke product $b$, then the semicrossed product $\AD\times_α \bZ^+$ imbeds canonically, completely isometrically into $\rC(\bT)\times_α \bZ^+$. Hence in the case of a non-constant Blaschke product $b$, the C*-envelope has the form $ \rC(§_{b})\times_{s} \bZ$, where $(§_{b}, s)$ is the solenoid system for $(\bT, b)$. In the case where $b$ is a constant, then the C*-envelope of $\AD\times_α \bZ^+$ is strongly Morita equivalent to a crossed product of the form $ \rC(§_{e})\times_{s} \bZ$, where $e \colon \bT \times \bN \longrightarrow \bT \times \bN$ is a suitable map and $(§_{e}, s)$ is the solenoid system for $(\bT \times \bN, \, e)$ . △ Less

Submitted 7 April, 2011; originally announced April 2011.

Comments: 7 pages

The isomorphism problem for some universal operator algebras

Authors: Kenneth R. Davidson, Christopher Ramsey, Orr Shalit

Abstract: This paper addresses the isomorphism problem for the universal (nonself-adjoint) operator algebras generated by a row contraction subject to homogeneous polynomial relations. We find that two such algebras are isometrically isomorphic if and only if the defining polynomial relations are the same up to a unitary change of variables, and that this happens if and only if the associated subproduct sys… ▽ More This paper addresses the isomorphism problem for the universal (nonself-adjoint) operator algebras generated by a row contraction subject to homogeneous polynomial relations. We find that two such algebras are isometrically isomorphic if and only if the defining polynomial relations are the same up to a unitary change of variables, and that this happens if and only if the associated subproduct systems are isomorphic. The proof makes use of the complex analytic structure of the character space, together with some recent results on subproduct systems. Restricting attention to commutative operator algebras defined by radical relations yields strong resemblances with classical algebraic geometry. These commutative operator algebras turn out to be algebras of analytic functions on algebraic varieties. We prove a projective Nullstellensatz connecting closed ideals and their zero sets. Under some technical assumptions, we find that two such algebras are isomorphic as algebras if and only if they are similar, and we obtain a clear geometrical picture of when this happens. This result is obtained with tools from algebraic geometry, reproducing kernel Hilbert spaces, and some new complex-geometric rigidity results of independent interest. The C*-envelopes of these algebras are also determined. The Banach-algebraic and the algebraic classification results are shown to hold for the weak-operator closures of these algebras as well. △ Less

Submitted 24 May, 2011; v1 submitted 4 October, 2010; originally announced October 2010.

Comments: 46 pages. Final version, to appear in Advances in Mathematics

MSC Class: 47L30 (Primary) 47A13 (Secondary)

Journal ref: Advances in Mathematics 228 (2011) 167-218

Nevanlinna-Pick Interpolation and Factorization of Linear Functionals

Authors: Kenneth R. Davidson, Ryan Hamilton

Abstract: If $\fA$ is a unital weak-$*$ closed algebra of multiplication operators on a reproducing kernel Hilbert space which has the property $\bA_1(1)$, then the cyclic invariant subspaces index a Nevanlinna-Pick family of kernels. This yields an NP interpolation theorem for a wide class of algebras. In particular, it applies to many function spaces over the unit disk including Bergman space. We also sho… ▽ More If $\fA$ is a unital weak-$*$ closed algebra of multiplication operators on a reproducing kernel Hilbert space which has the property $\bA_1(1)$, then the cyclic invariant subspaces index a Nevanlinna-Pick family of kernels. This yields an NP interpolation theorem for a wide class of algebras. In particular, it applies to many function spaces over the unit disk including Bergman space. We also show that the multiplier algebra of a complete NP space has $\bA_1(1)$, and thus this result applies to all of its subalgebras. A matrix version of this result is also established. It applies, in particular, to all unital weak-$*$ closed subalgebras of $H^\infty$ acting on Hardy space or on Bergman space. △ Less

Submitted 6 January, 2011; v1 submitted 5 August, 2010; originally announced August 2010.

Comments: 26 pages; minor revisions; to appear in Integral Equations and Operator Theory

Isomorphisms of tensor algebras of topological graphs

Authors: Kenneth R. Davidson, Jean Roydor

Abstract: We show that if two tensor algebras of topological graphs are algebraically isomorphic, then the graphs are locally conjugate. Conversely, if the base space is at most one dimensional and the edge space is compact, then locally conjugate topological graphs yield completely isometrically isomorphic tensor algebras. We show that if two tensor algebras of topological graphs are algebraically isomorphic, then the graphs are locally conjugate. Conversely, if the base space is at most one dimensional and the edge space is compact, then locally conjugate topological graphs yield completely isometrically isomorphic tensor algebras. △ Less

Submitted 5 April, 2010; originally announced April 2010.

Comments: Submitted to Indiana University Mathematics Journal.

Commutant Lifting for Commuting Row Contractions

Authors: Kenneth R. Davidson, Trieu Le

Abstract: If $T= \big[ T_1 ... T_n\big]$ is a row contraction with commuting entries, and the Arveson dilation is $\tilde T= \big[ \tilde T_1 ... \tilde T_n\big]$, then any operator $X$ commuting with each $T_i$ dilates to an operator $Z$ of the same norm which commutes with each $\tilde T_i$. If $T= \big[ T_1 ... T_n\big]$ is a row contraction with commuting entries, and the Arveson dilation is $\tilde T= \big[ \tilde T_1 ... \tilde T_n\big]$, then any operator $X$ commuting with each $T_i$ dilates to an operator $Z$ of the same norm which commutes with each $\tilde T_i$. △ Less

Submitted 15 September, 2009; v1 submitted 24 June, 2009; originally announced June 2009.

Comments: one section and references were added

MSC Class: 47A20

Dilating covariant representations of the non-commutative disc algebras

Authors: K. R. Davidson, E. G. Katsoulis

Abstract: Let $φ$ be an isometric automorphism of the non-commutative disc algebra $\fA_n$ for $n \geq 2$. We show that every contractive covariant representation of $(\fA_n, φ)$ dilates to a unitary covariant representation of $(Ø_n, φ)$. Hence the C*-envelope of the semicrossed product $\fA_n \times_φ \bZ^+$ is $Ø_n \times_φ \bZ$. Let $φ$ be an isometric automorphism of the non-commutative disc algebra $\fA_n$ for $n \geq 2$. We show that every contractive covariant representation of $(\fA_n, φ)$ dilates to a unitary covariant representation of $(Ø_n, φ)$. Hence the C*-envelope of the semicrossed product $\fA_n \times_φ \bZ^+$ is $Ø_n \times_φ \bZ$. △ Less

Submitted 18 April, 2009; originally announced April 2009.

Comments: 18 pages

Biholomorphisms of the unit ball of C^n and semicrossed products

Authors: K. R. Davidson, E. G. Katsoulis

Abstract: Assume that $φ_1$ and $φ_2$ are automorphisms of the non-commutative disc algebra $\fA_n$, $n \geq 2$. We show that the semicrossed products $\fA_n \times_{φ_1} \bZ^+$ and $\fA_n \times_{φ_2} \bZ^+$ are isomorphic as algebras if and only if $φ_1$ and $φ_2$ are conjugate via an automorphism of $\fA_n$. A similar result holds for semicrossed products of the d-shift algebra $\A_d$, $d \geq 2$. Assume that $φ_1$ and $φ_2$ are automorphisms of the non-commutative disc algebra $\fA_n$, $n \geq 2$. We show that the semicrossed products $\fA_n \times_{φ_1} \bZ^+$ and $\fA_n \times_{φ_2} \bZ^+$ are isomorphic as algebras if and only if $φ_1$ and $φ_2$ are conjugate via an automorphism of $\fA_n$. A similar result holds for semicrossed products of the d-shift algebra $\A_d$, $d \geq 2$. △ Less

Submitted 18 April, 2009; originally announced April 2009.

Comments: 14 pages

Nonself-adjoint operator algebras for dynamical systems

Authors: K. R. Davidson, E. G. Katsoulis

Abstract: This paper is a survey of our recent work on operator algebras associated to dynamical systems that lead to classification results for the systems in terms of algebraic invariants of the operator algebras. This paper is a survey of our recent work on operator algebras associated to dynamical systems that lead to classification results for the systems in terms of algebraic invariants of the operator algebras. △ Less

Submitted 18 April, 2009; originally announced April 2009.

Comments: 16 pages. The paper has been accepted for publication in the proceedings of the workshop "Operator Structures and Dynamical Systems", Leiden, July 2008

Operator Algebras with Unique Preduals

Authors: Kenneth R. Davidson, Alex Wright

Abstract: We show that every free semigroup algebras has a (strongly) unique Banach space predual. We also provide a new simpler proof that a weak*-closed unital operator operator algebra containing a weak* dense subalgebra of compact operators has a unique Banach space predual. We show that every free semigroup algebras has a (strongly) unique Banach space predual. We also provide a new simpler proof that a weak*-closed unital operator operator algebra containing a weak* dense subalgebra of compact operators has a unique Banach space predual. △ Less

Submitted 16 December, 2008; originally announced December 2008.

Comments: 13 pages

MSC Class: 47L50; 46B04; 47L35

Journal ref: Can. Math. Bull. 54 (2011) 411-421

C*-envelopes of tensor algebras for multivariable dynamics

Authors: K. R. Davidson, J. Roydor

Abstract: We give a new very concrete description of the C*-envelope of the tensor algebra associated to multivariable dynamical system. In the surjective case, this C*-envelope is described as a crossed product by an endomorphism, and as a groupoid C*-algebra. In the non-surjective case, it is a full corner of a such an algebra. We also show that when the space is compact, then the C*-envelope is simple… ▽ More We give a new very concrete description of the C*-envelope of the tensor algebra associated to multivariable dynamical system. In the surjective case, this C*-envelope is described as a crossed product by an endomorphism, and as a groupoid C*-algebra. In the non-surjective case, it is a full corner of a such an algebra. We also show that when the space is compact, then the C*-envelope is simple if and only if the system is minimal. △ Less

Submitted 29 November, 2008; originally announced December 2008.

Comments: 21 pages, submitted to Proceedings of the Edinburgh Mathematical Society

MSC Class: 47L55; 47L40; 46L05; 37B20; 37B99

Representations of Higher Rank Graph Algebras

Authors: Kenneth R. Davidson, Dilian Yang

Abstract: Let $\Fth$ be a $\Bk$-graph on a single vertex. We show that every irreducible atomic $*$-representation is the minimal $*$-dilation of a group construction representation. It follows that every atomic representation decomposes as a direct sum or integral of such representations. We characterize periodicity of $\Fth$ and identify a symmetry subgroup $H_θ$ of $\bZ^\Bk$. If this has rank $s$, then… ▽ More Let $\Fth$ be a $\Bk$-graph on a single vertex. We show that every irreducible atomic $*$-representation is the minimal $*$-dilation of a group construction representation. It follows that every atomic representation decomposes as a direct sum or integral of such representations. We characterize periodicity of $\Fth$ and identify a symmetry subgroup $H_θ$ of $\bZ^\Bk$. If this has rank $s$, then $\ca(\Fth) \cong \rC(\bT^s) \otimes \fA$ for some simple C*-algebra $\fA$. △ Less

Submitted 23 April, 2008; originally announced April 2008.

Comments: 30 pages

MSC Class: 47L55; 47L30; 47L75; 46L05

Topological Stable Rank of Nest Algebras

Authors: Kenneth R. Davidson, You Qing Ji

Abstract: We establish a general result about extending a right invertible row over a Banach algebra to an invertible matrix. This is applied to the computation of right topological stable rank of a split exact sequence. We also introduce a quantitative measure of stable rank. These results are applied to compute the right (left) topological stable rank for all nest algebras. This value is either 2 or inf… ▽ More We establish a general result about extending a right invertible row over a Banach algebra to an invertible matrix. This is applied to the computation of right topological stable rank of a split exact sequence. We also introduce a quantitative measure of stable rank. These results are applied to compute the right (left) topological stable rank for all nest algebras. This value is either 2 or infinity, and rtsr(T(N)) = 2 occurs only when N is of ordinal type less than omega^2 and the dimensions of the atoms grows sufficiently quickly. We introduce general results on `partial matrix algebras' over a Banach algebra. This is used to obtain an inequality akin to Rieffel's formula for matrix algebras over a Banach algebra. This is used to give further insight into the nest case. △ Less

Submitted 8 April, 2008; originally announced April 2008.

MSC Class: 47A35; 47L75; 19B10

Semicrossed products of simple C*-algebras

Authors: Kenneth R. Davidson, Elias G. Katsoulis

Abstract: Let $(\A, α)$ and $(\B, β)$ be C*-dynamical systems and assume that $\A$ is a separable simple C*-algebra and that $α$ and $β$ are *-automorphisms. Then the semicrossed products $\A \times_α \bbZ^{+}$ and $\B \times_β \bbZ^{+}$ are isometrically isomorphic if and only if the dynamical systems $(\A, α)$ and $(\B, β)$ are outer conjugate. Let $(\A, α)$ and $(\B, β)$ be C*-dynamical systems and assume that $\A$ is a separable simple C*-algebra and that $α$ and $β$ are *-automorphisms. Then the semicrossed products $\A \times_α \bbZ^{+}$ and $\B \times_β \bbZ^{+}$ are isometrically isomorphic if and only if the dynamical systems $(\A, α)$ and $(\B, β)$ are outer conjugate. △ Less

Submitted 21 March, 2008; v1 submitted 29 November, 2007; originally announced November 2007.

Comments: 12 pages, accepted for publication in Math. Ann

MSC Class: 47L65; 46L40

Journal ref: Math. Ann. 342 (2008), 515-525

A Constrained Nevanlinna-Pick Interpolation Problem

Authors: Kenneth R. Davidson, Vern I. Paulsen, Mrinal Raghupathi, Dinesh Singh

Abstract: We obtain necessary and sufficient conditions for Nevanlinna-Pick interpolation on the unit disk with the additional restriction that all analytic interpolating functions satisfy $f'(0)=0.$ Alternatively, these results can be interpreted as interpolation results for $H^{\infty}(V),$ where $V$ is the intersection of the bidisk with an algebraic variety. We use an analysis of C*-envelopes to show… ▽ More We obtain necessary and sufficient conditions for Nevanlinna-Pick interpolation on the unit disk with the additional restriction that all analytic interpolating functions satisfy $f'(0)=0.$ Alternatively, these results can be interpreted as interpolation results for $H^{\infty}(V),$ where $V$ is the intersection of the bidisk with an algebraic variety. We use an analysis of C*-envelopes to show that these same conditions do not suffice for matrix interpolation. △ Less

Submitted 13 November, 2007; originally announced November 2007.

MSC Class: 47A57

Transitive spaces of operators

Authors: K. R. Davidson, L. W. Marcoux, H. Radjavi

Abstract: We investigate algebraic and topological transitivity and, more generally, k-transitivity for linear spaces of operators. In finite dimensions, we determine minimal dimensions of k-transitive spaces for every k, and find relations between the degree of transitivity of a product or tensor product on the one hand and those of the factors on the other. We present counterexamples to some natural con… ▽ More We investigate algebraic and topological transitivity and, more generally, k-transitivity for linear spaces of operators. In finite dimensions, we determine minimal dimensions of k-transitive spaces for every k, and find relations between the degree of transitivity of a product or tensor product on the one hand and those of the factors on the other. We present counterexamples to some natural conjectures. Some infinite dimensional analogues are discussed. A simple proof is given of Arveson's result on the weak-operator density of transitive spaces that are masa bimodules. △ Less

Submitted 16 June, 2007; originally announced June 2007.

Comments: 23 pages

MSC Class: 15A04; 47A15; 47A16; 47L05

On the topological stable rank of non-selfadjoint operator algebras

Authors: K. R. Davidson, R. Levene, L. W. Marcoux, H. Radjavi

Abstract: We provide a negative solution to a question of M. Rieffel who asked if the right and left topological stable ranks of a Banach algebra must always agree. Our example is found amongst a class of nest algebras. We show that for many other nest algebras, both the left and right topological stable ranks are infinite. We extend this latter result to Popescu's non-commutative disc algebras and to fre… ▽ More We provide a negative solution to a question of M. Rieffel who asked if the right and left topological stable ranks of a Banach algebra must always agree. Our example is found amongst a class of nest algebras. We show that for many other nest algebras, both the left and right topological stable ranks are infinite. We extend this latter result to Popescu's non-commutative disc algebras and to free semigroup algebras as well. △ Less

Submitted 16 June, 2007; originally announced June 2007.

Comments: 14 pages

MSC Class: 47A35; 47L75; 19B10

Periodicity in Rank 2 Graph Algebras

Authors: Kenneth R. Davidson, Dilian Yang

Abstract: Kumjian and Pask introduced an aperiodicity condition for higher rank graphs. We present a detailed analysis of when this occurs in certain rank 2 graphs. When the algebra is aperiodic, we give another proof of the simplicity of $\ca(\Fth)$. The periodic C*-algebras are characterized, and it is shown that $\ca(\Fth) \simeq \rC(\bT) \otimes \fA$ where $\fA$ is a simple C*-algebra. Kumjian and Pask introduced an aperiodicity condition for higher rank graphs. We present a detailed analysis of when this occurs in certain rank 2 graphs. When the algebra is aperiodic, we give another proof of the simplicity of $\ca(\Fth)$. The periodic C*-algebras are characterized, and it is shown that $\ca(\Fth) \simeq \rC(\bT) \otimes \fA$ where $\fA$ is a simple C*-algebra. △ Less

Submitted 30 May, 2007; originally announced May 2007.

Comments: 27 pages

MSC Class: 47L55

Journal ref: Can. J. Math.-J. Can. Math. 61 (2009) 1239-1261

Atomic Representations of Rank 2 Graph Algebras

Authors: Kenneth R. Davidson, Stephen C. Power, Dilian Yang

Abstract: We provide a detailed analysis of atomic *-representations of rank 2 graphs on a single vertex. They are completely classified up to unitary equivalence, and decomposed into a direct sum or direct integral of irreducible atomic representations. The building blocks are described as the minimal *-dilations of defect free representations modelled on finite groups of rank 2. We provide a detailed analysis of atomic *-representations of rank 2 graphs on a single vertex. They are completely classified up to unitary equivalence, and decomposed into a direct sum or direct integral of irreducible atomic representations. The building blocks are described as the minimal *-dilations of defect free representations modelled on finite groups of rank 2. △ Less

Submitted 21 November, 2008; v1 submitted 30 May, 2007; originally announced May 2007.

Comments: 42 pages, 5 figures

MSC Class: 47L55

Journal ref: J. Funct. Anal. 255 (2008), 819--853

Dilation Theory for Rank 2 Graph Algebras

Authors: Kenneth R. Davidson, Stephen C. Power, Dilian Yang

Abstract: An analysis is given of $*$-representations of rank 2 single vertex graphs. We develop dilation theory for the non-selfadjoint algebras $\A_θ$ and $\A_u$ which are associated with the commutation relation permutation $θ$ of a 2 graph and, more generally, with commutation relations determined by a unitary matrix $u$ in $M_m(\bC) \otimes M_n(\bC)$. We show that a defect free row contractive repres… ▽ More An analysis is given of $*$-representations of rank 2 single vertex graphs. We develop dilation theory for the non-selfadjoint algebras $\A_θ$ and $\A_u$ which are associated with the commutation relation permutation $θ$ of a 2 graph and, more generally, with commutation relations determined by a unitary matrix $u$ in $M_m(\bC) \otimes M_n(\bC)$. We show that a defect free row contractive representation has a unique minimal dilation to a $*$-representation and we provide a new simpler proof of Solel's row isometric dilation of two $u$-commuting row contractions. Furthermore it is shown that the C*-envelope of $\A_u$ is the generalised Cuntz algebra $Ø_{X_u}$ for the product system $X_u$ of $u$; that for $m\geq 2 $ and $n \geq 2 $ contractive representations of $\Ath$ need not be completely contractive; and that the universal tensor algebra $\T_+(X_u)$ need not be isometrically isomorphic to $\A_u$. △ Less

Submitted 30 May, 2007; originally announced May 2007.

Comments: 29 pages, 5 figures

MSC Class: 47L55

Operator algebras for multivariable dynamics

Authors: Kenneth R. Davidson, Elias G. Katsoulis

Abstract: Let $X$ be a locally compact Hausdorff space with $n$ proper continuous self maps $τ_i:X \to X$ for $1 \le i \le n$. To this we associate two topological conjugacy algebras which emerge as the natural candidates for the universal algebra of the system, the tensor algebra $\A(X, τ)$ and the semicrossed product $\rC_0(X)\times_τ\Fn$. We introduce a concept of conjugacy for multidimensional syste… ▽ More Let $X$ be a locally compact Hausdorff space with $n$ proper continuous self maps $τ_i:X \to X$ for $1 \le i \le n$. To this we associate two topological conjugacy algebras which emerge as the natural candidates for the universal algebra of the system, the tensor algebra $\A(X, τ)$ and the semicrossed product $\rC_0(X)\times_τ\Fn$. We introduce a concept of conjugacy for multidimensional systems, which we coin piecewise conjugacy. We prove that the piecewise conjugacy class of the system can be recovered from either the algebraic structure of $\A(X, τ)$ or $\rC_0(X)\times_τ\Fn$. Various classification results follow as a consequence. For example, for $n=2,3$, the tensor algebras are (algebraically or even completely isometrically) isomorphic if and only if the systems are piecewise topologically conjugate. In order to establish these results we make use of analytic varieties as well as homotopy theory for Lie groups We define a generalized notion of wandering sets and recurrence. Using this, it is shown that $\A(X, τ)$ or $\rC_0(X)\times_τ\Fn$ is semisimple if and only if there are no generalized wandering sets. In the metrizable case, this is equivalent to each $τ_i$ being surjective and $v$-recurrent points being dense for each $v \in \Fn$. △ Less

Submitted 21 September, 2007; v1 submitted 18 January, 2007; originally announced January 2007.

Comments: In this version we explicitly exhibit enough (irreducible) boundary repns to faithfully represent the C*-envelope of the tensor algebra of the system. We also show that piecewise conjugacy is not a complete invariant for complete isomorphisms between semicrossed products. The paper has been reorganized

MSC Class: 47L55; 47L40; 46L05; 37B20; 37B99

Isomorphisms between topological conjugacy algebras

Authors: Kenneth R. Davidson, Elias G. Katsoulis

Abstract: A family of algebras, which we call topological conjugacy algebras, is associated with each proper continuous map on a locally compact Hausdorff space. Assume that $η_i:\X_i\to \X_i$ is a continuous proper map on a locally compact Hausdorff space $\X_i$, for $i = 1,2$. We show that the dynamical systems $(\X_1, η_1)$ and $(\X_2, η_2)$ are conjugate if and only if some topological conjugacy algeb… ▽ More A family of algebras, which we call topological conjugacy algebras, is associated with each proper continuous map on a locally compact Hausdorff space. Assume that $η_i:\X_i\to \X_i$ is a continuous proper map on a locally compact Hausdorff space $\X_i$, for $i = 1,2$. We show that the dynamical systems $(\X_1, η_1)$ and $(\X_2, η_2)$ are conjugate if and only if some topological conjugacy algebra of $(\X_1, η_1)$ is isomorphic as an algebra to some topological conjugacy algebra of $(\X_2, η_2)$. This implies as a corollary the complete classification of the semicrossed products $C_0(\X) \times_η \bbZ^{+}$, which was previously considered by Arveson and Josephson, Peters, Hadwin and Hoover and Power. We also obtain a complete classification of all semicrossed products of the form $A(\bbD) \times_η\bbZ^{+}$, where $A(\bbD)$ denotes the disc algebra and $η: \bbD \to \bbD$ a continuous map which is analytic on the interior. In this case, a surprising dichotomy appears in the classification scheme, which depends on the fixed point set of $η$. We also classify more general semicrossed products of uniform algebras. △ Less

Submitted 21 March, 2008; v1 submitted 8 February, 2006; originally announced February 2006.

Comments: 25 pages. Accepted for publication in Crelle's Journal

MSC Class: 47L80

Journal ref: J. reine angew. Math 621 (2008), 29-51

1-Hyperreflexivity and Complete Hyperreflexivity

Authors: Kenneth R. Davidson, Rupert H. Levene

Abstract: The subspaces and subalgebras of B(H) which are hyperreflexive with constant 1 are completely classified. It is shown that there are 1-hyperreflexive subspaces for which the complete hyperreflexivity constant is strictly greater than 1. The constants for $\bC T \otimes B(H)$ are analyzed in detail. The subspaces and subalgebras of B(H) which are hyperreflexive with constant 1 are completely classified. It is shown that there are 1-hyperreflexive subspaces for which the complete hyperreflexivity constant is strictly greater than 1. The constants for $\bC T \otimes B(H)$ are analyzed in detail. △ Less

Submitted 8 September, 2005; originally announced September 2005.

Comments: 41 pages

MSC Class: 47L05

Norms of Schur Multipliers

Authors: Kenneth R. Davidson, Allan P. Donsig

Abstract: A subset P of N x N is called Schur bounded if every infinite matrix with bounded entries which is zero off of P yields a bounded Schur multiplier on B(H). Such sets are characterized as being the union of a subset with at most k entries in each row with another that has at most k entries in each column, for some finite k. If k is optimal, there is a Schur multiplier supported on the pattern wit… ▽ More A subset P of N x N is called Schur bounded if every infinite matrix with bounded entries which is zero off of P yields a bounded Schur multiplier on B(H). Such sets are characterized as being the union of a subset with at most k entries in each row with another that has at most k entries in each column, for some finite k. If k is optimal, there is a Schur multiplier supported on the pattern with norm O(k^(1/2)), which is sharp up to a constant. The same techniques give a new, more elementary proof of results of Varopoulos and Pisier on Schur multipliers with given matrix entries of random sign. We consider the Schur multipliers for certain matrices which have a large symmetry group. In these examples, we are able to compute the Schur multiplier norm exactly. This is carried out in detail for a few examples including the Kneser graphs. △ Less

Submitted 3 June, 2005; originally announced June 2005.

Comments: 23 pages

MSC Class: Primary 47L80; Secondary 15A60; 47A30

Isometric dilations of non-commuting finite rank $n$-tuples

Authors: Kenneth R. Davidson, David W. Kribs, Miron E. Shpigel

Abstract: A contractive $n$-tuple $A=(A_1,...,A_n)$ has a minimal joint isometric dilation $S=(S_1,...,S_n)$ where the $S_i$'s are isometries with pairwise orthogonal ranges. This determines a representation of the Cuntz-Toeplitz algebra. When $A$ acts on a finite dimensional space, the \wot-closed nonself-adjoint algebra $\mathfrak{S}$ generated by $S$ is completely described in terms of the properties o… ▽ More A contractive $n$-tuple $A=(A_1,...,A_n)$ has a minimal joint isometric dilation $S=(S_1,...,S_n)$ where the $S_i$'s are isometries with pairwise orthogonal ranges. This determines a representation of the Cuntz-Toeplitz algebra. When $A$ acts on a finite dimensional space, the \wot-closed nonself-adjoint algebra $\mathfrak{S}$ generated by $S$ is completely described in terms of the properties of $A$. This provides complete unitary invariants for the corresponding representations. In addition, we show that the algebra $\mathfrak{S}$ is always hyper-reflexive. In the last section, we describe similarity invariants. In particular, an $n$-tuple $B$ of $d\times d$ matrices is similar to an irreducible $n$-tuple $A$ if and only if a certain finite set of polynomials vanish on $B$. △ Less

Submitted 23 November, 2004; originally announced November 2004.

Comments: 46 pages, preprint version

Journal ref: Can. J. Math. 53 (2001), 506-545