Ooguri–Vafa Metric
   HOME

TheInfoList



OR:

In
differential geometry Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...
, the Ooguri–Vafa metric is a four-dimensional Hyperkähler metric. The Ooguri–Vafa metric is named after
Hirosi Ooguri is a theoretical physicist working on quantum field theory, quantum gravity, superstring theory, and their interfaces with mathematics. He is Fred Kavli Professor of Theoretical Physics and Mathematics and the Founding Director of the Walter Bu ...
and
Cumrun Vafa Cumrun Vafa (, ; born 1 August 1960) is an Iranian-American theoretical physicist and the Hollis Professor of Mathematicks and Natural Philosophy at Harvard University. Early life and education Cumrun Vafa was born in Tehran, Iran on 1 August 1 ...
, who first described it in 1996 using the
Gibbons–Hawking ansatz In mathematics, the Gibbons–Hawking ansatz is a method of constructing gravitational instantons introduced by . It gives examples of hyperkähler manifolds in dimension 4 that are invariant under a circle action. Description Suppose that U is ...
. Another construction was given by
Davide Gaiotto Davide Silvano Achille Gaiotto (born 11 March 1977) is an Italian mathematical physicist who deals with quantum field theories and string theory. He received the Gribov Medal in 2011 and the New Horizons in Physics Prize in 2013. Biography Gai ...
, Gregory Moore and Andrew Neitzke in 2008.


Definition

The Ooguri–Vafa metric is defined on the four-dimensional total spaces of principal U(1)-bundles over open subsets of the three-dimensional euclidean space \mathbb^3. In particular the whole space results in \mathbb^3\times S^1. Define the elliptical fibers \tau(z)=\frac\log(z) with \tau_1=\operatorname(\tau(z)) and \tau_2=\operatorname(\tau(z)) and let \lambda be the string coupling constant. Further define the scaled spatial coordinate :\mathbf=\left(x,\frac,\frac\right). The metric of Ooguri and Vafa has the form :ds^2=\lambda^2 ^(dt-\mathbf\cdot d\mathbf)^2+V d\mathbf^2/math> where \mathbf=(A_x,A_z,A_) and :A_x=-\tau_1=\frac\log\left(\frac\right),\quad A_z=0,\quad A_=0 and V is a potential which gets modified from the form V=\tau_2=\frac\log\left(\frac\right).


Requirements for the potential

There are 5 requirements for the potential V: * V should be a function of only x and , z, , i.e. V(x,, z, ) for , z, =\sqrt. * For the metric to be a hyperkähler metric, the following conditions must be met: :V^\Delta V = 0,\quad\text\quad \nabla V = \nabla \times \mathbf :where the differential operator \Delta is defined as follows: :\Delta :=\partial_x^2+4\lambda^2\partial_z\bar_. * If , z, \to \infty then one obtains the classical potential defined above: :V(x,, z, )\to \frac\log\left(\frac\right) * The The metric should be periodic, but not translation-invariant, in the x-direction with period 1, i.e. V(x,, z, )=V(x+1,, z, ). * The singularities of V can be removed by a suitable coordinate transformation. There exists a unique solution which satisfies all these conditions :V(x,, z, )=\frac\sum\limits_^\left(\frac-\frac\right)+C for a constant C. Using Poisson's formula on gets :V(x,, z, )=\frac\log\left(\frac\right)+\sum\limits_\frace^K_0\left(2\pi\frac\right) where \mu is a constant and K_0 is the modified
Bessel function Bessel functions, named after Friedrich Bessel who was the first to systematically study them in 1824, are canonical solutions of Bessel's differential equation x^2 \frac + x \frac + \left(x^2 - \alpha^2 \right)y = 0 for an arbitrary complex ...
.


Literature

* * * * {{cite web , last=Foscolo , first=Lorenzo , title=Notes on the Ooguri-Vafa metric , url=https://www.homepages.ucl.ac.uk/~ucahlfo/Ooguri_Vafa.pdf


References

Differential geometry