Carmeli's Strict Picard Spectrum

• Carmeli's strict Picard spectrum is defined as Map(Hℤ, pic(𝒞)), capturing strictly invertible modules by imposing a strict Z-linearity on the invertible objects.
• In perfect p-complete E∞-rings, strictification reduces computations to classical invariants such as Pic⁰(R) and the unit group of π₀R/p, thereby streamlining the analysis.
• The construction extends to spherical Witt vectors and the sphere spectrum, highlighting the stark difference between ordinary Picard theory and its strict analog.

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 $\infty$0-rings, strictification is controlled by the $\infty$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 (Carmeli, 2022).

1. Definition inside Picard theory

For a symmetric monoidal $\infty$2-category $\infty$3, the Picard spectrum $\infty$4 is the maximal grouplike commutative monoid inside the space of objects $\infty$5. It is connective and encodes the $\infty$6-invertible objects of $\infty$7. For a commutative ring spectrum $\infty$8, one writes $\infty$9. There is a canonical identification

$\mathcal C$0

so for a commutative ring spectrum $\mathcal C$1,

$\mathcal C$2

Equivalently, the connected cover fits into a fiber sequence

$\mathcal C$3

and more generally

$\mathcal C$4

These formulas place $\mathcal C$5 as a strictified refinement of the ordinary Picard spectrum rather than as an unrelated invariant (Carmeli, 2022).

Carmeli defines strict elements of a connective spectrum $\mathcal C$6 by

$\mathcal C$7

where abelian groups are regarded as discrete connective spectra. The strict Picard spectrum is then

$\mathcal C$8

Its loop spectrum identifies the strict units: $\mathcal C$9 Thus $E_\infty$0 retains the unit-theoretic content of $E_\infty$1 while changing the manner in which commutativity and tensor powers are encoded (Carmeli, 2022).

A basic truncation formula clarifies this rigidification. If $E_\infty$2 is $E_\infty$3-truncated, then

$E_\infty$4

equivalently

$E_\infty$5

where $E_\infty$6 is the Hopf element. Applied to $E_\infty$7, this expresses $E_\infty$8 in terms of the Euler-characteristic map

$E_\infty$9

The subgroup $R$0 is the kernel of this dimension map (Carmeli, 2022).

2. Strictification, transfers, and perfect $R$1-complete rings

A central structural result is that strictification trivializes the equivariant $R$2th-power operation in a precise Tate-theoretic sense. Carmeli considers the equivariant $R$3th-power functor $R$4 on a symmetric monoidal category, classifying the cyclic permutation action on tensor powers, and shows that after applying $R$5 it becomes strictly trivial. Concretely, there is a canonical commutative triangle

$R$6

such that for a strict invertible module $R$7,

$R$8

Here $R$9 are the canonical map and Tate-valued Frobenius in the sense of Nikolaus–Scholze (Carmeli, 2022).

The Tate construction used here is the cofiber of the norm $$\operatorname{spic}(R)\simeq \operatorname{Map}(H\mathbb Z,\operatorname{pic}(R)).$$0 for a finite group $$\operatorname{spic}(R)\simeq \operatorname{Map}(H\mathbb Z,\operatorname{pic}(R)).$$1. The canonical map $$\operatorname{spic}(R)\simeq \operatorname{Map}(H\mathbb Z,\operatorname{pic}(R)).$$2 is the unit $$\operatorname{spic}(R)\simeq \operatorname{Map}(H\mathbb Z,\operatorname{pic}(R)).$$3 followed by $$\operatorname{spic}(R)\simeq \operatorname{Map}(H\mathbb Z,\operatorname{pic}(R)).$$4, while the Tate-valued Frobenius is the composite

$$\operatorname{spic}(R)\simeq \operatorname{Map}(H\mathbb Z,\operatorname{pic}(R)).$$5

