Joins and subdirect products of varieties

We generalise in three different directions two well-known results in universal algebra. Grätzer, Lakser and P?onka proved that independent subvarieties \({\mathcal{V}_{1}, \mathcal{V}_{2}}\) of a variety \({\mathcal{V}}\) are disjoint and such that their join \({\mathcal{V}_{1} \vee \mathcal{V}_{2}}\) (in the lattice of subvarieties of \({\mathcal{V}}\)) is their direct product \({\mathcal{V}_{1} \times \mathcal{V}_{2}}\) . Jónsson and Tsinakis provided a partial converse to this result: if \({\mathcal{V}}\) is congruence permutable and \({\mathcal{V}_{1}, \mathcal{V}_{2}}\) are disjoint, then they are independent (and so \({\mathcal{V}_{1} \vee \mathcal{V}_{2} = \mathcal{V}_{1} \times \mathcal{V}_{2}}\)). We show that (i) if \({\mathcal{V}}\) is subtractive, then Jónsson’s and Tsinakis’ result holds under some minimal assumptions; (ii) if \({\mathcal{V}}\) satisfies some weakened permutability conditions, then disjointness implies a generalised notion of independence and \({\mathcal{V}_{1} \vee \mathcal{V}_{2}}\) is the subdirect product of \({\mathcal{V}_{1}}\) and \({\mathcal{V}_2}\) ; (iii) the same holds if \({\mathcal{V}}\) is congruence 3-permutable.     

Multipliers of perturbed Cartesian products with an application to BSE-property

Given semisimple commutative Banach algebras \({\mathcal{A}}\) and \({\mathcal{B}}\) and a norm decreasing homomorphism \({\mathcal{T} : \mathcal{B} \rightarrow \mathcal{B}}\), we characterize the multipliers of the perturbed product Banach algebra \({\mathcal{A}\times_T \mathcal{B}}\). As an application it is shown that \({\mathcal{A}\times_T \mathcal{B}}\) has the Bochner–Schoenberg–Eberlein property if and only if both \({\mathcal{A}}\) and \({\mathcal{B}}\) have this property.     

Derivations,Local and 2-Local Derivations on Some Algebras of Operators on Hilbert C*-Modules

For a commutative C*-algebra \({\mathcal {A}}\) with unit e and a Hilbert \({\mathcal {A}}\)-module \({\mathcal {M}}\), denote by End\(_{{\mathcal {A}}}({\mathcal {M}})\) the algebra of all bounded \({\mathcal {A}}\)-linear mappings on \({\mathcal {M}}\), and by End\(^*_{{\mathcal {A}}}({\mathcal {M}})\) the algebra of all adjointable mappings on \({\mathcal {M}}\). We prove that if \({\mathcal {M}}\) is full, then each derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) is \({\mathcal {A}}\)-linear, continuous, and inner, and each 2-local derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) or End\(^{*}_{{\mathcal {A}}}({\mathcal {M}})\) is a derivation. If there exist \(x_0\) in \({\mathcal {M}}\) and \(f_0\) in \({\mathcal {M}}^{'}\), such that \(f_0(x_0)=e\), where \({\mathcal {M}}^{'}\) denotes the set of all bounded \({\mathcal {A}}\)-linear mappings from \({\mathcal {M}}\) to \({\mathcal {A}}\), then each \({\mathcal {A}}\)-linear local derivation on End\(_{{\mathcal {A}}}({\mathcal {M}})\) is a derivation.     

Clusters of varieties of completely regular semigroups

The class \({\mathcal{CR}}\) of completely regular semigroups equipped with the unary operation of inversion forms a variety whose lattice of subvarieties is denoted by \({\mathcal{L(CR)}}\). The variety \({\mathcal B}\) of all bands induces two relations \({\mathbf{B}^{\land}}\) and \({\mathbf{B}^{\lor} }\) by meet and join with \({\mathcal B}\). Their classes are intervals with lower ends \({\mathcal V_{B^{\land}}}\) and \({\mathcal V_{B^{\lor}}}\), and upper ends \({\mathcal V^{B^{\land}}}\) and \({\mathcal V^{B^{\lor}}}\). These objects induce four operators on \({\mathcal{L(CR)}}\).The cluster at a variety \({\mathcal V}\) is the set of all varieties obtained from \({\mathcal V}\) by repeated application of these four operators. We identify the cluster at any variety in \({\mathcal{L(CR)}}\).     

