Algebraic Coarse Character Map

• The algebraic coarse character map is a construction that translates algebraic K-theoretic data into coarse geometric invariants by composing algebraic Chern characters with trace or transgression maps.
• Methodologies across operator-algebraic, coarse homotopy, and transchromatic settings deploy trace formulas, boundary maps, and fixed-point decompositions to recover refined invariants after extension or assembly.
• Despite successful implementations in various frameworks, its full utility is limited by open pairing conjectures and dependencies on assembly map surjectivity and transgression compatibilities.

Searching arXiv for papers on "^^^^^^^^5algebraic coarse character map5^^^^^^^^" and related usages. arXiv.search query="^^^^^^^^5\5 coarse character map5 OR ^^^^^^^^5\5 generalized character maps^^^^^^^^5\5 OR ^^^^^^^^5\5 the ^^^^^^^^5algebraic coarse character map5 OR ^^^^^^^^5\5 and Chern characters in coarse homotopy theory^^^^^^^^5\5 max_results=^^^^5\5algebraic coarse character map5^^^^ I found the most relevant arXiv papers for this topic:

• "Transchromatic generalized character maps" (&&&^^^^5algebraic coarse character map5^^^^&&&)
• "Transgressing the ^^^^^^^^5algebraic coarse character map5^^^^^^^^" (&&&^^^^5\5^^^^&&&)
• "Transgressions and Chern characters in coarse homotopy theory" (&&&^^^^5 OR \5^^^^&&&)

I’ll synthesize these usages carefully, distinguishing the chromatic-homotopy and coarse-geometry meanings of the term. “Algebraic coarse character map” is not a single universally fixed construction. In the current literature, the phrase appears in at least two technically distinct but structurally related settings. In coarse geometry and operator PRESERVED_PLACEHOLDER_^^^^5algebraic coarse character map5^^^^-theory, it denotes a map from algebraic PRESERVED_PLACEHOLDER_^^^^5\5^^^^-theory to periodic coarse homology, usually written as a composite of an algebraic Chern character with a coarse character map. In coarse homotopy theory, it appears as an algebraic Chern character from algebraic coarse PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^-homology to coarse periodic cyclic homology. In chromatic homotopy theory, Stapleton’s transchromatic generalized character maps are presented as an algebraic-geometric construction that can be viewed as a coarse character map in the sense that they pass from PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^-cohomology to a more computable fixed-point target while recovering the source after extension of scalars (&&&^^^^5\5^^^^&&&, &&&^^^^5 OR \5^^^^&&&, &&&^^^^5algebraic coarse character map5^^^^&&&).

^^^^5\5^^^^. Terminological scope and basic forms

The term has a precise meaning in coarse geometry and a broader interpretive meaning in transchromatic homotopy theory. The coarse-geometric usage is explicit: for the algebra PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^ of finite propagation, locally trace-class operators on an ample Hilbert $C_0(M)$-module, the ^^^^^^^^5algebraic coarse character map5^^^^^^^^ is the composite

$$\chi\circ ch:K_*^{\mathrm{alg}}(\mathcal{B}M)\longrightarrow H_*^{\mathrm{per}}(M).$$

Here $ch$ is the algebraic Chern character from algebraic $K$-theory to periodic cyclic homology, and $\chi$ sends cyclic homology classes of operators to coarse homology classes of the underlying proper metric space PRESERVED_PLACEHOLDER_^^^^5\5algebraic coarse character map5^^^^ (&&&^^^^5\5^^^^&&&).

In coarse homotopy theory, the analogous algebraic character is

PRESERVED_PLACEHOLDER_^^^^5\5\5^^^^

obtained by applying a Goodwillie–Jones type Chern character on additive categories and then a trace on trace-class coefficients. This map is part of a larger comparison framework involving coarse PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^-theory, periodic cyclic homology, Borelification, and transgression to the Higson corona (&&&^^^^5 OR \5^^^^&&&).

In transchromatic homotopy theory, the relevant map is Stapleton’s family of transchromatic generalized character maps

PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^

for PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^, together with an isomorphism after extension of scalars,

PRESERVED_PLACEHOLDER_^^^^5\55^^^^

The paper explicitly describes this as an algebraic-geometric construction and states that it can be viewed as an ^^^^^^^^5algebraic coarse character map5^^^^^^^^ because the target is a coarser algebraic object built from fixed-point data and a coefficient extension (&&&^^^^5algebraic coarse character map5^^^^&&&).

Setting	Map	Target type
Coarse geometry	PRESERVED_PLACEHOLDER_^^^^5\5^^^^6	periodic coarse homology PRESERVED_PLACEHOLDER_^^^^5\5^^^^7
Coarse homotopy theory	PRESERVED_PLACEHOLDER_^^^^5\5^^^^8	coarse periodic cyclic homology PRESERVED_PLACEHOLDER_^^^^5\5^^^^9
Transchromatic homotopy theory	PRESERVED_PLACEHOLDER_^^^^5 OR \5algebraic coarse character map5^^^^	PRESERVED_PLACEHOLDER_^^^^5 OR \5\5^^^^

This terminological plurality is important: a common misconception is to treat “^^^^^^^^5algebraic coarse character map5^^^^^^^^” as naming one standard functorial construction. The cited papers instead use the phrase for different comparison maps that share a common pattern of passage from a refined PRESERVED_PLACEHOLDER_^^^^5 OR \5 OR \5^^^^-theoretic or chromatic invariant to a more computable target.

^^^^5 OR \5^^^^. Operator-^^^^^^^^5algebraic coarse character map5^^^^^^^^ on PRESERVED_PLACEHOLDER_^^^^5 OR \5 OR \5^^^^

Let PRESERVED_PLACEHOLDER_^^^^5 OR \5 OR \5^^^^ be a proper metric space, and let PRESERVED_PLACEHOLDER_^^^^5 OR \55^^^^ be an ample Hilbert PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^6-module representation. The algebra

PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^7

is the algebra of finite propagation, locally trace-class operators on PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^8. It is a dense subalgebra of the Roe algebra PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^9. “Finite propagation” means that the operator does not move support too far, while “locally trace-class” means that after multiplying by compactly supported functions, the operator becomes trace-class (&&&^^^^5\5^^^^&&&).

The ^^^^^^^^5algebraic coarse character map5^^^^^^^^ is built in two steps. First, the algebraic Chern character

PRESERVED_PLACEHOLDER_^^^^5 OR \5algebraic coarse character map5^^^^

passes from algebraic PRESERVED_PLACEHOLDER_^^^^5 OR \5\5^^^^-theory to periodic cyclic homology. Second, the coarse character map

PRESERVED_PLACEHOLDER_^^^^5 OR \5 OR \5^^^^

interprets cyclic homology classes as coarse homology classes of PRESERVED_PLACEHOLDER_^^^^5 OR \5 OR \5^^^^. The composite

PRESERVED_PLACEHOLDER_^^^^5 OR \5 OR \5^^^^

is the map used throughout the operator-algebraic theory (&&&^^^^5\5^^^^&&&).

The construction is concrete at the chain level. In the even case, for a class PRESERVED_PLACEHOLDER_^^^^5 OR \55^^^^,

PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^6

and after applying PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^7,

PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^8

In the odd case, for PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^9,

PRESERVED_PLACEHOLDER_^^^^5 OR \5algebraic coarse character map5^^^^

and

PRESERVED_PLACEHOLDER_^^^^5 OR \5\5^^^^

These formulas exhibit the map as a trace-theoretic character: the algebraic Chern character is expressed by operator traces, and the coarse character converts those traces into coarse homology chains (&&&^^^^5\5^^^^&&&).

Conceptually, this map is the algebraic side of a comparison with the analytic index pairing on Roe algebras. Its importance lies in turning classes in PRESERVED_PLACEHOLDER_^^^^5 OR \5 OR \5^^^^ into objects that can be paired, transgressed, and compared with corona invariants.

