Generalised Second Fundamental Form

• Generalised Second Fundamental Form is an extension of the classical extrinsic curvature that measures second-order failure of tangentiality via alternative projections.
• It analyzes various settings by comparing intrinsic and ambient connections, incorporating effects of torsion, lack of symmetry, and non-integrability.
• Applications span Hodge theory, Courant algebroid geometry, Lorentzian frameworks, and nonholonomic mechanics to capture subtle extrinsic geometric data.

Generalised second fundamental form denotes a family of extensions of the classical extrinsic tensor $\mathrm{II}(X,Y)=(\nabla_XY)^\perp$. In the cited literature, the extension is achieved in several mathematically distinct ways: by replacing an embedded submanifold with an integrable or non-integrable distribution, by passing from Riemannian geometry to exact Courant algebroids, by interpreting second-order variation in Hodge-theoretic period maps, or by recasting the second fundamental form as a quadratic map in Lorentzian signature (Prince, 2015, Muñoz-Lecanda, 2018, Cortés et al., 16 Jul 2025, Allaud, 2020). Across these settings, the common role is to measure second-order failure of tangentiality or first-order stability, but symmetry, codomain, and even the meaning of “normal direction” depend on the ambient formalism.

1. Classical prototype and the scope of generalisation

The classical model remains the reference point. For an embedded submanifold $S\subset (M,g)$ with Levi-Civita connection $\nabla$ and orthogonal splitting $T_xM=T_xS\oplus N_x$, the second fundamental form is

$\mathrm{II}(X,Y):=(\nabla_XY)^\perp.$

In the Riemannian case it is symmetric, and the Gauss formula reads

$\nabla_XY=\nabla^S_XY+\mathrm{II}(X,Y).$

This model is explicitly taken as the starting point for extensions to distributions with torsion and to non-integrable distributions (Prince, 2015, Muñoz-Lecanda, 2018).

What changes in the generalised setting is the mechanism that replaces orthogonal normal projection. For integrable distributions one fixes a complementary distribution and projects transversely; for non-integrable distributions one compares the ambient Levi-Civita connection with the intrinsic projected connection; for exact Courant algebroids one replaces the tangent bundle by the pullback Courant algebroid and projects onto a generalised normal line; for period maps one interprets the second fundamental form as the quadratic part of the variation, taking values in a quotient of the ambient classifying-space tangent bundle (Cortés et al., 16 Jul 2025, Allaud, 2020).

A persistent misconception is that a generalised second fundamental form should remain symmetric. The literature shows otherwise. In the presence of torsion, the skew part is exactly the transverse torsion; for non-integrable distributions, the skew part measures failure of involutivity; and in Lorentzian signature degeneracies introduce additional invariants beyond the usual quartet $|H|^2$, $K$, $K_N$, and $A$ (Prince, 2015, Muñoz-Lecanda, 2018, Bayard et al., 2015).

2. Integrable distributions with linear connection and torsion

A direct extension of the classical submanifold tensor is developed for a smooth manifold $S\subset (M,g)$0 with a linear connection $S\subset (M,g)$1, not necessarily torsion-free, together with an integrable distribution $S\subset (M,g)$2 of constant dimension $S\subset (M,g)$3 and a fixed complementary distribution $S\subset (M,g)$4 such that $S\subset (M,g)$5 (Prince, 2015). If $S\subset (M,g)$6 denotes projection to $S\subset (M,g)$7, the generalised second fundamental form is defined by

$S\subset (M,g)$8

This form is genuinely bilinear on $S\subset (M,g)$9. Its central structural identity is

$\nabla$0

where

$\nabla$1

is the torsion tensor. The antisymmetric part is therefore not an error term but the transverse torsion itself. When the connection is torsion-free, $\nabla$2 becomes symmetric, recovering the classical behavior.

The same framework is related to the shape map of the connection. If $\nabla$3 is defined by

$\nabla$4

then

$\nabla$5

and for the distribution one has

$\nabla$6

Thus the generalised second fundamental form is the transverse part of the shape map applied to tangent vectors. In codimension one, with $\nabla$7 determined by an integrable $\nabla$8-form $\nabla$9 satisfying $T_xM=T_xS\oplus N_x$0 and $T_xM=T_xS\oplus N_x$1, the form becomes scalar-valued: $T_xM=T_xS\oplus N_x$2 Its skew part is

