arXiv subjects

I. G. Todorov

Publications and source records attributed to I. G. Todorov.

At least 19 recordsLinked to original sources

arXiv2019

Completely bounded maps and invariant subspaces

We provide a description of certain invariance properties of completely bounded bimodule maps in terms of their symbols. If $\mathbb{G}$ is a locally compact quantum group, we characterise the completely bounded $L^{\infty}(\mathbb{G})'$-bimodule maps that send $C_0(\hat{\mathbb{G}})$ into $L^{\infty}(\hat{\mathbb{G}})$ in terms of the properties of the corresponding elements of the normal Haagerup tensor product $L^{\infty}(\mathbb{G}) \otimes_{σ{\rm h}} L^{\infty}(\mathbb{G})$. As a consequence, we obtain an intrinsic characterisation of the normal completely bounded $L^{\infty}(\mathbb{G})'$-bimodule maps that leave $L^{\infty}(\hat{\mathbb{G}})$ invariant, extending and unifying results, formulated in the current literature separately for the commutative and the co-commutative cases.

math.OA↗

arXiv2019

Reduced spectral synthesis and compact operator synthesis

We introduce and study the notion of reduced spectral synthesis, which unifies the concepts of spectral synthesis and uniqueness in locally compact groups. We exhibit a number of examples and prove that every non-discrete locally compact group with an open abelian subgroup has a subset that fails reduced spectral synthesis. We introduce compact operator synthesis as an operator algebraic counterpart of this notion and link it with other exceptional sets in operator algebra theory, studied previously. We show that a closed subset $E$ of a second countable locally compact group $G$ satisfies reduced local spectral synthesis if and only if the subset $E^* = \{(s,t) : ts^{-1}\in E\}$ of $G\times G$ satisfies compact operator synthesis. We apply our results to questions about the equivalence of linear operator equations with normal commuting coefficients on Schatten $p$-classes.

math.FA↗

arXiv2019

Norms of vector functionals

We examine the question of when, and how, the norm of a vector functional on an operator algebra can be controlled by the invariant subspace lattice of the algebra. We introduce a related operator algebraic property, and show that it is satisfied by all von Neumann algebras and by all CSL algebras. We exhibit examples of operator algebras that do not satisfy the property or any scaled version of it.

math.OA↗

arXiv2018

Perfect strategies for non-signalling games

We unify and consolidate various results about non-signall-ing games, a subclass of non-local two-player one-round games, by introducing and studying several new families of games and establishing general theorems about them, which extend a number of known facts in a variety of special cases. Among these families are {\it reflexive games,} which are characterised as the hardest non-signalling games that can be won using a given set of strategies. We introduce {\it imitation games,} in which the players display linked behaviour, and which contains as subclasses the classes of variable assignment games, binary constraint system games, synchronous games, many games based on graphs, and {\it unique} games. We associate a C*-algebra $C^*(\mathcal{G})$ to any imitation game $\mathcal{G}$, and show that the existence of perfect quantum commuting (resp.\ quantum, local) strategies of $\mathcal{G}$ can be characterised in terms of properties of this C*-algebra, extending known results about synchronous games. We single out a subclass of imitation games, which we call {\it mirror games,} and provide a characterisation of their quantum commuting strategies that has an algebraic flavour, showing in addition that their approximately quantum perfect strategies arise from amenable traces on the encoding C*-algebra. We describe the main classes of non-signalling correlations in terms of states on operator system tensor products.

math.OA↗

arXiv2017

Completely bounded bimodule maps and spectral synthesis

We initiate the study of the completely bounded multipliers of the Haagerup tensor product $A(G)\otimes_{\rm h} A(G)$ of two copies of the Fourier algebra $A(G)$ of a locally compact group $G$. If $E$ is a closed subset of $G$ we let $E^{\sharp} = \{(s,t) : st\in E\}$ and show that if $E^{\sharp}$ is a set of spectral synthesis for $A(G)\otimes_{\rm h} A(G)$ then $E$ is a set of local spectral synthesis for $A(G)$. Conversely, we prove that if $E$ is a set of spectral synthesis for $A(G)$ and $G$ is a Moore group then $E^{\sharp}$ is a set of spectral synthesis for $A(G)\otimes_{\rm h} A(G)$. Using the natural identification of the space of all completely bounded weak* continuous $VN(G)'$-bimodule maps with the dual of $A(G)\otimes_{\rm h} A(G)$, we show that, in the case $G$ is weakly amenable, such a map leaves the multiplication algebra of $L^{\infty}(G)$ invariant if and only if its support is contained in the antidiagonal of $G$.

math.FA↗

arXiv2016