with $$\operatorname{spic}(R)\simeq \operatorname{Map}(H\mathbb Z,\operatorname{pic}(R)).$$6 the Tate diagonal and $$\operatorname{spic}(R)\simeq \operatorname{Map}(H\mathbb Z,\operatorname{pic}(R)).$$7 induced by $$\operatorname{spic}(R)\simeq \operatorname{Map}(H\mathbb Z,\operatorname{pic}(R)).$$8. For $$\operatorname{spic}(R)\simeq \operatorname{Map}(H\mathbb Z,\operatorname{pic}(R)).$$9,

$R$0

so both $R$1 and $R$2 can be interpreted as extension of scalars (Carmeli, 2022).

For perfect $R$3-complete $R$4-rings, $R$5 is an equivalence. In this case multiplication by $R$6 is invertible on $R$7, and one obtains

$R$8

Moreover, $R$9 is $\mathbb Z\to \operatorname{pic}(R)$0-truncated with

$\mathbb Z\to \operatorname{pic}(R)$1

$\mathbb Z\to \operatorname{pic}(R)$2

This reduces the strict Picard computation of a perfect $\mathbb Z\to \operatorname{pic}(R)$3-complete ring to $\mathbb Z\to \operatorname{pic}(R)$4 and the unit group of $\mathbb Z\to \operatorname{pic}(R)$5, and it explains why the theory is computationally tractable in the Witt-vector and sphere cases (Carmeli, 2022).

3. Spherical Witt vectors

Let $\mathbb Z\to \operatorname{pic}(R)$6 be a perfect ring of characteristic $\mathbb Z\to \operatorname{pic}(R)$7. The spherical Witt vector $\mathbb Z\to \operatorname{pic}(R)$8-ring $\mathbb Z\to \operatorname{pic}(R)$9 is the connective $\mathbb Z$0-complete $\mathbb Z$1-ring characterized by

$\mathbb Z$2

and it is perfect in the sense that

$\mathbb Z$3

is an equivalence. Reduction modulo $\mathbb Z$4 induces an isomorphism

$\mathbb Z$5

and

$\mathbb Z$6

with reduction map $\mathbb Z$7 and multiplicative Teichmüller lifts

$\mathbb Z$8

These facts convert the abstract strict Picard problem into classical invariants of the perfect ring $\mathbb Z$9 (Carmeli, 2022).

Carmeli’s computation gives

$p$0

as a connective $p$1-module spectrum. Hence

$p$2

The comparison map $p$3 induces on $p$4 the inclusion $p$5, and on $p$6 the multiplicative Teichmüller lift

$p$7

The strict units are therefore

$p$8

(Carmeli, 2022).

The simplest case is $p$9, where $\infty$00, the $\infty$01-complete sphere. Then

$\infty$02

equivalently

$\infty$03

This example is the local input for the arithmetic fracture computation of the strict Picard spectrum of the sphere (Carmeli, 2022).

4. The sphere spectrum

For the sphere spectrum $\infty$04, the ordinary Picard spectrum is classically large: $\infty$05 where $\infty$06 are the stable homotopy groups of spheres. Carmeli proves that the connected cover maps yield equivalences

$\infty$07

Thus the strict problem is transferred from $\infty$08 to the strictification of the unit spectrum (Carmeli, 2022).

The computation proceeds through the arithmetic fracture square

$\infty$09

with $\infty$10 the ring of finite adèles. Since strictification and $\infty$11 preserve the pullback, one obtains a pullback square of strict elements, and therefore a long exact sequence in homotopy. The relevant part is

$\infty$12

where

$\infty$13

and $\infty$14 is the Teichmüller lift. Using

$\infty$15

one checks that $\infty$16 and $\infty$17. Hence

$\infty$18

Consequently,

$\infty$19

This is one of the sharpest manifestations of the difference between ordinary and strict Picard theory: although $\infty$20 detects stable homotopy in positive degrees, strict units of the sphere vanish (Carmeli, 2022).

