We construct algebras of endomorphisms in the derived category of the cohomology of arithmetic manifolds, which are generated by Hecke operators. We construct Galois representations with coefficients in these Hecke algebras and apply this technique to sharpen recent results of P. Scholze.

We give two applications of the 2-Engel relation, classically studied in finite and Lie groups, to the 4-dimensional (4D) topological surgery conjecture. The A–B slice problem, a reformulation of the surgery conjecture for free groups, is shown to admit a homotopy solution. We also exhibit a new collection of universal surgery problems, defined using ramifications of homotopically trivial links. More generally we show how $n$ -Engel relations arise from higher-order double points of surfaces in 4-space.

In this note we generalize a recent theorem of Guth and Katz on incidences between points and lines in 3-space from characteristic 0 to characteristic $p$ , and we explain how some of the special features of algebraic geometry in characteristic $p$ manifest themselves in problems of incidence geometry.

Let $G$ be a finite group acting transitively on a set $\unicode[STIX]{x1D6FA}$ . We study what it means for this action to be quasirandom, thereby generalizing Gowers’ study of quasirandomness in groups. We connect this notion of quasirandomness to an upper bound for the convolution of functions associated with the action of $G$ on $\unicode[STIX]{x1D6FA}$ . This convolution bound allows us to give sufficient conditions such that sets $S\subseteq G$ and $\unicode[STIX]{x1D6E5}_{1},\unicode[STIX]{x1D6E5}_{2}\subseteq \unicode[STIX]{x1D6FA}$ contain elements $s\in S,\unicode[STIX]{x1D714}_{1}\in \unicode[STIX]{x1D6E5}_{1},\unicode[STIX]{x1D714}_{2}\in \unicode[STIX]{x1D6E5}_{2}$ such that $s(\unicode[STIX]{x1D714}_{1})=\unicode[STIX]{x1D714}_{2}$ . Other consequences include an analogue of ‘the Gowers trick’ of Nikolov and Pyber for general group actions, a sum-product type theorem for large subsets of a finite field, as well as applications to expanders and to the study of the diameter and width of a finite simple group.

Sofic entropy is an invariant for probability-preserving actions of sofic groups. It was introduced a few years ago by Lewis Bowen, and shown to extend the classical Kolmogorov–Sinai entropy from the setting of amenable groups. Some parts of Kolmogorov–Sinai entropy theory generalize to sofic entropy, but in other respects this new invariant behaves less regularly. This paper explores conditions under which sofic entropy is additive for Cartesian products of systems. It is always subadditive, but the reverse inequality can fail. We define a new entropy notion in terms of probability distributions on the spaces of good models of an action. Using this, we prove a general lower bound for the sofic entropy of a Cartesian product in terms of separate quantities for the two factor systems involved. We also prove that this lower bound is optimal in a certain sense, and use it to derive some sufficient conditions for the strict additivity of sofic entropy itself. Various other properties of this new entropy notion are also developed.

We prove the boundedness of a smooth bilinear Rubio de Francia operator associated with an arbitrary collection of squares (with sides parallel to the axes) in the frequency plane

$$\begin{eqnarray}(f,g)\mapsto \biggl(\mathop{\sum }_{\unicode[STIX]{x1D714}\in \unicode[STIX]{x1D6FA}}\biggl|\int _{\mathbb{R}^{2}}\hat{f}(\unicode[STIX]{x1D709}){\hat{g}}(\unicode[STIX]{x1D702})\unicode[STIX]{x1D6F7}_{\unicode[STIX]{x1D714}}(\unicode[STIX]{x1D709},\unicode[STIX]{x1D702})e^{2\unicode[STIX]{x1D70B}ix(\unicode[STIX]{x1D709}+\unicode[STIX]{x1D702})}\,d\unicode[STIX]{x1D709}\,d\unicode[STIX]{x1D702}\biggr|^{r}\biggr)^{1/r},\end{eqnarray}$$

$r>2$

$L^{p}\times L^{q}\rightarrow L^{s}$

$p,q,s^{\prime }$

$L^{r^{\prime }}$

$$\begin{eqnarray}\frac{1}{p}+\frac{1}{q}+\frac{1}{s^{\prime }}=1,\quad 0\leqslant \frac{1}{p},\frac{1}{q}<\frac{1}{r^{\prime }},\quad \text{and}\quad \frac{1}{s^{\prime }}<\frac{1}{r^{\prime }}.\end{eqnarray}$$

$s^{\prime }$

$L^{s}$

The classical theorem of Vizing states that every graph of maximum degree $d$ admits an edge coloring with at most $d+1$ colors. Furthermore, as it was earlier shown by Kőnig, $d$ colors suffice if the graph is bipartite. We investigate the existence of measurable edge colorings for graphings (or measure-preserving graphs). A graphing is an analytic generalization of a bounded-degree graph that appears in various areas, such as sparse graph limits, orbit equivalence and measurable group theory. We show that every graphing of maximum degree $d$ admits a measurable edge coloring with $d+O(\sqrt{d})$ colors; furthermore, if the graphing has no odd cycles, then $d+1$ colors suffice. In fact, if a certain conjecture about finite graphs that strengthens Vizing’s theorem is true, then our method will show that $d+1$ colors are always enough.