Semantical conditions for the definability of functions and relations

Let \({\mathcal{L}\subseteq \mathcal{L}^\prime}\) be first order languages, let \({R \in \mathcal{L}^\prime- \mathcal{L}}\) be a relation symbol, and let \({\mathcal{K}}\) be a class of \({\mathcal{L}^\prime}\)-structures. In this paper, we present semantical conditions equivalent to the existence of an \({\mathcal{L}}\)-formula \({\varphi(\vec{x})}\) such that \({\mathcal{K}\vDash \varphi(\vec{x}) \leftrightarrow R(\vec{x})}\), where \({\varphi}\) has a specific syntactical form (e.g., quantifier free, positive and quantifier free, existential Horn, etc.). For each of these definability results for relations, we also present an analogous version for the definability of functions. Several applications to natural definability questions in universal algebra have been included; most notably definability of principal congruences. The paper concludes with a look at term-interpolation in classes of structures with the same techniques used for definability. Here we obtain generalizations of two classical term-interpolation results: Pixley’s theorem for quasiprimal algebras, and the Baker–Pixley Theorem for finite algebras with a majority term.     

Spectral properties and stability of perturbed Cartesian product

Let \({\mathcal {A}}\) and \({\mathcal {B}}\) be commutative Banach algebras, and let \(T:{\mathcal {B}} \rightarrow {\mathcal {A}}\) be an algebra homomorphism with \({\Vert T\Vert }\le 1\). Then T induces a Banach algebra product \(\times _T\) perturbing the coordinatewise product on the Cartesian product space \({\mathcal {A}} \times {\mathcal {B}}\). We show that the spectral properties like spectral extension property, unique uniform norm property, regularity, weak regularity as well as Ditkin’s condition are stable with respect to this product.     

Gauge functions,Eikonal equations and Bôcher’s theorem on stratified Lie groups

Let \({\mathcal{L} = \sum_{i=1}^m X_i^2}\) be a real sub-Laplacian on a Carnot group \({\mathbb{G}}\) and denote by \({\nabla_\mathcal{L} = (X_1,\ldots,X_m)}\) the intrinsic gradient related to \({\mathcal{L}}\). Our aim in this present paper is to analyze some features of the \({\mathcal{L}}\)-gauge functions on \({\mathbb{G}}\), i.e., the homogeneous functions d such that \({\mathcal{L}(d^\gamma) = 0}\) in \({\mathbb{G} \setminus \{0\}}\) , for some \({\gamma \in \mathbb{R} \setminus \{0\}}\). We consider the relation of \({\mathcal{L}}\)-gauge functions with: the \({\mathcal{L}}\)-Eikonal equation \({|\nabla_\mathcal{L} u| = 1}\) in \({\mathbb{G}}\); the Mean Value Formulas for the \({\mathcal{L}}\)-harmonic functions; the fundamental solution for \({\mathcal{L}}\); the Bôcher-type theorems for nonnegative \({\mathcal{L}}\)-harmonic functions in “punctured” open sets \({\dot \Omega:= \Omega \setminus \{x_0\}}\).     

Centralizing traces with automorphisms on triangular algebras

Let \({\mathcal{T}}\) be a triangular algebra over a commutative ring \({\mathcal{R}}\), \({\xi}\) be an automorphism of \({\mathcal{T}}\) and \({\mathcal{Z}_{\xi}(\mathcal{T})}\) be the \({\xi}\)-center of \({\mathcal{T}}\). Suppose that \({\mathfrak{q}\colon \mathcal{T}\times \mathcal{T}\longrightarrow \mathcal{T}}\) is an \({\mathcal{R}}\)-bilinear mapping and that \({\mathfrak{T}_{\mathfrak{q}}\colon \mathcal{T}\longrightarrow \mathcal{T}}\) is a trace of \({\mathfrak{q}}\). The aim of this article is to describe the form of \({\mathfrak{T}_{\mathfrak{q}}}\) satisfying the commuting condition \({[\mathfrak{T}_{\mathfrak{q}}(x), x]_{\xi}=0}\) (resp. the centralizing condition \({[\mathfrak{T}_{\mathfrak{q}}(x), x]_{\xi}\in \mathcal{Z}_\xi(\mathcal{T})}\)) for all \({x\in \mathcal{T}}\). More precisely, we will consider the question of when \({\mathfrak{T}_{\mathfrak{q}}}\) satisfying the previous condition has the so-called proper form.     

