Showing 1–32 of 32 results for author: Lotay, J D

Coupled $\operatorname{G}_2$-instantons

Authors: Agnaldo A. da Silva Jr., Mario Garcia-Fernandez, Jason D. Lotay, Henrique N. Sá Earp

Abstract: We introduce the coupled instanton equations for a metric, a spinor, a three-form, and a connection on a bundle, over a spin manifold. Special solutions in dimensions $6$ and $7$ arise, respectively, from the Hull--Strominger and the heterotic $\operatorname{G}_2$ system. The equations are motivated by recent developments in theoretical physics and can be recast using generalized geometry; we inve… ▽ More We introduce the coupled instanton equations for a metric, a spinor, a three-form, and a connection on a bundle, over a spin manifold. Special solutions in dimensions $6$ and $7$ arise, respectively, from the Hull--Strominger and the heterotic $\operatorname{G}_2$ system. The equations are motivated by recent developments in theoretical physics and can be recast using generalized geometry; we investigate how coupled instantons relate to generalized Ricci-flat metrics and also to Killing spinors on a Courant algebroid. We present two open questions regarding how these different geometric conditions are intertwined, for which a positive answer is expected from recent developments in the physics literature by De la Ossa, Larfors and Svanes, and in the mathematics literature on Calabi--Yau manifolds, in recent work by the second-named author with González Molina. We give a complete solution to the first of these problems, providing a new method for the construction of instantons in arbitrary dimensions. For $\operatorname{G}_2$-structures with torsion coupled to $\operatorname{G}_2$-instantons, in dimension $7$, we also establish results around the second problem. The last part of the present work carefully studies the approximate solutions to the heterotic $\operatorname{G}_2$-system constructed by the third and fourth authors on contact Calabi--Yau $7$-manifolds, for which we prove the existence of approximate coupled $\operatorname{G}_2$-instantons and generalized Ricci-flat metrics. △ Less

Submitted 6 May, 2024; v1 submitted 19 April, 2024; originally announced April 2024.

Comments: 45 pages, new Theorem 2.32 with complete solution to Problem 1, in arbitrary dimensions. Improved version of Theorem 4.9. New Remark 4.10 about the Spin(7) case. Submitted for consideration in the International Journal of Mathematics special issue "At the interface of complex geometry and string theory"

Neck pinch singularities and Joyce conjectures in Lagrangian mean curvature flow with circle symmetry

Authors: Jason D. Lotay, Goncalo Oliveira

Abstract: In this article we consider the Lagrangian mean curvature flow of compact, circle-invariant, almost calibrated Lagrangian surfaces in hyperkähler 4-manifolds with circle symmetry. We show that this Lagrangian mean curvature flow can be continued for all time, through finite time singularities, and converges to a chain of special Lagrangians, thus verifying various aspects of Joyce's conjectures in… ▽ More In this article we consider the Lagrangian mean curvature flow of compact, circle-invariant, almost calibrated Lagrangian surfaces in hyperkähler 4-manifolds with circle symmetry. We show that this Lagrangian mean curvature flow can be continued for all time, through finite time singularities, and converges to a chain of special Lagrangians, thus verifying various aspects of Joyce's conjectures in this setting. We show that the singularities of the flow are neck pinches in the sense conjectured by Joyce. We also give examples where such finite time singularities are guaranteed to occur. △ Less

Submitted 9 May, 2023; originally announced May 2023.

Comments: 26 pages, 6 figures

MSC Class: 53E10; 53C38; 53C26

Geometric Flows of $G_2$-Structures on 3-Sasakian 7-Manifolds

Authors: Aaron Kennon, Jason D. Lotay

Abstract: A 3-Sasakian structure on a 7-manifold may be used to define two distinct Einstein metrics: the 3-Sasakian metric and the squashed Einstein metric. Both metrics are induced by nearly parallel $G_2$-structures which may also be expressed in terms of the 3-Sasakian structure. Just as Einstein metrics are critical points for the Ricci flow up to rescaling, nearly parallel $G_2$-structures provide nat… ▽ More A 3-Sasakian structure on a 7-manifold may be used to define two distinct Einstein metrics: the 3-Sasakian metric and the squashed Einstein metric. Both metrics are induced by nearly parallel $G_2$-structures which may also be expressed in terms of the 3-Sasakian structure. Just as Einstein metrics are critical points for the Ricci flow up to rescaling, nearly parallel $G_2$-structures provide natural critical points of the (rescaled) geometric flows of $G_2$-structures known as the Laplacian flow and Laplacian coflow. We study each of these flows in the 3-Sasakian setting and see that their behaviour is markedly different, particularly regarding the stability of the nearly parallel $G_2$-structures. We also compare the behaviour of the flows of $G_2$-structures with the (rescaled) Ricci flow. △ Less

Submitted 22 February, 2023; v1 submitted 24 October, 2022; originally announced October 2022.

Comments: 23 pages and 3 figures; v2: minor changes, version accepted for publication in Journal of Geometry and Physics

Journal ref: J Geom Phys 187 (2023), 104793

Neck pinches along the Lagrangian mean curvature flow of surfaces

Authors: Jason D. Lotay, Felix Schulze, Gábor Székelyhidi

