1: \begin{definition}\label{AJdef}

2: By \cite[Theorem 2.3.2]{waldhausen},  there is a natural map $\Perf(S) \to K(S)$, which is group completion of a simplicial monoid. Composing this with the Abel--Jacobi map above  gives 

3: \[

4:  \Xi_p \co \Perf(X_A) \to \tau_{\ge 0}J_X^p(A,k).

5: \]

6: \end{definition}

7: