Pith. sign in

REVIEW 2 major objections 5 minor 1 cited by

Sp-orientations in the η-periodic motivic category are classified by formal ternary laws plus framed involutions after inverting 2, recovering the Lazard ring.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-10 21:09 UTC pith:N4QXKOTQ

load-bearing objection Careful algebraic isolation of a genuine 2-primary gap for Sp-orientations, with reusable framed-involution and Walter-ring tools that recover Lazard/Quillen after inverting 2. the 2 major comments →

arxiv 2607.06795 v1 pith:N4QXKOTQ submitted 2026-07-07 math.AT math.AGmath.KT

On η-periodic Formal Ternary Laws

Tao Huang This is my paper
classification math.AT math.AGmath.KT MSC 55N2214F4255P4219G38
keywords formal ternary lawsη-periodic motivic homotopysymplectic cobordismframed involutionsWalter ringLazard ringSp-orientationsBorel classes
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

In the η-periodic motivic stable homotopy category, Sp-orientations are governed by a ternary rather than binary formal law because the tensor product of three symplectic bundles is again symplectic. Borel classes produce a geometric formal ternary law, yet its coefficients generate only a proper subring of the symplectic cobordism ring; after inverting 2 the two rings agree, so the obstruction is purely 2-primary. The paper supplies the missing algebraic datum by introducing framed involutions. The spectrum MSp[η−1] carries a canonical framed involution that yields a Quillen-type idempotent whose telescope is MSL[η−1] and a canonical splitting of coefficient rings. Axiomatizing formal ternary laws produces the universal Walter ring W^η. After inverting 2 this ring is isomorphic to the classical Lazard ring, and when the Witt ring of the base is Z the geometric law plus the framed involution classifies Sp-orientations injectively, becoming an isomorphism after inverting 2. Integrally, secondary power series are still required.

Core claim

If W(k)≅Z, the universal geometric formal ternary law together with the canonical framed involution induces a classifying map φ:W^η o(MSp[η−1])∗ that is injective and becomes an isomorphism after inverting 2; moreover W^η[1/2]≅L[1/2] via natural transformations relating formal ternary laws and ordinary formal group laws.

What carries the argument

Framed involution (ι,Ψ) and the η-periodic Walter ring W^η representing formal ternary laws: the involution produces a Quillen-type idempotent splitting MSp[η−1] from MSL[η−1], while the natural transformations T and G identify FTLs with FGLs after inverting 2.

Load-bearing premise

The paper assumes that the known η-periodic fiber sequence and polynomial coefficient-ring descriptions for MSp and MSL continue to hold over general Dedekind domains even when 2 is not invertible.

What would settle it

Compute the image of the classifying map φ in a single odd degree over Z_{(2)}; if the image is strictly smaller than the corresponding summand of (MSp[η−1])∗ after the predicted 2-primary index is accounted for, the Quillen-type statement fails.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper studies the algebraic structure of Sp-orientations in the η-periodic motivic stable homotopy category SH(k)[η^{-1}]. Borel classes of the triple tensor product of tautological rank-2 symplectic bundles determine a geometric formal ternary law (GFTL). Via the HW-Hurewicz map and explicit content computations, the subring Λ generated by its coefficients is shown to be a proper subring of (MSp[η^{-1}])_*, with equality after inverting 2, so the classification failure is purely 2-primary. To capture part of the missing data the author introduces framed involutions, constructs a canonical framed involution on MSp[η^{-1}], and obtains a Quillen-type idempotent whose telescope is MSL[η^{-1}] together with a splitting (MSp[η^{-1}])_* ≅ R_fr ⊗_Z (MSL[η^{-1}])_*. Formal ternary laws are then axiomatized, the universal Walter ring W^η is constructed, and natural transformations T and G are shown to identify FTLs with ordinary FGLs after inverting 2, yielding W^η[1/2] ≅ L[1/2]. When W(k) ≅ Z the universal GFTL plus the canonical framed involution induce a classifying map φ: W^η o (MSp[η^{-1}])_* that is injective and becomes an isomorphism after inverting 2; integrally, secondary power series remain necessary.

