---
title: 'Goursat Bundles: Structure and Invariants'
url: https://www.emergentmind.com/topics/goursat-bundles
type: topic
---

# Goursat Bundles: Structure and Invariants

Searching arXiv for recent papers on Goursat bundles and closely related Goursat distributions.
Goursat bundles are rank‑2 Goursat distributions, equivalently rank‑2 Pfaffian systems satisfying the Goursat condition: on a manifold \(M\) of dimension \(m\), a distribution \(D\subset TM\) is Goursat when its Lie-square sequence consists of genuine subbundles, the rank increases by exactly one at each step, and the process terminates at the full tangent bundle. In the rank‑2 case this means a bracket-generating distribution whose derived flag has ranks \(2,3,4,\dots,m\) [2512.04271]. The modern theory places these objects in a universal geometric model, the monster tower over a surface, and studies them through two interacting families of local invariants: structural invariants of curve-singularity type and small-growth invariants of nonholonomic type [2308.09101], [2512.04271].

## 1. Definition and basic geometric structure

Let \(M\) be a manifold of dimension \(m\ge 2\), and let \(D\subset TM\) be a distribution with sheaf of sections \(\mathcal D\). The Lie square is
\[
\mathcal D_2=[\mathcal D,\mathcal D],
\]
generated by local sections of \(\mathcal D\) together with their Lie brackets. Inductively,
\[
\mathcal D_{i+1}=[\mathcal D_i,\mathcal D_i].
\]
A distribution is Goursat if each \(\mathcal D_i\) is locally free, the ranks satisfy
\[
\operatorname{rank} D_{i+1}=1+\operatorname{rank} D_i,
\]
and
\[
D_{m-d+1}=TM,
\]
where \(d=\operatorname{rank}D\) [2512.04271], [2308.09101].

For rank \(2\), the essential case emphasized in the recent literature, the growth vector is
\[
(2,3,4,\dots,m).
\]
If \(m=k+2\), then \(k\) is the corank, and the derived flag takes the form
\[
D=D_1\subset D_2\subset\cdots\subset D_k\subset D_{k+1}=TM,\qquad \operatorname{rank}D_i=1+i
\]
[2512.04271]. This is the defining growth pattern of a Goursat bundle.

A closely related formulation appears in the literature on unbendable rational curves: a rank‑2 distribution \(D\subset TY\) on an \(n\)-dimensional complex manifold is Goursat if
\[
\operatorname{rank}(\mathfrak a^k D)=k+2,\quad 1\le k\le n-2,
\]
so the growth vector is \((2,3,4,\dots,n)\) [2102.07331]. The equivalence of these formulations is a matter of notation: both encode bracket generation with minimal stepwise growth.

Historically, the standard local model is the Cartan contact distribution on jet spaces. In coordinates \((x,y,u_1,\dots,u_k)\) on \(J(1;k)\), the classical Pfaffian system is
\[
\omega_{1} = dy-u_{1}dx,\quad \omega_{2} = du_{1} - u_{2}dx,\quad \dots,\quad \omega_{k} = du_{k-1} - u_{k}dx
\]
[1302.5179]. This model expresses the characteristic “slow growth” that distinguishes Goursat bundles among bracket-generating systems.

## 2. Monster tower and universal local model

The fundamental geometric model is the monster tower, also called the Semple tower in the algebraic setting. Starting from a surface \(S\), one forms a tower
\[
S=S(0)\xleftarrow{\pi_1}S(1)\xleftarrow{\pi_2}S(2)\xleftarrow{\pi_3}\cdots,
\]
where \(S(k)\) has dimension \(k+2\), and each level carries a canonical rank‑2 distribution \(\Delta(k)\), the focal distribution [2512.04271]. The construction is by iterated Cartan prolongation of directions.

