A note on the theorem of Johnson,Palmer and Sell

The well-known theorem of Johnson, Palmer and Sell asserts that the endpoints of the Sacker–Sell spectrum of a given cocycle \(\mathcal {A}\) over a topological dynamical system (M, f) are realized as Lyapunov exponents with respect to some ergodic invariant probability measure for f. The main purpose of this note is to give an alternative proof of this theorem which uses a more recent and independent result of Cao which formulates sufficient conditions for the uniform hyperbolicity of a given cocyle \(\mathcal {A}\) in terms of the nonvanishing of Lyapunov exponents for \(\mathcal {A}\). We also discuss the possibility of obtaining positive results related to the stability of the Sacker–Sell spectra under the perturbations of the cocycle \(\mathcal {A}\).     

Malcev products of unipotent monoids and varieties of bands

Let \(\mathcal{U}\) be the class of all unipotent monoids and \(\mathcal{B}\) the variety of all bands. We characterize the Malcev product \(\mathcal{U} \circ \mathcal{V}\) where \(\mathcal{V}\) is a subvariety of \(\mathcal{B}\) low in its lattice of subvarieties, \(\mathcal{B}\) itself and the subquasivariety \(\mathcal{S} \circ \mathcal{RB}\), where \(\mathcal{S}\) stands for semilattices and \(\mathcal{RB}\) for rectangular bands, in several ways including by a set of axioms. For members of some of them we describe the structure as well. This succeeds by using the relation \(\widetilde{\mathcal{H}}= \widetilde{\mathcal{L}} \cap \widetilde{\mathcal{R}}\), where \(a\;\,\widetilde{\mathcal{L}}\;\,b\) if and only if a and b have the same idempotent right identities, and \(\widetilde{\mathcal{R}}\) is its dual.We also consider \((\mathcal{U} \circ \mathcal{RB}) \circ \mathcal{S}\) which provides the motivation for this study since \((\mathcal{G} \circ \mathcal{RB}) \circ \mathcal{S}\) coincides with completely regular semigroups, where \(\mathcal{G}\) is the variety of all groups. All this amounts to a generalization of the latter: \(\mathcal{U}\) instead of \(\mathcal{G}\).     

Relative Transpose and its Dual with Respect to a Bimodule

For a class of modules \(\mathcal {X}\), we introduce the \(\mathcal {X}\)-transpose of a module with respect to a bimodule, which unifies some well-known transposes. Let \(\mathcal {V}\) be a subclass of \(\mathcal {X}\). The relations between \(\mathcal {X}\)-transposes and \(\mathcal {V}\)-transposes are investigated under the condition that \(\mathcal {V}\) is a generator or cogenerator of \(\mathcal {X}\). The dual aspects of \(\mathcal {X}\)-transposes are also discussed. Then we give some applications of these results. In particular, the dual counterparts of Gorenstein transposes are established.     

Largest initial segments pointwise fixed by automorphisms of models of set theory