Significance. If the standing Bachmann–Hopkins input is granted, the paper supplies a clean ternary analogue of the Lazard–Quillen picture in the η-periodic setting: an explicit algebraic classification of Sp-orientations after inverting 2, a precise description of the 2-primary obstruction, and a new package (framed involutions, the ring R_fr, the Walter ring W^η, and the inverse natural transformations T,G) that organizes the missing integral data. The Hurewicz-image calculations (Theorems 5.3.1–5.3.6, 6.1.1) with the content computations of Appendix A, the construction of the idempotent ξ and the splitting of Lemma 7.2.4, and the verification that T and G are inverse (Propositions 8.4.7–8.4.8) are carefully written and constitute genuine technical contributions. The work therefore advances the program of Panin–Walter, Coulette–Déglise–Fasel–Hornbostel, and Bachmann–Hopkins by isolating exactly where the ternary theory collapses to classical formal group laws and where secondary series are still needed.

major comments (2)
  1. [Introduction, Remark 3.2.7] The standing Bachmann–Hopkins assumption (Introduction and Remark 3.2.7) is load-bearing for every coefficient-ring identification used in Theorems 5.3.6, 6.1.1, 7.2.2, 7.2.4 and 8.5.2: the η-periodic fiber sequence, the polynomial structures (MSp[η^{-1}])_* ≅ W(k)[y_i] and (MSL[η^{-1}])_* ≅ W(k)[y_even], and base-change compatibilities over general Dedekind domains (including where 2 is not invertible) go beyond the stated hypotheses of [BH20, Bac22]. The paper correctly flags the gap, but the central Quillen-type statement is conditional on this external input. Either a precise citation of the forthcoming extension, a reduction to the cases already proved (fields or 2 invertible), or an explicit list of which statements remain conditional should be added so that the logical status of Theorems 8.5.1–8.5.2 is unambiguous.
  2. [§7.1, Definition 7.1.1; §8.2] The 2-saturation construction (Definition 7.1.1) is used both for R_fr and for W^η. While it successfully removes spurious 2-torsion, the manuscript never verifies that the geometric framed involution on MSp[η^{-1}] and the geometric FTL satisfy the saturated relations rather than merely the naive ones. A short argument (or a reference to the Hurewicz injectivity already used in Proposition 8.1.5) that the geometric coefficients lie in the 2-saturated quotient would close this small but load-bearing gap between the free algebraic objects and the geometric maps φ and κ.
minor comments (5)
  1. [Table of Notation, §8.2, Corollary 8.5.3] The notation for the normalized Walter ring oscillates between gW^η and \widetilde{W}^η (and similarly for the classifying map e\varphi). A single consistent symbol should be fixed in the table of notation and used throughout.
  2. [Proposition 3.2.6] In Proposition 3.2.6 the formula for ψ^{3}(a_n) is quoted from [BH20]; a one-line reminder that the binomial coefficients are integral (so that the displayed congruence modulo (β) is well-defined over Z_{(2)}) would help the reader follow the subsequent cokernel calculations in §6.1.
  3. [Appendix A, proofs of Theorems 5.3.4 and 5.3.5] Appendix A is essential for Theorems 5.3.1–5.3.6, yet several content claims (e.g., the exact 2-adic valuation of [C_n]_{x^{n+1}yz} for n=2^r) are verified only for selected monomials. A brief remark that the chosen monomials realize the minimal valuation would make the arguments self-contained.
  4. [Introduction, §8.1] The comparison with the classical symplectic Lazard ring of Toda–Kozima [TK82] and with Buchstaber’s 2-groups is mentioned only in the introduction. A short paragraph in §8 explaining how the framed-involution axioms relate to (or differ from) those earlier structures would improve accessibility for readers coming from classical cobordism.
  5. [passim] Typographical: “Quillen-type” is hyphenated inconsistently; “2-saturated” sometimes appears without the hyphen. Standardize throughout.

Circularity Check

0 steps flagged

No significant circularity: universal constructions, T/G inverses, and Hurewicz comparisons are independent of the target isomorphisms.

full rationale

