Pith. sign in

REVIEW 3 major objections 4 minor 5 cited by

Constructing Two Metrics for Spencer Cohomology: Hodge Decomposition of Constrained Bundles

T0 review · 3 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 Constraint-strength and curvature metrics both yield elliptic Spencer complexes and finite-dimensional Hodge decompositions.

desk verdict The Spencer-Hodge result is conditional on a nilpotency the paper never proves and the modified Cartan equation cannot deliver; the definitions are fine, but the main claim does not stand. read the letter →

arxiv 2506.00752 v2 pith:ROWXRUHP submitted 2025-05-31 math.GM

Dongzhe Zheng This is my paper
classification math.GM MSC 58A1458J1053C05
keywords SpencercohomologycompatiblepairsstrongtransversalityHodgedecompositionellipticcomplexesprincipalbundlesconstraintsystemsharmonicforms
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

This paper aims to make Spencer cohomology of principal-bundle constraint systems computationally accessible by equipping the Spencer complex with a metric. The author constructs two such metrics: one that weights sections by the local strength of the constraint function, and one induced by the curvature of the bundle connection. The central claim is that under the strong transversality condition of a compatible pair $(D,\lambda)$, both metrics make the Spencer operator elliptic, so the Spencer-Hodge decomposition holds: cohomology classes are represented uniquely by finite-dimensional harmonic forms. If correct, topological invariants of constraint systems—in fluid vorticity, gauge fixing, and nonholonomic robotics—become computable by solving elliptic equations.

What carries the argument

The load-bearing object is the constraint-induced Spencer operator $\delta^\lambda_{\mathfrak{g}}$, a graded derivation on $\mathrm{Sym}(\mathfrak{g})$ defined on generators by $(\delta^\lambda_{\mathfrak{g}}(v))(w_1,w_2)=\tfrac{1}{2}(\langle\lambda,[w_1,[w_2,v]]\rangle+\langle\lambda,[w_2,[w_1,v]]\rangle)$ and extended by the graded Leibniz rule. The paper claims that the modified Cartan equation $d\lambda+\mathrm{ad}^*_\omega\lambda=0$ forces $\delta^2=0$, making the total operator $D=d+\delta^\lambda_{\mathfrak{g}}$ a differential. Ellipticity comes from the horizontal part $d$, whose principal symbol $i\xi\wedge\cdot$ on the Koszul complex is exact away from $\xi=0$; strong transversality $D_p\cap V_p=\{0\}$ is used to guarantee that coupling between $d$ and $\delta^\lambda_{\mathfrak{g}}$ does not destroy exactness. The two metrics enter only through weight functions—$w_\lambda$ for constraint strength and $\kappa_\omega$ for curvature complexity—that are bounded above and below on compact $M$, so elliptic estimates and Fredholm properties carry over.

What would settle it

Take a concrete semisimple Lie algebra such as $\mathfrak{su}(2)$ and a nonzero $\lambda$ satisfying $d\lambda+\mathrm{ad}^*_\omega\lambda=0$, then compute $(\delta^\lambda_{\mathfrak{g}})^2(v)$ on a basis of $\mathrm{Sym}(\mathfrak{g})$. The paper does not display this computation; if any coefficient fails to cancel, nilpotency is false. A positive check in the simplest case would confirm the key premise, while a nonzero residue would collapse the theory.

Watch

Extended reading notes

Core claim

The paper's central discovery is that strong transversality of compatible pairs is equivalent to ellipticity of the constraint-induced Spencer complex, and that this ellipticity survives under either of two natural metrics. Concretely, for a compatible pair $(D,\lambda)$ on a compact principal bundle $P(M,G)$, the Spencer complex $S^{k,j}=\Omega^k(M)\otimes\mathrm{Sym}^j(\mathfrak{g})$ with total differential $D=d+\delta^\lambda_{\mathfrak{g}}$ is elliptic once $D_p\cap V_p=\{0\}$. The paper proves this yields a canonical orthogonal decomposition $S^k=\mathcal{H}^k\oplus \mathrm{Im}(D^{k-1})\oplus \mathrm{Im}(D^{k*})$, where $\mathcal{H}^k=\ker(\Delta^k)$ is finite-dimensional and canonically isomorphic to Spencer cohomology $H^k_{\mathrm{Spencer}}(D,\lambda)$. Both metric A (weight $w_\lambda=1+\|\lambda\|^2$) and metric B (weight $\kappa_\omega$ built from curvature) satisfy the required elliptic estimates, and the two metrics are topologically equivalent on compact $M$.