This tower is universal for rank‑2 Goursat germs: given any rank‑2 Goursat germ of corank \(k\), there exists \(p\in S(k)\) such that the germ is locally equivalent to the germ of \(\Delta(k)\) at \(p\) [2512.04271]. The same universality is described in the structural-invariants paper by repeated deprolongation to the contact distribution on a 3‑fold and re-embedding into the monster tower over a surface [2308.09101].

On a standard chart over a coordinate patch \(U\subset S\) with coordinates \((x_0,y_0)\), one has coordinates
\[
x_0,y_0,u_1,\dots,u_k,
\]
and the focal distribution is defined by the annihilation of a Pfaffian system
\[
\omega_i:=du_i-u_i\,du_{i-1},\qquad i=1,\dots,k
\]
in suitable local names [2512.04271]. The paper further introduces vertical fields \(v_i=\partial/\partial u_i\) and recursively defined focal fields \(f_i\), with either the ordinary choice
\[
f_i=f_{i-1}+u_i v_{i-1}
\]
or the inverted choice
\[
f_i=u_i f_{i-1}+v_{i-1}.
\]
Then
\[
\Delta(k)=\operatorname{span}\{f_k,v_k\}
\]
[2512.04271].

The derived Lie-square sequence of \(\Delta(k)\) admits an explicit basis description:
\[
\Gamma(\Delta_i)=\operatorname{span}\{f_{k-i+1},v_{k-i+1},\dots,v_k\}
\]
[2512.04271]. This explicit chart-level structure is central to the later computation of invariants.

The same tower perspective underlies the classification of Goursat multi-flags. For \(n=2\), one obtains a tower of fibrations with \(\mathbb P^2\)-fibers, and the problem of classifying Goursat 2-flags up to local equivalence becomes the classification of points in the tower up to symmetry [1107.4145], [1302.5179]. In the spatial case \(n=2\), the first four levels contain \(1\), \(2\), \(7\), and \(34\) orbits, respectively [1302.5179], [1107.4145].

## 3. Codes, singularities, and structural invariants

A major development is the translation between Goursat bundles and singularities of curves on surfaces. Each point of the monster tower may be viewed as a multidirection, and a curve germ on the base surface lifts to a focal curve through the tower. Singular positions relative to divisors at infinity produce discrete symbolic invariants [2512.04271], [2308.09101].

The principal coding device is the RVT code word in the alphabet \(\{R,V,T\}\), recording whether the lifted direction is regular, vertical, or tangential relative to divisors at infinity and their prolongations [2512.04271], [2308.09101]. A parallel “Goursat code word” is defined from the sandwich structure of the derived flag and the Cauchy characteristics [2308.09101]. These code words satisfy an admissibility rule: \(T\) may appear only after \(V\) or \(T\) [2308.09101].

The first structural-invariants paper associates to a point \(p\in S(k)\) several invariants [2308.09101]:

- a Goursat code word or RVT code word \(W\),
- a Puiseux characteristic \(PC(W)=[\lambda_0;\lambda_1,\dots,\lambda_g]\),
- a multiplicity sequence \((m_0,m_1,\dots)\),
- a multiplicity vector \((m_{k-1},m_{k-2},\dots,m_1)\),
- a vertical orders vector \((VO_2,\dots,VO_k)\),
- a restricted Puiseux characteristic.

The Puiseux characteristic is defined exactly as in plane curve singularity theory, after choosing local coordinates \((X,Y)\) adapted to the focal plane and writing \(X=t^n\) with \(n=\lambda_0\), so that \(Y\) is a convergent fractional power series and the essential exponents produce
\[
[\lambda_0;\lambda_1,\dots,\lambda_g]
\]
[2308.09101]. The multiplicity sequence records the orders of the successive lifts of the focal curve [2308.09101].

The vertical orders \(VO_j\) are local intersection multiplicities with the divisors at infinity \(I_j\). They satisfy a difference formula with the multiplicities:
\[
VO_{j+2}=m_j-m_{j+1}
\]
[2308.09101]. This already indicates that the singularity-theoretic invariants are tightly organized by the tower geometry.

