{"id":"c9541cbd-7bfc-45a5-b1cf-310ea109cbdb","arxiv_id":"2606.03368","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proposes a classical continuous symmetry TFT using AKSZ construction on T*[n](BG) with shifted Lagrangian boundaries and prequantum gerbe refinements.","lead":"The paper proposes a shifted-symplectic formulation of classical continuous symmetry TFTs, where the bulk is an AKSZ theory on the shifted cotangent stack of BG and boundaries are shifted Lagrangians. A smart generalist might read it to see how higher geometry encodes gauging and anomalies for continuous symmetries in topological models.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"The identification of the bulk as AKSZ on T^*[n](BG) (or BF) rests on an argument whose explicit construction from the G-action is not visible.","rationale":"The reader's weakest_assumption is precisely the load-bearing step. Because the manuscript is a conceptual proposal whose key identification is stated as an argument rather than a derived theorem, and because no independent verification (e.g., explicit low-dimensional check or machine-checked statement) is supplied in the visible material, the UNVERDICTED verdict remains appropriate. No other internal inconsistency is detectable from the abstract.","tokens_in":1845,"tokens_out":377,"duration_ms":12691,"concrete_test":"Locate the paragraph or subsection that derives or justifies the bulk target T^*[n](BG) from the given G-action on (X,ω); verify whether it contains an explicit map, universal property, or reference establishing the identification, or whether the step is purely by analogy.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that the G-action by topological defects on the n-dimensional AKSZ sigma-model with target (X,ω) canonically determines the (n+1)-dimensional bulk to be the AKSZ model with target T^*[n](BG). The abstract states only that the authors 'argue' this equivalence to BF theory; no derivation, functoriality statement, or reference to a prior result establishing why this target (rather than, e.g., a different extension or a different shifted symplectic stack encoding the same defects) is forced appears in the provided text. All subsequent constructions—Dirichlet/Neumann boundaries as shifted Lagrangians, gauging via domain walls, Hamiltonian reduction, and the prequantum gerbe refinement—depend on this choice being the correct one.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper proposes a shifted-symplectic formulation of classical continuous symmetry TFTs. For a Lie or algebraic group G acting by topological defects on an n-dimensional AKSZ sigma-model with target an (n-1)-shifted symplectic derived stack (X,ω), it argues that the corresponding (n+1)-dimensional bulk theory is the AKSZ sigma-model with target the shifted cotangent stack T^*[n](BG), equivalently (n+1)-dimensional BF theory for G. It characterizes Dirichlet/Neumann and general topological boundaries as shifted Lagrangians in this bulk, realizes gauging via domain walls between such boundaries, introduces notions of Hamiltonian/syplectic/Lagrangian reduction in the shifted setting, and discusses prequantum refinements in which higher gerbes on BG encode classical 't Hooft anomaly data. In dimension three it compares the infinitesimal BF model B(g ⋉ g^∨) with the factorizable double B(g ⊕ g), relating boundaries to Lagrangian Lie subalgebras and r-matrices/Belavin-Drinfeld data.","tokens_in":2033,"tokens_out":614,"duration_ms":14119,"significance":"If the central identification of the bulk holds, the work supplies a geometric language for continuous SymTFTs that unifies boundary conditions, gauging, and anomaly data inside shifted symplectic geometry and AKSZ constructions. The explicit comparison in dimension three with factorizable doubles and r-matrix data offers a concrete bridge to existing structures in Poisson-Lie theory.","major_comments":[{"comment":"Abstract (and the opening paragraphs of the introduction): the claim that the (n+1)-dimensional bulk 'should be' the AKSZ theory with target T^*[n](BG) (equivalently BF theory) is presented as an argument, yet no explicit functoriality statement, derivation from the given G-action on the original AKSZ model, or reference establishing why this particular shifted symplectic stack (rather than another extension encoding the same defects) is canonically forced appears. All subsequent constructions—shifted Lagrangian boundaries, domain-wall gauging, Hamiltonian reduction, and prequantum gerbe refinements—rest on this identification being the correct one.","section":"Abstract"},{"comment":"The three-dimensional comparison (final paragraph of the abstract): the statement that the infinitesimal BF model B(g ⋉ g^∨) is compared with the factorizable double B(g ⊕ g) and that the resulting boundaries are described by Lagrangian Lie subalgebras is asserted without an explicit statement of the equivalence or the precise relation between the two models that would justify identifying their Lagrangian subalgebras with the SymTFT dictionary.","section":"Abstract"}],"minor_comments":[{"comment":"The abstract contains the typographical error 'syplectic reduction' (should be 'symplectic reduction').","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and constructive feedback on our manuscript. We address the two major comments point by point below, acknowledging where additional clarification is warranted and outlining the revisions we will make.","responses":[{"response":"We agree that the identification of the bulk theory is presented as a natural proposal motivated by the AKSZ formalism rather than derived from a fully explicit functoriality statement in the current text. The choice of T^*[n](BG) follows from the requirement that the bulk encode the G-action on the original model via topological defects in a manner compatible with shifted symplectic structures; however, we acknowledge that a dedicated discussion of why this stack is canonically selected (as opposed to other possible extensions) would strengthen the argument. In the revised manuscript we will add a short subsection in the introduction that sketches the functorial reasons, referencing the universal property of shifted cotangent stacks for Hamiltonian G-actions in derived geometry, and we will cite supporting literature on AKSZ constructions for symmetries.","revision_made":"yes","referee_comment":"[Abstract] Abstract (and the opening paragraphs of the introduction): the claim that the (n+1)-dimensional bulk 'should be' the AKSZ theory with target T^*[n](BG) (equivalently BF theory) is presented as an argument, yet no explicit functoriality statement, derivation from the given G-action on the original AKSZ model, or reference establishing why this particular shifted symplectic stack (rather than another extension encoding the same defects) is canonically forced appears. All subsequent constructions—shifted Lagrangian boundaries, domain-wall gauging, Hamiltonian reduction, and prequantum gerbe refinements—rest on this identification being the correct one."},{"response":"The three-dimensional comparison is offered as an illustrative link between the infinitesimal BF model and structures from Poisson-Lie theory, with boundaries corresponding to Lagrangian Lie subalgebras and r-matrix data. We accept that the current text does not state the equivalence between B(g ⋉ g^∨) and B(g ⊕ g) with sufficient precision. In the revision we will insert an explicit remark (or short proposition) in the relevant section that records the precise relation at the level of the underlying dg-Lie algebras and clarifies how the sets of Lagrangian subalgebras are identified, thereby making the connection to the SymTFT dictionary rigorous.","revision_made":"yes","referee_comment":"[Abstract] The three-dimensional comparison (final paragraph of the abstract): the statement that the infinitesimal BF model B(g ⋉ g^∨) is compared with the factorizable double B(g ⊕ g) and that the resulting boundaries are described by Lagrangian Lie subalgebras is asserted without an explicit statement of the equivalence or the precise relation between the two models that would justify identifying their Lagrangian subalgebras with the SymTFT dictionary."}],"tokens_in":1656,"tokens_out":611,"duration_ms":20607,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing here is a geometric proposal that treats the (n+1)-dimensional bulk for a continuous G-symmetry as the AKSZ sigma model on the shifted cotangent stack T^*[n](BG), which is also BF theory. Boundaries become shifted Lagrangians, gauging becomes a domain wall, and anomalies get encoded by gerbes. In three dimensions it compares the infinitesimal BF model to the factorizable double and links boundaries to Lagrangian Lie subalgebras and r-matrices.\n\nWhat is actually new is the consistent use of shifted symplectic language to organize Dirichlet/Neumann conditions, Hamiltonian reduction, and prequantum refinements all inside one framework. The extension of AKSZ constructions to carry symmetry data via boundaries is a clean move if it holds up.\n\nThe soft spot is the central identification itself. The abstract says the authors \"argue\" that the bulk must be AKSZ on T^*[n](BG) because G acts by topological defects on the original model, but no derivation or functoriality check is visible in the provided text. All later constructions rest on this choice being the right one rather than one of several possible extensions. Without explicit steps showing why other shifted symplectic stacks are ruled out, the claim stays at the level of a plausible dictionary.\n\nThe three-dimensional comparison with Belavin-Drinfeld data looks more concrete and could be checked independently. The rest is conceptual organization rather than new theorems.\n\nThis is for people already working in higher symplectic geometry or mathematical approaches to SymTFTs who want a language that treats continuous symmetries uniformly. A reader who already knows AKSZ and shifted symplectic stacks will see the pattern quickly; others will need the details filled in.\n\nI would send it to peer review. The proposal is coherent on its own terms and the geometric organization is worth testing, even if the justification for the bulk needs strengthening.","headline":"The paper sketches a shifted-symplectic setup that recasts continuous SymTFTs as AKSZ/BF theory on T^*[n](BG) with Lagrangian boundaries, but the step that forces this bulk from the G-action is only asserted.","tokens_in":2538,"tokens_out":479,"would_cite":false,"duration_ms":12730,"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":"The bulk theory for a continuous G-symmetry acting on an n-dimensional topological sigma model is the AKSZ construction with target the shifted cotangent stack T^*[n](BG), or equivalently (n+1)-dimensional BF theory for G.","keywords":["symmetry TFT","shifted symplectic geometry","AKSZ construction","BF theory","continuous symmetries","gauging","Lagrangian boundaries","higher gerbes"],"falsifier":"An explicit continuous symmetry action on a concrete shifted symplectic target whose topological defects cannot be reproduced by any collection of shifted Lagrangian boundary conditions inside the BF theory on BG.","tokens_in":2723,"feed_emoji":"","tokens_out":868,"duration_ms":20462,"temperature":0.7,"pith_summary":"The paper develops a classical continuous version of symmetry TFTs by embedding them in shifted symplectic geometry. When a Lie group G acts by topological defects on a sigma model whose target is an (n-1)-shifted symplectic derived stack, the associated bulk theory in one higher dimension is identified with the AKSZ sigma model whose target is the shifted cotangent stack T^*[n](BG). Boundary conditions are then described as shifted Lagrangians inside this bulk, and gauging the original symmetry is realized by inserting a topological domain wall between appropriate boundary conditions. The same framework introduces shifted versions of Hamiltonian, symplectic, and Lagrangian reduction and incorporates prequantum data through higher gerbes on BG that encode classical anomaly information.","feed_headline":"BF theory on BG encodes continuous symmetries via Lagrangian boundaries","feed_subtitle":"The (n+1)-dimensional bulk for G-actions on n-dimensional sigma models is the AKSZ theory on T^*[n](BG), with gauging realized by domain wal","key_machinery":"The shifted cotangent stack T^*[n](BG) with its canonical shifted symplectic form, used as the target space for the AKSZ sigma model that defines the (n+1)-dimensional bulk theory.","core_discovery":"We argue that the corresponding (n+1)-dimensional bulk theory should be the AKSZ theory with target the shifted cotangent stack T^*[n](BG), equivalently the (n+1)-dimensional BF theory for G. We characterize the Dirichlet and Neumann boundary conditions, and more general topological boundaries, in terms of shifted Lagrangians in T^*[n](BG). We realize the gauging of the G-symmetry in the original theory as inserting a topological domain wall between the corresponding topological boundaries in the BF bulk, and introduce the notion of Hamiltonian reduction, symplectic reduction, and Lagrangian reduction in the shifted symplectic setting. We also discuss prequantum refinements of continuous Sym","pith_inferences":["The same Lagrangian-reduction language may supply a uniform way to construct reduced phase spaces when the original theory is already a higher-dimensional sigma model.","Quantizing the shifted symplectic structure on T^*[n](BG) would give a direct route from the classical construction to a quantum symmetry TFT.","The gerbe decoration of the bulk may generalize to other higher categorical structures that capture mixed anomalies beyond the 't Hooft case."],"forward_implications":["Gauging a continuous symmetry is equivalent to inserting a domain wall between Dirichlet and Neumann boundaries in the BF bulk.","All topological boundary conditions are classified by shifted Lagrangian sub-stacks of T^*[n](BG).","Shifted versions of Hamiltonian, symplectic, and Lagrangian reduction become available for constructing reduced theories.","In three dimensions the infinitesimal model B(g ⋉ g^∨) is compared with the factorizable double B(g ⊕ g), relating boundaries to Lagrangian Lie subalgebras and r-matrices."],"fun_headline_variants":["BF on shifted cotangent of BG for continuous symmetry TFTs","Lagrangian boundaries in BF bulk realize gauging of G symmetry","Shifted symplectic reduction for Hamiltonian gauging in SymTFT","Gerbes on BG prequantize continuous SymTFT with anomalies"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The bulk theory that encodes the G-symmetry is exactly the AKSZ sigma model whose target is the shifted cotangent stack T^*[n](BG) (or the equivalent BF theory).","fun_headline_variants_meta":{"raw":{"variants":["BF on shifted cotangent of BG for continuous symmetry TFTs","Lagrangian boundaries in BF bulk realize gauging of G symmetry","Shifted symplectic reduction for Hamiltonian gauging in SymTFT","Gerbes on BG prequantize continuous SymTFT with anomalies"]},"model":"grok-4.3","cost_usd":0.004995,"raw_usage":{"total_tokens":2524,"prompt_tokens":837,"num_sources_used":0,"completion_tokens":71,"cost_in_usd_ticks":49949500,"prompt_tokens_details":{"text_tokens":837,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1616,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":837,"tokens_out":71,"duration_ms":11754,"temperature":1.0,"reasoning_tokens":1616,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T08:08:32.274889+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit continuous symmetry action on a concrete shifted symplectic target whose topological defects cannot be reproduced by any collection of shifted Lagrangian boundary conditions inside the BF theory on BG.","supporting_citations":[],"review_version":1}