Conjugating trivial automorphisms of $\mathcal P(\mathbb N)/\mathrm{Fin}$

Will Brian,Ilijas Farah

2024-10-15

Abstract:A trivial automorphism of the Boolean algebra $\mathcal P(\mathbb N) / \mathrm{Fin}$ is an automorphism induced by the action of some function $\mathbb N \rightarrow \mathbb N$. In models of forcing axioms all automorphisms are trivial, and therefore two trivial automorphisms are conjugate if and only if they have the same (modulo finite) cycle structure. We show that the Continuum Hypothesis implies that two trivial automorphisms are conjugate if and only if there are neither first-order obstructions nor index obstructions for their conjugacy. This is equivalent to given trivial automorphisms being conugate in some forcing extension of the universe. To each automorphism $\alpha$ of $\mathcal P(\mathbb N) / \mathrm{Fin}$ we associate the first-order structure $\mathfrak{A}_\alpha=(\mathcal P(\mathbb N) / \mathrm{Fin},\alpha)$ and compute the existential theories of these structures. These results are applied to resolve a question of Braga, Farah, and Vignati and prove that there are coarse metric spaces $X$ and $Y$ such that the isomorphism between their uniform Roe coronas is independent from $\mathsf{ZFC}$.

Logic,Dynamical Systems,General Topology,Operator Algebras

What problem does this paper attempt to address?

The paper attempts to address the problem of determining whether two trivial automorphisms are conjugate under the assumption of the Continuum Hypothesis (CH). Specifically, the author studies the conjugacy relation of trivial automorphisms of the Boolean algebra \( \mathcal{P}(\mathbb{N})/\text{Fin} \) under CH.

### Main Problems:
1. **Conjugacy Condition**: Under the assumption of CH, when are two trivial automorphisms \( \alpha \) and \( \beta \) conjugate?
2. **Index Obstacle**: Are there certain conditions that prevent two trivial automorphisms from being conjugate? Specifically, what role do the index and the parity of the index play in the conjugacy relation?

### Research Background:
- **Trivial Automorphism**: An automorphism induced by a function \( f: \mathbb{N} \to \mathbb{N} \).
- **Conjugacy Relation**: There exists another automorphism \( \gamma \) such that \( \gamma \circ \alpha = \beta \circ \gamma \).
- **Continuum Hypothesis**: Assuming CH holds, all automorphisms are trivial, so two trivial automorphisms are conjugate if and only if their cycle structures are the same (modulo finite).

### Main Results:
- **Theorem A**: For two trivial automorphisms \( \alpha \) and \( \beta \) of \( \mathcal{P}(\mathbb{N})/\text{Fin} \), the following conditions are equivalent:
1. CH implies they are conjugate.
2. \( \alpha \) and \( \beta \) have the same index parity, and the structures \( \langle \mathcal{P}(\mathbb{N})/\text{Fin}, \alpha \rangle \) and \( \langle \mathcal{P}(\mathbb{N})/\text{Fin}, \beta \rangle \) are elementarily equivalent.
3. \( \alpha \) and \( \beta \) are conjugate in some forcing extension.

- **Role of Index Parity**: Even if the indices of two automorphisms are different, they can still be conjugate, but their index parity must be the same. This is the only secondary obstacle to conjugacy under CH.

### Applications and Extensions:
- **Coarse Metric Spaces**: It is shown that there exist two coarse metric spaces \( X \) and \( Y \) whose uniform Roe corona algebras' isomorphism relation is independent of ZFC.
- **Model Theory Results**: Some model theory results about trivial automorphisms are proven, such as \( \langle \mathcal{P}(\mathbb{N})/\text{Fin}, \alpha \rangle \) being countably saturated in certain cases.

### Conclusion:
By deeply studying the conjugacy relation of trivial automorphisms of \( \mathcal{P}(\mathbb{N})/\text{Fin} \) under CH, the paper reveals the crucial role of index parity in the conjugacy condition and resolves several problems in the related field. These results are significant not only in pure mathematics but also have implications in areas such as coarse geometry and operator algebras.