We use Lau’s classification of 2-divisible groups using Dieudonné displays to construct integral canonical models for Shimura varieties of abelian type at 2-adic places where the level is hyperspecial.

In recent works [Gonçalves and Mansfield, Stud. Appl. Math., 128 (2012), 1–29; Mansfield, A Practical Guide to the Invariant Calculus (Cambridge University Press, Cambridge, 2010)], the authors considered various Lagrangians, which are invariant under a Lie group action, in the case where the independent variables are themselves invariant. Using a moving frame for the Lie group action, they showed how to obtain the invariantized Euler–Lagrange equations and the space of conservation laws in terms of vectors of invariants and the Adjoint representation of a moving frame. In this paper, we show how these calculations extend to the general case where the independent variables may participate in the action. We take for our main expository example the standard linear action of SL(2) on the two independent variables. This choice is motivated by applications to variational fluid problems which conserve potential vorticity. We also give the results for Lagrangians invariant under the standard linear action of SL(3) on the three independent variables.

The Hilbert scheme $X^{[3]}$ of length-3 subschemes of a smooth projective variety $X$ is known to be smooth and projective. We investigate whether the property of having a multiplicative Chow–Künneth decomposition is stable under taking the Hilbert cube. This is achieved by considering an explicit resolution of the rational map $X^{3}{\dashrightarrow}X^{[3]}$. The case of the Hilbert square was taken care of in Shen and Vial [Mem. Amer. Math. Soc.240(1139) (2016), vii+163 pp]. The archetypical examples of varieties endowed with a multiplicative Chow–Künneth decomposition is given by abelian varieties. Recent work seems to suggest that hyperKähler varieties share the same property. Roughly, if a smooth projective variety $X$ has a multiplicative Chow–Künneth decomposition, then the Chow rings of its powers $X^{n}$ have a filtration, which is the expected Bloch–Beilinson filtration, that is split.

For each integer $d\geqslant 3$ , we obtain a characterization of all graphs in which the ball of radius $3$ around each vertex is isomorphic to the ball of radius 3 in $\mathbb{L}^{d}$ , the graph of the $d$ -dimensional integer lattice. The finite, connected graphs with this property have a highly rigid, ‘global’ algebraic structure; they can be viewed as quotient lattices of $\mathbb{L}^{d}$ in various compact $d$ -dimensional orbifolds which arise from crystallographic groups. We give examples showing that ‘radius 3’ cannot be replaced by ‘radius 2’, and that ‘orbifold’ cannot be replaced by ‘manifold’. In the $d=2$ case, our methods yield new proofs of structure theorems of Thomassen [‘Tilings of the Torus and Klein bottle and vertex-transitive graphs on a fixed surface’, Trans. Amer. Math. Soc.323 (1991), 605–635] and of Márquez et al. [‘Locally grid graphs: classification and Tutte uniqueness’, Discrete Math.266 (2003), 327–352], and also yield short, ‘algebraic’ restatements of these theorems. Our proofs use a mixture of techniques and results from combinatorics, geometry and group theory.

The dichromatic number of a graph $G$ is the maximum integer $k$ such that there exists an orientation of the edges of $G$ such that for every partition of the vertices into fewer than $k$ parts, at least one of the parts must contain a directed cycle under this orientation. In 1979, Erdős and Neumann-Lara conjectured that if the dichromatic number of a graph is bounded, so is its chromatic number. We make the first significant progress on this conjecture by proving a fractional version of the conjecture. While our result uses a stronger assumption about the fractional chromatic number, it also gives a much stronger conclusion: if the fractional chromatic number of a graph is at least $t$ , then the fractional version of the dichromatic number of the graph is at least ${\textstyle \frac{1}{4}}t/\log _{2}(2et^{2})$ . This bound is best possible up to a small constant factor. Several related results of independent interest are given.

A generalization of Serre’s Conjecture asserts that if $F$ is a totally real field, then certain characteristic $p$ representations of Galois groups over $F$ arise from Hilbert modular forms. Moreover, it predicts the set of weights of such forms in terms of the local behaviour of the Galois representation at primes over  $p$ . This characterization of the weights, which is formulated using $p$ -adic Hodge theory, is known under mild technical hypotheses if $p>2$ . In this paper we give, under the assumption that $p$ is unramified in $F$ , a conjectural alternative description for the set of weights. Our approach is to use the Artin–Hasse exponential and local class field theory to construct bases for local Galois cohomology spaces in terms of which we identify subspaces that should correspond to ones defined using $p$ -adic Hodge theory. The resulting conjecture amounts to an explicit description of wild ramification in reductions of certain crystalline Galois representations. It enables the direct computation of the set of Serre weights of a Galois representation, which we illustrate with numerical examples. A proof of this conjecture has been announced by Calegari, Emerton, Gee and Mavrides.

We exhibit a knot $P$ in the solid torus, representing a generator of first homology, such that for any knot $K$ in the 3-sphere, the satellite knot with pattern $P$ and companion $K$ is not smoothly slice in any homology 4-ball. As a consequence, we obtain a knot in a homology 3-sphere that does not bound a piecewise-linear disk in any homology 4-ball.