Total and exterior derivative of a 1-form

  • Thread starter mma
  • Start date
  • Tags
    Derivative
In summary, the exterior derivative of a one-form is the bilinear form defined by the symmetric and antisymmetric parts of the total derivative matrix.
  • #1
mma
245
1
Suppose we have a one-form [tex] \alpha[/tex] having a skew-symmetric total derivative matrix. I mean something like [tex] \alpha(x,y) = -y dx + x dy[/tex], that is, in canonical [tex] (x, y, \xi, \eta)[/tex] coordinates of the cotangent bundle, [tex] \alpha(x,y) = (x, y, -y , x )[/tex].
The "total derivate matrix" I mean
[tex] D\alpha = \left( \begin{array}{cc} 0 & -1 \\ 1 & 0 \end{array} \right)[/tex]
because the tangent mapping of [tex] \alpha[/tex] is
[tex] a \frac{\partial}{\partial x} + b\frac{\partial}{\partial y} \mapsto a \frac{\partial}{\partial x} + b \frac{\partial}{\partial y} -b \frac{\partial}{\partial \xi} + a \frac{\partial}{\partial \eta}[/tex]​
and the projection of this vector on the [tex] \{\frac{\partial}{\partial x}, \frac{\partial}{\partial y} \}[/tex] plane is always
[tex] a \frac{\partial}{\partial x} + b\frac{\partial}{\partial y}[/tex]​
itself (independently of [tex] \alpha[/tex]), while the projection on the [tex] \{ \frac{\partial}{\partial \xi}, \frac{\partial}{\partial \eta} \}[/tex] plane is
[tex] -b \frac{\partial}{\partial \xi} + a \frac{\partial}{\partial \eta}[/tex],
that is, in column vector representation :
[tex] \left(\begin{array}{c} -b \\ a \end{array} \right) = \left( \begin{array}{cc} 0 & -1 \\ 1 & 0 \end{array} \right) \left(\begin{array}{c} a \\ b \end{array}\right)[/tex]

A bit more generally, if our 1-form is [tex] \alpha(x,y) = \xi(x,y) dx + \eta(x,y) dy[/tex] then the "total derivative matrix" is [tex] D\alpha = \left( \begin{array}{cc} \frac{\partial \xi}{\partial x} & \frac{\partial \xi}{\partial y} \\ \frac{\partial \eta}{\partial x} & \frac{\partial \eta}{\partial y} \end{array} \right)[/tex].
This matrix can always decompose into the sum of its symmetric and antisymmetric parts, where the symmetric and antisymmetric parts are
[tex] S = \frac{1}{2} \left( \begin{array}{cc} 2\frac{\partial \xi}{\partial x} & \frac{\partial \xi}{\partial y} + \frac{\partial \eta}{\partial x} \\ \frac{\partial \eta}{\partial x} + \frac{\partial \xi}{\partial y} & 2\frac{\partial \eta}{\partial y} \end{array} \right)[/tex] and [tex] A = \frac{1}{2} \left( \begin{array}{cc} 0 & \frac{\partial \xi}{\partial y} - \frac{\partial \eta}{\partial x} \\ \frac{\partial \eta}{\partial x} - \frac{\partial \xi}{\partial y} & 0 \end{array} \right)[/tex] respectivelly. If [tex] D\alpha[/tex] is itself symmetric then [tex] D\alpha = S[/tex], while when it is antisymmetric (as in our previous example), then [tex] D\alpha = A[/tex].

The exterior derivative of [tex] \alpha[/tex] is [tex] d \alpha= -\frac{\partial \xi}{\partial y} dx\wedge dy + \frac{\partial \eta}{\partial x} dx\wedge dy = (-\frac{\partial \xi}{\partial y} + \frac{\partial \eta}{\partial x}) dx\wedge dy[/tex].
This is just the twice of the negative of the bilinear form represented by matrix [tex] A[/tex]. In the special case when [tex] D\alpha[/tex] is antisymmetric, then this holds for [tex] D\alpha[/tex], i.e for the total derivative matrix itself.

My questions:
1. Is this accidental, or there is a deeper geometrical interconnection between the total derivative matrix and the exterior derivative?
2. Does the matrix [tex] S[/tex] also have any meaning in the world of forms?
 
Last edited:
Physics news on Phys.org
  • #2
Perhaps it isn't quite clear what do I mean. I try to explain it by an analogy in one lower degree, and on vector spaces instead of manifolds.

Take a 0-form, i.e. a function f on a vector space. The "total derivative" of this function (in some point of the vector space) is a vector that on the one hand can be regarded as the 1 by n matrix of the linear approximation of the function, while on the other hand it defines the same linear functional (via the scalar product) as the exterior derivative df of f does (really, this is the definition of the gradient vector).

In the original (one higher) degree, the "total derivative" of a vector-vector function (after all, the 1-form on a vector space is also a vector-vector function) is a matrix that defines a linear approximation of our vector-vector function, while on the other hand, its antisymmetric part defines (up to constant, via what?) the same bilinear form as the exterior derivative of our 1 form does.

Does this have any real sense? And what can we do with the symmetric part?
 
  • #3
You're looking at a one-form as a function [itex]\omega : M \to T^*M[/itex] from the manifold to the cotangent bundle.

Are you're asking if the derivative of this function, [itex]\omega_* : TM \to TT^* M[/itex], has any relationship to the 2-form [itex]d\omega[/itex]?
 
  • #4
Hurkyl said:
You're looking at a one-form as a function [itex]\omega : M \to T^*M[/itex] from the manifold to the cotangent bundle.

Are you're asking if the derivative of this function, [itex]\omega_* : TM \to TT^* M[/itex], has any relationship to the 2-form [itex]d\omega[/itex]?

Exactly.
 

1. What is the total derivative of a 1-form?

The total derivative of a 1-form is a linear transformation that maps one tangent space to another. It represents the change in the 1-form as its input is varied along a specified curve in its domain.

2. How is the total derivative of a 1-form calculated?

The total derivative of a 1-form is calculated using the chain rule, where the derivative of the 1-form's components with respect to the curve's parametric variable is multiplied by the derivative of the curve with respect to the same variable.

3. What is the exterior derivative of a 1-form?

The exterior derivative of a 1-form is a differential operator that takes a 1-form as its input and produces a 2-form as its output. It measures the rate of change of the 1-form in the direction perpendicular to its domain.

4. How is the exterior derivative of a 1-form computed?

The exterior derivative of a 1-form is computed by taking the partial derivative of each component of the 1-form with respect to each variable in its domain, and then taking the wedge product of these partial derivatives.

5. What is the relationship between the total and exterior derivative of a 1-form?

The exterior derivative of a 1-form is the dual of the total derivative of the 1-form. This means that the exterior derivative measures the rate of change of the 1-form in the direction perpendicular to its domain, while the total derivative measures the rate of change along a specified curve within its domain.

Similar threads

  • Differential Geometry
Replies
1
Views
2K
  • Differential Geometry
Replies
2
Views
594
Replies
6
Views
362
  • Differential Geometry
Replies
3
Views
3K
Replies
5
Views
399
Replies
22
Views
465
  • Differential Geometry
Replies
3
Views
3K
  • Differential Geometry
Replies
12
Views
3K
Replies
9
Views
3K
Replies
2
Views
2K
Back
Top