Abstract: Let $L_t$ be a zero Maslov, rational Lagrangian mean curvature flow in a compact Calabi-Yau surface, and suppose that at the first singular time a tangent flow is given by the static union of two transverse planes. We show that in this case the tangent flow is unique, and that the flow can be continued past the singularity as an immersed, smooth, zero Maslov, rational Lagrangian mean curvature flo… ▽ More Let $L_t$ be a zero Maslov, rational Lagrangian mean curvature flow in a compact Calabi-Yau surface, and suppose that at the first singular time a tangent flow is given by the static union of two transverse planes. We show that in this case the tangent flow is unique, and that the flow can be continued past the singularity as an immersed, smooth, zero Maslov, rational Lagrangian mean curvature flow. Furthermore, if $L_0$ is a sphere that is stable in the sense of Thomas-Yau, then such a singularity cannot form. △ Less

Submitted 23 August, 2022; originally announced August 2022.

Comments: 44 pages

MSC Class: 53E10

Ancient solutions and translators of Lagrangian mean curvature flow

Authors: Jason D. Lotay, Felix Schulze, Gábor Székelyhidi

Abstract: Suppose that $\mathcal{M}$ is an almost calibrated, exact, ancient solution of Lagrangian mean curvature flow in $\mathbb{C}^n$. We show that if $\mathcal{M}$ has a blow-down given by the static union of two Lagrangian subspaces with distinct Lagrangian angles that intersect along a line, then $\mathcal{M}$ is a translator. In particular in $\mathbb{C}^2$, all almost calibrated, exact, ancient sol… ▽ More Suppose that $\mathcal{M}$ is an almost calibrated, exact, ancient solution of Lagrangian mean curvature flow in $\mathbb{C}^n$. We show that if $\mathcal{M}$ has a blow-down given by the static union of two Lagrangian subspaces with distinct Lagrangian angles that intersect along a line, then $\mathcal{M}$ is a translator. In particular in $\mathbb{C}^2$, all almost calibrated, exact, ancient solutions of Lagrangian mean curvature flow with entropy less than 3 are special Lagrangian, a union of planes, or translators. △ Less

Submitted 31 October, 2023; v1 submitted 28 April, 2022; originally announced April 2022.

Comments: 28 pages, v2: appendix added on smoothly immersed Brakke flows, accepted in Publ. Math. IHES

MSC Class: 53E10

Journal ref: Publ. math. IHES (2024)

Instantons on flat space: Explicit constructions

Authors: Jason D. Lotay, Thomas Bruun Madsen

Abstract: In this note, we revisit some well-known examples of instantons on flat space that were originally discovered in the physics literature. In particular, we explain how the basic instanton on $\mathbb{R}^4$, with its flat hyperkaehler structure, has natural generalisations to $\mathbb{R}^7$ and $\mathbb{R}^8$ viewed as flat $G_2$- and Spin(7)-manifolds, respectively. We also provide the details of a… ▽ More In this note, we revisit some well-known examples of instantons on flat space that were originally discovered in the physics literature. In particular, we explain how the basic instanton on $\mathbb{R}^4$, with its flat hyperkaehler structure, has natural generalisations to $\mathbb{R}^7$ and $\mathbb{R}^8$ viewed as flat $G_2$- and Spin(7)-manifolds, respectively. We also provide the details of an arguably less known construction of ASD instantons on $\mathbb{H}^n$, in the sense of quaternionic geometry. △ Less

Submitted 25 April, 2022; originally announced April 2022.

Comments: 13 pages

MSC Class: 53C07; 53C25 (Primary); 34A34; 70G45 (Secondary)|

The heterotic $\rm{G}_2$ system on contact Calabi--Yau $7$-manifolds

Authors: Jason D. Lotay, Henrique N. Sá Earp

Abstract: We obtain non-trivial solutions to the heterotic $\rm{G}_2$ system, which are defined on the total spaces of non-trivial circle bundles over Calabi--Yau $3$-orbifolds. By adjusting the $S^1$ fibres in proportion to a power of the string constant $α'$, we obtain a cocalibrated $\rm{G}_2$-structure the torsion of which realises an arbitrary constant (trivial) dilaton field and an $H$-flux with nontr… ▽ More We obtain non-trivial solutions to the heterotic $\rm{G}_2$ system, which are defined on the total spaces of non-trivial circle bundles over Calabi--Yau $3$-orbifolds. By adjusting the $S^1$ fibres in proportion to a power of the string constant $α'$, we obtain a cocalibrated $\rm{G}_2$-structure the torsion of which realises an arbitrary constant (trivial) dilaton field and an $H$-flux with nontrivial Chern--Simons defect. We find examples of connections on the tangent bundle and a non-flat $\rm{G}_2$-instanton induced from the horizontal Calabi--Yau metric which satisfy together the anomaly-free condition, also known as the heterotic Bianchi identity. The connections on the tangent bundle are $\rm{G}_2$-instantons up to higher order corrections in $α'$. △ Less

Submitted 25 August, 2022; v1 submitted 17 January, 2021; originally announced January 2021.

Comments: Minor corrections and comments added. To appear in Transactions of the AMS

MSC Class: 53C07; 53C15; 83E30

Journal ref: Trans. Amer. Math. Soc. Ser. B 10 (2023), 907-943

Examples of equivariant Lagrangian mean curvature flow

Authors: Jason D. Lotay

Abstract: In this expository note we describe important examples of Lagrangian mean curvature flow in $\mathbb{C}^2$ which are invariant under a circle action. Through these examples, we see compact and non-compact situations, long-time existence, singularities forming via explicit models, and significant objects in Riemannian and symplectic geometry, including the Clifford torus, Chekanov torus, Whitney sp… ▽ More In this expository note we describe important examples of Lagrangian mean curvature flow in $\mathbb{C}^2$ which are invariant under a circle action. Through these examples, we see compact and non-compact situations, long-time existence, singularities forming via explicit models, and significant objects in Riemannian and symplectic geometry, including the Clifford torus, Chekanov torus, Whitney sphere and Lawlor necks. △ Less

