pith. sign in

arxiv: 2502.15061 · v2 · submitted 2025-02-20 · 🧮 math.DG

Parallel differential forms of codegree two, and three-forms in dimension six

Andrzej Derdzinski , Paolo Piccione , Ivo Terek This is my paper

Pith reviewed 2026-05-23 02:14 UTC · model grok-4.3

classification 🧮 math.DG
keywords differential formsparallel formstorsion-free connectionsconstant componentscodegree twothree-formsdimension sixexceptional holonomy
0
0 comments X

The pith

Constant components in local coordinates imply that (n-2)-forms and three-forms in six dimensions are parallel with respect to torsion-free connections.

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

The paper proves that a differential form having constant components in suitable local coordinates is necessarily parallel with respect to a torsion-free connection when the form is of degree n-2 in dimension n or of degree 3 in dimension 6. This completes the picture for low and high degree forms, as the implication was already known for degrees 0, 1, 2, n-1 and n. The authors also give geometric characterizations of such forms and exhibit counterexamples in other cases, including on simple Lie groups and manifolds with exceptional holonomy. Understanding this equivalence helps determine when local constancy of form coefficients guarantees global parallelism in geometric settings.

Core claim

For a differential form on a manifold, having constant components in suitable local coordinates trivially implies being parallel relative to a torsion-free connection, and the converse implication is known to be true for p-forms in dimension n when p=0,1,2,n-1,n. We prove the converse for (n-2)-forms, and for 3-forms when n=6, while pointing out that it fails to hold for Cartan 3-forms on all simple Lie groups of dimensions n≥8 as well as for (n,p)=(7,3) and (n,p)=(8,4), where the 3-forms and 4-forms arise in compact simply connected Riemannian manifolds with exceptional holonomy groups. We also provide geometric characterizations of 3-forms in dimension six and (n-2)-forms in dimension n.

What carries the argument

The constant-components property of a differential form in suitable local coordinates, shown equivalent to parallelism with respect to a torsion-free connection for the listed degrees.

Load-bearing premise

The connection under consideration is torsion-free.

What would settle it

An explicit (n-2)-form on some manifold that has constant components in suitable local coordinates yet fails to be parallel with respect to a torsion-free connection would falsify the claimed equivalence.

Figures

Figures reproduced from arXiv: 2502.15061 by Andrzej Derdzinski, Ivo Terek, Paolo Piccione.