Load-bearing premise

The whole construction rests on the claim that the modified Cartan equation forces the Spencer operator to satisfy $\delta^2=0$; the paper gives only a sketch of this verification and refers to a companion preprint for the detailed combinatorics, so if that nilpotency fails, the complex—and the Hodge decomposition built on it—does not exist.

Editorial extensions

If this is right

  • Every compatible pair satisfying strong transversality acquires a canonical Spencer-Hodge decomposition, so Spencer cohomology is represented by finite-dimensional harmonic forms.
  • Strong transversality, the modified Cartan equation, ellipticity, Fredholm property, and finite-dimensionality of Spencer cohomology are all equivalent conditions for a compatible pair.
  • The index of the Spencer operator is computed by integrating $\mathrm{ch}([S^{\bullet}])\wedge\mathrm{td}(TM)$, making cohomological obstructions numerically accessible.
  • Metric A is better suited to constraint-dominated systems and metric B to curvature-dominated systems, and their equivalence constants on compact $M$ are controlled by ratios of the weight functions.
  • Discretizing the Spencer-Hodge Laplacian and extracting zero-eigenvalue eigenvectors gives an algorithm for computing Spencer cohomology dimensions with error estimate $O(h^s)$.

Reading between the lines

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

  • If nilpotency is confirmed, the same two-metric construction should generalize to non-compact base manifolds whenever the weight functions control behavior at infinity, though the paper only lists this as a future direction.
  • The equivalence of strong transversality and ellipticity suggests a diagnostic: checking whether a constraint distribution is strongly transverse could be replaced by numerically testing principal-symbol exactness of the Spencer operator, a condition that is directly measurable.
  • The claimed isomorphism between Spencer cohomology and BRST cohomology in the Yang-Mills example, if established rigorously, would give a Hodge-theoretic proof of anomaly quantization via the Spencer index, but the paper only sketches the correspondence.
  • Because metric B equals the standard metric for flat connections, the theory predicts that flat-connection constraint systems recover ordinary de Rham Hodge theory; comparing the two would be a cheap consistency check.
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

3 major / 4 minor

Summary. The paper proposes two inner products on the spaces S^{k,j}_{D,\lambda} = \Omega^k(M)\otimes \operatorname{Sym}^j(\mathfrak g) associated to a 'compatible pair' (D,\lambda) on a principal bundle, and claims that each metric makes the associated Spencer operator into an elliptic complex, yielding a Spencer-Hodge decomposition with finite-dimensional cohomology. The main theorems are Theorem 4 (ellipticity), Theorem 9 (equivalence of strong transversality with ellipticity/Fredholm/finite-dimensionality), and Theorem 18 (Hodge decomposition). The arguments depend crucially on the nilpotency of an algebraic Spencer extension \delta^\lambda_{\mathfrak g} and on the existence theory of compatible pairs imported from two companion preprints by the same author.

Significance. If valid, the framework would give a metric route to computing Spencer cohomology for constrained principal-bundle systems and would connect the strong transversality condition with elliptic regularity. The paper is clearly organized, and the two metric schemes are explicitly defined. However, the central verification—nilpotency of \delta^\lambda_{\mathfrak g}—is not supplied, and a direct algebraic check shows that the claimed nilpotency fails for generic \lambda. Since all later analytical conclusions rest on this point, the positive significance cannot be assessed without a corrected construction. The paper contains no machine-checked proofs or reproducible computations, and the key technical steps are deferred to companion preprints that are not part of the submission.

