Fast growth in Folner sets for Thompson's group F
The purpose of this note is to prove a lower bound on the Folner function for Thompson's groups F.
math.GR↗
arXiv subjects
Justin Tatch Moore
Publications and source records attributed to Justin Tatch Moore.
A Boolean action of C(M,U(1)) without a spatial model and a re-examination of the Cameron-Martin theorem
We will demonstrate that if M is an uncountable compact metric space, then there is an action of the Polish group of all continuous functions from M to U(1) on a separable probability algebra which preserves the measure and yet does not admit a point realization in the sense of Mackey. This is achieved by exhibiting a strong form of ergodicity of the Boolean action known as whirliness. This is in contrast with Mackey's point realization theorem, which asserts that any measure preserving Boolean action of a locally compact second countable group on a separable probability algebra can be realized as an action on the points of the associated probability space. In the course of proving the main theorem, we will prove a result concerning infinite dimensional Gaussian measure space which is in contrast with the Cameron-Martin Theorem.
math.FA↗
Forcing Axioms and the Continuum Hypothesis, part II: Transcending ω_1-sequences of real numbers
The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the Continuum Hypothesis. This answers a longstanding problem of Shelah. The corresponding completely proper forcing which can be constructed using CH is moreover a tree whose square is special off the diagonal. While such trees had previously been constructed by Jensen and Kunen under the assumption of Jensen's diamond principle, this is the first time such a construction has been carried out using the Continuum Hypothesis.
math.LO↗
Amenability and Ramsey Theory
The purpose of this article is to connect the notion of the amenability of a discrete group with a new form of structural Ramsey theory. The Ramsey theoretic reformulation of amenability constitutes a considerable weakening of the Folner criterion. As a by-product, it will be shown that in any non amenable group G, there is a subset E of G such that no finitely additive probability measure on G measures all translates of E equally.
math.GR↗
A note on Shavgulidze's papers concerning the amenability problem for Thompson's group $F$
This paper examines Shavgulidze's postings to the ArXiv and publications which concern his argument that Thompson's group F is amenable. In particular I list specific places where there are errors in each of the postings and publications and give a public clarification of some of the speculation around these papers.
math.GR↗
Parametrized $\diamondsuit$ principles
We will present a collection of guessing principles which have a similar relationship to $\diamond$ as cardinal invariants of the continuum have to $\CH$. The purpose is to provide a means for systematically analyzing $\diamond$ and its consequences. It also provides for a unified approach for understanding the status of a number of consequences of $\CH$ and $\diamond$ in models such as those of Laver, Miller, and Sacks.
math.LO↗
The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form of simultaneous reflection follows from the Set Mapping Reflection Principle, a consequence of PFA. While the results fall short of showing that MRP implies SCH, it will be shown that MRP implies that if SCH fails first at kappa then every stationary subset of S_{kappa^+}^omega = {a < kappa^+ : cf(a) = omega} reflects. It will also be demonstrated that MRP always fails in a generic extension by Prikry forcing.
math.LO↗
A solution to the L space problem and related ZFC constructions
In this paper I will construct a non-separable hereditarily Lindelof space (L space) without any additional axiomatic assumptions. I will also show that there is a function f from [omega_1]^2 to omega_1 such that if A,B, subsets of omega_1, are uncountable and x omega_1, then there are a < b in A and B respectively with f(a,b) = x. Previously it was unknown whether such a function existed even if omega_1 was replaced by 2. Finally, I will prove that there is no basis for the uncountable regular Hausdorff spaces of cardinality aleph_1. Each of these results gives a strong refutation of a well known and longstanding conjecture. The results all stem from the analysis of oscillations of coherent sequences {e_i : i < omega_1} of finite-to-one functions. I expect that the methods presented will have other applications as well.
math.GN↗
Set mapping reflection
In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2^omega = omega_2 and that L(P(omega_1)) satisfies the Axiom of Choice. It will also be demonstrated that this reflection principle implies that combinatorial principle Square(kappa) fails for all regular kappa > omega_1.
math.LO↗
A five element basis for the uncountable linear orders
In this paper I will show that it is relatively consistent with the usual axioms of mathematics (ZFC) together with a strong form of the axiom of infinity (the existence of a supercompact cardinal) that the class of uncountable linear orders has a five element basis. In fact such a basis follows from the Proper Forcing Axiom, a strong form of the Baire Category Theorem. The elements are X, omega_1, omega_1^*, C, C^* where X is any suborder of the reals of cardinality aleph_1 and C is any Countryman line. This confirms a longstanding conjecture of Shelah.
math.LO↗