The same paper establishes recursive algorithms relating RVT words and Puiseux characteristics [2308.09101]. One central device is the lifted word \(L(W)\), obtained by dropping the first symbol and replacing a leading \(V\), together with any immediately following \(T\)'s, by \(R\)'s [2308.09101]. Front-end and back-end recursions then compute Puiseux data from the code, and conversely reconstruct the code from the Puiseux characteristic [2308.09101]. This makes the structural invariants effectively computable from the combinatorics of the tower.

A common misconception is that the monster-tower code is merely a bookkeeping device for singular directions. The 2023 and 2025 papers show that it determines substantive local invariants, including Puiseux-type data and small-growth data, not just orbit strata [2308.09101], [2512.04271].

## 4. Small growth sequence and nonholonomic invariants

The second paper in the pair turns to invariants coming from the small growth sequence, defined using repeated brackets with the original distribution rather than the full derived bundles. For a rank‑2 Goursat distribution \(D\) with sheaf \(\mathcal D\),
\[
\mathcal D^{1}=\mathcal D,\qquad
\mathcal D^{j}=\mathcal D^{j-1}+[\mathcal D,\mathcal D^{j-1}],\qquad j\ge2
\]
[2512.04271].

At a point \(p\), the ranks
\[
SG_j=\operatorname{rank}(\mathcal D^j)_p
\]
form the small growth vector \(SG(D,p)\) [2512.04271]. For any rank‑2 Goursat distribution,
\[
\mathcal D^1=\mathcal D_1,\qquad \mathcal D^2=\mathcal D_2,\qquad \mathcal D^3=\mathcal D_3,
\]
so the small growth vector always begins
\[
(2,3,4,\dots)
\]
[2512.04271]. For \(j\ge4\), the inclusions \(\mathcal D^j\subseteq \mathcal D_j\) may be strict [2512.04271].

Jean’s \(\beta\)-vector is then defined by
\[
\beta(D,p)=(\beta_2,\beta_3,\dots,\beta_m),\qquad
\beta_i=\min\{j\mid SG_j=i\}
\]
[2512.04271]. Its last entry \(\beta_m\) is the degree of nonholonomy [2512.04271]. From \(\beta\), the paper defines the derived vector and second derived vector:
\[
der_i=\beta_i-\beta_{i-1},\qquad
der^2_i=der_i-der_{i-1}
\]
[2512.04271].

The paper groups together as “small growth invariants” [2512.04271]:

- the small growth vector \(SG(D,p)\),
- Jean’s \(\beta\)-vector,
- the derived vector \(der(D,p)\),
- the second derived vector \(der^2(D,p)\).

These invariants are local invariants of the germ and depend only on the corresponding RVT or Goursat word [2512.04271].

A technically central construction is a table of integers \(e_{h,i}\), determined by the level \(k\), the vertical orders vector \(VO=(VO_2,\dots,VO_k)\), the height \(h\), and the index \(i\), via
\[
e_{hi} =
\begin{cases}
-(h-i) + \displaystyle\sum_{j=k-i+4}^k (i+j-k-3) VO_j & \text{if this quantity is nonnegative},\\[0.5em]
0 & \text{otherwise}.
\end{cases}
\]
The associated \(b\)-vector is
\[
b_i = i + \sum_{j=k-i+4}^k (i+j-k-3) VO_j,\qquad 2\le i\le k+1
\]
[2512.04271].

The structural theorem for the small-growth sheaves states that on a standard chart, every local section of \(\Delta^h\) can be written as
\[
Z = w + \sum_{i=4}^{\min\{h,k+1\}} c_{h,i}\,g_i,
\]
where \(w\) is a section of \(\Delta_3\), and the coefficient \(c_{h,i}\) has focal order at least \(e_{h,i}\) [2512.04271]. The theorem is sharp: explicit sections attain these lower bounds [2512.04271].

