Deformed Hermitian Yang–Mills equation

In mathematics and theoretical physics, and especially gauge theory, the deformed Hermitian Yang–Mills (dHYM) equation is a differential equation describing the equations of motion for a D-brane in the B-model (commonly called a B-brane) of string theory. The equation was derived by Mariño-Minasian-Moore-Strominger in the case of Abelian gauge group (the unitary group [math]\displaystyle{ \operatorname{U}(1) }[/math]), and by Leung–Yau–Zaslow using mirror symmetry from the corresponding equations of motion for D-branes in the A-model of string theory.

Definition

In this section we present the dHYM equation as explained in the mathematical literature by Collins-Xie-Yau. The deformed Hermitian–Yang–Mills equation is a fully non-linear partial differential equation for a Hermitian metric on a line bundle over a compact Kähler manifold, or more generally for a real [math]\displaystyle{ (1,1) }[/math]-form. Namely, suppose [math]\displaystyle{ (X,\omega) }[/math] is a Kähler manifold and [math]\displaystyle{ [\alpha] \in H^{1,1}(X,\mathbb{R}) }[/math] is a class. The case of a line bundle consists of setting [math]\displaystyle{ [\alpha]=c_1(L) }[/math] where [math]\displaystyle{ c_1(L) }[/math] is the first Chern class of a holomorphic line bundle [math]\displaystyle{ L\to X }[/math]. Suppose that [math]\displaystyle{ \dim X = n }[/math] and consider the topological constant

[math]\displaystyle{ \hat z([\omega], [\alpha]) = \int_X (\omega + i \alpha)^n. }[/math]

Notice that [math]\displaystyle{ \hat z }[/math] depends only on the class of [math]\displaystyle{ \omega }[/math] and [math]\displaystyle{ \alpha }[/math]. Suppose that [math]\displaystyle{ \hat z\ne 0 }[/math]. Then this is a complex number

[math]\displaystyle{ \hat z([\omega], [\alpha]) = r e^{i \theta} }[/math]

for some real [math]\displaystyle{ r\gt 0 }[/math] and angle [math]\displaystyle{ \theta\in [0,2\pi) }[/math] which is uniquely determined.

Fix a smooth representative differential form [math]\displaystyle{ \alpha }[/math] in the class [math]\displaystyle{ [\alpha] }[/math]. For a smooth function [math]\displaystyle{ \phi: X \to \mathbb{R} }[/math] write [math]\displaystyle{ \alpha_{\phi} = \alpha + i \partial \bar \partial \phi }[/math], and notice that [math]\displaystyle{ [\alpha_{\phi}] = [\alpha] }[/math]. The deformed Hermitian Yang–Mills equation for [math]\displaystyle{ (X,\omega) }[/math] with respect to [math]\displaystyle{ [\alpha] }[/math] is

[math]\displaystyle{ \begin{cases}\operatorname{Im}(e^{-i\theta} (\omega + i \alpha_{\phi})^n) = 0\\ \operatorname{Re}(e^{-i\theta} (\omega + i \alpha_{\phi})^n) \gt 0.\end{cases} }[/math]

The second condition should be seen as a positivity condition on solutions to the first equation. That is, one looks for solutions to the equation [math]\displaystyle{ \operatorname{Im}(e^{-i\theta} (\omega + i \alpha_{\phi})^n) = 0 }[/math] such that [math]\displaystyle{ \operatorname{Re}(e^{-i\theta} (\omega + i \alpha_{\phi})^n) \gt 0 }[/math]. This is in analogy to the related problem of finding Kähler-Einstein metrics by looking for metrics [math]\displaystyle{ \omega + i \partial \bar \partial \phi }[/math] solving the Einstein equation, subject to the condition that [math]\displaystyle{ \phi }[/math] is a Kähler potential (which is a positivity condition on the form [math]\displaystyle{ \omega + i \partial \bar \partial \phi }[/math]).

Discussion

Relation to Hermitian Yang–Mills equation

The dHYM equations can be transformed in several ways to illuminate several key properties of the equations. First, simple algebraic manipulation shows that the dHYM equation may be equivalently written

[math]\displaystyle{ \operatorname{Im}((\omega+i\alpha)^n)=\tan \theta \operatorname{Re}((\omega+i\alpha)^n). }[/math]

In this form, it is possible to see the relation between the dHYM equation and the regular Hermitian Yang–Mills equation. In particular, the dHYM equation should look like the regular HYM equation in the so-called large volume limit. Precisely, one replaces the Kähler form [math]\displaystyle{ \omega }[/math] by [math]\displaystyle{ k\omega }[/math] for a positive integer [math]\displaystyle{ k }[/math], and allows [math]\displaystyle{ k\to \infty }[/math]. Notice that the phase [math]\displaystyle{ \theta_k }[/math] for [math]\displaystyle{ (X,k\omega,[\alpha]) }[/math] depends on [math]\displaystyle{ k }[/math]. In fact, [math]\displaystyle{ \tan \theta_k = O(k^{-1}) }[/math], and we can expand

