The exterior derivitive 'd'

[mathwonk]

i was also puzzled by books descriptions, so i came up with the one above on my own while teaching it. of course it pulls back via parametrization to the one in the book, but it gives more intuitive insight.

and perhaps in practice when one pulls it back via a local parematrization to an integral over a rectangle in R^2, I guess fubini's theorem reduces it to a pair of one variable integrals, which i suppose theoretically one can do by antidifferentiation.in real life i have never had to actually do a concrete integral by poarametrization. i am usually concerned with integrals of complex analytic 1 forms (hence closed and locally exact) over paths on a riemann surface, and one uses positivity properties to prove things about the matrix of integrals, such as riemann bilinear relations, that has positive definite imaginary part, ...tyhe inetersting thing is the interplay between the complex cohomology and the homology group of closed paths.

you might possibly like my book chapter on jacobian varieties and theta geometry (not so easy to find), or maybe my notes on riemann roch theorem on my webpage. the proof there uses one forms and their integrals in an intrinsic way.

 

[mathwonk]

i was also puzzled by books descriptions, so i came up with the one above on my own while teaching it. of course it pulls back via parametrization to the one in the book, but it gives more intuitive insight.

and perhaps in practice when one pulls it back via a local parematrization to an integral over a rectangle in R^2, I guess fubini's theorem reduces it to a pair of one variable integrals, which i suppose theoretically one can do by antidifferentiation.


in real life i have never had to actually do a concrete integral by poarametrization. i am usually concerned with integrals of complex analytic 1 forms (hence closed and locally exact) over paths on a riemann surface, and one uses positivity properties to prove things about the matrix of integrals, such as riemann bilinear relations, that has positive definite imaginary part, ...


the inetersting thing is the interplay between the complex cohomology and the homology group of closed paths.

you might possibly like my book chapter on jacobian varieties and theta geometry (not so easy to find), or maybe my notes on riemann roch theorem on my webpage. the proof there uses one forms and their integrals in an intrinsic way.

 

[mathwonk]

actually my book chapter is easier to finsd than to afford:

Lectures on Riemann Surfaces (ISBN: 9971509024)
Cornalba, M.; Gomez-Mont, X.; and Verjovsky, A. Bookseller: Booksarebeautiful
(Beaumont, TX, U.S.A.) Price: US$ 174.00
[Convert Currency] Shipping within U.S.A.:
US$ 3.50
[Rates & Speeds] Add Book to Shopping Basket

Book Description: World Scientific Publishing Company, Singapore, 1989. Hardback. Book Condition: Very Good. [ octavo - roughly 9"x6" ]. 704 pp. Proceedings of the College on Riemann Surfaces - Internationsl Centre for Theoretical Physics, Trieste, Italy 9 Nov-18 Dec 1987. Binding Tight. Text Clean. Each Section Contains Bibliographic References. Formerly Part of a Government Research Collection. Mild Ex-Library. Bookseller Inventory # 107482

maybe ill see if i have the right to post it on my own webpage.

 

[mathwonk]

those were lectures to algebraic geometry grad students and physicists by the way, given at the International Center for Theoretical Physics in Trieste.

 

[Doodle Bob]

come on guys. everyone has known the meaning of these objects for years, decades, centuries.

on functions d is the "gradient" or direction of greatest increase...

I'm confused by this statement. d of a function f is not necessarily the direction of greatest increase: rather df is the 1-form that takes a vector X (viewing it as a direction on the manifold) and returns the directional derivative of f in the direction of X, i.e. df(X)=Xf.

As for the direction of greatest increase, wouldn't it necessarily be a direction X_0 such that df(X_0) is greater than or equal to df(X) for all X in the tangent space at that point subject to some restriction like |X|=1?

Actually, though, the concept of the covariant derivative of an n-form is technically only as old as the concept of an n-form, which is itself only about a century and a quarter old. It certainly is a nice abstraction of several advanced calculus ideas, though, which are themselves several centuries old.

 

[nrqed]

I'm confused by this statement. d of a function f is not necessarily the direction of greatest increase: rather df is the 1-form that takes a vector X (viewing it as a direction on the manifold) and returns the directional derivative of f in the direction of X, i.e. df(X)=Xf.

As for the direction of greatest increase, wouldn't it necessarily be a direction X_0 such that df(X_0) is greater than or equal to df(X) for all X in the tangent space at that point?

