Inflation of Finite Lattices Along All-or-nothing Sets

We introduce a new generalization of Alan Day’s doubling construction. For ordered sets \(\mathcal {L}\) and \(\mathcal {K}\) and a subset \(E \subseteq \ \leq _{\mathcal {L}}\) we define the ordered set \(\mathcal {L} \star _{E} \mathcal {K}\) arising from inflation of \(\mathcal {L}\) along E by \(\mathcal {K}\). Under the restriction that \(\mathcal {L}\) and \(\mathcal {K}\) are finite lattices, we find those subsets \(E \subseteq \ \leq _{\mathcal {L}}\) such that the ordered set \(\mathcal {L} \star _{E} \mathcal {K}\) is a lattice. Finite lattices that can be constructed in this way are classified in terms of their congruence lattices.A finite lattice is binary cut-through codable if and only if there exists a 0?1 spanning chain \(\left \{\theta _{i}\colon 0 \leq i \leq n \right \}\) in \(Con(\mathcal {L})\) such that the cardinality of the largest block of ?? _i /?? _i?1 is 2 for every i with 1≤i≤n. These are exactly the lattices that can be constructed by inflation from the 1-element lattice using only the 2-element lattice. We investigate the structure of binary cut-through codable lattices and describe an infinite class of lattices that generate binary cut-through codable varieties.     

The lattice of congruence lattices of algebras on a finite set

The congruence lattices of all algebras defined on a fixed finite set A ordered by inclusion form a finite atomistic lattice \(\mathcal {E}\). We describe the atoms and coatoms. Each meet-irreducible element of \(\mathcal {E}\) 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 characterisations we deduce several properties of the lattice \(\mathcal {E}\); in particular, we prove that \(\mathcal {E}\) is tolerance-simple whenever \(|A|\ge 4\).     

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.     

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

Kleisli Monoids Describing Approach Spaces

We study the functional ideal monad \(\mathbb {I} = (\mathsf {I}, m, e)\) on S e t and show that this monad is power-enriched. This leads us to the category \(\mathbb {I}\)- M o n of all \(\mathbb {I}\)-monoids with structure preserving maps. We show that this category is isomorphic to A p p, the category of approach spaces with contractions as morphisms. Through the concrete isomorphism, an \(\mathbb {I}\)-monoid (X,ν) corresponds to an approach space \((X, \mathfrak {A}),\) described in terms of its bounded local approach system. When I is extended to R e l using the Kleisli extension \(\check {\mathsf {I}},\) from the fact that \(\mathbb {I}\)- M o n and \((\mathbb {I},2)\)- C a t are isomorphic, we obtain the result that A p p can be isomorphically described in terms of convergence of functional ideals, based on the two axioms of relational algebras, reflexivity and transitivity. We compare these axioms to the ones put forward in Lowen (2015). Considering the submonad \(\mathbb {B}\) of all prime functional ideals, we show that it is both sup-dense and interpolating in \(\mathbb {I}\), from which we get that \((\mathbb {I},2)\)- C a t and \((\mathbb {B},2)\)- C a t are isomorphic. We present some simple axioms describing A p p in terms of prime functional ideal convergence.     

<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.     

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.     

Numerical semigroups whose fractions are of maximal embedding dimension

Each saturated (resp., Arf) numerical semigroup S has the property that each of its fractions \(\frac{S}{k}\) is saturated (resp., Arf), but the property of being of maximal embedding dimension (MED) is not stable under formation of fractions. If S is a numerical semigroup, then S is MED (resp., Arf; resp., saturated) if and only if, for each 2≤k∈?, \(S = \frac{T}{k}\) for infinitely many MED (resp., Arf; resp., saturated) numerical semigroups T. Let \(\mathcal{A}\) (resp., \(\mathcal{F}\)) be the class of Arf numerical semigroups (resp., of numerical semigroups each of whose fractions is of maximal embedding dimension). Then there exists an infinite strictly ascending chain \(\mathcal{A} =\mathcal{C}_{1} \subset\mathcal{C}_{2} \subset\mathcal{C}_{3}\subset \,\cdots\, \subset\mathcal{F}\), where, like \(\mathcal{A}\) and \(\mathcal{F}\), each \(\mathcal{C}_{n}\) is stable under the formation of fractions.     

Irreducible Morphisms and Locally Finite Dimensional Representations

