We prove novel asymptotic freeness results in tracial ultraproduct von Neumann algebras. In particular, we show that whenever $M = M_1 \ast M_2$ is a tracial free product von Neumann algebra and $u_1 \in \mathscr U(M_1)$, $u_2 \in \mathscr U(M_2)$ are Haar unitaries, the relative commutants $\{u_1\}' \cap M^{\mathcal U}$ and $\{u_2\}' \cap M^{\mathcal U}$ are freely independent in the ultraproduct $M^{\mathcal U}$. Our proof relies on Mei–Ricard’s results [MR16] regarding $\operatorname {L}^p$-boundedness (for all $1 < p < +\infty $) of certain Fourier multipliers in tracial amalgamated free products von Neumann algebras. We derive two applications. Firstly, we obtain a general absorption result in tracial amalgamated free products that recovers several previous maximal amenability/Gamma absorption results. Secondly, we prove a new lifting theorem which we combine with our asymptotic freeness results and Chifan–Ioana–Kunnawalkam Elayavalli’s recent construction [CIKE22] to provide the first example of a $\mathrm {II_1}$ factor that does not have property Gamma and is not elementary equivalent to any free product of diffuse tracial von Neumann algebras.

We introduce the abstract notion of a smoothable fine compactified Jacobian of a nodal curve, and of a family of nodal curves whose general element is smooth. Then we introduce the combinatorial notion of a stability assignment for line bundles and their degenerations.

We prove that smoothable fine compactified Jacobians are in bijection with these stability assignments.

We then turn our attention to fine compactified universal Jacobians – that is, fine compactified Jacobians for the moduli space $\overline {\mathcal {M}}_g$ of stable curves (without marked points). We prove that every fine compactified universal Jacobian is isomorphic to the one first constructed by Caporaso, Pandharipande and Simpson in the nineties. In particular, without marked points, there exists no fine compactified universal Jacobian unless $\gcd (d+1-g, 2g-2)=1$.

We revisit Haiman’s conjecture on the relations between characters of Kazdhan–Lusztig basis elements of the Hecke algebra over $S_n$. The conjecture asserts that, for purposes of character evaluation, any Kazhdan–Lusztig basis element is reducible to a sum of the simplest possible ones (those associated to so-called codominant permutations). When the basis element is associated to a smooth permutation, we are able to give a geometric proof of this conjecture. On the other hand, if the permutation is singular, we provide a counterexample.

We study covering numbers of subsets of the symmetric group $S_n$ that exhibit closure under conjugation, known as normal sets. We show that for any $\epsilon>0$, there exists $n_0$ such that if $n>n_0$ and A is a normal subset of the symmetric group $S_n$ of density $\ge e^{-n^{2/5 - \epsilon }}$, then $A^2 \supseteq A_n$. This improves upon a seminal result of Larsen and Shalev (Inventiones Math., 2008), with our $2/5$ in the double exponent replacing their $1/4$.

Our proof strategy combines two types of techniques. The first is ‘traditional’ techniques rooted in character bounds and asymptotics for the Witten zeta function, drawing from the foundational works of Liebeck–Shalev, Larsen–Shalev, and more recently, Larsen–Tiep. The second is a sharp hypercontractivity theorem in the symmetric group, which was recently obtained by Keevash and Lifshitz. This synthesis of algebraic and analytic methodologies not only allows us to attain our improved bounds but also provides new insights into the behavior of general independent sets in normal Cayley graphs over symmetric groups.

In this paper, we prove the birational rigidity of Fano-Mori fibre spaces $\pi \colon V\to S$, every fibre of which is a Fano complete intersection of index 1 and codimension $k\geqslant 3$ in the projective space ${\mathbb P}^{M+k}$ for M sufficiently high, satisfying certain natural conditions of general position, in the assumption that the fibre space $V/S$ is sufficiently twisted over the base. The dimension of the base S is bounded from above by a constant, depending only on the dimension M of the fibre (as the dimension of the fibre M grows, this constant grows as $\frac 12 M^2$).

This paper focuses on the fundamental aspects of super-resolution, particularly addressing the stability of super-resolution and the estimation of two-point resolution. Our first major contribution is the introduction of two location-amplitude identities that characterize the relationships between locations and amplitudes of true and recovered sources in the one-dimensional super-resolution problem. These identities facilitate direct derivations of the super-resolution capabilities for recovering the number, location, and amplitude of sources, significantly advancing existing estimations to levels of practical relevance. As a natural extension, we establish the stability of a specific $l_{0}$ minimization algorithm in the super-resolution problem.

