Unbounded Induced Representations of ∗-Algebras

Induced representations of *-algebras by unbounded operators in Hilbert space are investigated. Conditional expectations of a *-algebra ${{\mathcal{A}}}$ onto a unital *-subalgebra ${{\mathcal{B}}}$ are introduced and used to define inner products on the corresponding induced modules. The main part of the paper is concerned with group graded *-algebras ${{\mathcal{A}}}=\oplus_{g\in G}{{\mathcal{A}}}_g$ for which the *-subalgebra ${{\mathcal{B}}}:={{\mathcal{A}}}_e$ is commutative. Then the canonical projection $p:{{\mathcal{A}}}\to{{\mathcal{B}}}$ is a conditional expectation and there is a partial action of the group G on the set ${{\mathcal{B}}}p$ of all characters of ${{\mathcal{B}}}$ which are nonnegative on the cone $\sum{{\mathcal{A}}}^2{{\mathcal{A}}}p{{\mathcal{B}}}.$ The complete Mackey theory is developed for *-representations of ${{\mathcal{A}}}$ which are induced from characters of ${{\widehat{{{\mathcal{B}}}}^+}}.$ Systems of imprimitivity are defined and two versions of the Imprimitivity Theorem are proved in this context. A concept of well-behaved *-representations of such *-algebras ${{\mathcal{A}}}$ is introduced and studied. It is shown that well-behaved representations are direct sums of cyclic well-behaved representations and that induced representations of well-behaved representations are again well-behaved. The theory applies to a large variety of examples. For important examples such as the Weyl algebra, enveloping algebras of the Lie algebras su(2), su(1,1), and of the Virasoro algebra, and *-algebras generated by dynamical systems our theory is carried out in great detail.     

Induced and reduced unbounded operator algebras

The induction and reduction precesses of an O*-vector space ${{\mathfrak M}}$ obtained by means of a projection taken, respectively, in ${{\mathfrak M}}$ itself or in its weak bounded commutant ${{\mathfrak M}^\prime_{\rm w}}$ are studied. In the case where ${{\mathfrak M}}$ is a partial GW*-algebra, sufficient conditions are given for the induced and the reduced spaces to be partial GW*-algebras again.     

Noncommutative Artin motives

In this article, we introduce the category of noncommutative Artin motives as well as the category of noncommutative mixed Artin motives. In the pure world, we start by proving that the classical category ${{\mathrm{AM}}}(k)_\mathbb Q $ of Artin motives (over a base field k) can be characterized as the largest category inside Chow motives which fully embeds into noncommutative Chow motives. Making use of a refined bridge between pure motives and noncommutative pure motives, we then show that the image of this full embedding, which we call the category ${{\mathrm{NAM}}}(k)_\mathbb Q $ of noncommutative Artin motives, is invariant under the different equivalence relations and modification of the symmetry isomorphism constraints. As an application, we recover the absolute Galois group $\mathrm{Gal}(\overline{k}/k)$ from the Tannakian formalism applied to ${{\mathrm{NAM}}}(k)_\mathbb Q $ . Then, we develop the base-change formalism in the world of noncommutative pure motives. As an application, we obtain new tools for the study of motivic decompositions and Schur/Kimura finiteness. Making use of this theory of base-change, we then construct a short exact sequence relating $\mathrm{Gal}(\overline{k}/k)$ with the noncommutative motivic Galois groups of k and $\overline{k}$ . Finally, we describe a precise relationship between this short exact sequence and the one constructed by Deligne–Milne. In the mixed world, we introduce the triangulated category ${{\mathrm{NMAM}}}(k)_\mathbb Q $ of noncommutative mixed Artin motives and construct a faithful functor from the classical category ${{\mathrm{MAM}}}(k)_\mathbb Q $ of mixed Artin motives to it. When k is a finite field, this functor is an equivalence. On the other hand, when k is of characteristic zero ${{\mathrm{NMAM}}}(k)_\mathbb Q $ is much richer than ${{\mathrm{MAM}}}(k)_\mathbb Q $ since its higher Ext-groups encode all the (rationalized) higher algebraic $K$ -theory of finite étale k-schemes. In the appendix, we establish a general result about short exact sequences of Galois groups which is of independent interest. As an application, we obtain a new proof of Deligne–Milne’s short exact sequence.     

