
We study quiver gauge theories on the round and squashed sevenspheres, and
orbifolds thereof. They arise by imposing $G$equivariance on the homogeneous
space $G/H=\mathrm{SU}(4)/\mathrm{SU}(3)$ endowed with its SasakiEinstein
structure, and $G/H=\mathrm{Sp}(2)/\mathrm{Sp}(1)$ as a 3Sasakian manifold. In
both cases we describe the equivariance conditions and the resulting quivers.
We further study the moduli spaces of instantons on the metric cones over these
spaces by using the known description for Hermitian YangMills instantons on
CalabiYau cones. It is shown that the moduli space of instantons on the
hyperKahler cone can be described as the intersection of three Hermitian
YangMills moduli spaces. We also study moduli spaces of translationally
invariant instantons on the metric cone $\mathbb{R}^8/\mathbb{Z}_k$ over
$S^7/\mathbb{Z}_k$.

We consider SU($N$) YangMills theory on ${\mathbb R}^{2,1}\times S^1$, where
$S^1$ is a spatial circle. In the infrared limit of a smallcircle radius the
YangMills action reduces to the action of a sigma model on ${\mathbb R}^{2,1}$
whose target space is a $2(N{}1)$dimensional torus modulo the Weylgroup
action. We argue that there is freedom in the choice of the framing of the
gauge bundles, which leads to more general options. In particular, we show that
this lowenergy limit can give rise to a target space
SU$(N){\times}$SU$(N)/{\mathbb Z}_N$. The latter is the direct product of
SU($N$) and its Langlands dual SU$(N)/{\mathbb Z}_N$, and it contains the
abovementioned torus as its maximal Abelian subgroup. An analogous result is
obtained for any nonAbelian gauge group.

We consider pure SU(2) YangMills theory on fourdimensional de Sitter
dS$_4$ and antide Sitter AdS$_4$ spaces and construct various solutions to the
YangMills equations. On de Sitter space we reduce the YangMills equations
via an SU(2)equivariant ansatz to Newtonian mechanics of a particle moving in
${\mathbb R}^3$ under the influence of a quartic potential. Then we describe
magnetic and electricmagnetic solutions, both Abelian and nonAbelian, all
having finite energy and finite action. A similar reduction on antide Sitter
space also yields YangMills solutions with finite energy and action. We
propose a lower bound for the action on both backgrounds. Employing another
metric on AdS$_4$, the SU(2) YangMills equations are reduced to an analytic
continuation of the above particle mechanics from ${\mathbb R}^3$ to ${\mathbb
R}^{2,1}$. We discuss analytical solutions to these equations, which produce
infiniteaction configurations. After a Euclidean continuation of dS$_4$ and
AdS$_4$ we also present selfdual (instantontype) YangMills solutions on
these backgrounds.

We consider pure SU(2) YangMills theory on fourdimensional de Sitter space
dS$_4$ and construct a smooth and spatially homogeneous magnetic solution to
the YangMills equations. Slicing dS$_4$ as ${\mathbb R}\times S^3$, via an
SU(2)equivariant ansatz we reduce the YangMills equations to ordinary matrix
differential equations and further to Newtonian dynamics in a doublewell
potential. Its local maximum yields a YangMills solution whose colormagnetic
field at time $\tau\in{\mathbb R}$ is given by $\tilde{B}_a=\frac12
I_a/(R^2\cosh^2\!\tau)$, where $I_a$ for $a=1,2,3$ are the SU(2) generators and
$R$ is the de Sitter radius. At any moment, this spatially homogeneous
configuration has finite energy, but its action is also finite and of the value
$\frac12j(j{+}1)(2j{+}1)\pi^3$ in a spin$j$ representation. Similarly, the
doublewell bounce produces a family of homogeneous finiteaction
electricmagnetic solutions with the same energy. There is a continuum of other
solutions whose energy and action extend down to zero.