major comments (3)
  1. [§3.1, Lemma 3 and Definition 8] The nilpotency of \delta^\lambda_{\mathfrak g} is load-bearing: it makes (S^\bullet_{D,\lambda}, D_{D,\lambda}) a complex, and it is assumed in Theorem 4, Theorem 9, Theorem 17, and Theorem 18. Lemma 3 does not prove it. The proof of the base case ends with 'The detailed combinatorial verification shows that all non-zero terms appear in canceling pairs,' and the result is explicitly deferred to [Zhe25b]. More seriously, the proposed mechanism cannot work as stated. \delta^\lambda_{\mathfrak g} is defined fiberwise by (\delta^\lambda_{\mathfrak g}(v))(w_1,w_2)=\tfrac12(\langle\lambda,[w_1,[w_2,v]]\rangle+\langle\lambda,[w_2,[w_1,v]]\rangle), so its nilpotency at p is an algebraic identity in \lambda(p) and the Lie bracket. The modified Cartan equation d\lambda+\operatorname{ad}^*_\omega\lambda=0 is a first-order differential condition and does not constrain the pointwise value \lambda(p); by standard local existence, any target value can occur in a local solution. A direct computation in \mathfrak g=\mathfrak{sl}(2), with basis e,f,h satisfying [e,f]=h, [h,e]=2e, [h,f]=-2f, gives \delta^2(e)(e,f,h)=\lambda(h)(\lambda(f)+6\lambda(e)), which is nonzero for generic \lambda. Therefore \delta^2=0 is not proved and is in fact false in general; the complex property, the ellipticity argument, and the Hodge-decomposition conclusions are unsupported.
  2. [§5.1, Theorem 9] The cyclic equivalence (ST)\Rightarrow(MC)\Rightarrow(ELL)\Rightarrow(FRED)\Rightarrow(ANA)\Rightarrow(TOP)\Rightarrow(ST) has a gap at (TOP)\Rightarrow(ST). The proof asserts that if D_{p_0}\cap V_{p_0}\neq\{0\}, then 'we can construct infinite-dimensional families of harmonic forms,' but no construction is given. This step cannot be checked without an independent definition of harmonic forms and a Hodge decomposition, both of which are consequences of the theory under proof. As it stands, (TOP)\Rightarrow(ST) is unsupported, and with it the claim that strong transversality is necessary for ellipticity.
  3. [§2.2–§2.3, Theorem 1 and Definition 8] The manuscript repeatedly imports load-bearing results from the companion preprints [Zhe25a] and [Zhe25b]. Theorem 1 (existence and uniqueness of compatible pairs) is stated as a citation, and the constructive definition of the Spencer operator and its nilpotency are attributed to [Zhe25b]. Because these preprints are not part of the submission, the central technical steps cannot be checked. At minimum, the proof of nilpotency of \delta^\lambda_{\mathfrak g} and the existence of compatible pairs with the required regularity must be included in this manuscript.
minor comments (4)
  1. [§4.1, Lemma 5] Lemma 5 claims that w_\lambda\in C^\infty(M) 'by C^3 smoothness of \lambda'. Since \lambda is only assumed C^3 and a local section is C^\infty, the composition \lambda\circ\sigma is C^3, not C^\infty. The statement should either assume \lambda\in C^\infty or formulate the regularity results with finite differentiability.
  2. [§8.1, Example 1] In the torus example the gauge group is said to be trivial, so \mathfrak g=\mathbb R is abelian and every Lie bracket vanishes. By Definition 8, the Spencer operator \delta^\lambda_{\mathfrak g} is then identically zero, and the Spencer complex reduces to the de Rham complex of T^2. The claimed 'constraint-weighted harmonic representatives' and 'modified cohomology dimensions' are therefore not supported by the definitions.
  3. [§5.3, Proposition 11] The 'block structure' D=\operatorname{diag}(d,\delta) is not justified: in the total complex D=d+\delta maps S^{k,j} into S^{k+1,j}\oplus S^{k,j+1}, not diagonally on a single space. Also, the first eigenvalue \lambda_1((\delta^\lambda_{\mathfrak g})^*\delta^\lambda_{\mathfrak g}) is not defined when \delta^\lambda_{\mathfrak g} is not nilpotent, and it vanishes in the abelian example. The elliptic-constant formulas therefore do not follow from the preceding analysis.
  4. [§2.3, Definition 4] Item 3 of Definition 4 lists 'Topological non-triviality: non-trivial Spencer cohomology structure' as an equivalent characterization of strong transversality before the Spencer complex has been constructed. This is circular as written and should be rephrased as a consequence or a separate invariant.

