General relativity is the theory of gravitation published by Albert Einstein in 1915. According to it, the force of gravity is a manifestation of the local geometry of spacetime. Mathematically, the theory is modelled after Bernhard Riemann's metric geometry, but the Lorentz group of spacetime symmetries (an essential ingredient of Einstein's own theory of special relativity) replaces the group of rotational symmetries of space. Loop quantum gravity inherits this geometric interpretation of gravity, and posits that a quantum theory of gravity is fundamentally a quantum theory of spacetime.
In the 1920s, the French mathematician Elie Cartan formulated Einstein's theory in the language of bundles and connections, a generalization of Riemann's geometry to which Cartan made important contributions. The socalled EinsteinCartan theory of gravity not only reformulated but also generalized general relativity, and allowed spacetimes with torsion as well as curvature. In Cartan's geometry of bundles, the concept of parallel transport is more fundamental than that of distance, the centerpiece of Riemannian geometry. A similar conceptual shift occurs between the invariant interval of Einstein's general relativity and the parallel transport of EinsteinCartan theory.
In the 1960s, physicist Roger Penrose explored the idea of space arising from a quantum combinatorial structure. His investigations resulted in the development of spin networks. Because this was a quantum theory of the rotational group and not the Lorentz group, Penrose went on to develop twistors.
In 1982, Amitabha Sen tried to formulate a Hamiltonian formulation of general relativity based on spinorial variables, where these variables are the left and right spinorial component equivalents of EinsteinCartan connection of general relativity. Particularly, Sen discovered a new way to write down the two constraints of ADM Hamiltonian formulation of general relativity in terms of these spinorial connections. In his form, the constraints are simply conditions that the Spinorial Weyl curvature is trace free and symmetric. He also discovered the presence of new constraints which he suggested to be interpreted as the equivalent of Gauss constraint of Yang Mills field theories. But Sen's work fell short of giving a full clear systematic theory and particularly failed to clearly discuss the conjugate momenta to the spinorial variables, its physical interpretation, and its relation to the metric (in his work he indicated this as some lambda variable).
In 1986, physicist Abhay Ashtekar completed the project which Amitabha Sen began. He clearly identified the fundamental conjugate variables of spinorial gravity: The configuration variable is as a spinoral connection  a rule for parallel transport (technically, a connection) and the conjugate momentum variable is a coordinate frame (called a vierbein) at each point. So these variable became what we know as Ashtekar variables, a particular flavor of EinsteinCartan theory with a complex connection.General relativity theory expressed in this way, made possible to pursue quantization of it using wellknown techniques from quantum gauge field theory.
The quantization of gravity in the Ashtekar formulation was based on Wilson loops, a technique developed in the 1970s to study the stronginteraction regime of quantum chromodynamics. It is interesting in this connection that Wilson loops were known to be illbehaved in the case of standard quantum field theory on (flat) Minkowski space, and so did not provide a nonperturbative quantization of QCD. However, because the Ashtekar formulation was backgroundindependent, it was possible to use Wilson loops as the basis for nonperturbative quantization of gravity.
Sen's initiation and completion by Ashtekar, finally, for the first time, in a setting where the WheelerDeWitt equation could be written in terms of a welldefined Hamiltonian operator on a welldefined Hilbert space, and led to construction of the first known exact solution, the socalled ChernSimons form or Kodama state. The physical interpretation of this state remains obscure.
Around 1990, Carlo Rovelli and Lee Smolin obtained an explicit basis of states of quantum geometry, which turned out to be labeled by Penrose's spin networks. In this context, spin networks arose as a generalization of Wilson loops necessary to deal with mutually intersecting loops. Mathematically, spin networks are related to group representation theory and can be used to construct knot invariants such as the Jones polynomial. Being closely related to topological quantum field theory and group representation theory, LQG is mostly established at the level of rigor of mathematical physics, as compared to string theory, which is established at the level of rigor of physics.
After the spin network basis was described, progress was made on the analysis of the spectra of various operators resulting in a predicted spectrum for area and volume (see below). Work on the semiclassical limit, the continuum limit, and dynamics was intense after this, but progress slower.
On the semiclassical limit front, the goal is to obtain and study analogues of the harmonic oscillator coherent states (candidates are known as weave states).
LQG was initially formulated as a quantization of the Hamiltonian ADM formalism, according to which the Einstein equations are a collection of constraints (Gauss, Diffeomorphism and Hamiltonian). The kinematics are encoded in the Gauss and Diffeomorphism constraints, whose solution is the space spanned by the spin network basis. The problem is to define the Hamiltonian constraint as a selfadjoint operator on the kinematical state space. The most promising work in this direction is Thomas Thiemann's Phoenix program.
Spin foams are new framework intended to tackle the problem of dynamics and the continuum limit simultaneously. Heuristically, it would be expected that evolution between spin network states might be described by discrete combinatorial operations on the spin networks, which would then trace a twodimensional skeleton of spacetime. This approach is related to statesum models of statistical mechanics and topological quantum field theory such as the TuraeevViro model of 3D quantum gravity, and also to the Regge calculus approach to calculate the Feynman path integral of general relativity by discretizing spacetime.
Some radical approaches to spin foams include the work on causal sets by Fotini Markopoulou and Rafael Sorkin, among others.
