pith. sign in

arxiv: 2604.12846 · v1 · submitted 2026-04-14 · 🧮 math.DG

Weyl structures for path geometries

Andreas \v{C}ap , Zhangwen Guo This is my paper

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

classification 🧮 math.DG
keywords path geometryWeyl structuretractor calculusparabolic geometrysecond-order ODEBGG sequenceSchouten tensorinvariant operator
0
0 comments X

The pith

Path geometries admit a family of distinguished Weyl structures parametrized by line bundle sections that supports elementary tractor calculus.

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

The paper defines a family of distinguished connections for path geometries, which model systems of second-order ODEs, by using local non-vanishing sections of an associated line bundle. These connections, called distinguished Weyl structures, have an explicit dependence on the choice of section and come with an associated Schouten tensor whose properties are described directly. The constructions recover tractor calculus and allow building invariant operators without relying on the full apparatus of parabolic geometry. A further result isolates a smaller subclass of these structures that appears only for path geometries and induces a refinement of the de Rham complex through BGG sequences.

Core claim

Motivated by the general theory of Weyl structures but developed elementarily, we define a family of distinguished connections parametrized by local non-vanishing sections of the natural line bundle associated to a path geometry. The dependence on this choice is made explicit, the Schouten tensor is discussed, and these ingredients are used to obtain tractor calculus and examples of invariant operators. In addition, path geometries possess a smaller subclass of such distinguished Weyl structures with no analog in other parabolic geometries; this subclass is related to the refinement of the de Rham complex induced via BGG sequences.

What carries the argument

The family of distinguished Weyl structures, defined as connections parametrized by non-vanishing sections of the line bundle naturally associated to the path geometry; these structures encode the second-order data and carry the tractor calculus.

If this is right

  • Explicit formulas for the change of the distinguished connection and its Schouten tensor under different choices of section become available.
  • Tractor bundles and their connections for path geometries can be constructed directly from the distinguished Weyl structures.
  • Examples of invariant differential operators are obtained by composing the tractor operators with the BGG machinery.
  • The de Rham complex admits a canonical refinement induced by the path geometry through the smaller subclass of Weyl structures.
  • The geometric theory of second-order ODE systems and cone structures gains an accessible computational toolkit.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The explicit parametrization could be used to derive coordinate formulas for curvature quantities that are easier to implement in software for solving ODEs.
  • The geometry-specific subclass might supply new invariants that distinguish path geometries from other parabolic structures in classification problems.
  • Because the constructions stay elementary, they may extend to variational problems or control-theoretic settings where second-order equations arise naturally.

Load-bearing premise

Local non-vanishing sections of the line bundle associated to the path geometry exist and the elementary constructions recover the essential tractor and BGG features.

What would settle it

A concrete path geometry in which no family of connections satisfies the explicit transformation rules under change of section while still reproducing tractor operators and the claimed subclass would falsify the central claim.

read the original abstract

Path geometries provide a geometric encoding of systems of second order ODE, which serves as a model for the geometric theory of more general systems of ODE and for cone structures. They are an instance of the family of parabolic geometries, thus they are second order structures that are difficult to study using the usual tools of differential geometry. The general theory of parabolic geometries provides several efficient tools for the study of path geometries, but these use Cartan geometry methods and hence are not easily accessible. In this article, we build a bridge between these general methods and an elementary approach to path geometries. Motivated by the general theory of Weyl structures (but not using it), we first define a family of distinguished connections that is analogous to Webster-Tanaka connections in CR geometry. These are parametrized by (local) non-vanishing sections of a line bundle naturally associated to the geometry, and the dependence of this choice is described explicitly. We also discuss the Schouten tensor associated to such a choice and its dependence on the choice. We explain how these ingredients can be used to obtain an elementary approach to tractor calculus for path geometries and give examples of applications to the construction of invariant operators. A second major result that we prove is that in the case of path geometries, there is a smaller subclass of distinguished Weyl structures which does not seem to have an analog for any other type of parabolic geometries. This has interesting relations to the refinement of the de Rham complex induced by a path geometry via the machinery of BGG sequences. Again, all this is proved using elementary methods without reference to the general theory.

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

2 major / 2 minor

Summary. The manuscript develops an elementary approach to path geometries (which encode second-order ODEs) by defining a family of distinguished connections parametrized explicitly by local non-vanishing sections of an associated line bundle, analogous to Webster-Tanaka connections. It derives the dependence of these connections and the associated Schouten tensor on the choice of section, then uses the data to construct tractor calculus and invariant operators. A second central result identifies a smaller subclass of distinguished Weyl structures unique to path geometries (with no apparent analog in other parabolic geometries), which induces a refinement of the de Rham complex via BGG sequences; all constructions and proofs are claimed to be elementary and independent of general parabolic/Cart an methods.

Significance. If the elementary derivations are fully self-contained, the work provides a useful bridge making advanced tools for path geometries accessible via standard differential geometry. The explicit parametrization by line-bundle sections, the dependence formulas, and the identification of a path-geometry-specific subclass of Weyl structures are strengths that could enable new constructions of invariant operators and geometric insights into ODE systems. The paper ships explicit formulas and avoids Cartan machinery by design, which is a positive feature for the target audience.