[math]\displaystyle{ (k\omega + i \alpha)^n = k^n \omega^n + i n k^{n-1} \omega^{n-1}\wedge \alpha + O(k^{n-2}). }[/math]

Here we see that

[math]\displaystyle{ \operatorname{Re}((k\omega + i \alpha)^n) = k^n \omega^n + O(k^{n-2}),\quad \operatorname{Im}((k\omega + i \alpha)^n) = nk^{n-1} \omega^{n-1}\wedge \alpha + O(k^{n-3}), }[/math]

and we see the dHYM equation for [math]\displaystyle{ k\omega }[/math] takes the form

[math]\displaystyle{ C k^{n-1} \omega^n + O(k^{n-3}) = n k^{n-1} \omega^{n-1} \wedge \alpha + O(k^{n-3}) }[/math]

for some topological constant [math]\displaystyle{ C }[/math] determined by [math]\displaystyle{ \tan \theta }[/math]. Thus we see the leading order term in the dHYM equation is

[math]\displaystyle{ n\omega^{n-1}\wedge \alpha = C \omega^n }[/math]

which is just the HYM equation (replacing [math]\displaystyle{ \alpha }[/math] by [math]\displaystyle{ F(h) }[/math] if necessary).

Local form

The dHYM equation may also be written in local coordinates. Fix [math]\displaystyle{ p\in X }[/math] and holomorphic coordinates [math]\displaystyle{ (z^1,\dots,z^n) }[/math] such that at the point [math]\displaystyle{ p }[/math], we have

[math]\displaystyle{ \omega = \sum_{j=1}^n i dz^j \wedge d\bar z^j,\quad \alpha = \sum_{j=1}^n \lambda_j i dz^j \wedge d\bar z^j. }[/math]

Here [math]\displaystyle{ \lambda_j \in \mathbb{R} }[/math] for all [math]\displaystyle{ j }[/math] as we assumed [math]\displaystyle{ \alpha }[/math] was a real form. Define the Lagrangian phase operator to be

[math]\displaystyle{ \Theta_{\omega}(\alpha) = \sum_{j=1}^n \arctan(\lambda_j). }[/math]

Then simple computation shows that the dHYM equation in these local coordinates takes the form

[math]\displaystyle{ \Theta_{\omega}(\alpha) = \phi }[/math]

where [math]\displaystyle{ \phi = \theta\mod 2\pi }[/math]. In this form one sees that the dHYM equation is fully non-linear and elliptic.

Solutions

It is possible to use algebraic geometry to study the existence of solutions to the dHYM equation, as demonstrated by the work of Collins–Jacob–Yau and Collins–Yau. Suppose that [math]\displaystyle{ V\subset X }[/math] is any analytic subvariety of dimension [math]\displaystyle{ p }[/math]. Define the central charge [math]\displaystyle{ Z_V([\alpha]) }[/math] by

[math]\displaystyle{ Z_V([\alpha]) = -\int_V e^{-i\omega + \alpha}. }[/math]

When the dimension of [math]\displaystyle{ X }[/math] is 2, Collins–Jacob–Yau show that if [math]\displaystyle{ \operatorname{Im}(Z_X([\alpha]))\gt 0 }[/math], then there exists a solution of the dHYM equation in the class [math]\displaystyle{ [\alpha]\in H^{1,1}(X,\mathbb{R}) }[/math] if and only if for every curve [math]\displaystyle{ C\subset X }[/math] we have

[math]\displaystyle{ \operatorname{Im}\left(\frac{Z_C([\alpha])}{Z_X([\alpha])}\right)\gt 0. }[/math]

In the specific example where [math]\displaystyle{ X=\operatorname{Bl}_p \mathbb{CP}^n }[/math], the blow-up of complex projective space, Jacob-Sheu show that [math]\displaystyle{ [\alpha] }[/math] admits a solution to the dHYM equation if and only if [math]\displaystyle{ Z_X([\alpha])\ne 0 }[/math] and for any [math]\displaystyle{ V\subset X }[/math], we similarly have

[math]\displaystyle{ \operatorname{Im}\left(\frac{Z_V([\alpha])}{Z_X([\alpha])}\right)\gt 0. }[/math]

It has been shown by Gao Chen that in the so-called supercritical phase, where [math]\displaystyle{ \frac{(n-2)\pi}{2} \lt \theta \lt \frac{n\pi}{2} }[/math], algebraic conditions analogous to those above imply the existence of a solution to the dHYM equation. This is achieved through comparisons between the dHYM and the so-called J-equation in Kähler geometry. The J-equation appears as the *small volume limit* of the dHYM equation, where [math]\displaystyle{ \omega }[/math] is replaced by [math]\displaystyle{ \varepsilon \omega }[/math] for a small real number [math]\displaystyle{ \varepsilon\gt 0 }[/math] and one allows [math]\displaystyle{ \epsilon\to 0 }[/math].

