In this paper we prove a new generic vanishing theorem for $X$ a complete homogeneous variety with respect to an action of a connected algebraic group. Let $A, B_0\subset X$ be locally closed affine subvarieties, and assume that $B_0$ is smooth and pure dimensional. Let ${\mathcal {P}}$ be a perverse sheaf on $A$ and let $B=g B_0$ be a generic translate of $B_0$. Then our theorem implies $(-1)^{\operatorname {codim} B}\chi (A\cap B, {\mathcal {P}}|_{A\cap B})\geq 0$. As an application, we prove in full generality a positivity conjecture about the signed Euler characteristic of generic triple intersections of Schubert cells. Such Euler characteristics are known to be the structure constants for the multiplication of the Segre–Schwartz–MacPherson classes of these Schubert cells.

A Pell–Abel equation is a functional equation of the form $P^{2}-DQ^{2} = 1$, with a given polynomial $D$ free of squares and unknown polynomials $P$ and $Q$. We show that the space of Pell–Abel equations with the degrees of $D$ and of the primitive solution $P$ fixed is a complex manifold. We describe its connected components by an efficiently computable invariant. Moreover, we give various applications of this result, including to torsion pairs on hyperelliptic curves and to Hurwitz spaces, and a description of the connected components of the space of primitive $k$-differentials with a unique zero on genus $2$ Riemann surfaces.

In this paper, we investigate Frobenius eigenvalues of the compactly supported rigid cohomology of a variety defined over a finite field with q elements, using Dwork’s method. Our study yields several arithmetic consequences. First, we establish that the zeta functions of a set of related affine varieties can reveal all Frobenius eigenvalues of the rigid cohomology of the variety up to a Tate twist. This result does not seem to be known for the $\ell$-adic cohomology. As a second application, we provide several q-divisibility lower bounds for the Frobenius eigenvalues of the rigid cohomology of the variety, in terms of the dimension and multi-degrees of the defining equations. These divisibility bounds for rigid cohomology are generally better than what is suggested from the best known divisibility bounds in $\ell$-adic cohomology, both before and after the middle cohomological degree.

We study certain categories associated to symmetric quivers with potential, called quasi-Bogomol’nyi–Prasad–Sommerfield (BPS) categories. We construct semiorthogonal decompositions of the categories of matrix factorizations for moduli stacks of representations of (framed or unframed) symmetric quivers with potential, where the summands are categorical Hall products of quasi-BPS categories. These results generalize our previous results about the three-loop quiver. We prove several properties of quasi-BPS categories: wall-crossing equivalence, strong generation, and a categorical support lemma in the case of tripled quivers with potential. We also introduce reduced quasi-BPS categories for preprojective algebras, which have trivial relative Serre functor and are indecomposable when the weight is coprime with the total dimension. In this case, we regard the reduced quasi-BPS categories as noncommutative local hyperkähler varieties and as (twisted) categorical versions of crepant resolutions of singularities of good moduli spaces of representations of preprojective algebras. The studied categories include the local models of quasi-BPS categories of K3 surfaces. In a follow-up paper, we establish analogous properties for quasi-BPS categories of K3 surfaces.

We show that smooth numbers are equidistributed in arithmetic progressions to moduli of size $x^{66/107-o(1)}$. This overcomes a longstanding barrier of $x^{3/5-o(1)}$ present in previous works of Bombieri, Friedlander and Iwaniec, Fouvry and Tenenbaum, Drappeau, and Maynard. We build on Drappeau’s variation of Linnik’s dispersion method and on exponential sum manipulations of Maynard, ultimately relying on optimized Deshouillers–Iwaniec-type estimates for sums of Kloosterman sums.

It was asked by E. Szemerédi if, for a finite set $A\subset {\mathbb {Z}}$, one can improve estimates for $\max \{|A+A|,|A\cdot A|\}$, under the constraint that all integers involved have a bounded number of prime factors, that is, each $a\in A$ satisfies $\omega (a)\leq k$. In this paper we show that this maximum is at least of order $|A|^{\frac {5}{3}-o_\epsilon (1)}$ provided $k\leq (\log |A|)^{1-\varepsilon }$ for any $\varepsilon \gt 0$. In fact, this will follow from an estimate for additive energy which is best possible up to factors of size $|A|^{o(1)}$.

We show that there exists some $\delta > 0$ such that, for any set of integers B with $|B\cap[1,Y]|\gg Y^{1-\delta}$ for all $Y \gg 1$, there are infinitely many primes of the form $a^2+b^2$ with $b\in B$. We prove a quasi-explicit formula for the number of primes of the form $a^2+b^2 \leq X$ with $b \in B$ for any $|B|=X^{1/2-\delta}$ with $\delta < 1/10$ and $B \subseteq [\eta X^{1/2},(1-\eta)X^{1/2}] \cap {\mathbb{Z}}$, in terms of zeros of Hecke L-functions on ${\mathbb{Q}}(i)$. We obtain the expected asymptotic formula for the number of such primes provided that the set B does not have a large subset which consists of multiples of a fixed large integer. In particular, we get an asymptotic formula if B is a sparse subset of primes. For an arbitrary B we obtain a lower bound for the number of primes with a weaker range for $\delta$, by bounding the contribution from potential exceptional characters.