Given a model \(\mathcal {M}\) of set theory, and a nontrivial automorphism j of \(\mathcal {M}\), let \(\mathcal {I}_{\mathrm {fix}}(j)\) be the submodel of \(\mathcal {M}\) whose universe consists of elements m of \(\mathcal {M}\) such that \(j(x)=x\) for every x in the transitive closure of m (where the transitive closure of m is computed within \(\mathcal {M}\)). Here we study the class \(\mathcal {C}\) of structures of the form \(\mathcal {I}_{\mathrm {fix}}(j)\), where the ambient model \(\mathcal {M}\) satisfies a frugal yet robust fragment of \(\mathrm {ZFC}\) known as \(\mathrm {MOST}\), and \(j(m)=m\) whenever m is a finite ordinal in the sense of \(\mathcal {M}.\) Our main achievement is the calculation of the theory of \(\mathcal {C}\) as precisely \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\). The following theorems encapsulate our principal results: Theorem A. Every structure in \(\mathcal {C}\) satisfies \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm { Collection}\). Theorem B. Each of the following three conditions is sufficient for a countable structure \(\mathcal {N}\) to be in \(\mathcal {C}\):(a) \(\mathcal {N}\) is a transitive model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(b) \(\mathcal {N}\) is a recursively saturated model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(c) \(\mathcal {N}\) is a model of \(\mathrm {ZFC}\). Theorem C. Suppose \(\mathcal {M}\) is a countable recursively saturated model of \(\mathrm {ZFC}\) and I is a proper initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is closed under exponentiation and contains \(\omega ^\mathcal {M}\) . There is a group embedding \(j\longmapsto \check{j}\) from \(\mathrm {Aut}(\mathbb {Q})\) into \(\mathrm {Aut}(\mathcal {M})\) such that I is the longest initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is pointwise fixed by \(\check{j}\) for every nontrivial \(j\in \mathrm {Aut}(\mathbb {Q}).\) In Theorem C, \(\mathrm {Aut}(X)\) is the group of automorphisms of the structure X, and \(\mathbb {Q}\) is the ordered set of rationals.     

An extension of Wilf’s conjecture to affine semigroups

Let \(\mathcal {C}\subset \mathbb {Q}^p_+\) be a rational cone. An affine semigroup \(S\subset \mathcal {C}\) is a \(\mathcal {C}\)-semigroup whenever \((\mathcal {C}\setminus S)\cap \mathbb {N}^p\) has only a finite number of elements. In this work, we study the tree of \(\mathcal {C}\)-semigroups, give a method to generate it and study the \(\mathcal {C}\)-semigroups with minimal embedding dimension. We extend Wilf’s conjecture for numerical semigroups to \(\mathcal {C}\)-semigroups and give some families of \(\mathcal {C}\)-semigroups fulfilling the extended conjecture. Other conjectures formulated for numerical semigroups are also studied for \(\mathcal {C}\)-semigroups.     

The countable existentially closed pseudocomplemented semilattice

As the class \(\mathcal {PCSL}\) of pseudocomplemented semilattices is a universal Horn class generated by a single finite structure it has a \(\aleph _0\)-categorical model companion \(\mathcal {PCSL}^*\). As \(\mathcal {PCSL}\) is inductive the models of \(\mathcal {PCSL}^*\) are exactly the existentially closed models of \(\mathcal {PCSL}\). We will construct the unique existentially closed countable model of \(\mathcal {PCSL}\) as a direct limit of algebraically closed pseudocomplemented semilattices.     

Maps with the Unique Extension Property and $$\hbox {C}^{*}$$-Extreme Points

We investigate boundary representations in the context where Hilbert spaces are replaced by \(\hbox {C}^{*}\)-modules over abelian von Neumann algebras and apply this to study \(\hbox {C}^{*}\)-extreme points. We present an (unexpected) example of a weak* compact \(\mathcal {B}\)-convex subset of \({\mathbb {B}}(\mathcal {H})\) without \(\mathcal {B}\)-extreme points, where \(\mathcal {B}\) is an abelian von Neumann algebra on a Hilbert space \(\mathcal {H}\). On the other hand, if \(\mathcal {A}\) is a von Neumann algebra with a separable predual and whose finite part is injective, we show that each weak* compact \(\mathcal {A}\)-convex subset of \(\ell ^{\infty }(\mathcal {A})\) is generated by its \(\mathcal {A}\)-extreme points.     

Positive Systems of Kostant Roots

Let \(\mathfrak {g}\) be a simple complex Lie algebra and let \(\mathfrak {t} \subset \mathfrak {g}\) be a toral subalgebra of \(\mathfrak {g}\). As a \(\mathfrak {t}\)-module \(\mathfrak {g}\) decomposes as

$$\mathfrak{g} = \mathfrak{s} \oplus \left( \oplus_{\nu \in \mathcal{R}}~ \mathfrak{g}^{\nu}\right)$$