The paper defines the Walter ring W^η by the universal property of formal ternary laws (with 2-saturated ideals to kill artificial torsion) and the framed-involution ring R_fr similarly; these are free constructions, not defined from (MSp[η^{-1}])_*. The maps T and G between FGL and FTL over Z[1/2]-algebras are given by explicit product formulae and root extractions (Lemmas 8.4.2–8.4.3, Definitions 8.3–8.4); Propositions 8.4.7–8.4.8 verify they are mutual inverses by direct substitution of roots and formal-group axioms, yielding W^η[1/2] ≅ L[1/2] without reference to MSp. The classifying map φ is induced by the geometric FTL plus the canonical framed involution on MSp[η^{-1}]; injectivity and the 2-inverted isomorphism follow from comparing indecomposables under the HW-Hurewicz map (Theorems 5.3.1–5.3.6, 6.1.1 and Appendix A content calculations) against the known Lazard/MU images, which are external. The Bachmann–Hopkins coefficient-ring and fiber-sequence inputs are standing external assumptions (flagged in Remark 3.2.7), not self-referential. No step reduces a claimed prediction or isomorphism to its own defining data by construction, and there are no load-bearing self-citations or fitted parameters renamed as results.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 3 invented entities

The central claims rest on standard formal-group and orientation axioms, on the Bachmann–Hopkins structural results for η-periodic motivic spectra (partly extended by assumption), and on two paper-specific devices: 2-saturation of defining ideals and the axiomatic package of formal ternary laws with framed involutions. No numerical free parameters appear.

axioms (5)
  • domain assumption Standing Bachmann–Hopkins assumption: η-periodic fiber sequence, polynomial coefficient rings of MSp[η−1] and MSL[η−1], and base-change compatibilities hold over the Dedekind domains used (including where 2 is not invertible).
    Invoked from the Introduction through Sections 3 and 6–8; Remark 3.2.7 notes that odd Witt groups may contribute extra 2-torsion not covered by the cited theorems.
  • standard math Lazard–Quillen theory of one-dimensional commutative formal group laws and the polynomial structure of the Lazard ring L.
    Recalled in Section 2 and used as the target of the 2-inverted comparison in Theorem 8.5.1.
  • domain assumption Panin–Walter Sp-/SL-orientation formalism and quaternionic projective bundle theorem.
    Definitions 3.1.1–3.1.6 and Theorem 3.1.5 supply Borel classes and the geometric FTL.
  • ad hoc to paper 2-saturation of defining ideals: replace the naive ideal of FTL/involution relations by its 2-saturated closure to remove spurious 2-torsion.
    Definition 7.1.1; used to construct R_fr and W^η so that the universal objects remain 2-torsion-free.
  • ad hoc to paper Axioms of formal ternary laws (neutral element, symmetry, associativity, framed ι-linearity, weak neutral element) over a framed involution.
    Definition 8.1.1; the package is adapted from [CDFH24] with ε=1 and strengthened weak-neutral axiom.
invented entities (3)
  • Framed involution (ι,Ψ) independent evidence
    purpose: Package the dual-bundle involution on HP^∞ together with a framing that trivializes it, capturing 2-primary orientation data missing from the geometric FTL.
    Introduced in Definition 7.1.2; realized geometrically on MSp[η−1] in Proposition 7.2.1 and used to build the Quillen-type idempotent.
  • Universal ring of framed involutions R_fr independent evidence
    purpose: Represent the functor of framed involutions; appear as the odd-polynomial factor in the splitting (MSp[η−1])∗ ≅ R_fr ⊗ (MSL[η−1])∗.
    Proposition 7.1.6; shown isomorphic to Z[b1,b3,…] in Proposition 7.1.7.
  • η-periodic Walter ring W^η (and normalized quotient gW^η) independent evidence
    purpose: Universal R_fr-algebra representing formal ternary laws; target of the classifying map from geometric data.
    Proposition 8.2.1; compared with L after inverting 2 and with (MSp[η−1])∗ when W(k)≅Z.

pith-pipeline@v1.1.0-grok45 · 41065 in / 3717 out tokens · 38460 ms · 2026-07-10T21:09:43.662193+00:00 · methodology

0 comments
read the original abstract

