Our main result is that many triangles of Baumslag-Solitar groups collapse to finite groups, generalizing a famous example of Hirsch and other examples due to several authors. A triangle of Baumslag-Solitar groups means a group with three generators, cyclically ordered, with each generator conjugating some power of the previous one to another power. There are six parameters, occurring in pairs, and we show that the triangle fails to be developable whenever one of the parameters divides its partner, except for a few special cases. Furthermore, under fairly general conditions, the group turns out to be finite and solvable of derived length $\leq3$. We obtain a lot of information about finite quotients, even when we cannot determine developability.

We fix a mistake in the proof of Theorem 1.6 in the paper in the title.

In this paper we characterize the compactness of the commutator $[b,T]$ for the singular integral operator on the Morrey spaces $L^{p,\lambda}(\mathbb R^n)$. More precisely, we prove that if $b\in \operatorname{VMO}(\mathbb R^n)$, the $\operatorname {BMO} (\mathbb R^n)$-closure of $C_c^\infty(\mathbb R^n)$, then $[b,T]$ is a compact operator on the Morrey spaces $L^{p,\lambda}(\mathbb R^n)$ for $1\lt p\lt \infty$ and $0\lt \lambda\lt n$. Conversely, if $b\in \operatorname{BMO}(\mathbb R^n)$ and $[b,T]$ is a compact operator on the $L^{p,\,\lambda}(\mathbb R^n)$ for some $p\ (1\lt p\lt \infty)$, then $b\in \operatorname {VMO}(\mathbb R^n)$. Moreover, the boundedness of a rough singular integral operator $T$ and its commutator $[b,T]$ on $L^{p,\,\lambda}(\mathbb R^n)$ are also given. We obtain a sufficient condition for a subset in Morrey space to be a strongly pre-compact set, which has interest in its own right.

We discuss a clean level lowering theorem modulo prime powers for weight $2$ cusp forms. Furthermore, we illustrate how this can be used to completely solve certain twisted Fermat equations $ax^n+by^n+cz^n=0$.

We formulate an analog of Hermite's constant for function fields over a finite field and state a conjectural value for this analog. We prove our conjecture in many cases, and prove slightly weaker results in all other cases.

We consider cubic polynomials $f(z)=z^3+az+b$ defined over $\mathbb{C}(\lambda)$, with a marked point of period $N$ and multiplier $\lambda$. In the case $N=1$, there are infinitely many such objects, and in the case $N\geq 3$, only finitely many (subject to a mild assumption). The case $N=2$ has particularly rich structure, and we are able to describe all such cubic polynomials defined over the field $\bigcup_{n\geq 1}\mathbb{C}(\lambda^{1/n})$.

We present a general construction of Salem numbers via rational functions whose zeros and poles mostly lie on the unit circle and satisfy an interlacing condition. This extends and unifies earlier work. We then consider the ``obvious'' limit points of the set of Salem numbers produced by our theorems and show that these are all Pisot numbers, in support of a conjecture of Boyd. We then show that all Pisot numbers arise in this way. Combining this with a theorem of Boyd, we produce all Salem numbers via an interlacing construction.

We define the filtrated K-theory of a $\mathrm{C}^*$-algebra over a finite topological space \(X\) and explain how to construct a spectral sequence that computes the bivariant Kasparov theory over \(X\) in terms of filtrated K-theory. For finite spaces with a totally ordered lattice of open subsets, this spectral sequence becomes an exact sequence as in the Universal Coefficient Theorem, with the same consequences for classification. We also exhibit an example where filtrated K-theory is not yet a complete invariant. We describe two $\mathrm{C}^*$-algebras over a space \(X\) with four points that have isomorphic filtrated K-theory without being $\mathrm{KK}(X)$-equivalent. For this space \(X\), we enrich filtrated K-theory by another K-theory functor to a complete invariant up to $\mathrm{KK}(X)$-equivalence that satisfies a Universal Coefficient Theorem.

Let $\rho \colon G \to \operatorname{GL}(V)$ be a rational finite dimensional complex representation of a reductive linear algebraic group $G$, and let $\sigma_1,\dots,\sigma_n$ be a system of generators of the algebra of invariant polynomials $\mathbb C[V]^G$. We study the problem of lifting mappings $f\colon \mathbb R^q \supseteq U \to \sigma(V) \subseteq \mathbb C^n$ over the mapping of invariants $\sigma=(\sigma_1,\dots,\sigma_n) \colon V \to \sigma(V)$. Note that $\sigma(V)$ can be identified with the categorical quotient $V /\!\!/ G$ and its points correspond bijectively to the closed orbits in $V$. We prove that if $f$ belongs to a quasianalytic subclass $\mathcal C \subseteq C^\infty$ satisfying some mild closedness properties that guarantee resolution of singularities in $\mathcal C$, e.g., the real analytic class, then $f$ admits a lift of the same class $\mathcal C$ after desingularization by local blow-ups and local power substitutions. As a consequence we show that $f$ itself allows for a lift that belongs to $\operatorname{SBV}_{\operatorname{loc}}$, i.e., special functions of bounded variation. If $\rho$ is a real representation of a compact Lie group, we obtain stronger versions.

An extension theorem for holomorphic mappings between two domains in $\mathbb C^2$ is proved under purely local hypotheses.

We demonstrate how most common cardinal invariants associated with a von Neumann algebra $\mathcal M$ can be computed from the decomposability number, $\operatorname{dens}(\mathcal M)$, and the minimal cardinality of a generating set, $\operatorname{gen}(\mathcal M)$. Applications include the equivalence of the well-known generator problem, ``Is every separably-acting von Neumann algebra singly-generated?", with the formally stronger questions, ``Is every countably-generated von Neumann algebra singly-generated?" and ``Is the $\operatorname{gen}$ invariant monotone?" Modulo the generator problem, we determine the range of the invariant $\bigl( \operatorname{gen}(\mathcal M), \operatorname{dens}(\mathcal M) \bigr)$, which is mostly governed by the inequality $\operatorname{dens}(\mathcal M) \leq \mathfrak C^{\operatorname{gen}(\mathcal M)}$.