---
title: Carmeli's Strict Picard Spectrum
url: https://www.emergentmind.com/topics/carmeli-s-strict-picard-spectrum
type: topic
---

# Carmeli's Strict Picard Spectrum

Carmeli's strict Picard spectrum is the connective mapping spectrum
\[
\operatorname{spic}(\mathcal C):=\operatorname{pic}(\mathcal C)_{\mathbb Z}:=\hom_{\Sp^{\mathrm{cn}}}(\mathbb Z,\operatorname{pic}(\mathcal C))
\]
attached to a symmetric monoidal \(\infty\)-category \(\mathcal C\); for an \(E_\infty\)-ring \(R\), it is
\[
\operatorname{spic}(R)\simeq \operatorname{Map}(H\mathbb Z,\operatorname{pic}(R)).
\]
It is designed to capture “strictly invertible \(R\)-modules,” namely maps of spectra \(\mathbb Z\to \operatorname{pic}(R)\), and thereby rigidifies ordinary Picard-theoretic data by imposing strict \(\mathbb Z\)-linearity on invertible objects and their tensor symmetries. In Carmeli’s computation for perfect \(p\)-complete \(E_\infty\)-rings, strictification is controlled by the \(1\)-truncation of the classical Picard spectrum, and the resulting theory becomes explicitly computable for spherical Witt vectors and, by arithmetic fracture, for the sphere spectrum itself [2208.03073].

## 1. Definition inside Picard theory

For a symmetric monoidal \(\infty\)-category \(\mathcal C\), the Picard spectrum \(\operatorname{pic}(\mathcal C)\) is the maximal grouplike commutative monoid inside the space of objects \(\mathcal C^\simeq\). It is connective and encodes the \(\otimes\)-invertible objects of \(\mathcal C\). For a commutative ring spectrum \(R\), one writes \(\operatorname{pic}(R):=\operatorname{pic}(\operatorname{Mod}_R)\). There is a canonical identification
\[
\Omega\,\operatorname{pic}(\mathcal C)\simeq \mathbf{1}_{\mathcal C}^{\times},
\]
so for a commutative ring spectrum \(R\),
\[
\pi_1\,\operatorname{pic}(R)\simeq (\pi_0R)^\times,\qquad
\pi_i\,\operatorname{pic}(R)\simeq \pi_{i-1}R\quad (i\ge 2).
\]
Equivalently, the connected cover fits into a fiber sequence
\[
\Sigma\,R^\times\longrightarrow \operatorname{pic}(R)\longrightarrow \pi_0\operatorname{pic}(R)\simeq \operatorname{Pic}(R),
\]
and more generally
\[
\tau_{\ge 1}\operatorname{pic}(R)\simeq \Sigma\,GL_1(R).
\]
These formulas place \(\operatorname{spic}(R)\) as a strictified refinement of the ordinary Picard spectrum rather than as an unrelated invariant [2208.03073].

Carmeli defines strict elements of a connective spectrum \(X\) by
\[
X_{\mathbb Z}:=\hom_{\Sp^{\mathrm{cn}}}(\mathbb Z,X),
\]
where abelian groups are regarded as discrete connective spectra. The strict Picard spectrum is then
\[
\operatorname{spic}(\mathcal C):=\operatorname{pic}(\mathcal C)_{\mathbb Z}.
\]
Its loop spectrum identifies the strict units:
\[
\Omega\,\operatorname{spic}(\mathcal C)\simeq \big(\mathbf{1}_{\mathcal C}^{\times}\big)_{\mathbb Z}=\mathbb G_m(\mathbf{1}_{\mathcal C}),
\qquad
\Omega\,\operatorname{spic}(R)\simeq \mathbb G_m(R).
\]
Thus \(\operatorname{spic}\) retains the unit-theoretic content of \(\operatorname{pic}\) while changing the manner in which commutativity and tensor powers are encoded [2208.03073].

