Discussion Overview
The discussion centers on the action of the special orthogonal group SO(n) on the tangent bundle of oriented Riemannian n-manifolds and oriented vector bundles with Riemannian metrics over smooth manifolds. Participants explore whether such actions can be defined independently of a chosen basis.
Discussion Character
- Technical explanation
- Debate/contested
Main Points Raised
- Some participants assert that there is generally no natural action of SO(n) on the tangent bundle of an oriented Riemannian n-manifold, as it cannot be defined independently of a basis.
- Others note that SO(n) does act on the frame bundle, which can be viewed as a lift of the tangent bundle to a principal bundle.
- It is mentioned that the 2-dimensional case is unique, as the frame bundle of an oriented 2-manifold is a circle, allowing for a fixed angle to determine an orthonormal frame.
- One participant elaborates that if a unit vector is extended to an oriented n-frame, the action of SO(n) on this frame depends on the choice of the orthogonal complement to the vector.
- Another participant agrees, stating that unless the action fixes the vector or the vector itself determines a basis, the specific tangent vector to which the action is applied must be specified.
Areas of Agreement / Disagreement
Participants generally disagree on the existence of a natural action of SO(n) on the tangent bundle, with multiple competing views regarding the conditions under which such actions can be defined.
Contextual Notes
The discussion highlights limitations related to the dependence on basis choices and the specific conditions required for defining actions of SO(n) on tangent bundles.