Pith. sign in

REVIEW 4 major objections 4 minor 3 cited by

Mirror Symmetry of Spencer-Hodge Decompositions in Constrained Geometric Systems

T0 review · 4 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 sign mirror transformations $(D,\lambda)\mapsto(D,-\lambda)$ preserve the Spencer-Hodge decomposition of compatible pairs, giving equal harmonic space dimensions…

desk verdict The paper's headline theorem is unproven—Fredholm index invariance cannot buy equality of harmonic dimensions—and the rest is either elementary or borrowed from the author's own preprints. read the letter →

arxiv 2506.05816 v2 pith:GKNN5UL4 submitted 2025-06-06 math.GM

Dongzhe Zheng This is my paper
classification math.GM MSC 58A1458J0558J20
keywords SpencercomplexSpencer-HodgedecompositioncompatiblepairsmirrorsymmetryconstraintsystemsharmonicspacedimensioncompactperturbationFredholmtheory
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 argues that flipping the sign of the dual constraint function $\lambda$ in a compatible pair leaves the Spencer-Hodge decomposition essentially unchanged. The mechanism is that the two Spencer metrics are strictly invariant under $\lambda\mapsto -\lambda$, while the Spencer differential changes by an explicit zero-order operator $\mathcal{R}^k = -2(-1)^k\,\omega\otimes\delta^\lambda_{\mathfrak{g}}(s)$, which is compact. Because the mirror Hodge Laplacian is therefore a compact perturbation of the original, Fredholm theory yields equal dimensions of harmonic spaces, and Hodge theory lifts this to isomorphisms of Spencer cohomology groups. If the argument is right, the topological content of a constrained system is independent of the sign of the constraint force.

What carries the argument

The load-bearing object is the constraint-coupled Spencer operator $\delta^\lambda_{\mathfrak{g}}$, a +1-degree graded derivation on the symmetric algebra $\mathrm{Sym}(\mathfrak{g})$ defined on generators 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)$ and extended by the graded Leibniz rule. Its sign antisymmetry $\delta^{-\lambda}_{\mathfrak{g}}=-\delta^{\lambda}_{\mathfrak{g}}$ turns the mirror transformation into the algebraic identity $\mathcal{R}^k=-2(-1)^k\,\omega\otimes\delta^\lambda_{\mathfrak{g}}(s)$, and its asserted nilpotency makes the Spencer complex a genuine complex. The key analytical fact is that $\mathcal{R}^k$ is a zero-order pseudodifferential operator with vanishing principal symbol, so it is compact relative to the elliptic first-order part of the Spencer differential.

What would settle it

Take the Lie algebra $\mathfrak{su}(2)$ with a nonzero $\lambda$ and directly compute $(\delta^\lambda_{\mathfrak{g}})^2$ on $\mathrm{Sym}^k(\mathfrak{su}(2))$ using Definition 1; if any output is nonzero, the Spencer complex is not a complex and the mirror-symmetry theorem lacks its foundation. A complementary check is to compute $\dim\ker\Delta^k_{D,-\lambda}$ and $\dim\ker\Delta^k_{D,\lambda}$ on a compact example and look for a mismatch, since compact perturbations can in general move eigenvalues across zero.

Watch

Extended reading notes

Core claim

The central discovery is a mirror-symmetry theorem for Spencer-Hodge theory: for a compatible pair $(D,\lambda)$, the sign mirror $(D,\lambda)\mapsto(D,-\lambda)$ preserves the dimension of every harmonic space, $\dim\ker(\Delta^k_{D,\lambda})=\dim\ker(\Delta^k_{D,-\lambda})$, and consequently yields natural isomorphisms $H^k_{\mathrm{Spencer}}(D,\lambda)\cong H^k_{\mathrm{Spencer}}(D,-\lambda)$. The proof rests on three pillars: strict invariance of both constraint-strength and curvature Spencer metrics; an explicit operator-difference identity $\mathcal{R}^k = -2(-1)^k\,\omega\otimes\delta^\lambda_{\mathfrak{g}}(s)$ that is zero-order, bounded, and compact; and Fredholm stability of the self-adjoint Spencer-Hodge Laplacian under compact perturbations.

Load-bearing premise

