{"id":"713620e0-300e-4ff4-8309-186ca23e68c9","arxiv_id":"1908.01904","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The K(1)-localized homotopy ring of tmf and tmf is computed at primes 2, 3, and 5, and the resulting tmf-based Adams spectral sequence for the sphere collapses to two lines.","lead":"At the primes 2, 3, and 5, the authors compute the K(1)-local homotopy groups of tmf and tmf, expressing them through inverted modular j-invariants and one extra algebraic generator. The calculation supplies the missing height-one chromatic layer in the long-running program to understand the tmf-based Adams spectral sequence.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The final coordinate change in Remark 6.2 is invalid as written: setting λ=α(ℓ) does not convert the Theorem 6.1 relation into the Theorem A relation, so the modular presentation of Theorem A is not proved.","rationale":"The reader identified Proposition 5.2, the external q-expansion identification of f with j^{-1}, as the weakest assumption. I accept that as a legitimate external dependency; if that cited calculation were wrong, the whole computation would fail, but the paper cites a published source for it. My objection is different and internal. The proof up to Theorem 6.1 is careful and largely self-contained, including the correction of Hopkins's argument in Remark 3.28. However, the final step from Theorem 6.1 to the modular presentation in Theorem A is not justified. The map λ = α(ℓ) is a θ-algebra endomorphism of T(ℓ), but it changes the relation in a way that leaves a nontrivial dependence on ℓ unless α is affine. Since α is generally nonlinear, the two displayed rings in Remark 6.2 are not shown to be isomorphic. A repair is likely available by choosing λ = ℓ + t with t in the base, using the formal inverse function theorem for ψ^p − id, but this argument is absent. The central claim may still be true, and the gap is local, so the appropriate action is to require the authors to supply the corrected coordinate change and verify the relation, rather than to reject the paper.","tokens_in":30539,"tokens_out":29122,"duration_ms":364013,"concrete_test":"At p = 3, compute the power series α for which f = α(j^{-1}) from Proposition 5.2. Substitute λ = α(ℓ) into the relation ψ^p(ℓ) − ℓ = f − fbar and expand ψ^p(λ) − λ − (j^{-1} − jbar^{-1}) as a power series in ℓ, j^{-1}, jbar^{-1}. If the coefficient of ℓ is nonzero, Remark 6.2 as written fails. Then test the proposed fix: solve recursively for t ∈ Z_p[[f, fbar]] satisfying ψ^p(t) − t = (j^{-1} − jbar^{-1}) − (f − fbar), and verify that the θ-algebra automorphism ℓ ↦ ℓ + t carries the Theorem 6.1 relation to the Theorem A relation.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Theorem 6.1 gives π_*(tmf ∧ tmf) ≅ KO_* ⊗ Z_p[f, fbar] ⊗ T(ℓ)/(ψ^p(ℓ) − ℓ − f + fbar). The advertised Theorem A replaces f, fbar by j^{-1}, jbar^{-1} and renames the generator λ. The bridge is Remark 6.2, which sets f = α(j^{-1}) and then “lets λ = α(ℓ)”. This step is not valid as written. Since ψ^p is a continuous ring endomorphism and α has coefficients in Z_p, ψ^p(α(ℓ)) = α(ψ^p(ℓ)) = α(ℓ + f − fbar). Hence the relation satisfied by λ = α(ℓ) is ψ^p(λ) − λ = α(ℓ + f − fbar) − α(ℓ), a series that generically depends on ℓ; it is not the constant j^{-1} − jbar^{-1}. A corrected change of generator would need λ = ℓ + t with t ∈ Z_p[[f, fbar]] solving ψ^p(t) − t = (j^{-1} − jbar^{-1}) − (f − fbar); the linear part of ψ^p − id on the maximal ideal is −1, so such a t is plausible, but the paper supplies no such argument. As written, the equivalence between the f-based presentation of Theorem 6.1 and the j-invariant presentation of Theorem A is not established.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper computes, at primes p ≤ 5, the K(1)-local homotopy of tmf ∧ tmf. The main tool is Hopkins's presentation of L_K(1)tmf as a pushout of the E∞-cone Tζ, together with a detailed development of L-complete Hopf algebroids, pro-freeness criteria, a relative Künneth theorem, and a change-of-rings theorem. Sections 3 and 4 compute π_*Tζ and the cooperations of Tζ; Section 5 reviews the presentation of K(1)-local tmf; Section 6 derives the cooperations of tmf and the tmf-based Adams spectral sequence. Theorem A gives a modular presentation of π_*L_K(1)(tmf ∧ tmf), and Theorem B identifies the E2-term of the K(1)-local tmf-based Adams spectral sequence for the sphere with the continuous group cohomology of Z_p^×/μ with coefficients in KO_*.","tokens_in":30754,"tokens_out":15283,"duration_ms":141137,"significance":"If Theorem A is established, it gives a complete and surprisingly simple algebraic description of the K(1)-local cooperations of tmf, controlled by two inverted modular j-invariants and a single extra θ-algebra generator subject to one second-order relation. The paper's treatment of L-completeness, pro-freeness, and relative Ext is careful and mostly self-contained; the pro-freeness lemmas, the computation of Tζ cooperations, and the pushout presentation of tmf are supported by detailed proofs. The deduction of π_* from the stated presentations does not appear to use circular or fitted input. The paper also correctly identifies that the resulting tmf-based Adams spectral sequence collapses at E2 and is concentrated on the 0 and 1 lines. The main caveat is that the advertised modular presentation, Theorem A, is not deduced from Theorem 6.1 by the argument given in Remark 6.2.","major_comments":[{"comment":"The coordinate change claimed here is not valid as written. Since ψ^p is a continuous ring endomorphism and α has coefficients in Z_p, we have ψ^p(α(ℓ)) = α(ψ^p(ℓ)) = α(ℓ + f − \\bar f). Hence the element λ = α(ℓ) satisfies ψ^p(λ) − λ = α(ℓ + f − \\bar f) − α(ℓ), which is not equal to j^{-1} − \\bar j^{-1} in general. The relation in Theorem A therefore does not follow from Theorem 6.1 by the substitution given. A corrected proof would need to introduce a new generator λ = ℓ + t, with t ∈ Z_p[[f,\\bar f]] chosen so that ψ^p(t) − t = α^{-1}(f) − α^{-1}(\\bar f) − (f − \\bar f), or give an equivalent argument; no such t is constructed. Since Theorem A is one of the paper's main claims, this is a load-bearing gap.","section":"§6, Remark 6.2"},{"comment":"The identification of the formal generator f with the inverse modular j-invariant is quoted from [13, 7.1] as a calculation using q-expansions and is not carried out in the paper. This identification is the only place where the algebraic generator f is tied to the modular j-invariant, and it is used to define h(f), the pushout presentation of tmf, and hence all subsequent cooperations formulas. I am not asking that all of [13] be reproved, but since this particular assertion is load-bearing for Theorem A, the authors should either give a proof, or state the precise theorem from [13] with enough detail for the reader to verify the integrality and congruence claims.","section":"§5, Proposition 5.2"}],"minor_comments":[{"comment":"The statement of the change-of-rings theorem refers to a map B ⊗_A Γ → C without first introducing C; the hypotheses should be stated in full.","section":"§2.3, Proposition 2.20"},{"comment":"The forgetful functor in the statement should presumably land in Mod^∧_{R_*}, not in Mod^∧_{Γ_*}; the current wording is a typo.","section":"§2.3, Lemma 2.12"},{"comment":"The displayed chain ending in '= Z_p[f] = π_*tmf' should be KO_*[f] in nonzero degrees; as written it appears to refer only to the degree-zero part.","section":"§5, proof of Theorem 5.6"},{"comment":"There is a typo: 'operaitons' should be 'operations'.","section":"Appendix A.2, Definition A.8"}],"recommendation":"major_revision","confidential_remarks":"The main theorem as stated is not proved because of the invalid coordinate change in Remark 6.2. However, the flaw is localized and appears repairable: Theorem 6.1, the Tζ computations, and the Adams spectral sequence results seem sound. I therefore recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, this paper does a genuinely useful thing: it computes the K(1)-local homotopy of tmf ∧ tmf at p = 2, 3, 5 through a detailed, mostly self-contained presentation, and it corrects a real error in Hopkins's calculation of π_*T_ζ (Remark 3.28). That correction, and the careful cooperative computation for T_ζ in Section 4, are the honest core of the paper. Second, the headline Theorem A is not proved as written. The problem sits in Remark 6.2, not in the earlier machinery. The stress-test note is correct: setting λ = α(ℓ) does not convert the relation of Theorem 6.1 into the relation of Theorem A. Since ψ^p is a continuous ring map, ψ^p(λ) − λ = α(ℓ + f − fbar) − α(ℓ), a series that depends on ℓ; it is not the constant j^{-1} − jbar^{-1}. A corrected change of variables would need λ = ℓ + t with t ∈ Z_p[[f, fbar]] solving ψ^p(t) − t = (j^{-1} − jbar^{-1}) − (f − fbar). The linear part of ψ^p − id on the maximal ideal is −1, so such a t should exist, but the paper supplies no argument. As it stands, the equivalence between the f-based presentation (Theorem 6.1) and the modular j-invariant presentation (Theorem A) is unproved. This is not a fatal blow to the computations: Theorem 6.1 and the cooperations algebra for T_ζ are the substance, and they look solid. The reliance on the cited q-expansion identification in Proposition 5.2 is standard practice, though it is another external input that the paper does not verify. If I were editing, I would send this to a knowledgeable referee with a request to fix or downgrade Remark 6.2, and to consider making Theorem 6.1 the main result. The paper deserves serious refereeing; the flaw is localized and likely repairable, and the corrected T_ζ computation alone is worth publishing.","headline":"A genuinely useful computation of K(1)-local tmf cooperations, but the advertised j-invariant form of the main theorem is not proved as written.","tokens_in":31411,"tokens_out":3773,"would_cite":true,"duration_ms":34686,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55P42","55N34","55T25"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper computes the K(1)-local homotopy of tmf∧tmf at primes p≤5, describing it as two inverted j-invariants and one θ-algebra generator with one relation.","keywords":["K(1)-local homotopy theory","topological modular forms","tmf cooperations","theta-algebras","L-complete Hopf algebroids","Adams spectral sequence","p-adic modular forms","Hopkins presentation"],"falsifier":"Compute the q-expansion of $f=\\psi^p(b)-b$ in $KO_0T_\\zeta$ at $p=2$ or $p=3$ to enough order and check the congruence $f \\equiv j^{-1} \\bmod p$ together with the identity $\\theta(f)=h(f)$ for a power series $h$; Proposition 5.2 cites this calculation to [13, 7.1] rather than performing it, so a mismatch would invalidate the presentation of $L_{K(1)}\\mathrm{tmf}$ and hence Theorem A.","tokens_in":2707,"feed_emoji":"🧩","tokens_out":4077,"duration_ms":115340,"temperature":0.7,"pith_summary":"The paper computes the height-one (K(1)-local) layer of the cooperations algebra of topological modular forms: the homotopy groups of $L_{K(1)}(\\mathrm{tmf} \\wedge \\mathrm{tmf})$ at primes $p \\le 5$. The answer is a completed ring built from two inverted copies of the modular $j$-invariant, $j^{-1}$ and $\\bar j^{-1}$, together with one extra $\\theta$-algebra generator $\\lambda$ subject to the single relation $\\psi^p(\\lambda) - \\lambda = j^{-1} - \\bar j^{-1}$, a 'second-order' analogue of the classical presentation of $KO_*KO$. This closes the last uncomputed chromatic layer of $\\mathrm{tmf}_*\\mathrm{tmf}$ at small primes, and it shows that the $K(1)$-local $\\mathrm{tmf}$-based Adams spectral sequence for the sphere collapses immediately, with $v_1$-periodic classes only on the 0 and 1 lines. A sympathetic reader should care because explicit cooperations are the algebraic input for Adams spectral sequences, and this result replaces an intractable object with a finite presentation.","feed_headline":"Two j-invariants plus one theta generator compute tmf∧tmf","feed_subtitle":"The new presentation collapses the K(1)-local tmf-Adams spectral sequence to two lines.","key_machinery":"The central object is Hopkins's $E_\\infty$-cone $T_\\zeta$ on $\\zeta$, the $K(1)$-local $E_\\infty$-algebra obtained by killing $\\zeta$ as an $E_\\infty$-cell. Its $KO$-homology is $KO_* \\otimes T(b)$ with $\\psi^g(b) = b+1$, and the element $f = \\psi^p(b)-b$ plays the role of $j^{-1}$. The mechanism that carries the argument is a mix of $\\theta$-algebra and $\\lambda$-ring structure: a Hopf-algebra splitting argument, using Mahler's binomial basis for $\\mathrm{Maps}_{\\mathrm{cts}}(\\mathbb{Z}_p,\\mathbb{Z}_p)$, shows that $KO_*T_\\zeta$ is an extended $KO_*KO$-comodule, which gives $\\pi_*T_\\zeta = KO_* \\otimes T(f)$ and then the $T_\\zeta$ cooperations formula. The pro-freeness machinery for $L$-complete Hopf algebroids turns these algebraic extendedness statements into Künneth isomorphisms and a change-of-rings theorem. The final identification $L_{K(1)}\\mathrm{tmf} = T_\\zeta/(\\theta(f)-h(f))$ rests on the q-expansion congruence $f \\equiv j^{-1} \\bmod p$.","core_discovery":"On its own terms, the central discovery is Theorem A: at primes $p \\le 5$, there is an isomorphism of completed rings $$\\pi_*L_{K(1)}(\\mathrm{tmf} \\wedge \\mathrm{tmf}) \\cong \\left(KO_*[$j^{{-1}}$,\\bar $j^{{-1}}$] \\otimes T(\\$\\lambda$)/(\\psi^p(\\$\\lambda$) - \\$\\lambda$ - $j^{{-1}}$ + \\bar $j^{{-1}}$)\\right)_p^\\wedge.$$ The proof first computes the cooperations of Hopkins's $E_\\infty$-cone $T_\\zeta$ on the class $\\zeta \\in \\pi_{-1}L_{K(1)}S$, giving $KO_* \\otimes T(f,\\bar f,\\ell)/(\\psi^p(\\ell)-\\ell - f + \\bar f)$, and then imposes the single relation $\\theta(f)=h(f)$ that converts $T_\\zeta$ into $L_{K(1)}\\mathrm{tmf}$, with $f$ identified with $j^{-1}$ via q-expansions. The result identifies $\\pi_*L_{K(1)}(\\mathrm{tmf} \\wedge \\mathrm{tmf})$ as a ring of ordinary two-variable $p$-adic modular functions, generated over the one-variable functions $j^{-1}$ and $\\bar j^{-1}$ by a single class $\\lambda$. Theorem B then gives, for any spectrum $X$, a conditionally convergent $\\mathrm{tmf}$-based Adams spectral sequence with $E_2 = \\mathrm{Ext}_{\\mathrm{tmf}_*\\mathrm{tmf}}(\\mathrm{tmf}_*, \\mathrm{tmf}_*X)$; for $X = S^0$ the $E_2$-page is exactly $\\mathrm{Ext}_{KO_*KO}(KO_*,KO_*) \\cong H^*_{\\mathrm{cts}}(\\mathbb{Z}_p^\\times/\\mu, KO_*)$, which is concentrated on the 0 and 1 lines, so the spectral sequence collapses.","pith_inferences":["Beyond the paper, the collapse of the $K(1)$-local $\\mathrm{tmf}$-Adams spectral sequence makes a testable prediction about the global $\\mathrm{tmf}$-Adams spectral sequence: every $v_1$-periodic class should live on the 0 or 1 line, which can be checked against low-stem computations of $\\mathrm{tmf}_*\\mathrm{tmf}$.","Beyond the paper, a direct q-expansion verification of Proposition 5.2 at $p=2$ and $p=3$ would independently certify the single external input on which the presentation rests, since the paper cites the calculation rather than carrying it out.","Beyond the paper, one could seek an explicit formula for the generator $\\lambda$ as a $p$-adic analytic function on the moduli of pairs of ordinary elliptic curves, interpolating formal-group isomorphisms; a concrete expression for $\\lambda$ would turn Theorem A into a computational tool for evaluating $\\mathrm{tmf}$-Adams differentials."],"forward_implications":["At primes $p \\le 5$, the $K(1)$-local layer of $\\mathrm{tmf}$ cooperations is completely described by the completed ring of Theorem A, removing it as an obstacle in the global $\\mathrm{tmf}$-based Adams spectral sequence.","The $K(1)$-local $\\mathrm{tmf}$-based Adams spectral sequence for the sphere collapses at $E_2$, with its $v_1$-periodic classes occurring only on the 0 and 1 lines.","For any $K(1)$-local spectrum $X$, there is a conditionally convergent $\\mathrm{tmf}$-based Adams spectral sequence with $E_2 = \\mathrm{Ext}_{\\mathrm{tmf}_*\\mathrm{tmf}}(\\mathrm{tmf}_*, \\mathrm{tmf}_*X)$.","The ring $\\pi_0L_{K(1)}(\\mathrm{tmf} \\wedge \\mathrm{tmf})$ is the ring of ordinary two-variable $p$-adic modular functions on the moduli problem of pairs of elliptic curves with an isomorphism of formal groups, generated over the one-variable functions by a single new generator.","As a $\\theta$-algebra, $\\mathrm{tmf}_*\\mathrm{tmf}$ is generated over $\\mathrm{tmf}_*$ by a single element $\\ell$ with a relation linking $\\ell$, $\\theta(\\ell)$, and $p\\theta^2(\\ell)$, giving a second-order analogue of the presentation of $KO_*KO$."],"supporting_citations":[{"why":"Supplies the presentation of $L_{K(1)}\\mathrm{tmf}$ as $T_\\zeta/(\\theta(f)-h(f))$ and the q-expansion identification $f \\equiv j^{-1} \\bmod p$ cited in Proposition 5.2.","marker":"[13]"},{"why":"Gives the additive equivalence $\\mathrm{tmf} \\simeq KO[j^{-1}]$ used to prove pro-freeness of $\\mathrm{tmf}_* \\to \\mathrm{tmf}_*\\mathrm{tmf}$, plus previous computations of $\\pi_*T_\\zeta$.","marker":"[18]"},{"why":"Provides the theory of free $\\theta$-algebras and $\\lambda$-rings that underlies every coefficient-ring computation in the paper.","marker":"[7]"},{"why":"Supplies the $L$-completeness facts and the height-one exactness of direct sums on which pro-freeness and the Künneth arguments rest.","marker":"[17]"},{"why":"Provides pro-free modules, the theorem that $\\pi_*$ preserves coproducts, and the relative Künneth formula used throughout.","marker":"[15]"},{"why":"Gives the relative injective resolution formalism and the $E_2$-page description for $K(n)$-local $E_n$-based Adams spectral sequences, adapted here to $L$-complete Hopf algebroids.","marker":"[3]"},{"why":"Milnor–Moore Hopf algebra structure theory is used in the splitting argument proving $KO_*T_\\zeta$ is an extended comodule.","marker":"[22]"},{"why":"Mahler's theorem on binomial functions generates $\\mathrm{Maps}_{\\mathrm{cts}}(\\mathbb{Z}_p,\\mathbb{Z}_p)$, used to identify the $T(f)$-module structure and the coalgebra section.","marker":"[25]"},{"why":"Introduces $L$-complete Hopf algebroids and their comodules, the framework that the paper extends with relative Ext and pro-freeness.","marker":"[1]"}],"fun_headline_variants":["K(1)-local tmf∧tmf: two-variable modular functions","Computing K(1)-local tmf∧tmf via Hopkins presentation","tmf∧tmf at K(1): Adams SS collapses to two lines","Two j-invariants plus lambda describe K(1)-local tmf∧tmf","K(1)-local tmf∧tmf: modular function ring and Adams collapse"],"cache_read_input_tokens":33408,"weakest_assumption_plain":"The computation rests on the cited q-expansion identification (Proposition 5.2) that the algebra generator $f$ in Hopkins's presentation is congruent to $j^{-1}$ modulo $p$ and generates the same completed subring; if that identification fails at the relevant completed rings, the defining relation $\\theta(f)=h(f)$ for $L_{K(1)}\\mathrm{tmf}$ and every cooperations formula derived from it would collapse.","fun_headline_variants_meta":{"raw":{"variants":["K(1)-local tmf∧tmf: two-variable modular functions","Computing K(1)-local tmf∧tmf via Hopkins presentation","tmf∧tmf at K(1): Adams SS collapses to two lines","Two j-invariants plus lambda describe K(1)-local tmf∧tmf","K(1)-local tmf∧tmf: modular function ring and Adams collapse"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001101,"raw_usage":{"total_tokens":4635,"prompt_tokens":1029,"completion_tokens":3606,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":645,"completion_tokens_details":{"reasoning_tokens":3498}},"tokens_in":645,"tokens_out":3606,"duration_ms":25522,"temperature":1.0,"reasoning_tokens":3498,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:00:30.223178+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the q-expansion of $f=\\psi^p(b)-b$ in $KO_0T_\\zeta$ at $p=2$ or $p=3$ to enough order and check the congruence $f \\equiv j^{-1} \\bmod p$ together with the identity $\\theta(f)=h(f)$ for a power series $h$; Proposition 5.2 cites this calculation to [13, 7.1] rather than performing it, so a mismatch would invalidate the presentation of $L_{K(1)}\\mathrm{tmf}$ and hence Theorem A.","supporting_citations":[{"cited_title":"Hopkins, K(1)-local E∞ -ring spectra, Topological modular forms, 2014, pp","cited_arxiv_id":null,"evidence_quote":"Supplies the presentation of $L_{K(1)}\\mathrm{tmf}$ as $T_\\zeta/(\\theta(f)-h(f))$ and the q-expansion identification $f \\equiv j^{-1} \\bmod p$ cited in Proposition 5.2."},{"cited_title":"2, 371–403","cited_arxiv_id":null,"evidence_quote":"Gives the additive equivalence $\\mathrm{tmf} \\simeq KO[j^{-1}]$ used to prove pro-freeness of $\\mathrm{tmf}_* \\to \\mathrm{tmf}_*\\mathrm{tmf}$, plus previous computations of $\\pi_*T_\\zeta$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the theory of free $\\theta$-algebras and $\\lambda$-rings that underlies every coefficient-ring computation in the paper."},{"cited_title":"666, American Mathematical Society, 1 999","cited_arxiv_id":null,"evidence_quote":"Supplies the $L$-completeness facts and the height-one exactness of direct sums on which pro-freeness and the Künneth arguments rest."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the relative injective resolution formalism and the $E_2$-page description for $K(n)$-local $E_n$-based Adams spectral sequences, adapted here to $L$-complete Hopf algebroids."},{"cited_title":"Milnor and John C","cited_arxiv_id":null,"evidence_quote":"Milnor–Moore Hopf algebra structure theory is used in the splitting argument proving $KO_*T_\\zeta$ is an extended comodule."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Mahler's theorem on binomial functions generates $\\mathrm{Maps}_{\\mathrm{cts}}(\\mathbb{Z}_p,\\mathbb{Z}_p)$, used to identify the $T(f)$-module structure and the coalgebra section."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces $L$-complete Hopf algebroids and their comodules, the framework that the paper extends with relative Ext and pro-freeness."}],"review_version":1}