We prove a generalisation of the Brill-Noether theorem for the variety of special divisors $W^r_d(C)$ on a general curve C of prescribed gonality. Our main theorem gives a closed formula for the dimension of $W^r_d(C)$ . We build on previous work of Pflueger, who used an analysis of the tropical divisor theory of special chains of cycles to give upper bounds on the dimensions of Brill-Noether varieties on such curves. We prove his conjecture, that this upper bound is achieved for a general curve. Our methods introduce logarithmic stable maps as a systematic tool in Brill-Noether theory. A precise relation between the divisor theory on chains of cycles and the corresponding tropical maps theory is exploited to prove new regeneration theorems for linear series with negative Brill-Noether number. The strategy involves blending an analysis of obstruction theories for logarithmic stable maps with the geometry of Berkovich curves. To show the utility of these methods, we provide a short new derivation of lifting for special divisors on a chain of cycles with generic edge lengths, proved using different techniques by Cartwright, Jensen, and Payne. A crucial technical result is a new realisability theorem for tropical stable maps in obstructed geometries, generalising a well-known theorem of Speyer on genus $1$ curves to arbitrary genus.

We study the fields of values of the irreducible characters of a finite group of degree not divisible by a prime p. In the case where $p=2$, we fully characterise these fields. In order to accomplish this, we generalise the main result of [ILNT] to higher irrationalities. We do the same for odd primes, except that in this case the analogous results hold modulo a simple-to-state conjecture on the character values of quasi-simple groups.

We prove a higher genus version of the genus $0$ local-relative correspondence of van Garrel-Graber-Ruddat: for $(X,D)$ a pair with X a smooth projective variety and D a nef smooth divisor, maximal contact Gromov-Witten theory of $(X,D)$ with $\lambda _g$-insertion is related to Gromov-Witten theory of the total space of ${\mathcal O}_X(-D)$ and local Gromov-Witten theory of D.

Specializing to $(X,D)=(S,E)$ for S a del Pezzo surface or a rational elliptic surface and E a smooth anticanonical divisor, we show that maximal contact Gromov-Witten theory of $(S,E)$ is determined by the Gromov-Witten theory of the Calabi-Yau 3-fold ${\mathcal O}_S(-E)$ and the stationary Gromov-Witten theory of the elliptic curve E.

Specializing further to $S={\mathbb P}^2$, we prove that higher genus generating series of maximal contact Gromov-Witten invariants of $({\mathbb P}^2,E)$ are quasimodular and satisfy a holomorphic anomaly equation. The proof combines the quasimodularity results and the holomorphic anomaly equations previously known for local ${\mathbb P}^2$ and the elliptic curve.

Furthermore, using the connection between maximal contact Gromov-Witten invariants of $({\mathbb P}^2,E)$ and Betti numbers of moduli spaces of semistable one-dimensional sheaves on ${\mathbb P}^2$, we obtain a proof of the quasimodularity and holomorphic anomaly equation predicted in the physics literature for the refined topological string free energy of local ${\mathbb P}^2$ in the Nekrasov-Shatashvili limit.

In 1988, Sibe Mardešić and Andrei Prasolov isolated an inverse system $\textbf {A}$ with the property that the additivity of strong homology on any class of spaces which includes the closed subsets of Euclidean space would entail that $\lim ^n\textbf {A}$ (the nth derived limit of $\textbf {A}$ ) vanishes for every $n>0$ . Since that time, the question of whether it is consistent with the $\mathsf {ZFC}$ axioms that $\lim ^n \textbf {A}=0$ for every $n>0$ has remained open. It remains possible as well that this condition in fact implies that strong homology is additive on the category of metric spaces.