$T_xM=T_xS\oplus N_x$3

The codimension-one theory therefore generalises the ordinary shape-operator formalism while making explicit that torsion obstructs the self-adjoint diagonalisation familiar from hypersurface theory.

The significance of this formulation is conceptual as much as technical. It isolates precisely which part of the classical theory depends on metric orthogonality and which part depends only on a splitting and a connection. The result is a bilinear extrinsic tensor for foliated geometry that survives beyond the Levi-Civita setting.

3. Non-integrable distributions, curvature comparison, and constrained dynamics

For a regular distribution $T_xM=T_xS\oplus N_x$4 on a Riemannian manifold $T_xM=T_xS\oplus N_x$5, a different extension treats $T_xM=T_xS\oplus N_x$6 itself as the analogue of a submanifold without assuming involutivity (Muñoz-Lecanda, 2018). Let $T_xM=T_xS\oplus N_x$7 be the orthogonal projection associated to $T_xM=T_xS\oplus N_x$8. The intrinsic connection on $T_xM=T_xS\oplus N_x$9 is

$\mathrm{II}(X,Y):=(\nabla_XY)^\perp.$0

and the second fundamental form of the distribution is

$\mathrm{II}(X,Y):=(\nabla_XY)^\perp.$1

Equivalently,

$\mathrm{II}(X,Y):=(\nabla_XY)^\perp.$2

In this setting, the symmetric and antisymmetric parts of $\mathrm{II}(X,Y):=(\nabla_XY)^\perp.$3 encode different geometric defects. The paper proves

$\mathrm{II}(X,Y):=(\nabla_XY)^\perp.$4

and

$\mathrm{II}(X,Y):=(\nabla_XY)^\perp.$5

Thus $\mathrm{II}(X,Y):=(\nabla_XY)^\perp.$6 measures non-integrability, while $\mathrm{II}(X,Y):=(\nabla_XY)^\perp.$7 measures failure of total geodesy. For a curve $\mathrm{II}(X,Y):=(\nabla_XY)^\perp.$8 tangent to $\mathrm{II}(X,Y):=(\nabla_XY)^\perp.$9,

$\nabla_XY=\nabla^S_XY+\mathrm{II}(X,Y).$0

so the normal curvature is $\nabla_XY=\nabla^S_XY+\mathrm{II}(X,Y).$1, depending only on the symmetric part.

The same formalism yields curvature comparison. The curvature of $\nabla_XY=\nabla^S_XY+\mathrm{II}(X,Y).$2 differs from the projected ambient curvature by terms involving $\nabla_XY=\nabla^S_XY+\mathrm{II}(X,Y).$3 and by an additional contribution from non-involutivity. In the involutive case the extra bracket term disappears and one recovers the standard Gauss equation for a foliation leaf. In the genuinely non-holonomic case, the “Gauss formula” for sectional curvature acquires new terms that record the failure of Frobenius integrability.

This extension also has a mechanical interpretation. For constrained dynamics with $\nabla_XY=\nabla^S_XY+\mathrm{II}(X,Y).$4 and force field $\nabla_XY=\nabla^S_XY+\mathrm{II}(X,Y).$5,

$\nabla_XY=\nabla^S_XY+\mathrm{II}(X,Y).$6

and projection gives

$\nabla_XY=\nabla^S_XY+\mathrm{II}(X,Y).$7

Here the generalised second fundamental form furnishes the normal acceleration generated by the constraint, so it functions as the extrinsic curvature term in nonholonomic mechanics.

4. Exact Courant algebroids and exterior generalised geometry

In exterior generalised geometry, the classical hypersurface package is transferred to an exact Courant algebroid $\nabla_XY=\nabla^S_XY+\mathrm{II}(X,Y).$8 equipped with its pairing, Courant bracket, and anchor $\nabla_XY=\nabla^S_XY+\mathrm{II}(X,Y).$9 (Cortés et al., 16 Jul 2025). For an immersion $|H|^2$0, the relevant pulled-back object is not the naive vector bundle pullback but the pullback Courant algebroid $|H|^2$1. Generalised metrics and divergence operators are pulled back to $|H|^2$2, and in the hypersurface case one obtains a canonical generalised normal line.

If $|H|^2$3 is a hypersurface and $|H|^2$4 is a chosen generalised unit normal, then