f-algebras with a \sigma -bounded approximate unit

Let $X$ be a lattice ordered algebra ( $\ell $ -algebra). A positive element $x\in $ $X$ is said to be totally bounded if $x^{2}\le x$ . The $\ell $ -algebra $X$ is said to have a $\sigma $ -bounded approximate unit if for each positive linear functional $f$ on $X$ the set $\left\{ f(x)\text{: } x \text{ totally } \text{ bounded }\right\} $ is bounded in $\mathbb R $ . In this paper we study the class of $f$ -algebras with a $\sigma $ -bounded approximate unit which contains the class of all unital $f$ -algebras. In particular It is shown that an $f$ -algebra $X$ has a $\sigma $ -bounded approximate unit if and only if the order bidual $X^{\sim \sim }$ is a unital $f$ -algebra.     

A Hilbert Module Approach to the Haagerup Property

We develop a Hilbert module version of the Haagerup property for general C*-algebras ${{\mathcal{A} \subseteq \mathcal{B}}}$ . We show that if ${\alpha : \Gamma \curvearrowright \mathcal{A}}$ is an action of a countable discrete group Γ on a unital C*-algebra ${\mathcal{A}}$ , then the reduced C*-algebra crossed product ${\Gamma \ltimes _{\alpha, r} \mathcal{A}}$ has the Hilbert ${\mathcal{A}}$ -module Haagerup property if and only if the action α has the Haagerup property. We are particularly interested in the case when ${\mathcal{A} = C(X)}$ is a unital commutative C*-algebra. We compare the Haagerup property of such an action ${\alpha: \Gamma \curvearrowright C(X)}$ with the two special cases when (1) Γ has the Haagerup property and (2) Γ is coarsely embeddable into a Hilbert space. We also prove a contractive Schur mutiplier characterization for groups coarsely embeddable into a Hilbert space, and a uniformly bounded Schur multiplier characterization for exact groups.     

AW*-algebras Which are Enveloping C*-algebras of JC-algebras

In the given article, enveloping C*-algebras of AJW-algebras are considered. Conditions are given, when the enveloping C*-algebra of an AJW-algebra is an AW*-algebra, and corresponding theorems are proved. In particular, we proved that if $\mathcal{A}$ is a real AW*-algebra, $\mathcal{A}_{sa}$ is the JC-algebra of all self-adjoint elements of $\mathcal{A}$ , $\mathcal{A}+i\mathcal{A}$ is an AW*-algebra and $\mathcal{A}\cap i\mathcal{A} = \{0\}$ then the enveloping C*-algebra $C^*(\mathcal{A}_{sa})$ of the JC-algebra $\mathcal{A}_{sa}$ is an AW*-algebra. Moreover, if $\mathcal{A}+i\mathcal{A}$ does not have nonzero direct summands of type I₂, then $C^*(\mathcal{A}_{sa})$ coincides with the algebra $\mathcal{A}+i\mathcal{A}$ , i.e. $C^*(\mathcal{A}_{sa})= \mathcal{A}+i\mathcal{A}$ .     

On uniformly bounded spherical functions in Hilbert space