The entire mirror argument presupposes that the constraint-coupled Spencer operator is nilpotent, $(\delta^\lambda_{\mathfrak{g}})^2=0$, so that applying it twice gives zero and a genuine Spencer complex exists; the paper asserts this in Remark 1 and defers the proof to a separate preprint, and without it there is no complex for the mirror symmetry to act on.

Editorial extensions

If this is right

  • The Spencer Hodge numbers $h^k(D,\lambda)=\dim H^k_{\mathrm{Spencer}}(D,\lambda)$ are mirror invariants, so the Spencer Euler characteristic $\chi(D,\lambda)=\sum_k(-1)^k h^k(D,\lambda)$ is unchanged by $\lambda\mapsto-\lambda$.
  • Because both Spencer metrics are strictly invariant, formal adjoints and the Hodge decomposition are defined against identical metric data in mirror systems.
  • The explicit bound on the perturbation operator, $\|\mathcal{R}^k\|_{H^s\to H^s}\le 2\sqrt{k+1}\,C_{\mathrm{str}}(\mathfrak{g})\,C_{\mathrm{Sob}}(s,M)\,\|\lambda\|_{C^s}$, gives a quantitative criterion for when elliptic theory applies to mirror analysis.
  • For a physical constraint system, the number of topological obstructions and the dimension of harmonic modes are the same for positive and negative constraint forces.
  • The spherical constraint example verifies the general operator-difference formula at $k=0$ and checks mirror invariance of $H^0_{\mathrm{Spencer}}$ explicitly.

Reading between the lines

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

  • A natural extension the paper does not spell out is that the same Fredholm perturbation argument should work for any Lie-group automorphism mirror, not just the sign flip, whenever the induced operator difference is zero-order with a uniform norm bound; the sign flip is the simplest instance.
  • The proof of Theorem 10 as written derives equality of kernel dimensions from Fredholm index invariance, but index invariance alone fixes only the index; completing the argument likely needs an additional spectral-stability statement showing that compact zero-order perturbations do not change the multiplicity of the zero eigenvalue.
  • If the nilpotency assumption is valid, mirror-symmetric averaging of numerical solutions—solving both the $\lambda$ and $-\lambda$ systems and averaging—should reduce asymmetric discretization error in constraint mechanics; this is testable on the spherical example.
  • The strict invariance of both Spencer metrics suggests that the same constraint distribution can be coupled to positive or negative constraint forces without changing the Hodge-theoretic content, which may inform gauge-fixing and constraint-analysis procedures in classical field theory.
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

4 major / 4 minor

Summary. The paper studies the behavior of Spencer-Hodge decompositions for compatible pairs (D, λ) under the sign mirror transformation (D, λ) ↦ (D, -λ). It claims three main results: (i) strict invariance of both Spencer metric structures (constraint-strength and curvature-based) under the mirror; (ii) an explicit formula for the difference operator R^k = D^k_{D,-λ} - D^k_{D,λ} together with compactness of the induced perturbation of the Spencer-Hodge Laplacian; (iii) equality of harmonic-space dimensions, dim ker(Δ^k_{D,λ}) = dim ker(Δ^k_{D,-λ}), and consequent natural isomorphisms of Spencer cohomology groups. The paper also discusses applications to gauge theory, string-theoretic mirror symmetry, and numerical methods, and gives a spherical constraint example.

Significance. If the central claim (Theorem 10) were correct, the paper would establish a spectral-stability statement for Spencer-Hodge Laplacians and would provide an operator-theoretic proof of cohomological mirror symmetry for compatible pairs. The metric-invariance computations (Section 3) and the explicit formula for the difference operator R^k (Section 4.2) are elementary and correct, although modest. However, the proof of the headline result is invalid, and a foundational algebraic property (nilpotency of the constraint-coupled Spencer operator) is left unproved and cited to an unpublished preprint. As it stands, the paper does not deliver the advertised invariance of harmonic-space dimensions, so its main contribution is not established.