From this, the paper obtains
\[
SG_h = 2 + \#\{i\in\{2,\dots,\min\{h,k+1\}\}\mid e_{h,i}=0\}
\]
and
\[
\beta_{i+1}=b_i
\]
[2512.04271]. The most significant comparison results are then:

\[
(b_2,\dots,b_{k+1})=(\beta_3,\dots,\beta_{k+2}),
\]
\[
(m_{k-1},\dots,m_1)=(der_4,\dots,der_{k+2}),
\]
\[
(VO_k,\dots,VO_3)=({der^2}_5,\dots,{der^2}_{k+2})
\]
[2512.04271].

This identifies structural invariants and small-growth invariants as different presentations of the same local data. A plausible implication is that the dichotomy sometimes drawn between “curve-singularity invariants” and “control-theoretic invariants” is too sharp; for Goursat bundles, the 2025 paper shows they are algorithmically equivalent [2512.04271].

## 5. Classification by words and recursive algorithms

The local type of a rank‑2 Goursat germ is encoded by an RVT code word or equivalently a Goursat code word, in the tradition of Montgomery–Zhitomirskii [2512.04271]. The 2025 paper develops two recursive computational frameworks.

The front-end recursion uses the lifted Goursat word \(LG(W)\), obtained by dropping the first symbol and normalizing an initial \(V\) and any following \(T\)'s to \(R\)'s until the next \(R\), \(V\), or the end [2512.04271]. Via proximity diagrams, one computes the multiplicity sequence, then the multiplicity vector, and from the relations above one gets \(\beta\), \(der\), and \(der^2\) [2512.04271].

The back-end recursion extends Jean’s original recursion from the car-with-\(n\)-trailers setting to all Goursat distributions in the smooth, complex, and algebraic settings [2512.04271]. If \(W\) is a Goursat word and \(X\in\{R,V,T\}\), then for the \(\beta\)-vector:

1. For any nonempty word, \(\beta_2(W)=1\) and \(\beta_3(W)=2\).
2. If \(W\mapsto WR\), then
   \[
   \beta_j(WR)=1+\beta_{j-1}(W).
   \]
3. If \(W\mapsto WXV\), then
   \[
   \beta_j(WXV)=\beta_{j-1}(WX)+\beta_{j-2}(W).
   \]
4. If \(W\mapsto WXT\), then
   \[
   \beta_j(WXT)=2\beta_{j-1}(WX)-\beta_{j-2}(W).
   \]

Equivalent recursions are written for \(der\) and \(der^2\) [2512.04271]. The paper shows the front-end and back-end procedures are equivalent [2512.04271].

An explicit example is the Goursat word \(RRVTVV\) in a chart of \(S(6)\), for which the paper computes
\[
(\beta_2,\dots,\beta_8)=(1,2,3,5,8,11,19),
\]
\[
der=(1,1,2,3,3,8),
\]
\[
{der^2}=(0,1,1,0,5),
\]
and the restricted structural invariants
\[
(b_2,\dots,b_7)=(2,3,5,8,11,19),
\]
\[
(m_5,\dots,m_1)=(1,2,3,3,8),
\]
\[
(VO_6,\dots,VO_3)=(1,1,0,5)
\]
[2512.04271].

## 6. Related geometric contexts and broader interpretations

Beyond the core rank‑2 real/smooth theory, Goursat bundles appear in several adjacent domains.

In complex geometry, a bracket-generating family of rational curves is of Goursat type when the associated rank‑2 distribution on the deformation space has growth vector \((2,3,4,\dots,\dim K)\) [2404.05941]. In that setting the normal bundle of a member is
\[
N_{C/X}\cong \mathcal O_{\mathbb P^1}(1)\oplus \mathcal O_{\mathbb P^1}^{\oplus(\dim X-2)}
\]
[2404.05941]. The paper proves that for a family of rational curves of Goursat type, a general member satisfies the formal principle with convergence [2404.05941]. The proof uses natural ODEs of the form
\[
u^{(k+1)} = a_3 (u^{(k)})^3 + a_2 (u^{(k)})^2 + a_1 u^{(k)} + a_0
\]
and canonical Cartan connections due to Doubrov–Komrakov–Morimoto [2404.05941].