^^^^5 OR \5^^^^. Transgression to Higson-dominated coronas

A central development is the transgression of the ^^^^^^^^5algebraic coarse character map5^^^^^^^^ to a Higson-dominated corona. Let PRESERVED_PLACEHOLDER_^^^^5 OR \5 OR \5^^^^ be a metrizable Higson-dominated corona of PRESERVED_PLACEHOLDER_^^^^5 OR \5 OR \5^^^^, meaning that there is a continuous surjection

PRESERVED_PLACEHOLDER_^^^^5 OR \55^^^^

Write

PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^6

for the associated compactification. The theory uses transgression maps

PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^7

obtained from boundary maps in the long exact sequence of the pair PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^8 or PRESERVED_PLACEHOLDER_^^^^5 OR \5^^^^9, via Alexander–Spanier theory (&&&^^^^5\5^^^^&&&).

The transgressed ^^^^^^^^5algebraic coarse character map5^^^^^^^^ is therefore

$C_0(M)$^^^^5algebraic coarse character map5^^^^

This map is compared with the usual Chern character on the corona, and the comparison is formulated through Roe’s conjectural pairing identity

$C_0(M)$^^^^5\5^^^^

Here $C_0(M)$^^^^5 OR \5^^^^, $C_0(M)$^^^^5 OR \5^^^^, and

$C_0(M)$^^^^5 OR \5^^^^

is the comparison map. The paper states that this identity is not known in full generality (&&&^^^^5\5^^^^&&&).

The main diagram reduces the pairing identity to commutativity of a square relating algebraic $C_0(M)$5-theory, topological $C_0(M)$6-theory of $C_0(M)$7, transgression to $C_0(M)$8, and periodic homology on the corona. The map

$C_0(M)$9

is the transgression of topological $$\chi\circ ch:K_*^{\mathrm{alg}}(\mathcal{B}M)\longrightarrow H_*^{\mathrm{per}}(M).$$^^^^5algebraic coarse character map5^^^^-theory to the corona, defined via the inclusion of Roe algebras into the dual algebra

$$\chi\circ ch:K_*^{\mathrm{alg}}(\mathcal{B}M)\longrightarrow H_*^{\mathrm{per}}(M).$$^^^^5\5^^^^

together with

$$\chi\circ ch:K_*^{\mathrm{alg}}(\mathcal{B}M)\longrightarrow H_*^{\mathrm{per}}(M).$$^^^^5 OR \5^^^^

A key lemma proves that the index pairing on $$\chi\circ ch:K_*^{\mathrm{alg}}(\mathcal{B}M)\longrightarrow H_*^{\mathrm{per}}(M).$$^^^^5 OR \5^^^^ factors through this transgressed $$\chi\circ ch:K_*^{\mathrm{alg}}(\mathcal{B}M)\longrightarrow H_*^{\mathrm{per}}(M).$$^^^^5 OR \5^^^^-homology of the corona (&&&^^^^5\5^^^^&&&).

Two theorems delimit the known range of validity. First, if $$\chi\circ ch:K_*^{\mathrm{alg}}(\mathcal{B}M)\longrightarrow H_*^{\mathrm{per}}(M).$$5 is a smooth manifold and $$\chi\circ ch:K_*^{\mathrm{alg}}(\mathcal{B}M)\longrightarrow H_*^{\mathrm{per}}(M).$$6 is a finite CW-pair, then the diagram comparing $$\chi\circ ch:K_*^{\mathrm{alg}}(\mathcal{B}M)\longrightarrow H_*^{\mathrm{per}}(M).$$7 with transgression commutes on classes in the image of the algebraic assembly map

$$\chi\circ ch:K_*^{\mathrm{alg}}(\mathcal{B}M)\longrightarrow H_*^{\mathrm{per}}(M).$$8

