Pith. sign in

REVIEW 3 major objections 6 minor 19 references

On a complex topological orientation for circle-equivariant K-theory

T0 review · 3 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read Circle-equivariant K-theory is claimed to admit a complex orientation that sends projective space $\mathbb{CP}^n$ to the q-integer $1+q+\dots+q^n$.

desk verdict The sign error in Proposition 2.3 is real and load-bearing, but the underlying orientation idea is repairable and worth a referee's time. read the letter →

arxiv 2505.21719 v3 pith:CNSUGOTI submitted 2025-05-27 math.KT

J Morava This is my paper
classification math.KT MSC 19L4755N2214L05
keywords equivariantK-theorycomplexorientationformalgrouplawq-integerscircleactionscobordismlambda-ringsprojectivespace
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 claims that Atiyah-Segal equivariant K-theory for the circle, $K_\mathbb{T} \cong \mathbb{Z}[q,q^{-1}]$, carries a complex topological orientation: a multiplicative map from complex cobordism that sends the class of complex projective space $\mathbb{CP}^n$ to the q-integer $[n]_q = 1+q+\dots+q^n$. The orientation is meant to be built from a formal group law over $\mathbb{Z}[q]$ whose logarithm is the q-number series $\sum_{k\ge1} [k]_q T^k/k$. This would link the homotopy theory of projective varieties to the representation theory of the circle and to $\lambda$-ring operations such as Adams powers and the q-Pochhammer symbol. The note's proof of the formal group law, however, expands to a series with a minus sign in the numerator and denominator, so the stated law may not hold as written.

What carries the argument

The load-bearing object is the formal group law $F_\chi(X,Y) = \frac{X+Y+(1+q)XY}{1+qXY}$ over $\mathbb{Z}[q] \subset K_\mathbb{T}$, together with its logarithm $\log_\chi(T) = \sum_{k\ge1} [k]_q T^k/k$ and exponential $\exp_\chi(T) = \frac{e^{(1-q)T}-1}{e^{(1-q)T}-q}$, where $[Q](T)=\frac{1-qT}{1-T}$ is the Möbius transformation generating the q-numbers. These series define the classifying homomorphism $c \mapsto \exp_\chi(c)$ from complex cobordism to $K_\mathbb{T}$, and the q-numbers $[n]_q$ are what the orientation attaches to $\mathbb{CP}^n$. The construction also uses Landweber exactness (a Conner-Floyd argument) to promote the formal group law to a genuine cohomology theory.

What would settle it

Compute the second-order term in $\exp_\chi(\log_\chi(X)+\log_\chi(Y))$ using $\log_\chi(T) = \sum_{k\ge1} [k]_q T^k/k$; the coefficient of $XY$ is $-(1+q)$, not $+(1+q)$ as claimed. Alternatively, plug $q=2$, $X=Y=Z=0.1$ into the associativity identity $F_\chi(F_\chi(X,Y),Z)=F_\chi(X,F_\chi(Y,Z))$ and observe that the two sides differ.

Watch

Extended reading notes

Core claim

The central discovery, as the author states it, is the existence of a complex orientation for circle-equivariant K-theory. Concretely, Quillen's Euler-Chern class $c$ in $MU^2(B\mathbb{T})$ is sent to the exponential series $\exp_\chi(c)$, and this classifying homomorphism is claimed to be a ring map whose effect on projective space is $[\mathbb{CP}^n] \mapsto [n]_q = 1+q+\dots+q^n$. The orientation is thus indexed by the Fourier expansion of the finite geometric series, and it specializes at $q=0$ to the ordinary multiplicative formal group law of arithmetic. The author further proposes that this orientation fits into a commutative diagram relating projective varieties, the $\lambda$-ring of $\mathfrak{sl}_2$ representations, and $K_\mathbb{T}$.

Load-bearing premise

The construction rests on the claim that $F_\chi(X,Y) = \frac{X+Y+(1+q)XY}{1+qXY}$ is a formal group law over $\mathbb{Z}[q]$; the paper's own expansion produces a series with a minus sign in the numerator and denominator, so if that sign is not a typo the orientation is not defined.

Editorial extensions

If this is right

  • If the orientation exists, the class of $\mathbb{CP}^n$ in circle-equivariant K-theory is literally $1+q+\dots+q^n$, giving a topological interpretation of the finite Fourier expansion.
  • Composing with the Swan-Tate localization $(1-q)^{-1}K_\mathbb{T}$ interprets the infinite product $\varphi(q)=\prod_{k\ge1}(1-q^k)$ as a Thom class for the virtual bundle $1-q$, with a formally 24-periodic height-one cohomology theory at the nodal cusp.
  • The construction specializes at $q=0$ to the multiplicative formal group, recovering classical complex cobordism Euler characteristics, while the $q\to1$ limit connects to additive or height-one behavior.
  • The proposed commutative diagram would realize the Hodge-Dolbeault characteristic polynomial $\chi_{Y,Z}(X)$ of a smooth projective variety as a q-deformed invariant valued in $K_\mathbb{T}$, making the $\lambda$-ring structure of representation rings visible in complex cobordism.