The second crucial contribution of this paper is the theoretical proof of a two-point resolution limit in multi-dimensional spaces. The resolution limit is expressed as

$$\begin{align*}\mathscr R = \frac{4\arcsin \left(\left(\frac{\sigma}{m_{\min}}\right)^{\frac{1}{2}} \right)}{\Omega} \end{align*}$$

${\frac {\sigma }{m_{\min }}}{\leqslant }{\frac {1}{2}}$

${\frac {\sigma }{m_{\min }}}$

${\mathrm {SNR}}$

$\Omega $

${\frac {\pi }{\Omega }}$

$2$

${\mathscr {R}}$

Geometric Langlands predicts an isomorphism between Whittaker coefficients of Eisenstein series and functions on the moduli space of $\check {N}$-local systems. We prove this formula by interpreting Whittaker coefficients of Eisenstein series as factorization homology and then invoking Beilinson and Drinfeld’s formula for chiral homology of a chiral enveloping algebra.

We prove several boundedness statements for geometrically integral normal del Pezzo surfaces X over arbitrary fields. We give an explicit sharp bound on the irregularity if X is canonical or regular. In particular, we show that wild canonical del Pezzo surfaces exist only in characteristic $2$. As an application, we deduce that canonical del Pezzo surfaces form a bounded family over $\mathbb {Z}$, generalising work of Tanaka. More generally, we prove the BAB conjecture on the boundedness of $\varepsilon $-klt del Pezzo surfaces over arbitrary fields of characteristic different from $2, 3$ and $5$.

This paper is devoted to the global analysis of the three-dimensional axisymmetric Navier–Stokes–Maxwell equations. More precisely, we are able to prove that, for large values of the speed of light $c\in (c_0, \infty )$, for some threshold $c_0>0$ depending only on the initial data, the system in question admits a unique global solution. The ensuing bounds on the solutions are uniform with respect to the speed of light, which allows us to study the singular regime $c\rightarrow \infty $ and rigorously derive the limiting viscous magnetohydrodynamic (MHD) system in the axisymmetric setting.

The strategy of our proofs draws insight from recent results on the two-dimensional incompressible Euler–Maxwell system to exploit the dissipative–dispersive structure of Maxwell’s system in the axisymmetric setting. Furthermore, a detailed analysis of the asymptotic regime $c\to \infty $ allows us to derive a robust nonlinear energy estimate which holds uniformly in c. As a byproduct of such refined uniform estimates, we are able to describe the global strong convergence of solutions toward the MHD system.

This collection of results seemingly establishes the first available global well-posedness of three-dimensional viscous plasmas, where the electric and magnetic fields are governed by the complete Maxwell equations, for large initial data as $c\to \infty $.

We consider a dilute fully spin-polarized Fermi gas at positive temperature in dimensions $d\in \{1,2,3\}$. We show that the pressure of the interacting gas is bounded from below by that of the free gas plus, to leading order, an explicit term of order $a^d\rho ^{2+2/d}$, where a is the p-wave scattering length of the repulsive interaction and $\rho $ is the particle density. The results are valid for a wide range of repulsive interactions, including that of a hard core, and uniform in temperatures at most of the order of the Fermi temperature. A central ingredient in the proof is a rigorous implementation of the fermionic cluster expansion of Gaudin, Gillespie and Ripka (Nucl. Phys. A, 176.2 (1971), pp. 237–260).

Let $p \geq 5$ be a prime number, and let $G = {\mathrm {SL}}_2(\mathbb {Q}_p)$. Let $\Xi = {\mathrm {Spec}}(Z)$ denote the spectrum of the centre Z of the pro-p Iwahori–Hecke algebra of G with coefficients in a field k of characteristic p. Let $\mathcal {R} \subset \Xi \times \Xi $ denote the support of the pro-p Iwahori ${\mathrm {Ext}}$-algebra of G, viewed as a $(Z,Z)$-bimodule. We show that the locally ringed space $\Xi /\mathcal {R}$ is a projective algebraic curve over ${\mathrm {Spec}}(k)$ with two connected components and that each connected component is a chain of projective lines. For each Zariski open subset U of $\Xi /\mathcal {R}$, we construct a stable localising subcategory $\mathcal {L}_U$ of the category of smooth k-linear representations of G.

Hypertrees are linear hypergraphs where every two vertices are connected by a unique path. Elliott and Rödl conjectured that for any given $\mu>0$, there exists $n_0$ such that the following holds. Every n-vertex Steiner triple system contains all hypertrees with at most $(1-\mu )n$ vertices whenever $n\geq n_0$. We prove this conjecture.