major comments (2)
  1. [Section on the smaller subclass of distinguished Weyl structures] The second major result (abstract and the section developing the smaller subclass of Weyl structures): the claim that this subclass 'does not seem to have an analog for any other type of parabolic geometries' is load-bearing for novelty but is asserted without an explicit comparison or non-extension argument. A concrete check is needed showing why the refinement (via the elementary connection and Schouten data) cannot be replicated in other parabolic settings using analogous local sections.
  2. [BGG refinement and tractor calculus sections] The derivation of the BGG-sequence refinement of the de Rham complex (tied to the smaller subclass): the paper must demonstrate step-by-step that the induced filtration and operators are obtained solely from the distinguished connections, Schouten tensor, and local sections, without any implicit appeal to tractor bundles or parabolic filtrations. The current presentation leaves open whether the 'elementary' recovery of BGG features is independent of the general theory it aims to avoid.
minor comments (2)
  1. [Abstract and § on dependence formulas] The abstract states that dependence formulas are 'described explicitly'; ensure every such formula in the body is numbered and cross-referenced so readers can verify the claimed independence from the choice of section.
  2. [Notation and definitions] Notation for the line bundle and its local non-vanishing sections should be introduced once and used consistently; occasional shifts in symbol choice obscure the parametrization.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments highlight areas where additional explicit arguments and clarifications will strengthen the manuscript's claim to an elementary treatment. We will revise accordingly to address both major points while preserving the self-contained nature of the derivations.

read point-by-point responses

  1. Referee: [Section on the smaller subclass of distinguished Weyl structures] The second major result (abstract and the section developing the smaller subclass of Weyl structures): the claim that this subclass 'does not seem to have an analog for any other type of parabolic geometries' is load-bearing for novelty but is asserted without an explicit comparison or non-extension argument. A concrete check is needed showing why the refinement (via the elementary connection and Schouten data) cannot be replicated in other parabolic settings using analogous local sections.

    Authors: The claim is phrased tentatively ('does not seem') precisely because a full comparative study lies outside the paper's scope. The subclass arises specifically from the parametrization by non-vanishing sections of the line bundle associated to the second-order structure of path geometries; this permits a canonical choice that refines the de Rham complex via the Schouten tensor in a manner tied directly to the ODE encoding. In the revision we will insert a short remark (approximately one paragraph) sketching why an analogous local-section parametrization in other parabolic geometries (e.g., CR or projective) fails to produce an equivalent refinement without either losing invariance or requiring additional data that the elementary approach deliberately avoids. This addition will rely only on the same connection and Schouten formulas already developed, thereby supporting the novelty statement without a comprehensive cross-geometry treatise. revision: yes

  2. Referee: [BGG refinement and tractor calculus sections] The derivation of the BGG-sequence refinement of the de Rham complex (tied to the smaller subclass): the paper must demonstrate step-by-step that the induced filtration and operators are obtained solely from the distinguished connections, Schouten tensor, and local sections, without any implicit appeal to tractor bundles or parabolic filtrations. The current presentation leaves open whether the 'elementary' recovery of BGG features is independent of the general theory it aims to avoid.

    Authors: All operators and filtrations in the relevant sections are constructed by direct computation from the curvature and torsion of the distinguished connections and the associated Schouten tensor, using only the local non-vanishing sections as parameters. No tractor bundles or parabolic filtrations appear in the definitions or proofs. To eliminate any ambiguity, the revised manuscript will include an expanded subsection that walks through the filtration step by step, writing each operator explicitly in terms of the connection coefficients and Schouten components. A new opening sentence in that section will state that the constructions use solely the elementary data introduced earlier and make no reference to the general parabolic machinery. revision: yes

Circularity Check

0 steps flagged

No significant circularity: elementary constructions and proofs are self-contained.

full rationale

The paper defines the family of distinguished connections directly as parametrized by local non-vanishing sections of the associated line bundle, describes the explicit dependence of the Schouten tensor on this choice, and states that these ingredients suffice for an elementary tractor calculus and invariant operators. The second major result on the smaller subclass of Weyl structures and its relation to the de Rham refinement is likewise asserted to be proved elementarily without reference to general parabolic theory. No quoted step reduces a claimed prediction or uniqueness result to a fitted input, self-citation, or ansatz by construction; the derivations are presented as independent of the motivating general framework.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard identification of path geometries as parabolic geometries and the existence of the natural line bundle; no new entities are postulated and the parameter is an explicit choice rather than a fitted constant.

free parameters (1)
  • local non-vanishing section of the line bundle
    The family of distinguished connections is parametrized by these sections, as described in the abstract; the choice is free but its dependence is stated explicitly.
axioms (2)
  • domain assumption Path geometries are instances of parabolic geometries
    Stated directly in the opening sentence of the abstract.
  • domain assumption Local non-vanishing sections of the associated line bundle exist
    Implicit in the parametrization of the connections.

