{"id":"9af790a7-9cb1-468f-a2ad-e6e50920031f","arxiv_id":"2601.15893","paper_version":3,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A framework for 2-vector bundles and 2K-theories over Lie groupoids is constructed, with equivariant and orbifold extensions, but the headline computations are missing.","lead":"The paper defines a higher version of vector bundles—2-vector bundles—over Lie groupoids, built from super-algebra fibers, and constructs 2K-theory groups and spectra for them. It also sets up equivariant and orbifold versions, but the concrete examples promised in the abstract, such as recovering representation rings for the circle group, do not appear in the text.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.39 fails at the terminal groupoid: the left side is Morita classes, while the right side's π_0 is the set of objects; e.g. M_2(k) and M_3(k) are identified on the left but not on the right.","rationale":"The reader's weakest_assumption pointed to the self-cited [Hua, Lemma 5.16] supporting the plus construction. My concern is more basic and independent: the classification target M(s2Vect_k) is defined with only automorphisms as 1-morphisms, so its 2-nerve cannot detect Morita equivalence. At the terminal groupoid, the left side of Theorem 3.39 is Morita classes while the right side is the set of objects, giving a concrete contradiction for M_2(k) and M_3(k). This directly invalidates the central theorem, regardless of whether [Hua, Lemma 5.16] is correct. The abstract also advertises concrete computations (recovery of representation rings, projective super representations) that do not appear in the body; however, the terminal-object failure is an even sharper problem because it shows the stated classification cannot hold in its present form. Since the reader already recommends REJECT, my independent finding does not change that verdict, so I mark the verdict as UNCHANGED.","tokens_in":44295,"tokens_out":14996,"duration_ms":200006,"concrete_test":"Formally evaluate Theorem 3.39 at X_• = * (terminal Lie groupoid). On the left, show 2VBdl_k(*)/∼ is the set of Morita classes of finite-dimensional super algebras. On the right, compute π_0(|2-Nerve(M(s2Vect_k))|): because every 1-simplex is a loop at a single object, the path components are precisely the objects of s2Vect_k. Then exhibit M_2(k) and M_3(k): they are Morita equivalent to k, hence to each other, but they are distinct objects of s2Vect_k and distinct path components on the right. Conclude the bijection cannot exist. If the author intends M(s2Vect_k) to be taken up to Morita equivalence (as in Example 3.31), the theorem statement must be revised and the proof must establish the claimed biequivalence to that quotient; this test forces that ambiguity into the open.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The classification theorem is not merely unproved—it is false as stated. Definition 3.32 defines M(s2Vect_k) with objects all objects of s2Vect_k and 1-morphisms only automorphisms (invertible endo-bimodules). Hence in 2-Nerve(M(s2Vect_k)) there are no 1-simplices connecting distinct objects. At the terminal Lie groupoid X_• = *, 2VBdl_k(*) is (after stackification) s2Vect_k, so two 2-vector bundles are internally equivalent iff their super algebras are Morita equivalent. The left side of Theorem 3.39 is therefore the set of Morita classes of finite-dimensional super algebras. The right side is π_0(|2-Nerve(M(s2Vect_k))|), which—having no edges between distinct vertices—is the set of objects of s2Vect_k. Since M_2(k) and M_3(k) are Morita equivalent (both Morita equivalent to k) but not isomorphic as algebras, they are identified on the left and separated on the right. Thus the claimed bijection is false as stated. This failure is independent of [Hua, Lemma 5.16]: even granting the hypercover lemma, the classification target does not quotient by Morita equivalence. The proof sketch's assertion that a 2-vector bundle gives a simplicial map to 2-Nerve(M(s2Vect_k)) only works after a global trivialization of the super algebra bundle is chosen; for X_• = * that choice cannot identify Morita-equivalent non-isomorphic objects.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a theory of 2-vector bundles over Lie groupoids, modeled on the bicategory s2Vect_k of finite-dimensional super algebras, bimodules, and intertwiners. It defines a pre-stack, stackifies it to 2VBdl_k, constructs a 2K-theory spectrum via the sub-bicategory M(s2Vect_k), and claims a classification theorem identifying internal equivalence classes of 2-vector bundles with homotopy classes of maps into the 2-nerve of M(s2Vect_k). It then extends the framework to 2-equivariant bundles for coherent Lie 2-groups and to weak groupoid objects internal to Bibun, and announces computations for BA with A=U(1) and A=Z/n recovering the rings Z[t,t^{-1}] and Z[t]/(t^n-1).","tokens_in":44779,"tokens_out":8456,"duration_ms":101019,"significance":"If the main classification theorem and the announced computations were correct, the paper would provide a geometric model for a 2-equivariant K-theory related to elliptic cohomology, a goal of substantial interest. The paper also contains a large amount of explicit coherence data for bundle-theoretic 2-categories and for weak groupoid objects, which could be useful to later work. However, the central theorem is not merely insufficiently proved: as stated it is false at the terminal groupoid. The advertised concrete computations are also absent from the body. There are no machine-checked proofs or reproducible artifacts that would mitigate these gaps.","major_comments":[{"comment":"The classification target has the wrong homotopy type. Definition 3.32 defines M(s2Vect_k) to have the same objects as s2Vect_k but only automorphisms as 1-morphisms, i.e. invertible endo-bimodules. Hence its 2-nerve has no 1-simplices between distinct objects. For the terminal Lie groupoid X•=*, the left side of Theorem 3.39 is the set of Morita classes of finite-dimensional super algebras, while the right side is the set of objects of s2Vect_k. M_2(k) and M_3(k) are Morita equivalent to k but are distinct objects, so they are identified on the left and separated on the right. Thus the claimed bijection is false as stated. Using a Morita-class version such as M'(s2Vect_k) would be a natural repair, but the current proof, which trivializes the algebra bundle, does not prove a bijection to that target either.","section":"Definition 3.32, Theorem 3.39"},{"comment":"The construction of the 2-stack 2VBdl_k rests on the assertion that a hypercover induces an equivalence of the relevant bicategories, cited as [Hua, Lemma 5.16]. The lemma is neither stated nor proved, and it is from the author's own earlier preprint. This descent statement is load-bearing for the plus construction, for the comparison of 2-vector bundles over different hypercovers, and ultimately for Theorem 3.39. A bare self-citation is not sufficient support for such a central input; the manuscript must either prove the lemma or quote a precise published statement.","section":"§3.1.2"},{"comment":"The proof is a two-paragraph sketch. It asserts that the data (A,M,µ,u) determine a simplicial map, that a 1-morphism is 'exactly' a lax transformation, and that [Oso12, Proposition A.4] converts internal equivalences into homotopy equivalences. It does not prove essential surjectivity, does not handle common refinements and stackification in a controlled way, and never defines what 'fine enough hypercover' means. In particular, it does not verify that each homotopy class is represented by a 2-vector bundle or that internal equivalence exactly matches homotopy equivalence after the plus construction. The central classification claim is therefore unsupported beyond the level of a plausibility sketch.","section":"§3.2, proof of Theorem 3.39"},{"comment":"The abstract promises explicit computations for the deloopings BA with A=U(1) and A=Z/n, recovering the representation rings Z[t,t^{-1}] and Z[t]/(t^n-1). No such computation appears in the body. Section 4 defines 2-equivariant 2-vector bundles and 2K-theory, but Example 4.11 only states that 2K_G(*) is the Grothendieck group of G-representations. There is no theorem proving that the U(1) or Z/n cases yield the claimed rings, and no derivation of those rings is given. These advertised consequences are absent from the manuscript.","section":"Abstract; §4"}],"minor_comments":[{"comment":"Several references are incomplete: [Dan], [Hua], and [Jac] lack full bibliographic data such as year, journal, or version number.","section":"References"},{"comment":"The symbol K(s2Vect_k) is used both for the 0-space of a spectrum and for the spectrum itself; this ambiguity should be resolved by separate notation.","section":"§3.2, Definitions 3.36/3.37"},{"comment":"The displayed line says 'B′−A′-bimodule M' where the second occurrence should be M′; as written the sentence repeats M with two different meanings.","section":"Eq. (3.26)"},{"comment":"The coherence diagrams for weak groupoid objects are extremely dense, and several auxiliary morphisms such as θ_X, η_X, θ′_X, η′_X are specified only through large diagrams. The text would benefit from explicit definitions or a summary table of the notation before the main constructions.","section":"§5"}],"recommendation":"reject","confidential_remarks":"The terminal-groupoid counterexample is decisive for the central theorem as stated. The reliance on [Hua, Lemma 5.16] without proof, the sketch-level argument for Theorem 3.39, and the absence of the advertised BA computations all point to a manuscript that is not ready for publication in its present form. I would not encourage resubmission unless the classification theorem is restated with a Morita-class target and proved, or the scope is substantially reduced."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the framework is real, the theorem isn't. The definitions of super-algebra 2-vector bundles over Lie groupoids, the equivariant version, and weak groupoid objects internal to a bicategory are substantial; the author has done genuine work packaging transition data into pseudofunctor coherence and adapting [PK22]/[Oso12] to Lie groupoids. Section 5 is elaborate and the examples are coherent. But the paper's advertised payoff is not there.\n\nTheorem 3.39 is not merely unproved; it fails at the terminal groupoid. For X_• = *, the left side is internal equivalence classes in s2Vect_k, i.e. Morita classes of finite-dimensional super algebras. The right side is π0(|2-Nerve(M(s2Vect_k))|). Definition 3.32 takes all objects of s2Vect_k but only automorphisms as 1-morphisms, so the 2-nerve has no edges between distinct objects. Its π0 is just the set of objects. M_2(k) and M_3(k) are Morita equivalent (both to k) but distinct vertices, so the claimed bijection collapses. This is independent of the self-cited [Hua, Lemma 5.16]; even granting that lemma, the classification target does not quotient by Morita equivalence.\n\nThe proof sketch—two paragraphs, 'fine enough hypercover', 'gives rise to a homotopy'—doesn't address this. Also, the abstract promises explicit computations for BA and projective super representations; the body contains no such computations. I looked. There is no representation-ring computation anywhere. That mismatch alone would force major revision.\n\nWhat's genuinely useful: the weak-groupoid-object formalism in Section 5 is a real attempt to generalize action groupoids, and the connection to [SP11] actions is sensible. The citation practice is mostly fine; the problem is the load-bearing self-citation for the hypercover descent lemma, not the citations themselves.\n\nI'd send this to a referee rather than desk-reject—the program matters and the definitions may be salvageable—but the referee should be told to check Theorem 3.39 at the terminal groupoid. As it stands, the central theorem cannot be accepted; the author needs to either replace M(s2Vect_k) with a Morita-class nerve or rework the classification statement.","headline":"Ambitious framework, but the central classification theorem is false as stated and the promised computations are missing; worth a careful referee, not acceptance.","tokens_in":45249,"tokens_out":7335,"would_cite":false,"duration_ms":73453,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18N10","19L47","55N20"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper constructs a 2-vector bundle theory over Lie groupoids, proves a classification by homotopy classes into a 2-nerve, and derives 2-equivariant K-theory computations that recover known representation rings.","keywords":["2-vector bundles","2K-theory","Lie groupoids","super algebras and bimodules","equivariant K-theory","coherent Lie 2-groups","orbifold K-theory","elliptic cohomology"],"falsifier":"Compute the 2-equivariant 2K-theory of the one-point groupoid for the discrete 2-group B(Z/n) directly from the pseudofunctor definition, and compare the resulting Grothendieck group with the stated Z[t]/(t^n-1). If a nontrivial class survives the relation t^n = 1, or if a class vanishes that should not, then the classification reduction is false.","tokens_in":44152,"feed_emoji":"🧮","tokens_out":5462,"duration_ms":59332,"temperature":0.7,"pith_summary":"The paper builds a level-2 analogue of K-theory by defining 2-vector bundles over Lie groupoids as pseudofunctors into the bicategory of finite-dimensional super algebras, bimodules, and intertwiners. It claims that these bundles, up to internal equivalence, are classified by homotopy classes of maps from the nerve of the base groupoid to the 2-nerve of a sub-bicategory of invertible objects. From this, a 2K-theory is defined by group completion, with ordinary K-theory appearing as the endomorphism ring of the trivial object and twisted K-theories as morphisms to twistings. Explicit equivariant computations for the 2-groups BA recover representation rings, matching predictions for 2-equivariant elliptic cohomology. A sympathetic reader would care because this is a concrete, geometric model for a chromatic-height-2 cohomology theory built from bundle data rather than from formal spectra.","feed_headline":"2-vector bundles reduce to homotopy classes into a 2-nerve","feed_subtitle":"Ordinary K-theory becomes the endomorphism ring of the trivial bundle, and explicit computations match elliptic cohomology predictions.","key_machinery":"The central object is the bicategory s2Vect_k of finite-dimensional super algebras, bimodules, and intertwiners, used as the fiber model for 2-vector spaces. The key mechanism is the sub-bicategory M(s2Vect_k), whose objects are all super algebras and whose 1- and 2-morphisms are invertible; its 2-nerve serves as the classifying space. The plus construction turns the 2-prestack pre-s2VBdl_k into the 2-stack 2VBdl_k, and the classification theorem identifies internal equivalence classes with homotopy classes into this 2-nerve, providing the bridge from geometric bundle data to a K-theory spectrum.","core_discovery":"The central claim is that 2-vector bundles over a Lie groupoid X, defined as pseudofunctors from a hypercover of X into the bicategory s2Vect_k of finite-dimensional super algebras, bimodules, and intertwiners, assemble into a 2-stack whose internal equivalence classes are naturally bijective to homotopy classes from the nerve of X to the 2-nerve of the sub-bicategory M(s2Vect_k) of invertible 1- and 2-morphisms. This classification directly generalizes the ordinary classification of complex vector bundles. From it, the paper derives a 2K-theory spectrum and an equivariant version for actions of coherent Lie 2-groups, and it computes the resulting 2-equivariant 2K-theories for delooped abeli","pith_inferences":["If the classification theorem holds, the 2K-theory spectrum is determined by a single classifying space, so computations for free loop groupoids could feed directly into models of elliptic cohomology.","The representation-ring computations for BA suggest a natural test: compute the 2-equivariant 2K-theory for a higher-dimensional torus and check whether it recovers the full complex representation ring, as the U(1) and Z/n cases would predict.","The 2-orbifold formalism may provide a new route to twisted equivariant K-theory on global quotients; a testable extension is to compare 2K_orb of a quotient with the known twisted K-groups.","The explicit identification of morphisms with projective super representations could allow a concrete classification of 2-equivariant bundles on classifying spaces of finite groups."],"forward_implications":["The classification theorem reduces computations of 2K-theory of a Lie groupoid to homotopy classes into an explicit classifying space.","For the 2-group BA with A = U(1), the 2-equivariant 2K-theory is Z[t,t^{-1}], and for A = Z/n it is Z[t]/(t^n-1), matching the representation rings predicted for 2-equivariant elliptic cohomology.","For a compact Lie group G, ordinary equivariant K-theory K_G(pt) appears as the endomorphism ring of the trivial object in the 2-equivariant theory, while morphisms from the trivial object to twistings recover twisted K-theories.","The equivariant formalism extends from ordinary group actions to coherent Lie 2-groups, making the theory genuinely 2-equivariant.","The weak-groupoid-object framework yields a 2-orbifold 2K-theory that specializes to the equivariant case and generalizes orbifold vector bundles."],"fun_headline_variants":["2-vector bundles classify homotopy classes into a 2-nerve","2K-theory: when 2-vector bundles unify K-theory and twists","Equivariant 2-vector bundles compute 2K-theory for Lie 2-groups","From super algebras to 2K-theory: a classification","2-vector bundles match elliptic cohomology predictions"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The classification theorem depends on an unproved lemma, imported from the author's earlier work, that passing from a Lie groupoid to a hypercover induces an equivalence of bicategories for the 2-prestack; if that lemma fails, the plus-construction and the central bijection collapse.","fun_headline_variants_meta":{"raw":{"variants":["2-vector bundles classify homotopy classes into a 2-nerve","2K-theory: when 2-vector bundles unify K-theory and twists","Equivariant 2-vector bundles compute 2K-theory for Lie 2-groups","From super algebras to 2K-theory: a classification","2-vector bundles match elliptic cohomology predictions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000692,"raw_usage":{"total_tokens":3097,"prompt_tokens":999,"completion_tokens":2098,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":743,"completion_tokens_details":{"reasoning_tokens":1996}},"tokens_in":743,"tokens_out":2098,"duration_ms":16242,"temperature":1.0,"reasoning_tokens":1996,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T08:42:16.532343+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the 2-equivariant 2K-theory of the one-point groupoid for the discrete 2-group B(Z/n) directly from the pseudofunctor definition, and compare the resulting Grothendieck group with the stated Z[t]/(t^n-1). If a nontrivial class survives the relation t^n = 1, or if a class vanishes that should not, then the classification reduction is false.","supporting_citations":[],"review_version":1}