and the pairing identity holds for such classes and for $$\chi\circ ch:K_*^{\mathrm{alg}}(\mathcal{B}M)\longrightarrow H_*^{\mathrm{per}}(M).$$9 pulled back from $ch$^^^^5algebraic coarse character map5^^^^. Second, using Weibel’s homotopy $ch$^^^^5\5^^^^-theory, if $ch$^^^^5 OR \5^^^^ is a finite CW-pair, $ch$^^^^5 OR \5^^^^ is smooth, the analytic assembly map

$ch$^^^^5 OR \5^^^^

is surjective, and

$ch$5

is injective, then the transgressed algebraic coarse character diagram commutes for all $ch$6. The paper records $ch$7 as a case where these hypotheses are satisfied (&&&^^^^5\5^^^^&&&).

^^^^5 OR \5^^^^. Coarse homotopy theory and the algebraic Chern character

A broader coarse-homotopy-theoretic formulation replaces the concrete algebra $ch$8 with equivariant algebraic Roe-type categories and a systematic use of homotopy $ch$9-theory. In this setting, there are two coarse $K$^^^^5algebraic coarse character map5^^^^-homology theories. The topological theory is

$K$^^^^5\5^^^^

while the algebraic theory is

$K$^^^^5 OR \5^^^^

They are related by a natural comparison map

$K$^^^^5 OR \5^^^^

The periodic-cyclic target is the coarse periodic cyclic homology functor

$K$^^^^5 OR \5^^^^

together with a trace map

$K$5

to periodized ordinary coarse homology (&&&^^^^5 OR \5^^^^&&&).

The algebraic coarse character in this setting is the algebraic Chern character

$K$6

Its definition has three steps. One begins with a Goodwillie–Jones Chern character

$K$7

for $K$8-linear categories over a field of characteristic $K$9. Composing with the algebraic Roe functor $\chi$^^^^5algebraic coarse character map5^^^^ yields

$\chi$^^^^5\5^^^^

and then the canonical trace $\chi$^^^^5 OR \5^^^^ produces the final map $\chi$^^^^5 OR \5^^^^ (&&&^^^^5 OR \5^^^^&&&).

This framework is designed to compare algebraic, analytic, topological, and homotopy-theoretic Chern characters. A transgression is defined abstractly as a natural transformation

$\chi$^^^^5 OR \5^^^^

from an equivariant coarse homology theory to a functor factoring through the Higson corona. The paper singles out analytic transgression

$\chi$5

and topological transgression

$\chi$6

and also introduces a motivic transgression $\chi$7 as a geometric bridge in cone situations (&&&^^^^5 OR \5^^^^&&&).

A key compatibility theorem concerns Borelification. For any suitable equivariant theory $\chi$8, the Borel-equivariant version is

$\chi$9

with a natural transformation PRESERVED_PLACEHOLDER_^^^^5\5algebraic coarse character map5algebraic coarse character map5^^^^. Under the assumption that PRESERVED_PLACEHOLDER_^^^^5\5algebraic coarse character map5\5^^^^ admits all AV-sums, the square

PRESERVED_PLACEHOLDER_^^^^5\5algebraic coarse character map5 OR \5^^^^

commutes. This means that the algebraic coarse Chern character is compatible with passage from genuine equivariant coarse theories to Borel-equivariant ones (&&&^^^^5 OR \5^^^^&&&).

The larger comparison diagram then shows how the algebraic character interacts with analytic coarse PRESERVED_PLACEHOLDER_^^^^5\5algebraic coarse character map5 OR \5^^^^-homology, transgression, and Borel–Moore homology. The paper uses this to derive commutative diagrams relevant to assembly maps and to rational or complexified forms of injectivity statements.

5. The transchromatic algebraic-geometric analogue

Stapleton’s “Transchromatic generalized character maps” studies a different mathematical setting but presents a construction that the source material explicitly describes as an algebraic-geometric form of coarse character map. The starting point is the classical Hopkins–Kuhn–Ravenel generalized character theory, which views the height-PRESERVED_PLACEHOLDER_^^^^5\5algebraic coarse character map5 OR \5^^^^ Morava PRESERVED_PLACEHOLDER_^^^^5\5algebraic coarse character map55^^^^-theory character map as a map of cohomology theories

