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.

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 initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups and obtains a bijection with the set of classifying spaces of compact connected Lie groups topologically localised away from the characteristic. We also study the representations of perfectly reductive groups. We establish a highest weight classification of simple modules, the decomposition into blocks, and relate extension groups to those of the underlying abstract group.

We consider the notion of strong self-absorption for continuous actions of locally compact groups on the hyperfinite II$_1$ factor and characterize when such an action is tensorially absorbed by another given action on any separably acting von Neumann algebra. This extends the well-known McDuff property for von Neumann algebras and is analogous to the core theorems around strongly self-absorbing C$^*$-dynamics. Given a countable discrete group G and an amenable action $G\curvearrowright M$ on any separably acting semifinite von Neumann algebra, we establish a type of measurable local-to-global principle: If a given strongly self-absorbing G-action is suitably absorbed at the level of each fibre in the direct integral decomposition of M, then it is tensorially absorbed by the action on M. As a direct application of Ocneanu’s theorem, we deduce that if M has the McDuff property, then every amenable G-action on M has the equivariant McDuff property, regardless whether M is assumed to be injective or not. By employing Tomita–Takesaki theory, we can extend the latter result to the general case, where M is not assumed to be semifinite.

For a real number $0<\epsilon <1/3$, we show that the anti-canonical volume of an $\epsilon $-klt Fano $3$-fold is at most $3,200/\epsilon ^4$, and the order $O(1/\epsilon ^4)$ is sharp.

Given the full shift over a countable state space on a countable amenable group, we develop its thermodynamic formalism. First, we introduce the concept of pressure and, using tiling techniques, prove its existence and further properties, such as an infimum rule. Next, we extend the definitions of different notions of Gibbs measures and prove their existence and equivalence, given some regularity and normalization criteria on the potential. Finally, we provide a family of potentials that nontrivially satisfy the conditions for having this equivalence and a nonempty range of inverse temperatures where uniqueness holds.

Kobayashi–Ochiai proved that the set of dominant maps from a fixed variety to a fixed variety of general type is finite. We prove the natural extension of their finiteness theorem to Campana’s orbifold pairs.

Dans cet article, nous étudions la cohomologie de de Rham du premier revêtement de la tour de Drinfel’d. En particulier, nous obtenons une preuve purement locale du fait que la partie supercuspidale réalise la correspondance de Jacquet-Langlands locale pour $\mathrm {GL}_n$ en la comparant à la cohomologie rigide de certaines variétés de Deligne-Lusztig. Les représentations obtenues sont analogues à celles qui apparaissent dans la cohomologie $\ell $-adique lorsqu’on oublie l’action du groupe de Weil. La preuve repose sur une généralisation d’un résultat d’excision de Grosse-Klönne et de la description explicite du premier revêtement en tant que revêtement cyclique obtenu par l’auteur dans un travail précédent.

Clausen a prédit que le groupe des classes d’idèles de Chevalley d’un corps de nombres F apparaît comme le premier K-groupe de la catégorie des F-espaces vectoriels localement compacts. Cela s’est avéré vrai, et se généralise même aux groupes K supérieurs dans un sens approprié. Nous remplaçons F par une $\mathbb {Q}$-algèbre semi-simple, et obtenons le groupe des classes d’idèles noncommutatif de Fröhlich de manière analogue, modulo les éléments de norme réduite une. Même dans le cas du corps de nombres, notre preuve est plus simple que celle existante, et repose sur le théorème de localisation pour des sous-catégories percolées. Enfin, en utilisant la théorie des corps de classes, nous interprétons la loi de réciprocité d’Hilbert (ainsi qu’une variante noncommutative) en termes de nos résultats.

Clausen predicted that Chevalley’s idèle class group of a number field F appears as the first K-group of the category of locally compact F-vector spaces. This has turned out to be true and even generalizes to the higher K-groups in a suitable sense. We replace F by a semisimple $\mathbb {Q}$-algebra and obtain Fröhlich’s noncommutative idèle class group in an analogous fashion, modulo the reduced norm one elements. Even in the number field case, our proof is simpler than the existing one and based on the localization theorem for percolating subcategories. Finally, using class field theory as input, we interpret Hilbert’s reciprocity law (as well as a noncommutative variant) in terms of our results.

We introduce and study two conditions on groups of homeomorphisms of Cantor space, namely the conditions of being vigorous and of being flawless. These concepts are dynamical in nature, and allow us to study a certain interplay between the dynamics of an action and the algebraic properties of the acting group. A group $G\leq \operatorname {Homeo}(\mathfrak {C})$ is vigorous if for any clopen set A and proper clopen subsets B and C of A, there is $\gamma \in G$ in the pointwise stabiliser of $\mathfrak {C}\backslash A$ with $B\gamma \subseteq C$. A nontrivial group $G\leq \operatorname {Homeo}(\mathfrak {C})$ is flawless if for all k and w a nontrivial freely reduced product expression on k variables (including inverse symbols), a particular subgroup $w(G)_\circ $ of the verbal subgroup $w(G)$ is the whole group. We show: 1) simple vigorous groups are either two-generated by torsion elements, or not finitely generated, 2) flawless groups are both perfect and lawless, 3) vigorous groups are simple if and only if they are flawless, and, 4) the class of vigorous simple subgroups of $\operatorname {Homeo}(\mathfrak {C})$ is fairly broad (the class is closed under various natural constructions and contains many well known groups, such as the commutator subgroups of the Higman–Thompson groups $G_{n,r}$, the Brin-Thompson groups $nV$, Röver’s group $V(\Gamma )$, and others of Nekrashevych’s ‘simple groups of dynamical origin’).

We introduce a new class of generalised quadratic forms over totally real number fields, which is rich enough to capture the arithmetic of arbitrary systems of quadrics over the rational numbers. We explore this connection through a version of the Hardy–Littlewood circle method over number fields.