REVIEW
Hyper-Kahler Sigma Models on (Co)tangent Bundles with SO(n) isometry
High Energy Physics - Theory · Submitted 27 Feb 2006 · 75 references
Pith's verdict: The tangent-bundle construction is new and looks right; the abstract overclaims the cotangent side, which is proven only for n=4.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper constructs explicit $N=2$ supersymmetric sigma-model actions on tangent and cotangent bundles over the quadric surface $Q^{n-2}$, with the tangent action valid for all $n$ and the cotangent action derived for $n=4$ and…
The reading
What carries the argument
The load-bearing object is the projective-superspace polar multiplet $\Upsilon(\zeta)=\sum_{n\ge0}\Upsilon_n\zeta^n$, whose constant part $\Upsilon_0=\Phi$ is a chiral superfield parametrizing $Q^{n-2}$ and whose linear part $\Upsilon_1=\Sigma$ is a complex linear superfield playing the role of a tangent vector. The action has the form $\oint (d\zeta/\zeta) K(\Upsilon,\bar\Upsilon)$; all $\Upsilon_n$ with $n\ge2$ are auxiliary and must be eliminated. The paper eliminates them by solving the equations of motion at the origin and transporting the solution to a generic point with finite $SO(n)$ transformations, using the homogeneity of $Q^{n-2}$; the result is (4.30), whose substitution into the Kähler potential gives (4.10). For the cotangent bundle, the same mechanism is dualized by Legendre transformation, and the duality is summarized by identities (B.5)-(B.8) relating Riemann-tensor contractions to the invariants $\rho$ and $\sigma$, or equivalently $\xi$ and $\chi$.
Extended reading notes
Core claim
On the paper's own terms, replacing the $N=1$ Kähler potential of $Q^{n-2}$ by arctic polar multiplets in projective superspace and eliminating the infinite tower of auxiliary superfields through the $SO(n)$ isometry yields the off-shell $N=2$ action (4.10) on $TQ^{n-2}$. The tangent-sector logarithm contains the standard kinetic term $g_{i\bar j}\Sigma^i\bar\Sigma^{\bar j}$ plus explicit fourth-order curvature terms built from $(g_{i\bar j}\Sigma^i\bar\Sigma^{\bar j})^2$ and the Riemann tensor $R_{i\bar j k\bar l}$. Dualizing the tangent vector $\Sigma$ by a Legendre transformation into a chiral cotangent vector $\psi$ gives the cotangent action (5.11), written in terms of the invariants $\xi=g^{i\bar j}\psi_i\bar\psi_{\bar j}$ and $\chi=R^{\bar i j \bar k l}\bar\psi_{\bar i}\psi_j\bar\psi_{\bar k}\psi_l$, for $T^*Q^2$. In the $n=3$ limit the actions reduce to the known $T CP^1$ and $T^*CP^1$ models after a rescaling of the size parameter.
Load-bearing premise
The cotangent-bundle action (5.11) is derived only for $n=4$; extending it to general $n$ assumes that the metric–Riemann-tensor identities (B.5)–(B.8), checked in a product frame for $Q^2$, remain valid for $Q^{n-2}$, and this assumption is the point on which the general-$n$ cotangent claim rests.
Editorial extensions
If this is right
- For every $n$, the tangent-bundle action (4.10) gives an explicit off-shell $N=2$ sigma model on $TQ^{n-2}$, so the corresponding hyper-Kähler metric is realized by a concrete superspace action.
- For $n=4$, the cotangent action (5.11) gives an explicit hyper-Kähler potential on $T^*Q^2$; the paper checks it against the product decomposition $T^*Q^2\simeq T^*CP^1\times T^*CP^1$.
- The $n=3$ case consistently reduces to the known $T CP^1$ and $T^*CP^1$ actions, providing a built-in check of the construction.
- If the conjectured extension holds, $T^*Q^{n-2}$ is locally $\mathbb{R}^2\times SO(n)/SO(n-4)$, a cohomogeneity-two hyper-Kähler manifold for which the paper supplies an explicit action.
Reading between the lines
- The two-invariant structure of (5.11), determined only by $\xi$ and $\chi$, is likely to extend to cotangent bundles of other compact Hermitian symmetric spaces obtained by the same superpotential-type Kähler quotient; testing one such space would show whether the general action is always a function of just these two scalars.
- A direct check of the identities (B.5)-(B.8) for $n=5$ would settle the general-$n$ cotangent claim; if the identities fail, (5.11) would need extra invariants or higher-order terms.
- The explicit cohomogeneity-two example may provide a useful comparison case for hyper-Kähler quotient constructions, potentially identifying the action with a known quotient or revealing a new metric.
Original abstract
We construct N=2 supersymmetric nonlinear sigma models whose target spaces are tangent as well as cotangent bundles over the quadric surface Q^{n-2} = SO(n)/[SO(n-2)\times U(1)]. We use the projective superspace framework, which is an off-shell formalism of N=2 supersymmetry.
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 construct N=2 supersymmetric nonlinear sigma models whose target spaces are tangent as well as cotangent bundles over the quadric surface Q^{n-2} = SO(n)/[SO(n-2)\times U(1)]. We use the projective superspace framework, which is an off-shell formalism of N=2 supersymmetry.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We construct N=2 supersymmetric nonlinear sigma models whose target spaces are tangent as well as cotangent bundles over the quadric surface Q^{n-2} = SO(n)/[SO(n-2)\times U(1)]. | contribution 1.00 | 0.95 | 0.61 | asserted 1.00 |
| s1 | We use the projective superspace framework, which is an off-shell formalism of N=2 supersymmetry. | method 0.99 | 0.55 | 0.04 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v4
- 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
Figures
Figures reproduced from arXiv:hep-th/0602277 by the authors.
References
How the literature uses it
17 arXiv papers cite this in 32 sentences
Papers citing it · 16 sentences without a confident label
Builds on it 1 paper
-
Here we can immediately apply the results obtained in [ref] to the case of $$-models in AdS.
Extended supersymmetric sigma models in AdS_4 from projective superspace · $=2$ supersymmetric $$-models on the cotangent bundles of Hermitian symmetric spaces · 0.99
Uses its method or tool 3 papers
-
Projective superspace provides methods to construct such models and for a large class of examples it can be used to extract the arctic superfields $$ and $$ [ref] , [ref] , [ref] (see [ref] for a review) that we need in order to determine the generalized Kähler potential of the hyperkähler target space using the method derived in chapter [ref].
A twistor sphere of generalized Kahler potentials on hyperkahler manifolds · Hyperkähler structures on cotangent bundles of Kähler manifolds and projective superspace · 0.83
-
On the other hand, the problem of eliminating the auxiliary superfields can be reduced to that studied in [ref] if we choose [ref] and follow the five-dimensional construction of [ref] to foliate $AdS^4|8$ into a family of three-dimensional $=2$ Minkowski superspaces.
Extended supersymmetric sigma models in AdS_4 from projective superspace · Formulation of $=2$ supersymmetric $$-models in AdS$^4|8$ · 0.83
-
* Method I [ref] makes use of the properties that (i) $$ is a homogeneous space, $= G/H$; (ii) the group $G$ acts on $$ by holomorphic isometries.
Lectures on nonlinear sigma-models in projective superspace · Hermitian symmetric spaces: Method I · 0.87
Compares with it 1 paper
-
It can be seen that lim_ ℍ →G L(x) = G r^2 ln( 1 - x/r^2 ) which agrees with [ref] .
New extended superconformal sigma models and Quaternion Kahler manifolds · Complex projective space · 0.98
Cites it as support 1 paper
-
We make this assertion on the basis of past results in the literature [ref] , wherein it has been note that a pair of supermultiplets described by one chiral supermultiplet and one complex linear supermultiplet provides exactly the spectrum of component fields required to describe a Dirac spinor, two scalars and two psuedoscalars of a 4D, $=2$ supersymmetric hypermultiplet system.
On 1D, N = 4 Supersymmetric SYK-Type Models (II) · CS + CLS + 3PT-A + 3PT-B · 0.98
Cites it as background 9 papers
-
Massless HK NLSMs on the cotangent bundles over the classical HSSs [ref] [A massless HK NLSM on the tangent bundle over the complex quadric surface being one of the classical HSSs has been worked out in [ref] .] and over the $E_6/SO(10)×U(1)$ [ref] were obtained in projective superspace [ref] , but without using a gauge field Lagrange multiplier.
Walls in supersymmetric massive nonlinear sigma model on complex quadric surface · Introduction · 0.85
-
Although we will not be dealing explicitly with superconformal models, we find it useful to keep the $u^+$.] [equation] the nonlinear sigma model action can be written as an integral over the $=1$ superspace [equation] The arctic superfield $^I$ is made of an infinite number of $=1$ superfields $_n^I$, the lowest two of which, $Φ^I := _0^I$ and $^I := _1^I$, are constrained, [equation] One can eliminate $_n^I$ for $n≥2$ by solving (formally in general but explicitly for a broad class of models [ref] ) the algebraic equations [ref] [equation] and similarly for $_In$.
Relating harmonic and projective descriptions of N=2 nonlinear sigma models · Nonlinear sigma models in projective superspace · 0.90
-
The program of deriving the hyperkähler potential on $T^*$ from the $$-model ([ref]), for various Hermitian symmetric spaces, has been carried in a series of papers [ref] .
New supersymmetric sigma-model duality · $=2$ $$-models on cotangent bundles of Hermitian symmetric spaces · 0.83
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.