The exactness conjecture for local coefficient systems on complete regions

Let Δ\Delta be the Bruhat–Tits building of dimension dd, let X\mathbb{X} be the coefficient system, and let X\mathcal{X} be a set of facets. For each idi\leq d, write Ci(X,X)C_i(\mathcal{X},\mathbb{X}) for the space of functions in Ci(Δ,X)C_i(\Delta,\mathbb{X}) supported in X\mathcal{X}. The restricted chain complex is

0Cd(X,X)C1(X,X)C0(X,X)X.0\to C_d(\mathcal{X},\mathbb{X})\to\dots\to C_1(\mathcal{X},\mathbb{X})\to C_0(\mathcal{X},\mathbb{X})\to\mathbb{X}.

Assume that either (A) X\mathcal{X} is a complete region in Δ\Delta, or (B) X\mathcal{X} consists of a single face of the hyperspecial chamber CC. Exactness conjecture. The restricted chain complex is exact.

The source says that exactness is unclear in general but is suspected in several important cases. It later develops results in type A~2\widetilde{A}_2 and reformulates the complete-region case, so the conjectural exactness remains open in the supplied text.

Sources & referencesView supporting material

Primary source

Adam Jones, “Coefficient systems on the A_2 Bruhat-Tits building”, arXiv:2510.01594 (2026).

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.