$|H|^2$5

With $|H|^2$6 and $|H|^2$7 the tangential and normal projections and $|H|^2$8 the generalised metric connection, the generalised second fundamental form is defined for $|H|^2$9 by

$K$0

or equivalently

$K$1

This is formally identical to the classical formula, but the arguments are sections of the pullback Courant algebroid rather than vector fields, so tangent and cotangent data enter simultaneously.

The associated generalised mean curvature is the trace

$K$2

for a local generalised orthonormal frame $K$3. The paper then proves generalised Gauß and Codazzi equations. Schematically,

$K$4

and

$K$5

These are the generalised analogues of the classical structure equations.

The split case makes the relationship to ordinary geometry explicit. When $K$6 and the generalised metric comes from an ordinary metric $K$7 together with a $K$8-field, the generalised second fundamental form reduces to the usual one after untwisting by the $K$9-field. The theory therefore extends, rather than replaces, semi-Riemannian hypersurface geometry. Its stated applications include the constraint equations for the initial value formulation of the generalised Einstein equations, a generalised geometry version of the fundamental theorem for hypersurfaces, and restriction results for generalised Kähler and hyper-Kähler structures.

5. Hodge-theoretic and algebraic-geometric avatars

In Hodge theory, the second fundamental form is the quadratic part of a period map rather than a normal projection of $K_N$0. For the primitive cohomology of a smooth projective hypersurface $K_N$1, tangent vectors to the universal hypersurface family are identified with degree-$K_N$2 elements of the Jacobian ring $K_N$3, and the infinitesimal variation of Hodge structure acts by multiplication in $K_N$4 (Allaud, 2020). In this description, the second fundamental form

$K_N$5

is given by

$K_N$6

with $K_N$7 the ordinary composition of linear maps. Equivalently, it is determined by the product $K_N$8 in the Jacobian ring. The paper further states that this implies the image lands in $K_N$9, so the variation of Hodge structure satisfies new second-order partial differential equations beyond Griffiths transversality.

For the Torelli map $A$0, the dual second fundamental form

$A$1

admits a geometric realisation on $A$2. The paper introduces an intrinsic section

$A$3

and proves that $A$4 is the restriction of multiplication by $A$5, namely

$A$6

For rank $A$7 quadrics in $A$8, this description gives lower bounds on $A$9 and leads to improved upper bounds on the dimensions of totally geodesic subvarieties of $S\subset (M,g)$00 generically contained in the Torelli locus (Frediani et al., 2019).

The Torelli second fundamental form also encodes the hierarchy of higher even Gaussian maps. Using higher Schiffer variations $S\subset (M,g)$01, the paper proves that if $S\subset (M,g)$02, then $S\subset (M,g)$03 vanishes on $S\subset (M,g)$04, while for $S\subset (M,g)$05,

$S\subset (M,g)$06

for an explicit nonzero constant $S\subset (M,g)$07. As consequences, $S\subset (M,g)$08 is injective for every non-hyperelliptic curve, all even Gaussian maps $S\subset (M,g)$09 vanish identically for $S\subset (M,g)$10, and rank estimates are obtained in the intermediate range (Frediani, 2022).

An analogous lifting phenomenon occurs for Prym maps. In the unramified case, the second fundamental form of the Prym map lifts the second Gaussian map $S\subset (M,g)$11 of the Prym-canonical line bundle: $S\subset (M,g)$12 and for a Schiffer variation $S\subset (M,g)$13,

$S\subset (M,g)$14

Degeneration to Prym-canonical binary curves is then used to prove surjectivity of $S\subset (M,g)$15 for a general Prym curve of genus $S\subset (M,g)$16 (Colombo et al., 2011). In the ramified case, the dual Prym second fundamental form $S\subset (M,g)$17 is expressed through the Torelli second fundamental form $S\subset (M,g)$18 of the covering curve: $S\subset (M,g)$19 and pointwise

$S\subset (M,g)$20

The same paper proves that $S\subset (M,g)$21 lifts the second Gaussian map in the sense that

$S\subset (M,g)$22

and uses rank estimates for $S\subset (M,g)$23 to bound the dimensions of totally geodesic submanifolds and Shimura subvarieties in the Prym locus (Colombo et al., 2018).