In general it is conjectured that the existence of solutions to the dHYM equation for a class [math]\displaystyle{ [\alpha] = c_1(L) }[/math] should be equivalent to the Bridgeland stability of the line bundle [math]\displaystyle{ L }[/math]. This is motivated both from comparisons with similar theorems in the non-deformed case, such as the famous Kobayashi–Hitchin correspondence which asserts that solutions exist to the HYM equations if and only if the underlying bundle is slope stable. It is also motivated by physical reasoning coming from string theory, which predicts that physically realistic B-branes (those admitting solutions to the dHYM equation for example) should correspond to Π-stability.

Relation to string theory

Superstring theory predicts that spacetime is 10-dimensional, consisting of a Lorentzian manifold of dimension 4 (usually assumed to be Minkowski space or De sitter or anti-De Sitter space) along with a Calabi–Yau manifold [math]\displaystyle{ X }[/math] of dimension 6 (which therefore has complex dimension 3). In this string theory open strings must satisfy Dirichlet boundary conditions on their endpoints. These conditions require that the end points of the string lie on so-called D-branes (D for Dirichlet), and there is much mathematical interest in describing these branes.

Open strings with endpoints fixed on D-branes

In the B-model of topological string theory, homological mirror symmetry suggests D-branes should be viewed as elements of the derived category of coherent sheaves on the Calabi–Yau 3-fold [math]\displaystyle{ X }[/math]. This characterisation is abstract, and the case of primary importance, at least for the purpose of phrasing the dHYM equation, is when a B-brane consists of a holomorphic submanifold [math]\displaystyle{ Y\subset X }[/math] and a holomorphic vector bundle [math]\displaystyle{ E\to Y }[/math] over it (here [math]\displaystyle{ Y }[/math] would be viewed as the support of the coherent sheaf [math]\displaystyle{ E }[/math] over [math]\displaystyle{ X }[/math]), possibly with a compatible Chern connection on the bundle.

This Chern connection arises from a choice of Hermitian metric [math]\displaystyle{ h }[/math] on [math]\displaystyle{ E }[/math], with corresponding connection [math]\displaystyle{ \nabla }[/math] and curvature form [math]\displaystyle{ F(h) }[/math]. Ambient on the spacetime there is also a B-field or Kalb–Ramond field [math]\displaystyle{ B }[/math] (not to be confused with the B in B-model), which is the string theoretic equivalent of the classical background electromagnetic field (hence the use of [math]\displaystyle{ B }[/math], which commonly denotes the magnetic field strength). Mathematically the B-field is a gerbe or bundle gerbe over spacetime, which means [math]\displaystyle{ B }[/math] consists of a collection of two-forms [math]\displaystyle{ B_i \in \Omega^2(U_i) }[/math] for an open cover [math]\displaystyle{ U_i }[/math] of spacetime, but these forms may not agree on overlaps, where they must satisfy cocycle conditions in analogy with the transition functions of line bundles (0-gerbes). This B-field has the property that when pulled back along the inclusion map [math]\displaystyle{ \iota: Y \to X }[/math] the gerbe is trivial, which means the B-field may be identified with a globally defined two-form on [math]\displaystyle{ Y }[/math], written [math]\displaystyle{ \beta }[/math]. The differential form [math]\displaystyle{ \alpha }[/math] discussed above in this context is given by [math]\displaystyle{ \alpha = F(h) + \beta }[/math], and studying the dHYM equations in the special case where [math]\displaystyle{ \alpha = F(h) }[/math] or equivalently [math]\displaystyle{ [\alpha] = c_1(L) }[/math] should be seen as turning the B-field off or setting [math]\displaystyle{ \beta = 0 }[/math], which in string theory corresponds to a spacetime with no background higher electromagnetic field.

The dHYM equation describes the equations of motion for this D-brane [math]\displaystyle{ (Y,E) }[/math] in spacetime equipped with a B-field [math]\displaystyle{ B }[/math], and is derived from the corresponding equations of motion for A-branes through mirror symmetry. Mathematically the A-model describes D-branes as elements of the Fukaya category of [math]\displaystyle{ X }[/math], special Lagrangian submanifolds of [math]\displaystyle{ X }[/math] equipped with a flat unitary line bundle over them, and the equations of motion for these A-branes is understood. In the above section the dHYM equation has been phrased for the D6-brane [math]\displaystyle{ Y=X }[/math].

See also

• Hermitian Yang–Mills connection
• Yang–Mills connection
• Thomas–Yau conjecture