major comments (4)
  1. [§5.2, Theorem 10] The proof of Theorem 10 is invalid. It argues that because Δ^k_{D,-λ} - Δ^k_{D,λ} is compact and both operators are self-adjoint Fredholm with index zero, the equality of kernel dimensions follows. But compact perturbations preserve only the Fredholm index, and for self-adjoint operators the index is identically zero. Thus index invariance says nothing about either kernel dimension individually. The kernels can have different dimensions under a compact perturbation, even in finite dimensions. The paper provides no spectral-projection argument or explicit harmonic-space isomorphism that would control the multiplicity of the zero eigenvalue. Consequently, the equality dim ker(Δ^k_{D,λ}) = dim ker(Δ^k_{D,-λ}) is unproven, and Theorem 11, which builds on it, inherits the gap.
  2. [§2.2, Remark 1] The nilpotency of the constraint-coupled Spencer operator, (δ^λ_g)^2 = 0, is asserted in Remark 1 with the proof deferred to the author's preprint [Zhe25a]. This property is load-bearing: the Spencer complex, its cohomology, and the Hodge decomposition used in Theorems 9–11 all presuppose it. Since Definition 1 defines δ^λ_g directly in the present paper, the reader should be able to verify nilpotency from that definition. The stated justification ('base case relying on the Jacobi identity') is not sufficient when λ is a function on P with values in g^*, because the pointwise bracket terms do not automatically cancel for non-abelian Lie algebras. A rigorous proof or a precise sufficient condition on λ is required; deferring to an unpublished preprint leaves the central object of the theory unverified.
  3. [§5.1, Theorem 9] The proof of Theorem 9 claims that K^k, the difference of the two Laplacians, is 'a bounded compact operator' because all terms containing R^k are lower order than the elliptic principal part. This is not correct as stated. Terms such as (D^k_{D,λ})^* R^k and R^k D^k are first-order differential operators (R^k is zero-order, D^k is first-order), and a first-order operator is not compact as a map from H^{s+1} to H^s. The compactness argument would need a more careful relative-compactness estimate with respect to an appropriate elliptic operator, not the assertion of lower order. Even if K^k were relatively compact in the standard perturbative sense, the inference used in Theorem 10 would still not follow.
  4. [§5.3, Theorem 11] The proof of Theorem 11 asserts that equal dimensions of harmonic spaces plus 'the same functional analytic structure' yield natural isomorphisms of Spencer cohomology groups. This leap is unjustified: equality of dimensions alone does not produce a natural or canonical isomorphism, and no actual mapping between harmonic spaces is constructed. Moreover, the cohomological mirror isomorphism was already cited as known from [Zhe25a] in §2.1, so the distinct new content of this paper is the harmonic-space dimension equality, which is unproven. Thus Theorem 11 does not add an independent verification.
