Skip to main content
1 of 4
Tim Campion
  • 64k
  • 13
  • 143
  • 384

I should probably have thought a bit more before posting this question: the answer to (2) (and a fortiori to (1)) is no. In fact, $C[C^{-1}]$ is the terminal category and $\iota(C[C^{-1}])$ is contractible in the case of interest.

Recall that a commutative rig category $(C,\otimes,I,\oplus,0)$ has symmetric monoidal structures $(C,\oplus,0)$ and $(C,\otimes,I)$, with distributivity $A\otimes 0 = 0$ and $A\otimes(B\oplus C) = (A\otimes B) \oplus (A \otimes C)$ coherently. Alternatively, it is an $E_\infty$-object in symmetric monoidal categories. Let us write $A^\vee$ for a $\otimes$-dual to $A$ and $-A$ for a $\oplus$-dual to $A$.

Lemma: Let $(C,\otimes,I,\oplus,0)$ be a commutative rig category. If $0^\vee$ exists, then $0$ is a zero object (i.e. it is both initial and terminal).

Proof: By adjunction, we have $C(X,0^\vee) = C(X,0^\vee \otimes I) = C(0 \otimes X, I) = C(0,I)$, naturally in $X$. Taking $X = 0^\vee$ and $1 \in C(0^\vee,0^\vee)$, we obtain a map $X \to 0^\vee$, natural in $X$. Dually, we have a map $0^\vee \to Y$ natural in $Y$, and by composing, we have a map $0_{X,Y}:X \to Y$ natural in $X$ and $Y$. Moreover, by distributivity, we have $0_{0,0} = 1_0 \otimes 0_{0,0} = 1_0$. This implies that $0$ is a zero object in $C$.

Lemma: Let $(C,\otimes,I,\oplus,0)$ be a commutative rig category. If $0$ is a zero object and $-A$ exists, then $A=0$.

Proof: Because $0$ is a zero zero object, both the unit and counit maps $A \oplus (-A)^\to_\leftarrow 0$ are zero maps. Then a triangle identity shows that $0_{A,A} = 1_A$, so that $A=0$.

Corollary: If $C$ is a commutative rig category with additive duals $-A$ for all objects $A$, and the multiplicative dual $0^\vee$, then $C$ is the terminal category.

Corollary: If $C = (Mod(R)^{f.g.proj},\oplus)$, then $C[C^{-1}]$ is the terminal category. Hence $\iota (C[C^{-1}])$ is contractible.

Proof: $(C,\otimes,\oplus)$ is a commutative rig category. Group completion is at least a lax monoidal functor on symmetric monoidal categories, so $C[C^{-1}]$ is likewise a commutative rig $\infty$-category, and $C \to C[C^{-1}]$ is a morphism thereof. Therefore, because $0$ is self-dual in $C$, it is likewise self-dual in $C[C^{-1}]$. Moreover, $C[C^{-1}]$ has additive duals (even better, it has additive inverses). So by the previous Corollary, $C[C^{-1}]$ is the terminal category.

Tim Campion
  • 64k
  • 13
  • 143
  • 384