where \(\mathfrak {s} \subset \mathfrak {g}\) is the reductive part of a parabolic subalgebra of \(\mathfrak {g}\) and \(\mathcal {R}\) is the Kostant root system associated to \(\mathfrak {t}\). When \(\mathfrak {t}\) is a Cartan subalgebra of \(\mathfrak {g}\) the decomposition above is nothing but the root decomposition of \(\mathfrak {g}\) with respect to \(\mathfrak {t}\); in general the properties of \(\mathcal {R}\) resemble the properties of usual root systems. In this note we study the following problem: “Given a subset \(\mathcal {S} \subset \mathcal {R}\), is there a parabolic subalgebra \(\mathfrak {p}\) of \(\mathfrak {g}\) containing \(\mathcal {M} = \oplus _{\nu \in \mathcal {S}} \mathfrak {g}^{\nu }\) and whose reductive part equals \(\mathfrak {s}\)?”. Our main results is that, for a classical simple Lie algebra \(\mathfrak {g}\) and a saturated \(\mathcal {S} \subset \mathcal {R}\), the condition \((\text {Sym}^{\cdot }(\mathcal {M}))^{\mathfrak {s}} = \mathbb {C}\) is necessary and sufficient for the existence of such a \(\mathfrak {p}\). In contrast, we show that this statement is no longer true for the exceptional Lie algebras F₄,E₆,E₇, and E₈. Finally, we discuss the problem in the case when \(\mathcal {S}\) is not saturated.

     

On Standard Derived Equivalences of Orbit Categories

Let k be a commutative ring, \(\mathcal {A}\) and \(\mathcal {B}\) – two k-linear categories with an action of a group G. We introduce the notion of a standard G-equivalence from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\), where \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) is the homotopy category of finitely generated projective \(\mathcal {A}\)-complexes. We construct a map from the set of standard G-equivalences to the set of standard equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) and a map from the set of standard G-equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) to the set of standard equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}(\mathcal {B}/G)\) to \(\mathcal {K}_{p}^{\mathrm {b}}(\mathcal {A}/G)\), where \(\mathcal {A}/G\) denotes the orbit category. We investigate the properties of these maps and apply our results to the case where \(\mathcal {A}=\mathcal {B}=R\) is a Frobenius k-algebra and G is the cyclic group generated by its Nakayama automorphism ν. We apply this technique to obtain the generating set of the derived Picard group of a Frobenius Nakayama algebra over an algebraically closed field.     

On square-increasing ordered monoids and idempotent semirings

Let \(\mathcal {V}\) be the variety of square-increasing idempotent semirings. Its members can be viewed as semilattice-ordered monoids satisfying \(x\le x^{2}\). We show that the universal theory of \(\mathcal {V}\) is decidable. In order to prove this result, we investigate the class \(\mathcal {Q}\) whose members are ordered-monoid subreducts of members from \(\mathcal {V}\). In particular, we prove that finitely generated members from \(\mathcal {Q}\) are well-partially-ordered and residually finite.     

Hall Polynomials for Nakayama Algebras

Let \(\mathcal{A}\) be a representation finite algebra over finite field k. In this note we first show that the existence of Hall polynomials for \(\mathcal{A}\) equivalent to the existence of the Hall polynomial \(\varphi^{M}_{N L}\) for each \(M, L \in mod\mathcal{A}\) and \(N\in ind\mathcal{A}\). Then we show that for a basic connected Nakayama algebra \(\mathcal{A}\), \(\mathcal{H}(\mathcal{A})=\mathcal{L}(\mathcal{A})\) and Hall polynomials exist for this algebra. We also provide another proof of the existence of Hall polynomials for the representation directed split algebras.     

On the Connection Between Ritt Characteristic Sets and Buchberger–Gröbner Bases