Actually, though, the concept of the covariant derivative of an n-form is technically only as old as the concept of an n-form, which is itself only about a century and a quarter old. It certainly is a nice abstraction of several advanced calculus ideas, though, which are themselves several centuries old.

I *think* that Mathwonk (and some books) is implicitly identifying df (with component $\partial_i f$ ) to the gradient vector (with components $g^{j,i} \partial_i f$). Which is why some books call "df" the "gradient". I have to say that this has confused greatly me for quite a while.

 

[Doodle Bob]

I *think* that Mathwonk (and some books) is implicitly identifying df (with component $\partial_i f$ ) to the gradient vector (with components $g^{j,i} \partial_i f$). Which is why some books call "df" the "gradient". I have to say that this has confused greatly me for quite a while.

It would still be incorrect then. df should be a 1-form, i.e. it eats a vector and gives back a scalar. Please keep in mind that I am thoroughly a Riemannian geometer so when I see "vector" I think a linear combination of $\{{\partial \over \partial x_i}: i=1,...,n \}$.

Ah, but I see what MW is getting at: switch each ${\partial \over \partial x_i}$ to $dx_i$ and we do get df:

$df=\Sigma_{i=1}^n {\partial f\over \partial x_i}dx_i$

 

[Doodle Bob]

One aspect of much of this theory that makes it difficult is that there really are things that are near impossible to visualize. Much of differential form theory is meant to generalize various aspects of 3-dimensional analytical geometry, such as grad, div, and all that.

But you can't see a 1-form. You can imagine consequences of one, though. A 1-form, for example, will have a large kernel (zero set). So, a global 1-form on a manifold is equivalent (up to scalar constant) to a subbundle of codimension 0 or 1 of the tangent bundle at each point. If you're studying a 3-dimensional manifold, this means that each point of the manifold there are at least 2 directions towards which the 1-form is zero (3 if the 1-form is identically zero at that point).

I am having a similar problem with my students right now, who are all middle school teachers. I am teaching them isometries of the plane, and they are uncomfortable with treating the transformations as objects in their own right, since you can't really draw a transformation like you can draw a line or a point. You can only draw the consequence of a transformation and imagine the rest.

 

[nrqed]

It would still be incorrect then. df should be a 1-form, i.e. it eats a vector and gives back a scalar. Please keep in mind that I am thoroughly a Riemannian geometer so when I see "vector" I think a linear combination of $\{{\partial \over \partial x_i}: i=1,...,n \}$.

Ah, but I see what MW is getting at: switch each ${\partial \over \partial x_i}$ to $dx_i$ and we do get df:

$df=\Sigma_{i=1}^n {\partial f\over \partial x_i}dx_i$

Well, that's what I meant by saying that the *components* were the expressions I gave. What I meant is that df is $(\partial_i f) dx^i$ and that the gradient is $g^{ij} (\partial_i f) \partial_j$.

 

[mathwonk]

in a situation where a metric < , > has been given, dfp(v) =
<gradfp, v>.IN THIS SITUATION, i.e. in all of riemannian geometry, every one form arises as dotting with the vectors of some unique taNGENT VECTOR FIELD, SO THERE IS no great difference. (drat this keyboard).

of course when i choose to differ with someone else, i pick on every technical detail in their sentences.

but i do not think there is a significant difference between calculus of n forms and calculus of 1,2,3, forms.
when i am arguing my controversial positions i choose to give myself great latitude.

 

[mathwonk]

and i can see one forms, there's one right there: df.

 

[ObsessiveMathsFreak]

What about two forms in four dimensions?

$$d\mathbf{F} = 0$$

Good luck visualising that! :E

 

[mathwonk]

whats the big deal? My thesis was on the structure of a mapping from the 15 dimensional moduli space R6 of genus 6 curves with double cover, to the 15 dimensional moduli space A5 of principally polarized abelian varieties of dimension 5.

I focused especially on the normal structure in A5 of the 12 dimensional locus J5 of jacobians of genus 5 curves, and the normal strucxture in R6 of the fibers of the map.

to understand such a 5 dimensional jacobian, i.e. one "point" of J5, one analyzes the singular curve of its 4 dimensional theta divisor.

I admit it seemed hopeless when I staretd but after a while yopu get better at visualizing things.

the main methods are called
"section and projection", byt the great italians. i.e. slicing your high dimensional object into lower dimensional slices, and projecting it down onto a smaller space.

 

