Talk:Ricci calculus
![]() | This article is rated B-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||||
|
![]() | Daily pageviews of this article
A graph should have been displayed here but graphs are temporarily disabled. Until they are enabled again, visit the interactive graph at pageviews.wmcloud.org |
Proposal?...
[edit]Just a proposal, would it help to add the following table and explanation to Ricci calculus (Raised and lowered indices) to illustrate how sup-/super-scripts and summation fit together in a way that relates "co-/contra-variance" to invariance?
Proposed table/text
| ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
This table summarizes how the manipulation of covariant and contravariant indices fit in with invariance under a passive transformation between bases, with the components of each basis set in terms of the other reflected in the first column. The barred indices refer to the final coordinate system after the transformation.
|
This is far clearer and briefer (to me at least...) than the main article Covariance and contravariance of vectors, and it fits in with the summary style of this article. It’s also another example for the manipulation of indices, including the Kronecker delta.
What do others think? Just a suggestion - the article is excellent and I don't want to touch it! As always I'm not forcing this in - it's for take or leave. Thanks once again to the editors here (although maybe/maybe not F= after all...). Maschen (talk) 16:28, 15 August 2012 (UTC)
- I also find that this gives a very intuitive and direct explanation for someone comfortable with symbolic algebra, and think it would be a sensible addition. I've taken the liberty of making a minor tweak to facilitate easy following (by avoiding the need for renaming dummy indices upon substitution to avoid duplication). I don't think it fits with the section Raised and lowered indices unless this is renamed, and should go in a separate (sub?)section Change of basis. I prefer that the way the passive transformation is introduced is not as a matrix with a non-zero determinant (especially since the a determinant of a matrix and the determinant of the abstract linear transformation it represents are entirely different things and have different values). This objection is superficial and can be ignored for now: a rewording in terms of linear combinations avoiding the terminology of matrices should be straightforward. — Quondum☏ 02:13, 16 August 2012 (UTC)
- That's very reasonable, by all means feel free to make changes.
- About the determinant: I'm sure L could represent a linear transformation which is represented by an invertible matrix, so how could they have a different determinant? Active and passive transformation is a good link to add though.
- About sources: The only source that supports what I'm saying is Maths methods for Physics and Engineering, Riley, Hobson, Bence, 2010 but this seems to be restricted to Cartesian tensors for most of the tensor chapter, no others to hand right now (will look for some soon...).
- On the minus side for a balanced view: there is the concern it makes the article longer for not that much gain (according to the last archive, there were repeated additions and trims to make the article as short as possible with no inessential details, which this proposal may be...). Maschen (talk) 06:14, 16 August 2012 (UTC)
- The expression of a general Lorentz transformation in the notation of this article does not seem excessive to me, but this proposal does unavoidably introduce explicit use of the abstract basis vectors, thus potentially expanding the scope. On this score I'll be interested in input from others.
- On the determinant of an abstract quantity (tensor), being a linear transformation V → V, or a linear transformation V∗ → V∗ (i.e. any type (1,1) tensor), a basis-independent definition of the determinant would be the scalar change in n-volume it introduces, or equivalently the product of its eigenvalues. This cannot be defined for a type (2,0) or type (0,2) tensor (that is, without the use of a metric tensor). When a type (1,1) tensor is expressed in terms of a given basis (and its dual), this corresponds with the determinant of the associated matrix of components, and is a true invariant. A passive transformation, on the other hand, relates to distinct bases, and the matrix determinant is not invariant.
- In this proposal, the concept of determinant is quite unnecessary; non-singularity of the basis-mapping is all that is necessary, and this is guaranteed by the fact that they are both bases. All that is needed is the two bases and their components when expressed in terms of the other basis, and the rest follows. No determinants, no inverses, no non-singularity requirement, and no mention of matrices; only of components. — Quondum☏ 13:20, 16 August 2012 (UTC)
- I made the suggested modifications. Maschen (talk) 13:32, 16 August 2012 (UTC)
- I've tweaked it slightly again. No other comments seem to be forthcoming yet... — Quondum☏ 02:25, 17 August 2012 (UTC)
Added to lead of covariance and contravariance of vectors, see talk. Maschen (talk) 08:06, 3 September 2012 (UTC)
I can understand the removal from covariance and contravariance of vectors; very hasty at the time the image was added... However, it's been 3 months, no objections and one favour. I will take the liberty of adding it as planned long ago, better here than anywhere else (in a slightly extended form)... feel free to revert. Maschen (talk) 10:15, 24 November 2012 (UTC)
- While the proposed table is pretty compact and not controvertial, I'm not too happy with the extended form that has been inserted. I could list a few objections:
- It introduces a pedagogical rather than explanatory perspective, and starts to deviate from the compact style of the article
- It assumes a holonomic basis, which the Ricci calculus does not require
- The term "normal" (orthogonal) has no meaning in the absence of a metric tensor; Ricci calculus does not need one
- The term "inner product" similarly does not apply (it is not the same thing as a contraction, which corresponds to the action of a covector on a vector)
- We have kept the article to scalar components in keeping with the way it is often presented; it's not a great idea to introduce symbols for abstract objects now without explanation (the closest we've come is to use the word "basis").
- Perhaps you'd like to put in the originally proposed table instead; I'd certainly be happy with that. BTW, my courses used capital gamma as standard for the components of a Lorentz transformation. Whatever the dominant convention is, I think we should use. — Quondum 12:23, 24 November 2012 (UTC)
- Ok - I anticipated this would be suggested; the simpler table replaces the extended one. I've always seen L or Λ for the transformation, several books (and in my tensor course) use L, so let’s keep L. Maschen (talk) 13:02, 24 November 2012 (UTC)
Query on revert
[edit]This revert carries an edit summary that could be construed as a personal attack. The reverted edits introduced explicit notation giving the abstract tensors rather than only their components. We have stayed away from the abstract presentation in this article thusfar, but only as a matter of article style. While I do not object to the revert because of this, I do not in any way agree with the edit summary, and in particular with its inference about the editor. — Quondum 10:23, 2 January 2013 (UTC)
- My main objection was that he was confusing contravariant and covariant. See the details of his first edit. JRSpriggs (talk) 10:29, 2 January 2013 (UTC)
- I agree that there was a minor confusion in this respect on the description of the basis and cobasis elements, which would be a reason only to correct it. (However, now that you draw attention to it, the normally confusing terminology as applied to the vectors and tensors rather than to their components is a further good reason to confine this article to components.) With summaries, please take care to stay within WP policy. — Quondum 15:16, 2 January 2013 (UTC)
Another standard notation for the derivatives?
[edit]In the section on differentiation, for the partial derivative should we not have
- ?
My impression is that using the nabla is a preferred by some authors, is intuitive and fits into the notation.
Similarly, for the covariant derivative, seems to be notable. I notice that Penrose (in The Road to Reality) uses the nabla for the covariant derivative. Should we deal with these notations in the article? I have too little experience on what is notable here. — Quondum 12:03, 29 June 2013 (UTC)
- The nabla symbol with index subscripts is definitely used (it certainly was in the bygone 3rd year SR and continuum mechanics courses), although I don't have any books using this convention to hand right now. As for covariant derivatives, Penrose may use it but not sure about this in general. Given more sources we should indicate this in the article. M∧Ŝc2ħεИτlk 12:22, 29 June 2013 (UTC)
- Browsing Google books throws up so many variants of notation in both cases that I am left not knowing what is notable. on a side note, the covariant and related derivatives sit slightly uncomfortably with the notation inasmuch as they use the whole set of components of a tensor, not only the explicit component regarded as a function on the manifold. I'm not sure whether this is worth making mention of. — Quondum 15:51, 29 June 2013 (UTC)
The recently added notation seems to me to be too incomplete to be encyclopaedic. In particular, it omits crucial information from the notation that makes it pretty meaningless without explanatory text defining the family of curves that apply. It strikes me as made-up notation that an author (even MTW) might use by way of explaining something, not a notation that might see any use in other contexts. Does it really belong here? — Quondum 10:49, 10 August 2013 (UTC)
- I also thought it was rather obscure in a way, and included it because it may be used in other GR literature, but let's remove it. M∧Ŝc2ħεИτlk 15:32, 10 August 2013 (UTC)
Sequential Summation?
[edit]The operation referred to here as "sequential summation" doesn't make sense -- at least not as it's currently written.
Please explain how and why it's used, and why it's considered a tensor operation.
198.228.228.176 (talk) 21:37, 6 February 2014 (UTC) Collin237
- I presume its use is restricted to cases when one of the two tensors involved is either symmetric or anti-symmetric. JRSpriggs (talk) 07:10, 7 February 2014 (UTC)
- The section does mention the "either symmetric or antisymmetric" use, though it does not make sense to me in the symmetric case. The exclusion of summed terms is presumably merely a labour-saving contrivance and equivalent to a constant multiplier for the expression. Mentioning this use, the equivalence and an expression giving the constant factor in place of the rather vague "This is useful to prevent over-counting in some summations" would be sensible and would enhance this section's reference value somewhat. Any volunteers from those with access to the reference? —Quondum 17:27, 7 February 2014 (UTC)
- Not sure what is difficult to understand in that section, nevertheless I tried to make it clearer. Yes, it does seem to be restricted to symmetric and antisymmetric tensors. M∧Ŝc2ħεИτlk 17:04, 26 March 2014 (UTC)
- The definition given is clear enough, but AFAICT the restriction should be to only tensors that are fully antisymmetric in each set of indices that are sequentially summed over, otherwise I expect that it will not be Lorenz-invariant. In this context, where we are introducing the notation as a reference, so the restrictions should be given correctly. References that only use it (i.e. they do not bother to define it other than to explain what it means in the particular case) might not provide the correct criteria, because they would have preselected the tensors. Any use that is not inherently restricted to exclusively fully antisymmetric cases (or perhaps a special basis choice?) would surprise me. If I had access to the actual references that this comes from, I could probably figure out what is appropriate, but "sequential summation" on Google books seems to draw a complete blank. In effect, I'm saying that I expect the equation
- to be satisfied for some constant k in all allowable cases. —Quondum 19:39, 27 March 2014 (UTC)
- The definition given is clear enough, but AFAICT the restriction should be to only tensors that are fully antisymmetric in each set of indices that are sequentially summed over, otherwise I expect that it will not be Lorenz-invariant. In this context, where we are introducing the notation as a reference, so the restrictions should be given correctly. References that only use it (i.e. they do not bother to define it other than to explain what it means in the particular case) might not provide the correct criteria, because they would have preselected the tensors. Any use that is not inherently restricted to exclusively fully antisymmetric cases (or perhaps a special basis choice?) would surprise me. If I had access to the actual references that this comes from, I could probably figure out what is appropriate, but "sequential summation" on Google books seems to draw a complete blank. In effect, I'm saying that I expect the equation
- On second thought, I think that Quondum is correct. Symmetric is not good enough because having two indices (of the same kind (contravariant or covariant) in the same tensor) equal cannot be represented in an invariant way. JRSpriggs (talk) 06:24, 28 March 2014 (UTC)
- I don't follow your argument, probably my misunderstanding your choice of words; symmetry in two indices of the same type is an invariant property, and it sounds almost as though you are saying the opposite. My argument runs along the following lines: Consider the product sequential summation of two symmetric order-2 tensors, the metric tensor and its inverse g|αβ|gαβ in say 2 dimensions. This is the componentwise product summed, but only on one side of the diagonal, so with an orthogonal basis, the result is zero. Change to a basis that is not orthogonal, so that the off-diagonal components become nonzero, and the result of the sequential summation would become nonzero, and hence not invariant. If half the sum of the products of the diagonal elements was included, it would have stayed invariant. One can go through all the symmetric/antisymmetric combinations, and only the case where both tensors are antisymmetric seems to remain invariant (it is easy to show that the sequential sum is half the full sum by symmetry and the zero diagonal, and we know that the full sum is invariant). I assume that this generalizes to more indices as a full antisymmetry requirement.
- The question is essentially: does any source use this sequential summation when the indices involved are not fully antisymmetric? I have no way of finding or accessing such sources without links. Without this, I would incline towards simply asserting the full antisymmetric requirement, but really we should prove its correctness. —Quondum 00:40, 29 March 2014 (UTC)
- On second thought, I think that Quondum is correct. Symmetric is not good enough because having two indices (of the same kind (contravariant or covariant) in the same tensor) equal cannot be represented in an invariant way. JRSpriggs (talk) 06:24, 28 March 2014 (UTC)
The earliest I can tell MTW use it is in chapter 4: Electromagnetism and differential forms, box 4.1 (p. 91). It only seems to be used in the context of p-forms (which are ... antisymmetric tensors). The authors only say "the sum is over i1 < i2 < i3 < ... in". So Quondum is correct so far. I don't know any other sources using this notation for this purpose, and it doesn't appear in Schouten's original work either (cited and linked in the article). But this summation seems to appear in a different notation which Quondum quotes above, in another reference by T. Frankel (which I don't have, and haven't seen it at the library).
Clearly, this convention of "sequential summation" exists so we shouldn't really remove it from the article. For now, let's just restrict to antisymmetric tensors. M∧Ŝc2ħεИτlk 08:27, 29 March 2014 (UTC)
- Agreed, we should keep it (with the correct qualifications). But my reasoning says that we should change the wording from "when one of the tensors is antisymmetric" to "when both of the tensors are antisymmetric". —Quondum 16:04, 29 March 2014 (UTC)
- Thanks for your edits. M∧Ŝc2ħεИτlk 08:26, 30 March 2014 (UTC)
Further index notations
[edit]Further notations appear to be introduced in this reference, specifically pp. 30–31. I don't understand German, but it appears to allow nesting of [], () and || on indices. My supposition is that the intention is that each of the inner nested index expressions is excluded from the higher-level symmetrization/antisymmetrization. Since this article covers a subset of exactly this type of notation, and this appears to be explicitly documented in this reference (and such exclusions make perfect sense), could someone with knowledge of German please verify my supposition so that we can include this? —Quondum 17:43, 29 March 2014 (UTC)
- I never noticed that before, if we can find out the meaning it should be in the article. There is an English translation of the book by Schouten and Courant at the library (if I recall correctly), I'll check next time I go. M∧Ŝc2ħεИτlk 08:26, 30 March 2014 (UTC)
- It looks fascinating. It appears to be a detailed explanation. My interpretation of nesting is evidently incorrect. The various types of brackets evidently overlap rather than nest. The explanation seems to be saying that the indices are allocated to each (anti)symmetrization in turn, skipping anything between bars ||. Thus if Aαβγδεζη = Bαγζεβδη, then A[α(βγδ|ε|ζ]η) = B[αγζ]ε(βδη). Rather convoluted. This appears to give a simple notation for the Kulkarni–Nomizu product, for example. The English version would be helpful. —Quondum 17:54, 30 March 2014 (UTC)
Braiding on an expression
[edit]Does anyone know of conventions on the braiding of the free indices an expression in Ricci calculus? If so, this would be a useful addition to the article. The most obvious convention that might apply would lexicographic ordering be as in Abstract index notation#Braiding, but I do not know whether this extends to this context. —Quondum 00:09, 31 March 2014 (UTC)
"in the denominator"
[edit]This edit (with edit note I am referring to an expression where the x^{\mu} is in the denominator or x_{\mu} is in the denominator. I tried to clarify however I'm not the best at explaining. But I do think it is important enough to have.) appears to refer to a partial derivative. This is not a fraction, and has no numerator or denominator. In general the statement is also false, as the partial derivative only transforms covariantly (contravariantly) when the expression being differentiated is a scalar. This is handled under Ricci calculus#Differentiation, where I've added a mention of this special case. —Quondum 06:20, 26 August 2014 (UTC)
- What about in the covariant derivative? Take the covariant derivative of a (1,0) tensor as an example.
- The in is treated as a lower index, but in the fraction it 'appears' as a upper index.
- That is what I mean. — Preceding unsigned comment added by Theoretical wormhole (talk • contribs) 2014-08-26T16:13:30
- The covariant derivative is a bit more complicated to describe properly due to the extra term; it is probably best to let readers simply understand the behaviour from the expression, which is already there.
- We could draw more attention to the apparent moving of the variance of the index in a partial derivative, but keep in mind that this is of a mnemonic nature. You probably would not have noticed this "variance switch" if it were not for the suggestive nature of the partial derivative used. Perhaps we could add to the section on the partial derivative the following:
- Coordinates are typically denoted by xμ, but do not in general form the components of a vector. In flat spacetime and linear coordinatization, differences in coordinates, Δxμ, can be treated as a contravariant vector. With the same constraints on the space and on the choice of coordinate system, the partial derivatives with respect to the coordinates yield a result that is effectively covariant. This is reflected by the lower index in the left of the notational equivalence
- Would this do what you want? —Quondum 17:04, 26 August 2014 (UTC)
Yea that sounds good to me. Would you like to add it in or should I? Theoretical wormhole (talk) 21:21, 26 August 2014 (UTC)
Connect with vector algebra concepts
[edit]The present (early 2019) state of this article does very little to go beyond the subject as "a bunch of rules for operating on arrays of scalars". I think it would be useful to also provide connections with concepts from elementary linear algebra where convenient. For example (material from subsection "Upper and lower indices"):
An upper index (superscript) indicates contravariance of the components with respect to that index:
A vector corresponds to a tensor with one upper index . The counterpart of a tensor with two upper indices (a bivector) is less commonly seen in elementary linear algebra because it gets notationally cumbersome; many authors prefer to switch to tensor index notation when they need such objects.
A lower index (subscript) indicates covariance of the components with respect to that index:
A tensor with lower indices may correspond to a map that takes vectors as arguments. For example, the metric tensor corresponds to the dot product of vectors.
A tensor may have both upper and lower indices:
A matrix is usually a tensor with one upper and one lower index — this makes matrix–vector multiplication correspond to applying a linear transformation to the vector, and makes matrix multiplication correspond to a contraction of tensor indices — but there are matrices which rather have two indices of the same variance: the matrix of a bilinear form naturally has two lower indices, and the R-matrix of a quasitriangular Hopf algebra naturally has two upper indices.
Ordering of indices is significant, even when of differing variance. However, when it is understood that no indices will be raised or lowered while retaining the base symbol, covariant indices are sometimes placed below contravariant indices for notational convenience (e.g. on the generalized Kronecker delta).
By contracting an index with a non-singular metric tensor, the type of a tensor can be changed, converting a lower index to an upper index or vice versa:
The base symbol in many cases is retained (e.g. using A where B appears here), and when there is no ambiguity, repositioning an index may be taken to imply this operation.
Repositioning an index often corresponds to taking a transpose (or similar, such as a conjugate transpose) in matrix formalism. For example, that the dot-product may also be written corresponds to the fact that the two tensor expressions and are the same. A difference is that the transpose repositions all indices of a tensor, whereas raising or lowering acts on individual indices.
130.243.68.240 (talk) 14:26, 30 April 2019 (UTC)
- More connection with meaning and other formalisms (as you do here) would be helpful, though I would be inclined to limit translation or comparison to vector calculus or matrices and focus on the concepts of vectors and multilinear algebra. You have a few minor technical errors (e.g. a tensor of degree 2 must be antisymmetric to correspond to a bivector), but this can be fixed. Do you want to try your hand at this? I might review and tinker. —Quondum 18:03, 7 May 2019 (UTC)
Coordinate basis
[edit]This article applies with the more general tetrad formalism, aside from Ricci calculus § Differentiation, which assumes a coordinate basis. We should be clear about the applicability, and it would be nice to make even the differentiation section general, though a suitable source would be needed. —Quondum 18:09, 7 May 2019 (UTC)
Role of connection and metric tensor
[edit]The article does not make clear that the Christoffel symbols are only defined in the context of a connection nor that multiple metrics may induce the same connection. I'm not sure whether that belongs in the lead, but it should be somewhere prior to reference to the Christoffel sysmbols and metrics.Shmuel (Seymour J.) Metz Username:Chatul (talk) 20:19, 25 October 2020 (UTC)
- @Quondum: User:Quondum made a change with a description
even restriction to a pseudo-Riemannian manifold is unduly restrictive: Ricci calculus does not require a metric tensor; it merely accommodates it.
and in another change removed the footnoteWhile the raising and lowering of indices is dependent on the metric tensor, the covariant derivative is only dependent on the affine connection derived from it.
from the lede. If the article is to be more general then there should be discussion of the facts that
- Raising and lowering of an index depends on the choice of metric tensor.
- The covariant derivative depends on the choice of connection, which need not be the Affine connection of a metric tensor
- The exterior derivative and Lie Derivative depend on neither a connection nor a metric tensor
- This affect the lede, #Raising and lowering indices and #Differentiation. Shmuel (Seymour J.) Metz Username:Chatul (talk) 13:08, 9 April 2021 (UTC)
- The points you list are valid. I do not think that properties and interdependencies of operations that can be expressed in Ricci calculus need to be detailed in the lead, however. For example, your second and third points belong in sections describing these operations, but I do not see them as belonging in the lead, not even in a footnote. The lead should be easily readable without distraction by someone who has been introduced by the topic, and subtleties should be omitted there. —Quondum 16:17, 9 April 2021 (UTC)
- In my last edit, I added some text to #Differentiation, but did not rewrite the reference to Christoffel symbols to apply to an arbitrary connection. I'm having trouble coming up with an accurate, clear and concise replacement. Shmuel (Seymour J.) Metz Username:Chatul (talk) 20:31, 9 April 2021 (UTC)
- According to Covariant derivative, the covariant derivative is dependent on an arbitrary (Koszul) connection, but not on a metric tensor (unless it does so through the connection). This would suggest that any reference to the metric should simply be removed (aside from alerting the reader that this is more general than the Levi-Civita connection) from the first part of §Covariant_derivative until the metric dependence and tortionless of the Levi-Civita connection is mentioned near the bottom of the section as a special case. —Quondum 00:17, 10 April 2021 (UTC)
- Your recent edits look good. There is still text that assumes a metric tensor:
where Γαβγ is a Christoffel symbol of the second kind.
This derivative is characterized by the product rule and applied to the metric tensor gμν it gives zero:
- the first implicitly via the Christoffel symbols and the second explicitly.
- Your recent edits look good. There is still text that assumes a metric tensor:
- According to Covariant derivative, the covariant derivative is dependent on an arbitrary (Koszul) connection, but not on a metric tensor (unless it does so through the connection). This would suggest that any reference to the metric should simply be removed (aside from alerting the reader that this is more general than the Levi-Civita connection) from the first part of §Covariant_derivative until the metric dependence and tortionless of the Levi-Civita connection is mentioned near the bottom of the section as a special case. —Quondum 00:17, 10 April 2021 (UTC)
- In my last edit, I added some text to #Differentiation, but did not rewrite the reference to Christoffel symbols to apply to an arbitrary connection. I'm having trouble coming up with an accurate, clear and concise replacement. Shmuel (Seymour J.) Metz Username:Chatul (talk) 20:31, 9 April 2021 (UTC)
- The points you list are valid. I do not think that properties and interdependencies of operations that can be expressed in Ricci calculus need to be detailed in the lead, however. For example, your second and third points belong in sections describing these operations, but I do not see them as belonging in the lead, not even in a footnote. The lead should be easily readable without distraction by someone who has been introduced by the topic, and subtleties should be omitted there. —Quondum 16:17, 9 April 2021 (UTC)
- Maybe
where are the components of the connection. When are the components of the metric connection of a metric tensor then is a Christoffel symbol of the second kind.
This derivative is characterized by the product rule. When are the components of the metric connection of a metric tensor then the covariant derivative of that metric tensor is zero:
- Is that wording good enough, or does it still need tweaking? Shmuel (Seymour J.) Metz Username:Chatul (talk) 13:11, 10 April 2021 (UTC)
- I think it makes sense to first make statements that apply to a general connection without introducing any specialization to use a metric tensor or a Levi-Civita connection. I have separated it out in this way, trying to incorporate what you gave above. The product rule of the covariant derivative should still probably be made explicit for the general case. The specialization (which I put under the subheading "Metric connection") is still very sketchy. For example, it does not mention a Levi-Civita connection, which is the dominantly used connection, which is itself a specialization of a metric connection. You might want to modify that. —Quondum 01:44, 11 April 2021 (UTC)
- Looks good. There are a few stylistic concerns
- It's convention to use consecutive Greek or Roman letters, thus or , not
- I find it easier to edit with the names of the Greek letters, since the letters aren't on most keyboards.
- In large articles, should terms be linked at the first occurrence in each section, or only at the first occurance in the article?
- In the subsection Metric connection, the reference to Christoffel symbols should be for Levi-Civita connections, i.e., metric connections with no torsion.
- I've been using
<math>...</math>
rather than {{math}} because I find LaTeX easier to read and edit than HTML+wikitext; the article appears to use both. Is there a preferred style? Shmuel (Seymour J.) Metz Username:Chatul (talk) 08:19, 11 April 2021 (UTC)
- Looks good. There are a few stylistic concerns
- I think it makes sense to first make statements that apply to a general connection without introducing any specialization to use a metric tensor or a Levi-Civita connection. I have separated it out in this way, trying to incorporate what you gave above. The product rule of the covariant derivative should still probably be made explicit for the general case. The specialization (which I put under the subheading "Metric connection") is still very sketchy. For example, it does not mention a Levi-Civita connection, which is the dominantly used connection, which is itself a specialization of a metric connection. You might want to modify that. —Quondum 01:44, 11 April 2021 (UTC)
- Maybe
You're welcome to make changes directly – discussion can follow if need be; this is often more efficient than proposing them first unless you still need to make up your mind. Style choice is always tricky.
I tend to think that finding a link should be where a reader can easily refer back to it, rather than having to do a text search, so I incline to linking a term more than once in a large article, so once per piece (e.g. section) that might be referenced. However, this is one of those style things that preferences vary on, and I have no strong feelings on this.
Using <math>...</math>
versus {{math}} is all over the place on WP, and is complicated by different browsers and skins rendering things differently. I tend to try to keep the style in an article consistent, and if a style is established, to leave it as is. Inline <math>...</math>
has some issues of alignment, size and wrapping that can be problematic, and {{math}} is not as neat standalone, nor is it as flexible. The style at the moment is {{math}} when inline, and {{tag|math} on standalone lines. I would get a broader consensus from several editors before change this.
My knowledge of connections is primarily from WP. Now that I have separated the general connection from any more specific choice of connection, the latter should be edited freely. I inferred from Christoffel symbols that these apply to any metric connection and that a Levi-Civita connection is the special case defined as torsion-free (but I guess some people might reserve the term Christoffel symbols for a Levi-Civita connection); here we are using the same gamma symbols for the general connection. I would make it clear that there are distinct constraints: what constraint defines a metric connection, what constraint defines torsion-free, and that both constraints uniquely produce a Levi-Civita connection. Go ahead and edit this according to your understanding; I have a significant chance of unwittingly introducing some terminological or even a mathematical error. —Quondum 14:16, 11 April 2021 (UTC)
- Sorry, I hadn't noticed that the occurrences of
<math>...</math>
and {{math}} were om different contexts. Does<math>...</math>
support the LaTeX environments[a] for equations? - I discussed proposed changes here to avoid having them reverted.
- The Wolfram[b] web site confirms what it says in Christoffel symbols, which is that they are coefficients of the unique symmetrical (torsion free) metric connection for the metric tensor, defined in terms of partial derivatives of the metric, not coefficients of an arbitrary metric connection. I.e, the Christoffel symbols are the coefficients of the Levi-Civita connection. Do you have a source for a different definition? Shmuel (Seymour J.) Metz Username:Chatul (talk) 18:03, 11 April 2021 (UTC)
- I have not used the LaTeX equation features, but I remember seeing these being used in WP, so I would hazard a "yes" to your question.
- My reading of the Christoffel symbols article and the Wolfram web page is different: that they both say that there are two different definitions of the Christoffel symbols; one is as a metric connection and the other is as a Levi-Civita connection. My suggestion would be to phrase everything in terms of metric and torsion-free connections, and to downplay the mention of Christoffel symbols to a mere mention at the end of the section, e.g. "Γαβγ are called the Christoffel symbols if the connection is a metric connection, or more specifically a Levi-Civita connection, depending on the author." This way, the evident variation in the definition does not introduce confusion. As I say, I am simply giving my interpretation of these sources; in addition, neither of these is really to be trusted. —Quondum 19:17, 11 April 2021 (UTC)
- Actually, Christoffel symbols gives several equivalent definitions for Christoffel symbols of the first kind and a definition of Christoffel symbols of the second kind (symmetric definition) as the coefficients of the Levi-Civita connection. It also states that the Christffel symbols of the first and second kind can be derived from each other by index raising and lowering.
- Thequestioon is what alternative definitions the literature gives for Christoffel symbols, Levi-Civita connection, metric connection and Riemannian connection. Shmuel (Seymour J.) Metz Username:Chatul (talk) 03:09, 12 April 2021 (UTC)
One reference, MTW, is not entirely helpful here. To quote (Gravitation: 208–209 ):
To quantify the contributions from ∇eβ and ∇ωα, i.e., to quantify the twisting, turning, expansion, and contraction of the basis vectors and 1-forms, one defines "connection coefficients":
- Γαβγ ≡ ⟨ωα, ∇γeβ⟩
and one proves that
⟨∇γωα, eβ⟩ = −Γαβγ.
This seems like a general definition that is metric- and torsion-independent (especially with "twisting, turning"). They then go on to present, without derivation or further constraints, a formula for Γαβγ that is dependent on the metric and is symmetric in β and γ, so they must have introduced the metric and tortionlessness assumptions into their derivation without mentioning it, even though the basis may be anholonomic. Very disappointing in their lack of rigour (introducing the restriction to the Levi-Civita connection without even mentioning the restriction).
Interestingly, they also say (Gravitation: 210 ): In the holonomic case, the connection coefficients are sometimes called the Christoffel symbols.
This evidently adds a restriction to when the term applies. We would have to find a reference that explicitly gives formulae for the connection coefficients with torsion to get a better sense, but (because the statement is straight after the formula for the Levi-Civita connection coefficients) I assume that MTW use the term specifically to mean all of: metric, torsion-free, holonomic. —Quondum 13:15, 12 April 2021 (UTC)
- MTW is a pretty big book, and it has both a coordinate-based presentation and a frame-based presentation. What page are you quoting?
- The Levi-Civita connection is torsion free.
- We probably need a statement that the nomenclature in the literature is not always consistent, depending on what we can find in WP:RSs. Shmuel (Seymour J.) Metz Username:Chatul (talk) 20:14, 12 April 2021 (UTC)
- I have added references (page numbers) in parentheses to my post above. —Quondum 20:50, 12 April 2021 (UTC)
- I agree that the text on pp. 208-210 of MTW lacks rigor. That is common in texts, even iconic texts, in Physics. I suspect that, e.g., The Large Scale Structure of Space-Time, will be better. Shmuel (Seymour J.) Metz Username:Chatul (talk) 12:33, 14 April 2021 (UTC)
- In The Large Scale Structure of Space–Time, I notice only one mention of "the Christoffel relations" (p. 40) referring to the expressions for the torsion-free metric connection components in a coordinate basis (Christoffel symbols of the first kind). This does not definitively define the Christoffel symbols, but it is consistent with the most restrictive interpretation; I suggest that we follow suit (i.e., refer only to the restricted case when this name is used but without defining the term). They do mention that they are dealing with an affine connection throughout, so now I'm wondering whether there is difference between an affine connection and a more general connection; this might mean that we should restrict mention to an affine connection. —Quondum 23:14, 14 April 2021 (UTC)
- I have several sources, e.g., https://encyclopediaofmath.org/wiki/Affine_connection, that give an affine connection as a connection in a tangent bundle and mention torsion free affine connection as a special case. I propose that we have a section labelled Nomenclature, mention that the literature does not have consistent nomenclature, and briefly list the conventions used in the article, with links to definitions as appropriate.
- The general usage of connection that I am familiar with applies even to fiber bundles that are not vector bundles. Shmuel (Seymour J.) Metz Username:Chatul (talk) 14:20, 15 April 2021 (UTC)
- Okay, that answers my question: an affine connection is more specialized than a general connection. I do not seen the inconsistency that you refer to (aside from vagueness about the Christoffel symbols). We just need to revise our use of "connection" to "affine connection" in this article. I do not see the need for a nomenclature section at this stage; we should also avoid expanding this article too much (it is more a summary of the notation than an exposition of the topic). We have (as far as I can figure it) the following inclusions:
- connection ⊃ affine connection ⊃ tortion-free affine connection
- connection ⊃ metric connection
- affine connection ∩ metric connection = Riemannian connection
- Riemannian connection ∩ tortion-free affine connection = Levi-Civita connection
- Does this fit your understanding? —Quondum 17:01, 15 April 2021 (UTC)
- Okay, that answers my question: an affine connection is more specialized than a general connection. I do not seen the inconsistency that you refer to (aside from vagueness about the Christoffel symbols). We just need to revise our use of "connection" to "affine connection" in this article. I do not see the need for a nomenclature section at this stage; we should also avoid expanding this article too much (it is more a summary of the notation than an exposition of the topic). We have (as far as I can figure it) the following inclusions:
An example of where nomenclature varies is the term metric tensor; in some sources it implies torsion free, in others it doesn't.
As used in the article,
- Levi-Civita Connection ⇔ Riemannian connection ⇒ metric connection ⇒ affine connection ⇒ connection.
- metric connection does not imply torsion free.
- coordinate basis ⇔ holonomic basis
- Connection coefficients are written with Γ rather than brackets or braces.
Shmuel (Seymour J.) Metz Username:Chatul (talk) 02:28, 16 April 2021 (UTC)
- You have me a little confused:
- I see see nothing in the article that implies Levi-Civita Connection ⇔ Riemannian connection (equivalence) or metric connection ⇒ affine connection (that a metric connection is a specialization of an affine connection). These two relationships do not hold in general, as far as I can tell.
- "... the term metric tensor; in some sources it implies torsion free, in others it doesn't": This makes no sense. Torsion is not a property of a metric tensor but of an affine connection. Since an affine connection and a metric tensor are unrelated (you can have either without the other), the torsion property cannot even be associated with the metric tensor indirectly.
- In any event, what is in sources is what is relevant: only between sources is where a conflict of terminology is of interest. If we do not find conflicts between sources, we cannot claim that there is in the article. —Quondum 02:55, 16 April 2021 (UTC)
- I had a typo; "the term metric tensor" should have been "the term metric connection". Also, I missed the part where "metric connection" is defined over an arbitrary vector bundle with metric, rather than just the tangent bundle.
- A source for Levi-Civita Connection ⇔ Riemannian connection is http://staff.ustc.edu.cn/~wangzuoq/Courses/16S-RiemGeom/Notes/Lec05.pdf
- Metric connection#Riemannian connection is confusing because
is equivalent to
, i.e., vanishing torsion. Shmuel (Seymour J.) Metz Username:Chatul (talk) 13:49, 16 April 2021 (UTC)
- Okay, so it seems we don't have a different understanding. On your last point, I think it is evident that you have found an error in Metric connection#Riemannian connection. The equation that amounts to a constraint to being torsion-free must be removed. [edit: But I must still look at the source you mentioned.] —Quondum 14:18, 16 April 2021 (UTC)
- Looking at that source, I think that we will need to write it off as erroneous. It tries to be rigorous, but evidently gets some things confused. For example, Theorem 1.1 generates a conclusion from what we know as insufficient premises (all of which seem to be perfectly reasonable naturalness premises). In particular, the five premises contain nothing about a metric tensor, which we would expect to be needed in determining a unique connection. In fact, they seem to make a leap from the expression for the covariant derivative to "In particular, this shows the uniqueness [of the connection]." Which is nonsense. (It is also not a reliable source.) —Quondum 15:02, 16 April 2021 (UTC)
- Okay, so it seems we don't have a different understanding. On your last point, I think it is evident that you have found an error in Metric connection#Riemannian connection. The equation that amounts to a constraint to being torsion-free must be removed. [edit: But I must still look at the source you mentioned.] —Quondum 14:18, 16 April 2021 (UTC)
Should the article show the more general formula for vanishing torsion in a nonholonomic basis, i.e., with a Lie bracket?
- Yes, but see below. —Quondum 03:13, 19 April 2021 (UTC)
Notes
Exterior derivative still to be added?
[edit]The exterior derivative is a notable operator expressible in Ricci calculus, so it seems appropriate to include it. It might not be defined by this name in most texts, since pretty much every derivative can be constructed from a covariant derivative. However, derivatives that are independent of the connection should be shown independently, for example, the Lie derivative (already present). Though I have not seen this defined in a text, I expect the exterior derivative of any totally antisymmetric covariant tensor with components Xα...γ to be X[α...γ,δ] in any coordinate basis. Expressions like this occur (e.g. in Maxwell's equations), but the name "exterior derivative" is not often used. —Quondum 16:42, 9 April 2021 (UTC)
- Yes, and I have seen Physics books giving Maxwell's equations as and , where Shmuel (Seymour J.) Metz Username:Chatul (talk) 20:25, 9 April 2021 (UTC)
- Yes, even our article gives this. I've added a section since I found a source; however, I suspect that the sign is wrong when the tensor field being differentiated has odd degree: the source puts the index of differentiation at the start of the antisymmetrization. —Quondum 23:29, 9 April 2021 (UTC)
- Adjusted now. —Quondum 23:53, 9 April 2021 (UTC)
- Yes, even our article gives this. I've added a section since I found a source; however, I suspect that the sign is wrong when the tensor field being differentiated has odd degree: the source puts the index of differentiation at the start of the antisymmetrization. —Quondum 23:29, 9 April 2021 (UTC)
Torsion
[edit]To the question "Should the more general formula with Lie brackets be shown here?", yes, this should be more general, and I support this. Phrasing things only in terms of special cases (e.g. a coordinate basis) ends up with people not being aware of the more general treatment (e.g. that anholonomic bases exist). I would tend to add the expression for the torsion tensor (possibly under Ricci calculus § Notable tensors) and reference that categorizing connections. My original inclusion of the simpler expression for a holonomic basis was just a quick fix. —Quondum 02:26, 19 April 2021 (UTC)
- My inclination in the context would be to give the torsion in a general basis, i.e. with a possibly nonzero Lie bracket of basis vector fields. However, I would prefer that in this context we stick to coordinate expressions to define as much as possible, which means using the expression XγYα,γ − Xα,γYγ rather than [X, Y]. —Quondum 03:13, 19 April 2021 (UTC)
- This is trickier than I thought ... since the expressions in terms of the partial derivatives are presumably only valid in a coordinate basis, the Lie bracket vanishes. So though there is a general expression for the torsion tensor components at Torsion tensor § Components of the torsion tensor, it is more difficult to define the . —Quondum 15:59, 21 April 2021 (UTC)
- There is no physical evidence that torsion exists or that there is any kind of connection other than the metric-derived connection. So why do you-all go on and on about this fringe stuff? JRSpriggs (talk) 19:12, 21 April 2021 (UTC)
- It is not fringe; it is basics: the mathematics of more general connections are solid and well-known, and are discussed/defined in pretty much all mainstream sources. One needs to define the torsion to set it as being zero to define the Levi-Civita connection. Also, this article is not about physics, it is about a piece of mathematical machinery/representation used by physicists. This machinery is more general/flexible than the normally assumed restrictions in general relativity. Of course, one may want to limit the amount of information because we consider it not to be sufficiently useful, but that is a different issue. —Quondum 20:53, 21 April 2021 (UTC)
- Torsion is rather long in the tooth; the concept is a century old and it appears regularly in the literature; it even appears in papers on Physics. There is just no way to justify calling it fringe. Shmuel (Seymour J.) Metz Username:Chatul (talk) 21:35, 21 April 2021 (UTC)
- There is no physical evidence that torsion exists or that there is any kind of connection other than the metric-derived connection. So why do you-all go on and on about this fringe stuff? JRSpriggs (talk) 19:12, 21 April 2021 (UTC)
- Torsion is central to Einstein-Cartan theory. 67.198.37.16 (talk) 02:29, 12 June 2023 (UTC)