Source author record

Will Brian

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GN math.LO Logic in Computer Science math.DS math.FA math.GR math.RA

Catalog footprint

Research overview

6works

7topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Does $\mathcal P(ω) / \mathrm{fin}$ know its right hand from its left?

Let $σ$ denote the shift automorphism on $\mathcal{P}(ω) / \mathrm{fin}$ , defined by setting $σ([A]) = [A+1]$ for all $A \subseteq ω$ . We show that the Continuum Hypothesis implies the shift automorphism $σ$ and its inverse $σ^{-1}$ are conjugate in the automorphism group of $\mathcal{P}(ω) / \mathrm{fin}$ . Due to work of van Douwen and Shelah, it has been known since the 1980's that it is consistent with $\mathsf{ZFC}$ that $σ$ and $σ^{-1}$ are not conjugate. Our result shows that the question of whether $σ$ and $σ^{-1}$ are conjugate is independent of $\mathsf{ZFC}$ . As a corollary to the main theorem, we deduce that the structures $\langle \mathcal{P}(ω) / \mathrm{fin},σ\rangle$ and $\langle \mathcal{P}(ω) / \mathrm{fin},σ^{-1} \rangle$ are elementarily equivalent in the language of algebraic dynamical systems (Boolean algebras together with an automorphism). This corollary does not depend on the Continuum Hypothesis.

preprint2021arXiv

Combinatorial and number-theoretic properties of generic reals

We discuss some properties of Cohen and random reals. We show that they belong to any definable partition regular family, and hence they satisfy most "largeness" properties studied in Ramsey theory. We determine their position in the Mahler's classification of the reals and using it, we get some information about Liouville numbers. We also show that they are wild in the sense of o-minimality, i.e., they define the set of integers.

preprint2021arXiv

Covering versus partitioning with Polish spaces

Given a completely metrizable space $X$ , let $\mathfrak{par}(X)$ denote the smallest possible size of a partition of $X$ into Polish spaces, and $\mathfrak{cov}(X)$ the smallest possible size of a covering of $X$ with Polish spaces. Observe that $\mathfrak{cov}(X) \leq \mathfrak{par}(X)$ for every $X$ , because every partition of $X$ is also a covering. We prove it is consistent relative to a huge cardinal that the strict inequality $\mathfrak{cov}(X) < \mathfrak{par}(X)$ can hold for some completely metrizable space $X$ . We also prove that using large cardinals is necessary for obtaining this strict inequality, because if $\mathfrak{cov}(X) < \mathfrak{par}(X)$ for any completely metrizable $X$ , then $0^\dagger$ exists.

preprint2016arXiv

Shift-preserving maps on $ω^*$

The shift map $σ$ on $ω^*$ is the continuous self-map of $ω^*$ induced by the function $n \mapsto n+1$ on $ω$ . Given a compact Hausdorff space $X$ and a continuous function $f: X \rightarrow X$ , we say that $(X,f)$ is a quotient of $(ω^*,σ)$ whenever there is a continuous surjection $Q: ω^* \to X$ such that $Q \circ σ= f \circ Q$ . Our main theorem states that if the weight of $X$ is at most $\aleph_1$ , then $(X,f)$ is a quotient of $(ω^*,σ)$ if and only if $f$ is weakly incompressible (which means that no nontrivial open $U \subseteq X$ has $f(\bar{U}) \subseteq U$ ). Under CH, this gives a complete characterization of the quotients of $(ω^*,σ)$ and implies, for example, that $(ω^*,σ^{-1})$ is a quotient of $(ω^*,σ)$ . In the language of topological dynamics, our theorem states that a dynamical system of weight $\aleph_1$ is an abstract $ω$ -limit set if and only if it is weakly incompressible. We complement these results by proving $(1)$ our main theorem remains true when $\aleph_1$ is replaced by any $κ< \mathfrak{p}$ , $(2)$ consistently, the theorem becomes false if we replace $\aleph_1$ by $\aleph_2$ , and $(3)$ OCA+MA implies that $(ω^*,σ^{-1})$ is not a quotient of $(ω^*,σ)$ .

preprint2015arXiv

From Haar to Lebesgue via Domain Theory, Revised version

If ${\mathcal C}\simeq 2^{\mathbb N}$ denotes the Cantor set realized as the infinite product of two-point groups, then a folklore result says the Cantor map from ${\mathcal C}$ into $[0,1]$ sends Haar measure to Lebesgue measure on the interval. In fact, ${\mathcal C}$ admits many distinct topological group structures. In this note, we show that the Haar measures induced by these distinct group structures are share this property. We prove this by showing that Haar measure for any group structure is the same as Haar measure induced by a related abelian group structure. Moreover, each abelian group structure on ${\mathcal C}$ supports a natural total order that determines a map onto the unit interval that is monotone, and hence sends intervals in ${\mathcal C}$ to subintervals of the unit interval. Using techniques from domain theory, we show this implies this map sends Haar measure on ${\mathcal C}$ to Lebesgue measure on the interval, and we then use this to contract a Borel isomorphism between any two group structures on ${\mathcal C}$ .

preprint2015arXiv

Ideals and idempotents in the uniform ultrafilters

If $S$ is a discrete semigroup, then $βS$ has a natural, left-topological semigroup structure extending $S$ . Under some very mild conditions, $U(S)$ , the set of uniform ultrafilters on $S$ , is a two-sided ideal of $βS$ , and therefore contains all of its minimal left ideals and minimal idempotents. We find some very general conditions under which $U(S)$ contains prime minimal left ideals and left-maximal idempotents. If $S$ is countable, then $U(S) = S^*$ , and a special case of our main theorem is that if a countable discrete semigroup $S$ is a weakly cancellative and left-cancellative, then $S^*$ contains prime minimal left ideals and left-maximal idempotents. We will provide examples of weakly cancellative semigroups where these conclusions fail, thus showing that this result is sharp.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Will Brian

Research overview

Is this your work?

6 publications

Does $\mathcal P(ω) / \mathrm{fin}$ know its right hand from its left?

Combinatorial and number-theoretic properties of generic reals

Covering versus partitioning with Polish spaces

Shift-preserving maps on $ω^*$

From Haar to Lebesgue via Domain Theory, Revised version

Ideals and idempotents in the uniform ultrafilters

See the researcher in context

Building this map preview

Will Brian

Research overview

Is this your work?

6 publications

Does P(ω)/fin\mathcal P(ω) / \mathrm{fin}P(ω)/fin know its right hand from its left?

Combinatorial and number-theoretic properties of generic reals

Covering versus partitioning with Polish spaces

Shift-preserving maps on ω∗ω^*ω∗

From Haar to Lebesgue via Domain Theory, Revised version

Ideals and idempotents in the uniform ultrafilters

See the researcher in context

Building this map preview

Does $\mathcal P(ω) / \mathrm{fin}$ know its right hand from its left?

Shift-preserving maps on $ω^*$