Ultraproducts of continuous posets

We consider local partial clones defined on an uncountable set E having the form Polp(\({\mathfrak{R}}\)), where \({\mathfrak{R}}\) is a set of relations on E. We investigate the notion of weak extendability of partial clones of the type Polp(\({\mathfrak{R}}\)) (in the case of E countable, this coincides with the notion of extendability previously introduced by the author in 1987) which allows us to expand to uncountable sets results on the characterization of Galois-closed sets of relations as well as model-theoretical properties of a relational structure \({\mathfrak{R}}\). We establish criteria for positive primitive elimination sets (sets of positive primitive formulas over \({\mathfrak{R}}\) through which any positive primitive definable relation over \({\mathfrak{R}}\) can be expressed without existential quantifiers) for finite \({\mathfrak{R}}\) as well as for \({\mathfrak{R}}\) having only finite number of positive primitive definable relations of any arity. Emphasizing the difference between countable and uncountable sets, we show that, unlike in the countable case, the characterization of Galois-closed sets InvPol(\({\mathfrak{R}}\)) (that is, all relations which are invariant under all operations from the clone Pol(\({\mathfrak{R}}\)) defined on an uncountable set) cannot be obtained via the application of finite positive primitive formulas together with infinite intersections and unions of updirected sets of relations from \({\mathfrak{R}}\).     

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.     

A Note on Derivations on the Algebra of Operators in Hilbert <Emphasis Type="Italic">C</Emphasis>*-Modules

Let \({\mathfrak{M}}\) be a Hilbert C*-module on a C*-algebra \({\mathfrak{A}}\) and let \({End_\mathfrak{A}(\mathfrak{M})}\) be the algebra of all operators on \({\mathfrak{M}}\). In this paper, first the continuity of \({\mathfrak{A}}\)-module homomorphism derivations on \({End_\mathfrak{A}(\mathfrak{M})}\) is investigated. We give some sufficient conditions on which every derivation on \({End_\mathfrak{A}(\mathfrak{M})}\) is inner. Next, we study approximately innerness of derivations on \({End_\mathfrak{A}(\mathfrak{M})}\) for a σ-unital C*-algebra \({\mathfrak{A}}\) and full Hilbert \({\mathfrak{A}}\)-module \({\mathfrak{M}}\). Finally, we show that every bounded linear mapping on \({End_\mathfrak{A}(\mathfrak{M})}\) which behave like a derivation when acting on pairs of elements with unit product, is a Jordan derivation.     

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.     

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.     

Diagrams and rectangular extensions of planar semimodular lattices

In 2009, G. Grätzer and E. Knapp proved that every planar semimodular lattice has a rectangular extension. We prove that, under reasonable additional conditions, this extension is unique. This theorem naturally leads to a hierarchy of special diagrams of planar semimodular lattices. These diagrams are unique in a strong sense; we also explore many of their additional properties. We demonstrate the power of our new classes of diagrams in two ways. First, we prove a simplified version of our earlier Trajectory Coloring Theorem, which describes the inclusion con\({(\mathfrak{p}) \supseteq}\) con\({(\mathfrak{q})}\) for prime intervals \({\mathfrak{p}}\) and \({\mathfrak{q}}\) in slim rectangular lattices. Second, we prove G. Grätzer’s Swing Lemma for the same class of lattices, which describes the same inclusion more simply.     

A System Coupling and Donoghue Classes of Herglotz–Nevanlinna Functions

