---
title: Ghostly Ideals in Operator Algebras
url: https://www.emergentmind.com/topics/ghostly-ideals
type: topic
---

# Ghostly Ideals in Operator Algebras

Ghostly ideals are ideals in uniform Roe algebras, Roe algebras, and their \(\ell^p\)-analogues that formalize asymptotic invisibility in prescribed directions at infinity. They were introduced in contrast to geometric ideals: for a fixed coarse-geometric support datum, the geometric ideal is the smallest compatible ideal, while the ghostly ideal is the largest. In the uniform Roe setting, for an invariant open subset \(U\subseteq \beta X\), the defining formula is
\[
\tilde I(U):= \{T\in C_u^*(X): \overline{r(\operatorname{supp}_\varepsilon(T))}\subseteq U \text{ for every }\varepsilon>0\},
\]
and this is equivalent to vanishing in the \((\beta X\setminus U)\)-direction in the sense that \(\Phi_\omega(T)=0\) for all \(\omega\in \beta X\setminus U\) [2301.04921]. The notion has since been extended to Roe algebras via rank distributions and to \(\ell^p\) uniform Roe algebras via coarse-structure ideals, where it plays the role of the upper boundary in the corresponding ideal fibres [2507.17105, 2606.11586].

## 1. Definition and basic framework

The ambient objects are coarse-algebraic operator algebras associated to discrete metric spaces of bounded geometry. In the uniform Roe setting, if \(T\in B(\ell^2(X))\) is written as a matrix \(T=(T(x,y))_{x,y\in X}\), then
\[
\operatorname{supp}(T):=\{(x,y)\in X\times X:T(x,y)\neq 0\},
\]
\[
\operatorname{supp}_\varepsilon(T):=\{(x,y)\in X\times X: |T(x,y)|\ge \varepsilon\},
\]
and the uniform Roe algebra is the closure of the finite-propagation operators. A closed ideal \(I\triangleleft C_u^*(X)\) is geometric if \(I\cap C_u[X]\) is dense in \(I\). For invariant open \(U\subseteq \beta X\), the associated geometric ideal is
\[
I(U)=\overline{I_c(U)}\cong C_r^*(G(X)_U),
\]
where \(G(X)\) is the Skandalis–Tu–Yu coarse groupoid and \(G(X)_U\) is the corresponding open subgroupoid [2301.04921].

Ghostly ideals enlarge this support-controlled picture by replacing exact support conditions with \(\varepsilon\)-support conditions. The same paper gives the basic examples
\[
I(X)=K(\ell^2(X)),\qquad \tilde I(X)=I_G,\qquad \tilde I(\beta X)=C_u^*(X),
\]
so the usual ghost ideal appears as one special ghostly ideal, while the full algebra appears at the opposite extreme [2301.04921].

A related formulation, used in the rigidity work on geometric ideals, starts from an ideal \(L\) in the metric space and defines
\[
\tilde I(L):=\{T\in C_u^*(X): \forall\,\varepsilon>0,\ r(\operatorname{supp}_\varepsilon(T))\in L\}.
\]
This is the same support-at-threshold philosophy, but expressed directly in terms of row-support lying in a space ideal rather than in an invariant open subset of \(\beta X\) [2307.06525].

## 2. Extremal position in the ideal lattice

A central structural result is that ghostly ideals are extremal objects. For a fixed invariant open subset \(U\subseteq \beta X\), define
\[
\mathfrak I_U:=\{I\triangleleft C_u^*(X):U(I)=U\},
\]
where
\[
U(I):=\bigcup_{T\in I,\ \varepsilon>0}\overline{r(\operatorname{supp}_\varepsilon(T))}.
\]
Then every ideal with associated open set \(U\) satisfies
\[
I(U)\subseteq I\subseteq \tilde I(U).
\]
Accordingly, \(I(U)\) is the smallest element of \(\mathfrak I_U\), and \(\tilde I(U)\) is the largest [2301.04921].

This order-theoretic role clarifies a common source of confusion. Ghostly ideals are not merely the ideal of all ghost operators. Rather, the ghost ideal \(I_G\) is the special case \(\tilde I(X)\), while for general \(U\) a ghostly ideal records directional vanishing relative to the complement \(\beta X\setminus U\). The paper “Ghostly ideals in uniform Roe algebras” explicitly characterizes this by the equivalence
\[
T\in \tilde I(U)\iff \Phi_\omega(T)=0\quad \forall \omega\in \beta X\setminus U,
\]
so the defining asymptotic condition is encoded by limit operators rather than by literal support alone [2301.04921].