PRESERVED_PLACEHOLDER_^^^^5\5algebraic coarse character map5^^^^6

where the target is a generalized class-function object of height PRESERVED_PLACEHOLDER_^^^^5\5algebraic coarse character map5^^^^7. The problem addressed is whether analogous maps can land in every intermediate chromatic height PRESERVED_PLACEHOLDER_^^^^5\5algebraic coarse character map5^^^^8, with PRESERVED_PLACEHOLDER_^^^^5\5algebraic coarse character map5^^^^9 (&&&^^^^5algebraic coarse character map5^^^^&&&).

The construction uses the PRESERVED_PLACEHOLDER_^^^^5\5\5algebraic coarse character map5^^^^-divisible group attached to Morava PRESERVED_PLACEHOLDER_^^^^5\5\5\5^^^^-theory after localization at

PRESERVED_PLACEHOLDER_^^^^5\5\5 OR \5^^^^

With

PRESERVED_PLACEHOLDER_^^^^5\5\5 OR \5^^^^

the associated formal group satisfies

PRESERVED_PLACEHOLDER_^^^^5\5\5 OR \5^^^^

After base change to PRESERVED_PLACEHOLDER_^^^^5\5\55^^^^, the PRESERVED_PLACEHOLDER_^^^^5\5\5^^^^6-divisible group PRESERVED_PLACEHOLDER_^^^^5\5\5^^^^7 has height PRESERVED_PLACEHOLDER_^^^^5\5\5^^^^8 and fits into a short exact sequence

PRESERVED_PLACEHOLDER_^^^^5\5\5^^^^9

where PRESERVED_PLACEHOLDER_^^^^5\5 OR \5algebraic coarse character map5^^^^ is the formal part of height PRESERVED_PLACEHOLDER_^^^^5\5 OR \5\5^^^^, and PRESERVED_PLACEHOLDER_^^^^5\5 OR \5 OR \5^^^^ is an étale PRESERVED_PLACEHOLDER_^^^^5\5 OR \5 OR \5^^^^-divisible group of height PRESERVED_PLACEHOLDER_^^^^5\5 OR \5 OR \5^^^^ (&&&^^^^5algebraic coarse character map5^^^^&&&).

The ring PRESERVED_PLACEHOLDER_^^^^5\5 OR \55^^^^ is the initial PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^6-algebra over which this exact sequence splits. The paper proves that there is a nonzero flat PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^7-algebra PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^8 such that

PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^9

and at finite level

PRESERVED_PLACEHOLDER_^^^^5\5 OR \5algebraic coarse character map5^^^^

A key intermediate ring is

PRESERVED_PLACEHOLDER_^^^^5\5 OR \5\5^^^^

and PRESERVED_PLACEHOLDER_^^^^5\5 OR \5 OR \5^^^^ is obtained by localizing PRESERVED_PLACEHOLDER_^^^^5\5 OR \5 OR \5^^^^ so that the universal map on étale parts becomes an isomorphism (&&&^^^^5algebraic coarse character map5^^^^&&&).

The resulting character map is

PRESERVED_PLACEHOLDER_^^^^5\5 OR \5 OR \5^^^^

where

PRESERVED_PLACEHOLDER_^^^^5\5 OR \55^^^^

and

PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^6

After extension of scalars, the map becomes an isomorphism:

PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^7

When PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^8, this recovers the classical HKR character map (&&&^^^^5algebraic coarse character map5^^^^&&&).

The paper states that this construction can be viewed as an ^^^^^^^^5algebraic coarse character map5^^^^^^^^ because it replaces the full equivariant cohomology PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^9 by a coarser but computable target built from the constant étale quotient PRESERVED_PLACEHOLDER_^^^^5\5 OR \5algebraic coarse character map5^^^^, the fixed-point data PRESERVED_PLACEHOLDER_^^^^5\5 OR \5\5^^^^, and the coefficient extension PRESERVED_PLACEHOLDER_^^^^5\5 OR \5 OR \5^^^^. In this sense, the map is “coarse” because it forgets some PRESERVED_PLACEHOLDER_^^^^5\5 OR \5 OR \5^^^^-structure but retains enough information to recover the source after extension of scalars (&&&^^^^5algebraic coarse character map5^^^^&&&).

