We describe the closure of the strata of Abelian differentials with prescribed type of zeros and poles, in the projectivized Hodge bundle over the Deligne–Mumford moduli space of stable curves with marked points. We provide an explicit characterization of pointed stable differentials in the boundary of the closure, both a complex analytic proof and a flat geometric proof for smoothing the boundary differentials, and numerous examples. The main new ingredient in our description is a global residue condition arising from a full order on the dual graph of a stable curve.

On any smooth algebraic variety over a p-adic local field, we construct a tensor functor from the category of de Rham p-adic ́etale local systems to the category of filtered algebraic vector bundles with integrable connections satisfying the Griffiths transversality, which we view as a p-adic analogue of Deligne’s classical Riemann–Hilbert correspondence. A crucial step is to construct canonical extensions of the desired connections to suitable compactifications of the algebraic variety with logarithmic poles along the boundary, in a precise sense characterized by the eigenvalues of residues; hence the title of the paper. As an application, we show that this p-adic Riemann–Hilbert functor is compatible with the classical one over all Shimura varieties, for local systems attached to representations of the associated reductive algebraic groups.

We study a partially linearized version of the relative trace formula for the arithmetic Gan--Gross--Prasad conjecture for the unitary group U(V). The linear factor in this relative trace formula provides an SL_2-symmetry which allows us to prove by induction the arithmetic fundamental lemma over Q_p when p is odd and p ≥ dim V.

We construct the Frobenius structure on a rigid connection Be_{\hat G} on G_m for a split reductive group \hat G introduced by Frenkel-Gross. These data form a \hat G-valued overconvergent F-isocrystal Be^†_{\hat G} on G_{m,F_p}, which is the p-adic companion of the Kloosterman \hat G-local system Kl_{\hat G} constructed by Heinloth-Ngô-Yun. By studying the structure of the underlying differential equation, we calculate the monodromy group of Be^†_{\hat G} when \hat G is almost simple (which recovers the calculation of monodromy group of Kl_{\hat G} due to Katz and Heinloth–Ngô–Yun), and prove a conjecture of Heinloth-Ngô-Yun on the functoriality between different Kloosterman \hat G-local systems. We show that the Frobenius Newton polygons of Kl_{\hat G} are generically ordinary for every \hat G and are everywhere ordinary on |G_{m,F_p}| when \hat G is classical or G_2.

We introduce a new technique for isolating components on the spectral side of the trace formula. By applying it to the Jacquet--Rallis relative trace formula, we complete the proof of the global Gan--Gross--Prasad conjecture and its refinement Ichino--Ikeda conjecture for U(n)×U(n+1) in the stablecase.