The same extremal pattern persists in later generalizations. In Roe algebras, a rank distribution \(\mathcal R\) determines a geometric ideal \(I(\mathcal R)\) and a ghostly ideal
\[
\tilde I(\mathcal R):=\{T\in C^*(X): \operatorname{RANK}(T_\varepsilon)\in \mathcal R \text{ for any }\varepsilon>0\},
\]
and every ideal \(I\) with \(\mathcal R(I)=\mathcal R\) satisfies
\[
I(\mathcal R)\subseteq I\subseteq \tilde I(\mathcal R).
\]
Here again the geometric ideal is the lower boundary of the fibre and the ghostly ideal is the upper boundary [2507.17105].

## 3. Maximal ideals, fibres, and support data

In the uniform Roe algebra of a bounded-geometry metric space, maximal ideals admit a sharp ghostly description. If \(U\subsetneq \beta X\) is maximal invariant open, then \(\tilde I(U)\) is a maximal ideal; conversely, every maximal ideal is of this form. Equivalently, maximal ideals are precisely
\[
\tilde I(\beta X\setminus K)
\]
for minimal invariant closed subsets \(K\subseteq \beta X\). If \(\omega\in\partial_\beta X\) is a minimal point, then
\[
\tilde I(\beta X\setminus \overline{X(\omega)})=\ker\big(\Phi_\omega:C_u^*(X)\to C_u^*(X(\omega))\big),
\]
so minimal boundary points parameterize maximal ideals by kernels of limit-operator homomorphisms [2301.04921].

The Roe-algebra refinement replaces invariant opens by rank distributions and then fibres rank distributions over invariant open subsets. For a rank distribution \(\mathcal R\),
\[
U_{\mathcal R}:=\bigcup_{\alpha\in \mathcal R}\overline{r(\operatorname{supp}(\alpha))}\subseteq \beta X.
\]
If \(U_{\mathcal R}=U\), then
\[
R_{\min}(U)\subseteq \mathcal R\subseteq R_{\max}(U),
\]
where \(R_{\min}(U)\) and \(R_{\max}(U)\) are the minimal and maximal rank distributions over \(U\). This yields a two-step fibring: ideals fibre over rank distributions, and rank distributions fibre over invariant open subsets [2507.17105].

An \(\ell^p\) version of the same philosophy appears in the 2026 study of \(\ell^p\) uniform Roe algebras. For a coarse-structure ideal \(\mathcal J\subseteq \mathcal E\),
\[
\widetilde I(\mathcal J):=\{T\in B_u^p(X):\operatorname{supp}_\varepsilon(T)\in\mathcal J\ \forall\varepsilon>0\}
\]
is the largest ideal in the block
\[
I[\mathcal J]:=\{I\triangleleft B_u^p(X):\operatorname{insupp}(I)=\mathcal J\},
\]
while
\[
I(\mathcal J)=B_u^p(X,\mathcal J)
\]
is the smallest [2606.11586].

| Setting | Geometric ideal | Ghostly ideal |
|---|---|---|
| Uniform Roe algebra | \(I(U)\) | \(\tilde I(U)\) |
| Roe algebra with rank distribution \(\mathcal R\) | \(I(\mathcal R)\) | \(\tilde I(\mathcal R)\) |
| \(\ell^p\) uniform Roe algebra | \(I(\mathcal J)\) | \(\widetilde I(\mathcal J)\) |

This repeated lower-bound/upper-bound pattern is the main structural signature of ghostly ideals across the subject [2301.04921, 2507.17105, 2606.11586].

## 4. Rigidity and coarse-geometric functoriality

Rigidity theory for ghostly ideals is substantially less complete than for geometric ideals. For geometric ideals in uniform Roe algebras, stable isomorphism recovers coarse equivalence of the associated coarse spaces. By contrast, the ghostly setting admits only a partial result. If \(f:X\to Y\) is a coarse equivalence and \(L_X,L_Y\) are ideals in the metric spaces such that
\[
f_\ast(L_X)=L_Y,
\]
then the associated ghostly ideals \(\tilde I(L_X)\) and \(\tilde I(L_Y)\) are Morita equivalent [2307.06525].

The same paper explicitly leaves open the natural converse and analogue questions. If \((X,I(L_X))\) and \((Y,I(L_Y))\) are coarsely equivalent, it is not known in general whether \(\tilde I(L_X)\) and \(\tilde I(L_Y)\) must be Morita equivalent. Conversely, if the ghostly ideals are isomorphic or stably isomorphic, it is not known in general whether the associated coarse spaces must be coarsely equivalent [2307.06525].