5. Categorical strict models and low Postnikov data

Strict Picard constructions also appear in categorical models for truncated spectra. Picard $\infty$21-categories are symmetric monoidal $\infty$22-categories with invertible $\infty$23-, $\infty$24-, and $\infty$25-cells, and the classifying space of a Picard $\infty$26-category $\infty$27 is the zeroth space of the $\infty$28-theory spectrum $\infty$29. This spectrum has stable homotopy groups concentrated in levels $\infty$30, $\infty$31, and $\infty$32. The first stable Postnikov invariant

$\infty$33

is modeled by the symmetry, while the composite

$\infty$34

is determined by Gray-structure $\infty$35-cells. A key obstruction result states that there is no strict skeletal Picard $\infty$36-category whose $\infty$37-theory realizes the $\infty$38-truncation of the sphere spectrum: in the strict skeletal case $\infty$39, whereas for $\infty$40 the corresponding class is nontrivial and identified with $\infty$41. The same work constructs a categorical suspension $\infty$42 from a Picard $\infty$43-category $\infty$44 and proves

$\infty$45

(Gurski et al., 2016).

At the $\infty$46-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 $\infty$47, the associated strict Picard category has objects $\infty$48 and morphisms

$\infty$49

with tensor product induced by addition. The corresponding spectrum has

$\infty$50

and its reduced Picard category is encoded by a class

$\infty$51

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 $\infty$52 and $\infty$53 (Quang et al., 2013).

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 $\infty$54 construction and strict Picard groupoid or $\infty$55-groupoid models should be viewed as complementary realizations of strictness at different truncation heights (Gurski et al., 2016, Quang et al., 2013).

6. Later developments, applications, and terminological boundaries

Low truncations of Picard spectra for $\infty$56 and $\infty$57 provide a further setting in which strict Picard models are computationally effective. The first two $\infty$58-invariants of the Picard spectra of $\infty$59 and $\infty$60 have been computed, yielding the $\infty$61-structures of $\infty$62 and $\infty$63. The homotopy groups are

$\infty$64

and

$\infty$65

The first $\infty$66-invariants are $\infty$67 for $\infty$68 and $\infty$69 for $\infty$70, and the second $\infty$71-invariants restrict on connected covers to $\infty$72 for $\infty$73 and $\infty$74 for $\infty$75. These truncated Picard spaces represent graded Brauer groups, the Brauer groups of super $\infty$76-lines, and $\infty$77-theory twists; the same computations imply that they represent twists of String and Spin structures and can be used to twist $\infty$78-cohomology (Beardsley et al., 2023).

Carmeli’s strict Picard spectrum also appears directly in $\infty$79-local $\infty$80-theory of Azumaya algebras. In that setting the notation

$\infty$81

is used for the strict Picard spectrum, and

$\infty$82

for the strict unit spectrum. For a field $\infty$83 of characteristic $\infty$84, there is a canonical equivalence

$\infty$85

given on objects by sending an Azumaya algebra $\infty$86 to $\infty$87. Removing the Witt-vector factor amounts to taking $\infty$88-fixed points and yields

$\infty$89

In this form, strict Picard theory becomes a target for a decategorification map from Azumaya algebras through $\infty$90-local $\infty$91-theory, and strictness is what preserves the nontrivial $\infty$92-primary Brauer information (Ramzi, 1 Sep 2025).

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 $\infty$93 on complete metric spaces, strict fixed points, and Picard-type convergence under $\infty$94-type and $\infty$95–Reich–Rus-type contraction inequalities; it does not mention Carmeli and does not define a strict Picard spectrum (Gheorghe et al., 28 Feb 2025). In the homotopy-theoretic literature, “strict Picard spectrum” refers instead to the connective mapping-spectrum construction

$\infty$96

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 $\infty$97-rings (Carmeli, 2022, Gheorghe et al., 28 Feb 2025).