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.     

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.     

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.     

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

Spectral Theory of the Atiyah–Patodi–Singer Operator on Compact Flat Manifolds

We study the spectral theory of the Dirac-type boundary operator \(\mathcal{D}\) defined by Atiyah, Patodi, and Singer, acting on smooth even forms of a compact flat Riemannian manifold M. We give an explicit formula for the multiplicities of the eigenvalues of \(\mathcal{D}\) in terms of values of characters of exterior representations of SO(n), where n=dim?M. As a consequence, we give large families of \(\mathcal{D}\)-isospectral flat manifolds that are non-homeomorphic to each other. Furthermore, we derive expressions for the eta series in terms of special values of Hurwitz zeta functions and, as a result, we obtain a simple explicit expression of the eta invariant.     

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.     

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.     

Approximation of Invariant Subspaces in Some Dirichlet-Type Spaces

The Hilbert space \(\mathcal {D}_{2}\) is the space of all holomorphic functions f defined on the open unit disc \(\mathbb {D}\) such that \({f}^{'}\) is in the Hardy Hilbert space \(\mathbf {H}^2.\) In this paper, we prove that the invariant subspaces of \(\mathcal {D}_{2}\) with respect to multiplication operator \(M_{z}\) can be approximated with finite co-dimensional invariant subspaces. We also obtain a partial result in this direction for the classical Dirichlet space.     

rthogonality Property $$\mathcal {}$$ and Compact Perturbations

A bounded linear operator T acting on a Hilbert space is said to have orthogonality property \(\mathcal {O}\) if the subspaces \(\ker (T-\alpha )\) and \(\ker (T-\beta )\) are orthogonal for all \(\alpha , \beta \in \sigma _p(T)\) with \(\alpha \ne \beta \). In this paper, the authors investigate the compact perturbations of operators with orthogonality property \(\mathcal {O}\). We give a sufficient and necessary condition to determine when an operator T has the following property: for each \(\varepsilon >0\), there exists \(K\in \mathcal {K(H)}\) with \(\Vert K\Vert <\varepsilon \) such that \(T+K\) has orthogonality property \(\mathcal {O}\). Also, we study the stability of orthogonality property \(\mathcal {O}\) under small compact perturbations and analytic functional calculus.     

Relative Projectivity and Transferability for Partial Lattices

A partial lattice P is ideal-projective, with respect to a class \(\mathcal {C}\) of lattices, if for every \(K\in \mathcal {C}\) and every homomorphism φ of partial lattices from P to the ideal lattice of K, there are arbitrarily large choice functions f:P→K for φ that are also homomorphisms of partial lattices. This extends the traditional concept of (sharp) transferability of a lattice with respect to \(\mathcal {C}\). We prove the following: (1) A finite lattice P, belonging to a variety \(\mathcal {V}\), is sharply transferable with respect to \(\mathcal {V}\) iff it is projective with respect to \(\mathcal {V}\) and weakly distributive lattice homomorphisms, iff it is ideal-projective with respect to \(\mathcal {V}\), (2) Every finite distributive lattice is sharply transferable with respect to the class \(\mathcal {R}_{\text {mod}}\) of all relatively complemented modular lattices, (3) The gluing D ₄ of two squares, the top of one being identified with the bottom of the other one, is sharply transferable with respect to a variety \(\mathcal {V}\) iff \(\mathcal {V}\) is contained in the variety \(\mathcal {M}_{\omega }\) generated by all lattices of length 2, (4) D ₄ is projective, but not ideal-projective, with respect to \(\mathcal {R}_{\text {mod}}\) , (5) D ₄ is transferable, but not sharply transferable, with respect to the variety \(\mathcal {M}\) of all modular lattices. This solves a 1978 problem of G. Grätzer, (6) We construct a modular lattice whose canonical embedding into its ideal lattice is not pure. This solves a 1974 problem of E. Nelson.     

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

Elliptic ovoids and their rosettes in a classical generalized quadrangle of even order

Let Q₀ be the classical generalized quadrangle of order q = 2ⁿ(n≥2) arising from a non-degenerate quadratic form in a 5-dimensional vector space defined over a finite field of order q. We consider the rank two geometry \(\mathcal {X}\) having as points all the elliptic ovoids of Q₀ and as lines the maximal pencils of elliptic ovoids of Q₀ pairwise tangent at the same point. We first prove that \(\mathcal {X}\) is isomorphic to a 2-fold quotient of the affine generalized quadrangle Q?Q₀, where Q is the classical (q,q²)-generalized quadrangle admitting Q₀ as a hyperplane. Further, we classify the cliques in the collinearity graph Γ of \(\mathcal {X}\). We prove that any maximal clique in Γ is either a line of \(\mathcal {X}\) or it consists of 6 or 4 points of \(\mathcal {X}\) not contained in any line of \(\mathcal {X}\), accordingly as n is odd or even. We count the number of cliques of each type and show that those cliques which are not contained in lines of \(\mathcal {X}\) arise as subgeometries of Q defined over \(\mathbb {F}_{2}\).     

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.     

Pure States on Cuntz Algebras Arising from Geometric Progressions

Let \(\mathcal {O}_{n}\) denote the Cuntz algebra for n ≥ 2. We introduce an embedding f of \(\mathcal {O}_{m}\) into \(\mathcal {O}_{n}\) arising from a geometric progression of Cuntz generaters of \(\mathcal {O}_{n}\). By identifying \(\mathcal {O}_{m}\) with \(f(\mathcal {O}_{m})\), we extend Cuntz states on \(\mathcal {O}_{m}\) to \(\mathcal {O}_{n}\). We show (i) a necessary and sufficient condition of the uniqueness of the extension, (ii) the complete classification of all such extensions up to unitary equivalence of their GNS representations, and (iii) the decomposition formula of a mixing state into a convex hull of pure states. The complete set of invariants of all GNS representations by such pure states is given as a certain set of complex unit vectors.     

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

Mutation of Torsion Pairs in Cluster Categories of Dynkin Type D

In cluster categories, mutation of torsion pairs provides a generalisation for the mutation of cluster tilting subcategories, which models the combinatorial structure of cluster algebras. In this paper we present a geometric model for mutation of torsion pairs in the cluster category \(\mathcal {C}_{D_{n}}\) of Dynkin type D _n . Using a combinatorial model introduced by Fomin and Zelevinsky in [7], subcategories in \(\mathcal {C}_{D_{n}}\) correspond to rotationally invariant collections of arcs in a regular 2n-gon, called diagrams of Dynkin type D _n . Torsion pairs in \(\mathcal {C}_{D_{n}}\) have been classified by Holm, Jørgensen and Rubey in [10] and correspond to diagrams of Dynkin type D _n satisfying a certain combinatorial condition, called Ptolemy diagrams of Dynkin type D _n . We define mutation of a diagram \(\mathcal {X}\) of Dynkin type D _n with respect to a compatible diagram \(\mathcal {D}\) of Dynkin type D _n consisting of pairwise non-crossing arcs. Such a diagram \(\mathcal {D}\) partitions the regular 2n-gon into cells and mutation of \(\mathcal {X}\) with respect to \(\mathcal {D}\) can be thought of as a rotation of each of these cells. We show that mutation of Ptolemy diagrams of Dynkin type D _n corresponds to mutation of the corresponding torsion pairs in the cluster category of Dynkin type D _n .     

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.     

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

On the Classification of Almost Square-Free Modular Categories

Let \(\mathcal {C}\) be a modular category of Frobenius-Perron dimension d q ⁿ , where q >?2 is a prime number and d is a square-free integer. We show that \(\mathcal {C}\) must be integral and nilpotent and therefore group-theoretical. In the case where q =?2, we describe the structure of \(\mathcal {C}\) in terms of equivariantizations of group-crossed braided fusion categories.     

Generic Vopěnka’s Principle,remarkable cardinals,and the weak Proper Forcing Axiom

We introduce and study the first-order Generic Vopěnka’s Principle, which states that for every definable proper class of structures \(\mathcal {C}\) of the same type, there exist \(B\ne A\) in \(\mathcal {C}\) such that B elementarily embeds into A in some set-forcing extension. We show that, for \(n\ge 1\), the Generic Vopěnka’s Principle fragment for \(\Pi _n\)-definable classes is equiconsistent with a proper class of n-remarkable cardinals. The n-remarkable cardinals hierarchy for \(n\in \omega \), which we introduce here, is a natural generic analogue for the \(C^{(n)}\)-extendible cardinals that Bagaria used to calibrate the strength of the first-order Vopěnka’s Principle in Bagaria (Arch Math Logic 51(3–4):213–240, 2012). Expanding on the theme of studying set theoretic properties which assert the existence of elementary embeddings in some set-forcing extension, we introduce and study the weak Proper Forcing Axiom, \(\mathrm{wPFA}\). The axiom \(\mathrm{wPFA}\) states that for every transitive model \(\mathcal M\) in the language of set theory with some \(\omega _1\)-many additional relations, if it is forced by a proper forcing \(\mathbb P\) that \(\mathcal M\) satisfies some \(\Sigma _1\)-property, then V has a transitive model \(\bar{\mathcal M}\), satisfying the same \(\Sigma _1\)-property, and in some set-forcing extension there is an elementary embedding from \(\bar{\mathcal M}\) into \(\mathcal M\). This is a weakening of a formulation of \(\mathrm{PFA}\) due to Claverie and Schindler (J Symb Logic 77(2):475–498, 2012), which asserts that the embedding from \(\bar{\mathcal M}\) to \(\mathcal M\) exists in V. We show that \(\mathrm{wPFA}\) is equiconsistent with a remarkable cardinal. Furthermore, the axiom \(\mathrm{wPFA}\) implies \(\mathrm{PFA}_{\aleph _2}\), the Proper Forcing Axiom for antichains of size at most \(\omega _2\), but it is consistent with \(\square _\kappa \) for all \(\kappa \ge \omega _2\), and therefore does not imply \(\mathrm{PFA}_{\aleph _3}\).