Reading between the lines

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

  • If the sign error is corrected, the natural replacement $F(X,Y)=\frac{X+Y-(1+q)XY}{1-qXY}$ is the formal group law actually defined by the stated logarithm; with that replacement the exponential map and the q-integer indexing may survive unchanged.
  • The mismatch suggests the orientation may be governed by a different characteristic series, possibly corresponding to a negative-q convention or to q-symplectic formal groups; checking the image of $\mathbb{CP}^1$ under the corrected map would settle whether the headline claim is salvageable.
  • The $\lambda$-ring/Pochhammer calculations in the later sections indicate that, if the orientation exists, the Adams operations $\psi^k(q)=q^k$ should act on the orientation by a q-analogue of the Chern character, giving a testable relation between the orientation and q-binomial coefficients.
  • One could test the orientation on the coordinate class $b_1 = [\mathbb{CP}^1(\omega)]-[\mathbb{CP}^1(0)]$ described in the appendix; its image in $K_\mathbb{T}$ should coincide with the coefficient of the exponential series, which is a purely computational check.
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

3 major / 6 minor

Summary. This note claims the existence of a complex topological orientation for Atiyah-Segal T-equivariant K-theory K_T = Z[q,q^{-1}], with the property that the projective spaces are indexed by q-integers: [CP^n] maps to 1+q+...+q^n under the associated genus. The orientation data are defined in §2.2 from the fractional linear transformation Q(T) = (1-qT)/(1-T): one sets log_χ(T) = (1-q)^{-1} log Q(T) and defines exp_χ as its inverse, so that the formal group law is obtained by transporting the multiplicative law through Q. Proposition 2.3 asserts this FGL is F_χ(X,Y) = (X+Y+(1+q)XY)/(1+qXY); §2.4 records identities for this law (q-number logarithm, rescaling, invariant differential, p-series congruence); §2.5 claims the law has height one away from torsion points and hence is Landweber exact, yielding the equivariant orientation. §3 sketches speculative extensions involving Swan-Tate K-theory, q-Pochhammer symbols, and the modular discriminant, with the main diagram in §1.2 explicitly labeled a 'Hypothesis'.

Significance. The intended result is attractive and, if made rigorous, would provide an explicit natural complex orientation for an equivariant cohomology theory, connecting Hirzebruch's χ_{Y,Z} genus, the λ-ring structure of Rep(T), and Swan-Tate K-theory. I credit the paper for a self-contained construction in which the orientation is defined from a formal group law and the indexing property is a consequence, rather than fitted to a target answer; the computation of log_χ in Exercise 1 is correct, and item 6 formulates a concrete, checkable p-series congruence. The explicit 'Hypothesis' labels and the appendix's self-questioning heading responsibly mark the speculative parts. However, the displayed object in Proposition 2.3 is not the formal group law attached to log_χ, and the Landweber exactness step in §2.5 is asserted rather than proved; both points are load-bearing for the existence claim, so the central claim is not established as written, although the construction is repairable within the scope of a revision.