Figure 1
Figure 1. Figure 1: The five types (6.1) of 3-forms in dimension six. Each maximal solid line segment corresponds to one summand in (6.1), and so does the small inscribed ▽ triangle in (a). They are all oriented as indicated by the arrows. 1 2 3 4 5 6 [PITH_FULL_IMAGE:figures/full_fig_p011_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The octahedron version of (6.1-a). Four mutually non￾adjacent faces correspond to µ = Re ω and the remaining four to Im ω, where seven faces (all but one of the latter, namely, 531) represent the same orientation of the boundary surface. The four µ-faces are also characterized by being coherently oriented by the arrow-marked orientations of their sides. 7. The simplest invariants of differential forms Give… view at source ↗
read the original abstract

For a differential form on a manifold, having constant components in suitable local coordinates trivially implies being parallel relative to a torsion-free connection, and the converse implication is known to be true for $p$-forms in dimension $n$ when $p=0,1,2,n-1,n$. We prove the converse for $(n-2)$-forms, and for 3-forms when $n=6$, while pointing out that it fails to hold for Cartan 3-forms on all simple Lie groups of dimensions $n\ge8$ as well as for $(n,p)=(7,3)$ and $(n,p)=(8,4)$, where the 3-forms and 4-forms arise in compact simply connected Riemannian manifolds with exceptional holonomy groups. We also provide geometric characterizations of 3-forms in dimension six and $(n-2)$-forms in dimension $n$ having the constant-components property mentioned above, and describe examples illustrating the fact that various parts of these geometric characterizations are logically independent.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that parallelism with respect to a torsion-free connection implies the constant-components property for (n-2)-forms on n-dimensional manifolds and for 3-forms on 6-dimensional manifolds. It establishes the converse implication in these cases while providing explicit counterexamples showing failure for Cartan 3-forms on simple Lie groups of dimension n≥8, the standard parallel 3-form on G2-manifolds, and the standard parallel 4-form on Spin(7)-manifolds. Geometric characterizations of the constant-components property are supplied for these forms, together with examples demonstrating logical independence of various components of the characterizations.

Significance. If the proofs are correct, the work precisely delineates the degrees in which parallelism implies constant components, with direct relevance to special holonomy, calibrated geometries, and the study of parallel forms. The counterexamples drawn from standard constructions (Levi-Civita connections on Lie groups and exceptional holonomy manifolds) and the independence examples strengthen the contribution by showing sharpness and logical structure.

minor comments (3)
  1. [Introduction] The opening sentence of the abstract states the torsion-free hypothesis clearly, but the introduction would benefit from an explicit reminder that all subsequent statements (including the converses and counterexamples) are understood in this setting.
  2. [§2] Notation for the constant-components property (e.g., the local frame in which components are constant) is introduced gradually; a single displayed definition early in §2 would improve readability.
  3. [§4] In the counterexample sections, a brief sentence recalling that the Levi-Civita connection of a left-invariant metric on a Lie group is torsion-free would make the applicability of the negative results immediate.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No major comments were provided in the report, so there are no specific points requiring response or revision.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

This is a pure mathematical proof paper in differential geometry. The central claims consist of (i) a trivial implication (constant components imply parallelism w.r.t. torsion-free connection), (ii) proofs of the converse for (n-2)-forms in any dimension and 3-forms when n=6, and (iii) explicit counterexamples for the remaining cases drawn from standard constructions (Cartan 3-forms on Lie groups, G2 and Spin(7) structures). No parameters are fitted, no definitions are self-referential, and no result is obtained by renaming or by a self-citation chain that reduces the target statement to its own inputs. The torsion-free hypothesis is stated at the outset and is part of the setting rather than a derived claim. The derivation is therefore self-contained against external benchmarks of differential geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies exclusively on standard background results in differential geometry; no free parameters, no new postulated entities, and only routine domain assumptions.

axioms (1)
  • domain assumption Manifolds are smooth and the connection is torsion-free
    The constant-components-to-parallel implication is stated to hold precisely for torsion-free connections.

pith-pipeline@v0.9.0 · 5708 in / 1204 out tokens · 55055 ms · 2026-05-23T02:14:44.683444+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · 1 internal anchor

  1. [1]

    Bandyopadhyay, B

    S. Bandyopadhyay, B. Dacorogna, V . S. Matveev and M. Troy anov, Bernhard Riemann 1861 revisited: existence of flat coordinates for an arbitrary bilinear form , Math. Z. 305 (2023), art. 12, 25 pp

    work page 2023

  2. [2]

    A. L. Besse, Einstein Manifolds . Ergebnisse, Ser. 3, Vol. 10, Springer-Verlag, Berlin-Hei del- berg-New York, 1987

    work page 1987

  3. [3]

    Bolsinov, A.Y

    A.V . Bolsinov, A.Y . Konyaev and V . S. Matveev,Nijenhuis geometry, Adv. Math. 394 (2022), art. 108001, 52 pp

    work page 2022

  4. [4]

    R. L. Bryant, On the geometry of almost complex 6-manifolds, Asian J. Math. 10. 561–605

    work page

  5. [5]

    R. L. Bryant, S. S. Chern, R. B. Gardner, H. L. Goldschmidt and P. A. Griffiths, Exterior Dif- ferential Systems , Math. Sci. Res. Inst. Publ. 18, Springer-Verlag, New York, 1991

    work page 1991

  6. [6]

    R. S. Clark and M. Bruckheimer, Tensor structures on a differentiable manifold , Ann. Mat. Pura Appl. (4) 54(1961), 123–141

    work page 1961

  7. [7]

    Derdzinski and ´S

    A. Derdzinski and ´S. R. Gal, Curvature spectra of simple Lie groups , Abh. Math. Semin. Univ. Hambg. 83 (2013), 219–230

    work page 2013

  8. [8]

    Derdzinski, P

    A. Derdzinski, P. Piccione and I. Terek, Nijenhuis geometry of parallel tensors , Ann. Mat. Pura Appl. (4), OnlineFirst, 2024

    work page 2024

  9. [9]

    D. M. DeTurck and J. L. Kazdan, Some regularity theorems in Riemannian geometry , Ann. Sci. ´Ecole Norm. Sup. (4) 14 (1981), 249–260

    work page 1981

  10. [10]

    Hausner and J

    M. Hausner and J. T. Schwartz, Lie Groups, Lie Algebras . Gordon and Breach, New York, 1968

    work page 1968

  11. [11]

    Hitchin, The geometry of three-forms in six dimensions , J

    N. Hitchin, The geometry of three-forms in six dimensions , J. Differential Geom. 55 (2000), 547–576

    work page 2000

  12. [12]

    The exceptional holonomy groups and calibrated geometry

    D. Joyce, The exceptional holonomy groups and calibrated geometry , in G¨ okova Geome- try/Topology Conference (GGT), G¨ okova, 2006, 110–139. Pr eprint version also available from https:/ /arxiv.org/pdf/math/0406011

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  13. [13]

    A. I. Kostrikin and Y . I. Manin, Linear Algebra and Geometry . Gordon and Breach, Amster- dam, 1997

    work page 1997

  14. [14]

    Meyberg, Spurformeln in einfachen Lie-Algebren , Abh

    K. Meyberg, Spurformeln in einfachen Lie-Algebren , Abh. Math. Semin. Univ. Hambg. 54 (1984), 177–189

    work page 1984

  15. [15]

    Mu˜ noz Masqu´ e, L

    J. Mu˜ noz Masqu´ e, L. M. Pozo Coronado and M. E. Rosado Ma r ´ ıa,Differential p-forms and q-vector fields with constant coefficients , Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 22 (2021), 287–304

    work page 2021

  16. [16]

    Reichel, ¨Uber die trilinearen Alternierenden Formen in 6 und 7Ver¨ anderlichen

    W . Reichel, ¨Uber die trilinearen Alternierenden Formen in 6 und 7Ver¨ anderlichen. Disserta- tion, Greifswald, 1907. PARALLEL DIFFERENTIAL FORMS 23 (Andrzej Derdzinski) Department of Mathematics, The Ohio State University, 231 W . 18th A venue, Columbus, OH 43210, USA Email address : andrzej@math.ohio-state.edu (Paolo Piccione) Department of Mathematics...

    work page 1907