The lattice of quasiorder lattices of algebras on a finite set

The quasiorders of an algebra (A, F) constitute a common generalization of its congruences and compatible partial orders. The quasiorder lattices of all algebras defined on a fixed set A ordered by inclusion form a complete lattice \({\mathcal{L}}\). The paper is devoted to the study of this lattice \({\mathcal{L}}\). We describe its join-irreducible elements and its coatoms. Each meet-irreducible element of \({\mathcal{L}}\) being determined by a single unary mapping on A, we characterize completely those which are determined by a permutation or by an acyclic mapping on the set A. Using these characterizations, we deduce several properties of the lattice \({\mathcal{L}}\); in particular, we prove that \({\mathcal{L}}\) is always tolerance-simple.     

Dirac–Krein Systems on Star Graphs

Suppose that \({\mathcal {M}}\) is a countably decomposable type II\({_1}\) von Neumann algebra and \({\mathcal {A}}\) is a separable, non-nuclear, unital C\({^*}\)-algebra. We show that, if \({\mathcal {M}}\) has Property \({\Gamma}\), then the similarity degree of \({\mathcal {M}}\) is less than or equal to 5. If \({\mathcal {A}}\) has Property c\({^*}\)-\({\Gamma}\), then the similarity degree of \({\mathcal {A}}\) is equal to 3. In particular, the similarity degree of a \({\mathcal {Z}}\)-stable, separable, non-nuclear, unital C\({^*}\)-algebra is equal to 3.     

Homomorphisms of $$\ell ^1$$-Munn algebras and Rees matrix semigroup algebras

Let \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \) be an \(\ell ^1\)-Munn algebra over an arbitrary unital Banach algebra \({\mathcal {A}}\). We characterize homomorphisms from \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \) into an arbitrary Banach algebra \({\mathcal {B}}\) in terms of homomorphisms from \({\mathcal {A}}\) into \({\mathcal {B}}\). Then we discuss homomorphisms from arbitrary Banach algebras into \({\mathcal {LM}}\left( {\mathcal {A}}, P\right) \). Existence and uniqueness of homomorphisms under certain conditions are also discussed. We apply these results to the concrete case of \(\ell ^1(S)\) where S is a Rees matrix semigroup, to identify characters of \(\ell ^1(S)\) in both cases where S is with or without zero. As a consequence if the sandwich matrix of S has a zero entry, then \(\ell ^1(S)\) is character amenable.     

Uncountable critical points for congruence lattices

The critical point between two classes \({{\mathcal K}}\) and \({{\mathcal L}}\) of algebras is the cardinality of the smallest semilattice isomorphic to the semilattice of compact congruences of some algebra in \({{\mathcal K}}\), but not in \({{\mathcal L}}\). Our paper is devoted to the problem of determining the critical point between two finitely generated congruence-distributive varieties. For a homomorphism \({\varphi: S \rightarrow T}\) of \({(0, \vee)}\)-semilattices and an automorphism \({\tau}\) of T, we introduce the concept of a \({\tau}\)-symmetric lifting of \({\varphi}\). We use it to prove a criterion which ensures that the critical point between two finitely generated congruence-distributive varieties is less or equal to \({\aleph_{1}}\). We illustrate the criterion by constructing two new examples with the critical point exactly \({\aleph_{1}}\).     

On decomposability of Multilinear sets

We consider the Multilinear set \({\mathcal {S}}\) defined as the set of binary points (x, y) satisfying a collection of multilinear equations of the form \(y_I = \prod _{i \in I} x_i\), \(I \in {\mathcal {I}}\), where \({\mathcal {I}}\) denotes a family of subsets of \(\{1,\ldots , n\}\) of cardinality at least two. Such sets appear in factorable reformulations of many types of nonconvex optimization problems, including binary polynomial optimization. A great simplification in studying the facial structure of the convex hull of the Multilinear set is possible when \({\mathcal {S}}\) is decomposable into simpler Multilinear sets \({\mathcal {S}}_j\), \(j \in J\); namely, the convex hull of \({\mathcal {S}}\) can be obtained by convexifying each \({\mathcal {S}}_j\), separately. In this paper, we study the decomposability properties of Multilinear sets. Utilizing an equivalent hypergraph representation for Multilinear sets, we derive necessary and sufficient conditions under which \({\mathcal {S}}\) is decomposable into \({\mathcal {S}}_j\), \(j \in J\), based on the structure of pair-wise intersection hypergraphs. Our characterizations unify and extend the existing decomposability results for the Boolean quadric polytope. Finally, we propose a polynomial-time algorithm to optimally decompose a Multilinear set into simpler subsets. Our proposed algorithm can be easily incorporated in branch-and-cut based global solvers as a preprocessing step for cut generation.     