We show that assuming the existence of a weakly compact cardinal, it is indeed consistent with the $\mathsf {ZFC}$ axioms that $\lim ^n \textbf {A}=0$ for all $n>0$ . We show this via a finite-support iteration of Hechler forcings which is of weakly compact length. More precisely, we show that in any forcing extension by this iteration, a condition equivalent to $\lim ^n\textbf {A}=0$ will hold for each $n>0$ . This condition is of interest in its own right; namely, it is the triviality of every coherent n-dimensional family of certain specified sorts of partial functions $\mathbb {N}^2\to \mathbb {Z}$ which are indexed in turn by n-tuples of functions $f:\mathbb {N}\to \mathbb {N}$ . The triviality and coherence in question here generalise the classical and well-studied case of $n=1$ .

We exhibit basic algebro-geometric results on the formal model of semi-infinite flag varieties and its Schubert varieties over an algebraically closed field ${\mathbb K}$ of characteristic $\neq 2$ from scratch. We show that the formal model of a semi-infinite flag variety admits a unique nice (ind-)scheme structure, its projective coordinate ring has a $\mathbb {Z}$-model and it admits a Frobenius splitting compatible with the boundaries and opposite cells in positive characteristic. This establishes the normality of the Schubert varieties of the quasi-map space with a fixed degree (instead of their limits proved in [K, Math. Ann. 371 no.2 (2018)]) when $\mathsf {char}\, {\mathbb K} =0$ or $\gg 0$, and the higher-cohomology vanishing of their nef line bundles in arbitrary characteristic $\neq 2$. Some particular cases of these results play crucial roles in our proof [47] of a conjecture by Lam, Li, Mihalcea and Shimozono [60] that describes an isomorphism between affine and quantum K-groups of a flag manifold.

A fundamental question in wave turbulence theory is to understand how the wave kinetic equation describes the long-time dynamics of its associated nonlinear dispersive equation. Formal derivations in the physics literature, dating back to the work of Peierls in 1928, suggest that such a kinetic description should hold (for well-prepared random data) at a large kinetic time scale $T_{\mathrm {kin}} \gg 1$ and in a limiting regime where the size L of the domain goes to infinity and the strength $\alpha $ of the nonlinearity goes to $0$ (weak nonlinearity). For the cubic nonlinear Schrödinger equation, $T_{\mathrm {kin}}=O\left (\alpha ^{-2}\right )$ and $\alpha $ is related to the conserved mass $\lambda $ of the solution via $\alpha =\lambda ^2 L^{-d}$ .

In this paper, we study the rigorous justification of this monumental statement and show that the answer seems to depend on the particular scaling law in which the $(\alpha , L)$ limit is taken, in a spirit similar to how the Boltzmann–Grad scaling law is imposed in the derivation of Boltzmann’s equation. In particular, there appear to be two favourable scaling laws: when $\alpha $ approaches $0$ like $L^{-\varepsilon +}$ or like $L^{-1-\frac {\varepsilon }{2}+}$ (for arbitrary small $\varepsilon $ ), we exhibit the wave kinetic equation up to time scales $O(T_{\mathrm {kin}}L^{-\varepsilon })$ , by showing that the relevant Feynman-diagram expansions converge absolutely (as a sum over paired trees). For the other scaling laws, we justify the onset of the kinetic description at time scales $T_*\ll T_{\mathrm {kin}}$ and identify specific interactions that become very large for times beyond $T_*$ . In particular, the relevant tree expansion diverges absolutely there. In light of those interactions, extending the kinetic description beyond $T_*$ toward $T_{\mathrm {kin}}$ for such scaling laws seems to require new methods and ideas.

We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is to study log structures that are incoherent on a subspace of codimension 2 and prove a Hodge–de Rham degeneration theorem for such log spaces that also settles a conjecture by Danilov. We show that the homotopy equivalence between Maurer–Cartan solutions and deformations combined with Batalin–Vilkovisky theory can be used to obtain smoothings. The construction of new Calabi–Yau and Fano manifolds as well as Frobenius manifold structures on moduli spaces provides potential applications.

We construct natural operators connecting the cohomology of the moduli spaces of stable Higgs bundles with different ranks and genera which, after numerical specialisation, recover the topological mirror symmetry conjecture of Hausel and Thaddeus concerning $\mathrm {SL}_n$- and $\mathrm {PGL}_n$-Higgs bundles. This provides a complete description of the cohomology of the moduli space of stable $\mathrm {SL}_n$-Higgs bundles in terms of the tautological classes, and gives a new proof of the Hausel–Thaddeus conjecture, which was also proven recently by Gröchenig, Wyss and Ziegler via p-adic integration.