We study a quiver description of the nested Hilbert scheme of points on the affine plane and its higher rank generalization – that is, the moduli space of flags of framed torsion-free sheaves on the projective plane. We show that stable representations of the quiver provide an ADHM-like construction for such moduli spaces. We introduce a natural torus action and use equivariant localization to compute some of their (virtual) topological invariants, including the case of compact toric surfaces. We conjecture that the generating function of holomorphic Euler characteristics for rank one is given in terms of polynomials in the equivariant weights, which, for specific numerical types, coincide with (modified) Macdonald polynomials. From the physics viewpoint, the quivers we study describe a class of surface defects in four-dimensional supersymmetric gauge theories in terms of nested instantons.

We study the growth of the local $L^2$-norms of the unitary Eisenstein series for reductive groups over number fields, in terms of their parameters. We derive a poly-logarithmic bound on an average, for a large class of reductive groups. The method is based on Arthur’s development of the spectral side of the trace formula, and ideas of Finis, Lapid and Müller.

As applications of our method, we prove the optimal lifting property for $\mathrm {SL}_n(\mathbb {Z}/q\mathbb {Z})$ for square-free q, as well as the Sarnak–Xue [52] counting property for the principal congruence subgroup of $\mathrm {SL}_n(\mathbb {Z})$ of square-free level. This makes the recent results of Assing–Blomer [8] unconditional.

Let $\Gamma $ be a finite group, let $\theta $ be an involution of $\Gamma $ and let $\rho $ be an irreducible complex representation of $\Gamma $. We bound ${\operatorname {dim}} \rho ^{\Gamma ^{\theta }}$ in terms of the smallest dimension of a faithful $\mathbb {F}_p$-representation of $\Gamma /\operatorname {\mathrm {Rad}}_p(\Gamma )$, where p is any odd prime and $\operatorname {\mathrm {Rad}}_p(\Gamma )$ is the maximal normal p-subgroup of $\Gamma $.

This implies, in particular, that if $\mathbf {G}$ is a group scheme over $\mathbb {Z}$ and $\theta $ is an involution of $\mathbf {G}$, then the multiplicity of any irreducible representation in $C^\infty \left( \mathbf {G}(\mathbb {Z}_p)/ \mathbf {G} ^{\theta }(\mathbb {Z}_p) \right)$ is bounded, uniformly in p.

An example of Cornalba and Shiffman from 1972 disproves in dimension two or higher a classical prediction that the count of zeros of holomorphic self-mappings of the complex linear space should be controlled by the maximum modulus function. We prove that such a bound holds for a modified coarse count inspired by the theory of persistence modules originating in topological data analysis.

Let $\pi $ be a cuspidal, cohomological automorphic representation of an inner form G of $\operatorname {{PGL}}_2$ over a number field F of arbitrary signature. Further, let $\mathfrak {p}$ be a prime of F such that G is split at $\mathfrak {p}$ and the local component $\pi _{\mathfrak {p}}$ of $\pi $ at $\mathfrak {p}$ is the Steinberg representation. Assuming that the representation is noncritical at $\mathfrak {p}$, we construct automorphic $\mathcal {L}$-invariants for the representation $\pi $. If the number field F is totally real, we show that these automorphic $\mathcal {L}$-invariants agree with the Fontaine–Mazur $\mathcal {L}$-invariant of the associated p-adic Galois representation. This generalizes a recent result of Spieß respectively Rosso and the first named author from the case of parallel weight $2$ to arbitrary cohomological weights.

The Hankel index of a real variety X is an invariant that quantifies the difference between nonnegative quadrics and sums of squares on X. In [5], the authors proved an intriguing bound on the Hankel index in terms of the Green–Lazarsfeld index, which measures the ‘linearity’ of the minimal free resolution of the ideal of X. In all previously known cases, this bound was tight. We provide the first class of examples where the bound is not tight; in fact, the difference between Hankel index and Green–Lazarsfeld index can be arbitrarily large. Our examples are outer projections of rational normal curves, where we identify the center of projection with a binary form F. The Green–Lazarsfeld index of the projected curve is given by the complex Waring border rank of F [16]. We show that the Hankel index is given by the almost real rank of F, which is a new notion that comes from decomposing F as a sum of powers of almost real forms. Finally, we determine the range of possible and typical almost real ranks for binary forms.

We prove that the moduli spaces of parabolic symplectic/orthogonal bundles on a smooth curve are globally F-regular type. As a consequence, all higher cohomologies of the theta line bundle vanish. During the proof, we develop a method to estimate codimension.