Related papers: Quasi-canonical AFL and Arithmetic Transfer conjec…

For unitary groups associated to a ramified quadratic extension of a $p$-adic field, we define various regular formal moduli spaces of $p$-divisible groups with parahoric levels, characterize exceptional special divisors on them, and…

We prove new fundamental lemma and arithmetic fundamental lemma identities for general linear groups over quaternion division algebras. In particular, we verify the transfer conjeture and the arithmetic transfer conjecture from…

We prove a variant of the Arithmetic Fundamental Lemma conjecture of Wei Zhang for n=2. More precisely, we consider the deformation lengths of certain quasi-homomorphisms of quasi-canonical lifts in the sense of Gross. We prove the…

We define various formal moduli spaces of p-divisible groups which are regular, and morphisms between them. We formulate arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture of the third author…

In this largely expository note, we explain some recent progress on new cycles on Shimura varieties and Rapoport-Zink spaces, (twisted) arithmetic fundamental lemma, and arithmetic analogs of relative Langlands program. We explain related…

We prove the Kudla-Rapoport conjecture for unramified unitary groups with maximal parahoric level structure. Our approach differs from the local proof given in Li-W.Zhang. We reduce the conjecture to a global intersection problem using…

We prove the Kudla--Rapoport conjecture for Kr\"amer models of unitary Rapoport--Zink spaces at ramified places. It is a precise identity between arithmetic intersection numbers of special cycles on Kr\"amer models and modified derived…

For any unramified quadratic extension of $p$-adic local fields $F/F_0$ $(p>2)$, we formulate several arithmetic transfer conjectures at any maximal parahoric level, in the context of Zhang's relative trace formula approach to the…

We consider unitary Shimura varieties at places where the totally real field ramifies over $\mbQ$. Our first result constructs comparison isomorphisms between absolute and relative local models in this context, which relies on a…

It is known that by using the commutator operation, for each congruence modular algebra $A$ one can define a notion of prime congruence. The set $Spec(A)$ of prime congruences of $A$ is endowed with a Zariski style topology. The…

We formulate Guo--Jacquet type fundamental lemma conjectures and arithmetic transfer conjectures for inner forms of $GL_{2n}$. Our main results confirm these conjectures for division algebras of invariant $1/4$ and $3/4$.

We prove that the Arithmetic Fundamental Lemma conjecture of Wei Zhang is equivalent to a similar conjecture, but for Lie algebras, in the case of non-degenerate intersection. We use this result to give a simplified proof of the AFL for…

We prove the arithmetic fundamental lemma conjecture over a general $p$-adic field with odd residue cardinality $q\geq \dim V$. Our strategy is similar to the one used by the second author during his proof of the AFL over $\mathbb{Q}_p$…

We prove a conjecture of Pappas and Rapoport about the existence of ''canonical'' integral models of Shimura varieties of Hodge type with quasi-parahoric level structure at a prime $p$. For these integral models, we moreover show…

As an analog to the Jacquet-Rallis fundamental lemma that appears in the relative trace formula approach to the Gan-Gross-Prasad conjectures, the arithmetic fundamental lemma was proposed by Wei Zhang and used in an approach to the…

We show that the integral models of Shimura varieties of Rapoport, Smithling and Zhang in relation to variants of the arithmetic Gan-Gross-Prasad conjecture, the arithmetic fundamental lemma conjecture and the arithmetic transfer conjecture…

In this paper, we propose a modified Kudla-Rapoport conjecture for the Kr\"amer model of unitary Rapoport-Zink space at a ramified prime, which is a precise identity relating intersection numbers of special cycles to derivatives of…

W. Zhang's arithmetic fundamental lemma (AFL) is a conjectural identity between the derivative of an orbital integral on a symmetric space with an arithmetic intersection number on a unitary Rapoport-Zink space. In the minuscule case,…

We develop the theory of algebraic groups over real closed fields and apply the results to construct a geometric object $\mathcal{B}$ and to prove that $\mathcal{B}$ is an affine $\Lambda$-building. We use a model theoretic transfer…

In this article we prove various results about transferring or lifting $\mathrm{A}_\infty$-algebra structures along quasi-isomorphisms over a commutative ring.