Is Mean Curvature Invariant Under Coordinate Changes?

Click For Summary
SUMMARY

The discussion centers on the mean curvature's invariance under coordinate changes, specifically questioning how the trace of the second fundamental form II(a,b) remains invariant. The second fundamental form is identified as a quadratic/bilinear form, and the conversation suggests that the resolution lies in multilinear algebra, particularly the relationship between Hom(W,W) and W⊗W*. The participant proposes exploring the derivation of the linear map L from the quadratic form to analyze the trace's independence from local coordinate choices.

PREREQUISITES
  • Understanding of mean curvature and its mathematical definition.
  • Familiarity with the second fundamental form II(a,b) in differential geometry.
  • Knowledge of multilinear algebra concepts, particularly bilinear forms.
  • Basic grasp of inner product spaces and their properties.
NEXT STEPS
  • Research the properties of the second fundamental form in differential geometry.
  • Study the relationship between bilinear forms and linear maps in multilinear algebra.
  • Learn about the invariance of traces in linear algebra, particularly under coordinate transformations.
  • Explore advanced topics in differential geometry related to curvature and coordinate systems.
USEFUL FOR

Mathematicians, physicists, and students of differential geometry who are interested in the properties of curvature and the implications of coordinate transformations on geometric forms.

WWGD
Science Advisor
Homework Helper
Messages
7,795
Reaction score
13,095
Hi All:
I am curious about the definition of mean curvature and its apparent lack of invariance under changes of coordinates: AFAIK, mean curvature is defined as the trace of the second fundamental form II(a,b). II(a,b) is a quadratic/bilinear form, and I do not see how its trace is invariant under (local, i.e., chartwise ) change of coordinate. I assume the solution to this (apparent) problem has to see with some result in multilinear algebra; specifically with the result that ## Hom(W,W) ≈ W\otimes W^* ## , using the fact that every map ## L: W \rightarrow W## gives rise to a bilinear form ( assuming the presence of an inner-product ). Maybe we can go in the opposite direction and get the map L from the quadratic ( second fundamental) form and then compute its trace? Even if this is possible, can we guarantee that the trace of this map is independent of the (local/coordinate-wise) choice of coordinates?

P.S: Is there a way within the settings/menu of saving the work while posting? I just wasted around 20 minutes posting only to be told that I had to log in again to be able to post. I hit the back button in my computer, but all my work had been erased.
 
Last edited:

Similar threads

  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 12 ·
Replies
12
Views
5K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K