[mathwonk]

haven't you ever tried to picture a 4 dimensional sphere? with time as a coordinate? i.e. as a dot expanding into a bubble that keeps growing and then begins shrinking again until it becoes a dot and vanishes again?

i use this all the time in my elementary elctures.

just remind people that it is not at all hard to escape from the classroom without injury or opening a door, just by going back in time until before the building was built, and stepping out side the walls, then coming back to the present.

you might be surprized what you can visualize after a little effort. infinite dimensional space gives me a little more trouble.

 

[mathwonk]

in 4 space just pretend a pair of rectangles is "disjoint", i.e. like the ones spanned by e1,e2 and e3,e4.take a 4 diml rectangular parallelepiped and look at one vertex. then take the 4 faces at that vertex in pairs. those 6 pairs span your vector space of 2 chains. a typical 2 form assigns an arbitrary number to each of those pairs.

or homogenize your spaces, i.e. consider instead of euclidean 4 space, the projective 3 space consisting of all lines through the origin of euclidean 4 space. then a 2 plane spanned by two lines through the origin of 4 space becoems a "line" in projective space spanned by two "points", each represented by a line, in projective 3 space.

thus the vector space of all linear combinations of 2 planes through the origin of euclidean 4 space projectivizes to become the projective space P^5, and in it there is a hypersurface representing all lines in projective 3 space.

A 4 dimesional 2 form, becomes a one form on this space of 2 cycles, via this "grassmannian embedding". so by viewing the 2 cycles as points of 6 dimensional space, 4 dimensional 2 forms become (6 dimensional) one forms?

how do you like them apples?

 

[mathwonk]

another way to look at 2 forms, or ay other forms, is as subdeterminants, or volumes of projections.

picture a 2 diml rectangle sitting in 4 space, and project it onto each of the 6 pairs of coordinate planes, ans take the area of the 6 projected recrtangles. that gives you the vaklues of the 6 basic 2 forms dxdy, dxdz, dxdw, dydz, dydw, dzdw. on that rectangle. an arbitrary 2 form is a linear combination of those basic ones.

put another way, a rectrangle in 4 space is a pair of 4 dimly vectors, or a 4 by 2 matrix of numbers. then taking the determinants of all 6 2 by 2 subdeterminants is anoither way to view the areas of those 6 projections.

indeed if you let those 6 areas or 6 subdeterminants be themselves the coordinates of a vector in 6 space, then you have represented your rectangle in 4 space as a vector in 6 space, as i suggested above.

i.e. the rgqasmannian embedding just uses as coordinates the basic areas of projections. now vice versa, a vector in that 6 space determines a one form, since given any rectangle in 4 space, we can take its 6 projected areas and dot the resulting vector with the given vector geting a number.

interestingly, not all such one forms arise dually to asingle rectangle, i.e. sometimes you have to use linear combinations of rectabgles. and a given vector does arise as coming from one rectangle if the coordinates satisfy a certain quadratic equation, and that why the space of liens in projective 3 space embeds as a quadric hypersurface in projective 5 space th is way.

 

[mathwonk]

try reading the last 10 pages or so of the graduate algebra notes on my webpage, math 845-3, pages 50-61, on alternating tensors and exterior products.

 

[JohanL]

come on guys. everyone has known the meaning of these objects for years, decades, centuries.

on functions d is the "gradient" or direction of greatest increase, on one forms d is the "curl" of a vector field or its tendency to rotate at a point, on 2 forms, d is the "divergence" of avector field, or the edxtent to which it expands out from a point or to which that point is a "source".

read the intro to maxwells electricity and magnetism.

this is an example of the loss of understanding that comes with modern definitions.

we are all physicists here right?

Can you download maxwells electricity and magnetism somewhere?

Im trying to show that *d*E correspond to the divergence of a vector field.

 

[mathwonk]

hope this appears

i do not know where to download maxwell, as i have oned a copy for many years.


the frustration in this whole communiucatiion as i reread it fter weeks away,

is the back and forth between bigpoints and tiny points.


in trying to explain soemthing, one starts out big, i.e. what is the problem we are trying to solve, and what is the idea used to solve it?

then how doe make this idea precise, and how do we define it carefully and calulate with it.

in many of my posts i give a biog ideq exdplanation, and then someone comes along with a tiny objection to it.


people are very confused about the distinctioin between a vector anda covector, but if a dot product is given there is les difference.

