REVIEW
Generalized Kahler manifolds and off-shell supersymmetry
High Energy Physics - Theory · Submitted 14 Dec 2005 · 20 references
Pith's verdict: A real result — the general N=(2,2) off-shell formulation and the generalized Kähler potential — with one narrow rigor gap in Section 6 where the metric is matched to K by exhibiting a PDE solution rather than proving uniqueness.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A single real function encodes the whole local geometry of a generalized Kähler manifold, which is exactly what an off-shell N=(2,2) sigma model needs.
The reading
What carries the argument
Three Poisson structures carry the proof: $π_± = (J_+ ± J_-)g^{-1}$ and $σ = [J_+,J_-]g^{-1}$, related by $σ = ±(J_+ ∓ J_-)π_±$ and obeying $ker σ = ker π_+ ⊕ ker π_-$. Their symplectic foliation splits the manifold into a kernel part, where complex coordinates can be chosen simultaneously for both structures, and a leaf part, where $Ω = σ^{-1}$ is a closed symplectic form whose $(2,0)$ piece with respect to either complex structure is holomorphic symplectic. Darboux's theorem then gives coordinates $(q,p)$ and $(Q,P)$, and the canonical transformation between them is generated by $K(q,P)$ via $p = ∂K/∂q$, $Q = ∂K/∂P$. That generating function is the generalized Kähler potential, and it is simultaneously the superspace Lagrangian and the object whose second derivatives assemble the $\sigma$-model data.
Extended reading notes
Core claim
The central claim is that any generalized Kähler manifold admits, locally, a generalized Kähler potential: a single real function $K$ of chiral, twisted chiral and semichiral coordinates whose second derivatives reproduce the metric, the $B$-field and the two complex structures $J_+$, $J_-$. The authors reach this by decomposing the tangent space according to the kernels of three Poisson structures and then working on the symplectic leaves of $[J_+,J_-]g^{-1}$, where the inverse two-form is closed and its $(2,0)$ part is holomorphic symplectic. On each leaf one has Darboux coordinates for $J_+$ and, separately, for $J_-$; the map between them preserves the symplectic form, so it is a canonical transformation with a generating function $K(q,P)$. Writing $J_+$ and $J_-$ in the mixed coordinates $(q,P)$ then reproduces, term by term, the expressions previously derived from the semichiral $\sigma$ model. The authors present this as settling the long-standing question of whether chiral, twisted chiral and semichiral superfields together suffice for a general off-shell formulation, answering affirmatively a conjecture they attribute to earlier work and contradicting a published negative conclusion.
Load-bearing premise
The argument assumes the Poisson structures have constant rank in a neighborhood (Section 7 concedes this and expects continuity to relax it) and, more consequentially, that the first-order equation (6.77) together with the algebraic constraints fixes the metric uniquely — the paper only exhibits one solution, the sigma-model metric already built from $K$, so uniqueness is assumed rather than proved.
Editorial extensions
If this is right
- Every general $N=(2,2)$ sigma model can be written in $N=(2,2)$ superspace with a single real Lagrangian $K$, so computations no longer need to pass through $N=(1,1)$ components and auxiliary spinors.
- Quotients and dualities of generalized Kähler manifolds become questions about a function $K$ and its symmetries, in the same way that Kähler quotients are questions about a Kähler potential.
- When the anticommutator $\{J_+,J_-\}$ is a constant $c$ with $|c|<2$, the manifold is hyperkähler, and the construction turns the hyperkähler condition into a differential equation on $K$ — the Monge–Ampère equation in four dimensions at $c=0$.
- When $[J_+,J_-]$ is invertible, $(Ω^{(2,0)})^{d_s}$ is a nondegenerate holomorphic volume form, so such targets are generalized Calabi–Yau in the sense of Hitchin.
- The first-order partial differential equation (6.77) relating the two torsionful connections gives a new handle on constructing hyperkähler metrics from a potential.
Reading between the lines
- The result reframes off-shell supersymmetry as a statement about polarizations of a symplectic leaf: the choice of which half of the Darboux coordinates go into the generating function is the geometric shadow of choosing which superfields to write the Lagrangian in. That suggests the chiral/twisted-chiral/semichiral split is not a classification of multiplets but a choice of polarization, and othe
- If the potential is really a generating function of a canonical transformation, the known ambiguities of $K$ — adding $f(φ,χ,X_L) + \bar f + g(φ,\barχ,X_R) + \bar g$ — should be readable as the freedom to change polarization plus exact symplectomorphisms, which would give a clean geometric derivation of the sigma-model's Kähler gauge transformations.
- The paper's own framing invites a check on four-dimensional examples: any four-dimensional generalized Kähler structure with $[J_+,J_-]\neq 0$ should be reconstructible from one function of four semichiral coordinates, which is a concrete, finite computation worth doing explicitly.
- Because the argument is local and leaf-by-leaf, the global story is untouched: a nontrivial bundle of leaves would require a transition-function cocycle for $K$, and nothing here rules out an obstruction of that kind.
Original abstract
We solve the long standing problem of finding an off-shell supersymmetric formulation for a general N = (2, 2) nonlinear two dimensional sigma model. Geometrically the problem is equivalent to proving the existence of special coordinates; these correspond to particular superfields that allow for a superspace description. We construct and explain the geometric significance of the generalized Kahler potential for any generalized Kahler manifold; this potential is the superspace Lagrangian.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We solve the long standing problem of finding an off-shell supersymmetric formulation for a general N = (2, 2) nonlinear two dimensional sigma model. Geometrically the problem is equivalent to proving the existence of special coordinates; these correspond to particular superfields that allow for a superspace description. We construct and explain the geometric significance of the generalized Kahler potential for any generalized Kahler manifold; this potential is the superspace Lagrangian.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We solve the long standing problem of finding an off-shell supersymmetric formulation for a general N = (2, 2) nonlinear two dimensional sigma model. | contribution 0.80 | 0.96 | 0.81 | asserted 1.00 |
| s1 | Geometrically the problem is equivalent to proving the existence of special coordinates; these correspond to particular superfields that allow for a superspace description. | interpretation 0.68 | 0.21 | 0.08 | asserted 1.00 |
| s2 | We construct and explain the geometric significance of the generalized Kahler potential for any generalized Kahler manifold; this potential is the superspace Lagrangian. | contribution 0.99 | 0.95 | 0.46 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
51 arXiv papers cite this in 128 sentences
Papers citing it · 86 sentences without a confident label
Builds on it 1 paper
-
We also explain how to interpret these facts from the point of view of the prequantum gerbe, following and extending some of the work of Hull, Lindström, Roček, von Unge, and Zabzine [ref] on the relation between gerbes and generalized Kähler geometry.
Generalized Kahler geometry · Introduction · 0.99
Uses its method or tool 2 papers
-
We will use the worldsheet construction of generalized structures in [ref] , and find that a single equation, ([ref]), is enough to promote them to $=2$ supergravity solutions.
Generalized Kaehler Potentials from Supergravity · $=2$ NS solutions from superspace · 0.98
-
Defining $E$ to be the sum of the metric and $B$-field, $E=g+B$, and the submatrices according to E=( [ E_LL E_LR; E_RL E_RR; ] ), Esub we may use the general formulae in [ref] to calculate E_LL = νΣ/2|F”|^2( [ 2D(Σ-√(2)D) 3D^2-Σ^2; 3D^2-Σ^2 -2D(Σ+√(2)D) ]), E_LR = ν/4|F”|^2( [ -(√(2)D-Σ)(5Σ^2-D^2) -D(3Σ^2+D^2); D(3Σ^2+D^2) (√(2)D+Σ)(5Σ^2-D^2) ]), E_RL = ν/4|F”|^2( [ (√(2)D-Σ)(Σ^2-5D^2) -D(3Σ^2-7D^2); D(3Σ^2-7D^2) -(√(2)D+Σ)(Σ^2-5D^2) ]), E_RR = νΣ/2|F”|^2( [ 2D(Σ-√(2)D) Σ^2-3D^2; Σ^2-3D^2 -2D(Σ+ √(2)D) ]).
Pseudo-hyperkahler Geometry and Generalized Kahler Geometry · Examples · 1.00
Cites it as support 1 paper
-
J_+ J_- + J_- J_+ =2 ( 1-α/1+α ) 𝕀 and, as shown in [ref] , when $( 1-α/1+α )^2<1$ (which is true since $α$ is positive), it is possible to explicitly construct a hyperstructure so the geometry is hyper.
Generalized Calabi-Yau metric and Generalized Monge-Ampere equation · Symplectic case: $d_c = d_t =0$ · 0.97
Cites it as background 28 papers
-
We will first review some more results we need from the paper [ref] (some part of it was already reviewed in section [ref]).
Generalized Kaehler Potentials from Supergravity · Generalized manifolds from a potential · 0.89
-
For example, the Lorentzian sigma model will have $N=2$ supersymmetry provided the target space has the bihermitean geometry of GHR [ref] , which has recently been given a new formulation in terms of Generalized Kähler geometry [ref] , [ref] .
Geometry of the N=2 supersymmetric sigma model with Euclidean worldsheet · Sigma models · 0.88
-
More recently, it has been shown that the superfield representations needed for a complete description of the (2,2) supersymmetric sigma model include, beside the better known chiral and twisted chiral superfields, the semichiral superfields [ref] .
T-duality, quotients and generalized Kahler geometry · Introduction and Summary · 0.81
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.