Submitted 18 August, 2020; originally announced August 2020.

Comments: 8 pages, 7 figures. An abridged version will appear in Proceedings of the 2019 ISAAC Congress (Aveiro, Portugal)

Examples of deformed G_2-instantons/Donaldson-Thomas connections

Authors: Jason D. Lotay, Goncalo Oliveira

Abstract: In this note, we provide the first non-trivial examples of deformed G_2-instantons, originally called deformed Donaldson-Thomas connections. As a consequence, we see how deformed G_2-instantons can be used to distinguish between nearly parallel G_2-structures and isometric G_2-structures on 3-Sasakian 7-manifolds. Our examples give non-trivial deformed G_2-instantons with obstructed deformation th… ▽ More In this note, we provide the first non-trivial examples of deformed G_2-instantons, originally called deformed Donaldson-Thomas connections. As a consequence, we see how deformed G_2-instantons can be used to distinguish between nearly parallel G_2-structures and isometric G_2-structures on 3-Sasakian 7-manifolds. Our examples give non-trivial deformed G_2-instantons with obstructed deformation theory and situations where the moduli space of deformed G_2-instantons has components of different dimensions. We finally study the relation between our examples and a Chern-Simons type functional which has deformed G_2-instantons as critical points. △ Less

Submitted 28 January, 2021; v1 submitted 22 July, 2020; originally announced July 2020.

Comments: 20 pages, 5 figures; v2: minor corrections, accepted in Annales de l'Institut Fourier

MSC Class: 53C07; 53C25

Special Lagrangians, Lagrangian mean curvature flow and the Gibbons-Hawking ansatz

Authors: Jason D. Lotay, Goncalo Oliveira

Abstract: The Gibbons-Hawking ansatz provides a large family of circle-invariant hyperkaehler 4-manifolds, and thus Calabi-Yau 2-folds. In this setting, we prove versions of the Thomas conjecture on existence of special Lagrangian representatives of Hamiltonian isotopy classes of Lagrangians, and the Thomas-Yau conjecture on long-time existence of the Lagrangian mean curvature flow. We also make observation… ▽ More The Gibbons-Hawking ansatz provides a large family of circle-invariant hyperkaehler 4-manifolds, and thus Calabi-Yau 2-folds. In this setting, we prove versions of the Thomas conjecture on existence of special Lagrangian representatives of Hamiltonian isotopy classes of Lagrangians, and the Thomas-Yau conjecture on long-time existence of the Lagrangian mean curvature flow. We also make observations concerning closed geodesics, curve shortening flow and minimal surfaces. △ Less

Submitted 3 April, 2022; v1 submitted 24 February, 2020; originally announced February 2020.

Comments: 45 pages, 9 figures; v2: minor changes, accepted version for JDG

MSC Class: 53C38; 53C26; 53E10

Bryant-Salamon $\mathrm{G}_2$ manifolds and coassociative fibrations

Authors: Spiro Karigiannis, Jason D. Lotay

Abstract: Bryant-Salamon constructed three 1-parameter families of complete manifolds with holonomy $\mathrm{G}_2$ which are asymptotically conical to a holonomy $\mathrm{G}_2$ cone. For each of these families, including their asymptotic cone, we construct a fibration by asymptotically conical and conically singular coassociative 4-folds. We show that these fibrations are natural generalizations of the foll… ▽ More Bryant-Salamon constructed three 1-parameter families of complete manifolds with holonomy $\mathrm{G}_2$ which are asymptotically conical to a holonomy $\mathrm{G}_2$ cone. For each of these families, including their asymptotic cone, we construct a fibration by asymptotically conical and conically singular coassociative 4-folds. We show that these fibrations are natural generalizations of the following three well-known coassociative fibrations on $\mathbb R^7$: the trivial fibration by 4-planes, the product of the standard Lefschetz fibration of $\mathbb C^3$ with a line, and the Harvey-Lawson coassociative fibration. In particular, we describe coassociative fibrations of the bundle of anti-self-dual 2-forms over the 4-sphere $\mathcal{S}^4$, and the cone on $\mathbb C \mathbb P^3$, whose smooth fibres are $T^*\mathcal{S}^2$, and whose singular fibres are $\mathbb R^4/\{\pm 1\}$. We relate these fibrations to hypersymplectic geometry, Donaldson's work on Kovalev-Lefschetz fibrations, harmonic 1-forms and the Joyce--Karigiannis construction of holonomy $\mathrm{G}_2$ manifolds, and we construct vanishing cycles and associative "thimbles" for these fibrations. △ Less

Submitted 30 December, 2020; v1 submitted 15 February, 2020; originally announced February 2020.

Comments: 76 pages, 7 tables, 11 colour figures. Version 2: Discussion of multimoment maps clarified. Other minor revisions and improvements made as per suggestions of the referee. Final version, to appear in Journal of Geometry and Physics. Version 3: Corrected three spelling errors, updated publication info of reference [18], and added funding information to acknowledgements

MSC Class: 53C38; 53C29

Journal ref: J. Geom. Phys. 162 (2021), 104074, 60pp

Ancient solutions in Lagrangian mean curvature flow

Authors: Ben Lambert, Jason D. Lotay, Felix Schulze

