∑math20

Operator algebras · Result 302

Radius of comparison equals half the mean dimension

2 papers

For every minimal homeomorphism h of an infinite compact metrizable space X, the radius of comparison of \(C(X)\rtimes_h\mathbb Z\) equals \(\tfrac12\mathrm{mdim}(X,h)\), including infinite values. Zero mean dimension is equivalent to the small boundary property, Jiang–Su stability and finite nuclear dimension; in this case nuclear dimension is at most one.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 2

First page of Filtered products and boundary-preserving compression in complex cobordism

Filtered products and boundary-preserving compression in complex cobordism

OpenAI · September 25, 2026

We prove that, in sufficiently large smash powers, an \(MU\)-null restriction to a finite pointed subcomplex becomes stably null on the entire union of products with a fixed positive proportion of restricted factors. This coherent vanishing theorem yields boundary-preserving compression of cube-valued maps on every compact metrizable input space. When the torus slot bundle embeds continuously into a trivial bundle of rank less than twice the source rank, the compression places a positive proportion of slots on their boundaries in arbitrarily large powers and fixes every original boundary slot exactly. An example at equality shows that the strict rank inequality cannot be removed.

Read PDF Download Source

Cite
@misc{OAI:Filtered-products-and-boundary-preserving-compression-in-complex-cobordism-September-25-2026,
  author = {{OpenAI}},
  title = {{Filtered products and boundary-preserving compression in complex cobordism}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Filtered-products-and-boundary-preserving-compression-in-complex-cobordism-September-25-2026/paper.pdf}{OAI:Filtered-products-and-boundary-preserving-compression-in-complex-cobordism-September-25-2026}},
  year = {2026}
}
First page of Radius of comparison equals half the mean dimension

Radius of comparison equals half the mean dimension

OpenAI · September 25, 2026

We prove the integer-action case of the Phillips–Toms conjecture: for every minimal homeomorphism of an infinite compact metrizable space, the radius of comparison of its crossed product equals one half of its mean dimension, including equality at infinity. For these systems, zero mean dimension and the small boundary property are equivalent to Jiang–Su stability and to finite nuclear dimension of the crossed product; in this case its nuclear dimension is at most one.

Read PDF Download Source

Cite
@misc{OAI:Radius-of-comparison-equals-half-the-mean-dimension-September-25-2026,
  author = {{OpenAI}},
  title = {{Radius of comparison equals half the mean dimension}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Radius-of-comparison-equals-half-the-mean-dimension-September-25-2026/paper.pdf}{OAI:Radius-of-comparison-equals-half-the-mean-dimension-September-25-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.