Herz-Schur multipliers of dynamical systems

We extend the notion of Herz-Schur multipliers to the setting of non-commutative dynamical systems: given a C*-algebra $A$, a locally compact group $G$, and an action $α$ of $G$ on $A$, we define transformations on the (reduced) crossed product $A\rtimes_{r,α} G$ of $A$ by $G$, which, in the case $A = \mathbb{C}$, reduce to the classical Herz-Schur multipliers. We also introduce a class of Schur $A$-multipliers, establish its characterisation which generalise the classical descriptions of Schur multipliers and present a transference theorem in the new setting, identifying isometrically the Herz-Schur multipliers of the dynamical system $(A,G,α)$ with the invariant part of the Schur $A$-multipliers. We discuss special classes of Herz-Schur multipliers, in particular, those which are associated to a locally compact abelian group $G$ and its canonical action on the $C^*$-algebra $C^*(Γ)$ of the dual group $Γ$.

math.OA↗

arXiv2015

Schur idempotents and hyperreflexivity

We show that the set of Schur idempotents with hyperreflexive range is a Boolean lattice which contains all contractions. We establish a preservation result for sums which implies that the weak* closed span of a hyperreflexive and a ternary masa-bimodule is hyperreflexive, and prove that the weak* closed span of finitely many tensor products of a hyperreflexive space and a hyperreflexive range of a Schur idempotent (respectively, a ternary masa-bimodule) is hyperreflexive.

math.OA↗

arXiv2014

Ideals of $A(G)$ and bimodules over maximal abelian selfadjoint algebras

This paper is concerned with weak* closed masa-bimodules generated by A(G)-invariant subspaces of VN(G). An annihilator formula is established, which is used to characterise the weak* closed subspaces of B(L^2(G)) which are invariant under both Schur multipliers and a canonical action of M(G) on B(L^2(G)) via completely bounded maps. We study the special cases of extremal ideals with a given null set and, for a large class of groups, we establish a link between relative spectral synthesis and relative operator synthesis.

math.OA↗

arXiv2014

Ideals of the Fourier algebra, supports and harmonic operators

We examine the common null spaces of families of Herz-Schur multipliers and apply our results to study jointly harmonic operators and their relation with jointly harmonic functionals. We show how an annihilation formula obtained in J. Funct. Anal. 266 (2014), 6473-6500 can be used to give a short proof as well as a generalisation of a result of Neufang and Runde concerning harmonic operators with respect to a normalised positive definite function. We compare the two notions of support of an operator that have been studied in the literature and show how one can be expressed in terms of the other.

math.OA↗

arXiv2013

Operator synthesis and tensor products

We show that Kraus' property $S_σ$ is preserved under taking weak* closed sums with masa-bimodules of finite width, and establish an intersection formula for weak* closed spans of tensor products, one of whose terms is a masa-bimodule of finite width. We initiate the study of the question of when operator synthesis is preserved under the formation of products and prove that the union of finitely many sets of the form $κ\times λ$, where $κ$ is a set of finite width, while $λ$ is operator synthetic, is, under a necessary restriction on the sets $λ$, again operator synthetic. We show that property $S_σ$ is preserved under spatial Morita subordinance. En route, we prove that non-atomic ternary masa-bimodules possess property $S_σ$ hereditarily.

math.OA↗

arXiv2012

Tensor products of subspace lattices and rank one density

We show that, if $M$ is a subspace lattice with the property that the rank one subspace of its operator algebra is weak* dense, $L$ is a commutative subspace lattice and $P$ is the lattice of all projections on a separable infinite dimensional Hilbert space, then the lattice $L\otimes M\otimes P$ is reflexive. If $M$ is moreover an atomic Boolean subspace lattice while $L$ is any subspace lattice, we provide a concrete lattice theoretic description of $L\otimes M$ in terms of projection valued functions defined on the set of atoms of $M$. As a consequence, we show that the Lattice Tensor Product Formula holds for $\Alg M$ and any other reflexive operator algebra and give several further corollaries of these results.

math.FA↗

arXiv2011

Ranges of bimodule projections and reflexivity

We develop a general framework for reflexivity in dual Banach spaces, motivated by the question of when the weak* closed linear span of two reflexive masa-bimodules is automatically reflexive. We establish an affirmative answer to this question in a number of cases by examining two new classes of masa-bimodules, defined in terms of ranges of masa-bimodule projections. We give a number of corollaries of our results concerning operator and spectral synthesis, and show that the classes of masa-bimodules we study are operator synthetic if and only if they are strong operator Ditkin.

math.OA↗

arXiv2010

Closable Multipliers

