---
title: Logarithmic Graviton Module in Chiral TMG
url: https://www.emergentmind.com/topics/logarithmic-graviton-module
type: topic
---

# Logarithmic Graviton Module in Chiral TMG

The logarithmic graviton module is the indecomposable rank-two Virasoro module that appears in three-dimensional topologically massive gravity (TMG) at the chiral point \(\mu \ell = 1\), where the massive graviton becomes degenerate with the left-moving graviton and a logarithmic partner mode emerges. In the contemporary AdS\(_3\)/LCFT\(_2\) formulation, it is the module generated by the pair \((\psi_L,\psi_{\log})\), with non-diagonalizable \(L_0\) action, and it admits a geometric realization in terms of a complexified Virasoro flow whose parameter is the asymptotic combination \(s=\rho+i\tau\) of radial and temporal AdS\(_3\) coordinates [2606.16444].

## 1. Chiral TMG and the origin of the logarithmic sector

Topologically Massive Gravity augments the AdS\(_3\) Einstein–Hilbert action by a gravitational Chern–Simons term,
\[
S_{\rm TMG} = \frac{1}{16\pi G} \int d^3x\,\sqrt{-g}\left(R+\frac{2}{\ell^2}\right) + \frac{1}{16\pi G\mu}S_{\rm CS},
\]
with equations of motion
\[
G_{\mu\nu}-\frac{1}{\ell^2}g_{\mu\nu}+\frac{1}{\mu}C_{\mu\nu}=0.
\]
Linearized around AdS\(_3\) in transverse traceless gauge, the graviton perturbation satisfies a third-order equation that factorizes as
\[
\mathcal D^L \mathcal D^R \mathcal D^M\,h_{\mu\nu}=0,
\]
with left-moving massless, right-moving massless, and massive branches [2606.16444].

The Brown–Henneaux central charges are
\[
c_L = \frac{3\ell}{2G}\left(1-\frac{1}{\mu\ell}\right),\qquad c_R = \frac{3\ell}{2G}\left(1+\frac{1}{\mu\ell}\right).
\]
At the chiral point
\[
\mu\ell = 1,
\]
one has \(c_L=0\) and \(c_R\neq 0\), while the linearized operators satisfy
\[
\mathcal D^M=\mathcal D^L.
\]
Equivalently, the massive graviton branch becomes degenerate with the left-moving graviton,
\[
\psi^M_{\mu\nu}=\psi^L_{\mu\nu}\quad (\mu\ell=1).
\]
This degeneracy is the source of the logarithmic sector: two independent solutions with distinct conformal weights away from criticality coalesce at \(\mu\ell=1\), and the linearized operator develops a non-diagonalizable structure [2606.16444].

In the global \(SL(2,\mathbb R)_L\times SL(2,\mathbb R)_R\) description, the left-moving graviton is a highest-weight state with
\[
L_0\psi^L = h\,\psi^L,\qquad L_1\psi^L=0,
\]
with \(h=2\) for the usual graviton and \(\bar h=0\). The logarithmic partner appears precisely because the massless and massive weights coincide at criticality [2605.07917].

## 2. Rank-two Jordan cell and definition of the module

The logarithmic mode is obtained by differentiating the massive branch with respect to the parameter that controls the degeneracy. One standard construction is
\[
\psi^{\rm new}_{\mu\nu} = \lim_{\mu\ell\to1} \frac{\psi^M_{\mu\nu}-\psi^L_{\mu\nu}}{\mu\ell-1},
\]
while an equivalent expression is
\[
\psi^{\log} = \left. \frac{\partial \psi^M(\mu\ell)}{\partial (\mu\ell)} \right|_{\mu\ell=1}.
\]
For the Grumiller–Johansson solution, the mode can be written as
\[
\psi_{\log\,\mu\nu}=y(\tau,\rho)\,\psi^L_{\mu\nu},
\]
with logarithmic coefficient
\[
y(\tau,\rho)=-i\tau-\ln\cosh\rho.
\]
Near the AdS\(_3\) boundary, this produces the characteristic logarithmic falloff \(\psi^{\log}\sim \rho\,e^{-2\rho}\sim (\log r)\,r^{-2}\) [2606.16444; 2605.07917].

The defining algebraic property is the non-diagonalizable action of \(L_0\):
\[
L_0\psi_L = h\psi_L,\qquad
L_0\psi_{\log}=h\psi_{\log}+\psi_L,
\]
and, at level zero, also
\[
L_1\psi^{\log}=0.
\]
Introducing
\[
L_0=h\mathbf 1+N,\qquad N^2=0,
\]
one has
\[
N\psi_L=0,\qquad N\psi_{\log}=\psi_L.
\]
In the basis \((\psi_L,\psi_{\log})\), \(L_0\) is represented by the rank-two Jordan matrix
\[
L_0 \sim
\begin{pmatrix}
h & 1\\
0 & h
\end{pmatrix}.
\]
This is the standard LCFT pattern
\[
L_0|C\rangle=h|C\rangle,\qquad
L_0|D\rangle=h|D\rangle+|C\rangle,
\]
with the identification
\[
|C\rangle\leftrightarrow \psi_L,\qquad |D\rangle\leftrightarrow \psi_{\log}.
\]
Accordingly, the logarithmic graviton module is the indecomposable Virasoro module generated by this Jordan pair and its descendants [2606.16444].