We consider SU(2)equivariant dimensional reduction of YangMills theory on
manifolds of the form $M\times S^3/\Gamma$, where $M$ is a smooth manifold and
$S^3/\Gamma$ is a threedimensional SasakiEinstein orbifold. We obtain new
quiver gauge theories on $M$ whose quiver bundles are based on the affine ADE
Dynkin diagram associated to $\Gamma$. We relate them to those arising through
translationallyinvariant dimensional reduction over the associated CalabiYau
cones $C(S^3/\Gamma)$ which are based on McKay quivers and ADHM matrix models,
and to those arising through SU(2)equivariant dimensional reduction over the
leaf spaces of the characteristic foliations of $S^3/\Gamma$ which are K\"ahler
orbifolds of $\mathbb{C} P^1$ whose quiver bundles are based on the unextended
Dynkin diagram corresponding to $\Gamma$. We use Nahm equations to describe the
vacua of SU(2)equivariant quiver gauge theories on the cones as moduli spaces
of spherically symmetric instantons. We relate them to the Nakajima quiver
varieties which can be realized as Higgs branches of the worldvolume quiver
gauge theories on D$p$branes probing D$(p+4)$branes which wrap an ALE space,
and to the moduli spaces of spherically symmetric solutions in putative
nonabelian generalizations of twodimensional affine Toda field theories.

We consider YangMills theory with $N=2$ super translation group in $d=10$
auxiliary dimensions as the structure group. The gauge theory is defined on a
direct product manifold $\Sigma_2\times H^2$, where $\Sigma_2$ is a
twodimensional Lorentzian manifold and $H^2$ is the open disc in
$\mathbb{R}^2$ with the boundary $S^1=\partial H^2$. We show that in the
adiabatic limit, when the metric on $H^2$ is scaled down, the YangMills action
supplemented by the $d=5$ ChernSimons term becomes the GreenSchwarz
superstring action. More concretely, the YangMills action in the infrared
limit flows to the kinetic part of the superstring action and the $d=5$
ChernSimons action, defined on a 5manifold with the boundary $\Sigma_2\times
H^2$, flows to the WessZumino part of the superstring action. The same kind of
duality between gauge fields and strings is established for type IIB
superstring on AdS$_5\times S^5$ background and a supergroup gauge theory with
PSU(2,2$$4) as the structure group.

It was pointed out by Shifman and Yung that the critical superstring on
$X^{10}={\mathbb R}^4\times Y^6$, where $Y^6$ is the resolved conifold, appears
as an effective theory for a U(2) YangMillsHiggs system with four fundamental
Higgs scalars defined on $\Sigma_2\times{\mathbb R}^2$, where $\Sigma_2$ is a
twodimensional Lorentzian manifold. Their YangMills model supports semilocal
vortices on ${\mathbb R}^2\subset\Sigma_2\times{\mathbb R}^2$ with a moduli
space $X^{10}$. When the moduli of slowly moving thin vortices depend on the
coordinates of $\Sigma_2$, the vortex strings can be identified with critical
fundamental strings. We show that similar results can be obtained for the
lowenergy limit of pure YangMills theory on $\Sigma_2\times T^2_p$, where
$T^2_p$ is a twodimensional torus with a puncture $p$. The solitonic vortices
of Shifman and Yung then get replaced by flat connections. Various
tendimensional superstring target spaces can be obtained as moduli spaces of
flat connections on $T^2_p$, depending on the choice of the gauge group. The
full GreenSchwarz sigma model requires extending the gauge group to a
supergroup and augmenting the action with a topological term.

We consider the YangMills equations with a matrix gauge group $G$ on the de
Sitter dS$_4$, antide Sitter AdS$_4$ and Minkowski $R^{3,1}$ spaces. On all
these spaces one can introduce a doubly warped metric in the form $d s^2 =d
u^2 + f^2 d v^2 +h^2 d s^2_{H^2}$, where $f$ and $h$ are the functions of $u$
and $d s^2_{H^2}$ is the metric on the twodimensional hyperbolic space $H^2$.
We show that in the adiabatic limit, when the metric on $H^2$ is scaled down,
the YangMills equations become the sigmamodel equations describing harmonic
maps from a twodimensional manifold (dS$_2$, AdS$_2$ or $R^{1,1}$,
respectively) into the based loop group $\Omega G=C^\infty (S^1, G)/G$ of
smooth maps from the boundary circle $S^1=\partial H^2$ of $H^2$ into the gauge
group $G$. From this correspondence and the implicit function theorem it
follows that the moduli space of YangMills theory with a gauge group $G$ in
four dimensions is bijective to the moduli space of twodimensional sigma model
with $\Omega G$ as the target space. The sigmamodel field equations can be
reduced to equations of geodesics on $\Omega G$, solutions of which yield
magnetictype configurations of YangMills fields. The group $\Omega G$
naturally acts on their moduli space.

