Pith. sign in

REVIEW 5 major objections 4 minor 28 references

Extension Research of Principal Bundle Constraint System Theory on Ricci-flat K\"ahler Manifolds

T0 review · 5 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper claims that the compatible-pair framework for principal-bundle constraint systems, originally built under a flatness assumption, extends to non-flat connections on Ricci-flat Kähler manifolds, with curvature acting only through…

desk verdict The central 'compatible pair' is self-contradictory for non-abelian structure groups, and the sign and nilpotency errors that follow sink the paper. read the letter →

arxiv 2506.11593 v1 pith:2NPGWWVC submitted 2025-06-13 math.GM

Dongzhe Zheng This is my paper
classification math.GM MSC 53C5553C0555T1058A14
keywords principalbundleconstraintsystemscompatiblepairsstrongtransversalityRicci-flatKählermanifoldsSpencercohomologyspectralsequencescurvaturenon-holonomicconstraints
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper aims to show that the compatible-pair framework for constraint systems on principal bundles does not actually need flat connections. Working on a compact Ricci-flat Kähler manifold with vanishing first Chern class, it argues that every defining condition of a compatible pair $(D,\lambda)$ is independent of curvature, so the strong-transversality setup carries over unchanged to non-flat gauge fields. It then uses the curvature to derive new structure rather than to disturb old structure: integrability of the constraint distribution becomes the condition $\mathrm{ad}_\Omega^*\lambda=0$, the symplectic potential picks up a curvature term, the connection dynamics gain a reaction term, and Spencer cohomology is reorganized into a spectral sequence that encodes curvature classes. A sympathetic reader would care because this is what would make the existing flat-connection constraint geometry applicable to realistic gauge field backgrounds such as Calabi-Yau compactifications.

What carries the argument

The load-bearing objects are compatible pairs $(D,\lambda)$ and the Spencer double complex $K^{p,q}=\Omega^p(M)\otimes\mathrm{Sym}^q(\mathfrak{g})$. The pair is defined by $D_p=\{v\in T_pP:\langle\lambda(p),\omega(v)\rangle=0\}$ with $\lambda$ subject to $d\lambda+\mathrm{ad}_\omega^*\lambda=0$; this is what survives the transition to nonzero curvature. The curvature enters the argument through the identity $\langle\lambda,\Omega(X,Y)\rangle=0$, which is shown to be equivalent to Frobenius integrability of $D$, and through the total differential $D=d_h+d_v$ on the Spencer complex, whose spectral sequence is argued to converge after finitely many steps and to carry curvature classes in differentials $d_r$ with $r\ge 2$.

What would settle it

Take a non-abelian Lie algebra such as $\mathfrak{sl}_2$ with basis $e,f,h$ and apply the displayed Spencer operator twice to the symmetric product $e\odot f$, collecting the coefficient of $h\odot e\odot f$ after the two applications. If that coefficient is nonzero, then $\delta_\mathfrak{g}^2\neq 0$; since Lemma 9's $D^2=0$ relies on $\delta_\mathfrak{g}^2=0$, the Spencer double complex would not be a complex and Theorem 10's $E_1$ page would be undefined.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is universality: the compatible pair $(D,\lambda)$ — a distribution $D\subset TP$ and a Lie-algebra-dual-valued function $\lambda$ satisfying the modified Cartan equation $d\lambda+\mathrm{ad}_\omega^*\lambda=0$ — is well defined for arbitrary curvature $\Omega$, not just for flat connections. The non-flat case changes what integrability and dynamics mean: $D$ is completely integrable exactly when $\mathrm{ad}_\Omega^*\lambda=0$, the symplectic form of the system is $d\theta=\langle\lambda,\Omega\rangle$ up to a non-abelian correction, and the connection evolves by $\partial_t\omega=d_\omega(\delta H/\delta\lambda)-\iota_{X_H}\Omega$. In Spencer cohomology the paper replaces the flat isomorphism with a spectral sequence whose higher differentials carry $[\Omega]\in H^2_{\mathrm{dR}}(M,\mathrm{ad}P)$, and it extracts new invariants, the torsion terms $\mathrm{Torsion}^k(\Omega)$, which in low dimensions take explicit forms such as $\bigoplus_{i+2j=k}H^i_{\mathrm{dR}}(M)\otimes(\mathrm{Sym}^j(\mathfrak{g}^*))^{\mathfrak{g}}\otimes[\Omega]^j$.