A basic truncation formula clarifies this rigidification. If \(X\) is \(1\)-truncated, then
\[
\pi_i\,X_{\mathbb Z}\cong
\begin{cases}
\ker\big(\pi_0X \xrightarrow{\ \eta\ } \pi_1X\big), & i=0,\\
\pi_1X, & i=1,\\
0, & i\ge 2,
\end{cases}
\]
equivalently
\[
X_{\mathbb Z}\simeq \ker(\eta)\oplus \Sigma\,\pi_1X,
\]
where \(\eta\in \pi_1\mathbb S\) is the Hopf element. Applied to \(X=\tau_{\le 1}\operatorname{pic}(R)\), this expresses \(\operatorname{spic}(R)\) in terms of the Euler-characteristic map
\[
\dim:\operatorname{Pic}(R)\to (\pi_0R)^\times.
\]
The subgroup \(\operatorname{Pic}^0(R)\subset \operatorname{Pic}(R)\) is the kernel of this dimension map [2208.03073].

## 2. Strictification, transfers, and perfect \(p\)-complete rings

A central structural result is that strictification trivializes the equivariant \(p\)th-power operation in a precise Tate-theoretic sense. Carmeli considers the equivariant \(p\)th-power functor \(\Theta_p\) on a symmetric monoidal category, classifying the cyclic permutation action on tensor powers, and shows that after applying \(\operatorname{spic}(-)\) it becomes strictly trivial. Concretely, there is a canonical commutative triangle
\[
\xymatrix{
\operatorname{spic}(R) \ar[r]^{\fr^p} \ar[d]_{p} &
\operatorname{spic}(R^{tC_p}) \\
\operatorname{spic}(R) \ar[ru]_{\can^p}
}
\]
such that for a strict invertible module \(X\),
\[
\fr^p_*(X)\simeq \can^p_*\big(X^{\otimes p}\big).
\]
Here \(\can^p,\fr^p:R\to R^{tC_p}\) are the canonical map and Tate-valued Frobenius in the sense of Nikolaus–Scholze [2208.03073].

The Tate construction used here is the cofiber of the norm \((-)_{hG}\to (-)^{hG}\) for a finite group \(G\). The canonical map \(\can_G:R\to R^{tC_p}\) is the unit \(X\to X^{hC_p}\) followed by \(X^{hC_p}\to X^{tC_p}\), while the Tate-valued Frobenius is the composite
\[
R \xrightarrow{\ \Delta\ } \Fr^p_{\Sp}(R) \xrightarrow{\ m_R\ } R^{tC_p},
\]
with \(\Delta\) the Tate diagonal and \(m_R\) induced by \(R^{\otimes p}\to R\). For \(X\in \operatorname{Perf}_R\),
\[
X^{tC_p}\simeq X\otimes_R R^{tC_p},
\]
so both \(\can^p\) and \(\fr^p\) can be interpreted as extension of scalars [2208.03073].

For perfect \(p\)-complete \(E_\infty\)-rings, \(\fr^p\) is an equivalence. In this case multiplication by \(p\) is invertible on \(\operatorname{spic}(R)\), and one obtains
\[
\operatorname{spic}(R)\simeq \hom_{\Sp^{\mathrm{cn}}}\big(\mathbb Z[1/p],\operatorname{pic}(R)\big).
\]
Moreover, \(\operatorname{spic}(R)\) is \(1\)-truncated with
\[
\pi_0\,\operatorname{spic}(R)\simeq
\Hom_{\Ab}(\mathbb Z[1/p],\Pic^0(R))
\oplus
\Ext^1_{\Ab}\big(\mathbb Z[1/p],(\pi_0R/p)^\times\big),
\]
\[
\pi_1\,\operatorname{spic}(R)\simeq
\Hom_{\Ab}\big(\mathbb Z[1/p],(\pi_0R/p)^\times\big),
\qquad
\pi_i=0\quad (i\ge 2).
\]
This reduces the strict Picard computation of a perfect \(p\)-complete ring to \(\operatorname{Pic}^0(R)\) and the unit group of \(\pi_0R/p\), and it explains why the theory is computationally tractable in the Witt-vector and sphere cases [2208.03073].

## 3. Spherical Witt vectors

