On a Class of Graded Ideals of Semigroup <Emphasis Type="Italic">C</Emphasis>*-Algebras

We present general results about graded C*-algebras and continue the previously initiated research of the C*-algebra generated by the left regular representation of an abelian semigroup. We study the invariant ideals of this C*-algebra invariant with respect to the representation of a compact group G in the automorphism group of this algebra. We prove that the invariance of the ideal is equivalent to the fact that this ideal is graded C*-algebra, that there is a maximum of all invariant ideals, and it is the commutator ideal. Separately we study a class of graded primitive ideals generated by a single projector.     

Inequality for a trace on a unital <Emphasis Type="Italic">C</Emphasis>*-algebra

A new inequality for a trace on a unital C*-algebra is established. It is shown that the inequality obtained characterizes the traces in the class of all positive functionals on a unital C*-algebra. A new criterion for the commutativity of unital C*-algebras is proved.     

A Nonlocal <Emphasis Type="Italic">C</Emphasis>*-Algebra of Singular Integral Operators with Shifts Having Periodic Points

Representations on Hilbert spaces for a nonlocal C*-algebra \({{\mathfrak {B}}}\) of singular integral operators with piecewise slowly oscillating coefficients and unitary shift operators are constructed. The group of unitary shift operators U _g of the C*-algebra \({{\mathfrak {B}}}\) is associated with an amenable discrete group of homeomorphisms \({g:{\mathbb{T}}\to{\mathbb{T}}}\) that have piecewise continuous derivatives and the same nonempty set of periodic points. An isometric C*-algebra homomorphism of the quotient C*-algebra \({{\mathfrak {B}}^\pi={\mathfrak {B}}/{\mathcal {K}}}\), where \({{\mathcal {K}}}\) is the ideal of compact operators, into an n × n matrix algebra associated to a C*-algebra \({{\mathfrak {B}}_0}\) of singular integral operators with shifts having only fixed points is established making use of a spectral measure. Based on this generalization of the Litvinchuk–Gohberg–Krupnik reduction scheme, a symbol calculus for the C*-algebra \({{\mathfrak {B}}}\) as well as a Fredholm criterion for the operators in \({{\mathfrak {B}}}\) are obtained.     

The characterization of a class of quantum Markov semigroups and the associated operator-valued Dirichlet forms based on Hilbert <Emphasis Type="Italic">C</Emphasis>*-module <Emphasis Type="Italic">l</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">A</Emphasis>)

We characterize A-linear symmetric and contraction module operator semigroup{Tt}t∈R+L(l2(A)),where A is a finite-dimensional C-algebra,and L(l2(A))is the C-algebra of all adjointable module maps on l2(A).Next,we introduce the concept of operator-valued quadratic forms,and give a one to one correspondence between the set of non-positive definite self-adjoint regular module operators on l2(A)and the set of non-negative densely defined A-valued quadratic forms.In the end,we obtain that a real and strongly continuous symmetric semigroup{Tt}t∈R+L(l2(A))being Markovian if and only if the associated closed densely defined A-valued quadratic form is a Dirichlet form.     

<Emphasis Type="Italic">C</Emphasis>*-Non-Linear Second Quantization

We construct an inductive system of C*-algebras each of which is isomorphic to a finite tensor product of copies of the one-mode n-th degree polynomial extension of the usual Weyl algebra constructed in our previous paper (Accardi and Dhahri in Open Syst Inf Dyn 22(3):1550001, 2015). We prove that the inductive limit C*-algebra is factorizable and has a natural localization given by a family of C*-sub-algebras each of which is localized on a bounded Borel subset of \({\mathbb{R}}\). Finally, we prove that the corresponding family of Fock states, defined on the inductive family of C*-algebras, is projective if and only if n = 1. This is a weak form of the no-go theorems which emerge in the study of representations of current algebras over Lie algebras.     

Differences of idempotents in <Emphasis Type="Italic">C</Emphasis>*-algebras

Suppose that P and Q are idempotents on a Hilbert space H, while Q = Q* and I is the identity operator in H. If U = P ? Q is an isometry then U = U* is unitary and Q = I ? P. We establish a double inequality for the infimum and the supremum of P and Q in H and P ? Q. Applications of this inequality are obtained to the characterization of a trace and ideal F-pseudonorms on a W*-algebra. Let φ be a trace on the unital C*-algebra A and let tripotents P and Q belong to A. If P ? Q belongs to the domain of definition of φ then φ(P ? Q) is a real number. The commutativity of some operators is established.     

Cartan Subalgebras in C*-Algebras of Haus dorff étale Groupoids