Load-bearing premise

The spectral-sequence half of the argument depends on the Spencer differential $\delta_\mathfrak{g}$ having square zero; if the formula given in Definition 2 is not nilpotent on non-abelian Lie algebras, then the double complex has no well-defined first page and the curvature-encoding spectral sequence and torsion terms built from it do not get off the ground.

Editorial extensions

If this is right

  • Any non-flat connection on a Ricci-flat Kähler background would inherit the full compatible-pair structure, so constraint-system geometry would not require a flatness assumption.
  • A constraint distribution is completely integrable exactly when the curvature is annihilated in the sense $\mathrm{ad}_\Omega^*\lambda=0$; otherwise the constraints are non-holonomic.
  • Connection dynamics gain the curvature reaction term $-\iota_{X_H}\Omega$, which changes conservation laws and energy balance relative to the flat case.
  • Spencer cohomology becomes a spectral sequence that degenerates at the $E_2$ page when $\dim M\le 4$, and its surviving classes define Spencer torsion invariants.
  • On a Calabi-Yau threefold the torsion terms take concrete forms such as $H^{0,2}(X)\otimes\mathrm{tr}(\Omega^2)$, connecting the invariants to characteristic classes and string-theoretic charges.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the universality proof is correct, the Ricci-flat Kähler condition is not needed for the framework itself; it is a computational convenience. The same compatible-pair definitions should work on any base manifold, with the Kähler structure only making the spectral sequence easier to compute.
  • The integrability criterion $\mathrm{ad}_\Omega^*\lambda=0$ suggests a concrete diagnostic for non-holonomic mechanics: in a system with a known gauge field, computing $\langle\lambda,\Omega\rangle$ on constraint vector fields decides whether the constraints close.
  • The Spencer torsion terms, should they be well defined, would form a new family of gauge-bundle invariants; a natural test is whether they reduce to, or refine, standard Chern-Weil classes on Calabi-Yau threefolds.
  • The spectral-sequence results are only as solid as the nilpotency of the Spencer differential; checking $\delta_\mathfrak{g}^2=0$ for non-abelian Lie algebras is the first thing to verify before using the torsion formulas.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 4 minor

Summary. The paper claims to extend the principal-bundle constraint-system theory of compatible pairs (D, λ) from flat to non-flat connections, specifically on Ricci-flat Kähler manifolds. It asserts curvature independence of the strong transversality and compatible-pair definitions, derives an integrability criterion ad*_Ω λ = 0, obtains a dynamical connection equation ∂_t ω = d_ω(δH/δλ) − ι_{X_H}Ω, and constructs a Spencer double complex with a spectral sequence whose higher differentials supposedly encode curvature, culminating in new 'Spencer torsion terms'. The abstract's central claim is that the framework is universal and independent of the flatness assumption of connections.

Significance. If correct, the paper would provide a geometric-mechanics framework for non-abelian gauge constraints in curved backgrounds and a new spectral method for encoding curvature in Spencer cohomology. The paper is commendably transparent in stating its goals and in Remark 2 acknowledging that part of the foundational proof already appears in the author's preprint [Zhe25b]. However, the central construction is invalid: Definition 1 is internally inconsistent for non-abelian structure groups, and the Spencer differential in Definition 2 is not nilpotent, so the spectral sequence does not exist. These are load-bearing errors, not presentation issues, and they affect the main universality claim, the spectral sequence construction, and the derived dynamical equations.