Let \(\kappa\) be a perfect ring of characteristic \(p\). The spherical Witt vector \(E_\infty\)-ring \(\mathbb S\WW(\kappa)\) is the connective \(p\)-complete \(E_\infty\)-ring characterized by
\[
\pi_0\,\mathbb S\WW(\kappa)\simeq W(\kappa),\qquad
\mathbb F_p\otimes \mathbb S\WW(\kappa)\simeq \kappa,
\]
and it is perfect in the sense that
\[
\fr^p:\mathbb S\WW(\kappa)\to (\mathbb S\WW(\kappa))^{tC_p}
\]
is an equivalence. Reduction modulo \(p\) induces an isomorphism
\[
\Pic\big(\mathbb S\WW(\kappa)\big)\xrightarrow{\ \sim\ } \Pic(\kappa)\simeq \Cl(\kappa)\oplus C^0(\kappa;\mathbb Z),
\]
and
\[
\pi_0\big(\mathbb S\WW(\kappa)\big)^\times\simeq W(\kappa)^\times
\]
with reduction map \(W(\kappa)^\times\to \kappa^\times\) and multiplicative Teichmüller lifts
\[
[-]:\kappa^\times\to W(\kappa)^\times.
\]
These facts convert the abstract strict Picard problem into classical invariants of the perfect ring \(\kappa\) [2208.03073].

Carmeli’s computation gives
\[
\operatorname{spic}\big(\mathbb S\WW(\kappa)\big)\simeq \Cl(\kappa)\oplus \Sigma\,\kappa^\times
\]
as a connective \(\mathbb Z\)-module spectrum. Hence
\[
\pi_i\,\operatorname{spic}\big(\mathbb S\WW(\kappa)\big)\cong
\begin{cases}
\Cl(\kappa), & i=0,\\
\kappa^\times, & i=1,\\
0, & i\ge 2.
\end{cases}
\]
The comparison map \(\operatorname{spic}\to \operatorname{pic}\) induces on \(\pi_0\) the inclusion \(\Cl(\kappa)\to \Pic(\kappa)\), and on \(\pi_1\) the multiplicative Teichmüller lift
\[
\kappa^\times\xrightarrow{[\;-\;]}W(\kappa)^\times.
\]
The strict units are therefore
\[
\mathbb G_m\big(\mathbb S\WW(\kappa)\big)=\Omega\,\operatorname{spic}\big(\mathbb S\WW(\kappa)\big)\simeq \kappa^\times
\]
[2208.03073].

The simplest case is \(\kappa=\mathbb F_p\), where \(\mathbb S\WW(\mathbb F_p)\simeq \mathbb S_p\), the \(p\)-complete sphere. Then
\[
\operatorname{spic}(\mathbb S_p)\simeq \Sigma\,\mathbb F_p^\times,
\qquad
\pi_0=0,\quad
\pi_1\simeq \mathbb F_p^\times,\quad
\pi_i=0\ (i\ge 2),
\]
equivalently
\[
\operatorname{Map}(H\mathbb Z,\operatorname{pic}(\mathbb S_p))\simeq \Sigma\,\mathbb F_p^\times.
\]
This example is the local input for the arithmetic fracture computation of the strict Picard spectrum of the sphere [2208.03073].

## 4. The sphere spectrum

For the sphere spectrum \(\mathbb S\), the ordinary Picard spectrum is classically large:
\[
\pi_0\,\operatorname{pic}(\mathbb S)\cong \mathbb Z,\qquad
\pi_1\,\operatorname{pic}(\mathbb S)\cong \mathbb Z/2,
\qquad
\pi_k\,\operatorname{pic}(\mathbb S)\cong \pi_{k-1}^{\mathsf S}\quad (k\ge 2),
\]
where \(\pi_*^{\mathsf S}\) are the stable homotopy groups of spheres. Carmeli proves that the connected cover maps yield equivalences
\[
\operatorname{spic}(\mathbb S)\simeq \hom_{\Sp^{\mathrm{cn}}}\big(\mathbb Z,\Sigma\,\mathbb S^\times\big),
\qquad
\operatorname{spic}(\mathbb S_p)\simeq \hom_{\Sp^{\mathrm{cn}}}\big(\mathbb Z,\Sigma\,\mathbb S_p^\times\big).
\]
Thus the strict problem is transferred from \(\operatorname{pic}(\mathbb S)\) to the strictification of the unit spectrum [2208.03073].

