 These were studied in 1945 by I. G. Petrovsky, who found topological conditions describing which regions were lacunas.In collaboration with Bott and Lars Gårding, Atiyah wrote three papers updating and generalizing Petrovsky's work.Atiyah showed how to extend the index theorem to some non-compact manifolds, acted on by a discrete group with compact quotient.