i.e. given a vector, dotting with it is a covector. still this duality is the entire difference between forms and vectors, so probably should be respected.


cohomology was invented to give a topological version of differential forms, not before them, so it seems odd to use cohomology to explain forms, but maybe it does not hurt.


the whole subject is about the distinction between geometric objects, and functions on those objects.

then there is the calculus, bringing in the relation between locally defiend objects and functions, and their integrals, or globally defiend objects and functions.


take a smooth curve. it has two endpoints, sayp and q, and hence has a

"boundary" q-p, which is an algebric gadget called a "0 cycle".

now take a function f on points, and define a coboundary df to be the function on curves whose value at a curve C is the vakue of f on the boundary of C, i.e. (df)(C) = f(q)-f(p).

this object df is to f dually as q-p is to C.

we can go up in dimension, and define the bundary of a surface, and the coboundary of a function on curves, to be th vaue of tht function on the boiundary ofa surface.

notice that coboundaries always vanish on geometric objects that have empty boundaries. moreover, it is basic that the boundary of a boundary is always zero.
e.g. the boundary ofa disc is a circle, which ahs emopty bundary.
thus the vanishing of a coboundary on a geometric gadget, is a necessary condition for that gadget to be itselfa boundary.

e.g. in calculus, the unit circle is nota bundary in the unctured plane, because the angle form dtheta, defined in the punctured plane, does not vanish on the unit circle.

but i am geting head of my story. we want to calculate these things locally. so we approximate curves everywhere locally by tangent lines.


then we have a boundary operator on tangent vectors, and a coboundary operator on covectors.

upping the diemnsions, we have p diemnsional blocks of tangent vectors, and a bundary operator that sends them to sums of p-1 dimensional blocks.
then we have (p-1) covectors and cobounddaries of these.

then the whole calculus comes and and says that if we define the "pform" dw, to be at each point the coboundary of the (p-1) covector at that point, then inbtegrating gives us the global coboundary of the geometric nature first discussed.


i.e. there is a notion of global boundary and coboundary for smooth geometric objects. then there is a linear notion of these things at each tangent space. then stokes theorem says that integrating the local linearnotion over the whole manifold, gicveas the global notion.


this is nota tautology, since it involves limits of approximations, but it is no more scary than the FTC, which ti reduces to by fubini.


now miost fo th questions here are entirely technical ones, about how the specific definitions and notations do or do not measure these thigns, actually the uestions here mostly fail to even notice the actual content of these defintions.

forgive me if my responses are unuseful, but i tend to try always to point out what is being attempted bya definition, assuming that once that is understood well, the nuts and bolts of whether it succeeds is easy homework.

vector fields, and dot products are a method of rendering one forms visible. i.e. a one form is indeed something that integrates against a smooth parametriozed curve.

but to se them, physicists use vector fields, visible force fields, families of arrows drawn in space. then they dot the velocity vector of th3 parametrized curve against the arrow at each point, and then do the integral.

thus dotting against a visible arrow or vector, gives a one form. this simple interplay explains why ,many people say "gradient" to refer to the vector direction of greatest increase of a function. namely dotting this direction against a smooth path, gives the directional derivative of that function in that direction, hence gives the vaue of the one form df on that velocity vector.

yes of course v diffrs technically from the action <v, >, but this only matters after onen understands th whole puprpose of the action is about. hence i try to explain that first, and the details later.


by the way maxwell calls it the "convergence" (ratehr minus it) because he works with quaternions nstead of vectors, so i^2 = -1 introduces a minus sign in his calculations.

a good place to look up thigns lijke stardstar, is springers riemann surfaces, where he givesa complete ntroduction to calculus of forms and metrics, and hodge operators...

 

[quetzalcoatl9]

I downloaded and read the passage out of that book, however i feel i comprehended very little of it except the analogy to the trails and the circuts. I have practically no experience in topology, group theory, or lie algebra, so I was quite confused.

Several texts have good explanations / visualizations of the fundamental theorm of exterior calculus:

$$\int_R d \alpha = \int_{\partial R} \alpha$$

with examination of the special case

$$\int^b_a df = f(b) - f(a)$$

not to nitpick, but that is not quite right. if you are integrating over a curve C, the boundary of the curve will be the endpoints a and b. It should be:

$$\int_C df = \int_{a,b} f = f(b) - f(a)$$

...and you have the fundamental theorem of calculus. notice the last integral has no "df"