English

Picard groups and composition nilpotence for finite cellular isotropic spectra

Algebraic Geometry 2026-07-18 v1 Commutative Algebra Algebraic Topology K-Theory and Homology

Abstract

Let k=k0(t1,t2,)k=k_0(t_1,t_2,\ldots) be a flexible field of characteristic different from 22, let X\mathbb X be the mod-22 isotropic sphere, and set E=XMBPE=\mathbb X \wedge MBP. We prove Pic(SH(k/k)cellc)Z2;Pic\bigl(SH(k/k)^c_{cell}\bigr)\cong\mathbb Z^2; thus every tensor-invertible finite cellular isotropic spectrum is a unique bigraded suspension of X\mathbb X. More generally, EE_{**} is conservative on finite cellular objects, and concentration on one diagonal forces a finite direct sum of suspended isotropic spheres. A bounded diagonal weight structure recovers the exact weights and minimal-complex terms from EE_{**}. For every nonzero finite cellular MM, the kernel of End(M)End(EXM)End(M)\longrightarrow End(E\wedge_{\mathbb X}M) is a composition-nilpotent ideal, with exponent at most d(M)(2L(M)1)d(M)(2L(M)-1), where L(M)L(M) is the diagonal width and d(M)d(M) the maximal number of distinct Tate degrees on one diagonal. This yields detection of composition nilpotence and canonical Fitting decompositions.

Keywords

Cite

@article{arxiv.2607.18322,
  title  = {Picard groups and composition nilpotence for finite cellular isotropic spectra},
  author = {David Kumallagov},
  journal= {arXiv preprint arXiv:2607.18322},
  year   = {2026}
}

Comments

25 pages