The reduced peripheral system was introduced by Milnor [18] in the 1950s for the study of links up to link-homotopy, that is, up to homotopies leaving distinct components disjoint; this invariant, however, fails to classify links up to link-homotopy for links of four or more components. The purpose of this paper is to show that the topological information which is detected by Milnor’s reduced peripheral system is actually 4-dimensional. The main result gives indeed a complete characterization of links having the same reduced peripheral system, in terms of ribbon solid tori in 4–space up to ribbon link-homotopy. The proof relies on an intermediate characterization given in terms of welded diagrams up to self-virtualization, hence providing a purely topological application of the combinatorial theory of welded links.

The automorphism group $\operatorname {Aut}(F_n)$ of the free group $F_n$ acts on a space $A_d(n)$ of Jacobi diagrams of degree d on n oriented arcs. We study the $\operatorname {Aut}(F_n)$-module structure of $A_d(n)$ by using two actions on the associated graded vector space of $A_d(n)$: an action of the general linear group $\operatorname {GL}(n,\mathbb {Z})$ and an action of the graded Lie algebra $\mathrm {gr}(\operatorname {IA}(n))$ of the IA-automorphism group $\operatorname {IA}(n)$ of $F_n$ associated with its lower central series. We extend the action of $\mathrm {gr}(\operatorname {IA}(n))$ to an action of the associated graded Lie algebra of the Andreadakis filtration of the endomorphism monoid of $F_n$. By using this action, we study the $\operatorname {Aut}(F_n)$-module structure of $A_d(n)$. We obtain an indecomposable decomposition of $A_d(n)$ as $\operatorname {Aut}(F_n)$-modules for $n\geq 2d$. Moreover, we obtain the radical filtration of $A_d(n)$ for $n\geq 2d$ and the socle of $A_3(n)$.

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’.

In this paper, we study the hydrostatic approximation for the Navier-Stokes system in a thin domain. When we have convex initial data with Gevrey regularity of optimal index $\frac {3}{2}$ in the x variable and Sobolev regularity in the y variable, we justify the limit from the anisotropic Navier-Stokes system to the hydrostatic Navier-Stokes/Prandtl system. Due to our method in the paper being independent of $\varepsilon $, by the same argument, we also obtain the well-posedness of the hydrostatic Navier-Stokes/Prandtl system in the optimal Gevrey space. Our results improve upon the Gevrey index of $\frac {9}{8}$ found in [15, 35].

In this note, we prove that the moduli stack of vector bundles on a curve with a fixed determinant is ${\mathbb A}^1$-connected. We obtain this result by classifying vector bundles on a curve up to ${\mathbb A}^1$-concordance. Consequently, we classify ${\mathbb P}^n$-bundles on a curve up to ${\mathbb A}^1$-weak equivalence, extending a result in [3] of Asok-Morel. We also give an explicit example of a variety which is ${\mathbb A}^1$-h-cobordant to a projective bundle over ${\mathbb P}^2$ but does not have the structure of a projective bundle over ${\mathbb P}^2$, thus answering a question of Asok-Kebekus-Wendt [2].

We prove the existence of $\mathrm {GSpin}_{2n}$-valued Galois representations corresponding to cohomological cuspidal automorphic representations of certain quasi-split forms of ${\mathrm {GSO}}_{2n}$ under the local hypotheses that there is a Steinberg component and that the archimedean parameters are regular for the standard representation. This is based on the cohomology of Shimura varieties of abelian type, of type $D^{\mathbb {H}}$, arising from forms of ${\mathrm {GSO}}_{2n}$. As an application, under similar hypotheses, we compute automorphic multiplicities, prove meromorphic continuation of (half) spin L-functions and improve on the construction of ${\mathrm {SO}}_{2n}$-valued Galois representations by removing the outer automorphism ambiguity.

We axiomatise the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalised automorphic sheaf is proposed which includes sheaves of (meromorphic) sections of automorphic vector bundles with prescribed vanishing and pole orders along strata in the compactification, and their quotients. These include, for instance, sheaves of Jacobi forms and weakly holomorphic modular forms. Using this machinery, we give a short and purely algebraic proof of the proportionality theorem of Hirzebruch and Mumford.

In his work on modularity of elliptic curves and Fermat’s last theorem, A. Wiles introduced two measures of congruences between Galois representations and between modular forms. One measure is related to the order of a Selmer group associated to a newform $f \in S_2(\Gamma _0(N))$ (and closely linked to deformations of the Galois representation $\rho _f$ associated to f), whilst the other measure is related to the congruence module associated to f (and is closely linked to Hecke rings and congruences between f and other newforms in $S_2(\Gamma _0(N))$). The equality of these two measures led to isomorphisms $R={\mathbf T}$ between deformation rings and Hecke rings (via a numerical criterion for isomorphisms that Wiles proved) and showed these rings to be complete intersections.

