Pith. sign in

REVIEW 1 major objections 4 minor 1 cited by

Integral Weyl Invariants in Chow Characteristic Images of Spin and Special Clifford Groups

T0 review · 1 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For all n ≥ 7, the only recursive Weyl invariant q_i in the Chow characteristic image of Spin(n) is q_3 for Spin(10); for special Clifford groups, the only one is f_2 for Γ⁺(7).

desk verdict Solid new classification of recursive Weyl invariants in Chow characteristic images; the main results hold up, but the text has fixable degree typos and the two exceptional inclusions rest on Totaro's torsion-index theorem. read the letter →

arxiv 2607.18188 v1 pith:3MABCCYX submitted 2026-07-20 math.AG

Sanghoon Baek This is my paper · ORCID
classification math.AG MSC 14C2520G15
keywords ChowringofaclassifyingspacespingroupspecialCliffordWeylinvariantsSteenrodoperationsintegralHodgeconjecturealgebraiccyclesmodulotorsionindex
topics The Hodge Conjecture
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper asks which of the recursively defined integral Weyl invariants q_i — the extra generators in a standard presentation of the invariant ring of a maximal torus — are restrictions of algebraic cycles on the classifying space of Spin(n). That map, from the Chow ring of the classifying space to the torus invariants, is the Chow characteristic homomorphism. The paper proves that, for every n ≥ 7 and over any field, q_i lies in its image exactly for (n,i)=(10,3), and that the analogous invariants f_i for the special Clifford group Γ⁺(n) lie in the image exactly for (n,i)=(7,2). Over the complex numbers, this becomes the statement that the corresponding integral cohomology classes are algebraic modulo torsion precisely in those two exceptional cases, and that every non-exceptional class is detected by a Bockstein–Steenrod operation even after adding torsion. This completes the classification of which recursive generators survive as algebraic classes, a question previously settled only in a numerical range.

What carries the argument

The argument runs on two tools. The first is the Steenrod-stability criterion: if x∈CH(BT)^W lies in the image of Φ_n, then the reduction of any Steenrod operation on x must lie in the image of the mod-2 restriction map ρ from the classifying space. Lemma 3.1 tells what that image can contain: for odd n or n divisible by 4 it has no nonzero odd-degree elements at all, and for n=2m with m odd its only odd-degree class is a multiple of the Euler generator c_m. The second tool is a coefficient recurrence (Lemma 3.2) which, from the inductive definition of the q_i, produces in every non-exceptional case a specific monomial, c_3 c_6^{(...)} or c_5 c_6^{(...)}, whose Steenrod square is nonzero, so

What would settle it

Compute the cokernel of Φ_10 in degree 8 (and of the characteristic map of Γ⁺(7) in degree 4) and test whether multiplication by 2 kills it. If not, q_3 or f_2 is not in the image, contradicting the classification.

Watch

Extended reading notes

Core claim

For a split spin group G=Spin(n) with n≥7, let Φ_n carry algebraic cycles on the classifying space BG to the W-invariant part of the Chow ring of a maximal torus. The q_i are the recursive generators in a standard presentation of that invariant ring, and the main theorem is a complete classification: q_i lies in Im Φ_n if and only if (n,i)=(10,3). The same statement for the special Clifford group Γ⁺(n) says f_i lies in the image of its characteristic map exactly when (n,i)=(7,2). Over C, naturality of cycle-class maps identifies membership in the Chow image with algebraicity modulo torsion of the corresponding class u_i in H^{2^{i+1}}(BG;Z)/torsion, so the classification transfers verbatim.

Load-bearing premise

The classification rests on the external arithmetic fact that the torsion index of Spin(10) (and of Γ⁺(7)) is 2 and annihilates the cokernel of the Chow characteristic map in the degree of the exceptional invariant; if that fact is wrong in those degrees, the exceptional inclusions fail and only the non-inclusion half of the theorem remains.

Editorial extensions

