Standard Cotractor Bundle in AG-Structures

• Standard cotractor bundle is the dual of the standard tractor bundle in almost Grassmannian structures, encoding key parabolic geometry data.
• It features explicit Weyl splittings and connection formulas that couple E* and F* components, essential for formulating first-order BGG operators.
• The bundle supports a prolongation process that distinguishes normal solutions and induces lower-dimensional AG-structures on the zero locus of BGG solutions.

Searching arXiv for the cited paper and closely related work on almost Grassmannian structures, tractors, and first BGG operators. The standard cotractor bundle is the dual of the standard tractor bundle in the normal parabolic geometry underlying an almost Grassmannian structure of type $(2,n)$. In the setting of an AG-structure $(M,E,F)$ with

$$E^*\otimes F\cong TM,\qquad \wedge^2E^*\cong \wedge^nF,$$

arising from a parabolic geometry of type $(SL(n+2,\mathbb R),P)$, the standard tractor bundle is

$\mathcal T=\mathcal G\times_P\mathbb R^{n+2},$

and the standard cotractor bundle is its dual

$\mathcal T^*.$

The paper "Parallel (co-)tractors and the geometry of first BGG solutions on almost Grassmannian structures" develops the cotractor theory in parallel with the tractor theory, including explicit Weyl splittings, the cotractor connection, the first BGG operator, prolongation, the characterization of parallel cotractors, and the geometry induced on the zero locus of a BGG solution (Guo, 23 Jul 2025).

1. Ambient almost Grassmannian structure and canonical filtrations

The cotractor bundle is defined within an almost Grassmannian geometry $(M,E,F)$ for which the tangent bundle is identified as $TM\cong E^*\otimes F$ and the determinant-type compatibility condition $\wedge^2E^*\cong \wedge^nF$ holds. In this setting, $\mathcal T^*$ is the dual companion of the standard tractor bundle and carries the same Cartan/parabolic information in dual form.

The canonical short exact sequences are

$(M,E,F)$0

These sequences encode the filtered structure of the standard representation and its dual. For $(M,E,F)$1, the quotient is $(M,E,F)$2 and the distinguished subbundle is $(M,E,F)$3. Accordingly, sections of $(M,E,F)$4 decompose into an $(M,E,F)$5-part and an $(M,E,F)$6-part, with the cotractor connection given as the dual tractor connection induced by the Cartan connection (Guo, 23 Jul 2025).

This organization places the standard cotractor bundle at the interface between the representation-theoretic data of the parabolic geometry and the tensorial data of the underlying AG-structure. A plausible implication is that the cotractor bundle is the natural receptacle for first-order geometric equations whose leading term lives in $(M,E,F)$7.

2. Weyl splittings and change of splitting

After fixing a Weyl structure $(M,E,F)$8, the $(M,E,F)$9-module decomposition of $$E^*\otimes F\cong TM,\qquad \wedge^2E^*\cong \wedge^nF,$$0 yields the canonical splitting

$$E^*\otimes F\cong TM,\qquad \wedge^2E^*\cong \wedge^nF,$$1

Every section of $$E^*\otimes F\cong TM,\qquad \wedge^2E^*\cong \wedge^nF,$$2 therefore admits a unique expression

$$E^*\otimes F\cong TM,\qquad \wedge^2E^*\cong \wedge^nF,$$3

If $$E^*\otimes F\cong TM,\qquad \wedge^2E^*\cong \wedge^nF,$$4 is another Weyl structure determined by $$E^*\otimes F\cong TM,\qquad \wedge^2E^*\cong \wedge^nF,$$5, then the splitting changes according to

$$E^*\otimes F\cong TM,\qquad \wedge^2E^*\cong \wedge^nF,$$6

The Weyl connection changes on $$E^*\otimes F\cong TM,\qquad \wedge^2E^*\cong \wedge^nF,$$7 by

$$E^*\otimes F\cong TM,\qquad \wedge^2E^*\cong \wedge^nF,$$8

These formulas exhibit the cotractor analogue of the usual affine change of Weyl splittings. The $$E^*\otimes F\cong TM,\qquad \wedge^2E^*\cong \wedge^nF,$$9-component is unchanged, while the $(SL(n+2,\mathbb R),P)$0-component transforms by an affine correction determined by $(SL(n+2,\mathbb R),P)$1. This makes explicit how cotractor data depend on a chosen Weyl structure while remaining canonically defined at the invariant level (Guo, 23 Jul 2025).

3. Cotractor connection and its explicit local form

Using the general tractor connection formula

$(SL(n+2,\mathbb R),P)$2

the cotractor connection on $(SL(n+2,\mathbb R),P)$3 is computed explicitly. For $(SL(n+2,\mathbb R),P)$4,

$(SL(n+2,\mathbb R),P)$5

where $(SL(n+2,\mathbb R),P)$6 is the Rho tensor of the chosen Weyl structure.

The formula shows that the connection couples the $(SL(n+2,\mathbb R),P)$7-component and $(SL(n+2,\mathbb R),P)$8-component in a triangular way: $(SL(n+2,\mathbb R),P)$9 enters the derivative of $\mathcal T=\mathcal G\times_P\mathbb R^{n+2},$0 through the term $\mathcal T=\mathcal G\times_P\mathbb R^{n+2},$1, while $\mathcal T=\mathcal G\times_P\mathbb R^{n+2},$2 enters the derivative of $\mathcal T=\mathcal G\times_P\mathbb R^{n+2},$3 through the Rho tensor term $\mathcal T=\mathcal G\times_P\mathbb R^{n+2},$4. In this sense, the explicit splitting formula realizes the abstract dual tractor connection as a concrete first-order system on $\mathcal T=\mathcal G\times_P\mathbb R^{n+2},$5.