A related projective-geometric development studies the projective second fundamental form $S\subset (M,g)$24 of a codimension-two submanifold $S\subset (M,g)$25, where $S\subset (M,g)$26 is a pencil of quadrics on $S\subset (M,g)$27. For nonsingular intersections of two quadrics, the moduli map

$S\subset (M,g)$28

is dominant, giving a negative answer to the Griffiths–Harris question in that setting, while the refined map

$S\subset (M,g)$29

does determine $S\subset (M,g)$30 up to projective automorphism when $S\subset (M,g)$31 (Jeong, 2017). Here the second fundamental form is not merely a pointwise tensor; it is organised into moduli and infinitesimal-moduli data.

6. Lorentzian, relativistic, and asymptotic extensions

For Lorentzian surfaces in $S\subset (M,g)$32, the second fundamental form is studied as a quadratic map

$S\subset (M,g)$33

equivalently as a quadratic map $S\subset (M,g)$34 up to the left and right action of $S\subset (M,g)$35 (Bayard et al., 2015). The four classical invariants are the mean curvature vector $S\subset (M,g)$36, Gauss curvature $S\subset (M,g)$37, normal curvature $S\subset (M,g)$38, and the fourth invariant

$S\subset (M,g)$39

The associated curvature hyperbola is

$S\subset (M,g)$40

with center $S\subset (M,g)$41. In degenerate cases additional invariants $S\subset (M,g)$42 are required. The paper proves, in particular, that a point is quasi-umbilic if and only if there is a double lightlike asymptotic direction. This Lorentzian formulation shows that once the tangent and normal bundles both have signature $S\subset (M,g)$43, the correct generalised object is a quadratic map together with its orbit data, not merely a symmetric bilinear tensor.

In general relativity, the second fundamental form $S\subset (M,g)$44 of a closed spacelike hypersurface is decomposed $S\subset (M,g)$45-orthogonally into gauge and transverse-traceless parts. Writing

$S\subset (M,g)$46

the paper proves

$S\subset (M,g)$47

where $S\subset (M,g)$48, $S\subset (M,g)$49 is transverse-traceless, and the two terms are $S\subset (M,g)$50-orthogonal. Applying $S\subset (M,g)$51 yields

$S\subset (M,g)$52

In the vacuum constraint equations, if $S\subset (M,g)$53 is constant, then $S\subset (M,g)$54, so $S\subset (M,g)$55 is conformal Killing and

$S\subset (M,g)$56

The paper explicitly interprets this as a refined splitting of the “generalized second fundamental form” into a pure gauge part and a transverse-traceless part (Stepanov et al., 2024).

A different extension concerns asymptotic control rather than a new tensorial codomain. For a complete immersed manifold $S\subset (M,g)$57 in an ambient space with a pole, the immersion has tamed second fundamental form if

$S\subset (M,g)$58

and strongly tamed second fundamental form if, for some $S\subset (M,g)$59,

$S\subset (M,g)$60

In this regime, the cited paper derives properness, finite topology, absence of critical points of the extrinsic distance outside a compact set, equivalence between linear extrinsic perimeter growth and quadratic extrinsic area growth for surfaces in $S\subset (M,g)$61, a generalized Chern–Osserman inequality, rigidity for nonnegative curvature surfaces, and vanishing fundamental tone under radial curvature decay assumptions (Brandao et al., 2014).

Weak compactness theory delineates the boundary of the terminology. One paper on immersions with bounded second fundamental form states explicitly that it does not define a varifold-style generalized second fundamental form itself; instead it develops compactness for $S\subset (M,g)$62-immersions with $S\subset (M,g)$63 under $S\subset (M,g)$64-bounds on $S\subset (M,g)$65, local graph representations, and lower semicontinuity of $S\subset (M,g)$66 (Breuning, 2012). This suggests an important distinction: some literatures generalise the object, while others keep the classical second fundamental form and generalise only the regularity or compactness framework in which it is controlled.

Taken together, these developments show that “generalised second fundamental form” is best understood as a structural principle rather than a single formula. The principle is the extraction of second-order extrinsic data after replacing the classical tangent-normal decomposition by whatever notion of tangential versus transverse direction the ambient category provides—complementary distributions, projected intrinsic connections, Courant algebroid splittings, Hodge bundles inside classifying spaces, Lorentzian quadratic-map orbits, or gauge/TT decompositions of spacelike extrinsic curvature.