If this is right

  • The complete list of recursive q_i in Im Φ_n is reduced to the single pair (n,i)=(10,3); all other q_i are excluded by explicit Steenrod operations.
  • The same complete list for the special Clifford group is the single pair (n,i)=(7,2).
  • Over C, algebraicity modulo torsion of the cohomology classes u_i is equivalent to membership in the Chow image, so u_i is algebraic modulo torsion exactly in these two exceptional cases.
  • For every n, one smooth projective variety X_n realizes all classes α_{n,i} simultaneously; in non-exceptional cases each α_{n,i} is non-algebraic modulo torsion and stays non-algebraic after adding any torsion class.
  • The Steenrod obstruction now covers the full generating range, not just the earlier numerical bound 2^i+1 < n/2.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • This sharpens the contrast with topological cohomology: in the topological image all q_i in the finite range occur in most congruence classes, while in the Chow image only one does; the paper's result shows the failure is integral and torsion-sensitive, not rational.
  • The Bockstein–Steenrod obstruction that resists adding torsion suggests a general recipe for producing non-torsion integral Hodge classes that fail the integral Hodge conjecture modulo torsion on smooth projective approximations of reductive groups; applying the recipe to other families, such as orthogonal groups or the even special Clifford groups, would be a natural test.
  • The exceptional ranks 10 and 7 coincide with small spins and low-degree Chern classes of spin representations entering the invariant ring; one might conjecture that no further exceptions occur for larger n, but proving that would require checking the same Steenrod recurrences, which the paper does in the full range.
  • A direct computation of the cokernel of Φ_10 and ̃Φ_7 in the relevant degrees would turn the external torsion-index input into a self-contained verification; the paper's classification makes that computation a well-posed question.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The paper studies the Chow characteristic homomorphism for split spin groups Spin(n) and special Clifford groups Γ+(n), n≥7. Theorem 1.1 classifies the recursive Benson–Wood invariants q_i in the Chow characteristic image, proving that q_i∈ImΦ_n iff (n,i)=(10,3). Theorem 1.4 gives the analogous classification for the recursive invariants f_i, proving f_i∈ImΦ̃_n iff (n,i)=(7,2). Corollary 1.2 translates these statements into a classification of algebraic classes modulo torsion in the integral cohomology of the classifying space over C, and Corollary 1.3 realizes the corresponding classes on a single smooth projective variety for each n, with a Bockstein–Steenrod obstruction preventing algebraicity even after adding torsion. The non-inclusion directions are proved by a Steenrod-stability criterion together with Lemmas 3.1 and 3.2 controlling odd-degree classes in the mod-2 image; the exceptional inclusions are constructive, using the Euler class c_5 for Spin(10), the fourth Chern class of an extended spin representation for Γ+(7), and Totaro's torsion-index results.

Significance. If the results are correct, the paper completes the description of the recursive generators in the Chow characteristic image for all spin groups n≥7 and for the special Clifford groups, substantially extending Karpenko's work. The proof architecture is coherent and modular: the nonexceptional exclusions are reduced to explicit Steenrod coefficient computations, and the exceptional inclusions are genuinely constructive. I checked several of the displayed Steenrod identities, including (13), the St^7 computation for n=11, and the St^1 computation for φ_4 in Lemma 5.2, and found them consistent. The paper also gives a clean simultaneous smooth-projective realization of the Hodge-theoretic consequences. The main weakness is that the two positive inclusions rest on an external torsion-index input, which is cited but not unpacked; see the major comment.

major comments (1)
  1. [§4, Lemma 4.1; §5, Lemma 5.3] The positive inclusions q_3∈ImΦ_{10} and f_2∈ImΦ̃_7 are the only places where the '⇐' direction of Theorems 1.1 and 1.4 is established. In both lemmas the key line is: 'The torsion index ... is 2 and annihilates the cokernel of Φ [18, Theorems 0.1 and 1.3(1)]. Therefore 2 CH(BT)^W ⊂ Im Φ.' This is load-bearing: if the torsion index of Spin(10) or Γ+(7) is a higher power of 2, or if the cited theorem only annihilates the cokernel by a proper multiple of the index, then the inclusions do not follow. I ask the author to state precisely which statement in [18] gives the annihilation of the cokernel of this specific map, and to write out the few lines connecting the torsion index to the inclusion 2 CH(BT)^W ⊂ ImΦ_{10} (and the corresponding statement for Γ+(7)). For Γ+(7), the identification of the torsion index via Γ+(7)/B̃ ≃ Spin(7)/B should also be made explicit. This is not a request to r
