For a weight structure w on a triangulated category $\underline {C}$ we prove that the corresponding weight complex functor and some other (weight-exact) functors are ‘conservative up to weight-degenerate objects’; this improves earlier conservativity formulations. In the case $w=w^{sph}$ (the spherical weight structure on $SH$), we deduce the following converse to the stable Hurewicz theorem: $H^{sing}_{i}(M)=\{0\}$ for all $i<0$ if and only if $M\in SH$ is an extension of a connective spectrum by an acyclic one. We also prove an equivariant version of this statement.

The main idea is to study M that has no weights $m,\dots ,n$ (‘in the middle’). For $w=w^{sph}$, this is the case if there exists a distinguished triangle $LM\to M\to RM$, where $RM$ is an n-connected spectrum and $LM$ is an $m-1$-skeleton (of M) in the sense of Margolis’s definition; this happens whenever $H^{sing}_i(M)=\{0\}$ for $m\le i\le n$ and $H^{sing}_{m-1}(M)$ is a free abelian group. We also consider morphisms that kill weights $m,\dots ,n$; those ‘send n-w-skeleta into $m-1$-w-skeleta’.

We relate the classes of unitary and calibrated representations of cyclotomic Hecke algebras, and, in particular, we show that for the most important deformation parameters these two classes coincide. We classify these representations in terms of both multipartition combinatorics and as the points in the fundamental alcove under the action of an affine Weyl group. Finally, we cohomologically construct these modules via BGG resolutions.

We construct some cusped finite-volume hyperbolic n-manifolds $M^n$ that fibre algebraically in all the dimensions $5\leq n \leq 8$. That is, there is a surjective homomorphism $\pi _1(M^n) \to {\mathbb {Z}}$ with finitely generated kernel. The kernel is also finitely presented in the dimensions $n=7, 8$, and this leads to the first examples of hyperbolic n-manifolds $\widetilde M^n$ whose fundamental group is finitely presented but not of finite type. These n-manifolds $\widetilde M^n$ have infinitely many cusps of maximal rank and, hence, infinite Betti number $b_{n-1}$. They cover the finite-volume manifold $M^n$. We obtain these examples by assigning some appropriate colours and states to a family of right-angled hyperbolic polytopes $P^5, \ldots , P^8$, and then applying some arguments of Jankiewicz, Norin and Wise [18] and Bestvina and Brady [7]. We exploit in an essential way the remarkable properties of the Gosset polytopes dual to $P^n$, and the algebra of integral octonions for the crucial dimensions $n=7,8$.

Let $\mu $ be a probability measure on $\mathrm {GL}_d(\mathbb {R})$, and denote by $S_n:= g_n \cdots g_1$ the associated random matrix product, where $g_j$ are i.i.d. with law $\mu $. Under the assumptions that $\mu $ has a finite exponential moment and generates a proximal and strongly irreducible semigroup, we prove a Berry–Esseen bound with the optimal rate $O(1/\sqrt n)$ for the coefficients of $S_n$, settling a long-standing question considered since the fundamental work of Guivarc’h and Raugi. The local limit theorem for the coefficients is also obtained, complementing a recent partial result of Grama, Quint and Xiao.

We construct a nonseparable Banach space $\mathcal {X}$ (actually, of density continuum) such that any uncountable subset $\mathcal {Y}$ of the unit sphere of $\mathcal {X}$ contains uncountably many points distant by less than $1$ (in fact, by less then $1-\varepsilon $ for some $\varepsilon>0$). This solves in the negative the central problem of the search for a nonseparable version of Kottman’s theorem which so far has produced many deep positive results for special classes of Banach spaces and has related the global properties of the spaces to the distances between points of uncountable subsets of the unit sphere. The property of our space is strong enough to imply that it contains neither an uncountable Auerbach system nor an uncountable equilateral set. The space is a strictly convex renorming of the Johnson–Lindenstrauss space induced by an $\mathbb {R}$-embeddable almost disjoint family of subsets of $\mathbb {N}$. We also show that this special feature of the almost disjoint family is essential to obtain the above properties.

