In the mathematical fields of

differential geometry Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multili ...

and geometric measure theory, homological integration or geometric integration is a method for extending the notion of the

integral In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...

manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a n ...

s. Rather than functions or

differential form In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, ...

s, the integral is defined over currents on a manifold. The theory is "homological" because currents themselves are defined by duality with differential forms. To wit, the space of -currents on a manifold is defined as the

dual space In mathematics, any vector space ''V'' has a corresponding dual vector space (or just dual space for short) consisting of all linear forms on ''V'', together with the vector space structure of pointwise addition and scalar multiplication by const ...

, in the sense of distributions, of the space of -forms on . Thus there is a pairing between -currents and -forms , denoted here by :

\langle T, \alpha\rangle.

Under this duality pairing, the

exterior derivative On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The res ...

d : \Omega^ \to \Omega^k

goes over to a

boundary operator In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is included in the kernel of t ...

\partial : D^k \to D^

defined by :

\langle\partial T,\alpha\rangle = \langle T, d\alpha\rangle

for all . This is a homological rather than

cohomological In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewe ...

construction.

References

*. *. Definitions of mathematical integration Measure theory {{geometry-stub