The computation proceeds through the arithmetic fracture square
\[
\xymatrix{
\mathbb S\ar[r]\ar[d] & \mathbb Q \ar[d]\\
\prod_p \mathbb S_p \ar[r] & \mathbb A
}
\]
with \(\mathbb A\) the ring of finite adèles. Since strictification and \(\Sigma\) preserve the pullback, one obtains a pullback square of strict elements, and therefore a long exact sequence in homotopy. The relevant part is
\[
0\to \pi_1\,\operatorname{spic}(\mathbb S)\to \mathbb Q^\times\oplus \prod_p \mathbb F_p^\times
\xrightarrow{\ \psi\ }
\mathbb A^\times
\to \pi_0\,\operatorname{spic}(\mathbb S)\to 0,
\]
where
\[
\psi(q,(a_p)_p)=\big(q\,[a_p]_p^{-1}\big)_p\in \prod_p \mathbb Q_p^\times,
\]
and \([\;-\;]_p:\mathbb F_p^\times\to \mathbb Z_p^\times\) is the Teichmüller lift. Using
\[
(1+p\mathbb Z_p)^\times\simeq \mathbb Z_p,\qquad
(1+4\mathbb Z_2)^\times\simeq \mathbb Z_2,
\]
one checks that \(\ker(\psi)=0\) and \(\operatorname{coker}(\psi)\simeq \prod_p\mathbb Z_p=\widehat{\mathbb Z}\). Hence
\[
\operatorname{spic}(\mathbb S)\simeq \widehat{\mathbb Z},
\qquad
\pi_0\,\operatorname{spic}(\mathbb S)\cong \widehat{\mathbb Z},
\qquad
\pi_i=0\ (i\ge 1).
\]
Consequently,
\[
\mathbb G_m(\mathbb S)=\Omega\,\operatorname{spic}(\mathbb S)\simeq 0.
\]
This is one of the sharpest manifestations of the difference between ordinary and strict Picard theory: although \(\operatorname{pic}(\mathbb S)\) detects stable homotopy in positive degrees, strict units of the sphere vanish [2208.03073].

## 5. Categorical strict models and low Postnikov data

Strict Picard constructions also appear in categorical models for truncated spectra. Picard \(2\)-categories are symmetric monoidal \(2\)-categories with invertible \(0\)-, \(1\)-, and \(2\)-cells, and the classifying space of a Picard \(2\)-category \(\mathcal D\) is the zeroth space of the \(K\)-theory spectrum \(K\mathcal D\). This spectrum has stable homotopy groups concentrated in levels \(0\), \(1\), and \(2\). The first stable Postnikov invariant
\[
k_0\in [H(\pi_0),\Sigma^2H(\pi_1)]
\]
is modeled by the symmetry, while the composite
\[
k_1i_1\in [\Sigma H(\pi_1),\Sigma^3H(\pi_2)]
\]
is determined by Gray-structure \(2\)-cells. A key obstruction result states that there is no strict skeletal Picard \(2\)-category whose \(K\)-theory realizes the \(2\)-truncation of the sphere spectrum: in the strict skeletal case \(k_1i_1=0\), whereas for \(\tau_{\le 2}\mathbb S\) the corresponding class is nontrivial and identified with \(Sq^2\). The same work constructs a categorical suspension \(\Sigma C\) from a Picard \(1\)-category \(C\) and proves
\[
K(\Sigma C)\simeq \Sigma K(C)
\]
[1606.07032].

At the \(1\)-truncated level, strict Picard categories admit an algebraic description via abelian crossed modules. The category of abelian crossed modules is equivalent to the category of strict Picard categories and regular symmetric monoidal functors. For an abelian crossed module \(d:B\to D\), the associated strict Picard category has objects \(D\) and morphisms
\[
\operatorname{Hom}(x,y)=\{\,b\in B\mid x=d(b)+y\,\},
\]
with tensor product induced by addition. The corresponding spectrum has
\[
\pi_0\cong \operatorname{coker}d,\qquad
\pi_1\cong \ker d,\qquad
\pi_n=0\ (n\ge 2),
\]
and its reduced Picard category is encoded by a class
\[
k\in H^3(\operatorname{coker}d,\ker d).
\]
This supplies a concrete algebraic model for strict Picard data in low degrees and makes the obstruction theory for maps between strict Picard objects explicit in terms of \(H^3\) and \(H^2\) [1309.3109].

These categorical results do not reproduce Carmeli’s mapping-spectrum definition verbatim, but they clarify the same structural phenomenon: strictness improves algebraic control while preserving only those coherence patterns compatible with the relevant Postnikov data. A plausible implication is that Carmeli’s \(\operatorname{Map}(H\mathbb Z,-)\) construction and strict Picard groupoid or \(2\)-groupoid models should be viewed as complementary realizations of strictness at different truncation heights [1606.07032; 1309.3109].

