{"id":"47eb7306-7d5c-4029-99ef-6fddb66865ab","arxiv_id":"2606.19708","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Geometric construction shows the transition matrix from canonical to PBW basis for the Kronecker quiver is upper triangular with diagonal 1s, with coefficients from local system multiplicities in IC restrictions.","lead":"The paper constructs geometric realizations of PBW basis elements for the Kronecker quiver using flag sheaf complexes on representation variety strata and compares them to Lusztig's canonical basis via perverse sheaves and purity. This yields an explicit geometric account of the transition matrix, proving it upper triangular with 1s on the diagonal.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Accuracy of geometric description of simple constituents in restrictions of flag sheaf complexes to strata X(α,m) remains unverified and load-bearing for both basis claim and transition matrix.","rationale":"The reader’s weakest_assumption is precisely the load-bearing step identified above. Because the full manuscript text is now available yet the geometric comparison and purity application still require case-by-case verification of the sheaf-theoretic constructions, the verdict remains UNVERDICTED pending that check. No other internal inconsistency is visible from the abstract and stated goals.","tokens_in":1809,"tokens_out":419,"duration_ms":12041,"concrete_test":"For the smallest non-trivial dimension vectors (e.g., α=(1,1) and small m) compute the restriction of the flag sheaf complex to X(α,m) by hand or with a computer algebra system, list its simple constituents, and check whether they coincide exactly with the IC(X(α),L_χ) appearing in Lusztig’s construction; if any multiplicity or extension differs, the triangularity and basis claims fail for that case.","verdict_should_be":"UNVERDICTED","load_bearing_attack":"The central claims require (1) an explicit geometric description of the simple constituents of the restrictions of the constructed flag sheaf complexes to each stratum X(α,m), (2) a direct comparison of those constituents with the simple perverse sheaves IC(X(α),L_χ) from Lusztig’s construction, and (3) application of a purity result on the F_q-structures to conclude that Lusztig’s sheaves form a basis and that the transition matrix is upper-triangular with 1’s on the diagonal. If the description of the constituents or the comparison step is incomplete (e.g., misses extensions or multiplicities of local systems on smaller strata), neither the “another proof” of the basis property nor the claimed geometric interpretation of the coefficients follows. The abstract states these steps but supplies no equations or explicit calculations that would allow independent confirmation of the comparison.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims to study the transition matrix between the PBW basis and the canonical basis for the negative part of the quantized enveloping algebra of the Kronecker quiver from a geometric viewpoint. It constructs flag sheaf complexes realizing PBW basis elements over strata X(α,m) of representation varieties, gives a geometric description of the simple constituents in their restrictions to these strata, compares them to Lusztig's simple perverse sheaves IC(X(α),L_χ), and applies a purity result on F_q-structures to prove that Lusztig's sheaves form a basis of the composition algebra. It further shows that the transition coefficients are governed by multiplicities of local systems in restrictions of intersection cohomology complexes to smaller strata, implying that the transition matrix from the canonical basis to the PBW basis is upper triangular with 1's on the diagonal and that the coefficients admit a direct geometric interpretation, recovering triangularity and positivity in this case.","tokens_in":1999,"tokens_out":626,"duration_ms":28540,"significance":"If the geometric descriptions and comparisons hold, the work supplies an alternative proof of the basis property for Lusztig's perverse sheaves together with an explicit geometric interpretation of the transition coefficients. This would be a useful contribution to the geometric study of canonical and PBW bases for quiver representations, particularly in the affine Kronecker case where positivity properties are recovered.","major_comments":[{"comment":"The central claims rest on an explicit geometric description of the simple constituents of the restrictions of the flag sheaf complexes to each stratum X(α,m) and a direct comparison of those constituents with the simple perverse sheaves IC(X(α),L_χ). The manuscript must supply concrete calculations or low-dimensional examples verifying that all multiplicities and extensions are accounted for; without this the comparison step (and therefore both the basis proof and the claimed geometric interpretation of the coefficients) cannot be independently confirmed.","section":"Geometric description of constituents and comparison with IC sheaves"},{"comment":"The application of the purity result for the relevant F_q-structures to conclude that Lusztig's sheaves form a basis and that the transition matrix is upper triangular with diagonal 1's depends on the completeness of the preceding comparison. Any omission of local systems supported on smaller strata would invalidate the triangularity claim and the geometric interpretation of the coefficients.","section":"Purity result and transition matrix"}],"minor_comments":[{"comment":"The abstract refers to 'another proof' of the basis property; a brief comparison with prior geometric approaches (e.g., those using Hall algebras or other sheaf constructions) would help situate the contribution.","section":null},{"comment":"Notation for the strata X(α,m), the local systems L_χ, and the flag sheaf complexes should be introduced with a short table or diagram early in the paper to improve readability.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and for highlighting the need for explicit verification of the geometric comparisons. We address the two major comments below and will revise the manuscript accordingly.","responses":[{"response":"We agree that low-dimensional examples would strengthen independent verification of the multiplicities and the comparison between flag sheaf constituents and Lusztig's IC sheaves. The general geometric description in the manuscript is exhaustive, but we will add a new subsection with explicit calculations for small dimension vectors (e.g., α = (1,1) and α = (2,1)) that compute the restrictions, list all simple constituents with their multiplicities, and confirm the matching with IC(X(α),L_χ), including extensions.","revision_made":"yes","referee_comment":"[Geometric description of constituents and comparison with IC sheaves] The central claims rest on an explicit geometric description of the simple constituents of the restrictions of the flag sheaf complexes to each stratum X(α,m) and a direct comparison of those constituents with the simple perverse sheaves IC(X(α),L_χ). The manuscript must supply concrete calculations or low-dimensional examples verifying that all multiplicities and extensions are accounted for; without this the comparison step (and therefore both the basis proof and the claimed geometric interpretation of the coefficients) cannot be independently confirmed."},{"response":"The comparison established in the paper accounts for all local systems, including those supported on smaller strata, via the explicit description of constituents in the restrictions. The purity argument then yields the basis property and triangularity with diagonal 1's. The added examples will also explicitly compute the transition coefficients in low dimensions to illustrate the geometric interpretation and confirm the upper-triangular form.","revision_made":"yes","referee_comment":"[Purity result and transition matrix] The application of the purity result for the relevant F_q-structures to conclude that Lusztig's sheaves form a basis and that the transition matrix is upper triangular with diagonal 1's depends on the completeness of the preceding comparison. Any omission of local systems supported on smaller strata would invalidate the triangularity claim and the geometric interpretation of the coefficients."}],"tokens_in":1568,"tokens_out":468,"duration_ms":9824,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The new piece is the construction of flag sheaf complexes on the strata X(α,m) that realize PBW elements, followed by a description of their simple constituents under restriction and a direct comparison to Lusztig's IC(X(α),L_χ). From there they read off the transition coefficients as multiplicities of local systems on smaller strata. This yields the upper-triangular matrix with 1's on the diagonal and the positivity of the polynomials, plus another proof that Lusztig's sheaves form a basis via purity of the F_q-structures.\n\nThat geometric reading of the coefficients is the actual addition beyond the cited Lusztig work. It is concrete enough that someone working on other affine quivers could try to copy the method.\n\nThe soft spot is exactly the step the stress-test flags: the explicit list of simple constituents in the restrictions of the flag complexes. The abstract asserts the comparison works and produces the right multiplicities, but supplies no sample calculation or equation that would let a reader check whether extensions or extra local systems were missed. Without that, the basis claim and the coefficient interpretation both rest on an uninspectable step.\n\nThe constructions themselves look independent of the algebraic definitions, so there is no obvious circularity. The paper is aimed at people already comfortable with perverse sheaves on quiver representation varieties. A specialist referee could check the restriction calculations in a few hours; if those hold, the rest follows quickly.\n\nI would bring it to a reading group for the geometric coefficient formula. I would not cite it until the restriction description is confirmed. It is worth sending to peer review.","headline":"The paper gives an explicit geometric description of transition coefficients between PBW and canonical bases for the Kronecker quiver via local system multiplicities in sheaf restrictions, but the load-bearing comparison of constituents in those restrictions is not independently verifiable from the given details.","tokens_in":2465,"tokens_out":424,"would_cite":false,"duration_ms":16504,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Flag sheaf complexes on representation strata realize PBW basis elements for the Kronecker quiver and show the transition to the canonical basis is upper triangular with diagonal 1.","keywords":["Kronecker quiver","PBW basis","canonical basis","quantized enveloping algebra","perverse sheaves","transition matrix","flag sheaf complexes","representation varieties"],"falsifier":"An explicit calculation for some dimension vector α and integer m in which the multiplicity of a local system in the restriction of a flag sheaf complex fails to equal the corresponding entry of the transition matrix between the two bases.","tokens_in":2712,"feed_emoji":"","tokens_out":790,"duration_ms":20332,"temperature":0.7,"pith_summary":"The paper constructs geometric realizations of PBW basis elements in the negative part of the quantized enveloping algebra for the Kronecker quiver by means of flag sheaf complexes over the strata X(α,m) of representation varieties. It gives a geometric description of the simple constituents that appear when these complexes are restricted to the strata, allowing direct comparison with the simple perverse sheaves IC(X(α),L_χ) that define Lusztig's canonical basis. Combined with a purity result for the F_q-structures, this yields another proof that the canonical basis elements span the composition algebra and makes the change-of-basis coefficients explicit as multiplicities of local systems in the restrictions of intersection cohomology complexes to smaller strata. A reader would care because the algebraic transition between two bases is thereby reduced to a geometric counting problem whose coefficients have an immediate interpretation in terms of sheaf data.","feed_headline":"Kronecker quiver basis transition is upper triangular with geometric coefficients","feed_subtitle":"Flag complexes on representation strata realize PBW elements and their restrictions give the change-of-basis multiplicities in the quantized","key_machinery":"Flag sheaf complexes over the strata X(α,m) of representation varieties, whose restrictions yield simple constituents that are compared to the simple perverse sheaves IC(X(α),L_χ).","core_discovery":"By realizing PBW basis elements via flag sheaf complexes over the strata X(α,m) and describing the simple constituents of their restrictions, the paper compares these complexes with Lusztig's simple perverse sheaves IC(X(α),L_χ). This comparison, together with purity, shows that the transition matrix from the canonical basis to the PBW basis is upper triangular with diagonal entries equal to 1 and that the coefficients are the multiplicities of local systems appearing in the restrictions of the intersection cohomology complexes to smaller strata; in the Kronecker case the same argument recovers the triangularity and the positivity of the coefficient polynomials.","pith_inferences":["The same flag-complex construction might be tried on other affine quivers to test whether the triangularity and geometric coefficient interpretation persist.","The local-system multiplicities may correspond to known combinatorial counts attached to representations of the Kronecker quiver.","Explicit low-dimensional computations of these multiplicities could produce new tables of basis-change polynomials for small rank cases."],"forward_implications":["The elements defined by Lusztig's perverse sheaves form a basis of the composition algebra.","The transition matrix from the canonical basis to the PBW basis is upper triangular with ones on the diagonal.","The transition coefficients admit a direct geometric interpretation as multiplicities of local systems in restrictions of intersection cohomology complexes.","The coefficient polynomials satisfy positivity properties in the Kronecker quiver case."],"fun_headline_variants":["Flag sheaves realize PBW bases on Kronecker quiver strata","PBW canonical transition given by local system multiplicities","Upper triangular transition matrix for Kronecker quiver bases","Geometric comparison of perverse sheaves and flag complexes","Purity implies triangular basis change in Kronecker case"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The geometric description of the simple constituents appearing in the restrictions of the flag sheaf complexes to the strata X(α,m) is accurate and sufficient to identify them with the simple perverse sheaves.","fun_headline_variants_meta":{"raw":{"variants":["Flag sheaves realize PBW bases on Kronecker quiver strata","PBW canonical transition given by local system multiplicities","Upper triangular transition matrix for Kronecker quiver bases","Geometric comparison of perverse sheaves and flag complexes","Purity implies triangular basis change in Kronecker case"]},"model":"grok-4.3","cost_usd":0.004974,"raw_usage":{"total_tokens":2485,"prompt_tokens":776,"num_sources_used":0,"completion_tokens":66,"cost_in_usd_ticks":49737000,"prompt_tokens_details":{"text_tokens":776,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1643,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":776,"tokens_out":66,"duration_ms":12814,"temperature":1.0,"reasoning_tokens":1643,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T15:28:56.760903+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit calculation for some dimension vector α and integer m in which the multiplicity of a local system in the restriction of a flag sheaf complex fails to equal the corresponding entry of the transition matrix between the two bases.","supporting_citations":[],"review_version":1}