We consider Spin(4)equivariant dimensional reduction of YangMills theory on
manifolds of the form $M^d \times T^{1,1}$, where $M^d$ is a smooth manifold
and $T^{1,1}$ is a fivedimensional SasakiEinstein manifold Spin(4)/U(1). We
obtain new quiver gauge theories on $M^d$ extending those induced via reduction
over the leaf spaces $\mathbb{C}P^1 \times \mathbb{C}P^1$ in $T^{1,1}$. We
describe the Higgs branches of these quiver gauge theories as moduli spaces of
Spin(4)equivariant instantons on the conifold which is realized as the metric
cone over $T^{1,1}$. We give an explicit construction of these moduli spaces as
K\"ahler quotients.

We consider SU(3)equivariant dimensional reduction of YangMills theory over
certain cyclic orbifolds of the 5sphere which are SasakiEinstein manifolds.
We obtain new quiver gauge theories extending those induced via reduction over
the leaf spaces of the characteristic foliation of the SasakiEinstein
structure, which are projective planes. We describe the Higgs branches of these
quiver gauge theories as moduli spaces of spherically symmetric instantons
which are SU(3)equivariant solutions to the Hermitian YangMills equations on
the associated CalabiYau cones, and further compare them to moduli spaces of
translationallyinvariant instantons on the cones. We provide an explicit
unified construction of these moduli spaces as K\"ahler quotients and show that
they have the same cyclic orbifold singularities as the cones over the lens
5spaces.

We consider the YangMills equations for a matrix gauge group $G$ inside the
future light cone of 4dimensional Minkowski space, which can be viewed as a
Lorentzian cone $C(H^3)$ over the 3dimensional hyperbolic space $H^3$. Using
the conformal equivalence of $C(H^3)$ and the cylinder $R\times H^3$, we show
that, in the adiabatic limit when the metric on $H^3$ is scaled down, classical
YangMills dynamics is described by geodesic motion in the infinitedimensional
group manifold $C^\infty (S^2_\infty,G)$ of smooth maps from the boundary
2sphere $S^2_\infty=\partial H^3$ into the gauge group $G$.

We consider YangMills theory with $N{=}1$ super translation group in eleven
auxiliary dimensions as the structure group. The gauge theory is defined on a
direct product manifold $\Sigma_3\times S^1$, where $\Sigma_3$ is a
threedimensional Lorentzian manifold and $S^1$ is a circle. We show that in
the infrared limit, when the metric on $S^1$ is scaled down, the YangMills
action supplemented by a WessZuminotype term reduces to the action of an
M2brane.

We consider YangMills theory with N=2 super translation group in ten
auxiliary dimensions as the structure group. The gauge theory is defined on a
direct product manifold \Sigma_2\times H^2, where \Sigma_2 is a twodimensional
Lorentzian manifold and H^2 is the open disc in R^2 with the boundary
S^1=\partial H^2. We show that in the adiabatic limit, when the metric on H^2
is scaled down, the YangMills action supplemented by a WessZuminotype term
becomes the GreenSchwarz superstring action.

We consider YangMills theory with a matrix gauge group $G$ on a direct
product manifold $M=\Sigma_2\times H^2$, where $\Sigma_2$ is a twodimensional
Lorentzian manifold and $H^2$ is a twodimensional open disc with the boundary
$S^1=\partial H^2$. The EulerLagrange equations for the metric on $\Sigma_2$
yield constraint equations for the YangMills energymomentum tensor. We show
that in the adiabatic limit, when the metric on $H^2$ is scaled down, the
YangMills equations plus constraints on the energymomentum tensor become the
equations describing strings with a worldsheet $\Sigma_2$ moving in the based
loop group $\Omega G=C^\infty (S^1, G)/G$, where $S^1$ is the boundary of
$H^2$. By choosing $G=R^{d1, 1}$ and putting to zero all parameters in $\Omega
R^{d1, 1}$ besides $R^{d1, 1}$, we get a string moving in $R^{d1, 1}$. In
arXiv:1506.02175 it was described how one can obtain the GreenSchwarz
superstring action from YangMills theory on $\Sigma_2\times H^2$ while $H^2$
shrinks to a point. Here we also consider YangMills theory on a
threedimensional manifold $\Sigma_2\times S^1$ and show that in the limit when
the radius of $S^1$ tends to zero, the YangMills action functional
supplemented by a WessZuminotype term becomes the GreenSchwarz superstring
action.