For any polynomial ideal \(\mathcal {I}\), let the minimal triangular set contained in the reduced Buchberger–Gröbner basis of \(\mathcal {I}\) with respect to the purely lexicographical term order be called the W-characteristic set of \(\mathcal {I}\). In this paper, we establish a strong connection between Ritt’s characteristic sets and Buchberger’s Gröbner bases of polynomial ideals by showing that the W-characteristic set \(\mathbb {C}\) of \(\mathcal {I}\) is a Ritt characteristic set of \(\mathcal {I}\) whenever \(\mathbb {C}\) is an ascending set, and a Ritt characteristic set of \(\mathcal {I}\) can always be computed from \(\mathbb {C}\) with simple pseudo-division when \(\mathbb {C}\) is regular. We also prove that under certain variable ordering, either the W-characteristic set of \(\mathcal {I}\) is normal, or irregularity occurs for the jth, but not the \((j+1)\)th, elimination ideal of \(\mathcal {I}\) for some j. In the latter case, we provide explicit pseudo-divisibility relations, which lead to nontrivial factorizations of certain polynomials in the Buchberger–Gröbner basis and thus reveal the structure of such polynomials. The pseudo-divisibility relations may be used to devise an algorithm to decompose arbitrary polynomial sets into normal triangular sets based on Buchberger–Gröbner bases computation.     

<Emphasis Type="Italic">l</Emphasis>-Groups <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">X</Emphasis>) in continuous logic

In the context of continuous logic, this paper axiomatizes both the class \(\mathcal {C}\) of lattice-ordered groups isomorphic to C(X) for X compact and the subclass \(\mathcal {C}^+\) of structures existentially closed in \(\mathcal {C}\); shows that the theory of \(\mathcal {C}^+\) is \(\aleph _0\)-categorical and admits elimination of quantifiers; establishes a Nullstellensatz for \(\mathcal {C}\) and \(\mathcal {C}^+\); shows that \(C(X)\in \mathcal {C}\) has a prime-model extension in \(\mathcal {C}^+\) just in case X is Boolean; and proves that in a sense relevant to continuous logic, positive formulas admit in \(\mathcal {C}^+\) elimination of quantifiers to positive formulas.     

How to convexify the intersection of a second order cone and a nonconvex quadratic

A recent series of papers has examined the extension of disjunctive-programming techniques to mixed-integer second-order-cone programming. For example, it has been shown—by several authors using different techniques—that the convex hull of the intersection of an ellipsoid, \(\mathcal {E}\), and a split disjunction, \((l - x_j)(x_j - u) \le 0\) with \(l < u\), equals the intersection of \(\mathcal {E}\) with an additional second-order-cone representable (SOCr) set. In this paper, we study more general intersections of the form \(\mathcal {K}\cap \mathcal {Q}\) and \(\mathcal {K}\cap \mathcal {Q}\cap H\), where \(\mathcal {K}\) is a SOCr cone, \(\mathcal {Q}\) is a nonconvex cone defined by a single homogeneous quadratic, and H is an affine hyperplane. Under several easy-to-verify conditions, we derive simple, computable convex relaxations \(\mathcal {K}\cap \mathcal {S}\) and \(\mathcal {K}\cap \mathcal {S}\cap H\), where \(\mathcal {S}\) is a SOCr cone. Under further conditions, we prove that these two sets capture precisely the corresponding conic/convex hulls. Our approach unifies and extends previous results, and we illustrate its applicability and generality with many examples.     

Shadows of the axiom of choice in the universe $$L(\mathbb {R})$$

