nLab orthogonal structure



Differential geometry

synthetic differential geometry


from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry



smooth space


The magic algebraic facts




infinitesimal cohesion

tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }


Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)



The idea of an orthogonal structure is a generalisation to arbitrary vector bundles of the distinguishing ingredient of a Riemannian manifold: the Riemannian metric. In short, an orthogonal structure on a vector bundle is a smooth choice of inner product on the fibres.

In finite dimensions, that is pretty much all that can be said about the basic definition. For infinite dimensional manifolds, however, there is considerably more to be said because the linear notion of an inner product is much, much richer.


Although the definition makes sense in the topological category, we shall confine ourselves to the smooth category for the time being.


Let π:EM\pi \colon E \to M be a smooth vector bundle over a smooth manifold. An orthogonal structure on EE is a smooth choice of inner product on EE. That is to say, an orthogonal structure gg on EE is a section of E *E *E^* \otimes E^* which restricts to an inner product on each fibre.

As for Riemannian metrics, a standard partition of unity argument yields the following existence result.


Let π:EM\pi \colon E \to M be a smooth vector bundle with finite dimensional fibres which admits a trivialisation over a numerable cover. Then EE admits an orthogonal structure.

Moreover, in finite dimensions all orthogonal structures are equivalent in that there is a bundle isomorphism between any two.


Reduction of structure Groups

In finite dimensions

In finite dimensions, to put an orthogonal structure on a vector bundle is to give a reduction of its structure group from the general linear group to the corresponding orthogonal subgroup along the defining inclusion O(n)GL(n)O(n) \hookrightarrow GL(n). Such a reduction is also known as a choice of vielbein.

Thus the existence in general is equivalent to the fact that the inclusions O(n)GL(n)O(n) \to GL(n) and U(n)GL(n)U(n) \to GL(n) are homotopy equivalences, as for the inclusion of any maximal compact subgroup. A similar statement can be made about the fact that any two orthogonal structures are equivalent.

In infinite Dimensions

The situation in infinite dimensions is more complicated due to the fact that there are more situations to consider. In finite dimensions, any two orthogonal structures are equivalent, which stems from the fact that any two inner products define equivalent norms in finite dimensions. In infinite dimensions, it is no longer true even that all locally convex topological vector spaces admit inner products, and when one does then it is highly unlikely that it will admit only one (up to equivalence).

What gives Riemannian geometry much of its power is the induced isomorphism between the tangent and cotangent bundles. Thus a natural first question to ask of an orthogonal structure in infinite dimensions is whether or not this is still true.

Question: Does the orthogonal structure induce an isomorphism EE *E \cong E^*?

Yes: It is strong.

No: It is weak.

The condition that an orthogonal structure be strong is very restrictive. The bundle must be modelled on Hilbert spaces (with the correct topology) and the inner product must be the right choice. Many orthogonal structures that occur “in the wild” do not fit those two conditions and are thus relegated to the “weak” bin. However, all is not lost and it is still possible to work with such orthogonal structures. Although a weak orthogonal structure means that the bundle is not modelled on Hilbert spaces, it does mean that there are Hilbert spaces nearby and it is possible to further refine the notion of a “weak orthogonal structure” by asking how “nice” are those associated Hilbert spaces.

The idea is quite simple. To put an orthogonal structure on a vector space, say VV, is to give an injection VHV \to H in to some Hilbert space. We can assume that VV has dense image, but this is not strictly necessary. Thus an inner product is a diagram:

ι:VH \iota \colon V \to H

and the classification of weak orthogonal structures is essentially a study of how well that diagram extends over the base space.


Last revised on July 22, 2017 at 14:03:22. See the history of this page for a list of all contributions to it.