We study the algebraic structure underlying Sp-orientations in the $\eta$-periodic motivic stable homotopy category $SH(k)[\eta^{-1}]$. Borel classes determine a geometric formal ternary law, but the HW-Hurewicz map shows that its universal coefficients generate a proper subring $\Lambda\subsetneq (MSp[\eta^{-1}])_*$, although $\Lambda[1/2]=(MSp[\eta^{-1}])_*[1/2]$. Thus the failure of classification is purely 2-primary. To capture part of the missing information, we introduce framed involutions. The spectrum $MSp[\eta^{-1}]$ carries a canonical framed involution, yielding a Quillen-type idempotent with telescope $MSL[\eta^{-1}]$ and a canonical splitting $(MSp[\eta^{-1}])_* \cong \mathcal{R}_{fr} \otimes_{\mathbb{Z}} (MSL[\eta^{-1}])_*$, where $\mathcal{R}_{fr}$ is the universal ring of framed involutions. We then axiomatize formal ternary laws, construct the universal Walter ring $\mathcal{W}^{\eta}$, and prove that $\mathcal{W}^{\eta}$ is isomorphic to the Lazard ring L after inverting 2. If $W(k)\cong \mathbb{Z}$, the universal geometric formal ternary law together with the canonical framed involution induces a classifying map $\phi:\mathcal{W}^{\eta}\to (MSp[\eta^{-1}])_*$ that is injective and becomes an isomorphism after inverting 2. Integrally, however, additional secondary power series are needed to recover the full orientation data.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. Periodic phenomena in stable motivic homotopy theory

    math.AT 2026-07 unverdicted novelty 2.0

    A survey of periodic phenomena in stable motivic homotopy theory, organizing known motivic Adams spectral sequence computations and open problems; no new theorem is proven.

Reference graph

Works this paper leans on

