Producto cuña

Las p-formas son tensores covariantes totalmente antisimétricos. El producto cuña se uti-
liza para generar una p + q-forma de dos formas p y q. Dados dos formas, dependiendo del
caso se tendrá que su producto cuña es:

Para dos 1-formas

Aµ Bν − Aν Bµ (1)
Para 1-forma y 2-forma
Aσ Bµν + Aν Bσµ + Aµ Bνσ (2)
Para dos 2-formas
Aµν Bρσ + Aσρ Bνµ + Aµρ Bσν + Aµσ Bνρ + Aσν Bµρ + Aνρ Bµσ (3)
Para 1-forma y 3-forma
Aµ Bνρσ + Aν Bρµσ + Aρ Bµνσ + Aσ Bνµρ (4)
Donde se utilizó la definición
(p + q)!
A∧B ≡ A[µ1 ...µp Bµp+1 ...µp+q ] (5)
p!q!
Si calculamos
(q + p)!
B∧A = B[µ1 ...µq Aµq+1 ...µp+q ]
q!p!
(p + q)!
= A[µq+1 ...µp+q Bµ1 ...µq ] (6)
p!q!
Lo cual equivale a permutar dos sucesiones de términos cada una con q y p términos.
Si consideramos el signo de esta permutación tendrı́amos que agregar el término (−1)pq .
Entonces se tiene que
B ∧ A = (−1)pq A ∧ B (7)
Derivada exterior

Se genera una p + 1-forma a partir de una p-forma.

Para 1-forma
∂µ Aν − ∂ν Aµ (8)
Para 2-forma
∂µ Aνρ + ∂ν Aρµ + ∂ρ Aµν (9)
Para3-forma
∂µ Aνρσ + ∂ν Aρµσ + ∂ρ Aµνσ + ∂σ Aµρν (10)
Donde se utilizó la definición
(dA)µ1 ...µp+1 ≡ (p + 1)∂[µ1 Aµ2 ...µp+1 (11)