The arithmetic intersection conjecture for arbitrary fundamental matrices

About 14 years old · traced to

Let Nn{\mathcal N}_n be the relevant unitary Rapoport–Zink space, and let Z(x1),…,Z(xn){\mathcal Z}(x_1),\ldots,{\mathcal Z}(x_n) be special divisors whose fundamental matrix is equivalent to

diag⁡(πr1,πr2,…,πrn),r1≥r2≥⋯≥rn.\operatorname{diag}(\pi^{r_1},\pi^{r_2},\ldots,\pi^{r_n}),\qquad r_1\geq r_2\geq\cdots\geq r_n.

The annihilation conjecture. The element πr1\pi^{r_1} annihilates the structure sheaf of

Z(x1)∩Z(x2)∩⋯∩Z(xn).{\mathcal Z}(x_1)\cap{\mathcal Z}(x_2)\cap\cdots\cap{\mathcal Z}(x_n).

The paper proves the assertion in the special minuscule case, where the exponents have the form (m,0,…,0)(m,0,\ldots,0), and presents that result as evidence for the general conjecture. The arbitrary-exponent statement remains open in the source.

References

Primary source

Michael Rapoport, Ulrich Terstiege and Wei Zhang, “On the Arithmetic Fundamental Lemma in the minuscule case”, arXiv:1203.5827 (2013).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.