{"id":"ab9620c4-8d40-4a81-b36a-3dc9a2ff0b8d","arxiv_id":"2509.15978","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Using the BV formalism, the authors show that descent equations turn ordinary higher-form symmetries into families of 'ghostly' symmetries generated by currents of nonzero ghost number.","lead":"The paper shows that in the Batalin-Vilkovisky formalism, conserved currents with nonzero ghost number can be organized into 'ghostly higher-form symmetries' connected to ordinary symmetries by descent equations. This reframes topological operators in TQFTs and anomalies as a two-dimensional family of generalized symmetries.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Ghostly symmetry operators are shown to be Q-closed and topological, but it is not shown that they act on the physical subspace H^0_Q; in the Maxwell example their currents act only on ghosts and antifields.","rationale":"The reader's weakest assumption identifies the physical status of ghostly charges as the key gap: if ghostly charges do not act on physical states, the central claim reduces to known topological-operator descent. My concern is the same, sharpened to the concrete observation that in the Maxwell example the ghostly currents act only on the ghost and antifield sectors, not on F, *F, or Wilson loops of A. The mathematical core of the paper, the descent-equation formalism and the explicit examples, appears coherent; the issue is interpretive and definitional. Therefore the reader's CONDITIONAL verdict is appropriate, and my check would either resolve the concern or force an explicit reframing of 'ghostly symmetry' as a symmetry of the BV-extended algebra rather than of the physical theory. I do not see grounds to reject the paper outright, since the construction is explicit and internally consistent, and the authors do flag the extended-Fock-space setting in Section 5.1.2.","tokens_in":40392,"tokens_out":13977,"duration_ms":135942,"concrete_test":"In free Maxwell theory on a torus, construct the BV/BRST Fock space with physical subspace H^0_Q = ker Q / im Q at ghost number zero. Compute the matrix elements of U(Sigma)=exp(i alpha int_Sigma A^+) between physical photon states created by the field strengths F and *F, using the non-degenerate inner product restricted to H^0_Q. Also check whether U(Sigma) commutes with all local physical operators such as F and *F. If all such matrix elements equal the identity (up to a phase) and all such commutators vanish, then the ghostly zero-form symmetry is invisible to physical states and operators, and the central claim is not a symmetry of the physical Hilbert space.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction in Section 3.1, equation (27), proves topological invariance of U(Sigma)=exp(i alpha int_Sigma J) using Q-annihilation of correlation functions. This establishes that U(Sigma) is a Q-closed topological operator in the BV algebra. It does not establish that U(Sigma) preserves the physical subspace H^0_Q or acts nontrivially on physical observables. For a current J of nonzero ghost number q, the charge int_Sigma J carries ghost number q; although the formal parameter alpha restores ghost number zero in U(Sigma), the current still generates shifts of ghost and antifield variables. The paper's own examples confirm this: in Maxwell theory, Section 5.1.3, the ghostly zero-form current A^+ acts on the ghost c through the A^+ wedge dc term, and the ghostly (d-1)-form current c acts on A^+; the physical field-strength operators F and *F are untouched. Section 5.1.2 explicitly places the conserved charges in an extended Fock space with a non-positive-definite inner product and non-unitary BV dynamics. Thus, as stated, the central claim is a statement about the BV-extended algebra, not about symmetries of the physical quantum theory. If the authors intend 'ghostly p-form symmetries' as genuine symmetries, they owe a demonstration that these operators act on H^0_Q (or on physical observables) and are not Q-exact there; otherwise the claim reduces to the known statement that descent equations produce topological operators in TQFTs.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a Batalin–Vilkovisky (BV) perspective on higher-form symmetries. It observes that if a current J satisfies the descent equation dJ = Q J^(1), where Q is the BV differential, then the exponentiated operator U(Σ) = exp(iα∫_Σ J) is topological, independent of the ghost number of J. On this basis the paper introduces 'ghostly higher-form symmetries' G[p,q], i.e. higher-form symmetries whose currents carry nonzero ghost number q. It shows that standard (ghost-number-zero) higher-form symmetries generate such ghostly symmetries through chains of descent equations, and formalizes the structure as a span of group homomorphisms. The bulk of the paper consists of worked examples: free scalar theory, Maxwell theory, abelian higher gauge theory, Chern–Simons and BF theories, Yang–Mills centre symmetry, and adjusted higher gauge theory. It also discusses matter couplings, UV/IR matching, and a reinterpretation of Donaldson–Witten observables.","tokens_in":40740,"tokens_out":8742,"duration_ms":77746,"significance":"The intended contribution is a unification of the descent-equation technology of TQFTs and anomalies with the theory of generalized global symmetries, placing both in a common BV framework. The explicit computations in Sections 5–8 appear internally consistent, and the span construction (Section 3.2.2) provides a clean algebraic formulation. The paper is also commendable for treating discrete symmetries via Čech/cellular cochains and for constructing ghostly analogues in non-abelian settings. However, the physical status of the central claim is not settled. The operators constructed are Q-closed topological operators in the BV algebra, but it is not demonstrated that they act on the physical subspace H^0_Q or have a nontrivial action on physical observables. The Maxwell example (Section 5.1.2) explicitly locates the charges in an extended Fock space with a non-positive-definite inner product, acting on ghosts and antifields. If the ghostly operators do not act on physical states, the claim reduces to the known statement that descent equations produce topological operators. This gap is load-bearing for the paper's central assertion that ghostly currents define symmetries.","major_comments":[{"comment":"The proof that U(Σ)=exp(iα∫_Σ J) is topological uses only the descent equation dJ=QJ^(1) and the assumption that Q annihilates correlation functions. This establishes that U(Σ) is a Q-closed operator in the BV algebra, but it does not establish that U(Σ) preserves the physical subspace H^0_Q or acts nontrivially on physical observables. The Maxwell example in Section 5.1 illustrates the gap: the zero-form current A^+ and the (d-1)-form current c act on ghost/antifield variables, and no physical observable is shown to transform under them. To sustain the claim that ghostly currents define symmetries of the physical theory, the authors should prove, or at least demonstrate in the examples, that the charges are not Q-exact on H^0_Q and that they have a nontrivial action on Q-closed observables. Otherwise the statement reduces to the known fact that descent equations produce topological operators in the BV algebra.","section":"Section 3.1, Eqs. (25)–(27)"},{"comment":"The interpretation in terms of an extended Fock space with a non-positive-definite inner product makes explicit that ghostly charges count excitations of ghosts and antifields. This supports the view that the symmetries act on the BV-extended field space rather than on physical states. The paper should clarify whether 'ghostly symmetry' is intended as a symmetry of the BV-extended theory only (in which case the terminology should be adjusted to avoid implying a symmetry of the quantum theory) or as a symmetry of the physical quantum theory (in which case the missing demonstration of nontrivial action on H^0_Q is essential).","section":"Section 5.1.2"},{"comment":"A p-form symmetry is defined as a topological invertible operator inserted on a codimension-(p+1) submanifold. Under this definition, the statement that any solution of the descent equation dJ=QJ^(1) defines a higher-form symmetry is near-tautological, because the descent equation is exactly what makes the exponentiated operator topological. The paper should explain what additional content is being claimed beyond the existing descent-equation formalism for topological operators (e.g., refs. [43,50-52]), and should provide a criterion that distinguishes a nontrivial ghostly symmetry from a Q-exact or d-exact current. The current cohomology (41) partially addresses the latter, but its physical interpretation remains unclear.","section":"Section 3.1, first paragraph"},{"comment":"The UV/IR matching of ghostly symmetries is performed at the level of identifying currents and their descent equations. Since the charges have not been shown to act on physical states, the matching of these ghostly symmetries does not yet provide a physical constraint analogous to 't Hooft anomaly matching. A demonstration that the matched charges are nonvanishing and act on local operators in the physical Hilbert spaces of both the UV and IR theories would be needed to give the matching physical teeth.","section":"Sections 5.4.1 and 7.3"}],"minor_comments":[{"comment":"There is a typo: 'decent equations' should be 'descent equations' in the sentence 'More recently, the decent equations have appeared in constructions of symmetry topological field theories.'","section":"Introduction, p. 3"},{"comment":"In the last sentence, 'as given in (13)' should presumably refer to Fig. 13, not an equation number.","section":"Section 7.3, p. 46"},{"comment":"The notation im 𝒜(𝑄) and im 𝒜(d) is used before being defined. The authors should explicitly state that these are the images of the operators acting on the algebra of local operators 𝒜.","section":"Section 3.2.2, Eqs. (41)–(44)"},{"comment":"The assertion that Donaldson–Witten observables 𝒪^(i) constitute Noether currents for ghostly symmetries requires a coupling of the form (131) to some external sector; without such a coupling, the operators do not act on anything within the theory. The paper should state this more explicitly.","section":"Section 6"},{"comment":"The figures are rich and useful, but the crossed-out entries (e.g., the crossed-out A in Fig. 4) are only explained in the caption of Fig. 4; the same convention should be stated in the captions of Figs. 13 and 14.","section":"Figures 4, 13, 14"}],"recommendation":"major_revision","confidential_remarks":"The formal computations in this manuscript are careful and the examples are extensive, but the central claim rests on a definitional move: if symmetries are defined as topological operators, then descent-equation currents become symmetries almost by construction. The missing piece is a demonstration that ghostly charges act on the physical Hilbert space (H^0_Q) and have nontrivial physical consequences. The referee believes this is fixable within the scope of the manuscript, either by supplying such a demonstration for the key examples or by explicitly reframing the paper's contribution as a statement about the BV-extended field space. However, the authors should also temper the abstract's language about defining higher-form symmetries until this point is addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper is worth a serious referee, but the central claim should be read narrowly. What is new is the systematic BV presentation: any solution of the descent chain dJ^(i)=QJ^(i+1) gives a topological operator of nonzero ghost number, and they organize these into a two-dimensional array G[p,q]. The Maxwell chain (B -> A^+ -> c^+) and the Yang-Mills centre chain (C -> b^+ -> beta^+) are worked out in detail, and the reinterpretation of Donaldson-Witten observables as symmetry currents is a nice observation. The formal computations check out in the examples I know.\n\nThe main soft spot is the one the stress test flags. Section 3.1 proves U(Sigma) is topological using Q-annihilation of correlators. That makes it a Q-closed topological operator in the BV algebra. It does not show the operator preserves the physical subspace H^0_Q, and the paper's own examples show the currents act on ghosts and antifields: in Maxwell, A^+ shifts c and c shifts A^+, while F and *F are untouched. Section 5.1.2 places the charges in an extended Fock space with indefinite inner product. So as stated, 'ghostly symmetry' is a symmetry of the BV-extended algebra, not of the quantum theory. The authors owe either a demonstration that these operators descend to H^0_Q and are nontrivial there, or a clear statement that the result is about the BV complex. Without that, the claim partly reduces to the known fact that descent equations give topological operators in TQFTs. This is not a fatal flaw, but it is a real gap in the advertised conclusion.\n\nA second, smaller concern is the Yang-Mills section. The Villain-like action in section 7.3 is a modification of YM theory, not the standard theory, and the paper does not justify that the descendant symmetries survive in ordinary YM. The authors should say more about what exactly the modified action represents.\n\nSome circularity is present because the paper defines symmetries as topological operators, but the explicit chains and UV/IR matching in section 5.4 carry real content. The self-citations are appropriate.\n\nVerdict: send to peer review. The referee should ask for the physical-subspace clarification and a sharper discussion of the YM action. The formal core is solid enough to engage with.","headline":"A useful and mostly sound formal unpacking of descent-equation topological operators as 'ghostly' higher-form symmetries; the main physical claim needs work because the operators are shown to be Q-closed but not to act on physical states.","tokens_in":41230,"tokens_out":2031,"would_cite":true,"duration_ms":19682,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Currents with nonzero ghost number satisfying $dJ = QJ^{(1)}$ define topological higher-form symmetries, so every conventional higher-form symmetry begets a ladder of ghostly ones.","keywords":["higher-form symmetries","ghost number","Batalin-Vilkovisky formalism","descent equation","topological operators","Maxwell theory","Yang-Mills centre symmetry","higher gauge theory"],"falsifier":"In free Maxwell theory on a four-torus, compute a correlation function of the ghostly zero-form symmetry operator $\\exp(i\\alpha\\int_\\Sigma A^+)$ with a physical $Q$-closed observable for two homologous cycles $\\Sigma$; if the correlator changes under a smooth deformation of $\\Sigma$, the ghostly current $A^+$ is not the generator of a genuine symmetry and the descent chain reduces to the known topological-operator statement.","tokens_in":40223,"feed_emoji":"👻","tokens_out":13191,"duration_ms":107042,"temperature":0.7,"pith_summary":"Through the Batalin–Vilkovisky formalism, the paper argues that a higher-form symmetry current need not be closed on the nose; it is enough that its exterior derivative is $Q$-exact, $dJ = QJ^{(1)}$. Iterating this descent equation yields currents of increasing form degree and decreasing ghost number, each of which generates a topological operator of the kind that defines a higher-form symmetry, so conventional symmetries beget 'ghostly' symmetries with nonzero ghost number. This matters because it turns the familiar descent equations of topological field theory and anomalies into machinery for generating new symmetries, and it gives those ghostly symmetries a physical role: they act on Wilson-type operators built from ghosts and antifields, and their surviving discrete subgroups match between ultraviolet and infrared. The authors verify the structure in Maxwell theory, Abelian higher gauge theory, Chern–Simons/BF theories, Yang-Mills centre symmetry, and adjusted higher gauge theory.","feed_headline":"Every higher-form symmetry spawns ghostly descendants","feed_subtitle":"Ghost-number currents generate topological symmetry operators in gauge theories from Maxwell to Yang-Mills.","key_machinery":"The central object is the descent equation $dJ^{(i)}=QJ^{(i+1)}$ in the bigraded algebra of differential-form operators, where the two differentials are the de Rham differential $d$ (form degree plus one) and the BV differential $Q$ (ghost number plus one). It replaces the ordinary on-shell conservation law with a $Q$-exactness condition, so the operator $\\exp(i\\int_\\Sigma J)$ is invariant under deformations of $\\Sigma$ whenever $Q$ annihilates correlation functions. The paper organizes all rungs into the total complex with differential $D = d + (-1)^q Q$; solutions of $D\\alpha=0$ are exactly the ghostly current families, and the space of solutions carries the forgetful maps that give the span of symmetry groups.","core_discovery":"The central claim is that a conserved higher-form current need only be closed up to the BV differential: if $dJ = QJ^{(1)}$, then $U(\\Sigma)=\\exp(i\\int_\\Sigma J)$ is a topological operator and defines a symmetry even when $J$ carries nonzero ghost number. Iterating the descent equations $dJ^{(i)}=QJ^{(i+1)}$ produces a chain of ghostly currents of increasing form degree and decreasing ghost number, and every non-terminal rung of the chain generates a higher-form symmetry. The paper packages the solutions into a span of group homomorphisms $G[p,q] \\leftarrow G[p,q];[p+1,q-1] \\rightarrow G[p+1,q-1]$, and verifies the structure in Maxwell theory, Abelian higher gauge theory, Chern–Simons/BF theories, Yang-Mills centre symmetries, and adjusted higher gauge theory.","pith_inferences":["Going beyond the paper: the span of symmetry groups suggests a spectral-sequence picture in which ghostly symmetries are higher-page cohomology of the double complex; if so, the symmetry ladders of a given theory could be computed algebraically without solving any dynamics.","Going beyond the paper: if the discrete subgroups of ghostly symmetries survive matter coupling, they could serve as new renormalization-group invariants, and a lattice simulation of topological operators built from ghosts could test whether the symmetry claim is realized in the continuum limit.","Going beyond the paper: the interpretation of ghostly charges as counting antifield excitations in a non-positive-definite Fock space suggests these symmetries act on unphysical states, so the physically robust content may be the topological constraints and anomaly-matching conditions they impose rather than any Hilbert-space charge."],"forward_implications":["In any theory where a conventional higher-form symmetry current satisfies $dJ = QJ^{(1)}$, the full descent chain produces additional topological operators of higher form degree and lower ghost number; these are the conserved charges of ghostly symmetries.","In topological theories the descent chain never terminates, so every rung is a symmetry current and the familiar topological observables of cohomological TQFTs can be reinterpreted as charges of ghostly higher-form symmetries.","In Maxwell and Abelian higher gauge theory, the electric symmetry begets ghostly zero-form and $(-1)$-form symmetries whose charges count ghost and antifield quanta in an extended Fock space, with corresponding Wilson-type operators transforming under the ghostly currents.","When charged matter is added, the continuous ghostly symmetries break to discrete subgroups, and these subgroups match between the ultraviolet theory and its infrared BF-like limit, giving a ghostly analogue of 't Hooft anomaly matching.","The Yang-Mills centre one-form symmetry begets ghostly zero-form and $(-1)$-form symmetries, and adjusted higher gauge theory has an even richer pattern descending from one-form, two-form, and ghostly one-form centre symmetries."],"supporting_citations":[{"why":"Defines generalized global higher-form symmetries, the object class that the paper extends to nonzero ghost number.","marker":"[1]"},{"why":"Supplies the Batalin-Vilkovisky formalism and the Q-exact resolution of on-shell conditions.","marker":"[25]"},{"why":"Introduces the descent equations in topological quantum field theory that the paper uses to generate descendants.","marker":"[41]"},{"why":"Provides the descent-chain arguments for cohomological topological field theories showing descendants of topological observables are topological.","marker":"[43]"},{"why":"Gives the BV differential for Chern-Simons theory used in the topological examples.","marker":"[55]"},{"why":"Supplies the first-order/sandwich SymTFT formulation used for Maxwell and Abelian higher gauge actions.","marker":"[81]"},{"why":"Provides the discrete/cellular cocycle framework and the higher-gauge centre symmetries that the Yang-Mills and higher-gauge sections build on.","marker":"[54]"},{"why":"Supplies the adjusted higher gauge theory setup used for the final example of ghostly centre symmetries.","marker":"[97]"}],"fun_headline_variants":["Ghostly symmetries descend from standard ones","Descent equations spawn ghostly higher-form symmetries","Topological operators from ghost-number currents","Higher-form symmetries gain ghostly kin via descent"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument treats operators built from ghost-number-carrying currents, $\\exp(i\\int_\\Sigma J)$, as genuine symmetry operators whose correlation functions are annihilated by the BV differential $Q$, even though those operators act on ghosts and antifields in a non-positive-definite extended Fock space.","fun_headline_variants_meta":{"raw":{"variants":["Ghostly symmetries descend from standard ones","Descent equations spawn ghostly higher-form symmetries","Topological operators from ghost-number currents","Higher-form symmetries gain ghostly kin via descent"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000131,"raw_usage":{"total_tokens":1063,"prompt_tokens":817,"completion_tokens":246,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":433,"completion_tokens_details":{"reasoning_tokens":188}},"tokens_in":433,"tokens_out":246,"duration_ms":2935,"temperature":1.0,"reasoning_tokens":188,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:49:39.781940+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In free Maxwell theory on a four-torus, compute a correlation function of the ghostly zero-form symmetry operator $\\exp(i\\alpha\\int_\\Sigma A^+)$ with a physical $Q$-closed observable for two homologous cycles $\\Sigma$; if the correlator changes under a smooth deformation of $\\Sigma$, the ghostly current $A^+$ is not the generator of a genuine symmetry and the descent chain reduces to the known topological-operator statement.","supporting_citations":[],"review_version":2}