A useful technical reason for this gap is already visible in the ordinary ghost ideal. The rigidity paper notes that the coarse-structure invariant \(I(\cdot)\) does not distinguish the ghost ideal from the compact ideal:
\[
I(I_G)=I(K(\ell^2(X))).
\]
This shows that support-based invariants which completely classify geometric ideals can collapse genuinely ghost phenomena. A plausible implication is that ghostly ideals retain asymptotic smallness data not visible at the purely geometric level; the paper itself formulates this as an open problem rather than as a theorem [2307.06525].

## 5. Property A, partial Property A, and \(K\)-theory

The relationship between geometric and ghostly ideals is particularly sharp under amenability-type hypotheses. In the uniform Roe setting, if \(X\) coarsely embeds into Hilbert space, then for every invariant open \(U\subseteq \beta X\), the inclusion
\[
\iota_U:I(U)\hookrightarrow \tilde I(U)
\]
induces an isomorphism
\[
(\iota_U)_*:K_*(I(U))\xrightarrow{\cong}K_*(\tilde I(U)).
\]
Applied to \(U=X\), this yields
\[
K_*(K(\ell^2(X)))\cong K_*(I_G),
\]
so the compact ideal and the ghost ideal can differ as ideals while remaining \(K\)-theoretically indistinguishable [2301.04921].

The same paper introduces partial Property A toward \(\partial_\beta X\setminus U\), defined by amenability of the reduced boundary subgroupoid \(G(X)_{\partial_\beta X\setminus U}\). For countably generated invariant open \(U\), the following are equivalent:
1. \(X\) has partial Property A toward \(\beta X\setminus U\);
2. \(\tilde I(U)=I(U)\);
3. the ghost ideal \(I_G\) is contained in \(I(U)\).
This extends the Roe–Willett criterion for \(I_G=K(\ell^2(X))\) [2301.04921].

In Roe algebras the same pattern reappears. If \(X\) coarsely embeds into Hilbert space, then for every rank distribution \(\mathcal R\),
\[
K_*(I(\mathcal R))\xrightarrow{\cong}K_*(\tilde I(\mathcal R)).
\]
Moreover,
\[
X\text{ has Property A}\iff I(\mathcal R)=\tilde I(\mathcal R)\text{ for every rank distribution }\mathcal R.
\]
The paper also gives an expander counterexample showing that outside the coarse-embeddable regime the inclusion need not be a \(K\)-isomorphism [2507.17105].

For coarse embeddings into \(\ell^p\)-spaces, the \(K\)-theoretic comparison was extended further. If \(X\) admits a coarse embedding into an \(\ell^p\)-space, \(1\le p<\infty\), then the canonical inclusion from any geometric ideal to the corresponding ghostly ideal induces a \(K\)-theory isomorphism. The same paper deduces relative and maximal coarse Baum–Connes consequences and the property \(ONL_{\mathcal P_{Fin}}\) [2511.22438].

## 6. \(\ell^p\) uniform Roe algebras and the groupoid picture

The 2026 theory of \(\ell^p\) uniform Roe algebras places ghostly ideals in a broader Banach-algebraic framework. For \(p\in\{0\}\cup[1,\infty]\), the lattice of geometric ideals in
\[
B_u^p(X,\mathcal E)
\]
is isomorphic to the lattice of ideals of the coarse structure \(\mathcal E\). Under the canonical isometric isomorphism
\[
B_u^p(X,\mathcal E)\cong F^p_{\mathrm{red}}(G(X)),
\]
geometric ideals correspond precisely to dynamical ideals, while ghostly ideals correspond precisely to restrictive ideals. The same paper gives the limit-operator characterization
\[
\widetilde I(\mathcal J)=\{T\in B_u^p(X):\Phi_\omega(T)=0\text{ for all }\omega\notin U(\mathcal J)\},
\]
which is the \(\ell^p\) analogue of the vanishing-in-directions description from the Hilbert-space case [2606.11586].

The role of Property A is also \(p\)-dependent. For \(p\in(1,\infty)\), Property A implies that \(B_u^p(X,\mathcal E)\) admits a multiplier approximate identity with controlled propagation, that all ideals are geometric, and that all ghosts are trivial. For the extreme cases \(p\in\{0,1,\infty\}\), these properties hold for every uniformly locally finite coarse space without assuming Property A [2606.11586].

This establishes the current scope of the subject. Ghostly ideals now appear in three tightly related but distinct guises: as directional-vanishing enlargements of geometric ideals in uniform Roe algebras, as upper fibre boundaries in Roe algebras indexed by rank distributions, and as restrictive ideals in \(\ell^p\) groupoid operator algebras. What remains unresolved is not their existence or basic structure, but a full rigidity theory comparable to the one already available for geometric ideals [2307.06525].

Source: https://www.emergentmind.com/topics/ghostly-ideals