### Metric spaces and C*-algebras

Let $$X$$ be a metric space of bounded geometry. The latter means that for all $$r > 0$$ exists an $$n_r \in \mathbb{N}$$ such that every ball in $$X$$ of radius $$r$$ has at most $$n_r$$ elements. This especially implies that $$X$$ is discrete. It might seem a bit strange for some to consider discrete … Continue reading "Metric spaces and C*-algebras"

### Positive vs nonnegative sectional curvature

The sectional curvature is one of the main invariants of Riemannian manifolds. But despite its importance, there is actually little known about questions like: What is the distinction (for closed manifolds) between admitting a metric of positive sectional curvature vs admitting a metric of nonnegative sectional curvature? Another problem is also to distinguish positive sectional … Continue reading "Positive vs nonnegative sectional curvature"

### Hilbert spaces and C*-algebras without Choice

Today a paper was posted on the arXiv by Blackadar, Farah and Karagila (arXiv:2304.09602) that examines Hilbert spaces and C*-algebras in ZF set theory without the assumption of any Axiom of Choice (not even with Countable Choice). Since many standard tools from functional analysis like the Hahn-Banach theorem or the Baire category theorem fail without … Continue reading "Hilbert spaces and C*-algebras without Choice"

### Uniform and coarse embeddings of Banach spaces

Let $$X$$ and $$E$$ be Banach spaces. The metrics on these spaces induce both uniform and coarse structures, and we can ask whether the following two statements are equivalent to each other: $$X$$ uniformly embeds into $$E$$. $$X$$ coarsely embeds into $$E$$. Let us first write down what it means for a map \(\phi \colon … Continue reading "Uniform and coarse embeddings of Banach spaces"

### An aperiodic monotile

It is finally done – the long standing question whether there exists a single tile that can cover the entire plane, but only aperiodically, is answered! Here is the answer (arXiv:2303.10798): Many other people have already written blog posts, etc. about this, hence I will refrain from repeating everything and just refer to those other … Continue reading "An aperiodic monotile"

### Coherence of one-relator groups

The recent series of results about one-relator groups (see, e.g. the previous two blog posts) culminates now in the final breakthrough: The conjecture of Baumslag from the 70s (that all one-relator groups are coherent) is resolved. The corresponding preprint by Marco Linton was put today on the arXiv:2303.05976.

### Homological coherence of one-relator groups

Seems to be an interesting time right now to be working on coherent groups (previous blog posts: link and link). Recall that coherent groups are those whose finitely generated subgroups are finitely presented, and that coherence of one-relator groups is one of the main open problems. It is known that one-relator groups with torsion elements … Continue reading "Homological coherence of one-relator groups"

### Virtually free-by-cyclic groups

Last month I blogged about coherent groups (i.e. groups whose finitely generated subgroups are finitely presented). There I also referred to an article of Daniel Wise about coherent groups that contains many open problems at the end. One of these problems is whether every one-relator group is coherent (a question posed by Baumslag in the … Continue reading "Virtually free-by-cyclic groups"