minor comments (4)
  1. [Corollaries 1.2, 1.3; Lemma 3.2] The notation H^{2i+1} in Corollaries 1.2 and 1.3, and 'degree 2i' in Lemma 3.2, should be H^{2^{i+1}} and degree 2^i. As typeset, the degrees are ambiguous and the exponent formulas in Lemma 3.2 are hard to parse.
  2. [Lemma 3.2 proof] The exponents c_6^{2a} and c_6^{2a+1} are difficult to read in the current formatting. Please ensure superscripts are clearly typeset, and consider adding a one-line explanation of why T/c_4 and T/(c_2c_6) are the only possible square quotients.
  3. [References] Reference [6] is cited as an arXiv preprint (2009). If a published version of Ekedahl's projective approximation theorem exists, the citation should be updated.
  4. [Lemma 5.2(i)] The derivation of ρ(φ_3)=c_8+c_2c_6+c_3c_5+c_4^2+c_2c_3^2 would be easier to verify if the expansion of ϵ(E_3) using (8) and δ_1,δ_3,δ_4 were displayed explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation chain is built on external, non-self-referential inputs (recursions, Steenrod obstructions, and cited torsion-index arithmetic), none of which assume the target classification.

full rationale

The paper's central claims are not circular. The recursive invariants q_i and f_i are fixed by explicit recursions from external literature — e.g., (11): F_i(p) = F_i^2 + 4z g_i + 2F_{i+1}, q_i = 2z h_i − F_i, from Benson–Wood [3], and (17): f_{i+1} := 2z(z g_i^2 + A_i g_i) + Σ_{r<s} a_r a_s, from Karpenko–Merkurjev [12] — rather than being chosen to match the desired membership results. The nonexceptional non-inclusions are obtained by applying the Steenrod-stability criterion (2), Lemma 3.1, and Lemma 3.2 to these fixed polynomials; these arguments do not invoke the theorem being proved. The exceptional inclusions rest on independent external inputs: c_5 ∈ Im Φ_{10} is cited to Karpenko [10, Lemma A.1], the torsion indices of Spin(10) and Γ+(7) being 2 are cited to Totaro [18, Theorems 0.1 and 1.3(1)], and the c_4(Δ) restriction computation uses the standard representation theory in [13]. None of these citations are from the present author, and none assume the classification statements. The skeptical concern that the iff depends on the accuracy of Totaro's torsion-index arithmetic is a correctness/robustness concern about an external input, not a circularity: the paper does not define its conclusion into its assumptions, fit a parameter to the target data, or rename a known result as a new derivation. The paper is also benchmarked against the known Karpenko results (e.g., the Euler class and additional generator cases), which supports the non-circularity of the framework. Therefore no circular step is present, and the appropriate score is 0.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The central claim rests on cited structural theorems rather than new postulates: the mod-2 Steenrod framework on Chow groups of classifying spaces (used in every exclusion), the Benson–Wood presentation (Lemma 3.1), Karpenko's partial image theorems (including c_5 ∈ Im Φ_10), Totaro's torsion-index arithmetic (both exceptional inclusions), and Ekedahl's approximation plus the rational cycle-class isomorphism (Corollary 1.3). No free parameters are fitted and no entities are invented: the invariants q_i, f_i, F_i, E_i are fixed by explicit recursions ((11), (17), (18)). The least independently-supported inputs are the torsion-index values t(Spin(10)) = t(Spin(7)) = 2 and the statement 2 CH(BT)^W ⊂ Im Φ, cited from [18] with theorem numbers but not re-derived.