6. Structural themes, examples, and limits of generality

Taken together, these works suggest a common pattern: the “character map” passes from a refined source to a target built from traces, fixed points, cyclic homology, or boundary data, and a separate theorem shows that this target still controls the original invariant after comparison, extension, or transgression. In the operator-algebraic setting, that control is expressed by compatibility with index pairings on a corona; in the coarse-homotopy-theoretic setting, by commutative squares linking algebraic, analytic, topological, and Borel-equivariant theories; and in the transchromatic setting, by an isomorphism after extension of scalars (&&&^^^^5\5^^^^&&&, &&&^^^^5 OR \5^^^^&&&, &&&^^^^5algebraic coarse character map5^^^^&&&).

Examples clarify the differing roles of “coarse.” For PRESERVED_PLACEHOLDER_^^^^5\5 OR \5 OR \5^^^^ and PRESERVED_PLACEHOLDER_^^^^5\5 OR \55^^^^ finite in the transchromatic setting,

PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^6

and for PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^7 the codomain becomes

PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^8

a direct sum over conjugacy classes of commuting PRESERVED_PLACEHOLDER_^^^^5\5 OR \5^^^^9-tuples. This is not merely a ring of functions; it retains PRESERVED_PLACEHOLDER_^^^^5\55algebraic coarse character map5^^^^-cohomology of centralizers. In the coarse-geometry setting, by contrast, the target PRESERVED_PLACEHOLDER_^^^^5\55\5^^^^ is explicitly a periodic coarse homology theory, and the corona transgression further extracts asymptotic boundary information (&&&^^^^5algebraic coarse character map5^^^^&&&, &&&^^^^5\5^^^^&&&).

A second structural theme is the role of transgression. In coarse geometry, the transgressed ^^^^^^^^5algebraic coarse character map5^^^^^^^^ lands in PRESERVED_PLACEHOLDER_^^^^5\55 OR \5^^^^ for a metrizable Higson-dominated corona PRESERVED_PLACEHOLDER_^^^^5\55 OR \5^^^^. In coarse homotopy theory, transgression is axiomatized as a natural transformation factoring through the Higson corona functor. The comparison between algebraic and analytic routes therefore takes place “at infinity,” through corona functoriality and Borel–Moore theories (&&&^^^^5\5^^^^&&&, &&&^^^^5 OR \5^^^^&&&).

The chief limit of present knowledge is also explicit in the literature. Roe’s conjectural pairing identity for the ^^^^^^^^5algebraic coarse character map5^^^^^^^^ is not known in full generality. The available results establish commutativity for classes arising from summable Fredholm modules, and more generally under hypotheses such as surjectivity of the analytic assembly map and injectivity of the comparison map from homotopy PRESERVED_PLACEHOLDER_^^^^5\55 OR \5^^^^-theory to topological PRESERVED_PLACEHOLDER_^^^^5\555^^^^-theory. This suggests that the ^^^^^^^^5algebraic coarse character map5^^^^^^^^ is best understood not as a finished invariant, but as part of a comparison mechanism whose full range depends on assembly, transgression, and Chern-character compatibility theorems (&&&^^^^5\5^^^^&&&).

In that sense, the phrase “^^^^^^^^5algebraic coarse character map5^^^^^^^^” names a family of bridge constructions rather than a single object. What unifies them is the passage from algebraic or chromatic PRESERVED_PLACEHOLDER_^^^^5\55^^^^6-theoretic data to a target organized by geometry at large scale, by periodic cyclic traces, or by fixed-point decompositions, together with a theorem asserting that the passage remains faithful after the appropriate auxiliary operation.