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.

We incorporate elements of the recently discovered exact solutions of the quantum constraints of loop quantum gravity for vacuum spherically symmetric space-times into the paradigm of black hole evaporation due to Ashtekar and Bojowald. The quantization of the area of the surfaces of symmetry of the solutions implies that the number of nice slices that can be fit inside the black hole is finite. The foliation eventually moves through the region where the singularity in the classical theory used to be and all the particles that fell into the black hole due to Hawking radiation emerge finally as a white hole. This yields a variant of a scenario advocated by Arkani-Hamed {\em et al.} Fluctuations in the horizon that naturally arise in the quantum space time allow radiation to emerge during the evaporation process due to stimulated emission allowing evaporation to proceed beyond Page time without reaching the maximum entanglement limit until the formation of the white hole. No firewalls nor remnants arise in this scenario.

We present a gauge fixing of gravity coupled to a scalar field in spherical symmetry such that the Hamiltonian is an integral over space of a local density. Such a formulation had proved elusive over the years. As in any gauge fixing, it works for a restricted set of initial data. We argue that the set could be large enough to attempt a quantization the could include the important case of an evaporating black hole.

We consider the quantization of the complete extension of the Schwarzschild space-time using spherically symmetric loop quantum gravity. We find an exact solution corresponding to the semi-classical theory. The singularity is eliminated but the space-time still contains a horizon. Although the solution is known partially numerically and therefore a proper global analysis is not possible, a global structure akin to a singularity-free Reissner--Nordstr\"om space-time including a Cauchy horizon is suggested.

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.

Ordinary quantum mechanics is formulated on the basis of the existence of an ideal classical clock external to the system under study. This is clearly an idealization. As emphasized originally by Salecker and Wigner and more recently by other authors, there exist limits in nature to how ``classical'' even the best possible clock can be. When one introduces realistic clocks, quantum mechanics ceases to be unitary and a fundamental mechanism of decoherence of quantum states arises. We estimate the rate of universal loss of unitarity using optimal realistic clocks. In particular we observe that the rate is rapid enough to eliminate the black hole information puzzle: all information is lost through the fundamental decoherence before the black hole can evaporate. This improves on a previous calculation we presented with a sub-optimal clock in which only part of the information was lost by the time of evaporation.

Smolin has put forward the proposal that the universe fine tunes the values of its physical constants through a Darwinian selection process. Every time a black hole forms, a new universe is developed inside it that has different values for its physical constants from the ones in its progenitor. The most likely universe is the one which maximizes the number of black holes. Here we present a concrete quantum gravity calculation based on a recently proposed consistent discretization of the Einstein equations that shows that fundamental physical constants change in a random fashion when tunneling through a singularity.

We consider the application of the consistent lattice quantum gravity approach we introduced recently to the situation of a Friedmann cosmology and also to Bianchi cosmological models. This allows us to work out in detail the computations involved in the determination of the Lagrange multipliers that impose consistency, and the implications of this determination. It also allows us to study the removal of the Big Bang singularity. Different discretizations can be achieved depending on the version of the classical theory chosen as a starting point and their relationships studied. We analyze in some detail how the continuum limit arises in various models. In particular we notice how remnants of the symmetries of the continuum theory are embodied in constants of the motion of the consistent discrete theory. The unconstrained nature of the discrete theory allows the consistent introduction of a relational time in quantum cosmology, free from the usual conceptual problems.