assumptions (7)
  • domain assumption Mod-2 Steenrod operations exist on Chow groups of classifying spaces, are natural under restriction to the torus, satisfy the stability criterion (2), and are compatible with topological Sq and β via (6)–(7).
    Every non-inclusion in Theorems 1.1/1.4 uses (2) plus the Bockstein–Steenrod consequences (7) and Lemma 4.2; cited to Brosnan [5], Primozic [15], Totaro [17].
  • domain assumption Benson–Wood presentation of CH(BT)^W: generated over P_m by q_1,…,q_{r(n)}, the Euler class c_m (n even), and one additional generator (a square root of the orbit product of z, or the orbit product itself when n ≡ 2 mod 4).
    Foundational for Lemma 3.1, which controls the odd-degree part of the mod-2 image and is the engine of all exclusions; cited to [3, Theorem 7.1].
  • domain assumption Known image facts: Pontryagin classes and the orbit product of z lie in Im Φ_n; the additional generator does not for n odd or 4|n; c_m ∈ Im Φ_n for even n ≠ 10; c_5 ∈ Im Φ_10.
    Inputs to Lemma 3.1 and to the exceptional inclusion in Lemma 4.1; cited to Karpenko [8,9,10]; the paper acknowledges the correction in [10, Appendix A].
  • domain assumption Torsion index: t(Spin(10)) = 2 and t(Spin(7)) = t(Γ⁺(7)) = 2, with the torsion index annihilating the cokernel of the characteristic map: 2 CH(BT)^W ⊂ Im Φ_n (and the analogous statement for Γ⁺(7)).
    Carries both exceptional inclusions (Lemmas 4.1 and 5.3); cited to [18, Theorems 0.1 and 1.3(1)]; not re-derived in the paper and not verifiable from the text.
  • domain assumption Ekedahl's projective approximation theorem: for H = G_m × Spin(n) there is a smooth projective complex variety X_n with an algebraic H-torsor such that θ_n^* is an isomorphism in degrees ≤ 2^{r(n)+1}+15.
    Necessary for Corollary 1.3's single-variety realization; cited to [6, Theorem 1.3].
  • domain assumption The rational cycle-class map CH^*(BH)⊗Q → H^*(BH;Q) is an isomorphism ([18, Theorem 1.3(3)]); H^*(BT;Z) is torsion-free; the rational restriction theorem makes (1) injective.
    Used in Corollaries 1.2–1.3 to identify algebraic representatives, Hodge types, and the uniqueness of the preimages u_i of the q_i.
  • standard math Wu–Borel formula (4) for St_r on Chern classes, the Cartan formula (3), and Ch(BT) ≃ F_2[z,x_2,…,x_m] with R_m = F_2[c_2,…,c_m] a polynomial domain.
    Computational backbone of Lemmas 3.2, 4.1, and 5.2; cited to [19], [4], and [10, §4].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Integral Weyl Invariants in Chow Characteristic Images of Spin and Special Clifford Groups." pith.science (2026). https://pith.science/paper/3MABCCYX

@misc{pith2026260718188,
  author       = {Pith},
  title        = {Pith review of: Integral Weyl Invariants in Chow Characteristic Images of Spin and Special Clifford Groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3MABCCYX}},
  note         = {Machine review of arXiv:2607.18188}
}
abstract

Let $G=\Spin(n)$ be the split spin group over an arbitrary field, with $n\ge7$. Extending a Steenrod-theoretic obstruction of Karpenko, we classify the recursively defined integral Weyl invariants $q_i$ in the Benson--Wood generating set that lie in the Chow characteristic image: the only such invariant is $q_3$ for $\Spin(10)$. We obtain the analogous classification for the recursive invariants $f_i$ of the special Clifford group $\Gamma^+(n)$: in their finite generating range, the only such invariant is $f_2$ for $\Gamma^+(7)$. Over $\mathbb C$, the class corresponding to $q_i$ in the torsion-free quotient of the integral cohomology of the classifying space $BG$ is algebraic precisely when $(n,i)=(10,3)$. For each $n$, a single smooth projective approximation simultaneously realizes all the corresponding classes in the finite range. Every nonexceptional class remains nonalgebraic after the addition of any torsion class, as detected by a Bockstein--Steenrod operation.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The Chow Characteristic Image of \(\Spin(10)\) via the Affine Cone over the Spinor Variety

    math.AG 2026-07 accept novelty 6.0 of 10

    The integral Chow restriction image of Spin(10) is the full preimage under mod-2 reduction of the Steenrod-stable subring M[t] generated from squares, c5, c2c3c5, and the half-spin top Chern class.

Reference graph

Works this paper leans on