Let G be a commutative group, written additively, with a neutral element 0, and let K be a finite group. Suppose that K acts on G via group automorphisms ${G \ni a \mapsto ka \in G}$ , ${k \in K}$ . Let ${{\mathfrak{H}}}$ be a complex Hilbert space and let ${{\mathcal L}({\mathfrak{H}})}$ be the algebra of all bounded linear operators on ${{\mathfrak{H}}}$ . A mapping ${u \colon G \to {\mathcal L}({\mathfrak{H}})}$ is termed a K-spherical function if it satisfies (1) ${|K|^{-1} \sum_{k\in K} u (a+kb)=u (a) u (b)}$ for any ${a,b\in G}$ , where |K| denotes the cardinality of K, and (2) ${u (0) = {\rm id}_{\mathfrak {H}},}$ where ${{\rm id}_{\mathfrak {H}}}$ designates the identity operator on ${{\mathfrak{H}}}$ . The main result of the paper is that for each K-spherical function ${u \colon G \to {\mathcal {L}}({\mathfrak {H}})}$ such that ${\| u \|_{\infty} = \sup_{a\in G} \| u (a)\|_{{\mathcal L}({\mathfrak{H}})} < \infty,}$ there is an invertible operator S in ${{\mathcal L}({\mathfrak{H}})}$ with ${\| S \| \, \| S^{-1}\| \leq |K| \, \| u \|_{\infty}^2}$ such that the K-spherical function ${{\tilde{u}} \colon G \to {\mathcal L}({\mathfrak{H}})}$ defined by ${{\tilde{u}}(a) = S u (a) S^{-1},\,a \in G,}$ satisfies ${{\tilde{u}}(-a) = {\tilde{u}}(a)^*}$ for each ${a \in G}$ . It is shown that this last condition is equivalent to insisting that ${{\tilde{u}}(a)}$ be normal for each ${a \in G}$ .     

Tensorial Function Theory: From Berezin Transforms to Taylor’s Taylor Series and Back

Let H ^∞(E) be the Hardy algebra of a W*-correspondence E over a W*-algebra M. Then the ultraweakly continuous completely contractive representations of H ^∞(E) are parametrized by certain sets ${{\mathcal{AC}}(\sigma)}$ indexed by NRep(M)—the normal *-representations σ of M. Each set ${{\mathcal{AC}}(\sigma)}$ has analytic structure, and each element ${F \in H^{\infty}(E)}$ gives rise to an analytic operator-valued function ${\widehat{F}_{\sigma}}$ on ${{\mathcal{AC}}(\sigma)}$ that we call the σ-Berezin transform of F. The sets ${\{{\mathcal{AC}}(\sigma)\}_{\sigma\in\Sigma}}$ and the family of functions ${\{\widehat{F}_{\sigma}\}_{\sigma\in\Sigma}}$ exhibit “matricial structure” that was introduced by Joeseph Taylor in his work on noncommutative spectral theory in the early 1970s. Such structure has been exploited more recently in other areas of free analysis and in the theory of linear matrix inequalities. Our objective here is to determine the extent to which the matricial structure characterizes the Berezin transforms.     

Analytic Toeplitz algebras and the Hilbert transform associated with a subdiagonal algebra

Let M be aσ-finite von Neumann algebra and let AM be a maximal subdiagonal algebra with respect to a faithful normal conditional expectationΦ.Based on the Haagerup’s noncommutative Lpspace Lp(M)associated with M,we consider Toeplitz operators and the Hilbert transform associated with A.We prove that the commutant of left analytic Toeplitz algebra on noncommutative Hardy space H2(M)is just the right analytic Toeplitz algebra.Furthermore,the Hilbert transform on noncommutative Lp(M)is shown to be bounded for 1p∞.As an application,we consider a noncommutative analog of the space BMO and identify the dual space of noncommutative H1(M)as a concrete space of operators.     

Relative minimizers of energy are relative minimizers of area

Let Γ be a closed, regular Jordan curve in ${{\mathbb R}^3}$ which is of class C ^1,μ , 0 <  μ <  1, and denote by ${{\mathcal C}(\Gamma)}$ the class of the disk-type surfaces ${X : B \to {\mathbb R}^3}$ with continuous, monotonic boundary values, mapping ${\partial B}$ onto Γ. One easily sees that any minimal surface ${X \in {\mathcal C}(\Gamma)}$ is a relative minimizer of energy, i.e. of Dirichlet’s integral D, if it is a relative minimizer of the area functional A. Here we prove conversely: If an immersed ${X \in {\mathcal C}(\Gamma)}$ is a C ¹-relative minimizer of D in ${{\mathcal C}(\Gamma)}$ , then it also is a C ^1,μ -relative minimizer of A in ${{\mathcal C}(\Gamma)}$ .     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .     

