TL;DR

Tensor triangular geometry aims to treat categories like algebraic schemes. A long-standing conjecture, the Nerves of Steel, posited that the abstract homological spectrum of a category is identical to its triangular Balmer spectrum. This paper provides a definitive "No." By constructing a counter-example based on the free affine line $A^1$ and Deligne's categories, the authors show the two spectra diverge. However, they offer a powerful alternative: a hierarchy of Constructible Spectra using $E_n$-algebras that finally gives us a "geometric" way to look at homological primes.

Problem & Motivation: The Search for TT-Fields

In classical algebraic geometry, the points of a spectrum $Spec(R)$ are prime ideals, and every point has a residue field. In Tensor Triangular (tt) geometry, we have the Balmer Spectrum $Spc(C)$, but "residue fields" are notoriously difficult to define.

Balmer previously introduced the Homological Spectrum $Spc^h(C)$ using abelian envelopes. The Nerves of Steel Conjecture suggested that for any rigid tt-category, the map: $$\phi: Spc^h(C) woheadrightarrow Spc(C)$$ is a bijection. If true, it would mean that homological methods and triangular methods are essentially the same. The authors' motivation was to test this limit using "free" objects—the most basic building blocks of higher Zariski geometry.

Methodology: The Affine Line and 1D Cobordisms

The authors investigate the free rigid commutative 2-ring $A^1$. They use a deep connection between higher algebra and topology: the 1-dimensional oriented cobordism hypothesis.

By identifying $A^1$ with the category of 1D cobordisms $Cob$, they can use Deligne’s semisimplicity theorem for the category $Rep(GL_t)$. This allows them to prove that at "generic points," these categories behave like fields, yet the map $\phi$ fails to be injective for the pointed affine line $A^{1,+}$.

Figure 1: Oriented 1-dimensional cobordisms as the foundation for the free dualizable object.

The Core Mechanism: Nullstellensatzian Objects

To fix the failure of the conjecture, the authors turn to Nullstellensatzian objects. In higher algebra, these are the "algebraically closed fields." By defining the $E_n$-constructible spectrum $Spec^{cons}_{E_n}(C)$, they show that while the Balmer spectrum might be "too small," this new hierarchy of spectra captures every homological prime $m \in Spc^h(C)$ through a concrete geometric map $C o K$ to a category where the spectrum is just a single point.

Experiments & Results

The paper is largely theoretical, but its "experiments" are the rigorous constructions of counter-examples.

1. The Counter-example: They prove $A^{1,+}$ is local but fails the "exact-nilpotence condition." This formally kills the Nerves of Steel Conjecture.
2. Rational Success: In the rational case, they prove a perfect bijection between the constructible and homological spectra: $$Spec^{cons}(C) \cong Spc^h(C)$$
3. En-Hierarchy: They prove that for any homological prime $m$, there exists an $E_n$-algebra incarnating that point, provided $n < m$ (the monoidal depth).

Equation: The comparison map $\psi$ relating constructible and Balmer spectra.

Critical Analysis & Conclusion

Takeaway

The Nerves of Steel conjecture failed because tt-categories are not just "triangulated"; they often carry $E_\infty$ or $E_n$ structures that the triangular definitions ignore. By moving to Higher Zariski Geometry, we regain the geometric intuition lost in pure 1-category triangulations.

Limitations

The authors caution that while they found "geometric points," these $E_n$-residue categories are not yet perfectly understood as "fields." Their internal structure (like $K$-theory) remains a frontier for future research.

Future Work

This paper sets the stage for a new "Constructible Topology" on homological spectra. The next step for the field is determining when these spectra are compact Hausdorff, which would provide a robust foundation for a global theory of higher categorical sheaves.