19 extracted references · 1 linked inside Pith · cited by 1 Pith paper

  1. [18]

    Totaro,The torsion index of the spin groups, Duke Math

    B. Totaro,The torsion index of the spin groups, Duke Math. J.129(2005), no. 2, 249–290

    2005

  2. [1]

    Antieau,On the integral Tate conjecture for finite fields and representation theory, Algebr

    B. Antieau,On the integral Tate conjecture for finite fields and representation theory, Algebr. Geom.3(2016), no. 2, 138–149

    2016

  3. [2]

    M. F. Atiyah and F. Hirzebruch,Analytic cycles on complex manifolds, Topology1(1962), 25–45

    1962

  4. [3]

    D. J. Benson and J. A. Wood,Integral invariants and cohomology ofBSpin(n), Topology34(1995), no. 1, 13–28

    1995

  5. [4]

    Borel,La cohomologie mod2de certains espaces homog` enes, Comment

    A. Borel,La cohomologie mod2de certains espaces homog` enes, Comment. Math. Helv.27(1953), 165–197

    1953

  6. [5]

    Brosnan,Steenrod operations in Chow theory, Trans

    P. Brosnan,Steenrod operations in Chow theory, Trans. Amer. Math. Soc.355(2003), no. 5, 1869–1903

    2003

  7. [6]

    Ekedahl,Approximating classifying spaces by smooth projective varieties, arXiv:0905.1538v1 [math.AG], 2009

    T. Ekedahl,Approximating classifying spaces by smooth projective varieties, arXiv:0905.1538v1 [math.AG], 2009

    arXiv 2009

  8. [7]

    Kameko,Representation theory and the cycle map of a classifying space, Algebr

    M. Kameko,Representation theory and the cycle map of a classifying space, Algebr. Geom.4 (2017), no. 2, 221–228

    2017

Show all 19 references
  1. [8]

    N. A. Karpenko,On classifying spaces of spin groups, Results Math.77(2022), no. 4, Paper No. 144

    2022

  2. [9]

    N. A. Karpenko,Envelopes and classifying spaces, Math. Nachr.296(2023), no. 10, 4769–4777

    2023

  3. [10]

    N. A. Karpenko,On characteristic classes modulo torsion for spin groups, J. Algebra Appl.24 (2025), no. 10, 2550236

    2025

  4. [11]

    N. A. Karpenko,On special Clifford groups and their characteristic classes, Ricerche Mat.74 (2025), 449–470

    2025

  5. [12]

    N. A. Karpenko and A. S. Merkurjev,Indexes of generic Grassmannians for spin groups, Proc. Lond. Math. Soc. (3)125(2022), no. 4, 825–840

    2022

  6. [13]

    M.-A. Knus, A. Merkurjev, M. Rost, and J.-P. Tignol,The Book of Involutions, American Math- ematical Society Colloquium Publications, vol. 44, American Mathematical Society, Providence, RI, 1998

    1998

  7. [14]

    Pirutka and N

    A. Pirutka and N. Yagita,Note on the counterexamples for the integral Tate conjecture over finite fields, Doc. Math. Extra Vol. (2015), 501–511

    2015

  8. [15]

    Primozic,Motivic Steenrod operations in characteristicp, Forum Math

    E. Primozic,Motivic Steenrod operations in characteristicp, Forum Math. Sigma8(2020), Paper No. e52, 25 pp

    2020

  9. [16]

    Totaro,Torsion algebraic cycles and complex cobordism, J

    B. Totaro,Torsion algebraic cycles and complex cobordism, J. Amer. Math. Soc.10(1997), no. 2, 467–493

    1997

  10. [17]

    Totaro,The Chow ring of a classifying space, in: AlgebraicK-theory (Seattle, 1997), Proc

    B. Totaro,The Chow ring of a classifying space, in: AlgebraicK-theory (Seattle, 1997), Proc. Sympos. Pure Math.67, Amer. Math. Soc., Providence, RI, 1999, 249–281

    1997

  11. [19]

    W. T. Wu,On squares in Grassmannian manifolds, Acta Sci. Sinica2(1953), 91–115. 14 SANGHOON BAEK Department of Mathematical Sciences, KAIST, 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea Email address:sanghoonbaek@kaist.ac.kr URL:https://mathsci.kaist.ac.kr/~sbaek/

    1953

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.