major comments (3)
  1. [§2.3, Proposition 2.3] The displayed formal group law is not the one attached to the defined logarithm, and the proof contains sign errors. Direct substitution of Q(T) = (1-qT)/(1-T) and Q^{-1}(T) = (T-1)/(T-q) gives exp_χ(log_χ(X)+log_χ(Y)) = (Q(X)Q(Y)-1)/(Q(X)Q(Y)-q) = (X+Y-(1+q)XY)/(1-qXY), not the displayed (X+Y+(1+q)XY)/(1+qXY). In the proof, '(1 - (X+Y) - XY)' should read '(1 - (X+Y) + XY)', and the denominator step '1-q-q(q-1)XY = (1-q)(1+qXY)' has the sign of the q(q-1)XY term reversed. Equivalently, the XY-coefficient of any formal group law with logarithm log_χ(T) = T + (1+q)T^2/2 + ... must be -2c_1 = -(1+q), whereas the displayed F_χ has +(1+q). Consequently the claimed q=0 specialization to the multiplicative group is wrong (one obtains X+Y-XY), Exercise 2's identity must be recomputed, and since §2.5's height and Landweber exactness discussion is formulated for the displayed F_χ, that discussion currently applies to a different object than the one constructed.
  2. [§2.5 (Landweber exactness)] The Landweber exactness assertion is the load-bearing step that converts the formal group law into a cohomology theory and an equivariant orientation, and it is not proved. The single sentence 'It follows that F_χ ⊗ Z_p has height one away from torsion points on circle, so Landweber exactness ... defines a cohomology theory' is the only argument, and item 6's p-series congruence is stated without derivation. After the sign correction of Proposition 2.3 the claim must be re-verified for the corrected law F_correct; this is not merely cosmetic, because at q ≡ 1 mod p the p-series of F_correct is pT/(1-(1-p)T), whose reduction mod p is zero, so the claim of height one must be qualified by a precise description of the exceptional locus and the 'away from torsion points' qualifier needs an algebraic formulation. One also needs to check the regularity of (p, v_1, v_2, ...) in Z[q] at every prime ideal and to specify precisely the target ring (localization or completion of K_T) in which the orientation series exp_χ(T) is taken. Without this, the existence of the claimed cohomology theory is not established.
  3. [Abstract and §1.2] The principal advertised result — that the orientation indexes CP^n by 1+q+...+q^n — is never derived. The intended computation is the standard genus formula φ(CP^n) = (n+1) times the coefficient of T^{n+1} in log_χ(T), which with log_χ(T) = Σ[k]_q T^k/k gives φ(CP^n) = [n+1]_q = 1+q+...+q^n, but this one-line argument is absent from the paper. In addition, the notation is inconsistent: §1.2 writes '[n]_q = 1+q+···+q^n' while Exercise 1 defines [k]_q = 1+q+···+q^{k-1}, so it is unclear whether CP^n is indexed by [n]_q or by [n+1]_q. The paper should fix the convention and include the derivation of the indexing statement, since it is the claim in the abstract.
minor comments (6)
  1. [§2.4, Exercise 5] The first expression for the invariant differential, q^{-1}[(T-q^{-1})^{-1} - (T-1)^{-1}]dT, differs from the correct d log_χ(T) = dT/((1-T)(1-qT)) by a factor of (1-q)/q; the final display in the exercise is correct, but the equality as written is not.
  2. [§2.4, Exercise 2] This identity needs to be recomputed after the sign correction in Proposition 2.3, and the use of q^{±1/2} requires declaring the coefficient ring (e.g., Z[q^{±1/2}] or a localization).
  3. [§2.2–2.3] The definition of exp_χ(T) uses division by (1-q); the paper should include the short verification that the factors of (1-q) cancel so that exp_χ(T) and the corrected FGL actually take coefficients in Z[q], since otherwise the target ring of the orientation is unclear.
  4. [§3.1] The phrase 'Per Wikipedia we have that...' should be replaced by a proper reference for the q-binomial theorem (e.g., Gasper-Rahman, Basic Hypergeometric Series).
  5. [§3.2–3.3] The claims about 24-periodicity, the modular discriminant, and the motivic splitting are stated within exercises without proof or attribution; please mark explicitly which statements are theorems, conjectures, or folklore.
  6. [Title and headings] The title and section headings contain spacing artifacts ('ORIENT A TION', 'FORT-EQUIV ARIANT') that should be cleaned up.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the orientation is constructed from an explicit formal group law, and the q-number indexing is written into the chosen logarithm rather than fitted to a target.

full rationale

The central construction in §2 is self-contained: the paper defines a formal group law Fχ via a specified logarithm logχ(T)=Σ[k]_q T^k/k and then invokes the standard Quillen/Conner-Floyd mechanism to obtain a complex orientation. The asserted image of CP^n in KT is a direct consequence of that logarithm's coefficients; this is a transparent construction rather than a fit of parameters to data, so it does not satisfy the circularity tests. Self-citations ([10], [14], [15]) occur in motivational and extension material (Swan-Tate cohomology, Virasoro remarks) but are not load-bearing for the existence of the orientation, which rests on external references ([2], [3], [8]) and the computation of Fχ. The possible sign error in Proposition 2.3 is a correctness risk: the displayed expansion appears to yield (X+Y-(1+q)XY)/(1-qXY) rather than the stated Fχ, and this would undermine the Landweber-exactness step if not corrected; however, an algebraic mistake of this kind is not a circularity.

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

The central claim rests on the formal group law and on Landweber exactness, both of which are not fully justified in the note. The formal group law proof is incorrect, and the height-one claim is stated without proof.

assumptions (4)
  • ad hoc to paper F_χ(X,Y) = (X+Y+(1+q)XY)/(1+qXY) is a 1-dimensional formal group law over Z[q]
    Stated as Proposition 2.3; the proof contains a sign error, so this is not established by the paper. The associated logarithm is not the stated log_χ.
  • domain assumption The reduction of F_χ modulo p has height one away from torsion points, hence is Landweber exact
    Invoked in §2.5 to define a cohomology theory by Landweber exactness; the height claim is stated without proof.
  • domain assumption The map MU^*(BT) → K_T(BT) given by c ↦ exp_χ(c) is a ring homomorphism defining a complex orientation
    This is the construction of the orientation in §1.2 and §2.5; it relies on standard Quillen theory and on the existence of exp_χ.
  • standard math Serre duality and Kähler identities give an sl2 action on Hodge cohomology
    Standard results from complex geometry, cited to [18] and [12].