The reduced C*-algebra of the interior of the isotropy in any Hausdorff étale groupoid G embeds as a C*-subalgebra M of the reduced C*-algebra of G. We prove that the set of pure states of M with unique extension is dense, and deduce that any representation of the reduced C*-algebra of G that is injective on M is faithful. We prove that there is a conditional expectation from the reduced C*-algebra of G onto M if and only if the interior of the isotropy in G is closed. Using this, we prove that when the interior of the isotropy is abelian and closed, M is a Cartan subalgebra. We prove that for a large class of groupoids G with abelian isotropy—including all Deaconu–Renault groupoids associated to discrete abelian groups—M is a maximal abelian subalgebra. In the specific case of k-graph groupoids, we deduce that M is always maximal abelian, but show by example that it is not always Cartan.     

Quantum quaternion spheres

For the quantum symplectic group SP _q (2n), we describe the C ^?-algebra of continuous functions on the quotient space S P _q (2n)/S P _q (2n?2) as an universal C ^?-algebra given by a finite set of generators and relations. The proof involves a careful analysis of the relations, and use of the branching rules for representations of the symplectic group due to Zhelobenko. We then exhibit a set of generators of the K-groups of this C ^?-algebra in terms of generators of the C ^?-algebra.     

<Emphasis Type="Italic">C</Emphasis>*-Algebras Generated by Mappings. Classification of Invariant Subspaces

We continue the study of an operator algebra associated with a self-mapping ? on a countable setX which can be represented as a directed graph. This C*-algebra belongs to a class of operator algebras, generated by a family of partial isometries satisfying some relations on their source and range projections. Earlier we have formulated the irreducibility criterion of such algebras, which give us a possibility to examine the structure of the corresponding Hilbert space. We will show that for reducible algebras the underlying Hilbert space can be represented either as an infinite sum of invariant subspaces or as a tensor product of a finite-dimensional Hilbert space with l²(Z). In the first case we present a conditions under which the studied algebra has an irreducible representation into a C*-algebra generated by a weighted shift operator. In the second case, the algebra has the irreducible finite-dimensional representations indexed by the unit circle.     

Spectral invariant subalgebras of reduced groupoid <Emphasis Type="Italic">C</Emphasis>*-algebras

We introduce the notion of property (RD) for a locally compact, Hausdorff and r-discrete groupoid G, and show that the set S ₂ ^l (G) of rapidly decreasing functions on G with respect to a continuous length function l is a dense spectral invariant and Fréchet *-subalgebra of the reduced groupoid C*-algebra C _r ^* (G) of G when G has property (RD) with respect to l, so the K-theories of both algebras are isomorphic under inclusion. Each normalized cocycle c on G, together with an invariant probability measure on the unit space G ⁰ of G, gives rise to a canonical map τ _c on the algebra C _c (G) of complex continuous functions with compact support on G. We show that the map τ _c can be extended continuously to S ₂ ^l (G) and plays the same role as an n-trace on C _r ^* (G) when G has property (RD) and c is of polynomial growth with respect to l, so the Connes’ fundament paring between the K-theory and the cyclic cohomology gives us the K-theory invariants on C _r ^* (G).     

Extending Lipschitz maps into <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)-spaces

We show that if K is a compact metric space then C(K) is a 2-absolute Lipschitz retract. We then study the best Lipschitz extension constants for maps into C(K) from a given metric space M, extending recent results of Lancien and Randrianantoanina. They showed that a finite-dimensional normed space which is polyhedral has the isometric extension property for C(K)-spaces; here we show that the same result holds for spaces with Gateaux smooth norm or of dimension two; a three-dimensional counterexample is also given. We also show that X is polyhedral if and only if every subset E of X has the universal isometric extension property for C(K)-spaces. We also answer a question of Naor on the extension of Hölder continuous maps.     

Curvature identities for principle <Emphasis Type="Italic">T</Emphasis><Superscript>1</Superscript>-bundles over almost Hermitian manifolds

We show that the identities R ₁, R ₂ and R ₃ for an almost Hermitian structure S on the base of the canonical principal T ¹-bundle are equivalent to their contact analogs for the induced almost contact metric structure S ^# on the total space of this bundle. We prove that the canonical connection of the canonical principal T ¹-bundle over a Hermitian or a quasi-Kähler manifold of class R ₃ is normal. We also prove that that the canonical connection of the canonical principal T ¹-bundle over a Vaisman-Gray manifold M of class R ₃ is normal if and only if the Lee vector of M belongs to the center of the adjoint K-algebra.     