We study the impedance functions of conservative L-systems with the unbounded main operators. In addition to the generalized Donoghue class \({\mathfrak {M}}_\kappa \) of Herglotz–Nevanlinna functions considered by the authors earlier, we introduce “inverse” generalized Donoghue classes \({\mathfrak {M}}_\kappa ^{-1}\) of functions satisfying a different normalization condition on the generating measure, with a criterion for the impedance function \(V_\Theta (z)\) of an L-system \(\Theta \) to belong to the class \({\mathfrak {M}}_\kappa ^{-1}\) presented. In addition, we establish a connection between “geometrical” properties of two L-systems whose impedance functions belong to the classes \({\mathfrak {M}}_\kappa \) and \({\mathfrak {M}}_\kappa ^{-1}\), respectively. In the second part of the paper we introduce a coupling of two L-system and show that if the impedance functions of two L-systems belong to the generalized Donoghue classes \({\mathfrak {M}}_{\kappa _1}\)(\({\mathfrak {M}}_{\kappa _1}^{-1}\)) and \({\mathfrak {M}}_{\kappa _2}\)(\({\mathfrak {M}}_{\kappa _2}^{-1}\)), then the impedance function of the coupling falls into the class \({\mathfrak {M}}_{\kappa _1\kappa _2}\). Consequently, we obtain that if an L-system whose impedance function belongs to the standard Donoghue class \({\mathfrak {M}}={\mathfrak {M}}_0\) is coupled with any other L-system, the impedance function of the coupling belongs to \({\mathfrak {M}}\) (the absorbtion property). Observing the result of coupling of n L-systems as n goes to infinity, we put forward the concept of a limit coupling which leads to the notion of the system attractor, two models of which (in the position and momentum representations) are presented. All major results are illustrated by various examples.     

Killing Vector Fields of Generic Semi-Riemannian Metrics

Let M be a smooth oriented connected n-dimensional manifold and let \({\mathfrak{M}}\) be the space of pseudo-Riemannian metrics on M of a given signature \({(n^+, n^-), n^{+} + n^- = n > 1}\). A system of n metric invariants is attached to each metric in \({\mathfrak{M}}\), called the Ricci invariants, and by using the geometric properties of such invariants, the following result is proved: The subset \({\mathfrak{O} \subset \mathfrak{M}}\) of metrics with no Killing vector fields other than the trivial one is open and dense with respect to the strong topology.     

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.     

Correction: An Application of Free Probability to Arithmetic Functions

In this paper, we study free probability on tensor product algebra \(\mathfrak {M} = M\,\otimes _{\mathbb {C}}\,{\mathcal {A}}\) of a \(W^{*}\)-algebra M and the algebra \({\mathcal {A}}\), consisting of all arithmetic functions equipped with the functional addition and the convolution. We study free-distributional data of certain elements of \(\mathfrak {M}\), and study freeness on \(\mathfrak {M}\), affected by fixed primes.     

A special class of congruences on $${\kappa}$$-frames

In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras—this result led him to introduce, and investigate (in the same paper), the variety \({\mathcal{I}}\) of algebras, there called implication zroupoids (I-zroupoids) and here called implicator groupoids (\({\mathcal{I}}\)-groupoids), that generalize De Morgan algebras.The present paper is a continuation of the paper mentioned above and is devoted to investigating the structure of the lattice of subvarieties of \({\mathcal{I}}\), and also to making further contributions to the theory of implicator groupoids. Several new subvarieties of \({\mathcal{I}}\) are introduced and their relationship with each other, and with the subvarieties of \({\mathcal{I}}\) which were already investigated in the paper mentioned above, are explored.     

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.     

Complex homomorphisms on self-conjugate algebras of functions