Let (X,m) and (Y,n) be standard measure spaces. A function f in $L^\infty(X\times Y,m\times n)$ is called a (measurable) Schur multiplier if the map $S_f$, defined on the space of Hilbert-Schmidt operators from $L_2(X,m)$ to $L_2(Y,n)$ by multiplying their integral kernels by f, is bounded in the operator norm. The paper studies measurable functions f for which $S_f$ is closable in the norm topology or in the weak* topology. We obtain a characterisation of w*-closable multipliers and relate the question about norm closability to the theory of operator synthesis. We also study multipliers of two special types: if f is of Toeplitz type, that is, if f(x,y)=h(x-y), x,y in G, where G is a locally compact abelian group, then the closability of f is related to the local inclusion of h in the Fourier algebra A(G) of G. If f is a divided difference, that is, a function of the form (h(x)-h(y))/(x-y), then its closability is related to the "operator smoothness" of the function h. A number of examples of non-closable, norm closable and w*-closable multipliers are presented.

math.FA↗

arXiv2010

Operator algebras from the discrete Heisenberg semigroup

We study reflexivity and structure properties of operator algebras generated by representations of the discrete Heisenberg semi-group. We show that the left regular representation of this semi-group gives rise to a semi-simple reflexive algebra. We exhibit an example of a representation which gives rise to a non-reflexive algebra. En route, we establish reflexivity results for subspaces of $H^{\infty}(\bb{T})\otimes\cl B(\cl H)$.

math.OA↗

arXiv2009

Schur and operator multipliers

Schur multipliers were introduced by Schur in the early 20th century and have since then found a considerable number of applications in Analysis and enjoyed an intensive development. Apart from the beauty of the subject in itself, sources of interest in them were connections with Perturbation Theory, Harmonic Analysis, the Theory of Operator Integrals and others. Advances in the quantisation of Schur multipliers were recently made by Kissin and Shulman. The aim of the present article is to summarise a part of the ideas and results in the theory of Schur and operator multipliers. We start with the classical Schur multipliers defined by Schur and their characterisation by Grothendieck, and make our way through measurable multipliers studied by Peller and Spronk, operator multipliers defined by Kissin and Shulman and, finally, multidimensional Schur and operator multipliers developed by Juschenko and the authors. We point out connections of the area with Harmonic Analysis and the Theory of Operator Integrals.

math.FA↗

arXiv2008

Stable isomorphism of dual operator spaces

We prove that two dual operator spaces $X$ and $Y$ are stably isomorphic if and only if there exist completely isometric normal representations $ϕ$ and $ψ$ of $X$ and $Y$, respectively, and ternary rings of operators $M_1, M_2$ such that $ϕ(X)= [M_2^*ψ(Y)M_1]^{-w^*}$ and $ψ(Y)=[M_2ϕ(X)M_1^*].$ We prove that this is equivalent to certain canonical dual operator algebras associated with the operator spaces being stably isomorphic. We apply these operator space results to prove that certain dual operator algebras are stably isomorphic if and only if they are isomorphic. We provide examples motivated by CSL algebra theory.

math.OA↗

arXiv2008

S-numbers of elementary operators on C*-algebras

We study the s-numbers of elementary operators acting on C*-algebras. The main results are the following: If $τ$ is any tensor norm and $a,b\in B(H)$ are such that the sequences $s(a),s(b)$ of their singular numbers belong to a stable Calkin space $J$ then the sequence of approximation numbers of $a\otimes_τ b$ belongs to $J$. If $A$ is a C*-algebra, $J$ is a stable Calkin space, $s$ is an s-number function, and $a_i, b_i \in A,$ $i=1,...,m$ are such that $s(π(a_i)), s(π(b_i)) \in J$, $i=1,...,m$ for some faithful representation $π$ of $A$ then $s(\sum_{i=1}^{m} M_{a_i,b_i})\in J$. The converse implication holds if and only if the ideal of compact elements of $A$ has finite spectrum. We also prove a quantitative version of a result of Ylinen.

math.OA↗

arXiv2008

Compactness properties of operator multipliers

We continue the study of multidimensional operator multipliers initiated in [arXiv:math/0701645]. We introduce the notion of the symbol of an operator multiplier. We characterise completely compact operator multipliers in terms of their symbol as well as in terms of approximation by finite rank multipliers. We give sufficient conditions for the sets of compact and completely compact multipliers to coincide and characterise the cases where an operator multiplier in the minimal tensor product of two C*-algebras is automatically compact. We give a description of multilinear modular completely compact completely bounded maps defined on the direct product of finitely many copies of the C*-algebra of compact operators in terms of tensor products, generalising results of Saar.

math.OA↗