Resolution a la Kronheimer of $\mathbb{C}^3/Γ$ singularities and the Monge-Ampere equation for Ricci-flat Kaehler metrics in view of D3-brane solutions of supergravity

Abstract

In this paper we analyze the relevance of the generalized Kronheimer construction for the gauge-gravity correspondence. We begin with the general structure of D3-brane solutions of type IIB supergravity on smooth manifolds Y Γ that are supposed to be the crepant resolution of quotient singularities C 3 /Γ with Γ a finite subgroup of SU (3). We emphasize that non trivial 3-form fluxes require the existence of imaginary self-dual harmonic forms ω 2,1 . Although excluded in the classical Kronheimer construction they may be reintroduced by means of mass deformations. Next we concentrate on the other essential item for the D3-brane construction, namely, the existence of a Ricci-flat metric on Y Γ . We study the issue of Ricci-flat Kähler metrics on such resolutions Y Γ , with particular attention to the case Γ = Z4. We advance the conjecture that on the exceptional divisor of Y Γ the Kronheimer Kähler metric and the Ricci-flat one, that is locally flat at infinity, coincide. The conjecture is shown to be true in the case of the Ricci-flat metric on totK WP [112] that we construct, i.e. the total space of the canonical bundle of the weighted projective space WP [112], which is a partial resolution of C 3 /Z4. For the full resolution we have Y Z 4 = tot K F 2 , where F2 is the second Hizebruch surface. We try to extend the proof of the conjecture to this case using the one-parameter Kähler metric on F2 produced by the Kronheimer construction as initial datum in a Monge-Ampère (MA) equation. We exhibit three formulations of this MA equation, one in terms of the Kähler potential, the other two in terms of the symplectic potential but with two different choices of the variables. In both cases one can establish a series solution in powers of the variable along the fibers of the canonical bundle. The main property of the MA equation is that it does not impose any condition on the initial geometry of the exceptional divisor, rather it uniquely determines all the subsequent terms as local functionals of this initial datum. Although a formal proof is still missing, numerical and analytical results support the conjecture. As a by-product of our investigation we have identified some new properties of this type of MA equations that we believe to be so far unknown.U.B.'s research is partly supported by PRIN "Geometry of Algebraic Varieties" and INdAM-GNSAGA. He is a member of the VBAC group.

Some open questions in quiver gauge theory

“…A very-well studied class of 4d theories is the worldvolume theories of D3branes probing toric Gorenstein singularities [59][60][61][62][63][64][65][66][67][68][69][70][71][72] 4 . The forward and inverse algorithms allow us to go between toric diagrams and quivers as well as brane tilings easily.…”

Some Open Questions in Quiver Gauge Theory

“…A very-well studied class of 4d theories is the worldvolume theories of D3-branes probing toric Gorenstein singularities [58][59][60][61][62][63][64][65][66][67][68][69][70][71] 3 . The forward and inverse algorithms allow us to go between toric diagrams and quivers as well as brane tilings easily.…”