Circularity Check

4 steps flagged · score 8.0 of 10

Central Hodge-decomposition claim rests on a self-citation chain: nilpotency of δ^λ_g is deferred to [Zhe25b], and Theorem 9's proof uses the Hodge decomposition it is meant to justify.

  1. self citation load bearing [Section 3.1, Definition 8 and Lemma 3]
    "Definition 8 (Constraint-Induced Spencer Operator - Constructive Definition). The constraint-induced Spencer operator δ^λ_g is a +1-degree graded derivation on the symmetric tensor algebra Sym(g)= ⊕_{j=0}^∞ Sym^j(g), completely determined by the following two rules[Zhe25b]. ... Lemma 3 ... (D^{k,j}_v)^2=0 (needs verification using the modified Cartan equation) ... The detailed combinatorial verification shows that all non-zero terms appear in canceling pairs due to the antisymmetry of the Lie bracket and the constraints imposed by the modified Cartan equation."

    Nilpotency of δ^λ_g is the load-bearing premise: it makes (S^•_{D,λ}, D^•_{D,λ}) a complex, is used for ellipticity (Theorem 4), for (MC)⇒(ELL) in Theorem 9, and for the Hodge decomposition (Theorem 18). Lemma 3 does not prove it: the statement itself says needs verification, the closing combinatorial verification is not displayed, and the operator definition is imported from the same author's companion preprint [Zhe25b]. Because δ^λ_g acts fiberwise algebraically while the modified Cartan equation is differential, the cited verification cannot be independent support; the central premise is a self-citation.

  2. other [Section 5.1, Theorem 9, proof of (TOP)⇒(ST)]
    "(TOP)⇒(ST): Proof by contradiction: If strong transversality condition fails, i.e., there exists p0∈P such that D_{p0}∩V_{p0} ≠ {0}. ... This means we can construct infinite-dimensional families of harmonic forms, contradicting finite-dimensionality of Spencer cohomology."

    This implication inside Theorem 9 proves that finite-dimensional Spencer cohomology implies strong transversality. But finite-dimensionality of Spencer cohomology and the existence of harmonic forms are precisely what Theorem 18 (Spencer-Hodge decomposition) is supposed to establish, and Theorem 18 is proved only under the ellipticity asserted in Theorem 9. Thus the proof of Theorem 9 assumes the Hodge-theoretic conclusion to prove one of its own hypotheses; the equivalence theorem and the Hodge theorem are mutually dependent in the paper's derivation chain.

2 more flagged steps
  1. uniqueness imported from authors [Section 2.3, Theorem 1]
    "Theorem 1 (Existence and Uniqueness of Compatible Pairs [Zhe25a]). Under the above global geometric conditions, compatible pair theory has the following basic properties: Forward Existence: Given λ:P→g* satisfying the modified Cartan equation, G-equivariance and non-degeneracy, the constraint distribution D_p={v:⟨λ(p),ω(v)⟩=0} automatically satisfies strong transversality conditions, and (D,λ) forms a compatible pair."

    The existence and uniqueness of compatible pairs—the geometric foundation on which both Spencer metrics and the ellipticity arguments are built—is imported verbatim from the author's own preprint [Zhe25a]. Since Theorem 9's (ST)⇒(MC) is presented as following from definitions and the ellipticity theory is said to depend on this existence theory, the load-bearing premise of the paper is a theorem from a same-author preprint, not an independently established result. This is a self-citation chain rather than a derivation from first principles.

  2. renaming known result [Section 8.1, Example 1]
    "Example 1 (Vortex Systems on Torus)... Spencer complex computation: The Spencer complex has bigraded structure S^{k,j}=Ω^k(T^2)⊗Sym^j(R) (since the gauge group is trivial for this example)... dim H^1_Spencer = 2g(T^2)=2, but with constraint-weighted harmonic representatives."

    In this verification the gauge group is R, so Sym^j(R)=R and all Lie brackets vanish; hence the constraint-induced Spencer operator δ^λ_g is identically zero and the Spencer complex reduces exactly to the ordinary de Rham complex of T^2. The claimed dim H^1_Spencer=2 is the standard first Betti number of the torus. Presenting this as evidence for the new Spencer-Hodge metric theory is a renaming of a known result, not an independent check of the constructed metrics or of δ-nilpotency.

