Light Rost Cycle Submodules

• Light Rost cycle submodules are defined as subsets of pure symbols in Milnor K-theory mod 2 that are stable under field restrictions, residues, and unit multiplication while deliberately omitting transfers.
• They serve as a motivic coordinate system by linking pure symbols and extended reduced Rost motives, thereby revealing the structure of prime tensor ideals in the Balmer spectrum.
• The formalism leverages invariants 𝒢 and ℋ to reflect the intrinsic field-extension behavior of symbols, ensuring a precise match with the motivic properties of test objects.

Searching arXiv for the cited paper and closely related cycle-module work to ground the article. Light Rost cycle submodules are subsets of the module of pure symbols in Milnor $K$-theory mod $2$ that are stable under restriction of fields, residues for discrete valuation rings, and multiplication by units, but not under transfers. In "The Balmer spectrum of Voevodsky motives and pure symbols" (Vishik, 30 Aug 2025), they are introduced as invariants of points of the Balmer spectrum $\operatorname{Spc}\bigl(DM_{gm}(k;_2)\bigr)$ of the Voevodsky motivic category with $\mathbf{F}_2$-coefficients. Their role is to package, in a motivic and field-extension–stable form, the information carried by pure symbols mod $2$ in Milnor $K$-theory and by the corresponding extended reduced Rost motives, thereby providing a symbol-theoretic coordinate system for prime tensor ideals.

1. Definition in the module of pure symbols

The starting point is the collection of pure symbols

$\alpha=\{a_1,\dots,a_n\}\in K_n^M(E)/2$

over finitely generated extensions $E/k$, where $k$ has characteristic $0$. The paper denotes by

$2$0

the collection of all such pairs (Vishik, 30 Aug 2025).

This collection sits inside the Rost cycle module $2$1, but the relevant closure properties are weaker than those of a full Rost cycle module. The paper emphasizes that $2$2 is stable under three basic operations relevant to cycle modules except transfers: restriction of fields, residues for discrete valuation rings, and multiplication by units. A light Rost cycle module is therefore a subset of $2$3 that is closed under exactly these operations. The paper states: “We will call such a structure a light Rost cycle module.” It also notes that, in earlier terminology, these were called “weak Rost cycle modules” (Vishik, 30 Aug 2025).

The definition is therefore negative as well as positive: a light Rost cycle submodule is not a full Rost cycle module, because transfers are omitted. This restriction is not incidental. It reflects the precise functoriality available for the motivic invariants constructed from pure symbols, and it is the level of structure needed for the Balmer-spectrum applications developed in the paper.

2. Pure symbols, Rost motives, and orthogonality

Given a pure symbol

$2$4

one forms the associated Pfister form and Pfister quadric $2$5. Rost showed that the motive of $2$6 contains a special indecomposable summand $2$7, the Rost motive, together with a complementary reduced Rost motive $2$8 (Vishik, 30 Aug 2025).

A key structural point is that $2$9 and $\operatorname{Spc}\bigl(DM_{gm}(k;_2)\bigr)$0 encode the same symbol $\operatorname{Spc}\bigl(DM_{gm}(k;_2)\bigr)$1, while satisfying

$\operatorname{Spc}\bigl(DM_{gm}(k;_2)\bigr)$2

Over an algebraic closure, $\operatorname{Spc}\bigl(DM_{gm}(k;_2)\bigr)$3 splits into two Tate motives, whereas $\operatorname{Spc}\bigl(DM_{gm}(k;_2)\bigr)$4 is the reduced object retaining the nontrivial part. This orthogonality is the mechanism that turns Rost-type motives into probes for prime tensor ideals in the Balmer spectrum.

Within the paper’s framework, light Rost cycle submodules arise because pure symbols are not treated merely as cohomological classes. They are attached to specific motivic test objects whose vanishing and tensor-annihilator behavior can be read inside prime ideals. A plausible implication is that the light Rost formalism is best viewed as the exact fragment of cycle-module structure that survives passage from Milnor $\operatorname{Spc}\bigl(DM_{gm}(k;_2)\bigr)$5-theory symbols to these orthogonal motivic summands.

3. Extended reduced Rost motives and intrinsic dependence on the symbol

Symbols over the base field alone do not suffice to distinguish points of $\operatorname{Spc}\bigl(DM_{gm}(k;_2)\bigr)$6. For this reason, the paper extends the construction to arbitrary finitely generated extensions $\operatorname{Spc}\bigl(DM_{gm}(k;_2)\bigr)$7. For $\operatorname{Spc}\bigl(DM_{gm}(k;_2)\bigr)$8, let $\operatorname{Spc}\bigl(DM_{gm}(k;_2)\bigr)$9 be a smooth $\mathbf{F}_2$0-neighborhood of $\mathbf{F}_2$1 on which $\mathbf{F}_2$2 is unramified. The paper constructs the relative extended reduced Rost motive

$\mathbf{F}_2$3

and then defines its pushforward to the global motivic category by

$\mathbf{F}_2$4

(Vishik, 30 Aug 2025).

The key vanishing criterion is

$\mathbf{F}_2$5

for any extension $\mathbf{F}_2$6. Thus the motive vanishes exactly when the symbol becomes trivial over the corresponding function field. This identifies $\mathbf{F}_2$7 as a faithful motivic avatar of the symbol’s field-extension behavior.

