{"id":"b73e07bf-3b27-41c0-916a-f932a815d1aa","arxiv_id":"2506.14930","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A Dirac structure lifts to the real projective blowup exactly for transverse submanifolds or invariant submanifolds whose transverse Lie algebras have constant height 0 or 1, classified as abelian, R semidirect R^n, or so(3).","lead":"This paper characterizes exactly when a twisted Dirac structure on a manifold lifts to a Dirac structure on the real projective blowup along a submanifold. The answer is a clean dichotomy: transverse submanifolds always lift, while invariant submanifolds lift exactly when the transverse Lie algebras have constant height, namely abelian, R semidirect R^n, or so(3).","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Blohmann splitting theorem for twisted Dirac structures is the load-bearing external assumption; Lemma 5.8 and Theorem 6.6 depend on it directly.","rationale":"The reader's weakest_assumption already identified this dependency. I agree that it is the most vulnerable point in the proof, but I do not treat it as an actual error: the theorem is cited from published work and the paper consistently applies it through Lemmas 3.9 and 3.10. The rest of the proof, including the spinor computations in Lemma 5.7, the constant-order criteria (Corollary 6.3, Lemmas 6.8-6.10), and the Lie algebra classification (Section 8), is internally coherent and I found no independent logical gap. Thus the verdict ACCEPT stands, with the caveat that the twisted splitting theorem is a nontrivial external input that would deserve a short verification or a precise statement of its twisted version. A concrete check on the SO(3) Cartan-Dirac example would settle whether the external theorem applies in the intended generality.","tokens_in":743,"tokens_out":2841,"duration_ms":1208300,"concrete_test":"Verify the twisted splitting theorem directly for a case with H≠0, e.g. the Cartan-Dirac structure on SO(3) near the identity (Example 6.2): perform the local gauge-untwisting by a 2-form B with dB=-H and check that the resulting product normal form graph(π)×TZ has transverse isotropy isomorphic to so(3), and that the bracket is unchanged by the gauge. If the H-term survives in (TN)∘ or the product normal form is not obtained, then Lemma 5.8 and Theorem 6.6 have a hidden false assumption.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing assumption is Theorem 3.7, Blohmann's splitting theorem, imported from [Blo17] for twisted Dirac structures. It is used in two critical places: in Lemma 5.8 it replaces an arbitrary twisted Dirac structure near an invariant point by the product graph(π)×TZ and straightens N to {0}×Y×Z, and in Theorem 6.6 (via Corollary 3.8) it reduces liftability of L to liftability of the linear Poisson structure graph(π_lin) on the normal bundle. If the splitting theorem fails for H-twisted structures, or if the gauge-untwisting step (which uses non-closed 2-forms, as allowed in Definition 3.3) does not preserve (TN)∘ up to the isomorphism (3.1), then neither direction of the invariant case of the Main Theorem is established. The paper gives no independent proof of the twisted version; it points to [BLM19, Theorem 5.1] but does not reproduce the argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper characterizes the liftability of a real twisted Dirac structure L on a manifold M to the real projective blowup along a connected closed embedded submanifold N of codimension greater than one. The Main Theorem states that L lifts exactly when either N is transverse to L, or N is invariant and the fibres of the bundle of Lie algebras (TN)^circ all have the same constant height; the classification in Section 8 says that the only possible such fibres are abelian Lie algebras, the diagonal semidirect product R semidirect R^n, or so(3). The blowdown map is backward Dirac in the transverse case and forward Dirac in the invariant case. The proof proceeds by spinor-line techniques: Section 4 handles transversals, Section 5 proves the transverse/invariant dichotomy using extension of line bundles along the exceptional divisor, Section 6 reduces the invariant case to linear Poisson structures on the normal bundle and then to the constant-height condition, Section 7 gives an independent geometric proof for zeros of Poisson structures, and Section 8 classifies constant-height Lie algebras. The paper recovers Polishchuk's theorem for Poisson structures as the height-zero case.","tokens_in":1143,"tokens_out":1222,"duration_ms":276090,"significance":"If correct, this is a natural and significant generalization of Polishchuk's result, with a genuinely new exceptional case (so(3)) and a clean dichotomy. The proof is detailed and well structured. The spinor-line extension lemma (Lemma 5.3) is simple and effective; the reduction from arbitrary twisted Dirac structures to fibrewise linear Poisson structures (Theorem 6.6) is thoroughly documented; the Lie-algebra classification is self-contained and rigorous; and Section 7 provides an independent, more geometric verification for the zero-of-Poisson case. I found no circularity: Polishchuk's theorem is recovered as a corollary rather than assumed. The main external input is Blohmann's splitting theorem (Theorem 3.7); its use for twisted structures is justified by the gauge-untwisting convention in Definition 3.3 and is transparently cited. The stress-test concern about this dependence does not, in my reading, point to a gap in the manuscript.","major_comments":[],"minor_comments":[{"comment":"Since the paper relies on the splitting theorem for H-twisted structures, please add one sentence in the paragraph preceding Theorem 3.7 explaining explicitly that a local primitive B of H (with dB=H) gauge-transforms any H-twisted structure to an untwisted one, to which Blohmann's theorem applies.","section":"Section 3.3, Theorem 3.7"},{"comment":"The assertion that w=pi-pi_lin can be decomposed as a sum of wedges U_k wedge V_k of vector fields tangent to N is stated without proof; a short justification from the vanishing orders of the coefficients of pi along N would make this load-bearing step easier to check.","section":"Section 6.2, proof of Theorem 6.6"},{"comment":"The proof of the locality of liftability is omitted as obvious; since this lemma justifies the local reductions in Sections 5 and 6, one sentence on uniqueness of the lift over the dense complement would be helpful.","section":"Section 3.4, Lemma 3.10"},{"comment":"The notation for the lift of pi^sharp alpha is not typeset clearly in the arXiv version; please define it explicitly as the unique p-related lift of the vector field pi^sharp alpha.","section":"Section 7, Eq. (7.1)"},{"comment":"There are a few small typos: with a with a in Section 6.2, Zarisky in the proof of Lemma 8.4, and so and Dirac structure in the Remark following the Main Theorem; these should be corrected.","section":"Throughout"}],"recommendation":"accept","confidential_remarks":"The manuscript is a strong fit for the journal, and the positive assessment in the reader's report is justified. The only point for the handling editor to weigh is the paper's reliance on Blohmann's splitting theorem for twisted Dirac structures; this is a published external result and the reduction is explained, so I do not consider it a blocker. I see no citation-pattern or novelty issue; the self-citations are used for standard facts about lifts of vector fields and Lie algebroid pullbacks."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline: this paper actually settles the question. They characterize when a twisted Dirac structure lifts to the real projective blowup along a closed submanifold of codimension >1, and the answer is clean: either the submanifold is transverse, or it is invariant and the transverse Lie algebras have constant height 0 or 1. The height-1 case, which forces so(3), is genuinely new; it connects to Conn linearization and the Cartan-Dirac structure, and it did not appear in Polishchuk's Poisson picture.\n\nWhat is new and worth credit: the transverse/invariant dichotomy (Theorem 5.1), the reduction to linear Poisson structures (Theorem 6.6), and the classification of constant-height Lie algebras (Theorem 8.1). The so(3) case is not an artifact; the examples in Section 7 show it concretely. The paper also gives a spinor-free proof of the Poisson case in Section 7, which is a nice independent check. The writing is careful; the proofs are structured, and the reduction steps are documented.\n\nSoft spots: the biggest is the reliance on Blohmann's splitting theorem (Theorem 3.7) for twisted Dirac structures, which is used in Lemma 5.8 and Theorem 6.6. The stress-test worry about gauge-untwisting not preserving (TN)^circ is addressed by Lemma 3.9, so that specific concern does not land. Still, the paper does not prove the twisted version of the splitting theorem, and both directions of the invariant case depend on it. That is not a flaw if the theorem is standard, but I would want the referee to verify the reference [BLM19] actually covers the twisted statement. The other soft spot is the intricacy of Section 5; I did not verify every chart computation, but the logic is coherent.\n\nMinor: the paper is long, and the spinor formalism is heavy; the geometric proof in Section 7 helps.\n\nBottom line: this is a substantial and honest paper. The main theorem is new, the classification is rigorous, and the examples are well-chosen. It deserves a serious referee, and I would support sending it out rather than desk-rejecting. I'd bring it to the reading group and would cite it.","headline":"A complete, well-organized characterization of Dirac lifts under real projective blowups, with a genuinely new so(3) case; the external splitting theorem is load-bearing but the main proof logic holds up.","tokens_in":753,"tokens_out":1861,"would_cite":true,"duration_ms":49751,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D17","17B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"A twisted Dirac structure lifts to the blowup exactly when the submanifold is transverse, or invariant with one of three exceptional transverse Lie algebras.","keywords":["Dirac structures","twisted Dirac structures","real projective blowup","liftability","Poisson structures","constant height Lie algebras","spinors","linear Poisson structures"],"falsifier":"Take the linear Poisson structure on $\\mathfrak{sl}_2(\\mathbb{R})^*$ and pull its spinor back to $\\operatorname{Blup}(\\mathfrak{sl}_2(\\mathbb{R})^*,\\{0\\})$; the paper predicts the vanishing order is not constant along $P(\\mathfrak{sl}_2(\\mathbb{R})^*)$ because the half-cone coadjoint orbits contain radial lines while nearby orbits do not, so no lift exists. A direct calculation finding a smooth lifted spinor in those charts would falsify the Main Theorem.","tokens_in":31226,"feed_emoji":"📐","tokens_out":13920,"duration_ms":122557,"temperature":0.7,"pith_summary":"Twisted Dirac structures unify Poisson structures, closed 2-forms, and foliations under one geometric framework, and the real projective blowup replaces a closed submanifold $N$ by the projectivisation of its normal bundle. This paper characterises, for codimension $>1$, exactly when such a structure lifts to a smooth twisted Dirac structure on the blowup. The answer is a dichotomy: a transverse submanifold always admits a lift whose blowdown map is backward Dirac, while an invariant submanifold admits a lift precisely when its transverse Lie algebras all share a single constant height, which forces them to be abelian, $\\mathbb{R}\\ltimes\\mathbb{R}^n$, or $\\mathfrak{so}(3)$. The height-zero case recovers the classical Poisson blowup theorem, and the height-one $\\mathfrak{so}(3)$ case is a genuinely non-Poisson phenomenon. The paper's classification of constant-height Lie algebras, showing that none exist beyond height $1$, is what makes the criterion complete.","feed_headline":"A full criterion for when Dirac structures lift to blowups","feed_subtitle":"Transverse submanifolds always work; invariant ones work only for abelian, R⋉R^n, or so(3) transverse Lie algebras.","key_machinery":"The mechanism that carries the proof is the spinor-line description of Dirac structures: a maximal isotropic subbundle is encoded by a line subbundle of $\\wedge^\\bullet T^*M$ locally generated by a pure spinor, and the structure is Dirac exactly when the spinor satisfies $d_H\\phi=\\rho(A)\\phi$. Along the blowup, liftability becomes a statement about the vanishing order of the pulled-back spinor $p^*\\phi$ on the exceptional divisor $P(\\nu_N(M))$: the extension exists precisely when this order is constant. A splitting theorem imported from the literature reduces local questions to products of a Poisson structure and a tangent bundle, which turns the problem into one about linear Poisson structures on the normal bundle. The invariant case is governed by the transverse bundle of Lie algebras $(TN)^\\circ$; for an element $\\xi\\in(T_qN)^\\circ\\setminus\\{0\\}$ its height is the integer $k$ with $\\xi\\wedge(d_g\\xi)^k\\neq 0$ and $\\xi\\wedge(d_g\\xi)^{k+1}=0$, where $d_g$ is the Chevalley-Eilenberg differential, and the theorem equates liftability with all nonzero elements having one common height. The classification of such Lie algebras, via Cartan class, Killing-form arguments, and the structure of compact semisimple Lie algebras, supplies the short list of allowed fibres.","core_discovery":"Let $L$ be an $H$-twisted Dirac structure on a manifold $M$ and let $N\\subseteq M$ be connected, closed, embedded, with $\\operatorname{codim}N>1$. The Main Theorem states that $L$ lifts to a twisted Dirac structure on the real projective blowup $\\operatorname{Blup}(M,N)$ if and only if $N$ is a transversal for $L$, in which case the lift exists with no further restriction and the blowdown map is a backward Dirac map, or $N$ is invariant for $L$ and every fibre of the bundle of Lie algebras $(TN)^\\circ$ has the same constant height $k$. A Lie algebra of constant height $k=0$ is either abelian or $\\mathbb{R}\\ltimes\\mathbb{R}^n$ with the diagonal representation; the only constant-height algebra with $k=1$ is $\\mathfrak{so}(3)$; and no Lie algebra has constant height $k\\ge 2$. In the invariant case the blowdown map is forward Dirac. Together these clauses recover the classical Poisson blowup theorem of [Pol97] as the height-zero case and add the genuinely Dirac-theoretic $\\mathfrak{so}(3)$ case.","pith_inferences":["A testable extension, flagged in the paper as open: weighted blowups may admit lifts for a wider class of transverse Lie algebras than the three types allowed here, because the vanishing-order condition depends on the weights of the divisor.","The orbit-dimension version of the criterion suggests an algorithmic test for zeros of Poisson structures: compute coadjoint orbit dimensions and whether the radial line lies in the tangent space, then compare with direct spinor computations in low dimensions.","The same spinor and vanishing-order method may transfer to other structures encoded by spinor lines, such as generalised complex structures, where a similar transverse/invariant dichotomy could serve as a template."],"forward_implications":["Transversal submanifolds always inherit the structure after blowup: the lift is pulled back as a backward Dirac structure, so a transversal never obstructs liftability.","For an invariant submanifold, liftability is a fibrewise linear-algebra condition: the transverse Lie algebras must all have the same constant height, so the answer at $N$ is computed entirely from $(TN)^\\circ$.","The only non-Poisson possibility is height $1$, where each transverse Lie algebra is $\\mathfrak{so}(3)$; the lifted structure is then a genuine Dirac structure, not the graph of a bivector field, as illustrated by the Cartan-Dirac structure on $SO(3)$ at the identity.","The classical Poisson blowup theorem is a direct corollary: a Poisson structure lifts to a Poisson structure exactly in the height-zero case (abelian or $\\mathbb{R}\\ltimes\\mathbb{R}^n$ fibres).","Where a lift exists in the invariant case the blowdown map is forward Dirac, which pins down the directional nature of the blowup map."],"supporting_citations":[{"why":"states the Poisson blowup theorem whose height-zero case the Main Theorem recovers and extends.","marker":"[Pol97]"},{"why":"supplies the local splitting normal form for twisted Dirac structures used to reduce the problem to Poisson products in Lemma 5.8 and Theorem 6.6.","marker":"[Blo17]"},{"why":"provides the spinor-line description of Dirac structures and the $d_H$ condition used throughout the vanishing-order and extension arguments.","marker":"[Gua11]"},{"why":"introduces twisted Dirac structures and the gauge action by 2-forms that underlies the isomorphism notion and the Cartan-Dirac example.","marker":"[ŠW01]"},{"why":"relates the height of a Lie algebra element to its Cartan class, the notion used to organise the classification.","marker":"[GR19]"},{"why":"supplies the structure theory of regular elements, Cartan subalgebras, and roots used to show a semisimple constant-height algebra is compact and rank one.","marker":"[Kna02]"},{"why":"provides the compact-Lie-group facts on coadjoint orbits and maximal tori used to identify the semisimple case with $\\mathfrak{so}(3)$.","marker":"[DK00]"}],"fun_headline_variants":["Transverse submanifolds always lift; invariant ones need constant height 0 or 1","Blowups of Dirac structures: transverse works, invariant only for abelian, R⋉R^n or so(3)","Dirac blowups: transverse lifts always, invariant lifts if constant height k=0 or 1","Lifting Dirac to blowups: transverse always, invariant only with constant height k≤1"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the imported local splitting theorem for twisted Dirac structures: near any point the structure can be written, after adjusting the twist by a 2-form, as a product of a Poisson structure and a tangent bundle; if that normal form failed for twisted structures, the geometric reduction to linear Poisson structures on the normal bundle would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Transverse submanifolds always lift; invariant ones need constant height 0 or 1","Blowups of Dirac structures: transverse works, invariant only for abelian, R⋉R^n or so(3)","Dirac blowups: transverse lifts always, invariant lifts if constant height k=0 or 1","Lifting Dirac to blowups: transverse always, invariant only with constant height k≤1"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002169,"raw_usage":{"total_tokens":8415,"prompt_tokens":958,"completion_tokens":7457,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":574,"completion_tokens_details":{"reasoning_tokens":7352}},"tokens_in":574,"tokens_out":7457,"duration_ms":42355,"temperature":1.0,"reasoning_tokens":7352,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:46:12.393351+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the linear Poisson structure on $\\mathfrak{sl}_2(\\mathbb{R})^*$ and pull its spinor back to $\\operatorname{Blup}(\\mathfrak{sl}_2(\\mathbb{R})^*,\\{0\\})$; the paper predicts the vanishing order is not constant along $P(\\mathfrak{sl}_2(\\mathbb{R})^*)$ because the half-cone coadjoint orbits contain radial lines while nearby orbits do not, so no lift exists. A direct calculation finding a smooth lifted spinor in those charts would falsify the Main Theorem.","supporting_citations":[],"review_version":2}