Its essential representation-theoretic feature is reducibility without decomposability. The span of \(\psi_L\) is an invariant submodule, but \(\psi_{\log}\) cannot be split off into a separate invariant module because \(L_0\psi_{\log}\) has a \(\psi_L\) component. This non-diagonalizable structure is the mechanism behind logarithmic behavior in the dual field theory [2605.07917].

## 3. Complexified Virasoro flow and the geometric meaning of the module

A central development is the geometric interpretation of the logarithmic graviton module in terms of complexified Virasoro evolution. Near the AdS\(_3\) boundary,
\[
\ln\cosh\rho = \rho-\ln 2+\mathcal O(e^{-2\rho}),
\]
so the logarithmic coefficient becomes
\[
y(\tau,\rho)=-\rho-i\tau+\ln2+\mathcal O(e^{-2\rho}).
\]
Defining the complex parameter
\[
s=\rho+i\tau,
\]
one obtains the asymptotic form
\[
y(\tau,\rho)=-s+\ln2+\mathcal O(e^{-2\rho}).
\]
Thus the same complex variable built from radial and temporal evolution appears directly in the bulk logarithmic mode [2606.16444].

On the algebraic side, exponentiating the Jordan decomposition of \(L_0\) gives
\[
e^{sL_0}=e^{s(h\mathbf1+N)}=e^{sh}e^{sN}=e^{sh}(1+sN),
\]
since \(N^2=0\). Therefore
\[
e^{sL_0}\psi_L=e^{sh}\psi_L,
\qquad
e^{sL_0}\psi_{\log}=e^{sh}(\psi_{\log}+s\psi_L).
\]
The generalized eigenstate picks up a term linear in \(s\), which is the algebraic source of logarithmic behavior. Near the boundary, the bulk solution satisfies
\[
\psi_{\log}\sim -s\,\psi_L
\]
up to the constant \(\ln2\) and subleading corrections. The same parameter \(s\) therefore controls both radial-time dependence in the bulk and Jordan mixing in the boundary representation [2606.16444].

This leads to the interpretation that radial evolution, temporal evolution, and logarithmic mixing are different manifestations of a single complexified Virasoro flow. A plausible implication is that the indecomposable structure of the logarithmic module is not merely an abstract boundary feature; it is already encoded in the asymptotic bulk metric perturbation through the complex variable \(s=\rho+i\tau\) [2606.16444].

## 4. Descendants, monodromy, and reconstruction of the full module

The logarithmic structure persists through the full \(SL(2,\mathbb R)_L\) descendant tower. Defining
\[
\psi_n^L := L_{-1}^n \psi^L,\qquad
\psi_n^{\log}:=L_{-1}^n\psi^{\log},\qquad n\ge 0,
\]
and using
\[
[L_0,L_{-1}]=L_{-1},
\]
one obtains
\[
L_0\psi_n^L=(h+n)\psi_n^L,
\qquad
L_0\psi_n^{\log}=(h+n)\psi_n^{\log}+\psi_n^L.
\]
Hence each level \(n\) carries the same rank-two Jordan structure,
\[
L_0\Psi_n=
\begin{pmatrix}
h+n & 1\\
0 & h+n
\end{pmatrix}\Psi_n,
\qquad
\Psi_n=
\begin{pmatrix}
\psi_n^{\log}\\
\psi_n^L
\end{pmatrix}.
\]
The nilpotent part is unchanged across the entire descendant tower, while the eigenvalue shifts from \(h\) to \(h+n\) [2605.07917].

The same module can be reconstructed from monodromy. In Fefferman–Graham coordinates, near the boundary,
\[
r=e^\rho,\qquad
\psi^L\sim r^{-2},\qquad
\psi^{\log}\sim (\log r)\,r^{-2}.
\]
Under analytic continuation of the radial coordinate,
\[
r\to e^{2\pi i}r\qquad\Rightarrow\qquad \log r\to \log r+2\pi i,
\]
so
\[
\psi^{\log}\to \psi^{\log}+2\pi i\,\psi^L,
\qquad
\psi^L\to \psi^L.
\]
In the basis \((\psi^{\log},\psi^L)\), the monodromy operator is
\[
M=
\begin{pmatrix}
1 & 2\pi i\\
0 & 1
\end{pmatrix}
=e^{2\pi iN}.
\]
Because \([L_{-1},N]=0\), the same unipotent monodromy acts at every descendant level,
\[
\psi_n^{\log}\to \psi_n^{\log}+2\pi i\,\psi_n^L.
\]
This establishes the identification
\[
\text{Jordan structure of }L_0 \Longleftrightarrow \text{unipotent radial monodromy in AdS}_3.
\]
Requiring monodromy-compatible Virasoro flow then uniquely reconstructs the full indecomposable logarithmic module [2605.07917].

