We prove a general result about the geometry of holomorphic line bundles over Kähler manifolds.

We prove that every finite group$G$can be realized as the group of self-homotopy equivalences of infinitely many elliptic spaces$X$. To construct those spaces we introduce a new technique which leads, for example, to the existence of infinitely many inflexible manifolds. Further applications to representation theory will appear in a separate paper.

This paper applies$K$-homology to solve the index problem for a class of hypoelliptic (but not elliptic) operators on contact manifolds.$K$-homology is the dual theory to$K$-theory. We explicitly calculate the$K$-cycle (i.e., the element in geometric$K$-homology) determined by any hypoelliptic Fredholm operator in the Heisenberg calculus.

Wehrl used Glauber coherent states to define a map from quantum density matrices to classical phase space densities and conjectured that for Glauber coherent states the mininimum classical entropy would occur for density matrices equal to projectors onto coherent states. This was proved by Lieb in 1978 who also extended the conjecture to Bloch SU(2) spin-coherent states for every angular momentum$J$. This conjecture is proved here. We also recall our 1991 extension of the Wehrl map to a quantum channel from J to $${K=J+\frac{1}{2}, J+1, ... ,}$$ with $${K=\infty}$$ corresponding to the Wehrl map to classical densities. These channels were later recognized as the optimal quantum cloning channels. For each$J$and $${J < K \leqslant \infty}$$ we show that the minimal output entropy for the channels occurs for a J coherent state. We also show that coherent states both Glauber and Bloch minimize any concave functional, not just entropy.

We prove an analogue of the Madsen–Weiss theorem for high-dimensional manifolds. In particular, we explicitly describe the ring of characteristic classes of smooth fibre bundles whose fibres are connected sums of$g$copies of$S$^{$n$}×$S$^{$n$}, in the limit $${g \to \infty}$$ . Rationally it is a polynomial ring in certain explicit generators, giving a high-dimensional analogue of Mumford’s conjecture.