We consider the Hermitian YangMills (instanton) equations for connections on
vector bundles over a 2ndimensional K\"ahler manifold X which is a product Y x
Z of p and qdimensional Riemannian manifold Y and Z with p+q=2n. We show that
in the adiabatic limit, when the metric in the Z direction is scaled down, the
gauge instanton equations on Y x Z become sigmamodel instanton equations for
maps from Y to the moduli space M (target space) of gauge instantons on Z if
q>= 4. For q<4 we get maps from Y to the moduli space M of flat connections on
Z. Thus, the YangMills instantons on Y x Z converge to sigmamodel instantons
on Y while Z shrinks to a point. Put differently, for small volume of Z,
sigmamodel instantons on Y with target space M approximate YangMills
instantons on Y x Z.

We present a general procedure to construct 6dimensional manifolds with
SU(3)structure from SU(2)structure 5manifolds. We thereby obtain halfflat
cylinders and sinecones over 5manifolds with SasakiEinstein SU(2)structure.
They are nearly Kahler in the special case of sinecones over SasakiEinstein
5manifolds. Both halfflat and nearly Kahler 6manifolds are prominent in flux
compactifications of string theory. Subsequently, we investigate instanton
equations for connections on vector bundles over these halfflat manifolds. A
suitable ansatz for gauge fields on these 6manifolds reduces the instanton
equation to a set of matrix equations. We finally present some of its solutions
and discuss the instanton configurations obtained this way.

We investigate instantons on sinecones over SasakiEinstein and 3Sasakian
manifolds. It is shown that these conical Einstein manifolds are K"ahler with
torsion (KT) manifolds admitting Hermitian connections with totally
antisymmetric torsion. Furthermore, a deformation of the metric on the
sinecone over 3Sasakian manifolds allows one to introduce a hyperK"ahler
with torsion (HKT) structure. In the largevolume limit these KT and HKT spaces
become CalabiYau and hyperK"ahler conifolds, respectively. We construct gauge
connections on complex vector bundles over conical KT and HKT manifolds which
solve the instanton equations for YangMills fields in higher dimensions.

Recently, conformal field theories in six dimensions were discussed from the
twistorial point of view. In particular, it was demonstrated that the twistor
transform between chiral zerorestmass fields and cohomology classes on
twistor space can be generalized from four to six dimensions. On the other
hand, the possibility of generalizing the correspondence between instanton
gauge fields and holomorphic bundles over twistor space is questionable. It was
shown by Saemann and Wolf that holomorphic line bundles over the canonical
twistor space Tw(X) (defined as a bundle of almost complex structures over the
sixdimensional manifold X) correspond to puregauge Maxwell potentials, i.e.
the twistor transform fails. On the example of X=CP^3 we show that there exists
a twistor correspondence between Abelian or nonAbelian YangMills instantons
on CP^3 and holomorphic bundles over complex submanifolds of Tw(CP^3), but it
is not so efficient as in the fourdimensional case because the twistor
transform does not parametrize instantons by unconstrained holomorphic data as
it does in four dimensions.

We revisit the problem of constructing instantons on ADE orbifolds R^4/\Gamma
and point out some subtle relations with the complex structure on the orbifold.
We consider generalized instanton equations on R^4/\Gamma which are BPS
equations for the YangMills equations with an external current. The relation
between level sets of the moment maps in the hyperKaehler quotient
construction of the instanton moduli space and sources in the YangMills
equations is discussed. We describe two types of sphericallysymmetric
\Gammaequivariant connections on complex Vbundles over R^4/\Gamma which are
tailored to the way in which the orbifold group acts on the fibres. Some
explicit abelian and nonabelian SU(2)invariant solutions to the nstanton
equations on the orbifold are worked out.