Conditional Reducibility of Certain Unbounded Nonnegative Hamiltonian Operator Functions

Let J and ${{\mathfrak{J}}}$ be operators on a Hilbert space ${{\mathcal{H}}}$ which are both self-adjoint and unitary and satisfy ${J{\mathfrak{J}}=-{\mathfrak{J}}J}$ . We consider an operator function ${{\mathfrak{A}}}$ on [0, 1] of the form ${{\mathfrak{A}}(t)={\mathfrak{S}}+{\mathfrak{B}}(t)}$ , ${t \in [0, 1]}$ , where ${\mathfrak{S}}$ is a closed densely defined Hamiltonian ( ${={\mathfrak{J}}}$ -skew-self-adjoint) operator on ${{\mathcal{H}}}$ with ${i {\mathbb{R}} \subset \rho ({\mathfrak{S}})}$ and ${{\mathfrak{B}}}$ is a function on [0, 1] whose values are bounded operators on ${{\mathcal{H}}}$ and which is continuous in the uniform operator topology. We assume that for each ${t \in [0,1] \,{\mathfrak{A}}(t)}$ is a closed densely defined nonnegative (=J-accretive) Hamiltonian operator with ${i {\mathbb{R}} \subset \rho({\mathfrak{A}}(t))}$ . In this paper we give sufficient conditions on ${{\mathfrak{S}}}$ under which ${{\mathfrak{A}}}$ is conditionally reducible, which means that, with respect to a natural decomposition of ${{\mathcal{H}}}$ , ${{\mathfrak{A}}}$ is diagonalizable in a 2×2 block operator matrix function such that the spectra of the two operator functions on the diagonal are contained in the right and left open half planes of the complex plane. The sufficient conditions involve bounds on the resolvent of ${{\mathfrak{S}}}$ and interpolation of Hilbert spaces.     

MULTIPLICITY-FREE PRIMITIVE IDEALS ASSOCIATED WITH RIGID NILPOTENT ORBITS

Let G be a simple algebraic group defined over ?. Let e be a nilpotent element in $ \mathfrak{g} $ = Lie(G) and denote by U ( $ \mathfrak{g} $ , e) the finite W-algebra associated with the pair ( $ \mathfrak{g} $ , e). It is known that the component group Γ of the centraliser of e in G acts on the set ? of all one-dimensional representations of U ( $ \mathfrak{g} $ , e). In this paper we prove that the fixed point set ?^Γ is non-empty. As a corollary, all finite W-algebras associated with $ \mathfrak{g} $ admit one-dimensional representations. In the case of rigid nilpotent elements in exceptional Lie algebras we find irreducible highest weight $ \mathfrak{g} $ -modules whose annihilators in U ( $ \mathfrak{g} $ ) come from one-dimensional representations of U ( $ \mathfrak{g} $ , e) via Skryabin’s equivalence. As a consequence, we show that for any nilpotent orbit $ \mathcal{O} $ in $ \mathfrak{g} $ there exists a multiplicity-free (and hence completely prime) primitive ideal of U ( $ \mathfrak{g} $ ) whose associated variety equals the Zariski closure of $ \mathcal{O} $ in $ \mathfrak{g} $ .     

Symmetry and quasi-centrality of the operator space projective tensor product

For C*-algebras A and B, the operator space projective tensor product ${A\widehat{\otimes}B}$ and the Banach space projective tensor product ${A\otimes_{\gamma}B}$ are shown to be symmetric. We also show that ${A\widehat{\otimes}B}$ is a weakly Wiener algebra. Finally, quasi-centrality and the unitary group of ${A\widehat{\otimes}B}$ are discussed.     

Categories of bounded \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) - and \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) -modules