In his 1985 paper, Sullivan sketched a proof of his structural stability theorem for differentiable group actions satisfying certain expansion-hyperbolicity axioms. In this paper, we relax Sullivan’s axioms and introduce a notion of meandering hyperbolicity for group actions on geodesic metric spaces. This generalization is substantial enough to encompass actions of certain nonhyperbolic groups, such as actions of uniform lattices in semisimple Lie groups on flag manifolds. At the same time, our notion is sufficiently robust, and we prove that meandering-hyperbolic actions are still structurally stable. We also prove some basic results on meandering-hyperbolic actions and give other examples of such actions.

Loday’sassembly maps approximate the K-theory of group rings by the K-theory of the coefficient ring and the corresponding homology of the group. We present a generalisation that places both ingredients on the same footing. Building on Elmendorf–Mandell’s multiplicativity results and our earlier work, we show that the K-theory of Lawvere theories is lax monoidal. This result makes it possible to present our theory in a user-friendly way without using higher-categorical language. It also allows us to extend the idea to new contexts and set up a nonabelian interpolation scheme, raising novel questions. Numerous examples illustrate the scope of our extension.

We prove some $\ell $-independence results on local constancy of étale cohomology of rigid analytic varieties. As a result, we show that a closed subscheme of a proper scheme over an algebraically closed complete non-archimedean field has a small open neighbourhood in the analytic topology such that, for every prime number $\ell $ different from the residue characteristic, the closed subscheme and the open neighbourhood have the same étale cohomology with ${\mathbb Z}/\ell {\mathbb Z}$-coefficients. The existence of such an open neighbourhood for each $\ell $ was proved by Huber. A key ingredient in the proof is a uniform refinement of a theorem of Orgogozo on the compatibility of the nearby cycles over general bases with base change.

We categorify the commutation of Nakajima’s Heisenberg operators $P_{\pm 1}$ andtheir infinitely many counterparts in the quantum toroidal algebra $U_{q_1,q_2}(\ddot {gl_1})$ acting on the Grothendieck groups of Hilbert schemes from [10, 24, 26, 32]. By combining our result with [26], one obtains a geometric categorical $U_{q_1,q_2}(\ddot {gl_1})$ action on the derived category of Hilbert schemes. Our main technical tool is a detailed geometric study of certain nested Hilbert schemes of triples and quadruples, through the lens of the minimal model program, by showing that these nested Hilbert schemes are either canonical or semidivisorial log terminal singularities.

Motivated by some models of pattern formation involving an unoriented director field in the plane, we study a family of unoriented counterparts to the Aviles–Giga functional. We introduce a nonlinear $\operatorname {\mathrm {curl}}$ operator for such unoriented vector fields as well as a family of even entropies which we call ‘trigonometric entropies’. Using these tools, we show two main theorems which parallel some results in the literature on the classical Aviles–Giga energy. The first is a compactness result for sequences of configurations with uniformly bounded energies. The second is a complete characterization of zero-states, that is, the limit configurations when the energies go to 0. These are Lipschitz continuous away from a locally finite set of points, near which they form either a vortex pattern or a disclination with degree 1/2. The proof is based on a combination of regularity theory together with techniques coming from the study of the Ginzburg–Landau energy. Our methods provide alternative proofs in the classical Aviles–Giga context.

Let p and $\ell $ be primes such that $p> 3$ and $p \mid \ell -1$ and k be an even integer. We use deformation theory of pseudo-representations to study the completion of the Hecke algebra acting on the space of cuspidal modular forms of weight k and level $\Gamma _0(\ell )$ at the maximal Eisenstein ideal containing p. We give a necessary and sufficient condition for the $\mathbb {Z}_p$-rank of this Hecke algebra to be greater than $1$ in terms of vanishing of the cup products of certain global Galois cohomology classes. We also recover some of the results proven by Wake and Wang-Erickson for $k=2$ using our methods. In addition, we prove some $R=\mathbb {T}$ theorems under certain hypotheses.