We compute the $1$-line of stable homotopy groups of motivic spheres over fields of characteristic not two in terms of hermitian and Milnor $K$-groups. This is achieved by solving questions about convergence and differentials in the slice spectral sequence.

We prove an inequality on decision trees on monotonic measures which generalizes the OSSS inequality on product spaces. As an application, we use this inequality to prove a number of new results on lattice spin models and their random-cluster representations. More precisely, we prove that

These results have many applications for the understanding of the subcritical (respectively disordered) phase of all these models. The techniques developed in this paper have potential to be extended to a wide class of models including the Ashkin-Teller model, continuum percolation models such as Voronoi percolation and Boolean percolation, super-level sets of massive Gaussian free field, and the random-cluster and Potts models with infinite range interactions.

For initial datum of finite kinetic energy, Leray has proven in 1934 that there exists at least one global in time finite energy weak solution of the 3D Navier-Stokes equations. In this paper we prove that weak solutions of the 3D Navier-Stokes equations are not unique in the class of weak solutions with finite kinetic energy. Moreover, we prove that Hölder continuous dissipative weak solutions of the 3D Euler equations may be obtained as a strong vanishing viscosity limit of a sequence of finite energy weak solutions of the 3D Navier-Stokes equations.

We prove the mixing conjecture of Michel and Venkatesh for toral packets with negative fundamental discriminants and split at two fixed primes, assuming all splitting fields have no exceptional Landau-Siegel zero. As a consequence we establish for arbitrary products of indefinite Shimura curves the equidistribution of Galois orbits of generic sequences of CM points all of whose components have the same fundamental discriminant, assuming the CM fields are split at two fixed primes and have no exceptional zero.

The joinings theorem of Einsiedler and Lindenstrauss applies to the toral orbits arising in these results. Yet it falls short of demonstrating equidistribution due to the possibility of intermediate algebraic measures supported on Hecke correspondences and their translates.

The main novel contribution is a method to exclude intermediate measures for toral periods. The crux is a geometric expansion of the cross-correlation between the periodic measure on a torus orbit and a Hecke correspondence, expressing it as a short shifted convolution sum. The latter is bounded from above generalizing the method of Shiu and Nair to polynomials in two variables on smooth domains.

We prove the classification of homomorphisms from the algebra of symmetric functions to $\mathbb{R}$ with non-negative values on Macdonald symmetric functions $P_\lambda$, which was conjectured by S. V. Kerov in 1992.