Let \(\mathcal {A}\) be a Hom-finite additive Krull-Schmidt k-category where k is an algebraically closed field. Let \(\text {mod}\mathcal {A}\) denote the category of locally finite dimensional \(\mathcal {A}\)-modules, that is, the category of covariant functors \(\mathcal {A} \to \text {mod}k\). We prove that an irreducible monomorphism in \(\text {mod}\mathcal {A}\) has a finitely generated cokernel, and that an irreducible epimorphism in \(\text {mod}\mathcal {A}\) has a finitely co-generated kernel. Using this, we get that an almost split sequence in \(\text {mod}\mathcal {A}\) has to start with a finitely co-presented module and end with a finitely presented one. Finally, we apply our results to the study of rep(Q), the category of locally finite dimensional representations of a strongly locally finite quiver. We describe all possible shapes of the Auslander-Reiten quiver of rep(Q).     

Representations of Currents Taking Values in a Totally Disconnected Group

Let \(G={\mathcal{A}ut(\mathcal{T})}\) be the group of all automorphisms of a homogeneous tree \(\mathcal{T}\) of degree q?+?1?≥?3 and (X, m) a compact metrizable measure space with a probability measure m. We assume that μ has no atoms. The group \(\mathcal{G}={\mathcal{A}ut(\mathcal{T})}^X=G^X\) of bounded measurable currents is the completion of the group of step functions \(f:X\to{\mathcal{A}ut(\mathcal{T})}\) with respect to a suitable metric. Continuos functions form a dense subgroup of \(\mathcal{G}\). Following the ideas of I.M. Gelfand, M.I. Graev and A.M. Vershik we shall construct an irreducible family of representations of \(\mathcal{G}\). The existence of such representations depends deeply from the nonvanisching of the first cohomology group \(H^1({\mathcal{A}ut(\mathcal{T})},\pi)\) for a suitable infinite dimensional π.     

Nonlinear *-Lie-type derivations on standard operator algebras

Let \(\mathcal{H}\) be an infinite dimensional complex Hilbert space and \(\mathcal{A}\) be a standard operator algebra on \(\mathcal{H}\) which is closed under the adjoint operation. It is shown that each nonlinear *-Lie-type derivation δ on \(\mathcal{A}\) is a linear *-derivation. Moreover, δ is an inner *-derivation as well.     

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

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.     

On Riesz Transforms Characterization of <Emphasis Type="Italic">H</Emphasis><Superscript>1</Superscript> Spaces Associated with Some Schrödinger Operators

Let \(\mathcal Lf(x)=-\Delta f (x)+V(x)f(x)\), V?≥?0, \(V\in L^1_{loc}(\mathbb R^d)\), be a non-negative self-adjoint Schrödinger operator on \(\mathbb R^d\). We say that an L ¹-function f is an element of the Hardy space \(H^1_{\mathcal L}\) if the maximal function

$ \mathcal M_{\mathcal L} f(x)=\sup\limits_{t>0}|e^{-t\mathcal L} f(x)| $

belongs to \(L^1(\mathbb R^d)\). We prove that under certain assumptions on V the space \(H^1_{\mathcal L}\) is also characterized by the Riesz transforms \(R_j=\frac{\partial}{\partial x_j}\mathcal L^{-1\slash 2}\), j?=?1,...,d, associated with \(\mathcal L\). As an example of such a potential V one can take any V?≥?0, \(V\in L^1_{loc}\), in one dimension.

     

Lie Triple Derivations on von Neumann Algebras

Let A be a von Neumann algebra with no central abelian projections. It is proved that if an additive map δ :A → A satisfies δ([[a, b], c]) = [[δ(a), b], c] + [[a, δ(b)], c] +[[a, b], δ(c)] for any a, b, c∈ A with ab = 0(resp. ab = P, where P is a fixed nontrivial projection in A), then there exist an additive derivation d from A into itself and an additive map f :A → ZA vanishing at every second commutator [[a, b], c] with ab = 0(resp.ab = P) such that δ(a) = d(a) + f(a) for any a∈ A.     

Resilience of ranks of higher inclusion matrices

Let \(n \ge r \ge s \ge 0\) be integers and \(\mathcal {F}\) a family of r-subsets of [n]. Let \(W_{r,s}^{\mathcal {F}}\) be the higher inclusion matrix of the subsets in \({{\mathcal {F}}}\) vs. the s-subsets of [n]. When \(\mathcal {F}\) consists of all r-subsets of [n], we shall simply write \(W_{r,s}\) in place of \(W_{r,s}^{\mathcal {F}}\). In this paper we prove that the rank of the higher inclusion matrix \(W_{r,s}\) over an arbitrary field K is resilient. That is, if the size of \(\mathcal {F}\) is “close” to \({n \atopwithdelims ()r}\) then \({{\mathrm{rank}}}_{K}( W_{r,s}^{\mathcal {F}}) = {{\mathrm{rank}}}_{K}(W_{r,s})\), where K is an arbitrary field. Furthermore, we prove that the rank (over a field K) of the higher inclusion matrix of r-subspaces vs. s-subspaces of an n-dimensional vector space over \({\mathbb {F}}_q\) is also resilient if \(\mathrm{char}(K)\) is coprime to q.     

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.     

