{"id":"17c81b6d-7161-405f-9a75-8feae2b89b8d","arxiv_id":"1908.05165","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper restates equivariant index and eta invariants as heat kernel coefficients, with the main theorems quoted from prior work and the full proofs deferred.","lead":"This expository paper outlines how the equivariant index and eta invariant can be studied through heat kernel asymptotics that may contain logarithmic terms. It is a useful survey for specialists, but the new formulas promised in the abstract are not fully derived and mostly restate prior work.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.1 depends on the unproved assertion in Remark 2.3 that multiplying the equivariant heat trace by D_rho preserves the log-term expansion; if a t^0 log t term appears, the eta invariant's pole at 0 changes and the APS formula needs reworking.","rationale":"The reader rejected the paper because the central claims are quoted or deferred rather than derived. My independent read agrees that Theorem 4.1 is not established in this preprint, but I want to identify the precise technical hinge: the rho-isotypical eta function must be meromorphic at 0 with the correct pole structure, and the boundary calculation must be reworked when log terms are present. The paper's own Remark 2.3 is explicitly deferred to future work, and Section 4 uses that expansion without derivation. This is a correctness risk, not merely a novelty concern: an unchecked t^0 log t term would change the pole order of eta at 0 and could introduce a residue correction to the index formula, so the formula as stated is conditional. The concrete test of a low-dimensional example with singular strata would settle whether the log-term pathology actually occurs and, if it does, whether the formula needs modification. Because the identified gap is exactly the reason the reader's REJECT verdict is appropriate, the verdict remains UNCHANGED. My concern is more specific than the reader's weakest assumption: I focus on the consequence of Remark 2.3 for the pole of the eta function and the APS formula rather than on the quoted expansion Theorem 2.1 itself, so agreement with the reader is partial.","tokens_in":13060,"tokens_out":7416,"duration_ms":75927,"concrete_test":"Perform the substitution of D_rho into the equivariant heat-kernel construction of [9, Thm. 4] for a concrete action with singular strata, for example SO(2) acting by rotations on S^2 or Z_4 acting on T^2, and compute the first few nontrivial coefficients of Tr[D_rho e^{-tD_rho^2}] as t -> 0. If a t^0 log t term (or any j > 0 term at i >= 0) appears, re-derive Theorem 4.1 including that term and check whether the index formula becomes indD_rho = a^{+,00}_rho - a^{-,00}_rho - 1/2(h_rho + c_0) + correction involving the residue. If no such term appears, the main remaining gap is the missing proof of Remark 2.3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem 4.1, the equivariant APS formula. Its derivation in Section 4 passes from the non-equivariant calculation to the rho-isotypical case by replacing spec DN with spec DN,rho and asserting that the calculation in [2, p. 56] goes through unchanged. This requires the unproved assertion in Remark 2.3: Tr[D_rho e^{-tD_rho^2}] has an asymptotic expansion sum_{i >= -m_G-1, 0 <= j <= T(M,G)} t^{i/2} (log t)^j b^{ij}_rho, with no new log powers beyond those in Theorem 2.1. The paper explicitly says the proof is deferred to a future article. The problem is not merely expository: if a t^0 log t term occurs in K_rho(t), the Mellin transform in (4.10) develops a double pole at z = 0, so eta_DN,rho has a pole of order 2 at 0. The constant term c_0 is still related to the t^0 coefficient of K_rho, but the t^0 log t coefficient enters the residue, and the step 'using the calculation as in [2, p. 56]' must be reworked to show that indD_rho equals a^{+,00}_rho - a^{-,00}_rho - 1/2(h_rho + c_0) rather than an expression involving the residue. The paper does not provide that reworking, and it does not rule out nonzero log coefficients; Remark 2.2 states that no example with non-vanishing log terms is known, so the possibility is not excluded. Thus the main formula is conditional on the deferred analysis.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies first-order elliptic differential operators on compact manifolds with an isometric action of a compact Lie group G, focusing on the equivariant eta invariant and the equivariant index. Section 2 reviews the spectral theory of such operators and, using the Brüning–Heintze equivariant heat-kernel expansion with powers t^{i/2}(log t)^j, defines the eta function of the ρ-isotypical component D_ρ and states its meromorphic continuation. Section 3 derives a formula for the equivariant index as the difference of two constant heat coefficients. Section 4 extends the Atiyah–Patodi–Singer boundary-value calculation to the ρ-isotypical setting and states Theorem 4.1, indD_ρ = a^{+,00}_ρ − a^{-,00}_ρ − 1/2(h_ρ + η_{DN,ρ}), where h_ρ is the dimension of the kernel of DN,ρ and η_{DN,ρ} is the constant term in the Laurent expansion of the equivariant eta function at 0. Section 5 provides examples involving equivariant Euler characteristics, Dolbeault operators on CP^n, and the boundary signature operator on lens spaces. The paper is explicitly expository, and several key steps are quoted from earlier works or deferred to a future article.","tokens_in":13408,"tokens_out":5272,"duration_ms":54725,"significance":"If Theorem 4.1 were fully established, it would give a meaningful equivariant generalization of the Atiyah–Patodi–Singer index formula, with the eta invariant depending on the whole group at once and with integer-valued indices for isotypical components. The examples in Section 5 are instructive, and the lens-space calculation in Section 5.3 provides a concrete consistency check. However, as written the central result is conditional: the passage from the non-equivariant APS proof to the ρ-isotypical case relies on an unproved assertion about the heat expansion of Tr[D_ρ e^{-tD_ρ^2}], and the paper itself states that the proof of this assertion is deferred to a more detailed article. The paper is honest about this gap, but the gap is load-bearing rather than cosmetic. No machine-checked proofs or numerical verifications are included, and the quoted expansion from [9] is not reproduced.","major_comments":[{"comment":"The central formula is not proven in the manuscript. The transition from the non-equivariant calculation to the isotypical statement consists of the sentence \"Then we can use the calculation as in [2, p. 56] to prove the following with (4.16)\", followed immediately by the statement of Theorem 4.1. Since the calculation in [2] does not involve the equivariant log-term expansions, this is not a self-contained proof. The authors should either include the full proof or explicitly label Theorem 4.1 as a conjecture conditional on the expansion asserted in Remark 2.3.","section":"Section 4, proof of Theorem 4.1"},{"comment":"The assertion that multiplying the equivariant heat trace by D_ρ \"would only change the coefficients\" and would not alter the qualitative log-term structure is exactly the point that needs proof. If the expansion of Tr[D_ρ e^{-tD_ρ^2}] contained a t^0 log t term, then the Mellin transform in equation (4.10) could develop a double pole at z=0, and the constant term of the eta function at 0 would no longer be determined solely by the t^0 coefficient; the residue would enter as well. The paper does not rule out such terms, and Remark 2.2 explicitly says that no example with nonvanishing log terms is known. Therefore the final formula in Theorem 4.1 is not justified by the argument presented.","section":"Remark 2.3"},{"comment":"Theorem 3.1, indD_ρ = a^{+,00}_ρ − a^{-,00}_ρ, is essentially a rewriting of the equivariant McKean–Singer identity using the coefficients defined by the expansion quoted in Theorem 2.1. No independent computation of the coefficients a^{±,00}_ρ is provided, so the statement is more an identity than a new index formula. If the intended contribution is purely conceptual, this should be stated explicitly; if it is meant to be a computable formula, the paper needs to show how these coefficients can be evaluated or approximated.","section":"Section 3, Theorem 3.1"}],"minor_comments":[{"comment":"There is a spurious brace after \"eta invariant}\" in the abstract; this should be corrected.","section":"Abstract"},{"comment":"Equation (4.14) writes an integral over [0,1] where equation (4.10) has an integral over [0,∞); the equivalence involving the exponentially decaying tail is not explicitly stated and should be clarified.","section":"Section 4, equations (4.10) and (4.14)"},{"comment":"In the displayed formula for even n, the factor \"sin(kℓπ/m) sin(kℓπ/m)\" appears to be a typographical duplication; the intended expression should be either a single sine or a squared sine, and the formula should be checked against [3, Prop. 2.12].","section":"Section 5.3, formula for η_{B_ℓ}(0)"},{"comment":"The reference \"the calculation as in [2, p. 56]\" is too vague for a reader to verify the isotypical analogue; the authors should cite the specific equation or lemma in [2] and explain how the group action modifies it.","section":"Section 4, reference to [2, p. 56]"},{"comment":"The admission that no example with nonvanishing log terms is known is a notable limitation because the novelty of the approach is explicitly tied to such log terms; the paper would be strengthened by including even a model calculation showing that the log terms can appear in a concrete case.","section":"Remark 2.2"}],"recommendation":"major_revision","confidential_remarks":"The paper reads as a research announcement rather than a fully self-contained research article. The main theorem is not proved in the manuscript, and the proof is deferred to a future article; if the journal requires self-contained proofs for research papers, this may warrant rejection even after revision. Otherwise, the authors should provide the missing proof or clearly state the theorem as conditional on the Brüning–Heintze expansion and its multiplicative stability under D_ρ."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere's my read of arXiv:1908.05165. The paper is exactly what it says on the tin: an expository note on equivariant elliptic operators, isotypical index, and eta invariant. The exposition is clear and honest; the authors point to prior work by Bruning-Heintze, Atiyah-Patodi-Singer, Donnelly, and Goette, and they don't hide that the details are in a forthcoming longer paper. That's a point in its favor.\n\nWhat's actually new is the specific formulation of an equivariant APS formula with a rho-dependent eta invariant, Theorem 4.1. The statement is attractive, and the examples in Section 5 – especially the lens-space eta computation – are worked out and check out. For someone entering the area, this is a useful map of the known results and the intended generalization.\n\nThe soft spot is real and central: Theorem 4.1 is not proved. The proof is deferred to 'our more detailed work,' and the key step – Remark 2.3 – asserts that multiplying the equivariant heat trace by D_rho changes coefficients but not the qualitative form of the log expansion. That assertion is plausible but unproved, and the authors themselves note that no example with nonzero log terms is known. If a t^0 log t term appears, the Mellin transform acquires a double pole at zero, and the constant-term calculation in [2, p. 56] needs reworking. The stress-test note is right: this is not a cosmetic gap. The formula might hold, but the paper doesn't show it.\n\nThere's also a smaller point: Theorem 3.1 is essentially the McKean-Singer identity dressed up with equivariant coefficients, and the group-dependent eta invariant is defined but not computed in any nontrivial elliptic case where it would differ from the existing one-parameter versions. So the genuinely new content is thinner than the abstract suggests.\n\nI'd say this is a solid survey, but not a self-contained research paper. The central new theorem is a promise, not a result. If it came to me as an editor, I wouldn't send it to a referee as is; I'd send it back with an invitation to either include the proof or make the paper explicitly an announcement. It might be fine for a proceedings volume or an expository journal after some revision.\n\nFor you: if you want a concise entry point to equivariant heat asymptotics, this is worth a skim. But I wouldn't cite it for the APS formula yet.","headline":"A clear expository survey, but the central equivariant APS theorem is stated without proof and its key log-term assertion is unverified, so it reads as an announcement rather than a complete paper.","tokens_in":13945,"tokens_out":4754,"would_cite":false,"duration_ms":44598,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58J20","58J28","58J35","57S15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Each group representation gets its own equivariant index formula, complete with log-term heat corrections and boundary eta invariants.","keywords":["equivariant index","eta invariant","equivariant eta invariant","heat kernel asymptotics","logarithmic terms","Atiyah-Patodi-Singer","isotypical component","compact Lie group action"],"falsifier":"Run the $T^2/\\mathbb{Z}_4$ example of Section 5.3 through Theorem 4.1: compute the equivariant heat coefficients $a^{+,00}_\\rho$ and $a^{-,00}_\\rho$ for the de Rham operator with a suitable boundary value problem and compare $\\operatorname{ind} D_\\rho$ with $a^{+,00}_\\rho - a^{-,00}_\\rho - \\frac{1}{2}(h_\\rho + \\eta_{D_N,\\rho})$; equality for all four characters would support the formula, a mismatch would refute it. More directly, search any $G$-action with two orbit-dimension strata for a nonzero $(\\log t)^1$ coefficient in $\\operatorname{Tr}[e^{-t D_\\rho^2}]$; Theorem 2.1 predicts only finitely many log powers, and the identification of the $a^{+,00}$ terms as indices would collapse if new log powers appeared.","tokens_in":12843,"feed_emoji":"🧮","tokens_out":8144,"duration_ms":70353,"temperature":0.7,"pith_summary":"This paper establishes equivariant versions of the eta invariant and the index for a first-order elliptic operator that commutes with a compact Lie group action, working componentwise on the isotypical subspace $L^2(E)_\\rho$ of each irreducible representation $\\rho$. Its central result is an equivariant Atiyah--Patodi--Singer formula: for a $G$-invariant boundary value problem, $\\operatorname{ind} D_\\rho = a^{+,00}_\\rho - a^{-,00}_\\rho - \\frac{1}{2}(h_\\rho + \\eta_{D_N,\\rho})$, where $h_\\rho$ is the nullity of the boundary operator and $\\eta_{D_N,\\rho}$ is the constant term of the rho-isotypical eta function at zero. The formulas are built from equivariant heat asymptotics that may contain powers of $\\log t$, and the eta invariant here depends on the whole group at once rather than on a single group element. The paper also proves that the equivariant eta function is meromorphic with controlled possible poles, and it gives explicit examples on spheres, tori, complex projective spaces, and lens spaces. A reader cares because these are rho-component index formulas that incorporate logarithmic heat terms and group-level spectral asymmetry.","feed_headline":"Every representation of a symmetry group gets its own index formula","feed_subtitle":"Heat-trace expansion with log terms yields each rho-isotypical index, including boundary eta corrections.","key_machinery":"The load-bearing object is the equivariant heat trace of the projected operator $D_\\rho = P_\\rho D P_\\rho$, where $$P_\\rho s = d_\\rho \\int_G \\chi_\\rho(g)\\, g\\cdot s\\, dg$$ is the orthogonal projection onto the $\\rho$-isotypical component, built from the dimension $d_\\rho$ and character $\\chi_\\rho$ of $\\rho$. Its asymptotic expansion (Theorem 2.1, quoted from the equivariant heat-trace expansion theory) has the form $$\\operatorname{Tr}\\bigl[$e^{{-t D_\\rho^2}}$\\bigr] = \\sum_{i=-m_G}^{L}\\sum_{j=0}^{T(M,G)} $t^{{i/2}}$(\\log t)^j a_{ij}^\\rho + O\\bigl($t^{{(L+1)/2}}$\\bigr),$$ with $m_G$ the dimension of the principal orbit space and $T(M,G)$ the number of distinct orbit dimensions minus one. This expansion converts heat-trace information into index and eta invariants via Mellin transforms; the possible logarithmic powers are the main new technical feature, and the paper assumes the same structure survives multiplication by $D_\\rho$.","core_discovery":"The central discovery is that the index of a $G$-invariant first-order elliptic boundary value problem, taken on the isotypical subspace of an irreducible representation $\\rho$, satisfies $$\\operatorname{ind} D_\\rho = $a^{{+,00}}$_\\rho - $a^{{-,00}}$_\\rho - \\frac{1}{2}\\bigl(h_\\rho + \\eta_{D_N,\\rho}\\bigr),$$ where $h_\\rho = \\dim \\ker D_{N,\\rho}$ and $\\eta_{D_N,\\rho}$ is the constant term in the Laurent expansion of the rho-isotypical eta function at $0$. The same machinery yields a closed-manifold equivariant index formula $\\operatorname{ind} D_\\rho = a^{+,00}_\\rho - a^{-,00}_\\rho$ (Theorem 3.1) and a meromorphy statement for $\\eta_{D_\\rho}$ (Theorem 2.5). The proof pattern follows the non-equivariant Atiyah--Patodi--Singer route: derive heat-kernel asymptotics, apply the Mellin transform, and read off the index from the constant coefficient, with the new feature that the equivariant heat trace can contain powers of $\\log t$.","pith_inferences":["A transversally elliptic version, announced but not developed here, would likely require the same isotypical projection but with a more delicate spectrum; the bound $T(M,G)$ suggests each additional orbit-dimension stratum may add a log power, so the formula may acquire extra finite parts.","For finite groups, the lens-space computation shows how the whole-group eta invariant is built from sums over nontrivial group elements; extracting a general consistency relation between this invariant and the single-element equivariant eta would be a natural next step.","No example with nonzero logarithmic heat coefficients is known; a targeted search among group actions with several orbit types could either confirm that the log terms are a formal necessity or reveal that the expansion sharpens, changing the practical content of Theorems 2.5 and 4.1."],"forward_implications":["On a closed $G$-manifold, the $\\rho$-index is the $t^0(\\log t)^0$ coefficient difference $a^{+,00}_\\rho - a^{-,00}_\\rho$, so index computations reduce to evaluating equivariant heat coefficients.","For boundary value problems, the $\\rho$-index is determined by the interior heat coefficients together with the boundary nullity $h_\\rho$ and the whole-group eta invariant $\\eta_{D_N,\\rho}$, giving an equivariant analogue of the APS formula.","The equivariant eta function for $D_\\rho$ is meromorphic with possible multiple poles only at $\\{-(i+1)/2 : i \\ge -m_G - 1\\}$, so $\\eta_{D_N,\\rho}(0)$ is meaningful as a Laurent constant term even in the presence of logarithmic heat terms.","In examples with finite group actions, rho-component indices can be computed from harmonic forms alone (spheres, $T^2/\\mathbb{Z}_4$), which shows that geometric integrands on the principal stratum are insufficient for these invariants."],"supporting_citations":[{"why":"Supplies the equivariant heat trace asymptotic expansion (Theorem 2.1) with $t^{i/2}(\\log t)^j$ terms that the whole index and eta argument rests on.","marker":"[9]"},{"why":"Provides the non-equivariant APS index theorem and the cylinder decomposition ($K(t)$, boundary conditions, Mellin transform) that Section 4 adapts to the rho-isotypical setting.","marker":"[2]"},{"why":"Gives the boundary signature operator and the representation-twisted eta computations for lens spaces used in Example 5.3.","marker":"[3]"},{"why":"Establishes the growth rate $O(t^{-(m_G+1)/2})$ for the equivariant heat trace that controls the eta function's meromorphic behavior.","marker":"[8]"},{"why":"Supplies the asymptotic expansion of integrals over $G \\times U$ used in Remark 2.4 for equivariant heat kernels over saturated sets.","marker":"[7]"},{"why":"Earlier fixed point formula for equivariant index and eta on $G$-spaces, used to contrast the single-element eta with the paper's whole-group eta.","marker":"[10]"}],"fun_headline_variants":["New index formula for every representation of a symmetry group","Equivariant heat trace with logs yields per-representation indices","Each group representation now has its own Atiyah-Patodi-Singer index","Logarithmic heat kernels unlock isotypical index formulas","Eta invariant for the whole group, not just individual representations"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the equivariant heat trace of the projected operator having an asymptotic expansion in powers of $t^{1/2}$ and powers of $\\log t$ with at most $T(M,G)$ log powers, and on the assertion that multiplying the heat kernel by $D_\\rho$ preserves that expansion.","fun_headline_variants_meta":{"raw":{"variants":["New index formula for every representation of a symmetry group","Equivariant heat trace with logs yields per-representation indices","Each group representation now has its own Atiyah-Patodi-Singer index","Logarithmic heat kernels unlock isotypical index formulas","Eta invariant for the whole group, not just individual representations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000901,"raw_usage":{"total_tokens":3884,"prompt_tokens":958,"completion_tokens":2926,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":574,"completion_tokens_details":{"reasoning_tokens":2840}},"tokens_in":574,"tokens_out":2926,"duration_ms":18840,"temperature":1.0,"reasoning_tokens":2840,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:21:26.836176+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the $T^2/\\mathbb{Z}_4$ example of Section 5.3 through Theorem 4.1: compute the equivariant heat coefficients $a^{+,00}_\\rho$ and $a^{-,00}_\\rho$ for the de Rham operator with a suitable boundary value problem and compare $\\operatorname{ind} D_\\rho$ with $a^{+,00}_\\rho - a^{-,00}_\\rho - \\frac{1}{2}(h_\\rho + \\eta_{D_N,\\rho})$; equality for all four characters would support the formula, a mismatch would refute it. More directly, search any $G$-action with two orbit-dimension strata for a nonzero $(\\log t)^1$ coefficient in $\\operatorname{Tr}[e^{-t D_\\rho^2}]$; Theorem 2.1 predicts only finitely many log powers, and the identification of the $a^{+,00}$ terms as indices would collapse if new log powers appeared.","supporting_citations":[{"cited_title":"Br¨ uning and E","cited_arxiv_id":null,"evidence_quote":"Supplies the equivariant heat trace asymptotic expansion (Theorem 2.1) with $t^{i/2}(\\log t)^j$ terms that the whole index and eta argument rests on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the non-equivariant APS index theorem and the cylinder decomposition ($K(t)$, boundary conditions, Mellin transform) that Section 4 adapts to the rho-isotypical setting."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the boundary signature operator and the representation-twisted eta computations for lens spaces used in Example 5.3."},{"cited_title":"Br¨ uning and E","cited_arxiv_id":null,"evidence_quote":"Establishes the growth rate $O(t^{-(m_G+1)/2})$ for the equivariant heat trace that controls the eta function's meromorphic behavior."},{"cited_title":"Br¨ uning,On the asymptotic expansion of some integrals","cited_arxiv_id":null,"evidence_quote":"Supplies the asymptotic expansion of integrals over $G \\times U$ used in Remark 2.4 for equivariant heat kernels over saturated sets."},{"cited_title":"Donnelly, Eta invariants for G-spaces, Indiana Univ","cited_arxiv_id":null,"evidence_quote":"Earlier fixed point formula for equivariant index and eta on $G$-spaces, used to contrast the single-element eta with the paper's whole-group eta."}],"review_version":1}