full rationale

The central claim—existence, uniqueness and finite-dimensionality of the Spencer-Hodge decomposition—is not derived within the paper. Theorem 18 assumes the Spencer complex is an elliptic differential complex; ellipticity (Theorems 4 and 9) requires nilpotency of δ^λ_g; Lemma 3 labels (D^v)^2=0 as needs verification using the modified Cartan equation and ends with an unshown combinatorial verification, while Definition 8 imports the operator from the same author's [Zhe25b]. Because δ^λ_g is a pointwise algebraic expression and the modified Cartan equation is a differential condition, the asserted cancellation is not established by the text; the premise is a self-citation. Theorem 9's (TOP)⇒(ST) then invokes harmonic forms and finite-dimensional Spencer cohomology, which are the content of Theorem 18, creating an internal circular dependency. The existence/uniqueness of compatible pairs is likewise imported from [Zhe25a]. Thus the main results reduce to a chain of same-author citations and a theorem that assumes its own conclusion. Score 8 reflects a central claim forced by self-citation chain and internal circularity, not a mere minor self-citation.

Assumptions & free parameters 2 free parameters · 4 assumptions · 0 invented entities

No new physical entities are introduced; the weight functions and operators are mathematical constructions, not postulated physical objects. The central claim rests on the prior self-cited results [Zhe25a] and [Zhe25b] for compatible pairs and Spencer operator nilpotency, which are not independently established here.

free parameters (2)
  • α (compatibility functional weight) = unspecified
    Appears in Theorem 1 (from prior work) as weight in functional I_D[λ]; no rule for its choice is given.
  • α (mixed metric weight) = unspecified, α ∈ (0,1)
    Section 7.1 defines a mixed metric combining metrics A and B; α is problem-dependent and not fitted.
assumptions (4)
  • domain assumption Global geometric assumptions: M compact, connected, orientable, parallelizable; G compact, connected, semisimple with trivial center; P admits a G-invariant Riemannian metric; ω is a C^3 principal connection.
    Section 2.1 states these conditions and asserts they guarantee global sections, non-degenerate Killing form, Fredholm property, and well-definedness of differential operators.
  • domain assumption Existence of compatible pairs (D, λ) satisfying strong transversality and the modified Cartan equation, per Theorem 1 cited from [Zhe25a].
    The entire metric and Hodge theory is built on the existence of such pairs; the proof of Theorem 1 is not reproduced in this paper.
  • ad hoc to paper Nilpotency of the Spencer operator δ^λ_g (δ^2 = 0), asserted in Lemma 3 and attributed to [Zhe25b].
    This is the load-bearing algebraic premise for the Spencer complex to be a differential complex. The provided proof is a sketch, and no independent verification is given.
  • standard math Standard elliptic theory for compact manifolds, including Fredholm property, elliptic estimates, and Rellich compactness.
    Used throughout Sections 5 and 6 to convert ellipticity into Hodge decomposition; standard background accepted without proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Constructing Two Metrics for Spencer Cohomology: Hodge Decomposition of Constrained Bundles." pith.science (2026). https://pith.science/paper/ROWXRUHP

@misc{pith2026250600752,
  author       = {Pith},
  title        = {Pith review of: Constructing Two Metrics for Spencer Cohomology: Hodge Decomposition of Constrained Bundles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ROWXRUHP}},
  note         = {Machine review of arXiv:2506.00752}
}
abstract