Abstract: Ancient solutions of Lagrangian mean curvature flow in C^n naturally arise as Type II blow-ups. In this extended note we give structural and classification results for such ancient solutions in terms of their blow-down and, motivated by the Thomas-Yau Conjecture, focus on the almost calibrated case. In particular, we classify Type II blow-ups of almost calibrated Lagrangian mean curvature flow whe… ▽ More Ancient solutions of Lagrangian mean curvature flow in C^n naturally arise as Type II blow-ups. In this extended note we give structural and classification results for such ancient solutions in terms of their blow-down and, motivated by the Thomas-Yau Conjecture, focus on the almost calibrated case. In particular, we classify Type II blow-ups of almost calibrated Lagrangian mean curvature flow when the blow-down is a pair of transverse planes or, when n=2, a multiplicity two plane. We also show that the Harvey-Lawson Clifford torus cone in C^3 cannot arise as the blow-down of an almost calibrated Type II blow-up. △ Less

Submitted 29 April, 2020; v1 submitted 16 January, 2019; originally announced January 2019.

Comments: 30 pages, v2: minor typos corrected, accepted in Ann. Sc. Norm. Super. Pisa Cl. Sci

Journal ref: Ann. Sc. Norm. Super. Pisa Cl. Sci. XXII (2021), 1169-1205

Geometric Flows of G_2 Structures

Authors: Jason D. Lotay

Abstract: Geometric flows have proved to be a powerful geometric analysis tool, perhaps most notably in the study of 3-manifold topology, the differentiable sphere theorem, Hermitian-Yang-Mills connections and canonical Kaehler metrics. In the context of G_2 geometry, there are several geometric flows which arise. Each flow provides a potential means to study the geometry and topology associated with a give… ▽ More Geometric flows have proved to be a powerful geometric analysis tool, perhaps most notably in the study of 3-manifold topology, the differentiable sphere theorem, Hermitian-Yang-Mills connections and canonical Kaehler metrics. In the context of G_2 geometry, there are several geometric flows which arise. Each flow provides a potential means to study the geometry and topology associated with a given class of G_2 structures. We will introduce these flows, and describe some of the key known results and open problems in the field. △ Less

Submitted 31 October, 2018; originally announced October 2018.

Comments: 20 pages. To appear in a forthcoming volume of the Fields Institute Communications, entitled "Lectures and Surveys on G2 manifolds and related topics". These notes are based primarily on a lecture given at a Minischool on "G2 Manifolds and Related Topics" at the Fields Institute, Toronto in August 2017

Calibrated Submanifolds

Authors: Jason D. Lotay

Abstract: We provide an introduction to the theory of calibrated submanifolds through the key examples related with special holonomy. We focus on calibrated geometry in Calabi-Yau, G$_2$ and Spin(7) manifolds, and describe fundamental results and techniques in the field. We provide an introduction to the theory of calibrated submanifolds through the key examples related with special holonomy. We focus on calibrated geometry in Calabi-Yau, G$_2$ and Spin(7) manifolds, and describe fundamental results and techniques in the field. △ Less

Submitted 19 October, 2018; originally announced October 2018.

Comments: 24 pages. To appear in a forthcoming volume of the Fields Institute Communications, entitled "Lectures and Surveys on G2 manifolds and related topics". These notes are primarily based on a lecture course the author gave at the LMS-CMI Research School "An Invitation to Geometry and Topology via G2" at Imperial College London in July 2014

Spacelike mean curvature flow

Authors: Ben Lambert, Jason D. Lotay

Abstract: We prove long-time existence and convergence results for spacelike solutions to mean curvature flow in the pseudo-Euclidean space $\mathbb{R}^{n,m}$, which are entire or defined on bounded domains and satisfying Neumann or Dirichlet boundary conditions. As an application, we prove long-time existence and convergence of the $\operatorname{G}_2$-Laplacian flow in cases related to coassociative fibra… ▽ More We prove long-time existence and convergence results for spacelike solutions to mean curvature flow in the pseudo-Euclidean space $\mathbb{R}^{n,m}$, which are entire or defined on bounded domains and satisfying Neumann or Dirichlet boundary conditions. As an application, we prove long-time existence and convergence of the $\operatorname{G}_2$-Laplacian flow in cases related to coassociative fibrations. △ Less

Submitted 2 September, 2019; v1 submitted 6 August, 2018; originally announced August 2018.

Comments: This is a pre-print of an article published in The Journal of Geometric Analysis. The final authenticated version is available online at: https://doi.org/10.1007/s12220-019-00266-4

MSC Class: 53C50 53C44 53C10

Journal ref: J. Geom. Anal. 31 (2021), 1291-1359

Consequences of strong stability of minimal submanifolds

Authors: Jason D. Lotay, Felix Schulze

Abstract: In this note we show that the recent dynamical stability result for small $C^1$-perturbations of strongly stable minimal submanifolds of C.-J. Tsai and M.-T. Wang directly extends to the enhanced Brakke flows of Ilmanen. We illustrate applications of this result, including a local uniqueness statement for strongly stable minimal submanifolds amongst stationary varifolds, and a mechanism to flow th… ▽ More In this note we show that the recent dynamical stability result for small $C^1$-perturbations of strongly stable minimal submanifolds of C.-J. Tsai and M.-T. Wang directly extends to the enhanced Brakke flows of Ilmanen. We illustrate applications of this result, including a local uniqueness statement for strongly stable minimal submanifolds amongst stationary varifolds, and a mechanism to flow through some singularities of Lagrangian mean curvature flow which are proved to occur by Neves. △ Less

