Talk:Classification of electromagnetic fields

Simple language

This article could use some kind of introduction that at least explains the basics to a lay person who is trying to understand if there are different types of electromagnetic fields, and if so, how they differ, and what the practical categories "look like". This article only seems to discuss the maths of it, and leaves me with a lot of questions: Are there static and dynamic electronamagnetic fields? How does the wavelength of the proton relate to the intensity of the field relate to the number of photons? Real world examples? 83.47.201.5 (talk) 04:57, 30 March 2020 (UTC)

Classification problem

Introduced the classification problem. Now for the juicy stuff ... --Mpatel 09:29, 27 July 2005 (UTC)

Hi, MP, did you ever come back to write the "juicy stuff" for this article? I'm guessing you didn't, since the promised connection between the classification of bivectors and the classification of EM fields has not been established, and the physical meaning of electrostatic, magnetostatic has not been discussed (see Landau and Lifshitz).

I think the first half of this article should be split off to form part of an article on bivectors (if there already is one, it must need a lot of work if it doesn't already discuss the classification!), which should be in suitable math categories and should link to relevant articles in algebraic geometry (e.g. Grassmannians use bivectors and even p-vectors) as well as to an article on EM fields. Maybe the material on the EM field in this article should also be moved, to form part of an article on "Relativistic formalisms for electromagnetism"? Someone we need to make it easy for students to effortlessly learn all the most useful stuff. For example, isotropy groups of null versus non-null are not even mentioned in this article! But it is essential to understand why null EM fields have one more symmetry!

After fixing up all these problems, in the next round, more can be done, once we have good articles on tangent spaces and so forth. At present, the stuff about thinking about Minkowski space as a Lorentzian manifold versus thinking about it as real inner product space will be very confusing to students, but they need to understand this in order to understand how the equivalence principle is elegantly incorporated into the geometric formalism simply by assuming that spacetime is a Lorentzian manifold, so that its tangent spaces are all isomorphic to E^1,3.

I tried to improve the article, but got tired before I really finished, so I think this still needs substantial work in terms of improved exposition, giving more information in less space, etc. Hope this is helpful; I might sound a bit cranky since things seem to be going so slowly---CH (talk) 06:24, 18 August 2005 (UTC)

P.S. I didn't finish my thought: I am trying to suggest that this material should be ported/developed into more detailed discussion in two different articles:

1. bivectors, discussing material hinted at here, including
   • classification, with examples of null, non-null
   • differential forms and bivectors
   • special caes of "simple" p-vectors in Grassmannians
2. Relativistic formalisms for electromagnetism, including how Hodge dual, bivectors, Mawell equations, etc., are treated using
   • vector calculus on euclidean space
   • index gymnastics on Minkowski space (with generalization to any Lorenztian manifold)
   • differential forms

Hope this gives the idea---CH (talk) 06:37, 18 August 2005 (UTC)

P.P.S. I guess I still didn't finish my thought: a general strategy which possibly should be implemented consistently is to carefully separate all the algebraic stuff holding in tangent spaces (which often has beautiful connections with algebraic geometry, stuff which increasingly physicists need to know) from stuff which follows easily via general category theory abstract nonsense from "bundling" vector spaces into tangent bundle, jet spaces, tensor bundles, whatever. In other words, rigorously split discussion of vectors, linear operators, multilinear operators (tensors), frames, etc., from smooth sections of the corresponding bundles, which are vector fields, tensor fields, frame fields, etc. Note that "frames" are simply the Lorentzian inner product take on the euclidean frames used to form Stiefel manifolds in mathematics, etc. Hope this makes sense---CH (talk) 06:46, 18 August 2005 (UTC)

P.P.P.S. Hope these postscripts will come to an end soon, gosh. I signed you and EMS up for WikiProject GR; I am still drafting the manifesto (I will have to revisit all these talk pages and try to organize all the suggestions I have made into coherent themes, which will be time consuming). Anyway, one key point to be made in the manifesto is that all serious Wikipedia articles should include at least one really appropriate citation to a good textbook, and perhaps more. I stress that I don't envision turning every Wiki article into a review article. Rather, good Wiki articles should guide curious readers to such reviews (or to textbooks), and should help him to understand what he reads and to tie it all together.---CH (talk) 06:50, 18 August 2005 (UTC)

Hi CH. It seems like I never did get back to writing the 'juicy stuff' - I remember you mentioned some references, but I don't have them and couldn't get a hold of them. I also got distracted by other articles. I would need a bit of time to check out some of the details of your superior plans for this article. It seems as though your plans for this article are far more ambitious than mine. You can go ahead and improve this article in any way you see fit. ---Mpatel (talk) 15:53, August 18, 2005 (UTC)

Students beware

I had been monitoring this article, but I am leaving the WP and am now abandoning it to its fate.

Just wanted to provide notice that I am only responsible (in part) for the last version I edited; see User:Hillman/Archive. I emphatically do not vouch for anything you might see in more recent versions.

Good luck in your seach for information, regardless!---CH 23:03, 30 June 2006 (UTC)

Non-zero value for Q = E · B

The article says that when Q is non-zero, E and B will be "proportional" in some inertial frame. Does that mean that they will be aligned (i.e., parallel or anti-parallel) in that frame, but not necessarily of the same magnitude? Thanks—Quantling (talk) 01:10, 11 September 2010 (UTC)

Rewrite of section on "classification theorem"

I rewrote this section to be fuller and more logically complete. But still is not satisfying, to me. The basic problem I have with it is that I cannot see the theorem, yet.

(1) First, it would be nice to know the rank in all cases, including the case of a null bivector. Is the case labelled "non-simple" exactly the case where F is non-simple? Then this should be stated explicitly.

(2) Second, it would be a lot easier to understand if canonical forms (or canonical examples) were given, and the theorem said (or were applied so as to say) that every bivector can be brought into one of these forms. The current version is about 70% of the way there, but it doesn't actually tell you what the bivectors look like. To get there, you have to think it out in your head. Which is to be avoided!

(3) It would be a good idea simply to prove the theorem.

(4) Naturally, it would be nice to amplify the following section (with the E's and B's) so that it connects more strongly with the "classification theorem". The section introduces the invariants |E|^2 - |B|^2 and E⋅B but only fleetingly relates them to the principal null directions -- still without actually giving a concrete form.

Don't |E|^2 - |B|^2 and E⋅B come from a canonical complex structure on the bivectors (given by the Hodge star operator) as the real and imaginary parts of an invariant, complex-valued quadratic form equivalent to z₁² z₂² z₃²? Or not? It would be nice if this were stated somewhere. Perhaps in the article in bivectors, and referred to in this article.

(5) A final point -- the direction of my changes has actually exacerbated a problem the article already had, namely a long discursive chatty setup of the math before the theorem is stated. There is something to be said for a crisp presentation of a theorem, followed by the extended explanation.

178.39.190.161 (talk) 13:22, 1 June 2015 (UTC)