Chris Isham: mentor, colleague, friend
Celebrating fifty years of collaboration and friendship with Chris Isham.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
M. J. Duff contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Celebrating fifty years of collaboration and friendship with Chris Isham.
Generalizing the "The Membrane at the End of the Universe", a 1987 paper "Supersingletons" by Blencowe and the author conjectured the existence of BPS p-brane configurations (p=2, 3, 4 ,5) and corresponding CFTs on the boundary of anti-de Sitter space with symmetries appearing in Nahm's classification of superconformal algebras: OSp(N|4)~N=8, 4, 2, 1; SU(2,2|N)~N= 4, 2, 1; F^2(4); OSp(8^*|N), ~N=4, 2$. This correctly predicted the D3-brane with SU(2,2|4) on AdS_5 x S^5 and the M5-brane with OSp(8^*|4) on AdS_7 x S^4, in addition to the known M2-brane with OSp(8|4) on AdS_4 x S^7. However, finding non-singular AdS solutions matching the other symmetries was less straightforward. Here we perform a literature search and confirm that all of the empty slots have now been filled, thanks to a number of extra ingredients including warped products and massive Type IIA. Orbifolds, orientifolds and S-folds also play a part providing examples not predicted: SU(2,2|3), OSp(3|4), OSp(5|4) and OSp(6|4) but not OSp(7|4). We also examine the status of p=(0,1) configurations.
When compact manifolds $X$ and $Y$ are both even dimensional, their Euler characteristics obey the Künneth formula $χ(X\times Y)=χ(X) χ(Y)$. In terms of the Betti numbers $b_p(X)$, $χ(X)=\sum_{p}(-1)^p b_p(X)$, implying that $χ(X)=0$ when $X$ is odd dimensional. We seek a linear combination of Betti numbers, called $ρ$, that obeys an analogous formula $ρ(X\times Y)=χ(X) ρ(Y)$ when $Y$ is odd dimensional. The unique solution is $ρ(Y)=-\sum_{p}(-1)^p p b_p(Y)$. Physical applications include: (1) $ρ\rightarrow (-1)^m ρ$ under a generalized mirror map in $d=2m+1$ dimensions, in analogy with $χ\rightarrow (-1)^m χ$ in $d=2m$; (2) $ρ$ appears naturally in compactifications of M-theory. For example, the 4-dimensional Weyl anomaly for M-theory on $X^4 \times Y^7$ is given by $χ(X^4)ρ(Y^7)=ρ(X^4 \times Y^7) $ and hence vanishes when $Y^7$ is self-mirror. Since, in particular, $ρ(Y\times S^1)=χ(Y)$, this is consistent with the corresponding anomaly for Type IIA on $X^4 \times Y^6$, given by $χ(X^4)χ(Y^6)=χ(X^4 \times Y^6)$, which vanishes when $Y^6$ is self-mirror; (3) In the partition function of $p$-form gauge fields, $ρ$ appears in odd dimensions as $χ$ does in even.
Using simple symmetry arguments we classify the ungauged $D=4$, $\mathcal{N}=2$ supergravity theories, coupled to both vector and hyper multiplets through homogeneous scalar manifolds, that can be built as the product of $\mathcal{N}=2$ and $\mathcal{N}=0$ matter-coupled Yang-Mills gauge theories. This includes all such supergravities with two isolated exceptions: pure supergravity and the $T^3$ model.
We describe various relations between Bhargava's higher composition laws, which generalise Gauss's original composition law on integral binary quadratic forms, and extremal black hole solutions appearing in string/M-theory and related models. The cornerstone of these correspondences is the identification of the charge cube of the STU black hole with Bhargava's cube of integers, which underpins the related higher composition laws.
The Becchi-Rouet-Stora-Tyutin (BRST) transformations and equations of motion of a gravity-two-form-dilaton system are derived from the product of two Yang-Mills theories in a BRST covariant form, to linear approximation. The inclusion of ghost fields facilitates the separation of the graviton and dilaton. The gravitational gauge fixing term is uniquely determined by those of the Yang-Mills factors which can be freely chosen. Moreover, the resulting gravity-two-form-dilaton Lagrangian is anti-BRST invariant and the BRST and anti-BRST charges anti commute as a direct consequence of the formalism.
Using a unified formulation of $\mathcal{N} = 1, 2, 4, 8$, super Yang-Mills theories in $D = 3$ spacetime dimensions with fields valued respectively in $\mathbb{R, C, H, O}$, it was shown that tensoring left and right multiplets yields a Freudenthal magic square of $D = 3$ supergravities. When tied in with the more familiar $\mathbb{R, C, H, O}$ description of super Yang-Mills in $D = 3, 4, 6, 10$ this results in a magic pyramid of supergravities: the known $4 \times 4$ magic square at the base in $D=3$, a $3\times 3$ square in $D=4$, a $2 \times 2$ square in $D=6$ and Type II supergravity at the apex in $D=10$.
In a September 1976 PRL Eguchi and Freund considered two topological invariants: the Pontryagin number $P \sim \int d^4x \sqrt{g}R^* R$ and the Euler number $χ\sim \int d^4x \sqrt{g}R^* R^*$ and posed the question: to what anomalies do they contribute? They found that $P$ appears in the integrated divergence of the axial fermion number current, thus providing a novel topological interpretation of the anomaly found by Kimura in 1969 and Delbourgo and Salam in 1972. However, they found no analogous role for $χ$. This provoked my interest and, drawing on my April 1976 paper with Deser and Isham on gravitational Weyl anomalies, I was able to show that for Conformal Field Theories the trace of the stress tensor depends on just two constants: \[ g^{μν}\langle T_{μν}\rangle=\frac{1}{(4π)^2}(cF-aG)\] where $F$ is the square of the Weyl tensor and $\int d^4x\sqrt{g} G/(4π)^2$ is the Euler number. For free CFTs with $N_s$massless fields of spin $s$ \[ 720c=6N_0 + 18N_{1/2} + 72 N_1~~~~ 720a=2N_0 + 11N_{1/2} + 124N_1 \]