Submitted 19 April, 2018; v1 submitted 12 February, 2018; originally announced February 2018.

Comments: 7 pages, minor corrections. Final version to appear in IMRN

Journal ref: IMRN 2020 (2020), 2352-2360

Remarks on the self-shrinking Clifford torus

Authors: Christopher G. Evans, Jason D. Lotay, Felix Schulze

Abstract: On the one hand, we prove that the Clifford torus in $\mathbb{C}^2$ is unstable for Lagrangian mean curvature flow under arbitrarily small Hamiltonian perturbations, even though it is Hamiltonian $F$-stable and locally area minimising under Hamiltonian variations. On the other hand, we show that the Clifford torus is rigid: it is locally unique as a self-shrinker for mean curvature flow, despite h… ▽ More On the one hand, we prove that the Clifford torus in $\mathbb{C}^2$ is unstable for Lagrangian mean curvature flow under arbitrarily small Hamiltonian perturbations, even though it is Hamiltonian $F$-stable and locally area minimising under Hamiltonian variations. On the other hand, we show that the Clifford torus is rigid: it is locally unique as a self-shrinker for mean curvature flow, despite having infinitesimal deformations which do not arise from rigid motions. The proofs rely on analysing higher order phenomena: specifically, showing that the Clifford torus is not a local entropy minimiser even under Hamiltonian variations, and demonstrating that infinitesimal deformations which do not generate rigid motions are genuinely obstructed. △ Less

Submitted 10 June, 2020; v1 submitted 5 February, 2018; originally announced February 2018.

Comments: 31 pages, v3: additional details for proof of local uniqueness of the Clifford torus as a self-shrinker provided

MSC Class: 53C44

Journal ref: J. Reine Angew. Math. 2020 (2020), 139-170

From minimal Lagrangian to J-minimal submanifolds: persistence and uniqueness

Authors: Jason D. Lotay, Tommaso Pacini

Abstract: Given a minimal Lagrangian submanifold L in a negative Kaehler--Einstein manifold M, we show that any small Kaehler--Einstein perturbation of M induces a deformation of L which is minimal Lagrangian with respect to the new structure. This provides a new source of examples of minimal Lagrangians. More generally, the same is true for the larger class of totally real J-minimal submanifolds in Kaehler… ▽ More Given a minimal Lagrangian submanifold L in a negative Kaehler--Einstein manifold M, we show that any small Kaehler--Einstein perturbation of M induces a deformation of L which is minimal Lagrangian with respect to the new structure. This provides a new source of examples of minimal Lagrangians. More generally, the same is true for the larger class of totally real J-minimal submanifolds in Kaehler manifolds with negative definite Ricci curvature. △ Less

Submitted 30 August, 2018; v1 submitted 26 April, 2017; originally announced April 2017.

Comments: Final version, 22 pages; to appear in a special volume in memory of Paolo de Bartolomeis, Boll. UMI

Journal ref: Boll. Unione Mat. Ital.12 (2019), 63-82

$SU(2)^2$-invariant $G_2$-instantons

Authors: Jason D. Lotay, Goncalo Oliveira

Abstract: We initiate the systematic study of $G_2$-instantons with $SU(2)^2$-symmetry. As well as develo** foundational theory, we give existence, non-existence and classification results for these instantons. We particularly focus on $\mathbb{R}^4\times S^3$ with its two explicitly known distinct holonomy $G_2$ metrics, which have different volume growths at infinity, exhibiting the different behaviour… ▽ More We initiate the systematic study of $G_2$-instantons with $SU(2)^2$-symmetry. As well as develo** foundational theory, we give existence, non-existence and classification results for these instantons. We particularly focus on $\mathbb{R}^4\times S^3$ with its two explicitly known distinct holonomy $G_2$ metrics, which have different volume growths at infinity, exhibiting the different behaviour of instantons in these settings. We also give an explicit example of sequences of $G_2$-instantons where "bubbling" and "removable singularity" phenomena occur in the limit. △ Less

Submitted 29 December, 2017; v1 submitted 28 August, 2016; originally announced August 2016.

Comments: 61 pages; v3 minor changes: accepted in Mathematische Annalen

MSC Class: 53C07; 53C25

Journal ref: Math. Ann. 371 (2018), 961-1011

The space of hyperkähler metrics on a 4-manifold with boundary

Authors: Joel Fine, Jason D. Lotay, Michael Singer

Abstract: Let X be a compact 4-manifold with boundary. We study the space of hyperkähler triples on X, modulo diffeomorphisms which are the identity on the boundary. We prove that this moduli space is a smooth infinite-dimensional manifold and describe the tangent space in terms of triples of closed anti-self-dual 2-forms. We also explore the corresponding boundary value problem: a hyperkähler triple restri… ▽ More Let X be a compact 4-manifold with boundary. We study the space of hyperkähler triples on X, modulo diffeomorphisms which are the identity on the boundary. We prove that this moduli space is a smooth infinite-dimensional manifold and describe the tangent space in terms of triples of closed anti-self-dual 2-forms. We also explore the corresponding boundary value problem: a hyperkähler triple restricts to a closed framing of the bundle of 2-forms on the boundary; we identify the infinitesimal deformations of this closed framing that can be filled in to hyperkähler deformations of the original triple. Finally we study explicit examples coming from gravitational instantons with isometric actions of SU(2). △ Less

