Unspecified Assembly Map Comparison Conjecture

Definitions and mathematical statement

The supplied record does not determine a complete mathematical conjecture. Its statement is explicitly marked unrecoverable: it combines discussion of assembly maps with incomplete definitions, and no clean statement is supplied. The following preserves the recoverable fragments without completing their missing hypotheses.

The introductory fragment concerns the relationship between the Baum--Connes conjecture (BCC) and the Farrell--Jones conjecture (FJC), referring to assembly maps for spectrum-valued functors associated with $KO(-)$ and $L(-)$. It specifies neither the assembly maps nor a comparison assertion, domains, coefficients, or quantifiers.

In a subsequent fragment, $\operatorname{Perf}(R)$ denotes the intended category of perfect objects over $R$, and $[-n]$ denotes its shift functor. The nature of $R$, the permitted values of $n$, the structure of the pair $(P,\beta)$, and the relevant duality are not specified. Subject to those missing conventions, the fragment calls $(P,\beta)$ unimodular when the canonical map \[ \beta^{\sharp}\colon P\longrightarrow P^{\vee}[-n] =\operatorname{Hom}_{R}\left(P,R[-n]\right) \] is an equivalence. The displayed identification is transcribed from the source; the meaning of $\operatorname{Hom}_{R}$ and the construction of $\beta^{\sharp}$ remain unspecified.

The fragment then begins a definition of metabolic: it requires a morphism \[ \iota\colon L\longrightarrow P \quad\text{in }\operatorname{Perf}(R) \] and a null-homotopy \[ 0\simeq\iota^{*}(\beta). \] The extraction contains an ambiguously placed $\alpha$, possibly naming this null-homotopy. It then imposes a condition on an induced diagram, but the diagram and its required property are missing. These conditions therefore do not constitute a complete definition of metabolicity.

Unresolved mathematical target. No standalone assertion about assembly-map comparison, unimodularity, or metabolicity can be recovered from the supplied text. Completing any such assertion would require information absent from this record.

Short English statement

This record, titled "Unspecified Assembly Map Comparison Conjecture," contains assembly-map discussion followed by incomplete definitions of unimodular and metabolic objects. It supplies no precise conjecture to state. Its recorded "open" status is a supplied curation label; the formulation is marked unrecoverable and requires human mathematical review.

Sources

• Local UnsolvedMath problem registry, permanent ID $30005186$, source problem code catalogue entry. The original extracted record is retained for provenance; no separate clean statement is promoted. No individual proposer is supplied; the recorded proposed year is 2022.
• Supplied report citation: Non-Commutative Geometry and Cyclic Homology (2023), Oberwolfach Reports, DOI 10.4171/owr/2022/35, pp. 1987--2058. Supplied source URL: https://doi.org/10.4171/owr/2022/35. The background describes Oberwolfach Reports as documenting mathematical workshops and their open-problem discussions. This is report-level provenance; no precise location or authoritative complete formulation of the intended conjecture is supplied.
• Supplied literature source, labeled "original Oberwolfach report": https://doi.org/10.4171/owr/2022/35. The literature assessment dated 2026-08-22 is supplied dated curation, not independently verified here. It labels the record open while explaining that the extraction contains the word "conjecture" and surrounding assembly-map discussion without a complete mathematical assertion, so the claim is unresolved or unclear rather than classified as solved. The supplied background requests independent verification of time-sensitive status and cited claims.