On Namba Forcing and Minimal Collapses

Maxwell Levine

2024-08-07

Abstract:We build on a 1990 paper of Bukovsky and Coplakova-Hartova. First, we remove the hypothesis of $\textsf{CH}$ from one of their minimality results. Then, using a measurable cardinal, we show that there is a $|\aleph_2^V|=\aleph_1$-minimal extension that is not a $|\aleph_3^V|=\aleph_1$-extension, answering the first of their questions.

Logic

What problem does this paper attempt to address?

Good Scales and Non-Compactness of Squares

Maxwell Levine,Heike Mildenberger

2024-12-21

Abstract:Cummings, Foreman, and Magidor investigated the extent to which square principles are compact at singular cardinals. The first author proved that if $\kappa$ is a singular strong limit of uncountable cofinality, all scales on $\kappa$ are good, and $\square^*_\delta$ holds for all $\delta<\kappa$, then $\square_\kappa^*$ holds. In this paper we will present a strongly contrasting result for $\aleph_\omega$. We construct a model in which $\square_{\aleph_n}$ holds for all $n<\omega$, all scales on $\aleph_\omega$ are good, but in which $\square_{\aleph_\omega}^*$ fails and some weak forms of internal approachability for $[H(\aleph_{\omega+1})]^{\aleph_1}$ fail. This requires an extensive analysis of the dominating and approximation properties of a version of Namba forcing. We also prove some supporting results.

Logic
On a Question of Hamkins and Löwe on the modal logic of collapse forcing

Mohammad Golshani,William Mitchell

2024-07-09

Abstract:Hamkins and Löwe asked whether there can be a model $N$ of set theory with the property that $N\equiv N[g]$ whenever $g$ is a generic collapse of a cardinal of $N$ onto $\omega$. We give equiconsistency results for two weaker versions of this property. We also include a proof of Woodin's result that the consistency of the full Hamkins-Löwe property follows from that of a Woodin cardinal with an inaccessible above.

Logic
Old and New Minimalism: a Hopf algebra comparison

Matilde Marcolli,Robert C. Berwick,Noam Chomsky

2023-06-17

Abstract:In this paper we compare some old formulations of Minimalism, in particular Stabler's computational minimalism, and Chomsky's new formulation of Merge and Minimalism, from the point of view of their mathematical description in terms of Hopf algebras. We show that the newer formulation has a clear advantage purely in terms of the underlying mathematical structure. More precisely, in the case of Stabler's computational minimalism, External Merge can be described in terms of a partially defined operated algebra with binary operation, while Internal Merge determines a system of right-ideal coideals of the Loday-Ronco Hopf algebra and corresponding right-module coalgebra quotients. This mathematical structure shows that Internal and External Merge have significantly different roles in the old formulations of Minimalism, and they are more difficult to reconcile as facets of a single algebraic operation, as desirable linguistically. On the other hand, we show that the newer formulation of Minimalism naturally carries a Hopf algebra structure where Internal and External Merge directly arise from the same operation. We also compare, at the level of algebraic properties, the externalization model of the new Minimalism with proposals for assignments of planar embeddings based on heads of trees.

Computation and Language,Quantum Algebra,Rings and Algebras
Remarks on the existence of minimal models of log canonical generalized pairs

Nikolaos Tsakanikas,Lingyao Xie

DOI: https://doi.org/10.1007/s00209-024-03489-6

2024-04-27

Mathematische Zeitschrift

Abstract:Given an NQC log canonical generalized pair whose underlying variety X is not necessarily -factorial, we show that one may run a -MMP with scaling of an ample divisor which terminates, provided that has a minimal model in a weaker sense or that is not pseudo-effective. We also prove the existence of minimal models of pseudo-effective NQC log canonical generalized pairs under various additional assumptions, for instance when the boundary contains an ample divisor.

mathematics
Cardinal collapsing and product forcing

Mohammad Golshani,Rahman Mohammadpour

DOI: https://doi.org/10.48550/arXiv.1506.02129

2015-06-06

Logic

Abstract:Suppose $\kappa$ is a singular strong limit cardinal of countable cofinality and let $\langle \kappa_{n}: n<\omega \rangle$ be an incrasing sequence of regular cardinals cofinal in $\kappa$. We show that if $cf(2^\kappa)= \kappa^+$, then forcing with the full product $\prod_{n<\omega}Add(\kappa_n,1)$ collapses $2^\kappa$ into $\kappa^+$. This result gives a consistent positive answer to a question of Sy Friedman. We also give a new proof of a result due to Shelah by showing that if the sequence carries a scale of length $\kappa^+,$ then forcing with $\prod_{n<\omega}Add(\kappa_n,1)$ adds a generic filter for $Add(\kappa^+, 1)$, and indeed \[ \prod_{n<\omega}Add(\kappa_n,1)/fin \simeq Add(\kappa^+, 1). \]
The dunce hat in a minimal non-extendably collapsible 3-ball