Although the construction uses a neighborhood $\mathbf{F}_2$8, the paper proves that the thick tensor ideal generated by $\mathbf{F}_2$9 depends only on $2$0, not on $2$1: $2$2 This independence is essential. It allows the resulting invariants to be intrinsic to the symbol rather than to auxiliary geometric choices, and it is what makes the subsequent point invariants well defined on $2$3 itself rather than on a larger space of presentations (Vishik, 30 Aug 2025).

4. Functoriality and the emergence of light Rost closure properties

The extended reduced Rost motives satisfy three functoriality statements that reproduce the three closure operations built into the definition of a light Rost cycle module. First, for pullback along field extensions, if $2$4 and $2$5, then

$2$6

Second, for divisibility in Milnor $2$7-theory, if $2$8, then

$2$9

Third, for residues, if $K$0 has residue $K$1, then

$K$2

(Vishik, 30 Aug 2025).

These statements explain why light Rost cycle submodules are the correct algebraic receptacle for Balmer-spectrum invariants. Restriction of fields corresponds to pullback of symbols, residues correspond to the passage from $K$3 to $K$4, and multiplication by units is absorbed by divisibility-type behavior in Milnor $K$5-theory. Transfers are absent because the motivic formalism developed here does not require them for the classification problem at hand.

The structural theorem is then that, for a prime ideal $K$6, the subsets ultimately extracted from $K$7 are themselves light Rost cycle submodules. This is not merely terminological. It means that prime ideals in the Balmer spectrum can be assigned symbol-theoretic invariants that live in the same formal world as pure symbols and their residue calculus.

5. The invariants $K$8 and $K$9

For a prime ideal $\alpha=\{a_1,\dots,a_n\}\in K_n^M(E)/2$0, the paper defines

$\alpha=\{a_1,\dots,a_n\}\in K_n^M(E)/2$1

$\alpha=\{a_1,\dots,a_n\}\in K_n^M(E)/2$2

where

$\alpha=\{a_1,\dots,a_n\}\in K_n^M(E)/2$3

Because $\alpha=\{a_1,\dots,a_n\}\in K_n^M(E)/2$4 is prime, every pure symbol lies in at least one of these two sets: $\alpha=\{a_1,\dots,a_n\}\in K_n^M(E)/2$5 (Vishik, 30 Aug 2025).

The paper interprets $\alpha=\{a_1,\dots,a_n\}\in K_n^M(E)/2$6 and $\alpha=\{a_1,\dots,a_n\}\in K_n^M(E)/2$7 as “coordinates” on the Balmer spectrum. Their significance lies in the dichotomy they encode: for each pure symbol, one asks whether the corresponding extended reduced Rost motive belongs to the prime ideal, or whether its tensor-annihilator does. Since $\alpha=\{a_1,\dots,a_n\}\in K_n^M(E)/2$8 in the basic Rost setting, this is a natural motivic analogue of separating symbols according to which side of a prime ideal they occupy.

The decisive theorem states that both

$\alpha=\{a_1,\dots,a_n\}\in K_n^M(E)/2$9

are light Rost cycle submodules (Vishik, 30 Aug 2025). In other words, the complements and membership loci determined by prime tensor ideals automatically inherit the closure properties of restriction, residue, and unit action. This places Balmer-spectrum geometry and Milnor-symbol calculus in direct correspondence.

6. Isotropic points, boundary type, and comparison with other cycle-module formalisms

A distinguished class of primes consists of the isotropic points

$E/k$0

attached to field extensions $E/k$1, more precisely to $E/k$2-equivalence classes of extensions. For these points, the paper proves

$E/k$3

and gives the explicit description

$E/k$4

Using these invariants, it then proves that all isotropic points $E/k$5 are closed in $E/k$6 (Vishik, 30 Aug 2025).

The paper formalizes the phenomenon by introducing the notion of boundary type: $E/k$7 Every isotropic point is of boundary type, but the étale point is not. For the étale kernel $E/k$8, the paper identifies

$E/k$9

so $k$0 (Vishik, 30 Aug 2025). This shows that boundary type is a genuine condition rather than a universal feature of Balmer points.

A common source of confusion is the relation between light Rost cycle submodules and other generalizations of Rost’s formalism. "Milnor-Witt Cycle Modules" (Feld, 2018) does not define light Rost cycle submodules as a separate named object. Instead, it introduces Milnor-Witt cycle modules, a generalization of Rost cycle modules in which the grading is indexed by virtual vector bundles, the coefficient theory is Milnor-Witt $k$1-theory, some axioms are weakened, and extra quadratic structure is incorporated through determinants and $k$2. The adjunction

$k$3

shows that this is a controlled enlargement of Rost’s framework rather than the same construction under a different name. Accordingly, light Rost cycle submodules are best understood not as a quadratic refinement of Rost theory, but as cycle modules without transfers tailored to the behavior of pure symbols and extended reduced Rost motives in the Balmer spectrum (Feld, 2018).

The conceptual role of light Rost cycle submodules is therefore threefold: they encode pure symbols geometrically via extended reduced Rost motives, they preserve the restriction–residue–unit operations characteristic of symbol calculus, and they organize prime tensor ideals through the complementary invariants $k$4 and $k$5. The paper further suggests two open directions: whether the $k$6-$k$7 invariants determine points uniquely, and whether closed points are exactly the boundary-type points (Vishik, 30 Aug 2025).