Let be an -dimensional -manifold with countable basis (cf. also Differentiable manifold) and let , where denotes the vector space of compactly supported differential forms of degree on (cf. also Differential form). Endow with the usual structure of a Fréchet space by declaring that tends to if there exists a compact set such that for all and the coefficients of and all their derivatives tend uniformly to those of .
A current on is an element of the dual space . The idea of currents was introduced by G. de Rham in [a6], to obtain a homology theory including both forms and chains, but a precise definition, see [a7], [a8], became only possible after distributions (cf. also Generalized function) had been introduced by L. Schwartz. See also (the editorial comments to) Differential form, whose notation is used here too.
While exterior products of currents are in general undefined, exterior differentiation can be defined by duality. If the action of a current of degree on a form is denoted by , then one defines the exterior differential by . In particular, the notions of closed and exact currents are defined.
Now, let be a complex manifold. One has the splitting for currents just as for forms.
A theorem of P. Lelong [a4] states that any pure -dimensional analytic subset of a Hermitian complex manifold has locally finite -volume. As a consequence one can define the current of integration over by
Here, the integration is over the regular points of (cf. also Analytic set). is a -closed current of bi-dimension . Moreover, is positive, that is, is positive for forms , with and being the volume form on the regular points of . See also [a2], [a5].
See also Geometric measure theory.
|[a1]||H. Ben Messaoud, H. El Mir, "Tranchage et prolongement des courants positifs fermés" Math. Ann. , 307 (1997) pp. 473–487 Zbl 0879.32009|
|[a2]||E.M. Chirka, "Complex analytic sets" , MAIA , 46 , Kluwer Acad. Publ. (1989) (In Russian) MR1111477 Zbl 0683.32002|
|[a3]||J. Duval, N. Sibony, "Hulls and positive closed currents" Duke Math. J. , 95 (1998) pp. 621–633 MR1658760 Zbl 0958.32004|
|[a4]||P. Lelong, "Integration sur un ensemble analytique complexe" Bull. Soc. Math. France , 85 (1957) pp. 239–262 MR0095967 Zbl 0079.30901|
|[a5]||P. Lelong, "Fonctions plurisousharmoniques et formes différentielles positives" , Gordon & Breach (1968) MR0243112 Zbl 0195.11603|
|[a6]||G. De Rham, "Sur l'analyse situs des varietés a dimensions (Thèse)" J. Math. Pures Appl. , 10 (1931) pp. 115–200|
|[a7]||G. De Rham, "Differentiable manifolds" , Springer (1984) (Translated from French) (Edition: Third) MR1859366 Zbl 0534.58003|
|[a8]||L. Schwartz, "Théorie des distributions" , Hermann (1966) MR0209834 Zbl 0149.09501|
Current. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Current&oldid=28166