We show that several theorems about Polish spaces, which depend on the axiom of choice (\(\mathcal {AC}\)), have interesting corollaries that are theorems of the theory \(\mathcal {ZF} + \mathcal {DC}\), where \(\mathcal {DC}\) is the axiom of dependent choices. Surprisingly it is natural to use the full \(\mathcal {AC}\) to prove the existence of these proofs; in fact we do not even know the proofs in \(\mathcal {ZF} + \mathcal {DC}\). Let \(\mathcal {AD}\) denote the axiom of determinacy. We show also, in the theory \(\mathcal {ZF} + \mathcal {AD} + V = L(\mathbb {R})\), a theorem which strenghtens and generalizes the theorem of Drinfeld (Funct Anal Appl 18:245–246, 1985) and Margulis (Monatshefte Math 90:233–235, 1980) about the unicity of Lebesgue’s measure. This generalization is false in \(\mathcal {ZFC}\), but assuming the existence of large enough cardinals it is true in the model \(\langle L(\mathbb {R}),\in \rangle \).     

On the image,characterization, and automatic continuity of $$\varvec{(\sigma }, \varvec{\tau }$$ )-derivations

The first main theorem of this paper asserts that any \((\sigma , \tau )\)-derivation d, under certain conditions, either is a \(\sigma \)-derivation or is a scalar multiple of (\(\sigma - \tau \)), i.e. \(d = \lambda (\sigma - \tau )\) for some \(\lambda \in \mathbb {C} \backslash \{0\}\). By using this characterization, we achieve a result concerning the automatic continuity of \((\sigma , \tau \))-derivations on Banach algebras which reads as follows. Let \(\mathcal {A}\) be a unital, commutative, semi-simple Banach algebra, and let \(\sigma , \tau : \mathcal {A} \rightarrow \mathcal {A}\) be two distinct endomorphisms such that \(\varphi \sigma (\mathbf e )\) and \(\varphi \tau (\mathbf e )\) are non-zero complex numbers for all \(\varphi \in \Phi _\mathcal {A}\). If \(d : \mathcal {A} \rightarrow \mathcal {A}\) is a \((\sigma , \tau )\)-derivation such that \(\varphi d\) is a non-zero linear functional for every \(\varphi \in \Phi _\mathcal {A}\), then d is automatically continuous. As another objective of this research, we prove that if \(\mathfrak {M}\) is a commutative von Neumann algebra and \(\sigma :\mathfrak {M} \rightarrow \mathfrak {M}\) is an endomorphism, then every Jordan \(\sigma \)-derivation \(d:\mathfrak {M} \rightarrow \mathfrak {M}\) is identically zero.     

The canonical projection associated with certain possibly infinite generalized iterated function systems as a fixed point

In this paper, influenced by the ideas from Mihail (Fixed Point Theory Appl 2015:15, 2015), we associate to every generalized iterated function system \(\mathcal {F}\) (of order m) an operator \(H_{\mathcal {F}}:\mathcal {C} ^{m}\rightarrow \mathcal {C}\), where \(\mathcal {C}\) stands for the space of continuous functions from the shift space on the metric space corresponding to the system. We provide sufficient conditions (on the constitutive functions of \(\mathcal {F}\)) for the operator \(H_{\mathcal {F}}\) to be continuous, contraction, \(\varphi \)-contraction, Meir–Keeler or contractive. We also give sufficient condition under which \(H_{\mathcal {F}}\) has a unique fixed point \(\pi _{0}\). Moreover, we prove that, under these circumstances, the closure of the imagine of \(\pi _{0}\) is the attractor of \(\mathcal {F}\) and that \(\pi _{0}\) is the canonical projection associated with \(\mathcal {F}\). In this way we give a partial answer to the open problem raised on the last paragraph of the above-mentioned Mihail’s paper.     

On the horizontal diameter of the unit sphere

For a singular Riemannian foliation \(\mathcal {F}\) on a Riemannian manifold M, a curve is called horizontal if it meets the leaves of \(\mathcal {F}\) perpendicularly. For a singular Riemannian foliation \(\mathcal {F}\) on a unit sphere \(\mathbb {S}^{n}\), we show that if \(\mathcal {F}\) satisfies some properties, then the horizontal diameter of \(\mathbb {S}^{n}\) is \(\pi \), i.e., any two points in \(\mathbb {S}^{n}\) can be connected by a horizontal curve of length \(\le \pi \).