21
$\begingroup$

Why do currents, functionals on compactly supported differentiable n-forms, bear the name they do?

I've assumed that it has something to do with an electrical current being formalized as a vector field along a curve or other submanifold, but this is nothing but a guess.

$\endgroup$
1
  • 2
    $\begingroup$ Actual electrical currents I suppose are not always along strict submanifolds -- they can be along all kinds of shapes, like in a lightning strike. So it's probably a better match with reality to consider their data as carried in the distributional sense of functionals on forms. I imagine your intuition is correct but I'm not so certain about the specific history. There is likely people on this forum that know the history well but if not I'd suggest asking someone like Cartier or Berger. $\endgroup$ Commented Apr 10, 2013 at 19:04

4 Answers 4

16
$\begingroup$

George de Rham motivates the name "current" for his functionals by the fact that in three dimensions electric currents are represented by "1-dimensional currents".

The history of this concept is described by Jesper Lützen in De Rham’s Currents.

$\endgroup$
1
  • $\begingroup$ Thank you for turning me on to Lützen's book! I had turned to de Rham's book before posting this question (rather an English translation thereof), this book gives a sense of the big picture. $\endgroup$ Commented Apr 11, 2013 at 3:16
15
$\begingroup$

The classical electric current density can be modelled as a 2-form $$J=J_{ij}\wedge dx^{ij}$$ which is assumed to be locally integrable over a 3-manifold (3-dimensional domain) $X$. By integrating $J$ over a 2-submanifold (a surface) $S\subset X$, one gets the electric current through S, i.e. $$I(S)=\int_{S}J,$$ that is a simple example of a 2-current in the sense of de Rham. Extending this notion to the $n$-dimensional case, one can naturally model a density on the $n$-manifold as a twisted $(n − 1)$-form $J\in\Omega^{n-1}(X,L)$, and to treat the corresponding integral $I(S)$ as a generalized electric current through the (n-1)-dimensional submanifold $S\subset X$.

Whether this was a real motivation behind the notion of de Rham's currents, I don't know.

$\endgroup$
1
  • 6
    $\begingroup$ To a physicist it is strange to see a current in a Lorentz invariant theory written as a 2-form in space rather than as a 3-form in space-time. $\endgroup$ Commented Apr 10, 2013 at 21:25
7
$\begingroup$

I am not sure if this helps, but elaborating on Andrey's answer: now if you recall that occasionally one wants to work with electric currents localised on submanifolds of $\mathbb{R}^3$, what a physicist would call a "wire", or a "conducting plane", de Rham currents provide a natural framework for this. This is much like using distributions to describe point charges.

For example, a current corresponding to a loop wire carrying electric current $I$ represented by an oriented curve $\gamma$ is the 1-current $J$ given by $J(\phi)=I\int_\gamma\phi$. This can be though of as a "generalized" 2-form $J$, which we now can try to integrate over 2-manifold $S$ to obtain the current through this surface, but I am not sure that it makes rigourous sence for arbitrary 1-currents (for this particular one it does, at least for finite number of transversal intersections of $\gamma$ and $S$). We can also take $J(E)=RI^2$, where R is the resistance, and $E$ is the electric field 1-form to express the Ohm's law, et cetera.

$\endgroup$
1
$\begingroup$

Because they run: Correr, corriente, in spanish is the same word for running water, corrientes de agua, corrientes eléctricas ...

$\endgroup$
2
  • 2
    $\begingroup$ Why would de Rham be thinking in Spanish? $\endgroup$
    – Ben McKay
    Commented Feb 23, 2020 at 15:34
  • $\begingroup$ In French it's courant. $\endgroup$ Commented Mar 16, 2023 at 21:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .