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.

This paper studies a notion of enumerative invariants for stable A-branes, and discusses its relation to invariants defined by spectral and exponential networks. A natural definition of stable A-branes and their counts is provided by the string theoretic origin of the topological A-model. This is the Witten index of the supersymmetric quantum mechanics of a single D3 brane supported on a special Lagrangian in a Calabi-Yau threefold. Geometrically, this is closely related to the Euler characteristic of the A-brane moduli space. Using the natural torus action on this moduli space, we reduce the computation of its Euler characteristic to a count of fixed points via equivariant localization. Studying the A-branes that correspond to fixed points, we make contact with definitions of spectral and exponential networks. We find agreement between the counts defined via the Witten index, and the BPS invariants defined by networks. By extension, our definition also matches with Donaldson-Thomas invariants of B-branes related by homological mirror symmetry.

We give a new construction of (φ,Ĝ )-modules using the theory of prisms developed by Bhatt and Scholze. As an application, we give a new proof about the equivalence between the category of prismatic F-crystals in finite locally free Δ-modules over (K)Δ and the category of lattices in crystalline representations of GK, where K is a complete discretely valued field of mixed characteristic with perfect residue field. We also generalize this result to semi-stable representations using the absolute logarithmic prismatic site defined by Koshikawa.