Pseudo-Riemannian tensor and Morse index

  • Context: Graduate 
  • Thread starter Thread starter Jimmy Snyder
  • Start date Start date
  • Tags Tags
    Index Tensor
Click For Summary

Discussion Overview

The discussion revolves around the classification of tensors based on their eigenvalues, specifically focusing on the Morse index and its relation to Riemannian and pseudo-Riemannian manifolds. Participants explore the definitions and implications of these concepts within the context of differential geometry and mathematical physics.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Conceptual clarification

Main Points Raised

  • Some participants assert that a tensor is Riemannian if the Morse index \mu = 0 and pseudo-Riemannian if 0 < \mu < n, questioning the nature of the tensor when \mu = n.
  • Others clarify that a Riemannian manifold requires the metric tensor to be positive-definite, implying that if any eigenvalue is negative, the tensor is indefinite and can still be used for a pseudo-Riemannian manifold.
  • One participant suggests that if all eigenvalues are negative, one could take the negative of the metric to obtain a Riemannian manifold, raising questions about the physical implications of such a transformation.
  • A later reply challenges the terminology used, stating that what is referred to as the Morse index is typically known as the signature of the tensor, which is a distinct concept related to symmetric bilinear forms.
  • There is a suggestion that the term "Morse index" may not be appropriate in this context, as it is usually associated with critical points of Morse functions rather than the classification of bilinear forms.

Areas of Agreement / Disagreement

Participants express differing views on the definitions and implications of the Morse index and signature, with no consensus reached on the terminology or the classification of tensors when \mu = n.

Contextual Notes

The discussion highlights potential confusion between the concepts of Morse index and signature, with participants noting that the definitions may depend on specific contexts within differential geometry.

Jimmy Snyder
Messages
1,137
Reaction score
21
Let g_{ij} be a tensor, where 0 \leq i,j \leq n. The Morse index \mu is the number of negative eigenvalues of g. On page 469 of Eberhard Zeidler's QFT III: Gauge Theory, it says that g is Riemannian if \mu = 0 and pseudo-Riemannian if 0 &lt; \mu &lt; n. Is this correct? If so, what kind of tensor is it when \mu = n?
 
Physics news on Phys.org
A Riemannian manifold requires the metric tensor to be positive-definite.
Positive-definite is equivalent to all eigenvalues being positive.
If one or more is negative, the tensor is indefinite.
It can still be used for a pseudo-Riemannian manifold.

The reason I can think of for a distinction for \mu = n, is that the tensor is negative-definite.
 
I'd imagine that if you had all negative eigenvalues, you could always just pick the negative of the metric and you'd have a Riemannian manifold again. I'm not sure such a sign would be physical from a practical point of view.

From a mathematical point of view, I'm not sure what it would mean.
 
Jimmy Snyder said:
Let g_{ij} be a tensor, where 0 \leq i,j \leq n. The Morse index \mu is the number of negative eigenvalues of g. On page 469 of Eberhard Zeidler's QFT III: Gauge Theory, it says that g is Riemannian if \mu = 0 and pseudo-Riemannian if 0 &lt; \mu &lt; n. Is this correct? If so, what kind of tensor is it when \mu = n?

Are you certain you have this straight? What you call the Morse index is usually just called the signature of g. The signature is a well-defined concept for any symmetric bilinear form on a vector space. The Morse index on the other hand, is a number associated with a critical point p of a Morse function f on a manifold M. It is defined as the signature of the Hessian of f at p. The Hessian of f at p is the bilinear form whose matrix wrt some coordinate chart is the matrix of second partial derivatives. It is a symmetric bilinear form obviously so we may speak of its signature. (check) The Morse condition on f just means that this bilinear form is nondegenerate so it can have any signature btw 0 and n.

It just seems very strange to me why anyone would call the signature of a bilinear form the Morse index as there is nothing at all "Morsy" about it afaik.
 

Similar threads

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