The problem of how space-time responds to gravitating quantum matter in full quantum gravity has been one of the main questions that any program of quantization of gravity should address. Here we analyze this issue by considering the quantization of a collapsing null shell coupled to spherically symmetric loop quantum gravity. We show that the constraint algebra of canonical gravity is Abelian both classically and when quantized using loop quantum gravity techniques. The Hamiltonian constraint is well defined and suitable Dirac observables characterizing the problem were identified at the quantum level. We can write the metric as a parameterized Dirac observable at the quantum level and study the physics of the collapsing shell and black hole formation. We show how the singularity inside the black hole is eliminated by loop quantum gravity and how the shell can traverse it. The construction is compatible with a scenario in which the shell tunnels into a baby universe inside the black hole or one in which it could emerge through a white hole.

Since black holes can be formed through widely varying processes, the horizon structure is highly complicated in the dynamical phase. Nonetheless, as numerical simulations show, the final state appears to be universal, well described by the Kerr geometry. How are all these large and widely varying deviations from the Kerr horizon washed out? To investigate this issue, we introduce a well-suited notion of horizon multipole moments and equations governing their dynamics, thereby providing a coordinate and slicing independent framework to investigate the approach to equilibrium. In particular, our flux formulas for multipoles can be used as analytical checks on numerical simulations and, in turn, the simulations could be used to fathom possible universalities in the way black holes approach their final equilibrium.

We present a new method for the quantization of totally constrained systems including general relativity. The method consists in constructing discretized theories that have a well defined and controlled continuum limit. The discrete theories are constraint-free and can be readily quantized. This provides a framework where one can introduce a relational notion of time and that nevertheless approximates in a well defined fashion the theory of interest. The method is equivalent to the group averaging procedure for many systems where the latter makes sense and provides a generalization otherwise. In the continuum limit it can be shown to contain, under certain assumptions, the ``master constraint'' of the ``Phoenix project''. It also provides a correspondence principle with the classical theory that does not require to consider the semiclassical limit.