Perturbation of harmonic structures and an index-zero theorem

Walsh, Bertram

Annales de l'Institut Fourier, Tome 20 (1970), p. 317-359 / Harvested from Numdam

Résumé

Dans le cadre d’une théorie des faisceaux de fonctions “harmoniques”, on introduit une notion de perturbation de ces faisceaux, qui correspond au remplacement de l’opérateur $\Delta $ par $\Delta +f_.$ dans la théorie classique. Les faisceaux pris au point de départ satisfont à certaines hypothèses, plus faibles que les axiomes de Bauer, et on trouve que les faisceaux perturbés satisfont encore à ces mêmes hypothèses. Les résultats entraînent la finitude et l’égalité des dimensions des espaces $H^0(W,{\bf H})$ et $H^1(W,{\bf H})$, dans le cas où la base $W$ du faisceau ${\bf H}$ est compacte. Ceci est une généralisation du théorème classique qui dit que l’indice d’un opérateur elliptique du second ordre sur une variété compacte est nul. Comme conséquence, on trouve que les espaces linéaires ${\bf H}_W$ et ${\bf H}^*_W$ (où $W$ est encore compacte) ont la même dimension finie, si le faisceau ${\bf H}$ satisfait aux axiomes de Brelot et si son adjoint existe.

Abstract

In the framework of an axiomatic theory of sheaves of “harmonic” functions, a notion of perturbation of these sheaves is introduced which corresponds to the replacement of the operator $\Delta $ by an operator $\Delta +f$, in the classical situation. The “harmonic” functions with which the paper is concerned are assumed to satisfy certain hypotheses (weaker than the axioms of Bauer); it is shown that the perturbed harmonic functions also satisfy these hypotheses. Moreover, the results obtained imply that the dimensions of the spaces $H^0(W,{\bf H})$ and $H^1(W,{\bf H})$ are (finite and) equal whenever the base space $W$ of a sheaf ${\bf H}$ satisfying these hypotheses is compact. That fact generalizes the classical theorem that the index of any second order elliptic operator on a (trivial bundle over $a$) compact manifold is zero. Further, it implies that whenever ${\bf H}$ satisfies the Brelot axioms and its adjoint sheaf ${\bf H}^*$ exists, the spaces ${\bf H}_W$ and ${\bf H}^*_W$ (where $W$ is again compact) have the same (finite) dimension.

Détail

Publié le : 1970-01-01

MR 43 #554 | Zbl 0187.04303

DOI : https://doi.org/10.5802/aif.344

Bibliographie

[1] H. Bauer, Harmonische Räume und ihre Potentialtheorie, Springer Lecture Notes in Mathematics 22 (1966). | Zbl 0142.38402

[2] N. Boboc, C. Constantinescu and A. Cornea, Axiomatic theory of harmonic functions. Nonnegative superharmonic functions, Ann. Inst. Fourier (Grenoble), 15 (1965), 283-312. | Numdam | MR 33 #1476 | Zbl 0139.06604

[3] M. Brelot, Lectures on Potential Theory, Tata Institute, Bombay, 1960. | MR 22 #9749 | Zbl 0098.06903

[4] C.H. Dowker, Lectures on Sheaf Theory, Tata Institute, Bombay, 1957.

[5] N. Dunford and J.T. Schwartz, Linear Operators I, Interscience, New York, 1958. | MR 22 #8302 | Zbl 0084.10402

[6] R.C. Gunning and H. Rossi, Analytic Functions of Several Complex Variables, Prentice-Hall, Englewood Cliffs, 1965. | MR 31 #4927 | Zbl 0141.08601

[7] R.M. Hervé, Recherches axiomatiques sur la théorie des fonctions surharmoniques et du potentiel, Ann. Inst. Fourier (Grenoble), 12 (1962), 415-571. | Numdam | MR 25 #3186 | Zbl 0101.08103

[8] T. Kato, Perturbation Theory for Linear Operators, Springer, Berlin-Göttingen-Heidelberg, 1966. | MR 34 #3324 | Zbl 0148.12601

[9] P.A. Meyer, Brelot's axiomatic theory of the Dirichlet problem and Hunt's theory, Ann. Inst. Fourier (Grenoble), 13 (1963), 357-372. | Numdam | MR 29 #260 | Zbl 0116.30404

[10] H. Schaefer, Topological Vector Spaces, Macmillan, New York, 1966. | MR 33 #1689 | Zbl 0141.30503

[11] B. Walsh, Flux in axiomatic potential theory. I : Cohomology, Inventiones Math. 8 (1969), 175-221. | MR 42 #532 | Zbl 0179.15203

[12] B. Walsh, Flux in axiomatic potential theory. II : Duality, Ann. Inst. Fourier, (Grenoble), 19 (1969). | Numdam | MR 42 #2023 | Zbl 0181.11703