A decomposition theorem for Lie ideals in nest algebras

Let \({\mathcal {N}}\) be a nest and let \({\mathcal {L}}\) be a weakly closed Lie ideal of the nest algebra \({\mathcal {T} (\mathcal {N})}\) . We explicitly construct the greatest weakly closed associative ideal \({\mathcal {J} (\mathcal {L})}\) contained in \({\mathcal {L}}\) and show that \({\mathcal {J} (\mathcal {L}) \subseteq \mathcal {L} \subseteq \mathcal {J} (\mathcal {L})\oplus {\breve{\mathcal{D}}} (\mathcal {L})}\) , where \({{\breve{\mathcal{D}}}} (\mathcal {L})\) is an appropriate subalgebra of the diagonal \({\mathcal {D} (\mathcal {N})}\) of the nest algebra \({\mathcal {T} (\mathcal {N})}\) . We show that norm-preserving linear extensions of elements of the dual of \({\mathcal {L}}\) , satisfying a certain condition, are uniquely determined on the diagonal of the nest algebra by the ideal \({\mathcal {J} (\mathcal {L})}\) .     

Integer Decomposition Property of Free Sums of Convex Polytopes

Let \({\mathcal{P} \subset \mathbb{R}^{d}}\) and \({\mathcal{Q} \subset \mathbb{R}^{e}}\) be integral convex polytopes of dimension d and e which contain the origin of \({\mathbb{R}^{d}}\) and \({\mathbb{R}^{e}}\), respectively. We say that an integral convex polytope \({\mathcal{P}\subset \mathbb{R}^{d}}\) possesses the integer decomposition property if, for each \({n\geq1}\) and for each \({\gamma \in n\mathcal{P}\cap\mathbb{Z}^{d}}\), there exist \({\gamma^{(1)}, . . . , \gamma^{(n)}}\) belonging to \({\mathcal{P}\cap\mathbb{Z}^{d}}\) such that \({\gamma = \gamma^{(1)} +. . .+\gamma^{(n)}}\). In the present paper, under some assumptions, the necessary and sufficient condition for the free sum of \({\mathcal{P}}\) and \({\mathcal{Q}}\) to possess the integer decomposition property will be presented.     

Natural extensions and profinite completions of algebras

This paper investigates profinite completions of residually finite algebras, drawing on ideas from the theory of natural dualities. Given a class \({\mathcal{A} = \mathbb{ISP}(\mathcal{M})}\), where \({\mathcal{M}}\) is a set, not necessarily finite, of finite algebras, it is shown that each \({{\bf A} \in \mathcal{A}}\) embeds as a topologically dense subalgebra of a topological algebra \({n_{\mathcal{A}}({\bf A})}\) (its natural extension), and that \({n_{\mathcal{A}}({\bf A})}\) is isomorphic, topologically and algebraically, to the profinite completion of A. In addition it is shown how the natural extension may be concretely described as a certain family of relation-preserving maps; in the special case that \({\mathcal{M}}\) is finite and \({\mathcal{A}}\) possesses a single-sorted or multisorted natural duality, the relations to be preserved can be taken to be those belonging to a dualising set. For an algebra belonging to a finitely generated variety of lattice-based algebras, it is known that the profinite completion coincides with the canonical extension. In this situation the natural extension provides a new concrete realisation of the canonical extension, generalising the well-known representation of the canonical extension of a bounded distributive lattice as the lattice of up-sets of the underlying ordered set of its Priestley dual. The paper concludes with a survey of classes of algebras to which the main theorems do, and do not, apply.     

Tempered representations of <Emphasis Type="Italic">p</Emphasis>-adic groups: special idempotents and topology

