3 problems
Quotient conjecture. This composition is an isomorphism.
Quotient-manifold criterion. is a Banach–Lie subgroup if and only if carries the structure of a Banach manifold for which has a surjective differential at each point…
Hirzebruch formula conjecture. The signature satisfies