Bruno Benedetti,Frank H. Lutz

DOI: https://doi.org/10.48550/arXiv.0912.3723

2013-02-02

Abstract:We obtain a geometric realization of a minimal 8-vertex triangulation of the dunce hat in Euclidean 3-space. We show there is a simplicial 3-ball with 8 vertices that is collapsible, but also collapses onto the dunce hat, which is not collapsible. This 3-ball is as small as possible, because all triangulated 3-balls with fewer vertices are extendably collapsible. As we will see, the Alexander dual of the dunce hat is collapsible.

Algebraic Topology,Combinatorics,Metric Geometry
On non-minimal complements

Arindam Biswas,Jyoti Prakash Saha

DOI: https://doi.org/10.1016/j.aam.2021.102226

2020-07-17

Abstract:The notion of minimal complements was introduced by Nathanson in 2011. Since then, the existence or the inexistence of minimal complements of sets have been extensively studied. Recently, the study of inverse problems, i.e., which sets can or cannot occur as minimal complements has gained traction. For example, the works of Kwon, Alon--Kravitz--Larson, Burcroff--Luntzlara and also that of the authors, shed light on some of the questions in this direction. These works have focussed mainly on the group of integers, or on abelian groups. In this work, our motivation is two-fold: (i) to show some new results on the inverse problem, (ii) to concentrate on the inverse problem in not necessarily abelian groups. As a by-product, we obtain new results on non-minimal complements in the group of integers and more generally, in any finitely generated abelian group of positive rank and in any free abelian group of positive rank. Moreover, we show the existence of uncountably many subsets in such groups which are "robust" non-minimal complements.

Combinatorics,Group Theory
On Minimal Flows. Definably Amenable Groups, and O-Minimality

Anand Pillay,Ningyuan Yao

DOI: https://doi.org/10.1016/j.aim.2015.12.010

IF: 1.675

2015-01-01

Advances in Mathematics

Abstract:We study definably amenable groups in NIP theories, focusing on the problem raised in [10] of whether weak generic types coincide with almost periodic types, equivalently whether the union of minimal subflows of a suitable type space is closed. We give fairly definitive results in the o-minimal context, including a counterexample.
Strong Homotopy Types, Nerves and Collapses

Jonathan Ariel Barmak,Elias Gabriel Minian

DOI: https://doi.org/10.1007/s00454-011-9357-5

2011-05-07

Abstract:We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong collapse and it is a particular kind of simplicial collapse. The advantage of using strong collapses is the existence and uniqueness of cores and their relationship with the nerves of the complexes. From this theory we derive new results for studying simplicial collapsibility with a different point of view. We analyze vertex-transitive simplicial G-actions and prove a particular case of the Evasiveness conjecture for simplicial complexes. Moreover, we reduce the general conjecture to the class of minimal complexes. We also strengthen a result of V. Welker on the barycentric subdivision of collapsible complexes. We obtain this and other results on collapsibility of polyhedra by means of the characterization of the different notions of collapses in terms of finite topological spaces.

mathematics,computer science, theory & methods
On compactness of weak square at singulars of uncountable cofinality

Maxwell Levine

2024-02-16

Abstract:Cummings, Foreman, and Magidor proved that Jensen's square principle is non-compact at $\aleph_\omega$, meaning that it is consistent that $\square_{\aleph_n}$ holds for all $n<\omega$ while $\square_{\aleph_\omega}$ fails. We investigate the natural question of whether this phenomenon generalizes to singulars of uncountable cofinality. Surprisingly, we show that under some mild hypotheses, the weak square principle $\square_\kappa^*$ is in fact compact at singulars of uncountable cofinality, and that an even stronger version of these hypotheses is not enough for compactness of weak square at $\aleph_\omega$.

Logic
Chang's Conjectures and Easton collapses

Monroe Eskew,Masahiro Shioya

2024-02-15

Abstract:Using Easton collapses, we give a simplified construction of a model in which Chang's Conjecture for triples holds.

Logic
The relative minimal model program for excellent algebraic spaces and analytic spaces in equal characteristic zero

Shiji Lyu,Takumi Murayama

2023-08-29