minor comments (4)
  1. [§3, Eqs. (11)-(13)] The invariance of the constraint-strength metric under λ ↦ -λ follows trivially from homogeneity of the norm and is correct; the curvature metric is independent of λ by construction. The geometric significance of these statements could be stated more succinctly, since they do not require the Spencer structure.
  2. [§4.3, Lemma 6] The estimates in Lemma 6 involve the constants C_str(g) and C_Sob(s,M). The reader would benefit from a precise statement of the norms on S^k = Ω^k(M) ⊗ Sym^k(g) being used, especially the normalization of the Sym^k(g) inner product, since the bounds depend on that normalization.
  3. [§6.6] The spherical example does not actually verify the dimension equality in a nontrivial case. In the zero-th cohomology, the condition ν × v = 0 at every point of the sphere forces v = 0, so the computed object is trivial; the paper only notes that the conditions are the same for λ and -λ. A higher-degree or genuinely non-abelian example would be needed to illustrate the claimed invariance.
  4. [General presentation] There are numerous typos, formatting artifacts (e.g., the abstract's 'theoperatorR 𝑘'), and uncited notational dependencies on the author's preprints [Zhe25a, Zhe25b, Zhe25c]. Since the paper presents itself as a self-contained contribution, the key definitions from those preprints should be reproduced or precisely referenced.

Circularity Check

3 steps flagged · score 6.0 of 10

The harmonic-dimension claim rests on a chain of same-author preprints: the attempted Fredholm proof is a non-sequitur, the cohomological isomorphism it presupposes is imported from [Zhe25a], and the metric invariance is definitional.

  1. self citation load bearing [Remark 1, Section 2.2]
    "Nilpotency: (δ^λ_g)^2 = 0. This property, which ensures the Spencer complex is well-defined, is proven by induction on the tensor degree, with the base case relying on the Jacobi identity for Lie algebras [Zhe25a]."

    The nilpotency of the constraint-coupled Spencer operator is the precondition for defining the Spencer complex, its cohomology, the Spencer-Hodge decomposition, and the Laplacians used in Theorems 10 and 11. The paper does not prove nilpotency here; Remark 1 defers to [Zhe25a], a same-author preprint, and later says "More detailed proof is in the preliminary works [Zhe25a, Zhe25c]." No external, machine-checked, or independently verified source is cited. The entire derivation chain therefore rests on a load-bearing self-citation whose content is not established in this paper.

  2. renaming known result [Section 2.1 (imported result) and Theorem 11, Section 5.3]
    "The key result is that these transformations preserve all geometric properties of compatible pairs and induce natural isomorphisms between Spencer cohomology groups H^k_Spencer(D,λ) ≅ H^k_Spencer(D',−λ'). ... There exist natural isomorphisms: H^k_Spencer(D,λ) ≅ H^k_Spencer(D,−λ) for all k≥0."

    Theorem 11 restates the same-author result already imported in Section 2.1 from [Zhe25a]. The paper's proof of Theorem 11 depends on Theorem 10 and on "Hodge decomposition theory in the literature[Zhe25c]"; since Theorem 10's Fredholm-index argument does not prove the dimension equality, the isomorphism is not derived independently. The only asserted route to the conclusion is the self-cited [Zhe25a] isomorphism, making the new theorem a renaming of a load-bearing self-citation rather than a newly demonstrated result.

1 more flagged steps
  1. self definitional [Theorem 2 and Eq. (11), Section 3.1]
    "For the mirror system (D,−λ), the corresponding weight function is w_{−λ}(x)=1+||(−λ)(p)||^2_{g*} = 1+||λ(p)||^2_{g*} = w_λ(x). (11) This equality holds based on the positive homogeneity property of norms ||−ξ||=||ξ||."

    The "mirror invariance of constraint strength metrics" is an immediate consequence of the definition of the weight function w_λ(x)=1+||λ(p)||^2_{g*} and the norm identity ||−ξ||=||ξ||. It is a definitional tautology rather than a derived geometric prediction. The paper later uses this identity to assert that formal adjoints are consistent under mirrors, but no substantive content is added beyond the defining formula.

full rationale

Theorem 10's proof is not a valid derivation of dim ker(Δ^k_{D,λ}) = dim ker(Δ^k_{D,−λ}): compact perturbations preserve Fredholm index, but for self-adjoint operators index 0 is automatic and gives no information about the individual kernel dimension; the statement "Combined with index invariance" does not connect the two kernel dimensions. That is a correctness gap rather than a circular reduction. The circularity score comes from the load-bearing self-citations: the Spencer complex requires (δ^λ_g)^2=0, deferred to [Zhe25a]; the elliptic, Fredholm, and Hodge-decomposition properties are imported from [Zhe25c]; and the mirror cohomology isomorphism that Theorem 11 restates is already the "key result" claimed from [Zhe25a] in Section 2.1. If these same-author preprints are set aside, the central claim has no demonstrated derivation. Meanwhile, the metric-invariance theorems are definitional identities from the metric weights and norm homogeneity. Because the headline theorem's only viable support is a chain of unverified same-author preprints, the score is 6; the result is largely forced by a self-citation chain, while some components (e.g., operator-difference estimates) retain independent algebraic content.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests entirely on the author's own prior preprints for the existence and properties of compatible pairs, Spencer Hodge theory, and cohomological mirror isomorphisms. The only genuinely independent derivations in this paper (metric invariance and the explicit difference operator) are elementary and do not support the main dimension-equality claim, whose proof is invalid. No code, data, or external verification is provided.

assumptions (5)
  • ad hoc to paper The constraint-coupled Spencer operator δ^λ_g is nilpotent: (δ^λ_g)^2 = 0.
    Remark 1 states this with proof deferred to [Zhe25a]. It does not follow from Definition 1 and is generally false for non-abelian Lie algebras; the entire Spencer complex and its cohomology depend on it.
  • domain assumption The compatible pair (D,λ) satisfying strong transversality and modified Cartan equations exists and has the stated properties.
    Taken from [Zhe25b], a self-cited preprint; no independent verification is provided.
  • domain assumption Mirror transformation (D,λ) -> (D,-λ) induces a natural isomorphism of Spencer cohomology groups H^k_Spencer(D,λ) ≅ H^k_Spencer(D,-λ).
    Cited from [Zhe25a]; Theorem 11 of this paper is essentially a restatement of this prior result via Hodge theory.
  • domain assumption Hodge decomposition and elliptic estimates for Spencer complexes hold as established in [Zhe25c].
    Used in Theorem 10 and Theorem 11; no proof appears in this paper.
  • standard math Standard results: Fredholm theory, Rellich-Kondrachov compact embedding, Sobolev embedding, elliptic regularity for principal-symbol-elliptic complexes.
    These are classical, but the paper applies them incorrectly in Theorem 10 (index invariance does not preserve kernel dimension) and Theorem 9 (claiming compactness of a first-order perturbation).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Mirror Symmetry of Spencer-Hodge Decompositions in Constrained Geometric Systems." pith.science (2026). https://pith.science/paper/GKNN5UL4

@misc{pith2026250605816,
  author       = {Pith},
  title        = {Pith review of: Mirror Symmetry of Spencer-Hodge Decompositions in Constrained Geometric Systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GKNN5UL4}},
  note         = {Machine review of arXiv:2506.05816}
}
abstract