Let \(G=G(k)\) be a connected reductive group over a p-adic field k. The smooth (and tempered) complex representations of G can be considered as the nondegenerate modules over the Hecke algebra \({\mathcal {H}}={\mathcal {H}}(G)\) and the Schwartz algebra \({\mathcal {S}}={\mathcal {S}}(G)\) forming abelian categories \({\mathcal {M}}(G)\) and \({\mathcal {M}}^t(G)\), respectively. Idempotents \(e\in {\mathcal {H}}\) or \({\mathcal {S}}\) define full subcategories \({\mathcal {M}}_e(G)= \{V : {\mathcal {H}}eV=V\}\) and \({\mathcal {M}}_e^t(G)= \{V : {\mathcal {S}}eV=V\}\). Such an e is said to be special (in \({\mathcal {H}}\) or \({\mathcal {S}}\)) if the corresponding subcategory is abelian. Parallel to Bernstein’s result for \(e\in {\mathcal {H}}\) we will prove that, for special \(e \in {\mathcal {S}}\), \({\mathcal {M}}_e^t(G) = \prod _{\Theta \in \theta _e} {\mathcal {M}}^t(\Theta )\) is a finite direct product of component categories \({\mathcal {M}}^t(\Theta )\), now referring to connected components of the center of \({\mathcal {S}}\). A special \(e\in {\mathcal {H}}\) will be also special in \({\mathcal {S}}\), but idempotents \(e\in {\mathcal {H}}\) not being special can become special in \({\mathcal {S}}\). To obtain conditions we consider the sets \(\mathrm{Irr}^t(G) \subset \mathrm{Irr}(G)\) of (tempered) smooth irreducible representations of G, and we view \(\mathrm{Irr}(G)\) as a topological space for the Jacobson topology defined by the algebra \({\mathcal {H}}\). We use this topology to introduce a preorder on the connected components of \(\mathrm{Irr}^t(G)\). Then we prove that, for an idempotent \(e \in {\mathcal {H}}\) which becomes special in \({\mathcal {S}}\), its support \(\theta _e\) must be saturated with respect to that preorder. We further analyze the above decomposition of \({\mathcal {M}}_e^t(G)\) in the case where G is k-split with connected center and where \(e = e_J \in {\mathcal {H}}\) is the Iwahori idempotent. Here we can use work of Kazhdan and Lusztig to relate our preorder on the support \(\theta _{e_J}\) to the reverse of the natural partial order on the unipotent classes in G. We finish by explicitly computing the case \(G=GL_n\), where \(\theta _{e_J}\) identifies with the set of partitions of n. Surprisingly our preorder (which is a partial order now) is strictly coarser than the reverse of the dominance order on partitions.     

Character Connes-amenability of dual Banach algebras

The concept of left character Connes-amenability for a dual Banach algebra \({\mathcal {A}}\) is introduced. We obtain a cohomological characterization of left character Connes-amenability as well as the relation between left \(\varphi \)-Connes-amenability and existence of left \(\varphi \)-normal virtual diagonals for a \(\omega ^{*}\)-continuous character \(\varphi \). We prove that left character amenability of \({\mathcal {A}}\) is equivalent to left character Connes-amenability of \({\mathcal {A}}^{**}\) when \({\mathcal {A}}\) is Arens regular. Moreover for a locally compact group G, we show that M(G) is left character Connes-amenable. In addition by means of some examples we show that for the new notion, the corresponding class of dual Banach algebras is larger than Connes-amenable dual Banach algebras.     

Local derivations of full matrix rings

Let \({\mathcal{R}}\) be a unital commutative ring and \({\mathcal{M}}\) be a 2-torsion free central \({\mathcal{R}}\) -bimodule. In this paper, for \({n \geqq 3}\), we show that every local derivation from M _n (\({\mathcal{R}}\)) into M _n (\({\mathcal{M}}\)) is a derivation.     

Ideal Connes-Amenability of Dual Banach Algebras

Following Runde, we define the concept of ideal Connes-amenability for dual Banach algebras. For an Arens regular dual Banach algebra \({\mathcal {A}}\), we prove that the ideal Connes-amenability of \(\mathcal {A^{**}}\), the second dual of \({\mathcal {A}}\) necessities ideal Connes-amenability of \({{\mathcal {A}}}\). As a typical example, we show that von Neumann algebras are always ideally Connes-amenable. For a locally compact group G, the Fourier–Stieltjes algebra of G is ideally Connes-amenable, but not ideally amenable.