This connection formula is the basis for the later BGG and prolongation constructions. It identifies the precise lower-order coupling required to pass between invariant parabolic data and tensorial differential operators on the underlying manifold (Guo, 23 Jul 2025).

4. First BGG operator for the standard cotractor bundle

There is a natural projection $\mathcal T=\mathcal G\times_P\mathbb R^{n+2},$6, and hence

$\mathcal T=\mathcal G\times_P\mathbb R^{n+2},$7

The target decomposes as

$\mathcal T=\mathcal G\times_P\mathbb R^{n+2},$8

with

$\mathcal T=\mathcal G\times_P\mathbb R^{n+2},$9

The splitting operator and first BGG operator associated to $\mathcal T^*.$0 are

$\mathcal T^*.$1

and

$\mathcal T^*.$2

Thus $\mathcal T^*.$3 satisfies the first BGG equation exactly when the trace-free part of $\mathcal T^*.$4 vanishes; equivalently, $\mathcal T^*.$5 is pure trace (Guo, 23 Jul 2025).

This description identifies the cotractor BGG equation as a first-order overdetermined system on $\mathcal T^*.$6. The equation is determined by the projection of $\mathcal T^*.$7 onto the trace-free $\mathcal T^*.$8-part, while the splitting operator inserts a section of $\mathcal T^*.$9 into the cotractor bundle with the precise trace correction needed for the BGG formalism.

5. Prolongation, correction term, and normality

The paper constructs a prolongation connection on $(M,E,F)$0 whose parallel sections are exactly the normal solutions of the first BGG operator. The correction term is built from the tensor $(M,E,F)$1, defined by

$(M,E,F)$2

The modified connection is

$(M,E,F)$3

The prolongation theorem states that

$(M,E,F)$4

Moreover, $(M,E,F)$5 is itself the tractor connection induced by a modified Cartan connection $(M,E,F)$6 satisfying

$(M,E,F)$7

This places the prolongation entirely within Cartan-geometric language: the corrected connection is not merely an auxiliary device but again a tractor connection associated to a modified Cartan connection. This suggests that the obstruction to normality of the naive tractor lift is encoded explicitly by the torsion-derived tensor $(M,E,F)$8, and that normal BGG solutions are precisely those made parallel after the canonical correction (Guo, 23 Jul 2025).

6. Parallel cotractors and the geometry of the zero locus

Parallel cotractors admit an exact characterization in terms of the BGG equation and a torsion contraction obstruction:

$(M,E,F)$9

Thus a solution of the first BGG operator corresponds to a parallel cotractor exactly when this additional torsion contraction vanishes. In the terminology of the paper, these are the normal solutions associated to $TM\cong E^*\otimes F$0. The tractor-side analogue is

$TM\cong E^*\otimes F$1

The paper also analyzes the zero locus of a nonzero cotractor BGG solution. If

$TM\cong E^*\otimes F$2

then its zero set

$TM\cong E^*\otimes F$3

is a $TM\cong E^*\otimes F$4-dimensional embedded submanifold. If $TM\cong E^*\otimes F$5 is the kernel of the nowhere vanishing section $TM\cong E^*\otimes F$6, then

$TM\cong E^*\otimes F$7

The induced structure $TM\cong E^*\otimes F$8 is an AG-structure of type $TM\cong E^*\otimes F$9 (Guo, 23 Jul 2025).

The Cartan-geometric interpretation is via curved orbits of the parallel prolongation cotractor, and the induced geometry on $\wedge^2E^*\cong \wedge^nF$0 is canonical, arising from the reduced Cartan geometry associated to the stabilizer of the relevant cotractor orbit. A plausible implication is that cotractor BGG solutions stratify the ambient almost Grassmannian manifold by geometrically natural submanifolds carrying lower-rank AG-structures.

7. Conceptual role within the tractor/BGG framework

Within the tractor/BGG formalism for almost Grassmannian structures, the standard cotractor bundle functions as the dual standard representation bundle equipped with an explicit filtered decomposition, a dual tractor connection, a first BGG operator on $\wedge^2E^*\cong \wedge^nF$1, and a canonical prolongation procedure. Its basic data are fully parallel to those of the standard tractor bundle, but with the roles of $\wedge^2E^*\cong \wedge^nF$2 and $\wedge^2E^*\cong \wedge^nF$3 replaced by their dual companions in the manner specified by the exact sequence

$\wedge^2E^*\cong \wedge^nF$4

The standard cotractor bundle therefore serves as the natural geometric carrier for sections $\wedge^2E^*\cong \wedge^nF$5, their invariant lift $\wedge^2E^*\cong \wedge^nF$6, the differential condition $\wedge^2E^*\cong \wedge^nF$7, and the distinction between arbitrary and normal BGG solutions through the torsion contraction criterion. In the specific treatment of almost Grassmannian structures of type $\wedge^2E^*\cong \wedge^nF$8, the cotractor theory is not merely formal dualization: the paper works out explicit formulas for Weyl splittings, connection terms, prolongation corrections, and zero-locus geometry in a form directly usable for geometric analysis (Guo, 23 Jul 2025).