major comments (5)
  1. [Definition 1, §2.2; §3.1] Conditions 3 and 5 of Definition 1 are mutually inconsistent for the structure groups used in this paper. Since ω(ξ^#)=ξ for vertical vectors, D_p∩V_p = {ξ∈𝔤 | ⟨λ(p),ξ⟩=0}; for dim 𝔤 ≥ 2 this subspace contains a nonzero vector, and if λ(p)=0 it equals V_p. In §3.1 the paper assumes G is compact semisimple, so dim 𝔤 ≥ 3, and no compatible pair can exist. Consequently Theorem 2's claim that the compatible-pair framework is curvature-independent is vacuous in the paper's main setting. The 'non-degeneracy' in Theorem 1 cannot repair this obstruction, since a single linear functional on a vector space of dimension greater than one always has a nontrivial kernel.
  2. [§5.1, Definition 2 and Remark 10] The operator δ_𝔤 defined in Remark 10 is not nilpotent for a non-abelian Lie algebra, so Lemma 9 is false and the double complex in Definition 2 is not a complex. For example, in the two-dimensional non-abelian Lie algebra with [x,y]=x, one computes δ^2(y) = −2 y⊙x⊙x ≠ 0. Therefore d_v^2 ≠ 0, the total differential D does not satisfy D^2=0, and the spectral sequence in Theorem 10 has no well-defined starting page. The assertion that δ_𝔤^2=0 is a 'fundamental property of Spencer differential operators' is incorrect for the formula as written.
  3. [§3.3, Proposition 4 and Remark 7] The proof of Proposition 4 contains a sign error in the use of Cartan's second structure equation. Substituting Ω = dω + 1/2[ω,ω] into dω(X,Y)=X(ω(Y))−Y(ω(X))−ω([X,Y]) yields ω([X,Y]) = X(ω(Y))−Y(ω(X)) + [ω(X),ω(Y)] − Ω(X,Y). Thus for X,Y∈D one obtains ω([X,Y]) = −Ω(X,Y), not +Ω(X,Y) as stated in Eq. (8). The final integrability criterion ad*_Ω λ = 0 is unaffected because the sign is irrelevant to vanishing, but the derivation is incorrect and Remark 7's claim that the bracket projection 'exactly equals the component of gauge field curvature' is wrong as stated.
  4. [§4.3, Theorem 8] The proof of Theorem 8 invokes dθ = ⟨λ,Ω⟩ in Step 3, but Theorem 6's own computation gives dθ = ⟨λ,Ω⟩ + 1/2⟨λ,[ω,ω]⟩. No argument is supplied to show that the remainder term 1/2⟨λ,[ω,ω]⟩ vanishes under the hypotheses of Theorem 8; Ricci-flatness of the base manifold alone does not imply ⟨λ,[ω,ω]⟩=0. The variational derivation is also formal: the Chern-Simons boundary term and the passage from a variational condition to the stated connection equation are not rigorously justified. Hence the non-flat dynamical equation is not established by the argument given.
  5. [§5.3–5.4, Theorems 10 and 12] The spectral-sequence torsion formulas in Theorem 12 are not well-defined as written. In Case 2 the expression uses intersections and images of differentials d_r for different r as if they were subspaces of a single common space, but d_r acts between different pages E_r. In Case 1 the tensor product H^i_dR(M)⊗(Sym^j(𝔤*))^𝔤⊗[Ω]^j is not derived from the E_2-page computation, which is independent of curvature, and it mixes de Rham cohomology with the ad P-valued class [Ω]; no proof is given that these are invariants or that they depend on Ω. Theorem 10's use of 'Whitehead's lemma gives H^q(𝔤,Sym^k(𝔤))=0 for q≥2' is also inaccurate: Whitehead's second lemma covers q=2, but higher Lie algebra cohomology with coefficients in non-trivial modules need not vanish.
minor comments (4)
  1. [Throughout] Several foundational results, including Theorem 1 and Proposition 5, are imported from the author's unpublished preprint [Zhe25b] without proof in this manuscript; this should be stated more prominently, and the dependence on non-peer-reviewed sources is a concern.
  2. [§4.1, Eqs. (10)–(11)] The factor 1/2 is mishandled in the displayed computation: combining ⟨dλ,ω⟩ + ⟨λ,Ω − 1/2[ω,ω]⟩ does not produce ⟨dλ + ad*_ω λ,ω⟩ + ⟨λ,Ω⟩ as written, because ⟨ad*_ω λ,ω⟩ = −⟨λ,[ω,ω]⟩ and the intermediate steps are off by a factor of two.
  3. [§4.4, Example 1] The identification ω=*u, where *u is a Hodge dual velocity field, with a connection form on a principal bundle is not justified and should be clarified or removed.
  4. [Throughout] There are numerous typos and rendering issues, including 'ad∗ Ω𝜆', 'K¨ahler' with combining characters, and inconsistent use of ⟨·,·⟩; a careful proofread is needed.

Circularity Check

3 steps flagged · score 7.0 of 10

The claimed non-flat universality rests on the author's own [Zhe25b], while the curvature torsion invariants are the Spencer spectral sequence's E_∞ terms renamed, and the nilpotency underpinning that spectral sequence is asserted rather than proved.

  1. self citation load bearing [Section 2.3, Remark 2; Theorem 2 Step 4]
    "The proof of this theorem in the original literature [Zhe25b] does not rely on the assumption Ω = 0, but is based on more fundamental differential geometric constructions: ... This observation provides a solid theoretical foundation for our subsequent universality proof."

    Theorem 2 is the paper's demonstration of the headline claim that compatible pairs and strong transversality are curvature-independent. The present text verifies only that the defining equations do not mention Ω; it does not re-prove existence. Step 4 explicitly refers to 'the proof of the bidirectional construction theorem (Theorem 1)' and that theorem is cited to [Zhe25b], the author's own prior work. Since [Zhe25b] is not machine-checked, externally reproduced, or derived from assumptions independent of the target result, the central non-flat extension is imported from a self-citation rather than established in this paper.

  2. renaming known result [Section 5.4, Theorem 12, Case 2]
    "Torsion^k(Ω)= (∩^N_{r=2} ker(d_r : E^{*,k-*}_r → E^{*+r,k-*-r+1}_r))/(∪^N_{r=2} im(d_r : E^{*-r,k-*+r-1}_r → E^{*,k-*}_r)) where N is the convergence step of the spectral sequence."

    This formula is the standard construction of the E_∞ page (abutment filtration) of the Spencer double complex, not a computation involving Ω. Definition 2's double complex K^{p,q}=Ω^p(M)⊗Sym^q(g) has differentials d_h and d_v that are independent of curvature, as Remark 10 also states. The paper then declares these surviving classes to be 'new topological invariants generated by non-flat gauge field geometry' and grades them by powers [Ω]^j, but the higher differentials d_r (r≥2) through which curvature would act are never specified or computed. The 'Spencer torsion terms' are therefore the spectral sequence's own terms renamed as curvature invariants.

1 more flagged steps
  1. other [Section 5.2, Lemma 9, Step 2]
    "Step 2: d_v^2 = (id⊗δ_g)^2 = id⊗δ_g^2 = 0, because δ_g^2 = 0 is a fundamental property of Spencer differential operators."

    The Spencer spectral sequence and the torsion-term formulas in Theorem 12 depend on the total differential D=d_h+d_v having D^2=0. Lemma 9 is the sole justification, and its vertical half is discharged by asserting δ_g^2=0 as 'a fundamental property' without verifying it for the explicit operator displayed in Remark 10. For a non-abelian Lie algebra that displayed symmetric-product operator is not nilpotent, so the pages E_r used in Theorem 12 are not established. The curvature-encoding structure thus rests on an unproved nilpotency assertion that is equivalent to its own well-definedness.

full rationale

The paper contains real, independent-looking computations—notably the exterior-derivative algebra in Theorem 6—but its central 'universality' claim and its advertised curvature-encoding tools have a circular structure. The existence part of the compatible-pair framework is not re-derived; it is explicitly attributed to the author's previous paper [Zhe25b], making the headline non-flat extension load-bearing on self-citation. The Spencer torsion invariants are not obtained from a curvature-dependent computation: their stated formula is exactly the E_∞ filtration of the double complex, with Ω entering only through an asserted grading by [Ω]^j. The spectral sequence on which that formula rests is itself justified by an asserted nilpotency of δ_g that is not proved and is false for the displayed operator in the non-abelian case. I also note a separate, non-circularity defect: Definition 1's compatibility condition D_p={v:⟨λ(p),ω(v)⟩=0} forces D_p∩V_p≠{0} for dim g≥2 because vertical vectors have ω(ξ^♯)=ξ and a single linear functional has a nontrivial kernel; this contradicts transversality condition 5 and makes the compatible-pair object empty for the compact semisimple groups used in Section 3.1. That inconsistency is a correctness problem rather than a reduction of a prediction to its inputs, but it reinforces how much weight the self-cited existence theorem is carrying. Score 7: the central claim is supported by a self-citation chain and the torsion 'invariants' reduce by construction to the spectral sequence definitions, while some surrounding derivations remain independent.

Assumptions & free parameters 1 free parameters · 4 assumptions · 1 invented entities

All substantive new structure is either imported from the author's self-cited [Zhe25b] or built on assumptions that are unproved or false (δ^2=0, uniform vanishing of H^q). No external data or independent benchmarks are used.

free parameters (1)
  • α
    Weight of the dist² penalty term in the compatibility functional I_D[λ] (Remark 3); chosen by hand and no selection rule is given.
assumptions (4)
  • standard math Cartan's second structure equation relates dω to the bracket and curvature; Frobenius theorem gives the integrability criterion.
    Used in Proposition 4 and Theorem 6; standard differential geometry.
  • domain assumption M is compact Ricci-flat Kähler with c1=0, G is compact semisimple with zero center, and the connection has bounded nonzero curvature.
    The paper's geometric background (§3.1); if these fail, the stated setting collapses.
  • ad hoc to paper δ^2_𝔤=0 for the Spencer operator defined in Definition 2 on Sym^k(𝔤).
    Asserted in Lemma 9 as 'a fundamental property' but the given formula is not nilpotent for non-abelian 𝔤; the double complex and spectral sequence rest on it.
  • ad hoc to paper Whitehead's lemma gives H^q(𝔤, Sym^k(𝔤))=0 for all q≥2 for semisimple 𝔤.
    Theorem 10 Part III extends Whitehead's lemma beyond its known range (only q=1,2 vanish in general); higher cohomology is generally nonzero, so the E2 degeneracy claims fail.
invented entities (1)
  • Spencer torsion terms Torsion_k(Ω)
    purpose: Proposed new topological invariants from non-flat curvature in Spencer cohomology (Theorem 12).
    No falsifiable handle outside the paper's own definitions; the formulas are bookkeeping over a spectral sequence whose starting complex is not proven to exist.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Extension Research of Principal Bundle Constraint System Theory on Ricci-flat K\"ahler Manifolds." pith.science (2026). https://pith.science/paper/2NPGWWVC

@misc{pith2026250611593,
  author       = {Pith},
  title        = {Pith review of: Extension Research of Principal Bundle Constraint System Theory on Ricci-flat K\"ahler Manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2NPGWWVC}},
  note         = {Machine review of arXiv:2506.11593}
}
abstract

This paper extends the geometric mechanics theory of constraint systems on principal bundles from the flat connection case to the general situation with non-zero curvature. Based on the theoretical foundation of compatible pairs under strong transversality conditions and principal bundle constraint systems, we systematically study the behavior of compatible pair theory in non-flat geometry within the context of Ricci-flat K\"ahler manifolds. Through rigorous mathematical analysis, we prove that the fundamental framework of strong transversality conditions and compatible pairs possesses universality and does not depend on the flatness assumption of connections. Furthermore, we re-derive the dynamical connection equations incorporating curvature reaction terms and extend Spencer cohomology theory to a spectral sequence structure capable of precisely encoding curvature information. The research reveals the exact action mechanism of curvature $\Omega$: it plays a crucial role through the integrability condition $\text{ad}_\Omega^* \lambda = 0$ and higher-order differentials in Spencer cohomology, while maintaining the fundamental structure of the theoretical framework unchanged. This extension not only deepens the geometric coupling theory between constraint systems and gauge fields but also provides new mathematical tools for modern gauge field theory, string theory geometry, and related topological analysis, demonstrating the profound connections between constraint geometry and classical differential geometry.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

28 extracted references · 22 canonical work pages

  1. [1]

    Vladimir I. Arnold. Mathematical Methods of Classical Mechanics . Springer-Verlag, 1978

    work page 1978

  2. [2]

    Atiyah and Isadore M

    Michael F. Atiyah and Isadore M. Singer. The index of elliptic operators on compact manifolds. Bulletin of the American Mathematical Society , 69(3):422--433, 1963

    work page 1963

  3. [3]

    On kähler manifolds with vanishing canonical class

    Eugenio Calabi. On kähler manifolds with vanishing canonical class. Algebraic Geometry and Topology: A Symposium in Honor of S. Lefschetz , pages 78--89, 1957

    work page 1957

  4. [4]

    A simple intrinsic proof of the gauss-bonnet formula for closed riemannian manifolds

    Shiing-Shen Chern. A simple intrinsic proof of the gauss-bonnet formula for closed riemannian manifolds. Annals of Mathematics , 45(4):747--752, 1944

    work page 1944

  5. [5]

    Horowitz, Andrew Strominger, and Edward Witten

    Philip Candelas, Gary T. Horowitz, Andrew Strominger, and Edward Witten. Vacuum configurations for superstrings. Nuclear Physics B , 258:46--74, 1985

    work page 1985

  6. [6]

    Théorie de hodge: Ii

    Pierre Deligne. Théorie de hodge: Ii. Publications Mathématiques de l'IHÉS , 40:5--57, 1971

    work page 1971

  7. [7]

    P. A. M. Dirac. Generalized Hamiltonian Dynamics , volume 2. 1950

    work page 1950

  8. [8]

    P. A. M. Dirac. The Theory of Gravitation in Hamiltonian Form , volume 246. 1958

    work page 1958

Show all 28 references
  1. [9]

    Donaldson

    Simon K. Donaldson. An application of gauge theory to four-dimensional topology. Journal of Differential Geometry , 18(2):279--315, 1983

    1983

  2. [10]

    Les connexions infinitésimales dans un espace fibré différentiable

    Charles Ehresmann. Les connexions infinitésimales dans un espace fibré différentiable. Colloque de topologie (espaces fibrés), Bruxelles , pages 29--55, 1950

    1950

  3. [11]

    Integrability criteria for systems of nonlinear partial differential equations

    Hubert Goldschmidt. Integrability criteria for systems of nonlinear partial differential equations. Journal of Differential Geometry , 1(3):269--307, 1967

    1967

  4. [12]

    Sur quelques points d'algèbre homologique , volume 9

    Alexander Grothendieck. Sur quelques points d'algèbre homologique , volume 9. 1957

    1957

  5. [13]

    W. V. D. Hodge. The theory and applications of harmonic integrals. 1941

    1941

  6. [14]

    On the locally complete families of complex analytic structures

    Masatake Kuranishi. On the locally complete families of complex analytic structures. Annals of Mathematics , 75(3):536--577, 1962

    1962

  7. [15]

    Marsden and Tudor S

    Jerrold E. Marsden and Tudor S. Ratiu. Introduction to Mechanics and Symmetry . Springer-Verlag, 2nd edition, 1999

    1999

  8. [16]

    Donald C. Spencer. Deformations of structures on manifolds defined by transitive, continuous pseudogroups. Annals of Mathematics , 76(2):306--445, 1962

    1962

  9. [17]

    Donald C. Spencer. Overdetermined systems of linear partial differential equations. Bulletin of the American Mathematical Society , 75(2):179--239, 1969

    1969

  10. [18]

    Electric-magnetic duality, monopole condensation, and confinement in n=2 supersymmetric yang-mills theory

    Nathan Seiberg and Edward Witten. Electric-magnetic duality, monopole condensation, and confinement in n=2 supersymmetric yang-mills theory. Nuclear Physics B , 426(1):19--52, 1994

    1994

  11. [19]

    Invariants of quadratic differential forms

    André Weil. Invariants of quadratic differential forms. Commentarii Mathematici Helvetici , 23:70--83, 1949

    1949

  12. [20]

    On the ricci curvature of a compact kähler manifold and the complex monge-ampère equation, i

    Shing-Tung Yau. On the ricci curvature of a compact kähler manifold and the complex monge-ampère equation, i. Communications on Pure and Applied Mathematics , 31(3):339--411, 1978

    1978

  13. [21]

    Chen-Ning Yang and Robert L. Mills. Conservation of isotopic spin and isotopic gauge invariance. Physical Review , 96(1):191--195, 1954

    1954

  14. [22]

    Constructing two metrics for spencer cohomology: Hodge decomposition of constrained bundles

    Dongzhe Zheng. Constructing two metrics for spencer cohomology: Hodge decomposition of constrained bundles. arXiv preprint arXiv:2506.00752 , 2025

    2025 arXiv

  15. [23]

    Dynamical geometric theory of principal bundle constrained systems: Strong transversality conditions and variational framework for gauge field coupling

    Dongzhe Zheng. Dynamical geometric theory of principal bundle constrained systems: Strong transversality conditions and variational framework for gauge field coupling. arXiv preprint arXiv:2505.16766 , 2025

    2025 arXiv

  16. [24]

    Geometric duality between constraints and gauge fields: Mirror symmetry and spencer isomorphisms of compatible pairs on principal bundles

    Dongzhe Zheng. Geometric duality between constraints and gauge fields: Mirror symmetry and spencer isomorphisms of compatible pairs on principal bundles. arXiv preprint arXiv:2506.00728 , 2025

    2025 arXiv

  17. [25]

    Mirror symmetry in geometric constraints: Analytic and riemann-roch perspectives

    Dongzhe Zheng. Mirror symmetry in geometric constraints: Analytic and riemann-roch perspectives. arXiv preprint arXiv:2506.06610 , 2025

    2025

  18. [26]

    Mirror symmetry of spencer-hodge decompositions in constrained geometric systems

    Dongzhe Zheng. Mirror symmetry of spencer-hodge decompositions in constrained geometric systems. arXiv preprint arXiv:2506.05816 , 2025

    2025 arXiv

  19. [27]

    Spencer differential degeneration theory and its applications in algebraic geometry

    Dongzhe Zheng. Spencer differential degeneration theory and its applications in algebraic geometry. arXiv preprint arXiv:2506.07410 , 2025

    2025 arXiv

  20. [28]

    Spencer-riemann-roch theory: Mirror symmetry of hodge decompositions and characteristic classes in constrained geometry

    Dongzhe Zheng. Spencer-riemann-roch theory: Mirror symmetry of hodge decompositions and characteristic classes in constrained geometry. arXiv preprint arXiv:2506.05915 , 2025

    2025 arXiv

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.