Well-Quasi-Order of Relabel Functions

We define NLC\(_k^{\mathcal{F}}\) to be the restriction of the class of graphs NLC _k , where relabelling functions are exclusively taken from a set \(\mathcal{F}\) of functions from {1,...,k} into {1,...,k}. We characterize the sets of functions \(\mathcal{F}\) for which NLC\(_k^{\mathcal{F}}\) is well-quasi-ordered by the induced subgraph relation ≤? _i . Precisely, these sets \(\mathcal{F}\) are those which satisfy that for every \(f,g\in \mathcal{F}\), we have Im(f?°?g)?=?Im(f) or Im(g?°?f)?=?Im(g). To obtain this, we show that words (or trees) on \(\mathcal{F}\) are well-quasi-ordered by a relation slightly more constrained than the usual subword (or subtree) relation. A class of graphs is n-well-quasi-ordered if the collection of its vertex-labellings into n colors forms a well-quasi-order under ≤? _i , where ≤? _i respects labels. Pouzet (C R Acad Sci, Paris Sér A–B 274:1677–1680, 1972) conjectured that a 2-well-quasi-ordered class closed under induced subgraph is in fact n-well-quasi-ordered for every n. A possible approach would be to characterize the 2-well-quasi-ordered classes of graphs. In this respect, we conjecture that such a class is always included in some well-quasi-ordered NLC\(_k^{\mathcal{F}}\) for some family \(\mathcal{F}\). This would imply Pouzet’s conjecture.     

A relative <Emphasis Type="Italic">m</Emphasis>-cover of a Hermitian surface is a relative hemisystem

An m-cover of the Hermitian surface \(\mathrm {H}(3,q^2)\) of \(\mathrm {PG}(3,q^2)\) is a set \(\mathcal {S}\) of lines of \(\mathrm {H}(3,q^2)\) such that every point of \(\mathrm {H}(3,q^2)\) lies on exactly m lines of \(\mathcal {S}\), and \(0<m<q+1\). Segre (Annali di Matematica Pura ed Applicata Serie Quarta 70:1–201, 1965) proved that if q is odd, then \(m=(q+1)/2\), and called such a set \(\mathcal {S}\) of lines a hemisystem. Penttila and Williford (J Comb Theory Ser A 118(2):502–509, 2011) introduced the notion of a relative hemisystem of a generalised quadrangle \(\varGamma \) with respect to a subquadrangle \(\varGamma '\): a set of lines \(\mathcal {R}\) of \(\varGamma \) disjoint from \(\varGamma '\) such that every point P of \(\varGamma \setminus \varGamma '\) has half of its lines (disjoint from \(\varGamma '\)) lying in \(\mathcal {R}\). In this paper, we provide an analogue of Segre’s result by introducing relative m-covers of generalised quadrangles of order \((q^2,q)\) with respect to a subquadrangle and proving that m must be q / 2 when the subquadrangle is doubly subtended. In particular, a relative m-cover of \(\mathrm {H}(3,q^2)\) with respect to a symplectic subgeometry \(\mathrm {W}(3,q)\) is a relative hemisystem.     

Sets with even partition functions and 2-adic integers

For P ? \(\mathbb{F}_2 \)[z] with _P(0) = 1 and deg(_P) ≥ 1, let \(\mathcal{A}\) = \(\mathcal{A}\)(P) (cf. [4], [5], [13]) be the unique subset of ? such that Σ _n≥0 p(\(\mathcal{A}\), n)z ⁿ ≡ P(z) (mod 2), where p(\(\mathcal{A}\), n) is the number of partitions of n with parts in \(\mathcal{A}\). Let p be an odd prime and P ? \(\mathbb{F}_2 \)[z] be some irreducible polynomial of order p, i.e., p is the smallest positive integer such that P(z) divides 1 + z ^p in \(\mathbb{F}_2 \)[z]. In this paper, we prove that if m is an odd positive integer, the elements of \(\mathcal{A}\) = \(\mathcal{A}\)(P) of the form 2 ^k m are determined by the 2-adic expansion of some root of a polynomial with integer coefficients. This extends a result of F. Ben Saïd and J.-L. Nicolas [6] to all primes p.