Let $ \mathfrak{g} $ be a reductive Lie algebra over $ \mathbb{C} $ and $ \mathfrak{k} \subset \mathfrak{g} $ be a reductive in $ \mathfrak{g} $ subalgebra. We call a $ \mathfrak{g} $ -module M a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module whenever M is a direct sum of finite-dimensional $ \mathfrak{k} $ -modules. We call a $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -module M bounded if there exists $ {C_M} \in {\mathbb{Z}_{{ \geqslant 0}}} $ such that for any simple finite-dimensional $ \mathfrak{k} $ -module E the dimension of the E-isotypic component is not greater than C _M dim E. Bounded $ \left( {\mathfrak{g}{\hbox{,}}\;\mathfrak{k}} \right) $ -modules form a subcategory of the category of $ \mathfrak{g} $ -modules. Let V be a finite-dimensional vector space. We prove that the categories of bounded $ \left( {\mathfrak{sp}\left( {{{\mathrm{S}}^2}V \oplus {{\mathrm{S}}^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ - and $ \left( {\mathfrak{sp}\left( {{\varLambda^2}V \oplus {\varLambda^2}{V^{*}}} \right),\;\mathfrak{gl}(V)} \right) $ -modules are isomorphic to the direct sum of countably many copies of the category of representations of some explicitly described quiver with relations under some mild assumptions on the dimension of V .     

Covering properties of ideals

Elekes proved that any infinite-fold cover of a σ-finite measure space by a sequence of measurable sets has a subsequence with the same property such that the set of indices of this subsequence has density zero. Applying this theorem he gave a new proof for the random-indestructibility of the density zero ideal. He asked about other variants of this theorem concerning I-almost everywhere infinite-fold covers of Polish spaces where I is a σ-ideal on the space and the set of indices of the required subsequence should be in a fixed ideal ${{\mathcal{J}}}$ on ω. We introduce the notion of the ${{\mathcal{J}}}$ -covering property of a pair ${({\mathcal{A}}, I)}$ where ${{\mathcal{A}}}$ is a σ-algebra on a set X and ${{I \subseteq \mathcal{P}(X)}}$ is an ideal. We present some counterexamples, discuss the category case and the Fubini product of the null ideal ${\mathcal{N}}$ and the meager ideal ${\mathcal{M}}$ . We investigate connections between this property and forcing-indestructibility of ideals. We show that the family of all Borel ideals ${{\mathcal{J}}}$ on ω such that ${\mathcal{M}}$ has the ${{\mathcal{J}}}$ -covering property consists exactly of non weak Q-ideals. We also study the existence of smallest elements, with respect to Katětov–Blass order, in the family of those ideals ${\mathcal{J}}$ on ω such that ${\mathcal{N}}$ or ${\mathcal{M}}$ has the ${\mathcal{J}}$ -covering property. Furthermore, we prove a general result about the cases when the covering property “strongly” fails.     

Duality of weighted anisotropic Besov and Triebel–Lizorkin spaces

Let A be an expansive dilation on ${{\mathbb R}^n}$ and w a Muckenhoupt ${\mathcal A_\infty(A)}$ weight. In this paper, for all parameters ${\alpha\in{\mathbb R} }$ and ${p,q\in(0,\infty)}$ , the authors identify the dual spaces of weighted anisotropic Besov spaces ${\dot B^\alpha_{p,q}(A;w)}$ and Triebel?CLizorkin spaces ${\dot F^\alpha_{p,q}(A;w)}$ with some new weighted Besov-type and Triebel?CLizorkin-type spaces. The corresponding results on anisotropic Besov spaces ${\dot B^\alpha_{p,q}(A; \mu)}$ and Triebel?CLizorkin spaces ${\dot F^\alpha_{p,q}(A; \mu)}$ associated with ${\rho_A}$ -doubling measure??? are also established. All results are new even for the classical weighted Besov and Triebel?CLizorkin spaces in the isotropic setting. In particular, the authors also obtain the ${\varphi}$ -transform characterization of the dual spaces of the classical weighted Hardy spaces on ${{\mathbb R}^n}$ .