MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $M$ be a ALE $n$-manifold. Then it is known a folklore result that the $L^2$ Hodge cohomology is given by:

  • $L^2\mathcal H^k=H^k(M,\partial M)$ if $k < n$,

  • $L^2\mathcal H^{n/2}=Im(H^{n/2}(M,\partial M)\to H^{n/2}(M))$, and

  • $L^2\mathcal H^k=H^k(M)$ if $k>n$.

A proof can be found in "HODGE COHOMOLOGY OF GRAVITATIONAL INSTANTONS" by Hunsicker, Hausel & Mazzeo. Their proof is very involved and it seems to me that a simpler proof should exist. Is a there a good simple proof? Maybe even published in the literature somewhere.

share|cite|improve this question
up vote 3 down vote accepted

I believe you can find this in the papers of Lockhart and McOwen. Specifically, check

Lockhart, Robert B.; McOwen, Robert C. Elliptic differential operators on noncompact manifolds. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 12 (1985), no. 3, 409--447. MR0837256 0837256


Lockhart, Robert. Fredholm, Hodge and Liouville theorems on noncompact manifolds. Trans. Amer. Math. Soc. 301 (1987), no. 1, 1--35. MR0879560 0879560

At least, that's where I learned these things. A more recent and very clear exposition can be found in the thesis of Stephen Marshall, which is available on Dominic Joyce's website, but his treatment is specific to asympotically cylindrical or asympototically conical Riemannian manifolds. The ALE spaces are similar and are amenable to essentially the same treatment, if I recall correctly.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.