Let X be a non-void set and A be a subalgebra of \({\mathbb{C}^{X}}\) . We call a \({\mathbb{C}}\) -linear functional \({\varphi}\) on A a 1-evaluation if \({\varphi(f) \in f(X) }\) for all \({f\in A}\) . From the classical Gleason–Kahane–?elazko theorem, it follows that if X in addition is a compact Hausdorff space then a mapping \({\varphi}\) of \({C_{\mathbb{C}}(X) }\) into \({\mathbb{C}}\) is a 1-evaluation if and only if \({\varphi}\) is a \({\mathbb{C}}\) -homomorphism. In this paper, we aim to investigate the extent to which this equivalence between 1-evaluations and \({\mathbb{C}}\) -homomorphisms can be generalized to a wider class of self-conjugate subalgebras of \({\mathbb{C}^{X}}\) . In this regards, we prove that a \({\mathbb{C}}\) -linear functional on a self-conjugate subalgebra A of \({\mathbb{C}^{X}}\) is a positive \({\mathbb{C}}\) -homomorphism if and only if \({\varphi}\) is a \({\overline{1}}\) -evaluation, that is, \({\varphi(f) \in\overline{f\left(X\right)}}\) for all \({f\in A}\) . As consequences of our general study, we prove that 1-evaluations and \({\mathbb{C}}\) -homomorphisms on \({C_{\mathbb{C}}\left( X\right)}\) coincide for any topological space X and we get a new characterization of realcompact topological spaces.     

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\}}\).     

A remark on Berger’s conjecture,Kolchin’s theorem,and arc schemes

Let k be a field of characteristic zero. Let V be a k-scheme of finite type, i.e., a k-variety, which is integral. We prove that if the associated arc scheme \({\mathcal{L}_{\infty}(V)}\) is reduced, then the \({\mathcal{O}_{V}}\)-Module \({\Omega_{V/k}^{1}}\) is torsion-free. Then if the k-variety V is assumed to be locally a complete intersection (lci), we deduce that the k-variety V is normal. We also obtain the following consequence: for every class \({\mathfrak{C}}\) of integral k-curves which satisfies the Berger conjecture, and for every \({\mathscr{C} \in \mathfrak{C}}\), the k-curve \({\mathscr{C}}\) is smooth if and only if \({\mathcal{L}(\mathscr{C})}\) is reduced.     

Generalized Hénon Mappings and Foliation by Injective Brody Curves

We consider a finite composition of generalized Hénon mappings \({\mathfrak {f}}:{\mathbb {C}}^2\rightarrow {\mathbb {C}}^2\) and its Green function \({\mathfrak {g}}^+:{\mathbb {C}}^2\rightarrow {\mathbb {R}}_{\ge 0}\) (see Sect. 2). It is well known that each level set \(\{{\mathfrak {g}}^+=c\}\) for \(c>0\) is foliated by biholomorphic images of \({\mathbb {C}}\) and each leaf is dense. In this paper, we prove that each leaf is actually an injective Brody curve in \(\mathbb {P}^2\) (see Sect. 4). We also study the behavior of the level sets of \({\mathfrak {g}}^+\) near infinity.     

On the additivity of block designs

We show that symmetric block designs \({\mathcal {D}}=({\mathcal {P}},{\mathcal {B}})\) can be embedded in a suitable commutative group \({\mathfrak {G}}_{\mathcal {D}}\) in such a way that the sum of the elements in each block is zero, whereas the only Steiner triple systems with this property are the point-line designs of \({\mathrm {PG}}(d,2)\) and \({\mathrm {AG}}(d,3)\). In both cases, the blocks can be characterized as the only k-subsets of \(\mathcal {P}\) whose elements sum to zero. It follows that the group of automorphisms of any such design \(\mathcal {D}\) is the group of automorphisms of \({\mathfrak {G}}_\mathcal {D}\) that leave \(\mathcal {P}\) invariant. In some special cases, the group \({\mathfrak {G}}_\mathcal {D}\) can be determined uniquely by the parameters of \(\mathcal {D}\). For instance, if \(\mathcal {D}\) is a 2-\((v,k,\lambda )\) symmetric design of prime order p not dividing k, then \({\mathfrak {G}}_\mathcal {D}\) is (essentially) isomorphic to \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\), and the embedding of the design in the group can be described explicitly. Moreover, in this case, the blocks of \(\mathcal {B}\) can be characterized also as the v intersections of \(\mathcal {P}\) with v suitable hyperplanes of \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\).     

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.