## 6. Later developments, applications, and terminological boundaries

Low truncations of Picard spectra for \(KU\) and \(KO\) provide a further setting in which strict Picard models are computationally effective. The first two \(k\)-invariants of the Picard spectra of \(KU\) and \(KO\) have been computed, yielding the \(E_\infty\)-structures of \(\operatorname{Pic}(KU)[0,3]\) and \(\operatorname{Pic}(KO)[0,2]\). The homotopy groups are
\[
\pi_0\operatorname{pic}(KU)\cong \mathbb Z/2,\quad
\pi_1\operatorname{pic}(KU)\cong \mathbb Z/2,\quad
\pi_2\operatorname{pic}(KU)\cong 0,\quad
\pi_3\operatorname{pic}(KU)\cong \mathbb Z,
\]
and
\[
\pi_0\operatorname{pic}(KO)\cong \mathbb Z/8,\quad
\pi_1\operatorname{pic}(KO)\cong \mathbb Z/2,\quad
\pi_2\operatorname{pic}(KO)\cong \mathbb Z/2.
\]
The first \(k\)-invariants are \(Sq^2\) for \(KU\) and \(Sq^2\circ \rho\) for \(KO\), and the second \(k\)-invariants restrict on connected covers to \(\beta Sq^2\) for \(KU\) and \(Sq^2\) for \(KO\). These truncated Picard spaces represent graded Brauer groups, the Brauer groups of super \(2\)-lines, and \(K\)-theory twists; the same computations imply that they represent twists of String and Spin structures and can be used to twist \(tmf\)-cohomology [2306.10112].

Carmeli’s strict Picard spectrum also appears directly in \(K(1)\)-local \(K\)-theory of Azumaya algebras. In that setting the notation
\[
\mathbb G_{\mathrm{pic}(C)}:=\mathrm{Map}_{\mathrm{Sp}^{\mathrm{cn}}}(\mathbb Z,\mathrm{Pic}(C))
\]
is used for the strict Picard spectrum, and
\[
\mathbb G_{\mathrm{unit}(C)}:=\Omega\,\mathbb G_{\mathrm{pic}(C)}
\]
for the strict unit spectrum. For a field \(F\) of characteristic \(\neq p\), there is a canonical equivalence
\[
\mathbf{Br}(F)[p^\infty]\simeq
\mathbb G_{\mathrm{pic}\!\big(L_{K(1)}K(F)\otimes \mathbb S_{W(\overline{\mathbb F_p})}\big)}[p^\infty],
\]
given on objects by sending an Azumaya algebra \(A\) to \(L_{K(1)}K(A)\). Removing the Witt-vector factor amounts to taking \(S^1\)-fixed points and yields
\[
\mathbb G_{\mathrm{pic}\!\big(L_{K(1)}K(F)\big)}[p^\infty]
\simeq
\mathbf{Br}(F)[p^\infty]^{S^1}
\simeq
\mathbf{Br}(F)[p^\infty]\oplus \mathrm{Pic}(F)[p^\infty].
\]
In this form, strict Picard theory becomes a target for a decategorification map from Azumaya algebras through \(K(1)\)-local \(K\)-theory, and strictness is what preserves the nontrivial \(p\)-primary Brauer information [2509.01516].

A recurrent source of confusion is purely terminological. The paper “Strict fixed point problem, stability results and retraction displacement condition for Picard operators” studies multivalued operators \(T:X\to P(X)\) on complete metric spaces, strict fixed points, and Picard-type convergence under \(c\)-type and \(c\)–Reich–Rus-type contraction inequalities; it does not mention Carmeli and does not define a strict Picard spectrum [2503.00207]. In the homotopy-theoretic literature, “strict Picard spectrum” refers instead to the connective mapping-spectrum construction
\[
\operatorname{Map}(H\mathbb Z,\operatorname{pic}(-)),
\]
together with the strict unit spectrum obtained by looping. The distinction matters because the former belongs to metric fixed point theory, whereas Carmeli’s notion belongs to stable homotopy theory, higher algebra, and the arithmetic of \(E_\infty\)-rings [2208.03073; 2503.00207].

Source: https://www.emergentmind.com/topics/carmeli-s-strict-picard-spectrum