Given a word $w(x_{1},\ldots,x_{r})$, i.e. an element in the free group on r elements, and an integer $d\geq1$, we study the characteristic polynomial of the random matrix $w(X_{1},\ldots,X_{r})$, where $X_{i}$ are Haar-random independent $d\times d$ unitary matrices. If $c_{m}(X)$ denotes the mth coefficient of the characteristic polynomial of X, our main theorem implies that there is a positive constant $\epsilon(w)$, depending only on w, such that

\[|\mathbb{E}(c_{m}(w(X_{1},\ldots,X_{r})))|\leq\binom{d}{m}^{\!\!1-\epsilon(w)},\]

$1\leq m\leq d$

$\mathbb{E}(c_{m}(w))$

We prove a strong Frankel theorem for mean curvature flow shrinkers in all dimensions: Any two shrinkers in a sufficiently large ball must intersect. In particular, the shrinker itself must be connected in all large balls. The key to the proof is a strong Bernstein theorem for incomplete stable Gaussian surfaces.

We study locally flat disks in $(\mathbb {C}P^2)^\circ :=({\mathbb {C}} P^2)\setminus \mathring {B}^4$ with boundary a fixed knot $K$ and whose complement has fundamental group $\mathbb {Z}$. We show that, up to topological isotopy relative to the (rel.) boundary, such disks necessarily arise by performing a positive crossing change on $K$ to an Alexander polynomial one knot and capping off with a $\mathbb {Z}$-disk in $D^4.$ Such a crossing change determines a loop in $S^3 \setminus K$ and we prove that the homology class of its lift to the infinite cyclic cover leads to a complete invariant of the disk. We prove that this determines a bijection between the set of rel. boundary topological isotopy classes of $\mathbb {Z}$-disks with boundary $K$ and a quotient of the set of unitary units of the ring $\mathbb {Z}[t^{\pm 1}]/(\Delta _K)$. Number-theoretic considerations allow us to deduce that a knot $K \subset S^3$ with quadratic Alexander polynomial bounds $0,1,2,4$, or infinitely many $\mathbb {Z}$-disks in $(\mathbb {C}P^2)^\circ$. This leads to the first examples of knots bounding infinitely many topologically distinct disks whose exteriors have the same fundamental group and equivariant intersection form. Finally, we give several examples where these disks are realized smoothly.

We analyze the existence of Kähler–Einstein metrics of positive curvature in the neighborhood of a germ of a log terminal singularity (X,p). This boils down to solving a Dirichlet problem for certain complex Monge–Ampère equations. We establish a Moser–Trudinger inequality $(MT)_{\gamma}$ in subcritical regimes $\gamma<\gamma_{\rm crit}(X,p)$ and show the existence of smooth solutions in those cases. We show that the expected critical exponent $\tilde{\gamma}_{\rm crit}(X,p)=(({n+1})/{n}) \widehat{\mathrm{vol}}(X,p)^{1/n}$ can be expressed in terms of the normalized volume, an important algebraic invariant of the singularity.

We define an involution on the elliptic space of tempered unipotent representations of inner twists of a split simple $p$-adic group $G$ and investigate its behaviour with respect to restrictions to reductive quotients of maximal compact open subgroups. In particular, we formulate a precise conjecture about the relation with a version of Lusztig's nonabelian Fourier transform on the space of unipotent representations of the (possibly disconnected) reductive quotients of maximal compact subgroups. We give evidence for the conjecture, including proofs for ${\mathsf {SL}}_n$ and ${\mathsf {PGL}}_n$.

We study random walks on metric spaces with contracting isometries. In this first article of the series, we establish sharp deviation inequalities by adapting Gouëzel’s pivotal time construction. As an application, we establish the exponential bounds for deviation from below, central limit theorem, law of the iterated logarithms, and the geodesic tracking of random walks on mapping class groups and CAT(0) spaces.

We provide two constructions of hyperbolic metrics on 3-manifolds with Heegaard splittings that satisfy certain topological conditions, which both apply to random Heegaard splitting with asymptotic probability 1. These constructions provide a lot of control on the resulting metric, allowing us to prove various results about the coarse growth rate of geometric invariants, such as diameter and injectivity radius, and about arithmeticity and commensurability in families of random 3-manifolds. For example, we show that the diameter of a random Heegaard splitting grows coarsely linearly in the length of the associated random walk. The constructions only use tools from the deformation theory of Kleinian groups, that is, we do not rely on the solution of the geometrization conjecture by Perelman. In particular, we give a proof of Maher’s result that random 3-manifolds are hyperbolic that bypasses geometrization.