This paper establishes a metric framework for Spencer complexes based on the geometric theory of compatible pairs $(D,\lambda)$ in principal bundle constraint systems, solving fundamental technical problems in computing Spencer cohomology of constraint systems. We develop two complementary and geometrically natural metric schemes: a tensor metric based on constraint strength weighting and an induced metric arising from principal bundle curvature geometry, both maintaining deep compatibility with the strong transversality structure of compatible pairs. Through establishing the corresponding Spencer-Hodge decomposition theory, we rigorously prove that both metrics provide complete elliptic structures for Spencer complexes, thereby guaranteeing the existence, uniqueness and finite-dimensionality of Hodge decompositions. It reveals that the strong transversality condition of compatible pairs is not only a necessary property of constraint geometry, but also key to the elliptic regularity of Spencer operators, while the introduction of constraint strength functions and curvature weights provides natural weighting mechanisms for metric structures that coordinate with the intrinsic geometry of constraint systems. This theory tries to unify the differential geometric methods of constraint mechanics, cohomological analysis tools of gauge field theory, and classical techniques of Hodge theory in differential topology, establishing a mathematical foundation for understanding and computing topological invariants of complex constraint systems.

Discussion (0). Sign in to comment.

Forward citations

Cited by 5 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The Rigidity of Constraint: A Spencer-Hodge Theoretic Approach to the Hodge Conjecture

    math.GM 2025-06 reject novelty 4.0 of 10

    The paper reduces the Hodge conjecture to premises that already assert the desired equality, and its K3 example rests on an invalid elliptic fibration claim.

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

    math.GM 2025-06 reject novelty 3.0 of 10

    The paper asserts that compatible-pair constraint theory is curvature-independent, but the proofs it gives contain a sign error and an unjustified Spencer differential construction.

  3. Mirror Symmetry of Spencer-Hodge Decompositions in Constrained Geometric Systems

    math.GM 2025-06 reject novelty 3.0 of 10

    The paper asserts mirror symmetry for Spencer-Hodge decompositions: harmonic-space dimensions and both Spencer metrics are claimed invariant under the sign mirror (D, λ) -> (D, -λ).

  4. Spencer-Riemann-Roch Theory: Mirror Symmetry of Hodge Decompositions and Characteristic Classes in Constrained Geometry

    math.GM 2025-06 reject novelty 2.0 of 10

    The paper applies Riemann-Roch and characteristic class methods to the author's previously proposed Spencer complexes, but the concrete verification contradicts the claimed mirror symmetry.

  5. Spencer Differential Degeneration Theory and Its Applications in Algebraic Geometry

    math.GM 2025-06 reject novelty 1.0 of 10

    The degeneration of the Spencer differential to the exterior derivative is a trivial consequence of its definition, and the K3 application is invalid because K3 surfaces are not parallelizable.

Reference graph

Works this paper leans on

26 extracted references · 22 canonical work pages · cited by 5 Pith papers

  1. [1]

    Foundations of Mechanics

    Ralph Abraham and Jerrold E Marsden. Foundations of Mechanics . Benjamin/Cummings Publishing Company, 2nd edition, 1978

    work page 1978

  2. [2]

    The index of elliptic operators: I

    Michael F Atiyah and Isadore M Singer. The index of elliptic operators: I. Annals of Mathematics , 87(3):484--530, 1968

    work page 1968

  3. [3]

    Complex analytic connections in fibre bundles

    Michael F Atiyah. Complex analytic connections in fibre bundles. Transactions of the American Mathematical Society , 85(1):181--207, 1957

    work page 1957

  4. [4]

    Exterior Differential Systems

    Robert L Bryant, Shiing-Shen Chern, Robert B Gardner, Hubert L Goldschmidt, and Phillip A Griffiths. Exterior Differential Systems . Springer-Verlag, 1991

    work page 1991

  5. [5]

    The atiyah-singer index theorem for families of dirac operators: two heat equation proofs

    Jean-Michel Bismut. The atiyah-singer index theorem for families of dirac operators: two heat equation proofs. Inventiones mathematicae , 83(1):91--151, 1985

    work page 1985

  6. [6]

    Les syst \`e mes diff \'e rentiels ext \'e rieurs et leurs applications g \'e om \'e triques

    \'E lie Cartan. Les syst \`e mes diff \'e rentiels ext \'e rieurs et leurs applications g \'e om \'e triques . Hermann, 1945

    work page 1945

  7. [7]

    Lower bounds on ricci curvature and the almost rigidity of warped products

    Jeff Cheeger and Mikhail Gromov. Lower bounds on ricci curvature and the almost rigidity of warped products. Annals of Mathematics , 144(1):189--237, 1985

    work page 1985

  8. [8]

    Complex Manifolds without Potential Theory

    Shiing-Shen Chern. Complex Manifolds without Potential Theory . Springer-Verlag, 2nd edition, 1979

    work page 1979

Show all 26 references
  1. [9]

    Anti self-dual yang-mills connections over complex algebraic surfaces and stable vector bundles

    Simon K Donaldson. Anti self-dual yang-mills connections over complex algebraic surfaces and stable vector bundles. Proceedings of the London Mathematical Society , 50(1):1--26, 1985

    1985

  2. [10]

    Vari \'e t \'e s diff \'e rentiables

    Georges de Rham. Vari \'e t \'e s diff \'e rentiables . Hermann, 1955

    1955

  3. [11]

    Principles of Algebraic Geometry

    Phillip Griffiths and Joseph Harris. Principles of Algebraic Geometry . John Wiley & Sons, 1978

    1978

  4. [12]

    Metric Structures for Riemannian and Non-Riemannian Spaces

    Mikhail Gromov. Metric Structures for Riemannian and Non-Riemannian Spaces . Birkh \"a user, 1999

    1999

  5. [13]

    Variations on a Theme by Kepler

    Victor Guillemin and Shlomo Sternberg. Variations on a Theme by Kepler . American Mathematical Society, 1999

    1999

  6. [14]

    The Theory and Applications of Harmonic Integrals

    William Vallance Douglas Hodge. The Theory and Applications of Harmonic Integrals . Cambridge University Press, 1941

    1941

  7. [15]

    Foundations of Differential Geometry, Volume I

    Shoshichi Kobayashi and Katsumi Nomizu. Foundations of Differential Geometry, Volume I . Interscience Publishers, 1963

    1963

  8. [16]

    Weighted Sobolev Spaces

    Alois Kufner. Weighted Sobolev Spaces . John Wiley & Sons, 1985

    1985

  9. [17]

    Multiple Integrals in the Calculus of Variations

    Charles B Morrey Jr. Multiple Integrals in the Calculus of Variations . Springer-Verlag, 1966

    1966

  10. [18]

    Reduction of symplectic manifolds with symmetry

    Jerrold Marsden and Alan Weinstein. Reduction of symplectic manifolds with symmetry. Reports on Mathematical Physics , 5(1):121--130, 1974

    1974

  11. [19]

    Superconnections and the chern character

    Daniel Quillen. Superconnections and the chern character. Topology , 24(1):89--95, 1985

    1985

  12. [20]

    Faisceaux alg \'e briques coh \'e rents , volume 61

    Jean-Pierre Serre. Faisceaux alg \'e briques coh \'e rents , volume 61. 1955

    1955

  13. [21]

    Deformation of structures on manifolds defined by transitive, continuous pseudogroups , volume 76

    Donald C Spencer. Deformation of structures on manifolds defined by transitive, continuous pseudogroups , volume 76. 1962

    1962

  14. [22]

    Sp \'e cialisation de faisceaux et monodromie mod \'e r \'e e

    Jean-Louis Verdier. Sp \'e cialisation de faisceaux et monodromie mod \'e r \'e e. Ast \'e risque , 101:332--364, 1995

    1995

  15. [23]

    Topological quantum field theory

    Edward Witten. Topological quantum field theory. Communications in Mathematical Physics , 117(3):353--386, 1988

    1988

  16. [24]

    Conservation of isotopic spin and isotopic gauge invariance

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

    1954

  17. [25]

    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

  18. [26]

    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

Pith tools

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