pith-pipeline@v0.9.0 · 5581 in / 1434 out tokens · 55785 ms · 2026-05-10T14:05:56.454578+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

20 extracted references · 20 canonical work pages · 2 internal anchors

  1. [1]

    Daniel An and Paweł Nurowski, Twistor space for rolling bodies,Comm. Math. Phys.(2014), no. 326, 393–414

    work page 2014

  2. [2]

    Bailey, Micheal G

    Toby N. Bailey, Micheal G. Eastwood, and A. Rod Gover, Thomas’s structure bundle for conformal, projective and related structures,Rocky Mountain J. Math.(1994), no. 24, 1191–1217

    work page 1994

  3. [3]

    1–76, 1995

    Robert Bryant, Phillip Griffiths, and Lucas Hsu, Toward a geometry of differential equations, pp. 1–76, 1995

    work page 1995

  4. [4]

    Rod Gover, and Matthias Hammerl, Holonomy reductions of Cartan geometries and curved orbit decompositions,Duke Math

    Andreas Čap, A. Rod Gover, and Matthias Hammerl, Holonomy reductions of Cartan geometries and curved orbit decompositions,Duke Math. J.(2014), no. 163, 1035–1070

    work page 2014

  5. [5]

    Methods Appl.(2024), no

    Andreas Čap, Zhangwen Guo, and Michał Andrzej Wasilewicz, On relative tractor bundles,SIGMA Symmetry Integrability Geom. Methods Appl.(2024), no. 20, Paper No. 108, 19

    work page 2024

  6. [6]

    Scand.(2003), no

    Andreas Čap and Jan Slovák, Weyl structures for parabolic geometries,Math. Scand.(2003), no. 93, 53–90 22 ANDREAS ČAP AND ZHANGWEN GUO

    work page 2003

  7. [7]

    Parabolic geometries

    Andreas Čap and Jan Slovák. Parabolic geometries. I, Mathematical Surveys and Monographs, vol. 154.American Mathematical Society, Providence, RI(2009), ISBN 978-0-8218-2681-2

    work page 2009

  8. [8]

    Andreas Čap, Jan Slovák, and Vladimír Souček, Bernstein-Gelfand-Gelfand sequences,Ann. of Math. (2)(2001), no. 154, 97–113

    work page 2001

  9. [9]

    BGG machinery and invariant operators,Adv

    Andreas Čap and Vladimír Souček, Relative BGG sequences; II. BGG machinery and invariant operators,Adv. Math.(2017), no. 320, 1009–1062

    work page 2017

  10. [10]

    Differential Geom.(2009), no

    Andreas Čap and Vojtěch Žádník, On the geometry of chains,J. Differential Geom.(2009), no. 82, 1–33

    work page 2009

  11. [11]

    Saunders, Path geometries and almost Grassmann structures, pp

    Mike Crampin and David J. Saunders, Path geometries and almost Grassmann structures, pp. 225–261, 2007

    work page 2007

  12. [12]

    Jesse Douglas, The general geometry of paths,Ann. of Math. (2)(1927/28), no. 29, 143–168

    work page 1927

  13. [13]

    M. E. Fels, The equivalence problem for systems of second-order ordinary differential equations,Proc. London Math. Soc. (3)(1995), no. 71, 221–240

    work page 1995

  14. [14]

    Rod Gover and C

    A. Rod Gover and C. Robin Graham, CR invariant powers of the sub-Laplacian,J. Reine Angew. Math.(2005), no. 583, 1–27

    work page 2005

  15. [15]

    Grossman, Torsion-free path geometries and integrable second order ODE systems,Selecta Math

    Daniel A. Grossman, Torsion-free path geometries and integrable second order ODE systems,Selecta Math. (N.S.) (2000), no. 6, 399–442

    work page 2000

  16. [16]

    Zhangwen Guo,Parallel (co-)tractors and the geometry of first BGG solutions on almost Grassmannian structures (2025), arXiv 2507.17605

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  17. [17]

    Zhangwen Guo,Two Fefferman-type constructions involving almost Grassmann structures and path geometries (2025), arXiv 2509.04878

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  18. [18]

    Lee, The Fefferman metric and pseudo-Hermitian invariants,Trans

    John M. Lee, The Fefferman metric and pseudo-Hermitian invariants,Trans. Amer. Math. Soc.(1986), no. 296, 411–429

    work page 1986

  19. [19]

    Z.(2025), no

    Arman Taghavi-Chabert, Perturbations of Fefferman spaces over almost CR manifolds,Math. Z.(2025), no. 310, Paper No. 85, 47

    work page 2025

  20. [20]

    Z.(1926), no

    Tracy Yerkes Thomas, A projective theory of affinely connected manifolds,Math. Z.(1926), no. 25, 723–733 University of Vienna F aculty of Mathematics Oskar-Morgenstern-Platz 1 1090 Vienna, Austria A.Č.: https://orcid.org/0000-0002-7745-3708 Z.G.: https://orcid.org/0009-0007-4027-4902 andreas.cap@univie.ac.at zhangwen.guo@univie.ac.at

    work page 1926