Submitted 6 February, 2017; v1 submitted 26 March, 2016; originally announced March 2016.

Comments: 31 pages. v2: minor corrections and streamlined exposition v3: typos corrected, version accepted for publication in Forum of Mathematics, Sigma

MSC Class: 53C26; 58J32

Journal ref: Forum of Mathematics, Sigma, 5 (2017)

Laplacian flow for closed G_2 structures: real analyticity

Authors: Jason D. Lotay, Yong Wei

Abstract: Let $\varphi(t), t\in [0,T]$ be a smooth solution to the Laplacian flow for closed G_2 structures on a compact 7-manifold $M$. We show that for each fixed positive time $t\in (0,T]$, $(M,\varphi(t),g(t))$ is real analytic, where $g(t)$ is the metric induced by $\varphi(t)$. Consequently, any Laplacian soliton is real analytic and we obtain unique continuation results for the flow. Let $\varphi(t), t\in [0,T]$ be a smooth solution to the Laplacian flow for closed G_2 structures on a compact 7-manifold $M$. We show that for each fixed positive time $t\in (0,T]$, $(M,\varphi(t),g(t))$ is real analytic, where $g(t)$ is the metric induced by $\varphi(t)$. Consequently, any Laplacian soliton is real analytic and we obtain unique continuation results for the flow. △ Less

Submitted 6 January, 2017; v1 submitted 17 January, 2016; originally announced January 2016.

Comments: 27 pages, v2: streamlined exposition, accepted version for CAG

MSC Class: 53C44; 53C25; 53C10

Journal ref: Comm. Anal. Geom 27 (2019), 73-109

Complexified diffeomorphism groups, totally real submanifolds and Kähler-Einstein geometry

Authors: Jason D. Lotay, Tommaso Pacini

Abstract: Let (M,J) be an almost complex manifold. We show that the infinite-dimensional space Tau of totally real submanifolds in M carries a natural connection. This induces a canonical notion of geodesics in Tau and a corresponding definition of when a functional, defined on Tau, is convex. Geodesics in Tau can be expressed in terms of families of J-holomorphic curves in M; we prove a uniqueness result… ▽ More Let (M,J) be an almost complex manifold. We show that the infinite-dimensional space Tau of totally real submanifolds in M carries a natural connection. This induces a canonical notion of geodesics in Tau and a corresponding definition of when a functional, defined on Tau, is convex. Geodesics in Tau can be expressed in terms of families of J-holomorphic curves in M; we prove a uniqueness result and study their existence. When M is Kähler we define a canonical functional on Tau; it is convex if M has non-positive Ricci curvature. Our construction is formally analogous to the notion of geodesics and the Mabuchi functional on the space of Kähler potentials, as studied by Donaldson, Fujiki and Semmes. Motivated by this analogy, we discuss possible applications of our theory to the study of minimal Lagrangians in negative Kähler-Einstein manifolds. △ Less

Submitted 3 October, 2017; v1 submitted 15 June, 2015; originally announced June 2015.

Comments: Final version, to appear in Trans. AMS

Journal ref: Trans. Amer. Math. Soc. 371 (2019), 2665-2701

Stability of torsion-free G_2 structures along the Laplacian flow

Authors: Jason D. Lotay, Yong Wei

Abstract: We prove that torsion-free G_2 structures are (weakly) dynamically stable along the Laplacian flow for closed G_2 structures. More precisely, given a torsion-free G_2 structure $\varphi$ on a compact 7-manifold, the Laplacian flow with initial value cohomologous and sufficiently close to $\varphi$ will converge to a torsion-free G_2 structure which is in the orbit of $\varphi$ under diffeomorphism… ▽ More We prove that torsion-free G_2 structures are (weakly) dynamically stable along the Laplacian flow for closed G_2 structures. More precisely, given a torsion-free G_2 structure $\varphi$ on a compact 7-manifold, the Laplacian flow with initial value cohomologous and sufficiently close to $\varphi$ will converge to a torsion-free G_2 structure which is in the orbit of $\varphi$ under diffeomorphisms isotopic to the identity. △ Less

Submitted 13 May, 2017; v1 submitted 29 April, 2015; originally announced April 2015.

Comments: 28 pages, v2: minor corrections and additions, accepted version for JDG

MSC Class: 53C44; 53C25; 53C10

Journal ref: Journal of Differential Geometry, Vol. 111, No. 3 (2019), pp. 495-526

Laplacian flow for closed G_2 structures: Shi-type estimates, uniqueness and compactness

Authors: Jason D. Lotay, Yong Wei

Abstract: We develop foundational theory for the Laplacian flow for closed G_2 structures which will be essential for future study. (1). We prove Shi-type derivative estimates for the Riemann curvature tensor Rm and torsion tensor T along the flow, i.e. that a bound on $Λ(x,t)=\left(|\nabla T(x,t)|_{g(t)}^2+|Rm(x,t)|_{g(t)}^2\right)^{\frac 12}$ will imply bounds on all covariant derivatives of Rm and T. (2)… ▽ More We develop foundational theory for the Laplacian flow for closed G_2 structures which will be essential for future study. (1). We prove Shi-type derivative estimates for the Riemann curvature tensor Rm and torsion tensor T along the flow, i.e. that a bound on $Λ(x,t)=\left(|\nabla T(x,t)|_{g(t)}^2+|Rm(x,t)|_{g(t)}^2\right)^{\frac 12}$ will imply bounds on all covariant derivatives of Rm and T. (2). We show that $Λ(x,t)$ will blow up at a finite-time singularity, so the flow will exist as long as $Λ(x,t)$ remains bounded. (3). We give a new proof of forward uniqueness and prove backward uniqueness of the flow, and give some applications. (4). We prove a compactness theorem for the flow and use it to strengthen our long time existence result from (2). (5). Finally, we study compact soliton solutions of the Laplacian flow. △ Less

