In this paper we extend the definition of slice-torus invariant to links. We prove a few properties of the newly-defined slice-torus link invariants: the behaviour under crossing change, a slice genus bound, an obstruction to strong sliceness, and a combinatorial bound. Furthermore, we provide an application to the computation of the splitting number. Finally, we use the slice-torus link invariants and the Whitehead doubling to define new strong concordance invariants for links, which are proven to be independent of the corresponding slice-torus link invariant.

We apply the filtered and graded methods developed in earlier works to find (noncommutative) free group algebras in division rings.

If $L$ is a Lie algebra, we denote by $U(L)$ its universal enveloping algebra. P. M. Cohn constructed a division ring $\mathfrak{D}_{L}$ that contains $U(L)$. We denote by $\mathfrak{D}(L)$ the division subring of $\mathfrak{D}_{L}$ generated by $U(L)$.

Let $k$ be a field of characteristic zero, and let $L$ be a nonabelian Lie $k$-algebra. If either $L$ is residually nilpotent or $U(L)$ is an Ore domain, we show that $\mathfrak{D}(L)$ contains (noncommutative) free group algebras. In those same cases, if $L$ is equipped with an involution, we are able to prove that the free group algebra in $\mathfrak{D}(L)$ can be chosen generated by symmetric elements in most cases.

Let $G$ be a nonabelian residually torsion-free nilpotent group, and let $k(G)$ be the division subring of the Malcev–Neumann series ring generated by the group algebra $k[G]$. If $G$ is equipped with an involution, we show that $k(G)$ contains a (noncommutative) free group algebra generated by symmetric elements.

We show the existence of a measurable selector in Carpenter’s Theorem due to Kadison. This solves a problem posed by Jasper and the first author in an earlier work. As an application we obtain a characterization of all possible spectral functions of shift-invariant subspaces of $L^{2}(\mathbb{R}^{d})$ and Carpenter’s Theorem for type $\text{I}_{\infty }$ von Neumann algebras.

A well-known conjecture is that all finitely presented groups have semistable fundamental groups at infinity. A class of groups whose members have not been shown to be semistable at infinity is the class ${\mathcal{A}}$ of finitely presented groups that are ascending HNN-extensions with finitely generated base. The class ${\mathcal{A}}$ naturally partitions into two non-empty subclasses, those that have “bounded” and “unbounded” depth. Using new methods introduced in a companion paper we show those of bounded depth have semistable fundamental group at infinity. Ascending HNN extensions produced by Ol’shanskii–Sapir and Grigorchuk (for other reasons), and once considered potential non-semistable examples are shown to have bounded depth. Finally, we devise a technique for producing explicit examples with unbounded depth. These examples are perhaps the best candidates to date in the search for a group with non-semistable fundamental group at infinity.

For $A$ a gentle algebra, and $X$ and $Y$ string modules, we construct a combinatorial basis for $\operatorname{Hom}(X,\unicode[STIX]{x1D70F}Y)$. We use this to describe support $\unicode[STIX]{x1D70F}$-tilting modules for $A$. We give a combinatorial realization of maps in both directions realizing the bijection between support $\unicode[STIX]{x1D70F}$-tilting modules and functorially finite torsion classes. We give an explicit basis of $\operatorname{Ext}^{1}(Y,X)$ as short exact sequences. We analyze several constructions given in a more restricted, combinatorial setting by McConville, showing that many but not all of them can be extended to general gentle algebras.

Kaplansky introduced the notions of CCR and GCR $C^{\ast }$-algebras, because they have a tractable representation theory. Many years later, he introduced the notions of CCR and GCR rings. In this paper we characterize when the algebra of an ample groupoid over a field is CCR and GCR. The results turn out to be exact analogues of the corresponding characterization of locally compact groupoids with CCR and GCR $C^{\ast }$-algebras. As a consequence, we classify the CCR and GCR Leavitt path algebras.

Archdeacon and Grable (1995) proved that the genus of the random graph $G\in {\mathcal{G}}_{n,p}$ is almost surely close to $pn^{2}/12$ if $p=p(n)\geqslant 3(\ln n)^{2}n^{-1/2}$. In this paper we prove an analogous result for random bipartite graphs in ${\mathcal{G}}_{n_{1},n_{2},p}$. If $n_{1}\geqslant n_{2}\gg 1$, phase transitions occur for every positive integer $i$ when $p=\unicode[STIX]{x1D6E9}((n_{1}n_{2})^{-i/(2i+1)})$. A different behaviour is exhibited when one of the bipartite parts has constant size, i.e., $n_{1}\gg 1$ and $n_{2}$ is a constant. In that case, phase transitions occur when $p=\unicode[STIX]{x1D6E9}(n_{1}^{-1/2})$ and when $p=\unicode[STIX]{x1D6E9}(n_{1}^{-1/3})$.

Let $\unicode[STIX]{x1D6E4}\leqslant \text{Aut}(T_{d_{1}})\times \text{Aut}(T_{d_{2}})$ be a group acting freely and transitively on the product of two regular trees of degree $d_{1}$ and $d_{2}$. We develop an algorithm that computes the closure of the projection of $\unicode[STIX]{x1D6E4}$ on $\text{Aut}(T_{d_{t}})$ under the hypothesis that $d_{t}\geqslant 6$ is even and that the local action of $\unicode[STIX]{x1D6E4}$ on $T_{d_{t}}$ contains $\text{Alt}(d_{t})$. We show that if $\unicode[STIX]{x1D6E4}$ is torsion-free and $d_{1}=d_{2}=6$, exactly seven closed subgroups of $\text{Aut}(T_{6})$ arise in this way. We also construct two new infinite families of virtually simple lattices in $\text{Aut}(T_{6})\times \text{Aut}(T_{4n})$ and in $\text{Aut}(T_{2n})\times \text{Aut}(T_{2n+1})$, respectively, for all $n\geqslant 2$. In particular, we provide an explicit presentation of a torsion-free infinite simple group on 5 generators and 10 relations, that splits as an amalgamated free product of two copies of $F_{3}$ over $F_{11}$. We include information arising from computer-assisted exhaustive searches of lattices in products of trees of small degrees. In an appendix by Pierre-Emmanuel Caprace, some of our results are used to show that abstract and relative commensurator groups of free groups are almost simple, providing partial answers to questions of Lubotzky and Lubotzky–Mozes–Zimmer.

We show that spacetime diagrams of linear cellular automata $\unicode[STIX]{x1D6F7}:\,\mathbb{F}_{p}^{\mathbb{Z}}\rightarrow \mathbb{F}_{p}^{\mathbb{Z}}$ with $(-p)$-automatic initial conditions are automatic. This extends existing results on initial conditions that are eventually constant. Each automatic spacetime diagram defines a $(\unicode[STIX]{x1D70E},\unicode[STIX]{x1D6F7})$-invariant subset of $\mathbb{F}_{p}^{\mathbb{Z}}$, where $\unicode[STIX]{x1D70E}$ is the left shift map, and if the initial condition is not eventually periodic, then this invariant set is nontrivial. For the Ledrappier cellular automaton we construct a family of nontrivial $(\unicode[STIX]{x1D70E},\unicode[STIX]{x1D6F7})$-invariant measures on $\mathbb{F}_{3}^{\mathbb{Z}}$. Finally, given a linear cellular automaton $\unicode[STIX]{x1D6F7}$, we construct a nontrivial $(\unicode[STIX]{x1D70E},\unicode[STIX]{x1D6F7})$-invariant measure on $\mathbb{F}_{p}^{\mathbb{Z}}$ for all but finitely many $p$.