This paper systematically investigates the interaction mechanism between metric structures and mirror transformations in Spencer complexes of compatible pairs. Our core contribution is the establishment of mirror symmetry for Spencer-Hodge decomposition theory, solving the key technical problem of analyzing the behavior of metric geometry under sign transformations. Through precise operator difference analysis, we prove that the perturbation $\mathcal{R}^k = -2(-1)^k \omega \otimes \delta^{\lambda}_{\mathfrak{g}}(s)$ induced by the mirror transformation $(D,\lambda) \mapsto (D,-\lambda)$ is a bounded compact operator, and apply Fredholm theory to establish the mirror invariance of harmonic space dimensions $\dim \mathcal{H}^k_{D,\lambda} = \dim \mathcal{H}^k_{D,-\lambda}$. We further prove the complete invariance of constraint strength metrics and curvature geometric metrics under mirror transformations, thus ensuring the spectral structure stability of Spencer-Hodge Laplacians. From a physical geometric perspective, our results reveal that sign transformations of constraint forces do not affect the essential topological structure of constraint systems, embodying deep symmetry principles in constraint geometry. This work connects Spencer metric theory with mirror symmetry theory, laying the foundation for further development of constraint geometric analysis and computational methods.

Discussion (0). Sign in to comment.

Forward citations

Cited by 3 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. 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

28 extracted references · 24 canonical work pages · cited by 3 Pith papers

  1. [1]

    Sobolev Spaces , volume 140 of Pure and Applied Mathematics

    Robert A Adams and John JF Fournier. Sobolev Spaces , volume 140 of Pure and Applied Mathematics . Academic Press, 2nd edition, 2003

    work page 2003

  2. [2]

    Background independent quantum gravity: A status report

    Abhay Ashtekar and Jerzy Lewandowski. Background independent quantum gravity: A status report. Classical and Quantum Gravity , 21(15):R53, 2004

    work page 2004

  3. [3]

    The index of elliptic operators on compact manifolds

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

    work page 1963

  4. [4]

    Some Nonlinear Problems in Riemannian Geometry

    Thierry Aubin. Some Nonlinear Problems in Riemannian Geometry . Springer Monographs in Mathematics. Springer-Verlag, 1998

    work page 1998

  5. [5]

    Exterior Differential Systems , volume 18 of Mathematical Sciences Research Institute Publications

    Robert L Bryant, Shiing-Shen Chern, Robert B Gardner, Hubert L Goldschmidt, and Phillip A Griffiths. Exterior Differential Systems , volume 18 of Mathematical Sciences Research Institute Publications . Springer-Verlag, New York, 1991

    work page 1991

  6. [6]

    Mirror symmetry for two-parameter models-i

    Philip Candelas, Xenia C de la Ossa, Paul S Green, and Linda Parkes. Mirror symmetry for two-parameter models-i. Nuclear Physics B , 359(1):21--74, 1991

    work page 1991

  7. [7]

    Noncommutative Geometry

    Alain Connes. Noncommutative Geometry . Academic Press, San Diego, CA, 2013

    work page 2013

  8. [8]

    Lectures on Quantum Mechanics

    Paul Adrien Maurice Dirac. Lectures on Quantum Mechanics . Dover Publications, Mineola, NY, 2001. Reprint of the 1964 edition

    work page 2001