Submitted 6 January, 2017; v1 submitted 28 April, 2015; originally announced April 2015.

Comments: 59 pages, v2: minor corrections and additions, accepted version for GAFA

MSC Class: 53C44; 53C25; 53C10

Journal ref: Geom. Funct. Anal. 27 (2017), 165-233

From Lagrangian to totally real geometry: coupled flows and calibrations

Authors: Jason D. Lotay, Tommaso Pacini

Abstract: We show that the properties of Lagrangian mean curvature flow are a special case of a more general phenomenon, concerning couplings between geometric flows of the ambient space and of totally real submanifolds. Both flows are driven by ambient Ricci curvature or, in the non-Kähler case, by its analogues. To this end we explore the geometry of totally real submanifolds, defining (i) a new geometric… ▽ More We show that the properties of Lagrangian mean curvature flow are a special case of a more general phenomenon, concerning couplings between geometric flows of the ambient space and of totally real submanifolds. Both flows are driven by ambient Ricci curvature or, in the non-Kähler case, by its analogues. To this end we explore the geometry of totally real submanifolds, defining (i) a new geometric flow in terms of the ambient canonical bundle, (ii) a modified volume functional which takes into account the totally real condition. We discuss short-time existence for our flow and show it couples well with the Streets-Tian symplectic curvature flow for almost Kähler manifolds. We also discuss possible applications to Lagrangian submanifolds and calibrated geometry. △ Less

Submitted 14 December, 2017; v1 submitted 16 April, 2014; originally announced April 2014.

Comments: v3: minor sign error fixed. To appear in CAG

Journal ref: Comm. Anal. Geom. 28 (2020), 607-675

Desingularization of Coassociative 4-folds with Conical Singularities: Obstructions and Applications

Authors: Jason D. Lotay

Abstract: We study the problem of desingularizing coassociative conical singularities via gluing, allowing for topological and analytic obstructions, and discuss applications. This extends the author's earlier work on the unobstructed case. We interpret the analytic obstructions geometrically via the obstruction theory for deformations of conically singular coassociative 4-folds, and thus relate them to the… ▽ More We study the problem of desingularizing coassociative conical singularities via gluing, allowing for topological and analytic obstructions, and discuss applications. This extends the author's earlier work on the unobstructed case. We interpret the analytic obstructions geometrically via the obstruction theory for deformations of conically singular coassociative 4-folds, and thus relate them to the stability of the singularities. We use our results to describe the relationship between moduli spaces of coassociative 4-folds with conical singularities and those of their desingularizations. We also apply our theory in examples, including to the known conically singular coassociative 4-folds in compact holonomy G_2 manifolds. △ Less

Submitted 22 February, 2015; v1 submitted 23 September, 2012; originally announced September 2012.

Comments: 56 pages, v2: minor corrections and added comments, published version

MSC Class: 53C38

Journal ref: Trans. Amer. Math. Soc. 366 (2014), 6051-6092

Uniqueness of Lagrangian Self-Expanders

Authors: Jason D. Lotay, André Neves

Abstract: We show that zero-Maslov class Lagrangian self-expanders in C^n which are asymptotic to a pair of planes intersecting transversely are locally unique if n>2 and unique if n=2. We show that zero-Maslov class Lagrangian self-expanders in C^n which are asymptotic to a pair of planes intersecting transversely are locally unique if n>2 and unique if n=2. △ Less

Submitted 13 August, 2012; originally announced August 2012.

Comments: 32 pages

MSC Class: 53C44

Journal ref: Geom. Topol. 17 (2013) 2689-2729

Associative Submanifolds of the 7-Sphere

Authors: Jason D. Lotay

Abstract: Associative submanifolds of the 7-sphere S^7 are 3-dimensional minimal submanifolds which are the links of calibrated 4-dimensional cones in R^8 called Cayley cones. Examples of associative 3-folds are thus given by the links of complex and special Lagrangian cones in C^4, as well as Lagrangian submanifolds of the nearly Kähler 6-sphere. By classifying the associative group orbits, we exhibit th… ▽ More Associative submanifolds of the 7-sphere S^7 are 3-dimensional minimal submanifolds which are the links of calibrated 4-dimensional cones in R^8 called Cayley cones. Examples of associative 3-folds are thus given by the links of complex and special Lagrangian cones in C^4, as well as Lagrangian submanifolds of the nearly Kähler 6-sphere. By classifying the associative group orbits, we exhibit the first known explicit example of an associative 3-fold in S^7 which does not arise from other geometries. We then study associative 3-folds satisfying the curvature constraint known as Chen's equality, which is equivalent to a natural pointwise condition on the second fundamental form, and describe them using a new family of pseudoholomorphic curves in the Grassmannian of 2-planes in R^8 and isotropic minimal surfaces in S^6. We also prove that associative 3-folds which are ruled by geodesic circles, like minimal surfaces in space forms, admit families of local isometric deformations. Finally, we construct associative 3-folds satisfying Chen's equality which have an S^1-family of global isometric deformations using harmonic 2-spheres in S^6. △ Less

Submitted 13 August, 2012; v1 submitted 2 June, 2010; originally announced June 2010.

