{"id":"459c24c6-bf1a-412f-b14a-8a05ea536306","arxiv_id":"2608.02928","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"On ordinary corners, facewise AKSZ transgression is a cochain map into a face total complex, so corner defects cancel as the square of the face differential.","lead":"Mathematical physics gains a bookkeeping system for topological field theories on spaces with corners: instead of treating the boundary one layer at a time, the paper tracks every face simultaneously with signs. This yields exact cancellations at corners and a formal benchmark for future work on generalized corners.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the facewise AKSZ descent theorem is a consistent consequence of the explicitly adopted formal mapping-space hypothesis.","rationale":"The reader's weakest assumption, Assumption 1.2, is indeed the only load-bearing premise, and I agree that the paper is transparent about it. My stress-test focused on the internal logic of the central theorem: I checked the transgression–Stokes formula, the source/target split in the modified Hamiltonian identity, the D^2=0 computation, and the cochain-map property. All are internally consistent under the stated formal hypothesis. The paper also explicitly separates proved statements from imported input and from open analytic questions in Section 9, so the conditional nature of the main theorem is not hidden. The BF model calculation in Section 7 is a concrete consistency check rather than a proof of analytic regularity, and the paper does not claim otherwise. Therefore the reader's ACCEPT verdict with moderate confidence remains appropriate; no adjustment is needed.","tokens_in":24410,"tokens_out":31241,"duration_ms":308565,"concrete_test":"Verify Theorem 4.7 componentwise on the smallest nontrivial model: take M=[0,1], a one-dimensional face F (so m=1), and a simple exact Hamiltonian target such as Y=T^*[1]R. Write T^0 and T^1 explicitly as superfield integrals, then check the identities D(Tα)=(Tω) and D(Tω)=0 in the k=0 and k=1 components using definitions (3) and (18). Compare the boundary signs against a direct superfield calculation in the style of Appendix C; if any sign disagrees, the sign convention of the face total complex requires correction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I re-derived the central chain of the paper and found no internal flaw. Lemma 3.2 (transgression–Stokes) follows from the superfield generating-function computation in Appendix C: using the total differential d=δ+d with δd=−dδ, the identity (36) is obtained by integrating the DGA morphism and applying facewise Stokes', and the factor k and normalization 1/k! come out exactly as claimed. Theorem 4.1 then follows by splitting ι_{Q_F}ω_F into source and target parts and using (3) with k=1 and k=0; the signs cancel correctly. Theorem 4.7 is also consistent: the mixed terms in D^2 cancel because the two vertical/horizontal contributions carry signs (−1)^m and (−1)^{m−1}, and the horizontal-horizontal term vanishes by functoriality of restriction and the incidence identity Lemma 2.4. The cochain-map identity DT(χ)=T(d_Yχ) follows componentwise with no missing sign. The only substantive premise is Assumption 1.2, the formal mapping-space hypothesis; the paper states this premise explicitly, confines all claims to the formal/local-form setting, and disclaims global analytic regularity. I found no unsupported step needed for the central conditional theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a facewise AKSZ--BV/BFV descent formalism for compact oriented manifolds with embedded ordinary corners. Under the explicit formal mapping-space hypothesis (Assumption 1.2), the author defines, for each face F, the mapping space F_F = Map(T[1]F,Y), the transgression operators T^k_F, and the facewise data (ω_F, α_F, S_F, Q_F). Theorem 4.1 establishes the modified Hamiltonian identity whose boundary term is the signed face incidence sum over codimension-one faces; Theorem 4.7 packages the resulting identities into a cochain map from the target de Rham complex to a face total complex, with D^2=0 following from the face incidence cancellation; Corollary 4.6 and Theorem 4.8 give the corner-square identity and the closed-face master equation. A worked four-dimensional BF example on Γ×[0,1]^2 verifies all four codimension-two orientation cancellations. Section 5 restates a Dirac/Poisson reduction criterion for strictifying singular corner data, and Sections 9--10 carefully separate proved statements, imported results from [10, 11, 13], and open problems for Joyce generalized corners.","tokens_in":24580,"tokens_out":12564,"duration_ms":109622,"significance":"If the central result holds, the paper gives a clean organizational theorem: ordinary-corner AKSZ descent is encoded by a single cochain map whose square-zero property is the transgressed form of ∂_face^2=0. This is a useful structural benchmark and clarifies precisely what would be needed for generalized corners. The proofs are complete within the stated formal Cartan calculus, and the paper is unusually explicit about its standing hypothesis, provenance, and limitations. Notably, the factor 1/k! in the normalized transgression is derived from the coefficient k in the transgression--Stokes identity rather than chosen for convenience, and the BF corner calculation checks all four incidence products explicitly. The contribution is organizational and sign-theoretic rather than a new analytic existence theorem, but that scope is stated honestly in the abstract, in Section 9, and in the discussion of Assumption 1.2.","major_comments":[],"minor_comments":[{"comment":"The cross-referencing between numbered statements is inconsistent throughout Sections 2--4: Lemma 2.4 is repeatedly cited as 'Theorem 2.4', Remark 2.2 is cited as 'Theorem 2.2' in the proof of Lemma 2.4, Definition 3.1 is cited as 'Theorem 3.1', Lemma 3.2 as 'Theorem 3.2', and Propositions 3.4 and 3.5 as 'Theorems 3.4 and 3.5'. These labels should be corrected before publication.","section":"Sections 2--4"},{"comment":"Assumption 5.3 is labeled an assumption, but in the proof of Proposition 5.4 and in Remark 5.5 it is cited as 'Theorem 5.3'; the label and all references to it should be unified.","section":"Section 5.3"},{"comment":"The corner-square statement is Corollary 4.6, but it is referred to as 'Theorem 4.6' in Section 6.3 and in the preamble to Section 4.1; similarly, the references in Section 4.1 to 'Theorems 4.6 and 4.7' should be adjusted to match the actual labels.","section":"Sections 4.1 and 6.3"},{"comment":"In Appendix C the source de Rham differential is written d in the superfield computation, while the body of the paper uses D_F for the source de Rham vector field and δ for the field-space differential; the total operator d := δ + d therefore overloads d. Please rename the total operator (for example d_tot) or explicitly flag the notational shift.","section":"Appendix C"},{"comment":"Theorem 1.1 is stated before Assumption 1.2 is introduced, even though the theorem is conditional on it; the statement should say 'Under Assumption 1.2 below' or the standing hypothesis should be presented before the main theorem.","section":"Theorem 1.1"},{"comment":"Figure 1 is helpful, but it does not indicate the incidence signs on the four arrows; annotating each arrow with [F:G_i] and [G_i:H] would make the sign cancellation visible at a glance.","section":"Figure 1"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is honest about its conditional scope and its overlap with [10], and I see no citation-pattern or novelty-disclosure problems. The contribution is structural rather than groundbreaking, but it is well suited to the journal's geometric-field-theory audience once the cross-reference and notation issues are fixed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main thing you should know: the central theorem is conditional on an explicit formal mapping-space hypothesis, and within that hypothesis the math checks out. I re-derived the chain transgression–Stokes, modified Hamiltonian identity, and D^2 = 0; the signs work, the 1/k! normalization is forced rather than chosen, and the corner-square cancellation is exactly the face complex's ∂^2=0. The stress-test note is right: there is no hidden fitting or circular step.\n\nWhat's actually new is modest but real. The facewise organization over the face poset, the total complex with factorially normalized transgression as a cochain map, and the explicit cancellation of all four corners in Γ×[0,1]^2 are not in the cited literature. The paper is largely a repackaging of standard AKSZ–BV–BFV Cartan calculus with careful incidence signs, but the packaging is clean and the BF check is concrete. I also give credit for the provenance audit: Section 9 and the 'Relation to [10]' section explicitly separate proved statements, imported input, and open problems. That is how a paper should be written.\n\nSoft spots, in proportion. The whole theorem rests on Assumption 1.2, the formal mapping-space hypothesis; the author flags it and never overclaims analytic regularity, but this means the paper is not a resolution of the infinite-dimensional functional-analytic issues. The gravity comparison is imported from [10] and not reproved; the reconstruction of Palatini–Cartan from a single intrinsic AKSZ target remains open, and the paper says so. The quantum layer is untouched. None of this undermines the conditional theorem, and the limitations are stated rather than buried.\n\nThe citation pattern is honest. The overlap with [10] is handled explicitly, with credit where due and a clear list of what is new. No red flags there.\n\nWho is this for? People working on BV–BFV, AKSZ, or corner geometry who want a clean ordinary-corner benchmark and a careful sign dictionary. It will not change the field, but it is a useful and trustworthy reference.\n\nRecommendation: send it to a serious referee. The paper deserves peer review, not desk rejection. I would accept it conditional on the referee accepting the stated scope and checking the sign conventions, which appear correct.","headline":"A transparent, formally sound paper that proves a facewise AKSZ descent theorem under an explicit formal hypothesis, with honest provenance and a small but real new contribution.","tokens_in":25139,"tokens_out":1633,"would_cite":true,"duration_ms":23360,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T70","81T45","53D17","58A50","70S15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Under a formal mapping-space hypothesis, this paper proves that AKSZ transgression can be organized coherently over the entire face poset of a compact oriented manifold with ordinary corners, with the Hamiltonian defect on each face being…","keywords":["AKSZ construction","BV-BFV formalism","manifolds with corners","face complex","transgression","Dirac structures","BF theory","generalized corners"],"falsifier":"Compute the facewise transgression-Stokes formula (3) on the square $[0,1]^2$ for the target $Y=T^*[3](\\mathfrak{g}[1])$ with a target form of degree $p>2$; if the coefficient $k$ on the boundary term or the incidence signs $[F:G]$ disagree with the paper's table for $\\Gamma\\times[0,1]^2$, the central identity fails. Alternatively, check whether the local-form pairing $(\\eta,\\eta')\\mapsto\\int_F \\eta\\wedge\\eta'$ on a closed face is degenerate in the chosen topology, which would break the nondegeneracy used in Theorem 4.8.","tokens_in":24155,"feed_emoji":"🧩","tokens_out":9298,"duration_ms":79040,"temperature":0.7,"pith_summary":"This paper aims to show that AKSZ transgression, the standard way of building a BV-BFV field theory from a Hamiltonian dg symplectic target, extends coherently to every face of a compact oriented manifold with ordinary corners. The central claim is that the facewise data satisfy a modified Hamiltonian identity: on a codimension-r face, the failure of the cohomological vector field to be Hamiltonian is exactly the signed sum of pullbacks of the primitives on the codimension-one faces, with orientation incidence numbers. From that, a total-complex theorem follows: factorially normalized facewise transgression is a cochain map from the target de Rham complex to a face total complex, so closed target forms become cocycles and the doubled corner defect vanishes because the signed face differential squares to zero. The paper also gives a reduction criterion: if a singular codimension-two descendant is presymplectic and its reduced Dirac structure is the graph of a Poisson bivector, the shifted cotangent construction yields a canonical strict degree-two corner theory. This matters because it isolates the incidence mechanism that makes boundary terms consistent, provides a benchmark for comparing regular AKSZ models with reduced gravitational corner data, and identifies precisely what must change to pass to generalized corners.","feed_headline":"At every corner, AKSZ descent cancels cleanly","feed_subtitle":"A single face complex packages all boundary corrections; the double corner defect vanishes automatically.","key_machinery":"The face incidence complex: the free abelian group on faces with boundary $\\partial_{\\mathrm{face}}F=\\sum_{G\\prec F}[F:G]G$, where $[F:G]$ compares the orientation induced by the outward-normal-first convention with the fixed orientation; Lemma 2.4 shows $\\partial_{\\mathrm{face}}^2=0$ because the two ordered approaches to a codimension-two face induce opposite orientations. This combinatorial square-zero relation is coupled with the transgression operators $T^k_F=\\iota^k_{\\widehat{D}_F}(p_F)_*\\mathrm{ev}_F^*$ and the facewise transgression-Stokes identity (3), whose coefficient $k$ and signed face sum force the factorial normalization in $T(\\chi)^k_F=\\frac{1}{k!}T^k_F\\chi$. The total differential $D$ from (18) is the dual of $\\partial_{\\mathrm{face}}$ together with the field-space de Rham differential, and $D^2=0$ is what makes the corner-square identity and the cochain-map theorem hold.","core_discovery":"Under the formal mapping-space hypothesis (Assumption 1.2), the assignment $F \\mapsto (\\mathcal{F}_F=\\mathrm{Map}(T[1]F,Y),\\omega_F,\\alpha_F,S_F,Q_F)$ over all faces $F$ of a compact oriented $n$-manifold with faces satisfies the modified Hamiltonian identity $\\iota_{Q_F}\\omega_F = (-1)^{\\dim F}\\delta S_F + \\sum_{G\\prec F}[F:G]\\rho_{FG}^*\\alpha_G$. Theorem 4.7 packages this into a cochain map $T:(\\Omega^\\bullet(Y),d_Y)\\to(C^\\bullet(M,Y),D)$, where $T(\\chi)^k_F=\\frac{1}{k!}T^k_F\\chi$ and $D$ is the face total differential; $D^2=0$, so closed target forms transgress to $D$-cocycles and $DT(\\alpha_Y)=T(\\omega_Y)$. The kernel of the argument is that the transgression-Stokes identity decomposes the single boundary pullback into signed face contributions with coefficient $k$, forcing the normalization $1/k!$, and that the corner-square cancellation is exactly the transgressed version of $\\partial_{\\mathrm{face}}^2=0$. On closed faces with nondegenerate $\\omega_F$, this yields strict $\\mathrm{BF}^r\\mathrm{V}$ data; for singular codimension-two corners, a clean reduction to a Poisson graph produces a canonical strict $\\mathrm{BF}^2\\mathrm{V}$ structure on the shifted cotangent bundle, independent of representatives. The paper verifies all four codimension-two cancellations for four-dimensional BF theory on $\\Gamma\\times[0,1]^2$.","pith_inferences":["The cochain map $T$ suggests a spectral sequence from target de Rham cohomology to the $D$-cohomology of the face complex; the paper does not develop this, but it would give a systematic anomaly-detection tool for higher-codimension corners.","For reducible theories such as BF, the strict AKSZ route and the reduced-Poisson route should agree only after imposing the ghost-for-ghost constraint; an explicit comparison on $\\Gamma\\times[0,1]^2$ would test that.","If the provisional refinement-invariance conjecture holds, generalized-corner computations can be pushed to ordinary-corner toric resolutions, making the theorem here a computational base case rather than an isolated structural result."],"forward_implications":["For regular models such as four-dimensional BF theory, the strict corner theory is already contained in AKSZ transgression on every closed face; no separate construction is needed.","Closed target forms become $D$-cocycles in the face total complex, so the full hierarchy of boundary corrections in BV-BFV descent is captured by a single cochain map.","The corner-square identity ensures that computing a codimension-two corner by the two ordered descents agrees after orientation correction; gluing two manifolds along a common face produces no uncancelled corner anomaly.","A presymplectic codimension-two descendant that admits a clean reduction to a Poisson graph has a canonical strict $\\mathrm{BF}^2\\mathrm{V}$ strictification on the shifted cotangent bundle, independent of choices.","The extension to generalized corners is reduced to concrete obstructions: replacing the Boolean face complex by a monoidal face lattice, constructing a dg source with a trace satisfying Stokes' formula, and proving refinement invariance."],"supporting_citations":[{"why":"Supplies the original AKSZ construction associating a classical field theory to a dg source, a symplectic target, and fiber integration.","marker":"[1]"},{"why":"Supplies the fiber-product gluing description used in the locality section of the paper.","marker":"[9]"},{"why":"Provides the reduced Dirac/Poisson corner data of Palatini-Cartan gravity and the strictification step the paper isolates as its reduction criterion.","marker":"[10]"},{"why":"Provides the k-extended BV degree conventions and the single-boundary Cartan-calculus identities whose facewise version is the paper's transgression-Stokes formula.","marker":"[11]"},{"why":"Establishes that a transverse Dirac structure is the graph of a Poisson bivector, the classical fact behind the reduction criterion.","marker":"[13]"},{"why":"Defines generalized corners and fixes the combinatorial object that the face complex must eventually generalize.","marker":"[14]"},{"why":"Supplies the manifolds-with-corners Stokes formula and orientation conventions that underlie the face incidence complex.","marker":"[18]"}],"fun_headline_variants":["Facewise AKSZ: signed defects sum to zero across corners","One face complex, double corner defect vanishes","AKSZ on corners: transgression becomes a cochain map","Corner AKSZ: face incidence makes D² vanish","Total-complex AKSZ: all boundary corrections in one differential"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"All identities are proved in the formal algebra of local differential forms on the mapping spaces; the load-bearing premise is that for every face $F$ the space $\\mathrm{Map}(T[1]F,Y)$ admits evaluation, restriction, contractions by lifted vector fields, and fiber integration of local forms, and that these operations obey graded Cartan calculus and Stokes' formula. If that formal calculus does not extend to the actual field spaces, the transgression-Stokes formula and the descent theorem are not established.","fun_headline_variants_meta":{"raw":{"variants":["Facewise AKSZ: signed defects sum to zero across corners","One face complex, double corner defect vanishes","AKSZ on corners: transgression becomes a cochain map","Corner AKSZ: face incidence makes D² vanish","Total-complex AKSZ: all boundary corrections in one differential"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000285,"raw_usage":{"total_tokens":1836,"prompt_tokens":1262,"completion_tokens":574,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":878,"completion_tokens_details":{"reasoning_tokens":490}},"tokens_in":878,"tokens_out":574,"duration_ms":5614,"temperature":1.0,"reasoning_tokens":490,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:55:18.502830+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the facewise transgression-Stokes formula (3) on the square $[0,1]^2$ for the target $Y=T^*[3](\\mathfrak{g}[1])$ with a target form of degree $p>2$; if the coefficient $k$ on the boundary term or the incidence signs $[F:G]$ disagree with the paper's table for $\\Gamma\\times[0,1]^2$, the central identity fails. Alternatively, check whether the local-form pairing $(\\eta,\\eta')\\mapsto\\int_F \\eta\\wedge\\eta'$ on a closed face is degenerate in the chosen topology, which would break the nondegeneracy used in Theorem 4.8.","supporting_citations":[{"cited_title":"A note on gluing via fiber products in the (classical) BV-BFV formalism","cited_arxiv_id":"2208.11211","evidence_quote":"Supplies the fiber-product gluing description used in the locality section of the paper."},{"cited_title":"The reduced Dirac structure of General Relativity on manifolds with corners","cited_arxiv_id":"2607.28262","evidence_quote":"Provides the reduced Dirac/Poisson corner data of Palatini-Cartan gravity and the strictification step the paper isolates as its reduction criterion."},{"cited_title":"Math.299, 760–862 (2016)","cited_arxiv_id":null,"evidence_quote":"Defines generalized corners and fixes the combinatorial object that the face complex must eventually generalize."},{"cited_title":"Research Notes in Mathe- matics, vol","cited_arxiv_id":null,"evidence_quote":"Supplies the manifolds-with-corners Stokes formula and orientation conventions that underlie the face incidence complex."}],"review_version":1}