We consider the YangMills instanton equations on the fourdimensional
manifold S^2xSigma, where Sigma is a compact Riemann surface of genus g>1 or
its covering space H^2=SU(1,1)/U(1). Introducing a natural ansatz for the gauge
potential, we reduce the instanton equations on S^2xSigma to vortextype
equations on the sphere S^2. It is shown that when the scalar curvature of the
manifold S^2xSigma vanishes, the vortextype equations are integrable, i.e. can
be obtained as compatibility conditions of two linear equations (Lax pair)
which are written down explicitly. Thus, the standard methods of integrable
systems can be applied for constructing their solutions. However, even if the
scalar curvature of S^2xSigma does not vanish, the vortex equations are well
defined and have solutions for any values of the topological charge N. We show
that any solution to the vortex equations on S^2 with a fixed topological
charge N corresponds to a YangMills instanton on S^2xSigma of charge (g1)N.

We consider the sixsphere S^6=G_2/SU(3) and its twistor space Z=G_2/U(2)
associated with the SU(3)structure on S^6. It is shown that a Hermitian
YangMills connection (instanton) on a smooth vector bundle over S^6 is
equivalent to a flat partial connection on a vector bundle over the twistor
space Z. The relation with Tian's tangent instantons on R^7 and their twistor
description are briefly discussed.

We consider cones over manifolds admitting real Killing spinors and instanton
equations on connections on vector bundles over these manifolds. Such cones are
manifolds with special (reduced) holonomy. We generalize the scalar ansatz for
a connection proposed by Harland and Nolle in such a way that instantons are
parameterized by constrained matrixvalued functions. Our ansatz reduces
instanton equations to a matrix model equations which can be further reduced to
Newtonian mechanics with particle trajectories obeying firstorder gradient
flow equations. Generalizations to KaehlerEinstein manifolds and resolved
CalabiYau cones are briefly discussed. Our construction allows one to
associate quiver gauge theories with special holonomy manifolds.

We revisit AdS_4 heterotic compactifications on nearly K\"ahler manifolds in
the presence of Hflux and certain fermion condensates. Unlike previous
studies, we do not assume the vanishing of the supersymmetry variations.
Instead we determine the full equations of motion originating from the
tendimensional action, and subsequently we provide explicit solutions to them
on nearly K\"ahler manifolds at first order in alpha'. The Bianchi identity is
also taken into account in order to guarantee the absence of all anomalies. In
the presence of Hflux, which is identified with the torsion of the internal
space, as well as of fermion condensates in the gaugino and dilatino sectors,
new solutions are determined. These solutions provide a full classification of
consistent backgrounds of heterotic supergravity under our assumptions. All the
new solutions are nonsupersymmetric, while previously known supersymmetric
ones are recovered too. Our results indicate that fully consistent
(supersymmetric or not) heterotic vacua on nearly K\"ahler manifolds are
scarce, even on AdS_4, and they can be completely classified.

The SU(4)instanton equations are natural BPS equations for instantons on
8manifolds. We study these equations on nearly Kaehler and CalabiYau torsion
manifolds of the form M x G/H, with G/H a coset space and M a product of a
torus with Euclidean space. By imposing Ginvariance the instanton equations
reduce to interesting equations on M; for example, equations used by Kapustin
and Witten in the geometric Langlands program arise in this way. We carry out
reductions in a number of examples, and where possible present simple
solutions.

We present NS1+NS5brane solutions of heterotic supergravity on curved
geometries. They interpolate between a near horizon AdS3 x X^k x T^{7k} region
and R^{1,1} x c(X^k) x T^{7k}, where X^k (with k = 3,5,6,7) is a kdimensional
geometric Killing spinor manifold, c(X^k) its Ricciflat cone and T^{7k} a
(7k)torus. The solutions require first order alpha'corrections to the field
equations, and special pointlike instantons play an important role, whose
singular support is a calibrated submanifold wrapped by the NS5brane. It is
also possible to add a gauge anti5brane. We determine the super isometries of
the near horizon geometry which are supposed to appear as symmetries of the
holographically dual twodimensional conformal field theory.