Comments: 42 pages, v2: minor corrections, streamlined and improved exposition, published version; Proceedings of the London Mathematical Society, Advance Access published 17 June 2012

MSC Class: 53B20; 53B25; 53C38; 53C40

Journal ref: Proc. London Math. Soc. (2012) 105 (6): 1183-1214

Stability of Coassociative Conical Singularities

Authors: Jason D. Lotay

Abstract: We study the stability of coassociative 4-folds with conical singularities under perturbations of the ambient G_2 structure by defining an integer invariant of a coassociative cone which we call the stability index. The stability index of a coassociative cone is determined by the spectrum of the curl operator acting on its link. We explicitly calculate the stability index for cones on group orbits… ▽ More We study the stability of coassociative 4-folds with conical singularities under perturbations of the ambient G_2 structure by defining an integer invariant of a coassociative cone which we call the stability index. The stability index of a coassociative cone is determined by the spectrum of the curl operator acting on its link. We explicitly calculate the stability index for cones on group orbits. We also describe the stability index for cones fibered by 2-planes over algebraic curves using the degree and genus of the curve and the spectrum of the Laplacian on the link. Finally we apply our results to construct the first known examples of coassociative 4-folds with conical singularities in compact manifolds with G_2 holonomy. △ Less

Submitted 15 October, 2012; v1 submitted 27 October, 2009; originally announced October 2009.

Comments: 59 pages, v2: significant expansion and revision, thus title changed, but key final result is the same; published version

MSC Class: 53C38

Journal ref: Communications in Analysis and Geometry, Volume 20, Number 4 (2012), 803-867

Ruled Lagrangian Submanifolds of the 6-Sphere

Authors: Jason D. Lotay

Abstract: This article sets out to serve a dual purpose. On the one hand, we give an explicit description of the Lagrangian submanifolds of the nearly Kaehler 6-sphere which are ruled by circles of constant radius using Weierstrass formulae. On the other, we recognise all previous known examples of these Lagrangians as being ruled by such circles. Therefore, we describe all families of Lagrangians in the 6-… ▽ More This article sets out to serve a dual purpose. On the one hand, we give an explicit description of the Lagrangian submanifolds of the nearly Kaehler 6-sphere which are ruled by circles of constant radius using Weierstrass formulae. On the other, we recognise all previous known examples of these Lagrangians as being ruled by such circles. Therefore, we describe all families of Lagrangians in the 6-sphere whose second fundamental form satisfies natural pointwise conditions: so-called second order families. △ Less

Submitted 2 June, 2010; v1 submitted 14 July, 2008; originally announced July 2008.

Comments: 46 pages, v2: minor corrections, version to appear in Trans. Amer. Math. Soc

MSC Class: 53B20; 53B25

Journal ref: Transactions of the American Mathematical Society 363 (2011), 2305-2339

Asymptotically Conical Associative 3-folds

Authors: Jason D. Lotay

Abstract: Given an associative 3-fold in R^7 which is asymptotically conical with generic rate less than 1, we show that its moduli space of deformations is locally homeomorphic to the kernel of a smooth map between smooth manifolds. Moreover, the virtual dimension of the moduli space is computed and shown to be non-negative for rates greater than -1, whereas the associative 3-fold is expected to be isolate… ▽ More Given an associative 3-fold in R^7 which is asymptotically conical with generic rate less than 1, we show that its moduli space of deformations is locally homeomorphic to the kernel of a smooth map between smooth manifolds. Moreover, the virtual dimension of the moduli space is computed and shown to be non-negative for rates greater than -1, whereas the associative 3-fold is expected to be isolated for rates less than or equal to -1. △ Less

Submitted 2 June, 2010; v1 submitted 24 February, 2008; originally announced February 2008.

Comments: 33 pages, v2: major changes for published version, mainly regarding the twisted Dirac and d-bar operators

MSC Class: 53C38

Journal ref: Q J Math (2011) 62(1): 131-156

Deformations of Compact Coassociative 4-folds with Boundary

Authors: Alexei Kovalev, Jason D. Lotay

Abstract: Coassociative 4-folds are a particular class of 4-dimensional submanifolds which are defined in a 7-dimensional manifold M with a G_2 structure given by a `positive' differential 3-form, sometimes called G_2-form. Assuming that a G_2-form on M is closed, we study deformations of a compact coassociative submanifold N with boundary contained in fixed, codimension 1 submanifold S of M with a compat… ▽ More Coassociative 4-folds are a particular class of 4-dimensional submanifolds which are defined in a 7-dimensional manifold M with a G_2 structure given by a `positive' differential 3-form, sometimes called G_2-form. Assuming that a G_2-form on M is closed, we study deformations of a compact coassociative submanifold N with boundary contained in fixed, codimension 1 submanifold S of M with a compatible Hermitian symplectic structure. We show that `small' coassociative deformations of N with special Lagrangian boundary in S are unobstructed and form a smooth moduli space of finite dimension not greater than the first Betti number of the boundary of N. It is also shown that N is `stable' under small deformations of the closed G_2-form on the ambient 7-manifold M. The results can be compared to those for special Lagrangian submanifolds of Calabi--Yau manifolds proved by A.Butscher in math.DG/0110052. △ Less

Submitted 21 July, 2008; v1 submitted 28 December, 2007; originally announced December 2007.

Comments: 22 pages. v2: largely rewritten, correcting an error in the previous version, examples and references added

Journal ref: J. Geom. Phys. 59 (2009), 63-73