The existence of eigenvalues for operators acting in <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(<Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We present conditions that allow us to prove the existence of eigenvalues and characteristic values for operator F(D) ? C(λ): L ²(R ^m ) → L ²(R ^m ), where F(D) is a pseudo-differential operator with a symbol F(iξ) and C(λ): L ²(R ^m ) → L ²(R ^m ) is a linear continuous operator.     

Finite groups whose all proper subgroups are <Emphasis Type="Italic">C</Emphasis>-groups

A group G is said to be a C-group if for every divisor d of the order of G, there exists a subgroup H of G of order d such that H is normal or abnormal in G. We give a complete classification of those groups which are not C-groups but all of whose proper subgroups are C-groups.     

Expansive homoclinic classes of generic <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-vector fields

Let γ be a hyperbolic closed orbit of a C ¹ vector field X on a compact C ^∞ manifold M of dimension n ≥ 3, and let H _X(γ) be the homoclinic class of X containing γ. In this paper, we prove that C ¹-generically, if H _X(γ) is expansive and isolated, then it is hyperbolic.     

On operator monotone and operator convex functions

We establish monotonicity and convexity criteria for a continuous function f: R⁺ → R with respect to any C*-algebra. We obtain an estimate for the measure of noncompactness of the difference of products of the elements of a W*-algebra. We also give a commutativity criterion for a positive τ-measurable operator and a positive operator from a von Neumann algebra.     

Naturality of Rieffel’s Morita Equivalence for Proper Actions

Suppose that a locally compact group G acts freely and properly on the right of a locally compact space T. Rieffel proved that if α is an action of G on a C ^*-algebra A and there is an equivariant embedding of C ₀(T) in M(A), then the action α of G on A is proper, and the crossed product \(A\rtimes_{\alpha,r}G\) is Morita equivalent to a generalised fixed-point algebra \({\operatorname{\mathtt{Fix}}}(A,\alpha)\) in M(A) ^α . We show that the assignment \((A,\alpha)\mapsto{\operatorname{\mathtt{Fix}}}(A,\alpha)\) extends to a functor \({\operatorname{\mathtt{Fix}}}\) on a category of C ^*-dynamical systems in which the isomorphisms are Morita equivalences, and that Rieffel’s Morita equivalence implements a natural isomorphism between a crossed-product functor and \({\operatorname{\mathtt{Fix}}}\). From this, we deduce naturality of Mansfield imprimitivity for crossed products by coactions, improving results of Echterhoff-Kaliszewski-Quigg-Raeburn and Kaliszewski-Quigg-Raeburn, and naturality of a Morita equivalence for graph algebras due to Kumjian and Pask.     

On a new property of <Emphasis Type="Italic">n</Emphasis>-poised and <Emphasis Type="Italic">G</Emphasis><Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> sets

In this paper we consider n-poised planar node sets, as well as more special ones, called G C _n sets. For the latter sets each n-fundamental polynomial is a product of n linear factors as it always holds in the univariate case. A line ? is called k-node line for a node set \(\mathcal X\) if it passes through exactly k nodes. An (n + 1)-node line is called maximal line. In 1982 M. Gasca and J. I. Maeztu conjectured that every G C _n set possesses necessarily a maximal line. Till now the conjecture is confirmed to be true for n ≤ 5. It is well-known that any maximal line M of \(\mathcal X\) is used by each node in \(\mathcal X\setminus M, \)meaning that it is a factor of the fundamental polynomial. In this paper we prove, in particular, that if the Gasca-Maeztu conjecture is true then any n-node line of G C _n set \(\mathcal {X}\) is used either by exactly \(\binom {n}{2}\) nodes or by exactly \(\binom {n-1}{2}\) nodes. We prove also similar statements concerning n-node or (n ? 1)-node lines in more general n-poised sets. This is a new phenomenon in n-poised and G C _n sets. At the end we present a conjecture concerning any k-node line.     

A REALIZATION OF CERTAIN MODULES FOR THE <Emphasis Type="Italic">N</Emphasis> = 4 SUPERCONFORMAL ALGEBRA AND THE AFFINE LIE ALGEBRA <Emphasis Type="Italic">A</Emphasis><Stack><Subscript>2</Subscript><Superscript>(1)</Superscript></Stack>

We shall first present an explicit realization of the simple N = 4 superconformal vertex algebra L _c ^N?=?4 with central charge c = ?9. This vertex superalgebra is realized inside of the bcβγ system and contains a subalgebra isomorphic to the simple affine vertex algebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). Then we construct a functor from the category of L _c ^N?=?4 -modules with c = ?9 to the category of modules for the admissible affine vertex algebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). By using this construction we construct a family of weight and logarithmic modules for L _c ^N?=?4 and L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \). We also show that a coset subalgebra L _A1 \( \left(-\frac{3}{2}{\varLambda}_0\right) \) is a logarithmic extension of the W(2; 3)-algebra with c = ?10. We discuss some generalizations of our construction based on the extension of affine vertex algebra L _A1 (kΛ ₀) such that k + 2 = 1/p and p is a positive integer.     

Some Notes on <Emphasis Type="Italic">C</Emphasis>- and <Emphasis Type="Italic">C</Emphasis>*-quotients of Frames

We characterise C*-quotients and C-quotients of completely regular frames in terms of ?ech-Stone compactifications and Lindelöfications, respectively. The latter is a frame-theoretic result with no spatial counterpart. We also characterise C*-quotients and dense C-quotients of completely regular frames in terms of normal covers.