A related low-dimensional classification appears in the study of unbendable rational curves. For anti-canonical degree \(3\) and \(p=1\), the associated rank‑2 distribution is either of Goursat type, with growth \((2,3,4,\dots,n)\), or of Cartan type, with growth \((2,3,5)\) in dimension \(5\) [2102.07331]. In dimensions \(\le 4\), any bracket-generating family of such curves is of Goursat type [2102.07331]. Lines on a smooth cubic 4‑fold furnish a concrete example [2102.07331], [2404.05941].

In the multi-flag literature, Goursat \(n\)-flags generalize the rank‑2 case by requiring a rank increase of \(n\) at each derived step [1302.5179], [1107.4145]. The spatial \(n=2\) case is treated via a Semple/Monster tower with \(\mathbb P^2\)-fibers, where orbits of the prolonged diffeomorphism group classify local types [1302.5179], [1107.4145]. This is not the same object as a rank‑2 Goursat bundle, but it is part of the same prolongation-based paradigm.

By contrast, “Goursat category” in category theory refers to a regular category with 3‑permutable internal equivalence relations [1701.07653], [1512.04066], [1909.10211]. Although some of those papers discuss internal groupoids and bundle-like constructions, this is terminologically unrelated to Goursat bundles as rank‑2 distributions. Confusing the two usages is a common error.

Another separate usage is the “Goursat problem” for hyperbolic PDEs, meaning characteristic boundary data prescribed on intersecting null or characteristic hypersurfaces. The signature kernel solves a hyperbolic PDE of Goursat type
\[
\frac{\partial^2 k_{x,y}(s,t)}{\partial s\partial t}
=
\langle \dot x_s,\dot y_t\rangle_V\,k_{x,y}(s,t),
\qquad
k_{x,y}(u,\cdot)=k_{x,y}(\cdot,v)=1
\]
[2006.14794], and the Klein–Gordon equation on De Sitter–Kerr admits a Goursat problem at the horizons [2005.12590]. These are again distinct from Goursat bundles as distributions, though they share the historical name.

## 7. Significance, limits, and current picture

The contemporary picture is that Goursat bundles are among the most rigid nontrivial rank‑2 nonholonomic structures. Their universality through the monster tower reduces local equivalence to the study of canonical distributions \(\Delta(k)\) at points of \(S(k)\) [2512.04271], [2308.09101]. The RVT/Goursat word captures the combinatorics of the germ, while Puiseux characteristics, multiplicity data, vertical orders, and small-growth invariants provide interchangeable numerical realizations of that combinatorics [2308.09101], [2512.04271].

Three features are particularly notable.

First, the theory unifies two traditions. Structural invariants arise from singularity theory of curves on surfaces; small-growth invariants arise from nonholonomic geometry and control theory. The 2025 comparison theorems show that, for Goursat bundles, these are not parallel descriptions but equivalent ones [2512.04271].

Second, the monster tower is not merely a convenient model but a universal one. Rank‑2 Goursat germs, and more generally Goursat germs of arbitrary rank after reduction, are locally equivalent to canonical focal bundles on levels of the tower [2308.09101], [2512.04271].

Third, explicit computation is now algorithmic. Front-end and back-end recursions determine \(\beta\)-vectors, derived vectors, second derived vectors, multiplicity vectors, and vertical orders from the code word, and conversely recover the code from Puiseux data [2308.09101], [2512.04271].

This suggests a mature local classification theory for rank‑2 Goursat bundles. What remains more open, as the broader literature indicates, is the extension of this precision to higher multi-flags, higher levels of the monster tower, and geometric settings where Goursat-type distributions arise as deformation systems of rational curves or as singular configurations in control systems [1302.5179], [1107.4145], [2404.05941], [2102.07331].

Source: https://www.emergentmind.com/topics/goursat-bundles