Abstract:We establish the relative minimal model program with scaling for projective morphisms of quasi-excellent algebraic spaces admitting dualizing complexes, quasi-excellent formal schemes admitting dualizing complexes, semianalytic germs of complex analytic spaces, rigid analytic spaces, Berkovich spaces, and adic spaces locally of weakly finite type over a field, all in equal characteristic zero. To do so, we prove finite generation of relative adjoint rings associated to projective morphisms of such spaces using the strategy of Cascini and Lazić and the generalization of the Kawamata-Viehweg vanishing theorem to the scheme setting recently established by the second author. To prove these results uniformly, we prove GAGA theorems for Grothendieck duality and dualizing complexes to reduce to the algebraic case. In addition, we apply our methods to establish the relative minimal model program with scaling for spaces of the form above in dimensions $\le 3$ in positive and mixed characteristic, and to show that one can run the relative minimal model program with scaling for complex analytic spaces without shrinking the base at each step.

Algebraic Geometry
Reduced Products of Collapsing Algebras

Miloš S. Kurilić

2024-03-27

Abstract:$\mathop{\rm rp}\nolimits ({\mathbb B})$ denotes the reduced power ${\mathbb B}^\omega /\Phi$ of a Boolean algebra ${\mathbb B}$, where $\Phi$ is the Fréchet filter $\Phi$ on $\omega$. We investigate iterated reduced powers ($\mathop{\rm rp}\nolimits ^0 ({\mathbb B})={\mathbb B}$ and $\mathop{\rm rp}\nolimits ^{n+1} ({\mathbb B} )=\mathop{\rm rp}\nolimits (\mathop{\rm rp}\nolimits ^n ({\mathbb B}))$) of collapsing algebras and our main intention is to classify the algebras $\mathop{\rm rp}\nolimits ^n (\mathop{\rm Col}\nolimits (\lambda ,\kappa))$, $n\in {\mathbb N}$, up to isomorphism of their Boolean completions. In particular, assuming that SCH and ${\mathfrak h} =\omega _1$ hold, we show that for any cardinals $\lambda\geq \omega$ and $\kappa \geq 2$ such that $\kappa\lambda >\omega$ and $\mathop{\rm cf}\nolimits (\lambda )\leq {\mathfrak c}$ we have $\mathop{\rm ro} (\mathop{\rm rp}\nolimits ^n(\mathop{\rm Col}\nolimits (\lambda ,\kappa)))\cong \mathop{\rm Col}\nolimits (\omega _1, (\kappa ^{<\lambda })^\omega )$, for each $n\in {\mathbb N}$. If ${\mathfrak b} ={\mathfrak d}$ and $0^\sharp$ does not exist, then the same holds whenever $\mathop{\rm cf}\nolimits (\lambda )= \omega$.

Logic
Relative Non-Positive Immersion

Jens Harlander,Stephan Rosebrock

DOI: https://doi.org/10.48550/arXiv.2301.05877

2023-01-14

Abstract:A 2-complex $K$ has collapsing non-positive immersion if for every combinatorial immersion $X\to K$, where $X$ is finite, connected and does not allow collapses, either $\chi(X)\le 0$ or $X$ is point. This concept is due to Wise who also showed that this property implies local indicability of the fundamental group $\pi_1(K)$. In this paper we study a relative version of collapsing non-positive immersion that can be applied to 2-complex pairs $(L,K)$: The pair has relative collapsing non-positive immersion if for every combinatorial immersion $f\colon X\to L$, where $X$ is finite, connected and does not allow collapses, either $\chi(X)\le \chi(Y)$, where $Y$ is the essential part of the preimage $f^{-1}(K)$, or $X$ is a point. We show that under certain conditions a transitivity law holds: If $(L,K)$ has relative collapsing non-positive immersion and $K$ has collapsing non-positive immersion, then $L$ has collapsing non-positive immersion. This article is partly motivated by the following open question: Do reduced injective labeled oriented trees have collapsing non-positive immersion? We answer this question in the affirmative for certain important special cases.

Geometric Topology
Berkeley Cardinals and Vopěnka's Principle

Marwan Salam Mohammd

2024-04-16

Abstract:We introduce "$n$-choiceless" supercompact and extendible cardinals in Zermelo-Fraenkel set theory without the Axiom of Choice. We prove relations between these cardinals and Vopěnka's Principle similar to those of Bagaria's work in his papers "$C^{(n)}$-Cardinals" and "More on the Preservation of Large Cardinals Under Class Forcing." We use these relations to characterize Berkeley cardinals in terms of a restricted form of Vopěnka's Principle. Finally, we establish the equiconsistency of the "$n$-choiceless" extendible cardinals with their original counterparts, and study the consistency strength of other relevant theories.

Logic
Minimal Submanifolds and Waists of Locally Symmetric Spaces

Mikolaj Fraczyk,Ben Lowe

2024-12-02