Our method is to relate the decomposition theorem for the Hitchin fibration, using vanishing cycle functors, to the decomposition theorem for the twisted Hitchin fibration, whose supports are simpler.

The affine Deligne–Lusztig variety $X_w(b)$ in the affine flag variety of a reductive group ${\mathbf G}$ depends on two parameters: the $\sigma $ -conjugacy class $[b]$ and the element w in the Iwahori–Weyl group $\tilde {W}$ of ${\mathbf G}$ . In this paper, for any given $\sigma $ -conjugacy class $[b]$ , we determine the nonemptiness pattern and the dimension formula of $X_w(b)$ for most $w \in \tilde {W}$ .

The article studies inverse problems of determining unknown coefficients in various semi-linear and quasi-linear wave equations given the knowledge of an associated source-to-solution map. We introduce a method to solve inverse problems for nonlinear equations using interaction of three waves that makes it possible to study the inverse problem in all globally hyperbolic spacetimes of the dimension $n+1\geqslant 3$ and with partial data. We consider the case when the set $\Omega _{\mathrm{in}}$ , where the sources are supported, and the set $\Omega _{\mathrm{out}}$ , where the observations are made, are separated. As model problems we study both a quasi-linear equation and a semi-linear wave equation and show in each case that it is possible to uniquely recover the background metric up to the natural obstructions for uniqueness that is governed by finite speed of propagation for the wave equation and a gauge corresponding to change of coordinates. The proof consists of two independent components. In the geometric part of the article we introduce a novel geometrical object, the three-to-one scattering relation. We show that this relation determines uniquely the topological, differential and conformal structures of the Lorentzian manifold in a causal diamond set that is the intersection of the future of the point $p_{in}\in \Omega _{\mathrm{in}}$ and the past of the point $p_{out}\in \Omega _{\mathrm{out}}$ . In the analytic part of the article we study multiple-fold linearisation of the nonlinear wave equation using Gaussian beams. We show that the source-to-solution map, corresponding to sources in $\Omega _{\mathrm{in}}$ and observations in $\Omega _{\mathrm{out}}$ , determines the three-to-one scattering relation. The methods developed in the article do not require any assumptions on the conjugate or cut points.

We fix an error on a $3$ -cocycle in the original version of the paper ‘Endoscopy for Hecke categories, character sheaves and representations’. We give the corrected statements of the main results.

Hajnal and Szemerédi proved that if G is a finite graph with maximum degree $\Delta $ , then for every integer $k \geq \Delta +1$ , G has a proper colouring with k colours in which every two colour classes differ in size at most by $1$ ; such colourings are called equitable. We obtain an analogue of this result for infinite graphs in the Borel setting. Specifically, we show that if G is an aperiodic Borel graph of finite maximum degree $\Delta $ , then for each $k \geq \Delta + 1$ , G has a Borel proper k-colouring in which every two colour classes are related by an element of the Borel full semigroup of G. In particular, such colourings are equitable with respect to every G-invariant probability measure. We also establish a measurable version of a result of Kostochka and Nakprasit on equitable $\Delta $ -colourings of graphs with small average degree. Namely, we prove that if $\Delta \geq 3$ , G does not contain a clique on $\Delta + 1$ vertices and $\mu $ is an atomless G-invariant probability measure such that the average degree of G with respect to $\mu $ is at most $\Delta /5$ , then G has a $\mu $ -equitable $\Delta $ -colouring. As steps toward the proof of this result, we establish measurable and list-colouring extensions of a strengthening of Brooks’ theorem due to Kostochka and Nakprasit.

We consider symmetry-protected topological phases with on-site finite group G symmetry $\beta $ for two-dimensional quantum spin systems. We show that they have $H^{3}(G,{\mathbb T})$-valued invariant.