Recently, there has been much progress in understanding stationary measures for colored (also called multi-species or multi-type) interacting particle systems, motivated by asymptotic phenomena and rich underlying algebraic and combinatorial structures (such as nonsymmetric Macdonald polynomials). In this paper, we present a unified approach to constructing stationary measures for most of the known colored particle systems on the ring and the line, including (1) the Asymmetric Simple Exclusion Process (multi-species ASEP, or mASEP); (2) the $q$-deformed Totally Asymmetric Zero Range Process (TAZRP) also known as the $q$-Boson particle system; (3) the $q$-deformed Pushing Totally Asymmetric Simple Exclusion Process ($q$-PushTASEP). Our method is based on integrable stochastic vertex models and the Yang–Baxter equation. We express the stationary measures as partition functions of new ‘queue vertex models’ on the cylinder. The stationarity property is a direct consequence of the Yang–Baxter equation. For the mASEP on the ring, a particular case of our vertex model is equivalent to the multiline queues of Martin (Stationary distributions of the multi-type ASEP, Electron. J. Probab. 25 (2020), 1–41). For the colored $q$-Boson process and the $q$-PushTASEP on the ring, we recover and generalize known stationary measures constructed using multiline queues or other methods by Ayyer, Mandelshtam and Martin (Modified Macdonald polynomials and the multispecies zero range process: II, Algebr. Comb. 6 (2022), 243–284; Modified Macdonald polynomials and the multispecies zero-range process: I, Algebr. Comb. 6 (2023), 243–284) and Bukh and Cox (Periodic words, common subsequences and frogs, Ann. Appl. Probab. 32 (2022), 1295–1332). Our proofs of stationarity use the Yang–Baxter equation and bypass the Matrix Product Ansatz (used for the mASEP by Prolhac, Evans and Mallick (The matrix product solution of the multispecies partially asymmetric exclusion process, J. Phys. A. 42 (2009), 165004)). On the line and in a quadrant, we use the Yang–Baxter equation to establish a general colored Burke’s theorem, which implies that suitable specializations of our queue vertex models produce stationary measures for particle systems on the line. We also compute the colored particle currents in stationarity.

Using motivic integration theory and the notion of riso-triviality, we introduce two new objects in the framework of definable nonarchimedean geometry: a convenient partial preorder $\preccurlyeq$ on the set of constructible motivic functions, and an invariant $V_0$, nonarchimedean substitute for the number of connected components. We then give several applications based on $\preccurlyeq$ and $V_0$: we obtain the existence of nonarchimedean substitutes of real measure geometric invariants $V_i$, called the Vitushkin variations, and we establish the nonarchimedean counterpart of a real inequality involving $\preccurlyeq$, the metric entropy and our invariants $V_i$. We also prove the nonarchimedean Cauchy–Crofton formula for definable sets of dimension $d$, relating $V_0$ (and $V_d$) and the motivic measure in dimension $d$.

We show that the fundamental group of every enumeratively rationally connected closed symplectic manifold is finite. In other words, if a closed symplectic manifold has a non-zero Gromov–Witten invariant with two point insertions, then it has finite fundamental group. We also show that if the spherical homology class associated with such a non-zero Gromov–Witten invariant is holomorphically indecomposable, then the rational second homology of the symplectic manifold has rank one.

We perform a general study of the structure of locally compact modules over compactly generated abelian groups. We obtain a dévissage result for such modules of the form ‘compact-by-sheer-by-discrete’, and then study more specifically the sheer part. The main typical example of a sheer module is a polycontractible module, that is, a finite direct product of modules, each of which is contracted by some group element. We show that every sheer module has a ‘large’ polycontractible submodule, in some suitable sense. We apply this to the study of compactly generated metabelian groups. For instance, we prove that they always have a maximal compact normal subgroup, and we extend the Bieri–Strebel characterization of compactly presentable metabelian groups from the discrete case to this more general setting.

The Hanna Neumann conjecture (HNC) for a free group G predicts that $\overline{\chi}(U\cap V)\leqslant \overline{\chi} (U)\overline{\chi}(V)$ for all finitely generated subgroups U and V, where $\overline{\chi}(H) = \max\{-\chi(H),0\}$ denotes the reduced Euler characteristic of H. A strengthened version of the HNC was proved independently by Friedman and Mineyev in 2011. Recently, Antolín and Jaikin-Zapirain introduced the $L^2$-Hall property and showed that if G is a hyperbolic limit group that satisfies this property, then G satisfies the HNC. Antolín and Jaikin-Zapirain established the $L^2$-Hall property for free and surface groups, which Brown and Kharlampovich extended to all limit groups. In this paper, we prove the $L^2$-Hall property for graphs of free groups with cyclic edge groups that are hyperbolic relative to virtually abelian subgroups. We also give another proof of the $L^2$-Hall property for limit groups. As a corollary, we show that all these groups satisfy a strengthened version of the HNC.

We prove that if a compact, simply connected Riemannian G-manifold M has orbit space $M/G$ isometric to some other quotient $N/H$ with N having zero topological entropy, then M is rationally elliptic. This result, which generalizes most conditions on rational ellipticity, is a particular case of a more general result involving manifold submetries.