Abstract:We study the higher expansion properties of locally symmetric spaces, with a particular focus on octonionic hyperbolic manifolds. We show that codimension two minimal submanifolds of compact octonionic locally symmetric spaces must have large volume, at least linear in the volume of the ambient space. As a corollary we prove linear waist inequalities for octonionic hyperbolic manifolds in codimension two and construct the first locally symmetric examples of power-law systolic freedom. We also show that any codimension two submanifold of small volume can be homotoped to a lower dimensional set. We use this to prove that branched covers of octonionic hyperbolic manifolds are stable in the sense of Dinur-Meshulam and to establish a uniform lower bound on the non-abelian Cheeger constants of octonionic hyperbolic manifolds. In a more general setting, we prove that maps from locally symmetric spaces to low dimensional euclidean spaces admit fibers whose fundamental group has large exponent of growth. We show as a consequence that cocompact lattices in $SL_n(\mathbb{R})$ have property $ FA_{\lfloor n/8\rfloor-1}$: any action on a contractible $CAT(0)$ simplicial complex of dimension at most $ \lfloor n/8\rfloor -1$ has a global fixed point.

Differential Geometry,Combinatorics,Group Theory,Geometric Topology
Collapsing along monotone poset maps

Dmitry N. Kozlov

DOI: https://doi.org/10.1155/IJMMS/2006/79858

2006-02-17

Abstract:We introduce the notion of nonevasive reduction, and show that for any monotone poset map $\phi:P\to P$, the simplicial complex $\Delta(P)$ {\tt NE}-reduces to $\Delta(Q)$, for any $Q\supseteq{\text{\rm Fix}}\phi$. As a corollary, we prove that for any order-preserving map $\phi:P\to P$ satisfying $\phi(x)\geq x$, for any $x\in P$, the simplicial complex $\Delta(P)$ collapses to $\Delta(\phi(P))$. We also obtain a generalization of Crapo's closure theorem.

Combinatorics,Algebraic Topology
New approaches for studying conformal embeddings and collapsing levels for $W$--algebras

Drazen Adamovic,Pierluigi Moseneder Frajria,Paolo Papi

2023-06-07

Abstract:In this paper we prove a general result saying that under certain hypothesis an embedding of an affine vertex algebra into an affine $W$--algebra is conformal if and only if their central charges coincide. This result extends our previous result obtained in the case of minimal affine $W$-algebras. We also find a sufficient condition showing that certain conformal levels are collapsing. This new condition enables us to find some levels $k$ where $W_k(sl(N), x, f )$ collapses to its affine part when $f$ is of hook or rectangular type. Our methods can be applied to non-admissible levels. In particular, we prove Creutzig's conjecture on the conformal embedding in the hook type $W$-algebra $W_k(sl(n+m), x, f_{m,n})$ of its affine vertex subalgebra. Quite surprisingly, the problem of showing that certain conformal levels are not collapsing turns out to be very difficult. In the cases when $k$ is admissible and conformal, we prove that $W_k(sl(n+m), x, f_{m,n})$ is not collapsing. Then, by generalizing the results on semi-simplicity of conformal embeddings from our previous papers, we find many cases in which $W_k(sl(n+m), x, f_{m,n})$ is semi-simple as a module for its affine subalgebra at conformal level and we provide explicit decompositions.

Representation Theory,Mathematical Physics,Quantum Algebra
Distributivity and minimality in perfect tree forcings for singular cardinals

Maxwell Levine,Heike Mildenberger

DOI: https://doi.org/10.1007/s11856-024-2607-z

2024-04-28

Israel Journal of Mathematics

Abstract:Dobrinen, Hathaway and Prikry studied a forcing P κ consisting of perfect trees of height λ and width κ where κ is a singular λ-strong limit of cofinality λ. They showed that if κ is singular of countable cofinality, then P κ is minimal for ω -sequences assuming that κ is a supremum of a sequence of measurable cardinals. We obtain this result without the measurability assumption.

mathematics

On Namba Forcing and Minimal Collapses

Good Scales and Non-Compactness of Squares

On a Question of Hamkins and Löwe on the modal logic of collapse forcing

Old and New Minimalism: a Hopf algebra comparison

Remarks on the existence of minimal models of log canonical generalized pairs

Cardinal collapsing and product forcing

The dunce hat in a minimal non-extendably collapsible 3-ball

On non-minimal complements

On Minimal Flows. Definably Amenable Groups, and O-Minimality

Strong Homotopy Types, Nerves and Collapses

On compactness of weak square at singulars of uncountable cofinality

Chang's Conjectures and Easton collapses

The relative minimal model program for excellent algebraic spaces and analytic spaces in equal characteristic zero

Reduced Products of Collapsing Algebras

Relative Non-Positive Immersion

Berkeley Cardinals and Vopěnka's Principle

Minimal Submanifolds and Waists of Locally Symmetric Spaces

Collapsing along monotone poset maps

New approaches for studying conformal embeddings and collapsing levels for $W$--algebras

Distributivity and minimality in perfect tree forcings for singular cardinals