{"id":"01a97f0a-0967-4674-a57a-8911c224a920","arxiv_id":"2506.07867","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For cellular toroidal embeddings of a complex reductive group, the equivariant topological K-ring is described explicitly as an algebra over the equivariant K-ring of the wonderful compactification.","lead":"This paper computes the equivariant topological K-ring of a class of possibly singular compactifications of complex reductive groups called cellular toroidal embeddings. The result packages the K-ring as a tensor product of the K-ring of the wonderful compactification with a ring of piecewise Laurent polynomial functions determined by a fan.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 8.3, on which Theorem 1.2 directly depends, is asserted without proof for the non-complete toric variety X_+, while the cited result applies only to complete toric varieties.","rationale":"The reader's weakest assumption correctly identifies that completeness is not stated in the main theorems and that Theorem 4.9 requires completeness. My concern sharpens this: even if X is assumed complete, the auxiliary toric variety X_+ is necessarily non-complete whenever roots exist, and Theorem 8.3 — the only proof of the P LP(F+) identification — is skipped with a citation to a complete-case theorem. This is the most load-bearing soft spot because Theorem 8.3 feeds directly into Theorem 1.2, Corollary 9.8, and Theorem 9.9: without the R(eTcomp)-algebra isomorphism K0_{eTcomp}(X_+) ≅ P LP(F+), the tensor product formula has no defined right-hand ring. I do not claim the statement is false; the blow-up of A^2 example suggests the isomorphism may still hold. But the paper does not supply the argument, and the cited result cannot be invoked as is because X_+ is not complete. A concrete computation of a nontrivial two-dimensional example would either verify the isomorphism or find a counterexample. Since the verdict is already CONDITIONAL and this concern reinforces that assessment rather than overturning it, I recommend no change to the reader's verdict.","tokens_in":37880,"tokens_out":18527,"duration_ms":236901,"concrete_test":"Work with G = SL_3, so the positive chamber is a 2-dimensional cone. Let F+ be the subdivision obtained by inserting the ray through the sum of the two simple coroots; then X_+ is the total space of O(-1) over P^1, a non-complete cellular toric variety. Compute K0_{Tcomp}(X_+) directly using the T-equivariant homotopy equivalence X_+ ≃ P^1 and the known GKM description of K0_{Tcomp}(P^1), then compute P LP(F+) explicitly from the two maximal cones and the shared ray. Compare the two rings as R(Tcomp)-algebras. If they are not isomorphic, Theorem 8.3 is false and Theorem 1.2 fails; if they are isomorphic, the proof gap is likely fillable and the concern becomes purely expository.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central formula K0_{eTcomp}(X_+) ≅ P LP(F+) appears in Theorem 1.2 and Corollary 9.8, and is stated as Theorem 8.3. Its proof is skipped: the paper says it follows exactly as in [34, Theorem 5.6] (their Theorem 5.5) with A replaced by A+ and P LP(Σ) replaced by P LP(F+). But [34, Theorem 5.6] is stated for a complete T-cellular toric variety, and the completeness assumption is used in Section 4 to prove freeness and injectivity of restriction to fixed points (Theorem 4.1, Proposition 4.2, Theorem 4.9). In contrast, X_+ = X(F+) has fan F+ whose support is the positive Weyl chamber, which is a proper cone whenever roots exist, so X_+ is not complete. Thus the proof of Theorem 8.3 does not follow from the cited result without a new argument. This matters because the R(eTcomp)-algebra structure of K0_{eTcomp}(X_+) is what makes the tensor product in Theorem 9.7 an algebra and the ordinary K-ring formula in Theorem 9.9 computable. If Theorem 8.3 is false, Theorem 1.2 collapses even if the GKM description of X is correct. The paper also nowhere states completeness of X in the main theorems, which compounds the problem: even if one assumed X complete, X_+ would remain non-complete, so the gap is not removed by adding completeness to Theorem 1.2.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the eG_comp×eG_comp-equivariant topological K-ring K^0_{eGcomp×eGcomp}(X) of a cellular toroidal embedding X of a complex connected reductive group G. It develops a GKM-type description for complete T-cellular varieties (Theorem 4.9), proves that a toroidal embedding is T×T-cellular if and only if its associated toric variety X is T-cellular (Theorem 6.4), and classifies the T×T-stable curves (Propositions 7.1 and 7.2). The main structural result is Theorem 9.7/Corollary 9.8: K^0_{eGcomp×eGcomp}(X) is isomorphic to K^0_{eGcomp×eGcomp}(G_ad) ⊗_{R(eTcomp)} P LP(F_+), yielding the ordinary K-ring in Theorem 9.9.","tokens_in":38164,"tokens_out":16461,"duration_ms":199977,"significance":"If correct, the paper gives a complete and computable description of the equivariant topological K-ring for a class of possibly singular group embeddings, extending earlier algebraic K-theory results for regular embeddings and providing the topological analogue of Gonzales's operational K-theory. The paper contains complete proofs of the GKM theorem for complete T-cellular varieties and of the invariant-curve classification; these are useful contributions in their own right. However, the central theorem rests on an unproved identification of K^0_{eTcomp}(X_+) with P LP(F_+) for the non-complete toric variety X_+, and on skipped proofs of Theorems 9.5 and 9.6. These gaps need to be repaired before the main claim can be considered established.","major_comments":[{"comment":"The proof of Theorem 8.3 is omitted, and the cited result [34, Theorem 5.6] (Theorem 5.5 of this paper) is stated for a complete T-cellular toric variety. The fan F_+ subdivides the positive Weyl chamber C_+, whose support is a proper cone whenever the root system is nonempty; hence X_+ = X(F_+) is not complete. The freeness and injectivity results that prove the P LP description (Theorems 4.1 and 4.9) are proved in Section 4 under the explicit compactness assumption, not for arbitrary T-cellular varieties. Thus the proof of Theorem 8.3 does not follow from the cited theorem. This is load-bearing: Theorem 1.2, Corollary 9.8, Theorem 9.7, and Theorem 9.9 all use K^0_{eTcomp}(X_+) ≅ P LP(F_+). Please supply a proof for T-cellular toric varieties whose fans have non-complete support, or otherwise justify the reduction.","section":"Section 8, Theorem 8.3"},{"comment":"The main theorems do not state completeness of X as a hypothesis. Section 4 begins with the sentence \"We shall assume that the T-cellular variety X is compact,\" and Theorem 4.9 is applied to X in Theorem 9.1. If completeness is implicit in the term \"toroidal embedding\", the convention should be made explicit in the statements; if not, the applications of Theorem 4.9 lack a needed hypothesis. This issue is independent of the non-completeness of X_+, so it should be settled in the statement of the main theorems.","section":"Theorems 1.1, 1.2, 9.1, 9.7"},{"comment":"The proofs of Theorems 9.5 and 9.6 are skipped, with references to [33, Theorems 2.1 and 2.2] and the phrase \"similar arguments\". These theorems provide the direct-sum decomposition (9.40) and the multiplication rule (9.41), which are precisely the ring-structure facts needed for the tensor-product algebra isomorphism in Theorem 9.7. Because the present setting replaces algebraic equivariant K-theory by topological equivariant K-theory, allows X to be singular, and would depend on the unproved Theorem 8.3, the reduction to [33] is not a formality. Please give the arguments or a precise verification that the hypotheses of [33] hold here.","section":"Section 9.1, Theorems 9.5 and 9.6"}],"minor_comments":[{"comment":"In the displayed formula for Z_{i,j}, the factor (w_1^{-1},w_1^{-1})·F_j appears, while the following equality uses (w_1^{-1},w_2^{-1})·X_{\\nu_0,x_j}; the first appearance is presumably a typo for (w_1^{-1},w_2^{-1})·F_j.","section":"Section 6, proof of Proposition 6.3(2)"},{"comment":"For the non-compact space X_+, the notation K^0_{Tcomp}(X_+) is ambiguous: Section 2 defines compactly supported K^0_{Gcomp,c} for non-compact spaces, but later sections omit the subscript c. Please state explicitly whether Theorem 8.3 concerns global or compactly supported equivariant K-theory, and adapt the tensor products in Theorem 9.7 and Corollary 9.8 accordingly.","section":"Sections 2 and 8"},{"comment":"The assertion that F_+ satisfies [34, Assumption 5.5] is not demonstrated in the text, and that assumption is not reproduced; readers need its exact statement and a verification for the polytopal complex associated to F_+ in order to check the reduction.","section":"Section 8, Theorem 8.3"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies heavily on the authors' previous work [32–35]; this is acceptable in principle, but here the key non-complete toric statement is not covered by the cited complete-case theorem. In revision, the authors should present a proof of Theorem 8.3 and of the ring-structure theorems rather than asking the reader to take the reduction on faith. I do not see grounds for rejection if those proofs are supplied."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper does something genuinely useful: it extends the authors' earlier work on regular embeddings to a topological K-ring computation for possibly singular cellular toroidal embeddings, and it proves a clean GKM theorem for general complete T-cellular varieties. The cellularity criterion (Theorem 6.4) and the classification of T×T-stable curves (Proposition 7.2) are proved in detail and look right. The main tensor product formula is coherent and matches the existing algebraic and toric results.\n\nThe soft spots are real. The most serious is Theorem 8.3. The proof is skipped with a citation to [34, Theorem 5.6], which is stated for complete toric varieties. But X_+ has fan F_+ whose support is the positive Weyl chamber, which is a proper cone whenever G has roots, so X_+ is not complete. The result may still be true, but it does not follow from the cited theorem without a new argument. This matters because the R(eTcomp)-algebra structure of K^0_{eTcomp}(X_+) is what makes the tensor product in Theorem 9.7 an algebra and the ordinary K-ring formula computable.\n\nSecond, the main theorems never state that X is complete. Section 4 opens with \"We shall assume that the T-cellular variety X is compact,\" and the GKM theorem (Theorem 4.9) is proved under that assumption. The later sections apply Theorem 4.9 to X without ever saying X is complete. If the intended setting is complete toroidal embeddings, that should be stated; if not, the GKM argument needs to be redone without compactness.\n\nThird, the proofs of Theorems 9.5 and 9.6 are also skipped, with a pointer to [33]. That is less problematic because the argument is supposed to be identical in pattern, but a referee will want at least a precise statement of which parts transfer unchanged.\n\nThe citation pattern is heavy on the authors' own prior work, but not circular in a damaging way; the new GKM argument is independent. I believe the central formula is likely correct, but the gaps are load-bearing. This paper deserves a serious referee, and I would send it to review with the expectation of a revision that supplies a proof of Theorem 8.3 (or a reference to a non-complete version) and a clean completeness hypothesis in the statements.","headline":"Solid extension of the authors' program, but the key toric lemma is asserted without a valid proof, and the completeness hypotheses are missing.","tokens_in":38705,"tokens_out":5800,"would_cite":true,"duration_ms":63473,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19L47","55R91","14M27","57SXX"],"pacs":[],"model":"deepseek-v4-flash","headline":"For every cellular toroidal embedding of a complex reductive group, the equivariant topological K-ring is isomorphic to a tensor product of the K-ring of the wonderful compactification and a ring of piecewise Laurent polynomial functions…","keywords":["equivariant K-theory","toroidal embeddings","cellular varieties","GKM theory","wonderful compactification","piecewise Laurent polynomials","Bialynicki-Birula decomposition","toric varieties"],"falsifier":"Compute $K^0_{T_{\\mathrm{comp}}}(X_+)$ for a cellular toric variety whose fan $F_+$ subdivides the positive Weyl chamber but has a maximal cone $\\sigma$ with $\\sigma/N_{\\tau_i}$ not smooth; if the result is not isomorphic to $P LP(F_+)$ as an $R(T_{\\mathrm{comp}})$-algebra, then Theorem 8.3 and the tensor-product description of $K^0(X)$ fail.","tokens_in":37643,"feed_emoji":"🧮","tokens_out":7452,"duration_ms":76825,"temperature":0.7,"pith_summary":"This paper proves a structure theorem for the equivariant topological K-ring of a cellular toroidal embedding $X$ of a complex connected reductive group $G$. It shows that $K^0_{\\widetilde{G}_{\\mathrm{comp}}\\times\\widetilde{G}_{\\mathrm{comp}}}(X)$ is obtained from the equivariant K-ring of the wonderful compactification of the adjoint group and the K-ring of the toric variety $X_+$ associated to the positive fan, by a tensor product over the representation ring of a maximal torus. The factor $K^0_{T_{\\mathrm{comp}}}(X_+)$ is identified with $P LP(F_+)$, the ring of piecewise Laurent polynomial functions on the fan $F_+$. If the paper is correct, the equivariant K-ring of every cellular toroidal embedding is fully determined by the wonderful compactification and the combinatorial fan $F_+$, and the ordinary K-ring follows by forgetting equivariance.","feed_headline":"One tensor product formula fixes the K-ring of toroidal embeddings","feed_subtitle":"The equivariant K-ring of any cellular toroidal embedding reduces to the wonderful compactification and a fan of piecewise Laurent…","key_machinery":"The load-bearing mechanism is the GKM-type theorem for $T$-cellular varieties (Theorem 4.9): if every $T$-stable curve joining fixed points is a $\\mathbb{P}^1$, the number of outgoing curves at each fixed point equals the dimension of the tangent cell, and the acting characters are pairwise linearly independent (Assumption 4.7), then $K^0_{T_{\\mathrm{comp}}}(X)$ is exactly the subring $A$ of $R(T_{\\mathrm{comp}})^{X^T}$ consisting of tuples satisfying congruence conditions modulo $1-e^{\\chi}$ along each $T$-stable curve. For toroidal embeddings, Proposition 7.1 verifies these assumptions using the local isomorphism $U\\times U^-\\times X_0$ and smoothness of the Bialynicki-Birula cells. Cellularity of $X$ is shown (Theorem 6.4) to be equivalent to cellularity of the associated toric variety $X(F)$, so the fan combinatorics of $F_+$ controls everything. Weyl-group invariants then identify the $G$-equivariant ring via the dot action (Proposition 4.10).","core_discovery":"The central assertion is that for any cellular toroidal embedding $X$ of $G$, the $\\widetilde{G}_{\\mathrm{comp}}\\times\\widetilde{G}_{\\mathrm{comp}}$-equivariant topological K-ring is isomorphic, as an $R(\\widetilde{G}_{\\mathrm{comp}})\\otimes R(\\widetilde{G}_{\\mathrm{comp}})$-algebra, to $K^0_{\\widetilde{G}_{\\mathrm{comp}}\\times\\widetilde{G}_{\\mathrm{comp}}}(G_{\\mathrm{ad}})\\otimes_{R(\\widetilde{T}_{\\mathrm{comp}})} K^0_{\\widetilde{T}_{\\mathrm{comp}}}(X_+)$, where $G_{\\mathrm{ad}}$ is the wonderful compactification of the adjoint group and $K^0_{\\widetilde{T}_{\\mathrm{comp}}}(X_+)\\cong P LP(F_+)$. The proof proceeds by a GKM-type description of the $T\\times T$-equivariant K-ring as a subring of functions on the $T\\times T$-fixed points satisfying congruence conditions along $T\\times T$-stable curves, then passes to Weyl-group invariants to recover the $G\\times G$-equivariant ring. A direct-sum decomposition with an explicit Steinberg basis gives the module structure, and comparison with the corresponding decomposition for the wonderful compactification yields the tensor-product description. The ordinary K-ring then follows from weak equivariant formality as $K^0(X)\\cong K^0(G_{\\mathrm{ad}})\\otimes_{R(\\widetilde{T}_{\\mathrm{comp}})} P LP(F_+)$.","pith_inferences":["The same GKM framework likely extends to cellular spherical embeddings beyond group compactifications; the only inputs needed are a description of invariant curves and fixed points, so the method is probably portable to other spherical varieties with known fan combinatorics.","If the completeness hypothesis is truly unnecessary, the tensor-product formula would extend to partial compactifications of $G$, giving K-rings for non-proper group embeddings; this is a testable extension the paper does not explicitly claim.","The piecewise-Laurent-polynomial building block suggests that the equivariant K-ring of a toroidal embedding depends only on the subdivision $F_+$ of the positive Weyl chamber, so two embeddings with the same $F_+$ but differing behavior outside the chamber would have isomorphic equivariant K-rings.","One could test the formula numerically on low-rank examples, such as $G=\\mathrm{SL}(2)$ or $\\mathrm{PGL}(2)$ with small fans, by computing both sides via the GKM description and comparing the tensor-product decomposition."],"forward_implications":["The equivariant K-ring of every cellular toroidal embedding is explicitly determined by the wonderful compactification and the fan $F_+$; no further geometric input about $X$ is needed.","The ordinary topological K-ring is $K^0(X)\\cong K^0(G_{\\mathrm{ad}})\\otimes_{R(\\widetilde{T}_{\\mathrm{comp}})} P LP(F_+)$, giving a complete computation once the K-ring of the wonderful compactification is known.","The $\\widetilde{G}_{\\mathrm{comp}}\\times\\widetilde{G}_{\\mathrm{comp}}$-equivariant ring is a free module of rank $|W|$ over $K^0_{\\widetilde{T}_{\\mathrm{comp}}}(X_+)\\otimes R(\\widetilde{G}_{\\mathrm{comp}})$ with an explicit Steinberg basis and closed-form multiplication constants.","The results extend earlier descriptions for regular embeddings to singular cellular toroidal embeddings and provide a topological analogue of operational algebraic K-theory descriptions.","Cellular toroidal embeddings are weakly equivariantly formal for K-theory, so the forgetful map from equivariant to ordinary K-ring is surjective with kernel controlled by the augmentation ideal."],"supporting_citations":[{"why":"Supplies the GKM-type description and the $P LP(\\Sigma)$ result for cellular toric varieties that the paper extends.","marker":"[34]"},{"why":"Gives the description of $K^0(\\widetilde{G}_{\\mathrm{comp}}\\times\\widetilde{G}_{\\mathrm{comp}})(G_{\\mathrm{ad}})$ as an $R(\\widetilde{T})\\otimes R(\\widetilde{G})$-module and the Steinberg-basis decomposition used for comparison.","marker":"[32]"},{"why":"Provides the algebraic $\\widetilde{G}\\times\\widetilde{G}$-equivariant description for regular embeddings that the paper transplants to topological K-theory.","marker":"[33]"},{"why":"Constructs the wonderful compactification $G_{\\mathrm{ad}}$ and its line bundles, the base building block of the tensor product.","marker":"[12]"},{"why":"Gives the isomorphism $K^0_{T_{\\mathrm{comp}}}(X)^W\\cong K^0_{G_{\\mathrm{comp}}}(X)$ and the Weyl-invariant argument used in Proposition 4.10.","marker":"[23]"},{"why":"Provides the topological equivariant K-theory foundations, Thom isomorphism, and localization used throughout.","marker":"[25]"},{"why":"The operational algebraic K-ring analogue; motivates the topological results and provides the comparison map used in Section 2.1.","marker":"[15]"},{"why":"Source for Bialynicki-Birula cell decompositions and the filtrable/cellular definitions used to formulate cellularity.","marker":"[6]"},{"why":"Describes the $T\\times T$-stable curves of regular embeddings, which the paper extends to toroidal embeddings in Proposition 7.2.","marker":"[7]"}],"fun_headline_variants":["A single tensor product captures the K-ring of every toroidal embedding","Toroidal K-ring reduces to wonderful compactification times Laurent polynomials","GKM gives a tensor decomposition for toroidal embedding K-rings","Equivariant K-ring of toroidal embeddings: a clean tensor split"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The decisive assumption is that the embedding is complete and that the Bialynicki-Birula cells are smooth, which guarantees each $T$-stable curve joining fixed points is a projective line, with exactly the right number of outgoing curves at every fixed point and pairwise independent acting characters.","fun_headline_variants_meta":{"raw":{"variants":["A single tensor product captures the K-ring of every toroidal embedding","Toroidal K-ring reduces to wonderful compactification times Laurent polynomials","GKM gives a tensor decomposition for toroidal embedding K-rings","Equivariant K-ring of toroidal embeddings: a clean tensor split"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001765,"raw_usage":{"total_tokens":6982,"prompt_tokens":983,"completion_tokens":5999,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":599,"completion_tokens_details":{"reasoning_tokens":5924}},"tokens_in":599,"tokens_out":5999,"duration_ms":49226,"temperature":1.0,"reasoning_tokens":5924,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:25:05.220123+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $K^0_{T_{\\mathrm{comp}}}(X_+)$ for a cellular toric variety whose fan $F_+$ subdivides the positive Weyl chamber but has a maximal cone $\\sigma$ with $\\sigma/N_{\\tau_i}$ not smooth; if the result is not isomorphic to $P LP(F_+)$ as an $R(T_{\\mathrm{comp}})$-algebra, then Theorem 8.3 and the tensor-product description of $K^0(X)$ fail.","supporting_citations":[{"cited_title":"Uma,EquivariantK-theory of cellular toric varieties, Fundamenta Mathe- maticae,269, (2025), 71-97","cited_arxiv_id":null,"evidence_quote":"Supplies the GKM-type description and the $P LP(\\Sigma)$ result for cellular toric varieties that the paper extends."},{"cited_title":"Uma,EquivariantK-theory of compactifications of algebraic groups, Trans- formation groups12, No","cited_arxiv_id":null,"evidence_quote":"Gives the description of $K^0(\\widetilde{G}_{\\mathrm{comp}}\\times\\widetilde{G}_{\\mathrm{comp}})(G_{\\mathrm{ad}})$ as an $R(\\widetilde{T})\\otimes R(\\widetilde{G})$-module and the Steinberg-basis decomposition used for comparison."},{"cited_title":"Uma,EquivariantK-theory of group compactifications: further develop- ments, Izv","cited_arxiv_id":null,"evidence_quote":"Provides the algebraic $\\widetilde{G}\\times\\widetilde{G}$-equivariant description for regular embeddings that the paper transplants to topological K-theory."},{"cited_title":"De Concini and C","cited_arxiv_id":null,"evidence_quote":"Constructs the wonderful compactification $G_{\\mathrm{ad}}$ and its line bundles, the base building block of the tensor product."},{"cited_title":"McLeod,The Kunneth formula in equivariantK-theory, inAlgebraic Topol- ogy, Waterloo,1978 (Proc","cited_arxiv_id":null,"evidence_quote":"Gives the isomorphism $K^0_{T_{\\mathrm{comp}}}(X)^W\\cong K^0_{G_{\\mathrm{comp}}}(X)$ and the Weyl-invariant argument used in Proposition 4.10."},{"cited_title":"Segal,Equivariant K-theory, Publications math´ ematiques de l’I.H","cited_arxiv_id":null,"evidence_quote":"Provides the topological equivariant K-theory foundations, Thom isomorphism, and localization used throughout."},{"cited_title":"Gonzales,Localization in equivariant operationalK-theory and the Chang- Skjelbred property, Manuscripta Mathematica,153, No","cited_arxiv_id":null,"evidence_quote":"The operational algebraic K-ring analogue; motivates the topological results and provides the comparison map used in Section 2.1."},{"cited_title":"Brion,Equivariant Chow Groups for Torus Actions, Journal of Transfor- mation Groups2(1997), 225-267","cited_arxiv_id":null,"evidence_quote":"Source for Bialynicki-Birula cell decompositions and the filtrable/cellular definitions used to formulate cellularity."},{"cited_title":"Brion,The behaviour at infinity of the Bruhat Decomposition, Comment","cited_arxiv_id":null,"evidence_quote":"Describes the $T\\times T$-stable curves of regular embeddings, which the paper extends to toroidal embeddings in Proposition 7.2."}],"review_version":1}