arXiv subjects
Publications and source records attributed to Gavin Ball.
We exhibit a configuration of five point charges in Euclidean space whose electrostatic potential admits at least 24 critical points all of which are non-degenerate. Maxwell's conjecture that the field of \(n\) point charges has at most \((n-1)^2\) critical points which are all non-degenerate is therefore false.
In the round $N$-sphere, we calculate the Morse index and nullity of all immersed minimal 2-spheres having constant Gauss curvature. We also obtain bounds on the stability index of the associative cone in $R^7$ whose link is the Boruvka sphere in $S^6$.
The homogeneous minimal hypersurfaces in $S^n$ have $g = 1,2,3,4$, or $6$ distinct (constant) principal curvatures. While the Morse index and nullity have been calculated for all such hypersurfaces having $g = 1,2,3$, it has remained an open problem to compute these quantities for any of those with $g = 4$ or $6$. In this paper, we calculate the Morse index and nullity of two homogeneous minimal hypersurfaces in $S^n$ with $g = 4$. Moreover, we observe that their Laplace spectra contain irrational eigenvalues that are not expressible in radicals.
This article studies special solutions to symplectic curvature flow in dimension four. Firstly, we derive a local normal form for static solutions in terms of holomorphic data and use this normal form to show that every complete static solution to symplectic curvature flow in dimension four is Kahler-Einstein. Secondly, we perform an exterior differential systems analysis of the soliton equation for symplectic curvature flow and use the Cartan-Kahler theorem to prove a local existence and generality theorem for solitons.
Given a CMC surface in $R^3$, its traceless second fundamental form can be viewed as a holomorphic section called the Hopf differential. By analogy, we show that for an associative submanifold of a 7-manifold $M^7$ with $G_2$-structure, its traceless second fundamental form can be viewed as a twisted spinor. Moreover, if $M$ is $R^7$, $T^7$, or $S^7$ with the standard $G_2$-structure, then this twisted spinor is harmonic. Consequently, every non-totally-geodesic associative 3-fold in $R^7$, $T^7$, and $S^7$ admits non-vanishing harmonic twisted spinors. Analogous results hold for special Lagrangians in $R^6$ and $T^6$, coassociative 4-folds in $R^7$ and $T^7$, and Cayley 4-folds in $R^8$ and $T^8$.
Every compact 3-Sasakian 7-manifold $M$ admits a canonical 2-parameter family of co-closed $\text{G}_2$-structures $\varphi_{a,b}$ for $a,b > 0$, as well as a foliation by $\varphi_{a,b}$-associative 3-folds whose leaf space $X$ is a positive quaternion-K\"{a}hler 4-orbifold. We prove that associative 3-folds in $(M,\varphi_{a,b})$ that are ruled by a certain type of geodesic are in correspondence with pseudo-holomorphic curves in the almost-complex 8-manifold $Z \times S^2$, where $Z$ is the twistor space of $X$ equipped with its strict nearly-K\"{a}hler structure. As an application, we construct infinitely many topological types of non-trivial, compact associative 3-folds in the squashed 7-spheres $(S^7, \varphi_{a,b})$ and squashed exceptional Aloff-Wallach spaces $(N_{1,1}, \varphi_{a,b})$. Topologically, our examples are circle bundles over a genus $g$ surface, for any $g \geq 0$.
This article studies closed G2-structures satisfying the quadratic condition, a second-order PDE system introduced by Bryant involving a parameter $\lambda.$ For certain special values of $\lambda$ the quadratic condition is equivalent to the Einstein condition for the metric induced by the closed G2-structure (for $\lambda = 1/2$), the extremally Ricci-pinched (ERP) condition (for $\lambda=1/6$), and the condition that the closed G2-structure be an eigenform for the Laplace operator (for $\lambda = 0$). Prior to the work in this article, solutions to the quadratic system were known only for $\lambda = 1/6,$ $-1/8,$ and $2/5,$ and for these values only a handful of solutions were known. In this article, we produce infinitely many new examples of ERP G2-structures, including the first example of a complete inhomogeneous ERP G2-structure and a new example of a compact ERP G2-structure. We also give a classification of homogeneous ERP G2-structures. We provide the first examples of quadratic closed G2-structures for $\lambda = -1,$ $1/3,$ and $3/4,$ as well as infinitely many new examples for $\lambda = -1/8$ and $2/5.$ Our constructions involve the notion of special torsion for closed G2-structures, a new concept that is likely to have wider applicability. In the final section of the article, we provide two large families of inhomogeneous complete steady gradient solitons for the Laplacian flow, the first known such examples.
This article investigates a set of partial differential equations, the DT-instanton equations, whose solutions can be regarded as a generalization of the notion of Hermitian-Yang-Mills connections. These equations owe their name to the hope that they may be useful in extending the DT-invariant to the case of symplectic 6-manifolds. In this article, we give the first examples of non-Abelian and irreducible DT-instantons on non-K\"ahler manifolds. These are constructed for all homogeneous almost Hermitian structures on the manifold of full flags in $\mathbb{C}^3$. Together with the existence result we derive a very explicit classification of homogeneous DT-instantons for such structures. Using this classification we are able to observe phenomena where, by varying the underlying almost Hermitian structure, an irreducible DT-instanton becomes reducible and then disappears. This is a non-K\"ahler analogue of passing a stability wall, which in string theory can be interpreted as supersymmetry breaking by internal gauge fields.
We study associative submanifolds of the Berger space SO(5)/SO(3) endowed with its homogeneous nearly-parallel G2-structure. We focus on two geometrically interesting classes: the ruled associatives, and the associatives with special Gauss map. We show that the associative submanifolds ruled by a certain special type of geodesic are in correspondence with pseudo-holomorphic curves in $Gr_2^+(TS^4).$ Using this correspondence, together with a theorem of Bryant on superminimal surfaces in $S^4,$ we prove the existence of infinitely many topological types of compact immersed associative 3-folds in SO(5)/SO(3). An associative submanifold of the Berger space is said to have special Gauss map if its tangent spaces have non-trivial SO(3)-stabiliser. We classify the associative submanifolds with special Gauss map in the cases where the stabiliser contains an element of order greater than 2. In particular, we find several homogeneous examples of this type.
This article classifies closed G2-structures such that the induced metric is conformally flat. It is shown that any closed G2-structure with conformally flat metric is locally equivalent to one of three explicit examples. In particular, it follows from the classification that any closed G2-structure inducing a metric that is both conformally flat and complete must be equivalent to the flat G2-structure on $\mathbb{R}^7.$
We derive formulas for the mean curvature of associative 3-folds, coassociative 4-folds, and Cayley 4-folds in the general case where the ambient space has intrinsic torsion. Consequently, we are able to characterize those G2-structures (resp., Spin(7)-structures) for which every associative 3-fold (resp. coassociative 4-fold, Cayley 4-fold) is a minimal submanifold. In the process, we obtain new obstructions to the local existence of coassociative 4-folds in G2-structures with torsion.
We derive formulas for the mean curvature of special Lagrangian 3-folds in the general case where the ambient 6-manifold has intrinsic torsion. Consequently, we are able to characterize those SU(3)-structures for which every special Lagrangian 3-fold is a minimal submanifold. In the process, we obtain an obstruction to the local existence of special Lagrangian 3-folds.
For gauge groups $U(1)$ and $SO(3)$ we classify invariant $G_2$-instantons for homogeneous coclosed $G_2$-structures on Aloff-Wallach spaces $X_{k,l}$. As a consequence, we give examples where $G_2$-instantons can be used to distinguish between different strictly nearly parallel $G_2$-structures on the same Aloff-Wallach space. In addition to this, we find that while certain $G_2$-instantons exist for the strictly nearly parallel $G_2$-structure on $X_{1,1}$, no such $G_2$-instantons exist for the tri-Sasakian one. As a further consequence of the classification, we produce examples of some other interesting phenomena, such as: irreducible $G_2$-instantons that, as the structure varies, merge into the same reducible and obstructed one; and $G_2$-instantons on nearly parallel $G_2$-manifolds that are not locally energy minimizing.