symmetric monoidal (∞,1)-category of spectra
The core of a commutative ring $R$ consists of those elements for which homomorphisms out of that ring have no choice as to how to act: that is, those $r \in R$ such that for any pair of homomorphisms $f,g \colon R \to S$ we must have $f(r) = g(r)$. By the universal property of the coproduct these are precisely the elements on which the coinjections $i_1, i_2 \colon R \to R + R$ are equal. Since the coproduct of commutative rings is their tensor product (see here), these are precisely the elements such that
(core of a ring)
For $R$ a unital commutative ring, its core is the following sub-ring of the tensor product of abelian groups $R \otimes_{{}_{\mathbb{Z}}} R$:
(Bousfield & Kan 1972, Sec. 1)
(core as equalizer and as regular image)
In category-theoretic terminology, Def. describes the equalizer (Bousfield 1979, 6.4)
where the top morphism is
and the bottom one is
with
denoting the unique ring homomorphism form the commutative ring of integers, which is the initial object in CommutativeRings.
Observing (by this Prop.) that the tensor product of abelian groups $R \otimes_{{}_{\mathbb{Z}}} R$ equipped with its canonically induced commutative ring structure is the coproduct in CommutativeRings
this means equivalently that the core is the equalizer of the two coprojections into the coproduct:
hence – since $\mathbb{Z}$ is the initial object in CommutativeRings – into the cofiber coproduct of $\mathbb{Z} \xrightarrow{e} R$ (1) with itself.
In this form, the core is manifestly (here) the regular image of the initial morphism $\mathbb{Z} \xrightarrow{e} R$:
hence the smallest regular monomorphism into $R$ in the category of CommutativeRings.
(geometric interpretation)
By duality between algebra and geometry, we may think of the opposite category $CommutativeRings^{op}$ as that of affine arithmetic schemes. Here for $R \in CRing$ we write $Spec(R)$ for the same object, but regarded in $CRing^{op}$.
So the initial object $\mathbb{Z}$ in CRing becomes the terminal object Spec(Z) in $CRing^{op}$, and so for every $R$ there is a unique morphism
in $CRing^{op}$, exhibiting every affine arithmetic scheme $Spec(R)$ as equipped with a map to the base scheme Spec(Z).
Since the coproduct in CRing is the tensor product of rings (prop.), this is the dually the Cartesian product in $CRing^{op}$ and hence
exhibits $R \otimes R$ as the ring of functions on $Spec(R) \times Spec(R)$.
Hence the terminal morphism $Spec(R) \to Spec(\mathbb{Z})$ induces the corresponding Cech groupoid internal to $CRing^{op}$
This exhibits $R \otimes R$ (the ring of functions on the scheme of morphisms of the Cech groupoid) as a commutative Hopf algebroid over $R$.
Moreover, the arithmetic scheme of isomorphism classes of this groupoid is the coequalizer of the source and target morphisms
also called the coimage of $Spec(R) \to Spec(\mathbb{Z})$. Since limits in the opposite category $CRing^{op}$ are equivaletly colimits in $CRing$, this means that the ring of functions on the scheme of isomorphism classes of the Cech groupoid is precisely the core $c R$ or $R$ according to def. .
This is morally the reason why for $E$ a homotopy commutative ring spectrum then the core $c \pi_0(E)$ of its underlying ordinary ring in degree 0 controls what the $E$-Adams spectral sequence converges to (Bousfield 79, theorems 6.5, 6.6, see here), because the $E$-Adams spectral sequence computes E-nilpotent completion which is essentially the analog in higher algebra of the above story: namely the coimage ((infinity,1)-image) of $Spec(E) \to$ Spec(S) (see here).
(solid rings)
A commutative ring $R$ which is isomorphic to its core (Def. ), $R \,\simeq\, c R$ is called a solid ring.
(solidity means that multiplication is isomorphism)
A commutative ring $R$ is solid (Def. ) iff its multiplication morphism is an isomorphism:
In one direction, assume that multiplication is an isomorphism. Since both $r \mapsto 1 \otimes r$ and $r \mapsto r \otimes 1$ are right inverses
and since right inverses of isomorphisms are unique (this Prop.), it follows that these two morphisms on the left are in fact equal, and therefore that their equalizer, hence the core of $R$ (by Rem. ), is $R$.
In the other direction, assume that $1 \otimes r \,=\, r \otimes 1$ for all $r \in R$. Then
and therefore $(-)\cdot(-)$ is a bijection, hence an isomorphism of rings.
(cores are solid)
The core (Def. ) of any ring $R$ is solid (Def. ):
The following is the complete list of solid rings (Def. ) up to isomorphism:
The localization of the ring of integers at a subset $Pr$ of prime numbers
the cyclic rings
for $n \in \mathbb{N}$, $n \geq 2$;
the product rings
for $n \geq 2$ such that each prime factor of $n$ is contained in the set of primes $J$;
the ring cores of product rings
where $K \subset J$ are infinite sets of primes and $e(p)$ are positive natural numbers.
(Bousfield-Kan 72, prop. 3.5, Bousfield 79, p. 276)
In particular:
(rational numbers form a solid ring)
The ring $\mathbb{Q}$ of rational numbers is a solid ring.
Since every rational number may be written as
for some $p, q \,\in\, \mathbb{Z}$, we have
Here the third and the fifth line use the equivalence relation defining the tensor product of abelian groups for the case of rings:
(no other field of characteristic zero is a solid ring)
The same argument shows that no other field of characteristic zero $k$ is a solid ring, since, being a proper superset $\mathbb{K} \supset \mathbb{Q}$, it contains elements $k \in \mathbb{K}$ for which there are no pairs of integers $q$, $p$ such that $p \cdot k \,=\, q$. In particular, the real numbers are not a solid ring.
This is, ultimately, the reason why the derived PL de Rham-Quillen adjunction between simplicial sets and connective dgc-algebras is idempotent only over $k = \mathbb{Q}$ (where it models rationalization of homotopy types, see at fundamental theorem of dg-algebraic rational homotopy theory); away from this case other tools are needed; see also at real homotopy theory.
The original articles:
Aldridge Bousfield, Daniel Kan, The core of a ring, Journal of Pure and Applied Algebra, Volume 2, Issue 1, April 1972, Pages 73-81 (doi:10.1016/0022-4049(72)90023-0)
Aldridge Bousfield, The localization of spectra with respect to homology, Topology 18 (1979), no. 4, 257–281. (pdf)
The concept re-appears under the name “T-rings” in
and under the name “$\mathbb{Z}$-epimorphs” in:
Generalization to monoids in monoidal categories:
Last revised on September 23, 2021 at 06:11:54. See the history of this page for a list of all contributions to it.