41 extracted references · 41 canonical work pages · cited by 1 Pith paper · 4 internal anchors

  1. [1]

    J. F. Adams. Stable homotopy and generalised homology. Chicago Lectures in Mathematics . Chicago - London : The University of Chicago Press . X , 373 p., 1974

    work page 1974

  2. [2]

    The special linear version of the projective bundle theorem

    Alexey Ananyevskiy. The special linear version of the projective bundle theorem. Compos. Math. , 151(3):461--501, 2015

    work page 2015

  3. [3]

    On the push-forwards for motivic cohomology theories with invertible stable Hopf element

    Alexey Ananyevskiy. On the push-forwards for motivic cohomology theories with invertible stable Hopf element. Manuscr. Math. , 150(1-2):21--44, 2016

    work page 2016

  4. [4]

    Stable operations and cooperations in derived Witt theory with rational coefficients

    Alexey Ananyevskiy. Stable operations and cooperations in derived Witt theory with rational coefficients. Ann. \(K\)-Theory , 2(4):517--560, 2017

    work page 2017

  5. [5]

    -periodic motivic stable homotopy theory over Dedekind domains

    Tom Bachmann. -periodic motivic stable homotopy theory over Dedekind domains. J. Topol. , 15(2):950--971, 2022

    work page 2022

  6. [6]

    Witt groups

    Paul Balmer. Witt groups. In Handbook of \(K\)-theory. Vol. 1 and 2 , pages 539--579. Berlin: Springer, 2005

    work page 2005

  7. [7]

    Elliptic formal group laws, integral Hirzebruch genera and Krichever genera

    Victor M. Buchstaber and Elena Yu. Bunkova. Elliptic formal group laws, integral Hirzebruch genera and Krichever genera. Preprint, arXiv :1010.0944 [math-ph] (2010), 2010

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  8. [8]

    Tom Bachmann and Michael J. Hopkins. -periodic motivic stable homotopy theory over fields. Preprint, arXiv :2005.06778 [math. KT ] (2020), 2020

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  9. [9]

    Norms in motivic homotopy theory , volume 425 of Ast \'e risque

    Tom Bachmann and Marc Hoyois. Norms in motivic homotopy theory , volume 425 of Ast \'e risque . Paris: Soci \'e t \'e Math \'e matique de France (SMF), 2021

    work page 2021

  10. [10]

    $MSp$ localized away from $2$ and odd formal group laws

    Andrew Baker and Jack Morava. MSp localized away from 2 and odd formal group laws. Preprint, arXiv :1403.2596 [math. AT ] (2014), 2014

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  11. [11]

    Buchstaber

    Victor M. Buchstaber. Characteristic cobordism classes and topological applications of the theories of one-valued and two-valued formal groups. Itogi Nauki i Tekhniki. Ser. Sovrem. Probl. Mat. , 10:5--178, 1978. English translation in J. Soviet Math. 11 (1979), no. 6, 815--921

    work page 1978

  12. [12]

    Formal ternary laws and Buchstaber 's 2-groups

    David Coulette, Fr \'e d \'e ric D \'e glise, Jean Fasel, and Jens Hornbostel. Formal ternary laws and Buchstaber 's 2-groups. Manuscr. Math. , 174(1-2):453--490, 2024

    work page 2024

  13. [13]

    A motivic spectrum representing hermitian K-theory

    Baptiste Calm \`e s, Yonatan Harpaz, and Denis Nardin. A motivic spectrum representing hermitian K -theory. Preprint, arXiv :2402.15136 [math. KT ] (2024), 2024

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  14. [14]

    The B orel character

    Fr\' e d\' e ric D\' e glise and Jean Fasel. The B orel character. J. Inst. Math. Jussieu , 22(2):747--797, 2023

    work page 2023

  15. [15]

    Homological Milnor - Witt modules and Chow - Witt groups over general bases

    Fr \'e d \'e ric D \'e glise, Niels Feld, and Fangzhou Jin. Homological Milnor - Witt modules and Chow - Witt groups over general bases. Preprint, arXiv :2512.09876 [math. AG ] (2025), 2025

    work page arXiv 2025

  16. [16]

    Fr \'e d \'e ric D \'e glise, Jean Fasel, Fangzhou Jin, and Adeel A. Khan. On the rational motivic homotopy category. J. \'E c. Polytech., Math. , 8:533--583, 2021

    work page 2021

  17. [17]

    The stable Adams operations on Hermitian \(K\) -theory

    Jean Fasel and Olivier Haution. The stable Adams operations on Hermitian \(K\) -theory. Geom. Topol. , 29(1):127--169, 2025

    work page 2025

  18. [18]

    Fr \"o hlich

    A. Fr \"o hlich. Formal groups , volume 74 of Lect. Notes Math. Springer-Verlag, Berlin-New York, 1968

    work page 1968

  19. [19]

    Formal group laws for multiple sine functions and applications

    Shin-Ya Koyama and Nobushige Kurokawa. Formal group laws for multiple sine functions and applications. Kodai Math. J. , 36(1):109--118, 2013

    work page 2013

  20. [20]

    Stanley O. Kochman. Polynomial generators for H_ (BSU) and H_ (BSO; Z_2) . Proc. Am. Math. Soc. , 84:149--154, 1982

    work page 1982

  21. [21]

    S. O. Kochman. Bordism, stable homotopy and Adams spectral sequences , volume 7 of Fields Inst. Monogr. Providence, RI: AMS, American Mathematical Society, 1996

    work page 1996

  22. [22]

    On polynomial generators for the generalized homology of BSU

    Kazumoto Kozima. On polynomial generators for the generalized homology of BSU . J. Math. Kyoto Univ. , 27:563--586, 1987

    work page 1987

  23. [23]

    Hermitian K -theory and Milnor - Witt motivic cohomology over Z

    H kon Kolderup, Oliver R \"o ndigs, and Paul Arne stv r. Hermitian K -theory and Milnor - Witt motivic cohomology over Z . Preprint, arXiv :2509.16404 [math. AG ] (2025), 2025

    work page arXiv 2025

  24. [24]

    U ber die erg \

    Ernst Eduard Kummer. \"U ber die erg \"a nzungss \"a tze zu den allgemeinen reciprocit \"a tsgesetzen. Journal f \"u r die reine und angewandte Mathematik , 44:93--146, 1852

    work page

  25. [25]

    Arun Kumar

    K. Arun Kumar. Construction of the motivic cellular spectrum \(KO^ geo \) over \(Spec( Z )\) . New York J. Math. , 30:323--350, 2024

    work page 2024

  26. [26]

    Sur les groupes de Lie formels \`a un param \`e tre

    Michel Lazard. Sur les groupes de Lie formels \`a un param \`e tre. Bull. Soc. Math. Fr. , 83:251--274, 1955

    work page 1955

  27. [27]

    Th \'e orie des nombres , volume 1

    Adrien-Marie Legendre. Th \'e orie des nombres , volume 1. Chez Firmin Didot fr \`e res, libraires, Paris, 3 edition, 1830

    work page

  28. [28]

    Th \'e orie des fonctions num \'e riques simplement p \'e riodiques

    Edouard Lucas. Th \'e orie des fonctions num \'e riques simplement p \'e riodiques. Am. J. Math. , 1:184--240,289--321, 1878

    work page

  29. [29]

    John W. Milnor. On the cobordism ring \( ^*\) and a complex analogue. I . Am. J. Math. , 82:505--521, 1960

    work page 1960

  30. [30]

    On the motivic _0 of the sphere spectrum

    Fabien Morel. On the motivic _0 of the sphere spectrum. In Axiomatic, enriched and motivic homotopy theory , volume 131 of NATO Sci. Ser. II Math. Phys. Chem. , pages 219--260. Kluwer Acad. Publ., Dordrecht, 2004

    work page 2004

  31. [31]

    \( A ^1\) -homotopy theory of schemes

    Fabien Morel and Vladimir Voevodsky. \( A ^1\) -homotopy theory of schemes. Publ. Math., Inst. Hautes \'E tud. Sci. , 90:45--143, 1999

    work page 1999

  32. [32]

    The nilpotency of elements of the stable homotopy groups of spheres

    Goro Nishida. The nilpotency of elements of the stable homotopy groups of spheres. J. Math. Soc. Japan , 25(4):707--732, 1973

    work page 1973

  33. [33]

    Panin and C

    I. Panin and C. Walter. Quaternionic G rassmannians and B orel classes in algebraic geometry. Algebra i Analiz , 33(1):136--193, 2021

    work page 2021

  34. [34]

    Panin and C

    I. Panin and C. Walter. On the algebraic cobordism spectra \(MSL\) and \(MSp\) . St. Petersbg. Math. J. , 34(1):109--141, 2023

    work page 2023

  35. [35]

    D. Quillen. On the formal group laws of unoriented and complex cobordism theory. Bull. Am. Math. Soc. , 75:1293--1298, 1969

    work page 1969

  36. [36]

    Exact sequences in the algebraic theory of surgery , volume 26 of Math

    Andrew Ranicki. Exact sequences in the algebraic theory of surgery , volume 26 of Math. Notes (Princeton) . Princeton University Press, Princeton, NJ, 1981

    work page 1981

  37. [37]

    Douglas C. Ravenel. Complex cobordism and stable homotopy groups of spheres , volume 121 of Pure and Applied Mathematics . Academic Press, Inc., Orlando, FL, 1986

    work page 1986

  38. [38]

    On the \( \) -inverted sphere

    Oliver R \"o ndigs. On the \( \) -inverted sphere. In \(K\)-theory. Proceedings of the international colloquium, Mumbai, 2016 , pages 41--63. New Delhi: Hindustan Book Agency; Mumbai: Tata Institute of Fundamental Research, 2019

    work page 2016

  39. [39]

    Remarks on the coefficient ring of quaternionic oriented cohomology theories

    Kazuhisa Shimakawa. Remarks on the coefficient ring of quaternionic oriented cohomology theories. Publ. Res. Inst. Math. Sci. , 12(1):241--254, 1976

    work page 1976

  40. [40]

    The symplectic Lazard ring

    Hirosi Toda and Kazumoto Kozima. The symplectic Lazard ring. J. Math. Kyoto Univ. , 22:131--153, 1982

    work page 1982

  41. [41]

    On the formal operation for P ontryagin classes, 2012

    Charles Walter. On the formal operation for P ontryagin classes, 2012. Unpublished notes

    work page 2012