The linear AFL for non-basic locus

The Arithmetic Fundamental Lemma (AFL) is a local conjecture motivated by decomposing both sides of the Gross—Zagier Formula into local terms using the Relative Trace formula. For each of the local terms, one side is the intersection number in some Rappoport—Zink space. The other side is some orbital integral. To reduce the global computation to local, one needs to consider intersection numbers on both basic and non-basic locus, while the original linear AFL only considers basic locus.

Collaborated with Andreas Mihatsch, we consider the non-basic locus of Unitary Shimura varieties and conjectured a similar version of linear AFL for Rappoport Zink space on non-basic locus parameterizing p-divisible groups with étale extensions. We proved that this version of linear AFL conjecture can be essentially reduced to the linear AFL conjecture for Lubin—Tate spaces, which corresponds to the basic locus parameterizing one-dimensional connected p-divisible groups.