A complementary description uses the complexified parameter \(s\). Analytic continuation
\[
s\to s+2\pi i
\]
gives
\[
\psi_L\to e^{2\pi ih}\psi_L,
\qquad
\psi_{\log}\to e^{2\pi ih}\bigl(\psi_{\log}+2\pi i\,\psi_L\bigr),
\]
which is the full LCFT-type monodromy operator
\[
M=e^{2\pi iL_0}=e^{2\pi ih}(1+2\pi iN).
\]
The unipotent shift in \(\log r\) and the Jordan monodromy of \(L_0\) are therefore two descriptions of the same logarithmic graviton module [2606.16444].

## 5. Holographic interpretation, boundary conditions, and non-unitarity

Within the conjectured AdS\(_3\)/LCFT\(_2\) correspondence, the left-moving graviton is identified with a boundary operator \(C(z)\) or stress tensor component, while the logarithmic graviton is identified with its logarithmic partner \(D(z)\). Standard LCFT two-point structure, used as context in the recent analysis, is
\[
\langle C(z)\,C(0)\rangle = 0,\qquad
\langle C(z)\,D(0)\rangle \sim z^{-2h},\qquad
\langle D(z)\,D(0)\rangle \sim z^{-2h}\ln|z|^2.
\]
The logarithms arise precisely because \(L_0\) acts as \(h\mathbf1+N\) with \(N\neq0\) [2606.16444].

The module has immediate consequences for the physical interpretation of chiral TMG. A rank-two Jordan block for \(L_0\) is incompatible with a positive-definite inner product, so the logarithmic module is necessarily non-unitary. This matches the interpretation of the dual theory as a logarithmic conformal field theory rather than an ordinary unitary CFT [2605.07917].

Boundary conditions are therefore decisive. Under strict Brown–Henneaux boundary conditions one often truncates away the logarithmic modes to recover “chiral gravity”. Allowing softened logarithmic boundary conditions admits the full logarithmic graviton module, leading to “log gravity” and a dual LCFT description [2605.07917]. A longstanding misconception is that the chiral point automatically implies a purely chiral, holomorphically factorized theory; the one-loop partition-function analysis of Euclidean TMG instead showed that the partition function does not factorize holomorphically and, at the chiral point, has the structure expected from an LCFT, providing evidence that the logarithmic sector is not an incidental artifact of linearized analysis [1007.5189].

In that partition-function framework, the vacuum Virasoro module is accompanied by a character associated with the logarithmic partner of the stress tensor. This supports the view that the logarithmic graviton module is part of the quantum spectrum, not merely a classical degeneracy [1007.5189].

## 6. Related realizations and generalizations

The AdS\(_3\) logarithmic graviton module is part of a broader pattern in critical gravity. In \(D\)-dimensional critical gravity linearized about AdS, the massless and massive spin-2 modes degenerate and are replaced by logarithmic modes. The resulting pairs \((h^{(0)},h^{\log})\) satisfy a Jordan-cell relation for the AdS isometry generator, and the bulk solutions exhibit logarithmic radial dependence. These works explicitly interpret the resulting non-diagonalizable representation as the bulk counterpart of a logarithmic CFT in higher dimensions [1102.4091; 1101.5891].

Three-dimensional variants provide further realizations. Zwei-Dreibein Gravity exhibits critical points where massive gravitons coincide with pure gauge modes and logarithmic modes appear, both in the linearized theory and in exact AdS wave solutions; at those points the theory is conjectured to be dual to an LCFT with zero central charges and nonzero new anomalies [1401.5386]. In flat-space generalized massive gravity, a critical degeneracy of two massive modes produces a massive logarithmic graviton, with the pair \(\{h^{(m_0)},h^{\log}\}\) forming a rank-two Jordan cell for the relevant generator in the Galilean conformal algebra description [1301.3604].

A related but distinct use of the same language appears in near-extremal black holes in New Massive Gravity. There the relevant logarithmic sector is a boundary graviton sector on a near-horizon AdS\(_2\times S^1\) geometry: exact zero modes at extremality acquire eigenvalues linear in temperature near extremality, and their one-loop determinant yields a logarithmic correction to the entropy,
\[
S=S_{\text{scl}}+\frac{3}{2}\log\left(\frac{8\pi T}{|b|l^2}\right)+\ldots
\]
This suggests that “logarithmic graviton module” can also denote a distinguished boundary graviton sector whose quantum fluctuations produce logarithmic thermodynamic corrections, rather than the AdS\(_3\)/LCFT\(_2\) Jordan cell of chiral TMG [2606.13546].

Across these examples, the recurring structure is a degeneracy of linearized operators, the appearance of generalized eigenvectors, and a non-diagonalizable action of the relevant symmetry generator. In the specific AdS\(_3\) chiral-TMG sense, however, the logarithmic graviton module is most precisely the rank-two indecomposable Virasoro module generated by \(\psi_L\) and \(\psi_{\log}\), with descendant tower, unipotent monodromy, and complexified Virasoro flow all encoding the same Jordan structure [2606.16444; 2605.07917].

Source: https://www.emergentmind.com/topics/logarithmic-graviton-module