Current (mathematics)

In mathematics, a k-current is a special kind of mathematical object studied in areas like functional analysis, differential topology, and geometric measure theory. It was introduced by the mathematician Georges de Rham. Currents act on certain mathematical shapes called differential k-forms that are defined on a smooth space known as a smooth manifold.

Currents behave somewhat like other mathematical tools called Schwartz distributions, but they have a geometric meaning. They can represent the idea of integrating over a smaller smooth space called a submanifold. This makes them useful for generalizing concepts like the Dirac delta function, which is a very sharp spike that picks out specific points. Currents can also represent more complex ideas, such as directional derivatives of these delta functions, known as multipoles, spread out over parts of the manifold M. This makes currents a powerful tool in advanced mathematics.

Definition

In mathematics, a current is like a special kind of rule that works with shapes and forms on a smooth surface. Think of it as a way to measure or describe something in a very general way. These rules help mathematicians study complicated spaces and shapes by looking at how they change and fit together.

Currents are built to be steady and reliable, meaning they give consistent results even when the shapes get very small or detailed. This makes them useful tools in advanced areas of math, such as studying how shapes twist and turn in higher dimensions.

Homological theory

Integration over a compact oriented submanifold defines an m-current. This current helps us understand how shapes and their boundaries relate through a process called Stokes' theorem.

This theorem connects the idea of taking a derivative in calculus with the concept of a boundary in geometry. It allows mathematicians to define a boundary operator for currents, helping create a homology theory that follows certain important rules.

Topology and norms

Currents, which are special mathematical objects, have a natural way to check if they are getting closer together, called weak convergence. This is similar to seeing if a sequence of numbers gets closer to a specific number.

We can also measure the "size" of currents using different norms. The mass norm measures the weighted area of a generalized surface, and a current with finite mass can be represented by integrating a regular measure. Another norm, called the flat norm, measures how close two currents are by looking at small deformations.

Examples

In math, a 0-current can be thought of like a special rule that picks out the value of a function at a single point. For example, it can tell us what the function equals at the point zero.

We can also think of regular measures, like weight or mass spread out over space, as 0-currents. These help us calculate total values, like adding up all the values of a function over an area.

For a more interesting example, we can create a 2-current using coordinates in three-dimensional space. This current helps us understand how certain combinations of changes in position relate to values spread out over a flat surface.