Show all 28 references
  1. [9]

    Partial Differential Equations , volume 19 of Graduate Studies in Mathematics

    Lawrence C Evans. Partial Differential Equations , volume 19 of Graduate Studies in Mathematics . American Mathematical Society, 2nd edition, 2010

    2010

  2. [10]

    Ghosts, ward identities and symmetries in yang-mills theory

    Ludwig D Faddeev and Victor N Popov. Ghosts, ward identities and symmetries in yang-mills theory. Physics Letters B , 25(1):29--30, 1967

    1967

  3. [11]

    Mirror manifolds in higher dimension

    Brian R Greene and M Ronen Plesser. Mirror manifolds in higher dimension. Communications in Mathematical Physics , 146(1):61--88, 1990

    1990

  4. [12]

    Elliptic Partial Differential Equations of Second Order

    David Gilbarg and Neil S Trudinger. Elliptic Partial Differential Equations of Second Order . Grundlehren der mathematischen Wissenschaften. Springer-Verlag, 2nd edition, 2001

    2001

  5. [13]

    Mirror Symmetry , volume 1 of Clay Mathematics Monographs

    Kentaro Hori, Sheldon Katz, Albrecht Klemm, Rahul Pandharipande, Richard Thomas, Cumrun Vafa, Ravi Vakil, and Eric Zaslow. Mirror Symmetry , volume 1 of Clay Mathematics Monographs . American Mathematical Society, 2003

    2003

  6. [14]

    The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis

    Lars H \"o rmander. The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis . Grundlehren der mathematischen Wissenschaften. Springer-Verlag, 2nd edition, 2003

    2003

  7. [15]

    Quantization of Gauge Systems

    Marc Henneaux and Claudio Teitelboim. Quantization of Gauge Systems . Princeton University Press, Princeton, NJ, 1992

    1992

  8. [16]

    Perturbation Theory for Linear Operators

    Tosio Kato. Perturbation Theory for Linear Operators . Grundlehren der mathematischen Wissenschaften. Springer-Verlag, 2nd edition, 1995

    1995

  9. [17]

    Foundations of Differential Geometry , volume 1

    Shoshichi Kobayashi and Katsumi Nomizu. Foundations of Differential Geometry , volume 1. Interscience Publishers, New York, 1963

    1963

  10. [18]

    The large-n limit of superconformal field theories and supergravity

    Juan Maldacena. The large-n limit of superconformal field theories and supergravity. International Journal of Theoretical Physics , 38(4):1113--1133, 1999

    1999

  11. [19]

    On the formal group laws of unoriented and complex cobordism theory

    Daniel G Quillen. On the formal group laws of unoriented and complex cobordism theory. Bulletin of the American Mathematical Society , 75(6):1293--1298, 1970

    1970

  12. [20]

    Index Theory of Elliptic Boundary Problems

    Stephan Rempel and Bert-Wolfgang Schulze. Index Theory of Elliptic Boundary Problems . Akademie-Verlag, Berlin, 1982

    1982

  13. [21]

    Deformation of structures on manifolds defined by transitive, continuous pseudogroups

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

    1962

  14. [22]

    Partial Differential Equations I: Basic Theory , volume 115 of Applied Mathematical Sciences

    Michael E Taylor. Partial Differential Equations I: Basic Theory , volume 115 of Applied Mathematical Sciences . Springer-Verlag, 1996

    1996

  15. [23]

    Interpolation Theory, Function Spaces, Differential Operators

    Hans Triebel. Interpolation Theory, Function Spaces, Differential Operators . North-Holland Mathematical Library. North-Holland Publishing Company, 1978

    1978

  16. [24]

    Foundations of Differentiable Manifolds and Lie Groups , volume 94 of Graduate Texts in Mathematics

    Frank W Warner. Foundations of Differentiable Manifolds and Lie Groups , volume 94 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1983

    1983

  17. [25]

    Quantum field theory and the jones polynomial

    Edward Witten. Quantum field theory and the jones polynomial. Communications in Mathematical Physics , 121(3):351--399, 1989

    1989

  18. [26]

    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

  19. [27]

    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

  20. [28]

    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.