We continue our study begun in [BKM21] of the Wiles defect of deformation rings and Hecke rings (at a newform f) acting on the cohomology of Shimura curves over ${\mathbf Q}$: It is defined to be the difference between these two measures of congruences. The Wiles defect thus arises from the failure of the Wiles numerical criterion at an augmentation $\lambda _f:{\mathbf T} \to {\mathcal O}$. In situations we study here, the Taylor–Wiles–Kisin patching method gives an isomorphism $ R={\mathbf T}$ without the rings being complete intersections. Using novel arguments in commutative algebra and patching, we generalize significantly and give different proofs of the results in [BKM21] that compute the Wiles defect at $\lambda _f: R={\mathbf T} \to {\mathcal O}$, and explain in an a priori manner why the answer in [BKM21] is a sum of local defects. As a curious application of our work we give a new and more robust approach to the result of Ribet–Takahashi that computes change of degrees of optimal parametrizations of elliptic curves over ${\mathbf Q}$ by Shimura curves as we vary the Shimura curve. The results we prove are not attainable using only the methods of Ribet–Takahashi.

We prove that many, but not all, injective factors arise as crossed products by nonsingular Bernoulli actions of the group $\mathbb {Z}$. We obtain this result by proving a completely general result on the ergodicity, type and Krieger’s associated flow for Bernoulli shifts with arbitrary base spaces. We prove that the associated flow must satisfy a structural property of infinite divisibility. Conversely, we prove that all almost periodic flows, as well as many other ergodic flows, do arise as associated flow of a weakly mixing Bernoulli action of any infinite amenable group. As a byproduct, we prove that all injective factors with almost periodic flow of weights are infinite tensor products of $2 \times 2$ matrices. Finally, we construct Poisson suspension actions with prescribed associated flow for any locally compact second countable group that does not have property (T).

Let G denote a possibly discrete topological group admitting an open subgroup I which is pro-p. If H denotes the corresponding Hecke algebra over a field k of characteristic p, then we study the adjunction between H-modules and k-linear smooth G-representations in terms of various model structures. If H is a Gorenstein ring, we single out a full subcategory of smooth G-representations which is equivalent to the category of all Gorenstein projective H-modules via the functor of I-invariants. This applies to groups of rational points of split connected reductive groups over finite and over non-Archimedean local fields, thus generalizing a theorem of Cabanes. Moreover, we show that the Gorenstein projective model structure on the category of H-modules admits a right transfer. On the homotopy level, the right derived functor of I-invariants then admits a right inverse and becomes an equivalence when restricted to a suitable subcategory.

We prove existence and unicity of slope-stable vector bundles on a general polarized hyperkähler (HK) variety of type $K3^{[n]}$ with certain discrete invariants, provided the rank and the first two Chern classes of the vector bundle satisfy certain equalities. The latter hypotheses at first glance appear to be quite restrictive, but, in fact, we might have listed almost all slope-stable rigid projectively hyperholomorphic vector bundles on polarized HK varieties of type $K3^{[n]}$ with $20$ moduli.

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 establish higher moment formulae for Siegel transforms on the space of affine unimodular lattices as well as on certain congruence quotients of $\mathrm {SL}_d({\mathbb {R}})$. As applications, we prove functional central limit theorems for lattice point counting for affine and congruence lattices using the method of moments.

In this paper, we prove uniform bounds for $\operatorname {GL}(3)\times \operatorname {GL}(2) \ L$-functions in the $\operatorname {GL}(2)$ spectral aspect and the t aspect by a delta method. More precisely, let $\phi $ be a Hecke–Maass cusp form for $\operatorname {SL}(3,\mathbb {Z})$ and f a Hecke–Maass cusp form for $\operatorname {SL}(2,\mathbb {Z})$ with the spectral parameter $t_f$. Then for $t\in \mathbb {R}$ and any $\varepsilon>0$, we have

$$\begin{align*}L(1/2+it,\phi\times f) \ll_{\phi,\varepsilon} (t_f+|t|)^{27/20+\varepsilon}. \end{align*}$$

$L(1/2+it,\phi \times f)$

$|t|-t_f \gg (|t|+t_f)^{3/5+\varepsilon }$

We propose two systems of “intrinsic” weights for counting such curves. In both cases the result acquires an exceptionally strong invariance property: it does not depend on the choice of a surface. One of our counts includes all divisor classes of canonical degree 2 and gives in total 30. The other one excludes the class $-2K$, but adds up the results of counting for a pair of real structures that differ by Bertini involution. This count gives 96.

We introduce the quantum isomeric supercategory and the quantum affine isomeric supercategory. These diagrammatically defined supercategories, which can be viewed as isomeric analogues of the HOMFLYPT skein category and its affinisation, provide powerful categorical tools for studying the representation theory of the quantum isomeric superalgebras (commonly known as quantum queer superalgebras).

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$.

We construct an action of the affine Hecke category on the principal block $\mathrm {Rep}_0(G_1T)$ of $G_1T$-modules where G is a connected reductive group over an algebraically closed field of characteristic $p> 0$, T a maximal torus of G and $G_1$ the Frobenius kernel of G. To define it, we define a new category with a Hecke action which is equivalent to the combinatorial category defined by Andersen-Jantzen-Soergel.