
In this paper, we study smooth, semifree actions on closed, smooth, simply
connected manifolds, such that the orbit space is a smoothable manifold. We
show that the only simply connected $5$manifolds admitting a smooth, semifree
circle action with fixedpoint components of codimension $4$ are connected sums
of $S^3$bundles over $S^2$. Furthermore, the Betti numbers of the
$5$manifolds and of the quotient $4$manifolds are related by a simple formula
involving the number of fixedpoint components. We also investigate semifree
$S^3$ actions on simply connected $8$manifolds with quotient a $5$manifold
and show, in particular, that the Pontrjagin classes, the $\hat{A}$genus and
the signature of the $8$manifold must all necessarily vanish.

Particle physics has an ambitious and broad experimental programme for the
coming decades. This programme requires large investments in detector hardware,
either to build new facilities and experiments, or to upgrade existing ones.
Similarly, it requires commensurate investment in the R&D of software to
acquire, manage, process, and analyse the shear amounts of data to be recorded.
In planning for the HLLHC in particular, it is critical that all of the
collaborating stakeholders agree on the software goals and priorities, and that
the efforts complement each other. In this spirit, this white paper describes
the R&D activities required to prepare for this software upgrade.

The class of Riemannian orbifolds of dimension n defined by a lower bound on
the sectional curvature and the volume and an upper bound on the diameter has
only finitely many members up to orbifold homeomorphism. Furthermore, any class
of isospectral Riemannian orbifolds with a lower bound on the sectional
curvature is finite up to orbifold homeomorphism.

Let a compact Lie group act isometrically on a noncollapsing sequence of
compact Alexandrov spaces with fixed dimension and uniform lower curvature and
upper diameter bounds. If the sequence of actions is equicontinuous and
converges in the equivariant GromovHausdorff topology, then the limit space
is equivariantly homeomorphic to spaces in the tail of the sequence.
As a consequence, the class of Riemannian orbifolds of dimension $n$ defined
by a lower bound on the sectional curvature and the volume and an upper bound
on the diameter has only finitely many members up to orbifold homeomorphism.
Furthermore, any class of isospectral Riemannian orbifolds with a lower bound
on the sectional curvature is finite up to orbifold homeomorphism.

The equivariant GromovHausdorff convergence of metric spaces is studied.
Where all isometry groups under consideration are compact Lie, it is shown that
an upper bound on the dimension of the group guarantees that the convergence is
by Lie homomorphisms. Additional lower bounds on curvature and volume
strengthen this result to convergence by monomorphisms, so that symmetries can
only increase on passing to the limit.

The classification of Gspaces by Palais is refined for the case where the
orbit space satisfies certain mild topological hypotheses.
It is shown that when a sequence of such orbit spaces is "close" to a limit
orbit space, in some suitable sense, within a larger ambient orbit space, the
Gspaces in the tail of the sequence are strongly equivalent to the limit
Gspace.

We develop two new tools for use in Alexandrov geometry: a theory of ramified
orientable double covers and a particularly useful version of the Slice Theorem
for actions of compact Lie groups. These tools are applied to the
classification of compact, positively curved Alexandrov spaces with maximal
symmetry rank.