how reviews work

0 comments
Cite this review

Pith. "Pith review of On a complex topological orientation for circle-equivariant K-theory." pith.science (2026). https://pith.science/paper/CNSUGOTI

@misc{pith2026250521719,
  author       = {Pith},
  title        = {Pith review of: On a complex topological orientation for circle-equivariant K-theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CNSUGOTI}},
  note         = {Machine review of arXiv:2505.21719}
}
abstract

The principal result of this note is the existence of a complex topological orientation for Atiyah-Segal $\mathbb{T}$-equivariant K-theory which indexes the projective space of lines in complex (n+1)-space by the Fourier expansion $1 + q + \dots + q^n$.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    M Atiyah, The logarithm of the Dedekind η-function, Math. Ann. 278 (1987) 335 – 380

    work page 1987

  2. [2]

    ——, G Segal, Equivariant K-theory and completion. J. Differential Geometry 3 (1969) 1 – 18

    work page 1969

  3. [3]

    VM Buchstaber, AP Veselov, Chern-Dold character in complex cobordisms and theta divisors. Adv. Math. 449 (2024), Paper No. 109720, https://arxiv.org/abs/2007. 05782

    work page 2024

  4. [4]

    A 1-dimensional formal group over the prismatization of Spf Z_p

    VG Drinfeld, A 1-dimensional formal group over the prismatization of Spf Zp. Pure Appl. Math. Q. 20 (2024), no. 1, 233–305, https://arxiv.org/abs/2107.11466

    work page Pith review arXiv 2024

  5. [5]

    R Hain Lectures on Moduli Spaces of Elliptic Curves,https://sites.math.duke.edu/ ~hain/teaching/mth790/hain_final_rev_2021.pdf prop 5.7

    work page

  6. [6]

    F Hirzebruch, Neue topologische Methoden in der algebraischen Geometrie, Ergebnisse der Mathematik 9, Springer 1956

    work page 1956

  7. [7]

    org/prismatic/sec_lambda-rings.html#subsection-15

    K Kedlaya, Notes on prismatic cohomologyexample 4.2.4, https://kskedlaya. org/prismatic/sec_lambda-rings.html#subsection-15

    work page

  8. [8]

    IM Krichever, Formal groups and the Atiyah-Hirzebruch formula, Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974) 1289 -– 1304

    work page 1974

Show all 19 references
  1. [9]

    Ox- ford Mathematical Monographs 1995

    I Macdonald, Symmetric functions and Hall polynomials, Second edition. Ox- ford Mathematical Monographs 1995. 8 J MORA V A

    1995

  2. [10]

    Steklov Inst

    J Morava, Cobordism of symplectic manifolds and asymptotic expansions, Proc. Steklov Inst. Math. 1999bn(225) 261 – 268, https://arxiv.org/abs/math/9908070

    arXiv

  3. [11]

    ——, An algebraic analog of the Virasoro group, in Quantum groups and in- tegrable systems (Prague, 2001), Czechoslovak J. Phys. 51 (2001) 1395 – 1400 https://arxiv.org/abs/math/0109084

    2001 arXiv

  4. [12]

    On formal groups and geometric quantization, https://arxiv.org/abs/1905.06181

    1905 arXiv

  5. [13]

    ——, Notes toward a Newtonian thermodynamics, https://arxiv.org/pdf/2304. 00384

  6. [14]

    ——, Swan-Tate cohomology of meromorphic circle actions https://arxiv.org/abs/ 2403.19714 §3

    arXiv

  7. [15]

    org/abs/2407.00672

    ——, Circular symmetry-breaking and topological Noether currents https://arxiv. org/abs/2407.00672

    arXiv

  8. [16]

    ——, Boundary framings for locally conformally symplectic four-manifolds, https: //arxiv.org/abs/2502.05983 appendix 2

    arXiv

  9. [17]

    Advances in Math

    D Quillen, Elementary proofs of some results of cobordism theory using Steenrod operations. Advances in Math. 7 (1971), 29 — 56

    1971

  10. [18]

    JP Serre, Complex semisimple Lie algebrasSpringer-Verlag, New York, 1987

    1987

  11. [19]

    https://ncatlab.org/nlab/show/nodal+curve Department of Mathematics, The Johns Hopkins University, Baltimore, Mary- land Email address: jmorava1@jhu.edu

Pith tools

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