{"id":"91fd2275-6f37-4d20-a9f3-048200652742","arxiv_id":"2505.11327","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A new equivariant Dennis trace from equivariant algebraic K-theory to a norm-based equivariant topological Hochschild homology is constructed, with fixed-point recovery of the known C_n trace and applications to A-theory.","lead":"This paper constructs a new Dennis trace map from equivariant algebraic K-theory to a group-equivariant version of topological Hochschild homology for finite groups. The map recovers a known cyclic trace on fixed points and produces traces from equivariant A-theory to free loop spaces.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The ΔC_n-fixed-point passage in Theorem 8.12 is not justified: the trace map is only shown to be G-equivariant, and the Morita map is only shown to be an equivalence on underlying spectra, not after ΔC_n-fixed points.","rationale":"The reader's weakest-assumption correctly identifies the unproven Morita equivalence after ΔC_n-fixed points as a serious gap. I agree that this is load-bearing. However, there is an earlier and arguably more basic gap in the same theorem: the Dennis trace is only constructed as a map of spectra with G-action, and no proof is supplied that it is ΔC_n-equivariant, which is necessary before Δ-fixed points can be taken at all. The paper's Remark 8.5 asserts this in a single sentence, but the zigzag in the proof of Theorem 8.2 contains a non-equivariant-looking 0-skeleton inclusion; the cited Δ-equivariance of the additivity equivalence does not by itself make the whole zigzag Δ-equivariant. This strengthens the conditional verdict rather than overturning it: the main existence theorem, Corollary 8.6, is constructed by a plausible route and the underlying Morita argument is credible, but the advertised recovery of the AGHKK trace in Theorem 8.12 is not currently supported by the written proof. No formal verification is available, and the paper itself leaves several technical lemmas to the reader. I therefore see no reason to change the reader's CONDITIONAL verdict, but I would ask the authors to supply a complete ΔC_n-equivariant representative of the trace map and a proof of the twisted Morita equivalence before the recovery claim is accepted.","tokens_in":40936,"tokens_out":29324,"duration_ms":304606,"concrete_test":"Test the fixed-point passage on a concrete example: take G=C_2 and R=F_4 with the standard C_2-action. (1) Write out the zigzag (8.4) and apply (-)^{ΔC_2} to each map. Check whether the left map (8.3) restricts to a map on Δ-fixed points: for a C_2-fixed 0-simplex d, compare t·1_d with 1_d in |Ncyc| under the cyclic operator; if they differ, the 0-skeleton inclusion is not Δ-equivariant and the fixed-point zigzag is not induced. (2) Compute the composite Morita map of Proposition 6.11 on the twisted cyclic bar Ncyc,C_2(Q Fun(EC_2,Q stPerf F_4)) and compare it with Ncyc,C_2(F_4) on π_0 and π_1. If either check fails, the recovery of the AGHKK trace in Theorem 8.12 is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing concern is the passage to ΔC_n-fixed points in Theorem 8.12, which is needed to recover the AGHKK trace map. Two unproved fixed-point properties are required. First, the Dennis trace of Theorem 8.2 is constructed only in the homotopy category of spectra with G-action; to form ΔC_n-fixed points, it must be a map of C_n×S1-spectra after giving the source the trivial S1-action. Remark 8.5 claims this follows from the additivity map being ΔC_n-equivariant, but the zigzag (8.4) also contains the 0-skeleton inclusion (8.3), which is not shown to be S1-equivariant: the image of a unit map for an object d is a 0-simplex, and the cyclic operator generally moves it away from the 0-skeleton. Thus the displayed zigzag does not automatically induce a map on Δ-fixed points. Second, Proposition 6.11 proves only that the Morita map is an isomorphism on underlying spectra; Theorem 8.12 then asserts 'the same is true for the twisted cyclic bar constructions' with no proof. This matters because the twisted cyclic bar is exactly what appears after ΔC_n-fixed points. Both gaps are load-bearing for the recovery of the AGHKK trace: Corollary 8.6 may still stand, but Theorem 8.12 is not established by the arguments given.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces an equivariant version of topological Hochschild homology, ETHH, defined for a finite group G as the norm N^{G×S1}_G(R) from genuine G-ring spectra to G×S1-spectra, together with a trivial-universe variant eTHH. It establishes Morita invariance (Theorem 6.6) and additivity (Corollary 7.3, Theorem 7.4), and shows that for G=C_n the geometric fixed points of ETHH recover twisted THH (Theorem 3.8). The main new result is an equivariant Dennis trace map tr: I^{R∞}_V K_G(R) → eTHH(R) (Corollary 8.6), built from the S•-construction, the additivity equivalence, and Morita maps. The paper further claims that for G=C_n the fixed points of this trace recover the trace map of Adamyk–Gerhardt–Hess–Klang–Kong (Theorem 8.12), and derives trace maps from the fixed points of coarse and genuine equivariant A-theory to free loop spaces (Proposition 8.17). The paper is careful to state that the trace map generally does not refine to a map of genuine G-spectra (Example 8.14).","tokens_in":41245,"tokens_out":8343,"duration_ms":81762,"significance":"If the main construction is correct, the paper provides a useful new foundation for equivariant trace methods: it relates equivariant algebraic K-theory to a norm-defined equivariant THH and proves structural properties (Morita invariance, additivity, geometric fixed-point identification with twisted THH). The paper is also commendably honest about the obstruction to refining the trace to genuine G-spectra. However, the proof that the fixed points recover the AGHKK trace (Theorem 8.12) contains two unproved fixed-point passages, and this recovery is an advertised headline result; until those gaps are closed, the claim is not established by the arguments given.","major_comments":[{"comment":"The equivariant Dennis trace is constructed in the homotopy category of spectra with G-action, but Theorem 8.12 passes to ΔC_n-fixed points. For this passage to be valid, the zigzag (8.4) must be a diagram of C_n×S1-spectra, with trivial S1-action on the source term. The right-hand additivity equivalence is ΔC_n-equivariant by Theorem 7.4, but the left-hand map (8.3), the inclusion of the 0-skeleton, is not shown to be S1-equivariant: under the cyclic operator, a 0-simplex unit map is generally carried into higher skeleta. Remark 8.5 asserts that the trace map is ΔC_n-equivariant without addressing this point, so the fixed-point zigzag used in Theorem 8.12 is not justified.","section":"§8, Remark 8.5 and zigzag (8.4)"},{"comment":"Proposition 6.11 proves only that the Morita map |Ncyc(QFun(EG,QstPerfR))|→|Ncyc(R)| is an isomorphism on underlying spectra. The proof of Theorem 8.12 asserts without proof that 'the same is true for the twisted cyclic bar constructions', i.e., that the Morita map remains an equivalence after applying ΔC_n-fixed points. Since the twisted cyclic bar construction is exactly what appears on the target side after the fixed-point passage, this missing property is load-bearing for the identification of the fixed-point Dennis trace with the AGHKK trace map. Without a proof of this fixed-point equivalence, Theorem 8.12 is not established.","section":"§8, proof of Theorem 8.12"}],"minor_comments":[{"comment":"The notation is inconsistent: the definition sets ETHH(C) = I^U_{R∞}|Ncyc(C)|, but the following sentence says 'we denote it by ETHH(C) := |Ncyc(C)|' for the spectrum with G×S1-action, conflicting with Remark 3.4, where the same object is called eTHH. Please use distinct notation for the genuine spectrum and the underlying spectrum with group action.","section":"Definition 4.15"},{"comment":"The proposition refers to 'Theorem 8.6', but the equivariant Dennis trace is Corollary 8.6; the cross-reference should be corrected.","section":"Proposition 8.17"},{"comment":"The sentence 'which, is an equivalence by the twisted additivity theorem' contains a stray comma; please rephrase.","section":"Theorem 7.4, proof"},{"comment":"The Mackey functor diagram is difficult to read, and the map labeled '±1' from Z to Z is not explained. Clarifying the sign convention would improve the example.","section":"Example 8.14"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about the non-refinement to genuine G-spectra, which is a strength. The main concern is that Theorem 8.12, one of the advertised headline results, depends on two fixed-point properties that are asserted without proof. I would encourage the editor to ask the authors to supply the missing arguments, since the underlying construction (Corollary 8.6) appears likely to be sound. The paper should not be accepted until the fixed-point passage is justified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"At its core this is a solid and honest paper: it defines a genuinely new equivariant THH (ETHH) as a G×S1 norm, proves the geometric-fixed-point comparison with twisted THH for cyclic groups, and assembles an equivariant Dennis trace from standard ingredients. The main construction—Corollary 8.6—looks sound, and the paper is unusually candid about its limitations, especially Example 8.14 showing that the trace does not refine to genuine G-spectra. The additivity and Morita invariance results for ETHH are real contributions. No parameter fitting, no invented shortcuts; the citation pattern is appropriate.\n\nThe soft spot is where the reader and the stress-test note put it: the proof of Theorem 8.12, which claims that the equivariant Dennis trace recovers the AGHKK trace after taking C_n-fixed points. The passage to ΔC_n-fixed points has two unproven steps. First, Remark 8.5 asserts that the trace map is ΔC_n-equivariant because the additivity map is; but the zigzag in (8.4) includes an inclusion of the 0-skeleton into the cyclic nerve, and that map is not visibly S1-equivariant. Second, Proposition 6.11 establishes a Morita equivalence on underlying spectra, but Theorem 8.12 needs the corresponding statement for the twisted cyclic bar constructions, and that is asserted with 'the same is true' and no proof. These are not invented problems: they are exactly the places where the fixed-point and twisted behaviors matter. The rest of Theorem 8.12 is a straightforward identification of the pieces once those two steps are supplied.\n\nI would not treat Theorem 8.12 as established by the written argument. Corollary 8.6 and the structural theorems appear to survive, and the gap is probably repairable, but the referee should ask for a real proof of the fixed-point passage and the twisted Morita claim. Minor issue: several technical lemmas (e.g. in Section 4) are left to the reader; that's acceptable for a research paper but worth noting.\n\nWho gets value: researchers in equivariant K-theory and trace methods, especially those working with C_n-rings and twisted THH. It deserves a serious referee and publication after revision. I'd bring it to a reading group to test the gap.","headline":"Genuinely new equivariant Dennis trace; the fixed-point passage in Theorem 8.12 needs repair before the AGHKK recovery claim is justified.","tokens_in":41812,"tokens_out":2328,"would_cite":true,"duration_ms":22830,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19D55","55P91"],"pacs":[],"model":"deepseek-v4-flash","headline":"Equivariant algebraic K-theory of a G-ring carries a trace map to a new equivariant topological Hochschild homology, recovering known traces at fixed points.","keywords":["equivariant algebraic K-theory","topological Hochschild homology","equivariant trace map","equivariant norms","twisted topological Hochschild homology","spectral categories","free loop space","A-theory"],"falsifier":"Check whether the comparison map of Proposition 6.11 induces an equivalence after taking fixed points of the diagonal copy of $C_n$ by computing its effect on homotopy groups of the twisted cyclic bar constructions; any nonzero kernel or cokernel would break the identification with the earlier trace. Alternatively, for a concrete coefficient ring such as the field of four elements with its nontrivial automorphism, compute the $C_2$-fixed point trace explicitly and compare it with the known trace; a mismatch would falsify the central theorem.","tokens_in":40719,"feed_emoji":"","tokens_out":12482,"duration_ms":113267,"temperature":0.7,"pith_summary":"The paper's aim is to give equivariant algebraic K-theory the same kind of computational tool that transformed ordinary algebraic K-theory: a trace map into a topological invariant. The authors define a new equivariant topological Hochschild homology by viewing the classical cyclic bar construction as a norm from G-ring spectra to spectra with $G\\times S^1$-action, and construct a trace map from genuine equivariant algebraic K-theory to this theory. When the group is trivial, the construction recovers the classical trace from algebraic K-theory to topological Hochschild homology. When the group is cyclic, taking fixed points reproduces the previously known trace from fixed-point equivariant K-theory to twisted topological Hochschild homology. The same framework yields trace maps from fixed points of equivariant A-theory to free loop spaces.","feed_headline":"Equivariant K-theory gains a trace to equivariant THH","feed_subtitle":"Fixed points recover the known trace map, and A-theory maps into free loop spaces.","key_machinery":"The load-bearing object is the equivariant norm $N^{G\\times S^1}_G(R)$, built from the cyclic bar construction after changing universe; it turns a $G$-ring spectrum into a genuine $G\\times S^1$-spectrum. The key identity is the geometric-fixed-point formula for the diagonal subgroup: for a cofibrant $C_n$-ring spectrum, the geometric fixed points at the diagonal copy of $C_n$ in $C_n\\times S^1$ recover twisted topological Hochschild homology. This identity is what converts the fixed-point-level trace of earlier work into an equivariant map. The trace construction itself uses a chain of module-category adjunctions between the category of perfect modules and the one-object spectral category of the ring, together with an additivity equivalence for cyclic bar constructions.","core_discovery":"The central discovery is that the classical trace map from algebraic K-theory to topological Hochschild homology can be refined to an equivariant map of spectra with G-action, rather than existing only on fixed points. Concretely, for a cofibrant $G$-ring spectrum $R$ the paper constructs a map $I^{R^\\infty}_V K_G(R) \\to eTHH(R)$ in the homotopy category of spectra with $G$-action, where $K_G(R)$ is genuine equivariant algebraic K-theory and $eTHH(R)$ is the cyclic bar construction of $R$ with its combined $G$ and circle action. The paper proves this map is the ordinary trace when $G$ is trivial, and that for cyclic $G$ its fixed points agree with the trace map from previous work, $K_{C_n}(R)^{C_n} \\to THH^{C_n}(R)$. It also establishes that the equivariant topological Hochschild homology is invariant under a module-category equivalence, satisfies additivity, and is a multiplicative norm $N^{G\\times S^1}_G(R)$.","pith_inferences":["The recovery of the earlier cyclic-group trace inherits a gap: the paper asserts without proof that a certain comparison map remains an equivalence after taking fixed points of the diagonal subgroup; supplying that proof would close the only noted gap in the identification.","The geometric-fixed-point formula suggests that fixed points at other subgroups of the circle in the cyclic case should compute other twisted Hochschild-type invariants, though the paper only carries out the diagonal case.","Since the equivariant trace does not refine to a map of genuine G-spectra, a natural next step is to seek a refined construction that is genuinely equivariant at the cost of using a smaller or altered notion of equivariant K-theory; the paper provides evidence that the fixed-point-level traces are the natural output of the current definitions."],"forward_implications":["Every cofibrant G-ring spectrum acquires a trace map from its equivariant algebraic K-theory to the new equivariant topological Hochschild homology, recovering the classical trace when G is trivial.","For cyclic groups, the fixed points of the new trace map agree with the previously constructed trace from fixed-point equivariant K-theory to twisted topological Hochschild homology.","The new equivariant topological Hochschild homology is invariant under passage to equivalent module categories and satisfies additivity, so computations can be carried out after replacing a category by a simpler equivalent one.","The norm description makes equivariant topological Hochschild homology accessible through geometric fixed points, giving a route to concrete computations.","Fixed points of both forms of equivariant A-theory receive trace maps to the suspension spectrum of the free loop space of the underlying space."],"supporting_citations":[{"why":"supplies the norm model of topological Hochschild homology and the definition of twisted topological Hochschild homology used as the target of the fixed-point trace","marker":"[5]"},{"why":"constructs the trace map from fixed-point equivariant algebraic K-theory to twisted topological Hochschild homology that this paper recovers","marker":"[2]"},{"why":"supplies the cyclic bar construction for spectral categories and the two-sided bar argument used to compare cyclic nerves","marker":"[12]"},{"why":"gives the framework for spectral categories with an underlying category of cofibrations, the S-construction, and the twisted trace used in the cyclic-group identification","marker":"[16]"},{"why":"gives the non-equivariant trace map and the additivity theorem for such spectral categories, generalized here","marker":"[17]"},{"why":"supplies the norm functor for finite groups used to define the new equivariant topological Hochschild homology","marker":"[30]"},{"why":"supplies the definitions of equivariant algebraic K-theory and equivariant A-theory that form the domain of the trace map","marker":"[34]"},{"why":"gives the foundations of orthogonal G-spectra, including change-of-universe and fixed-point functors used throughout","marker":"[37]"}],"fun_headline_variants":["Equivariant K-theory gains a trace to THH","New equivariant trace map to THH","Equivariant trace methods for K-theory","Equivariant trace recovers known map on fixed points","Trace map extends to equivariant K-theory"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument depends on an unproved assertion that a comparison map between cyclic bar constructions, known to be an equivalence on underlying spectra, remains an equivalence after passing to the fixed points used to recover the cyclic-group trace; if that fixed-point comparison fails, the recovery of the earlier trace map would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Equivariant K-theory gains a trace to THH","New equivariant trace map to THH","Equivariant trace methods for K-theory","Equivariant trace recovers known map on fixed points","Trace map extends to equivariant K-theory"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001023,"raw_usage":{"total_tokens":4329,"prompt_tokens":977,"completion_tokens":3352,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":593,"completion_tokens_details":{"reasoning_tokens":3277}},"tokens_in":593,"tokens_out":3352,"duration_ms":21934,"temperature":1.0,"reasoning_tokens":3277,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:55:30.801972+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check whether the comparison map of Proposition 6.11 induces an equivalence after taking fixed points of the diagonal copy of $C_n$ by computing its effect on homotopy groups of the twisted cyclic bar constructions; any nonzero kernel or cokernel would break the identification with the earlier trace. Alternatively, for a concrete coefficient ring such as the field of four elements with its nontrivial automorphism, compute the $C_2$-fixed point trace explicitly and compare it with the known trace; a mismatch would falsify the central theorem.","supporting_citations":[{"cited_title":"Blumberg, Teena Gerhardt, Michael A","cited_arxiv_id":null,"evidence_quote":"supplies the norm model of topological Hochschild homology and the definition of twisted topological Hochschild homology used as the target of the fixed-point trace"},{"cited_title":"A shadow perspective on equivariant Hochschild homologies","cited_arxiv_id":null,"evidence_quote":"constructs the trace map from fixed-point equivariant algebraic K-theory to twisted topological Hochschild homology that this paper recovers"},{"cited_title":"Blumberg and Michael A","cited_arxiv_id":null,"evidence_quote":"supplies the cyclic bar construction for spectral categories and the two-sided bar argument used to compare cyclic nerves"},{"cited_title":"$K$-theory of endomorphisms, the $\\mathit{TR}$-trace, and zeta functions","cited_arxiv_id":"2005.04334","evidence_quote":"gives the framework for spectral categories with an underlying category of cofibrations, the S-construction, and the twisted trace used in the cyclic-group identification"},{"cited_title":"Campbell, John A","cited_arxiv_id":null,"evidence_quote":"gives the non-equivariant trace map and the additivity theorem for such spectral categories, generalized here"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the norm functor for finite groups used to define the new equivariant topological Hochschild homology"},{"cited_title":"Equivariant A-theory","cited_arxiv_id":null,"evidence_quote":"supplies the definitions of equivariant algebraic K-theory and equivariant A-theory that form the domain of the trace map"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"gives the foundations of orthogonal G-spectra, including change-of-universe and fixed-point functors used throughout"}],"review_version":1}