Showing 1–27 of 27 results for author: Karigiannis, S

Cohomogeneity one solitons for the isometric flow of $G_2$-structures

Authors: Thomas A. Ivey, Spiro Karigiannis

Abstract: We consider the existence of cohomogeneity one solitons for the isometric flow of $G_2$-structures on the following classes of torsion-free $G_2$-manifolds: the Euclidean $R^7$ with its standard $G_2$-structure, metric cylinders over Calabi-Yau 3-folds, metric cones over nearly Kähler 6-manifolds, and the Bryant-Salamon $G_2$-manifolds. In all cases we establish existence of global solutions to th… ▽ More We consider the existence of cohomogeneity one solitons for the isometric flow of $G_2$-structures on the following classes of torsion-free $G_2$-manifolds: the Euclidean $R^7$ with its standard $G_2$-structure, metric cylinders over Calabi-Yau 3-folds, metric cones over nearly Kähler 6-manifolds, and the Bryant-Salamon $G_2$-manifolds. In all cases we establish existence of global solutions to the isometric soliton equations, and determine the asymptotic behaviour of the torsion. In particular, existence of shrinking isometric solitons on $R^7$ is proved, giving support to the likely existence of type I singularities for the isometric flow. In each case, the study of the soliton equation reduces to a particular nonlinear ODE with a regular singular point, for which we provide a careful analysis. Finally, to simplify the derivation of the relevant equations in each case, we first establish several useful Riemannian geometric formulas for a general class of cohomogeneity one metrics on total spaces of vector bundles which should have much wider application, as such metrics arise often as explicit examples of special holonomy metrics. △ Less

Submitted 16 September, 2024; v1 submitted 2 February, 2024; originally announced February 2024.

Comments: 31 pages; revised version contains minor changes in response to referee's reports; final version to be published in Geometriae Dedicata

MSC Class: 53C25; 53C29; 53E99; 58J60

Journal ref: Geometriae Dedicata 218 (2024), 102, 35pp

A special class of $k$-harmonic maps inducing calibrated fibrations

Authors: Anton Iliashenko, Spiro Karigiannis

Abstract: We consider two special classes of $k$-harmonic maps between Riemannian manifolds which are related to calibrated geometry, satisfying a first order fully nonlinear PDE. The first is a special type of weakly conformal map $u \colon (L^k, g) \to (M^n, h)$ where $k \leq n$ and $α$ is a calibration $k$-form on $M$. Away from the critical set, the image is an $α$-calibrated submanifold of $M$. These w… ▽ More We consider two special classes of $k$-harmonic maps between Riemannian manifolds which are related to calibrated geometry, satisfying a first order fully nonlinear PDE. The first is a special type of weakly conformal map $u \colon (L^k, g) \to (M^n, h)$ where $k \leq n$ and $α$ is a calibration $k$-form on $M$. Away from the critical set, the image is an $α$-calibrated submanifold of $M$. These were previously studied by Cheng-Karigiannis-Madnick when $α$ was associated to a vector cross product, but we clarify that such a restriction is unnecessary. The second, which is new, is a special type of weakly horizontally conformal map $u \colon (M^n, h) \to (L^k, g)$ where $n \geq k$ and $α$ is a calibration $(n-k)$-form on $M$. Away from the critical set, the fibres $u^{-1} \{ u(x) \}$ are $α$-calibrated submanifolds of $M$. We also review some previously established analytic results for the first class; we exhibit some explicit noncompact examples of the second class, where $(M, h)$ are the Bryant-Salamon manifolds with exceptional holonomy; we remark on the relevance of this new PDE to the Strominger-Yau-Zaslow conjecture for mirror symmetry in terms of special Lagrangian fibrations and to the $\mathrm{G}_2$ version by Gukov-Yau-Zaslow in terms of coassociative fibrations; and we present several open questions for future study. △ Less

Submitted 5 July, 2024; v1 submitted 23 November, 2023; originally announced November 2023.

Comments: 25 pages, no figures. Version 2: Various minor improvements based on referee's report, including strengthening results showing that the two formulations of the Smith immersion/submersion equations, in terms of calibration forms or in terms of cross products, are always equivalent. Final version, to appear in Mathematical Research Letters

MSC Class: 53C38; 53C43; 58E20

Flows of $G_2$-structures, II: Curvature, torsion, symbols, and functionals

Authors: Shubham Dwivedi, Panagiotis Gianniotis, Spiro Karigiannis

Abstract: We continue the investigation of general geometric flows of $G_2$-structures initiated by the third author in "Flows of $G_2$-structures, I." Specifically, we determine the possible geometric flows (up to lower order terms) of $G_2$-structures which are second order quasilinear, by explicitly computing all independent second order differential invariants of $G_2$-structures which are $3$-forms. Th… ▽ More We continue the investigation of general geometric flows of $G_2$-structures initiated by the third author in "Flows of $G_2$-structures, I." Specifically, we determine the possible geometric flows (up to lower order terms) of $G_2$-structures which are second order quasilinear, by explicitly computing all independent second order differential invariants of $G_2$-structures which are $3$-forms. There are four symmetric $2$-tensors and two vector fields. We do this by deriving explicit computational descriptions of the decompositions of the curvature and the covariant derivative of the torsion into irreducible $G_2$-representations, as well as the decomposition of the $G_2$-Bianchi identity into independent relations. We also show that these six tensors arise as leading order contributions to the Euler-Lagrange equations for the energy functionals of the four independent torsion components, and we establish a $G_2$-analogue of the classical block decomposition of the Riemann curvature operator on oriented $4$-dimensional Riemannian manifolds. Finally, we present a large class of geometric flows of $G_2$-structures which are directly amenable to a deTurck type trick to establish short-time existence and uniqueness, with no initial assumption on the torsion, vastly generalizing an earlier result of Weiss-Witt for the negative gradient flow of the Dirichlet energy. This result is proved through a careful analysis of the principal symbols of the linearizations of these operators, establishing particular linear combinations for which one can prove that the failure of strict parabolicity is due precisely to the diffeomorphism invariance. A detailed introductory section on various foundational results of $G_2$-structure, several of which are not readily available in the literature, should be of wider interest and applicability. △ Less

Submitted 13 May, 2025; v1 submitted 9 November, 2023; originally announced November 2023.

Comments: 101 pages, no figures. Version 2: numerous minor revisions, clarifications, and typographical corrections following referee's report, but no significant content changes. Final version, to appear in Pure and Applied Mathematics Quarterly

MSC Class: 53C25; 53C26; 53C15; 53C10

Journal ref: Pure and Applied Mathematics Quarterly 21 (2025), 2035-2186

Extrinsic geometry of calibrated submanifolds

Authors: Spiro Karigiannis, Lucía Martín-Merchán

Abstract: Given a calibration $α$ whose stabilizer acts transitively on the Grassmanian of calibrated planes, we introduce a nontrivial Lie-theoretic condition on $α$, which we call compliancy, and show that this condition holds for many interesting geometric calibrations, including Kähler, special Lagrangian, associative, coassociative, and Cayley. We determine a sufficient condition that ensures complianc… ▽ More Given a calibration $α$ whose stabilizer acts transitively on the Grassmanian of calibrated planes, we introduce a nontrivial Lie-theoretic condition on $α$, which we call compliancy, and show that this condition holds for many interesting geometric calibrations, including Kähler, special Lagrangian, associative, coassociative, and Cayley. We determine a sufficient condition that ensures compliancy of $α$, we completely characterize compliancy in terms of properties of a natural involution determined by a calibrated plane, and we relate compliancy to the geometry of the calibrated Grassmanian. The condition that a Riemannian immersion $ι\colon L \to M$ be calibrated is a first order condition. By contrast, its extrinsic geometry, given by the second fundamental form $A$ and the induced tangent and normal connections $\nabla$ on $TL$ and $D$ on $NL$, respectively, is second order information. We characterize the conditions imposed on the extrinsic geometric data $(A, \nabla, D)$ when the Riemannian immersion $ι\colon L \to M$ is calibrated with respect to a calibration $α$ on $M$ which is both parallel and compliant. This motivate the definition of an infinitesimally calibrated Riemannian immersion, generalizing the classical notion of a superminimal surface in $\mathbb R^4$. △ Less

Submitted 10 April, 2024; v1 submitted 6 September, 2023; originally announced September 2023.

Comments: 24 pages, 1 table, no figures. Version 2: minor typos corrected and remark added. Final version to appear in Mathematische Zeitschrift

MSC Class: 53C38

Journal ref: Mathematische Zeitschrift 307 (2024), 33, 26pp

Calibrated Geometry in Hyperkahler Cones, 3-Sasakian Manifolds, and Twistor Spaces

Authors: Benjamin Aslan, Spiro Karigiannis, Jesse Madnick

Abstract: We systematically study calibrated geometry in hyperkähler cones $C^{4n+4}$, their 3-Sasakian links $M^{4n+3}$, and the corresponding twistor spaces $Z^{4n+2}$, emphasizing the relationships between submanifold geometries in various spaces. Our analysis emphasizes the role played by a canonical $\mathrm{Sp}(n)\mathrm{U}(1)$-structure $γ$ on the twistor space $Z$. We observe that… ▽ More We systematically study calibrated geometry in hyperkähler cones $C^{4n+4}$, their 3-Sasakian links $M^{4n+3}$, and the corresponding twistor spaces $Z^{4n+2}$, emphasizing the relationships between submanifold geometries in various spaces. Our analysis emphasizes the role played by a canonical $\mathrm{Sp}(n)\mathrm{U}(1)$-structure $γ$ on the twistor space $Z$. We observe that $\mathrm{Re}(e^{- i θ} γ)$ is an $S^1$-family of semi-calibrations, and make a detailed study of their associated calibrated geometries. As an application, we obtain new characterizations of complex Lagrangian and complex isotropic cones in hyperkähler cones, generalizing a result of Ejiri and Tsukada. We also generalize a theorem of Storm on submanifolds of twistor spaces that are Lagrangian with respect to both the Kähler-Einstein and nearly-Kähler structures. △ Less

Submitted 25 March, 2024; v1 submitted 22 August, 2023; originally announced August 2023.

Comments: 55 pages, 1 figure. Version 3: Minor revisions and clarifications following referee's report. Final version, to appear in Canadian Journal of Mathematics

Journal ref: Canadian Journal of Mathematics 77 (2025), 1163-1221

Observations about the Lie algebra $\mathfrak{g}_2 \subset \mathfrak{so}(7)$, associative $3$-planes, and $\mathfrak{so}(4)$ subalgebras

Authors: Max Chemtov, Spiro Karigiannis

Abstract: We make several observations relating the Lie algebra $\mathfrak{g}_2 \subset \mathfrak{so}(7)$, associative $3$-planes, and $\mathfrak{so}(4)$ subalgebras. Some are likely well-known but not easy to find in the literature, while other results are new. We show that an element $X \in \mathfrak{g}_2$ cannot have rank $2$, and if it has rank $4$ then its kernel is an associative subspace. We prove a… ▽ More We make several observations relating the Lie algebra $\mathfrak{g}_2 \subset \mathfrak{so}(7)$, associative $3$-planes, and $\mathfrak{so}(4)$ subalgebras. Some are likely well-known but not easy to find in the literature, while other results are new. We show that an element $X \in \mathfrak{g}_2$ cannot have rank $2$, and if it has rank $4$ then its kernel is an associative subspace. We prove a canonical form theorem for elements of $\mathfrak{g}_2$. Given an associative $3$-plane $P$ in $\mathbb R^7$, we construct a Lie subalgebra $Θ(P)$ of $\mathfrak{so}(7) = Λ^2 (\mathbb R^7)$ that is isomorphic to $\mathfrak{so}(4)$. This $\mathfrak{so}(4)$ subalgebra differs from other known constructions of $\mathfrak{so}(4)$ subalgebras of $\mathfrak{so}(7)$ determined by an associative $3$-plane. These are results of an NSERC undergraduate research project. The paper is written so as to be accessible to a wide audience. △ Less

Submitted 20 October, 2022; v1 submitted 21 September, 2022; originally announced September 2022.

Comments: 21 pages, no figures. These are the results of an NSERC undergraduate research project. The paper is written so as to be accessible to a wide audience. Comments are welcome. Version 2: minor typos corrected as per referee's report. Final version, to appear in "Expositiones Mathematicae"

MSC Class: 53C15; 22E60

Journal ref: Expositiones Mathematicae 40 (2022), 845-869

A variational characterization of calibrated submanifolds

Authors: Da Rong Cheng, Spiro Karigiannis, Jesse Madnick

Abstract: Let $M$ be a fixed compact oriented embedded submanifold of a manifold $\overline{M}$. Consider the volume $\mathcal{V} (\overline{g}) = \int_M \mathsf{vol}_{(M, g)}$ as a functional of the ambient metric $\overline{g}$ on $\overline{M}$, where $g = \overline{g}|_M$. We show that $\overline{g}$ is a critical point of $\mathcal{V}$ with respect to a special class of variations of $\overline{g}$, ob… ▽ More Let $M$ be a fixed compact oriented embedded submanifold of a manifold $\overline{M}$. Consider the volume $\mathcal{V} (\overline{g}) = \int_M \mathsf{vol}_{(M, g)}$ as a functional of the ambient metric $\overline{g}$ on $\overline{M}$, where $g = \overline{g}|_M$. We show that $\overline{g}$ is a critical point of $\mathcal{V}$ with respect to a special class of variations of $\overline{g}$, obtained by varying a calibration $μ$ on $\overline{M}$ in a particular way, if and only if $M$ is calibrated by $μ$. We do not assume that the calibration is closed. We prove this for almost complex, associative, coassociative, and Cayley calibrations, generalizing earlier work of Arezzo-Sun in the almost Kähler case. The Cayley case turns out to be particularly interesting, as it behaves quite differently from the others. We also apply these results to obtain a variational characterization of Smith maps. △ Less

Submitted 15 March, 2023; v1 submitted 18 April, 2022; originally announced April 2022.

Comments: 35 pages. Version 2: two references added and one reference updated. Final version, to appear in "Calculus of Variations and Partial Differential Equations"

MSC Class: 53C38; 58E11; 58E20

Journal ref: Calculus of Variations and Partial Differential Equations 62 (2023), 174, 38pp

Twisted-Austere Submanifolds in Euclidean Space

Authors: Thomas A. Ivey, Spiro Karigiannis

Abstract: A twisted-austere $k$-fold $(M, μ)$ in $\mathbb R^n$ consists of a $k$-dimensional submanifold $M$ of $\mathbb R^n$ together with a closed $1$-form $μ$ on $M$ such that the `twisted conormal bundle' $N^* M + μ$ is a special Lagrangian submanifold of $\mathbb C^n$. The 1-form $μ$ and the second fundamental form of $M$ must satisfy a particular system of coupled nonlinear second order PDE. We first… ▽ More A twisted-austere $k$-fold $(M, μ)$ in $\mathbb R^n$ consists of a $k$-dimensional submanifold $M$ of $\mathbb R^n$ together with a closed $1$-form $μ$ on $M$ such that the `twisted conormal bundle' $N^* M + μ$ is a special Lagrangian submanifold of $\mathbb C^n$. The 1-form $μ$ and the second fundamental form of $M$ must satisfy a particular system of coupled nonlinear second order PDE. We first review these twisted-austere conditions and give an explicit example. Then we focus on twisted-austere 3-folds, giving a geometric description of all solutions when the base $M$ is a cylinder and when $M$ is austere. Finally, we prove that, other than the case of a generalized helicoid in $\mathbb R^5$ discovered by Bryant, there are no other possibilities for the base $M$. This gives a complete classification of twisted-austere $3$-folds in $\mathbb R^n$. △ Less

Submitted 12 March, 2021; v1 submitted 26 June, 2020; originally announced June 2020.

Comments: 31 pages. Final published version. (A few minor misprints corrected)

MSC Class: 53B25; 53C38; 53C40; 53D12; 58A15

Journal ref: SIGMA 17 (2021), 023, 31 pages

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

Introduction to $\mathrm{G}_2$ geometry

Authors: Spiro Karigiannis

Abstract: These notes give an informal and leisurely introduction to $\mathrm{G}_2$ geometry for beginners. A special emphasis is placed on understanding the special linear algebraic structure in $7$ dimensions that is the pointwise model for $\mathrm{G}_2$ geometry, using the octonions. The basics of $\mathrm{G}_2$-structures are introduced, from a Riemannian geometric point of view, including a discussion… ▽ More These notes give an informal and leisurely introduction to $\mathrm{G}_2$ geometry for beginners. A special emphasis is placed on understanding the special linear algebraic structure in $7$ dimensions that is the pointwise model for $\mathrm{G}_2$ geometry, using the octonions. The basics of $\mathrm{G}_2$-structures are introduced, from a Riemannian geometric point of view, including a discussion of the torsion and its relation to curvature for a general $\mathrm{G}_2$-structure, as well as the connection to Riemannian holonomy. The history and properties of torsion-free $\mathrm{G}_2$ manifolds are considered, and we stress the similarities and differences with Kahler and Calabi-Yau manifolds. The notes end with a brief survey of three important theorems about compact torsion-free $\mathrm{G}_2$ manifolds. △ Less

Submitted 28 March, 2020; v1 submitted 20 September, 2019; originally announced September 2019.

Comments: 37 pages. To appear in a forthcoming volume of the Fields Institute Communications, entitled "Lectures and Surveys on G2 manifolds and related topics". Version 2: Corrected the references. No other changes

Journal ref: Lectures and Surveys on G2-Manifolds and Related Topics (Fields Institute Communications, vol 84), p. 3-50, Springer, 2020

Bubble Tree Convergence of Conformally Cross Product Preserving Maps

Authors: Da Rong Cheng, Spiro Karigiannis, Jesse Madnick

Abstract: We study a class of weakly conformal $3$-harmonic maps, called associative Smith maps, from $3$-manifolds into $7$-manifolds that parametrize associative $3$-folds in Riemannian $7$-manifolds equipped with $\mathrm{G}_2$-structures. Associative Smith maps are solutions of a conformally invariant nonlinear first order PDE system, called the Smith equation, that may be viewed as a $\mathrm{G}_2$-ana… ▽ More We study a class of weakly conformal $3$-harmonic maps, called associative Smith maps, from $3$-manifolds into $7$-manifolds that parametrize associative $3$-folds in Riemannian $7$-manifolds equipped with $\mathrm{G}_2$-structures. Associative Smith maps are solutions of a conformally invariant nonlinear first order PDE system, called the Smith equation, that may be viewed as a $\mathrm{G}_2$-analogue of the Cauchy-Riemann system for $J$-holomorphic curves. In this paper, we show that associative Smith maps enjoy many of the same analytic properties as $J$-holomorphic curves in symplectic geometry. In particular, we prove: (i) an interior regularity theorem, (ii) a removable singularity result, (iii) an energy gap result, and (iv) a mean-value inequality. While our approach is informed by the holomorphic curve case, a number of nontrivial extensions are involved, primarily due to the degeneracy of the Smith equation. At the heart of above results is an $\varepsilon$-regularity theorem that gives quantitative $C^{1,β}$-regularity of $W^{1,3}$ associative Smith maps under a smallness assumption on the $3$-energy. The proof combines previous work on weakly $3$-harmonic maps and the observation that the associative Smith equation demonstrates a certain "compensation phenomenon" that shows up in many other geometric PDEs. Combining these analytical properties and the conformal invariance of the Smith equation, we explain how sequences of associative Smith maps with bounded $3$-energy may be conformally rescaled to yield bubble trees of such maps. When the $\mathrm{G}_2$-structure is closed, we prove that both the $3$-energy and the homotopy are preserved in the bubble tree limit. This result may be regarded as an associative analogue of Gromov's Compactness Theorem in symplectic geometry. △ Less

Submitted 18 July, 2021; v1 submitted 8 September, 2019; originally announced September 2019.

Comments: 76 pages. Version 3: corrected numerous harmless typos and fixed table numbering. Final version to appear in Asian J. Math

MSC Class: 53C15; 53C38; 53C43; 57R57; 58E20; 58J60

Journal ref: Asian Journal of Mathematics 24 (2020), 903-984

A gradient flow of isometric $\mathrm{G}_2$ structures

Authors: Shubham Dwivedi, Panagiotis Gianniotis, Spiro Karigiannis

Abstract: We study a flow of $G_2$ structures which induce the same Riemannian metric which is the negative gradient flow of an energy functional. We prove Shi-type estimates for the torsion tensor along the flow. We show that at a finite-time singularity the torsion must blow-up, so the flow exists as long as the torsion remains bounded. We prove a Cheeger-Gromov type compactness theorem for the flow. We d… ▽ More We study a flow of $G_2$ structures which induce the same Riemannian metric which is the negative gradient flow of an energy functional. We prove Shi-type estimates for the torsion tensor along the flow. We show that at a finite-time singularity the torsion must blow-up, so the flow exists as long as the torsion remains bounded. We prove a Cheeger-Gromov type compactness theorem for the flow. We describe an Uhlenbeck-type trick which together with a modification of the connection gives a nice diffusion-reaction equation for the torsion along the flow. We define a quantity for any solution of the flow and prove that it is almost monotonic along the flow. Inspired by the work of Colding-Minicozzi on the mean curvature flow, we define an entropy functional and after proving an $ε$-regularity theorem, we show that low entropy initial data lead to solutions of the flow which exist for all time and converge smoothly to a $G_2$ structure with divergence free torsion. We also study the finite-time singularities and show that at the singular time the flow converges to a smooth $G_2$ structure outside a closed set of finite 5-dimensional Hausdorff measure. Finally, we prove that if the singularity is of Type-I then a sequence of blow-ups of a solution has a subsequence which converges to a shrinking soliton for the flow. △ Less

Submitted 21 November, 2019; v1 submitted 22 April, 2019; originally announced April 2019.

Comments: Final revised version following referee's suggestions. Only minor changes. To appear in "Journal of Geometric Analysis". 62 pages

Journal ref: The Journal of Geometric Analysis 31 (2021), 1855-1933

The $\mathcal L_B$-cohomology on compact torsion-free $\mathrm{G}_2$ manifolds and an application to 'almost' formality

Authors: Ki Fung Chan, Spiro Karigiannis, Chi Cheuk Tsang

Abstract: We study a cohomology theory $H^{\bullet}_{\varphi}$, called the $\mathcal L_B$-cohomology, on compact torsion-free $\mathrm{G}_2$-manifolds. We show that $H^k_{\varphi} \cong H^k_{\mathrm{dR}}$ for $k \neq 3, 4$, but that $H^k_{\varphi}$ is infinite-dimensional for $k = 3,4$. Nevertheless there is a canonical injection $H^k_{\mathrm{dR}} \to H^k_{\varphi}$. The $\mathcal L_B$-cohomology also sati… ▽ More We study a cohomology theory $H^{\bullet}_{\varphi}$, called the $\mathcal L_B$-cohomology, on compact torsion-free $\mathrm{G}_2$-manifolds. We show that $H^k_{\varphi} \cong H^k_{\mathrm{dR}}$ for $k \neq 3, 4$, but that $H^k_{\varphi}$ is infinite-dimensional for $k = 3,4$. Nevertheless there is a canonical injection $H^k_{\mathrm{dR}} \to H^k_{\varphi}$. The $\mathcal L_B$-cohomology also satisfies a Poincaré duality induced by the Hodge star. The establishment of these results requires a delicate analysis of the interplay between the exterior derivative $\mathrm{d}$ and the derivation $\mathcal L_B$, and uses both Hodge theory and the special properties of $\mathrm{G}_2$-structures in an essential way. As an application of our results, we prove that compact torsion-free $\mathrm{G}_2$-manifolds are 'almost formal' in the sense that most of the Massey triple products necessarily must vanish. △ Less

Submitted 7 September, 2018; v1 submitted 19 January, 2018; originally announced January 2018.

Comments: 43 pages, 8 figures in colour. Version 3: Minor revisions following referee's report. Main result strengthened in the case of full G2 holonomy. Final version, to appear in Annals of Global Analysis and Geometry

MSC Class: 53C25; 53C29

Journal ref: Annals of Global Analysis and Geometry 55 (2019), 325-369

Cohomologies on almost complex manifolds and the $\partial \bar{\partial}$-lemma

Authors: Ki Fung Chan, Spiro Karigiannis, Chi Cheuk Tsang

Abstract: We study cohomologies on an almost complex manifold $(M, J)$, defined using the Nijenhuis-Lie derivations $\mathcal{L}_J$ and $\mathcal{L}_N$ induced from the almost complex structure $J$ and its Nijenhuis tensor $N$, regarded as vector-valued forms on $M$. We show how one of these, the $N$-cohomology $H^{\bullet}_N (M)$, can be used to distinguish non-isomorphic non-integrable almost complex stru… ▽ More We study cohomologies on an almost complex manifold $(M, J)$, defined using the Nijenhuis-Lie derivations $\mathcal{L}_J$ and $\mathcal{L}_N$ induced from the almost complex structure $J$ and its Nijenhuis tensor $N$, regarded as vector-valued forms on $M$. We show how one of these, the $N$-cohomology $H^{\bullet}_N (M)$, can be used to distinguish non-isomorphic non-integrable almost complex structures on $M$. Another one, the $J$-cohomology $H^{\bullet}_J (M)$, is familiar in the integrable case but we extend its definition and applicability to the case of non-integrable almost complex structures. The $J$-cohomology encodes whether a complex manifold satisfies the $\partial \bar{\partial}$-lemma, and more generally in the non-integrable case the $J$-cohomology encodes whether $(M, J)$ satisfies the $\mathrm{d} \mathcal{L}_J$-lemma, which we introduce and motivate in this paper. We discuss several explicit examples in detail, including a non-integrable example. We also show that $H^k_J$ is finite-dimensional for compact integrable $(M, J)$, and use spectral sequences to establish partial results on the finite-dimensionality of $H^k_J$ in the compact non-integrable case. △ Less

Submitted 1 November, 2022; v1 submitted 12 October, 2017; originally announced October 2017.

Comments: 23 pages. Version 4: Changes made after publication: We corrected a misstatement in Theorem 3.23 and improved the original notation of Theorem 3.32 which caused unnecessary confusion. The authors thank Scott Wilson for alerting us to these issues

Journal ref: Asian Journal of Mathematics 23 (2019), 561-584

A new construction of compact torsion-free $G_2$-manifolds by gluing families of Eguchi-Hanson spaces

Authors: Dominic Joyce, Spiro Karigiannis

Abstract: We give a new construction of compact Riemannian 7-manifolds with holonomy $G_2$. Let $M$ be a torsion-free $G_2$-manifold (which can have holonomy a proper subgroup of $G_2$) such that $M$ admits an involution $ι$ preserving the $G_2$-structure. Then $M/{\langle ι\rangle}$ is a $G_2$-orbifold, with singular set $L$ an associative submanifold of $M$, where the singularities are locally of the form… ▽ More We give a new construction of compact Riemannian 7-manifolds with holonomy $G_2$. Let $M$ be a torsion-free $G_2$-manifold (which can have holonomy a proper subgroup of $G_2$) such that $M$ admits an involution $ι$ preserving the $G_2$-structure. Then $M/{\langle ι\rangle}$ is a $G_2$-orbifold, with singular set $L$ an associative submanifold of $M$, where the singularities are locally of the form $\mathbb R^3 \times (\mathbb R^4 / \{\pm 1\})$. We resolve this orbifold by gluing in a family of Eguchi-Hanson spaces, parametrized by a nonvanishing closed and coclosed $1$-form $λ$ on $L$. Much of the analytic difficulty lies in constructing appropriate closed $G_2$-structures with sufficiently small torsion to be able to apply the general existence theorem of the first author. In particular, the construction involves solving a family of elliptic equations on the noncompact Eguchi-Hanson space, parametrized by the singular set $L$. We also present two generalizations of the main theorem, and we discuss several methods of producing examples from this construction. △ Less

Submitted 9 April, 2020; v1 submitted 28 July, 2017; originally announced July 2017.

Comments: 83 pages. Version 3: Fixed three grammar mistakes and added a missing parenthesis. Final version to appear in Journal of Differential Geometry

MSC Class: 53C26; 53C29

Journal ref: Journal of Differential Geometry 117 (2021), 255-343

Deformation theory of G_2 conifolds

Authors: Spiro Karigiannis, Jason Lotay

Abstract: We consider the deformation theory of asymptotically conical (AC) and of conically singular (CS) $G_2$-manifolds. In the AC case, we show that if the rate of convergence $ν$ to the cone at infinity is generic in a precise sense and lies in the interval $(-4, 0)$, then the moduli space is smooth and we compute its dimension in terms of topological and analytic data. For generic rates $ν< -4$ in the… ▽ More We consider the deformation theory of asymptotically conical (AC) and of conically singular (CS) $G_2$-manifolds. In the AC case, we show that if the rate of convergence $ν$ to the cone at infinity is generic in a precise sense and lies in the interval $(-4, 0)$, then the moduli space is smooth and we compute its dimension in terms of topological and analytic data. For generic rates $ν< -4$ in the AC case, and for generic positive rates of convergence to the cones at the singular points in the CS case, the deformation theory is in general obstructed. We describe the obstruction spaces explicitly in terms of the spectrum of the Laplacian on the link of the cones on the ends, and compute the virtual dimension of the moduli space. We also present many applications of these results, including: the uniqueness of the Bryant--Salamon AC $G_2$-manifolds via local rigidity and the cohomogeneity one property of AC $G_2$-manifolds asymptotic to homogeneous cones; the smoothness of the CS moduli space if the singularities are modeled on particular $G_2$-cones; and the proof of existence of a "good gauge" needed for desingularization of CS $G_2$-manifolds. Finally, we discuss some open problems. △ Less

Submitted 24 September, 2020; v1 submitted 27 December, 2012; originally announced December 2012.

Comments: 106 pages, no figures. Version 5: an error was found in Lemma 4.54 when checking the final proofs for publication. The statement and proof of this lemma have now been corrected, and no other results were affected. Also two references were updated. Final version to appear in CAG

MSC Class: 53C29; 58K60

Journal ref: Communications in Analysis and Geometry 28 (2020), 1057-1210

Deformations of calibrated subbundles of Euclidean spaces via twisting by special sections

Authors: Spiro Karigiannis, Nat Chun-Ho Leung

Abstract: We extend the "bundle constructions" of calibrated submanifolds, due to Harvey--Lawson in the special Lagrangian case, and to Ionel--Karigiannis--Min-Oo in the cases of exceptional calibrations, by "twisting" the bundles by a special (harmonic, holomorphic, parallel) section of a complementary bundle. The existence of such deformations shows that the moduli space of calibrated deformations of thes… ▽ More We extend the "bundle constructions" of calibrated submanifolds, due to Harvey--Lawson in the special Lagrangian case, and to Ionel--Karigiannis--Min-Oo in the cases of exceptional calibrations, by "twisting" the bundles by a special (harmonic, holomorphic, parallel) section of a complementary bundle. The existence of such deformations shows that the moduli space of calibrated deformations of these "calibrated subbundles" includes deformations which destroy the linear structure of the fibre. △ Less

Submitted 20 March, 2012; v1 submitted 30 August, 2011; originally announced August 2011.

Comments: 16 pages, no figures. Version 2: Only minor cosmetic and typographical revisions. To appear in "Annals of Global Analysis and Geometry."

MSC Class: 53C38

Journal ref: Annals of Global Analysis and Geometry 42 (2012), 371-389

Soliton solutions for the Laplacian coflow of some $G_2$-structures with symmetry

Authors: Spiro Karigiannis, Benjamin McKay, Mao-Pei Tsui

Abstract: We consider the Laplacian "co-flow" of $G_2$-structures: $\frac{d}{dt} ψ= - Δ_d ψ$ where $ψ$ is the dual 4-form of a $G_2$-structure $φ$ and $Δ_d$ is the Hodge Laplacian on forms. This flow preserves the condition of the $G_2$-structure being coclosed ($dψ=0$). We study this flow for two explicit examples of coclosed $G_2$-structures with symmetry. These are given by warped products of an interval… ▽ More We consider the Laplacian "co-flow" of $G_2$-structures: $\frac{d}{dt} ψ= - Δ_d ψ$ where $ψ$ is the dual 4-form of a $G_2$-structure $φ$ and $Δ_d$ is the Hodge Laplacian on forms. This flow preserves the condition of the $G_2$-structure being coclosed ($dψ=0$). We study this flow for two explicit examples of coclosed $G_2$-structures with symmetry. These are given by warped products of an interval or a circle with a compact 6-manifold $N$ which is taken to be either a nearly Kähler manifold or a Calabi-Yau manifold. In both cases, we derive the flow equations and also the equations for soliton solutions. In the Calabi-Yau case, we find all the soliton solutions explicitly. In the nearly Kähler case, we find several special soliton solutions, and reduce the general problem to a single \emph{third order} highly nonlinear ordinary differential equation. △ Less

Submitted 3 May, 2012; v1 submitted 10 August, 2011; originally announced August 2011.

Comments: 18 pages, no figures. Version 2: Minor improvements and addition of references. To appear in Differential Geometry and its Applications

MSC Class: 53C44

Journal ref: Differential Geometry and its Applications, 30 (2012), 318-333

What is... a G_2 manifold?

Authors: Spiro Karigiannis

Abstract: This is a very short and elementary introduction to G_2 manifolds. We stress the similarities and the differences with Kähler manifolds in general and with Calabi-Yau manifolds in particular. This is a very short and elementary introduction to G_2 manifolds. We stress the similarities and the differences with Kähler manifolds in general and with Calabi-Yau manifolds in particular. △ Less

Submitted 12 April, 2011; originally announced April 2011.

Comments: 3 pages, no figures. Published in the April 2011 issue of the Notices of the AMS

MSC Class: 53C26

Journal ref: Notices of the American Mathematical Society 58, 580-581 (2011)

Desingularization of G_2 manifolds with isolated conical singularities

Authors: Spiro Karigiannis

Abstract: We present a method to desingularize a compact G_2 manifold with isolated conical singularities by cutting out a neighbourhood of each singular point and glueing in an asymptotically conical G_2 manifold. Controlling the error on the overlap glueing region enables us to use a result of Joyce to conclude that the resulting compact smooth 7-manifold admits a torsion-free G_2 structure, with full G… ▽ More We present a method to desingularize a compact G_2 manifold with isolated conical singularities by cutting out a neighbourhood of each singular point and glueing in an asymptotically conical G_2 manifold. Controlling the error on the overlap glueing region enables us to use a result of Joyce to conclude that the resulting compact smooth 7-manifold admits a torsion-free G_2 structure, with full G_2 holonomy. There are topological obstructions for this procedure to work, which arise from the degree 3 and degree 4 cohomology of the asymptotically conical G_2 manifolds which are glued in at each conical singularity. When a certain necessary topological condition on the manifold with isolated conical singularities is satisfied, we can introduce correction terms to the glueing procedure to ensure that it still works. In the case of degree 4 obstructions, these correction terms are trivial to construct, but in the case of degree 3 obstructions we need to solve an elliptic equation on a non-compact manifold. For this we use the Lockhart-McOwen theory of weighted Sobolev spaces on manifolds with ends. This theory is also used to obtain a good asymptotic expansion of the G_2 structure on an asymptotically conical G_2 manifold under an appropriate gauge-fixing condition, which is required to make the glueing procedure work. △ Less

Submitted 23 October, 2008; v1 submitted 21 July, 2008; originally announced July 2008.

Comments: 55 pages, 6 figures. Version 2: Corrected small error in the proof of Lemma 2.12. (The statement of the lemma has not changed.)

MSC Class: 53C29; 58J05

Journal ref: Geom. Topol. 13 (2009) 1583-1655

Flows of Spin(7)-structures

Authors: Spiro Karigiannis

Abstract: We consider flows of Spin(7)-structures. We use local coordinates to describe the torsion tensor of a Spin(7)-structure and derive the evolution equations for a general flow of a Spin(7)-structure on an 8-manifold M. Specifically, we compute the evolution of the metric and the torsion tensor. We also give an explicit description of the decomposition of the space of forms on a manifold with Spin(… ▽ More We consider flows of Spin(7)-structures. We use local coordinates to describe the torsion tensor of a Spin(7)-structure and derive the evolution equations for a general flow of a Spin(7)-structure on an 8-manifold M. Specifically, we compute the evolution of the metric and the torsion tensor. We also give an explicit description of the decomposition of the space of forms on a manifold with Spin(7)-structure, and derive an analogue of the second Bianchi identity in Spin(7)-geometry. This identity yields an explicit formula for the Ricci tensor and part of the Riemann curvature tensor in terms of the torsion. △ Less

Submitted 3 October, 2007; v1 submitted 28 September, 2007; originally announced September 2007.

Comments: 12 pages. Based on a talk given at the 10th International Conference on Differential Geometry and its Applications, in honour of the 300th anniversary of the birth of Leonhard Euler, Czech Republic. Version 2: Added one remark and one reference

MSC Class: 53C44

Journal ref: Proceedings of the 10th Conference on Differential Geometry and its Applications: DGA 2007; World Scientific Publishing, (2008), 263-277.

Hodge Theory for G2-manifolds: Intermediate Jacobians and Abel-Jacobi maps

Authors: Spiro Karigiannis, Naichung Conan Leung

Abstract: We study the moduli space of torsion-free G2-structures on a fixed compact manifold, and define its associated universal intermediate Jacobian J. We define the Yukawa coupling and relate it to a natural pseudo-Kahler structure on J. We consider natural Chern-Simons type functionals, whose critical points give associative and coassociative cycles (calibrated submanifolds coupled with Yang-Mills c… ▽ More We study the moduli space of torsion-free G2-structures on a fixed compact manifold, and define its associated universal intermediate Jacobian J. We define the Yukawa coupling and relate it to a natural pseudo-Kahler structure on J. We consider natural Chern-Simons type functionals, whose critical points give associative and coassociative cycles (calibrated submanifolds coupled with Yang-Mills connections), and also deformed Donaldson-Thomas connections. We show that the moduli spaces of these structures can be isotropically immersed in J by means of G2-analogues of Abel-Jacobi maps. △ Less

Submitted 27 January, 2009; v1 submitted 19 September, 2007; originally announced September 2007.

Comments: 31 pages. Version 2: added a reference and some remarks. Version 3: Incorporated the referee's suggestions. Final version to appear in Proceedings of the London Mathematical Society

MSC Class: 53D30 (Primary); 53C26; 53C29; 53C38 (Secondary)

Journal ref: Proceedings of the London Mathematical Society (3) 99, 297-325 (2009)

Flows of G_2 Structures, I

Authors: Spiro Karigiannis

Abstract: This is a foundational paper on flows of G_2 Structures. We use local coordinates to describe the four torsion forms of a G_2 Structure and derive the evolution equations for a general flow of a G_2 Structure on a 7-manifold. Specifically, we compute the evolution of the metric, the dual 4-form, and the four independent torsion forms. In the process we obtain a simple new proof of a theorem of F… ▽ More This is a foundational paper on flows of G_2 Structures. We use local coordinates to describe the four torsion forms of a G_2 Structure and derive the evolution equations for a general flow of a G_2 Structure on a 7-manifold. Specifically, we compute the evolution of the metric, the dual 4-form, and the four independent torsion forms. In the process we obtain a simple new proof of a theorem of Fernandez-Gray. As an application of our evolution equations, we derive an analogue of the second Bianchi identity in G_2-geometry which appears to be new, at least in this form. We use this result to derive explicit formulas for the Ricci tensor and part of the Riemann curvature tensor in terms of the torsion. These in turn lead to new proofs of several known results in G_2 geometry. △ Less

Submitted 6 May, 2008; v1 submitted 3 February, 2007; originally announced February 2007.

Comments: 50 pages, no figures. Minor rewrites. References added and corrected. For Version 3: Minor revisions and clarifications. This final version is a longer, more detailed version of the shorter paper to appear in the Quarterly Journal of Mathematics

MSC Class: 53C44

Journal ref: Quarterly Journal of Mathematics 60, 487-522 (2009)

Some Notes on G_2 and Spin(7) Geometry

Authors: Spiro Karigiannis

Abstract: We collect together various facts about G_2 and Spin(7) geometry which are likely well known but which do not seem to have appeared explicitly in the literature before. These notes should be useful to graduate students and new researchers in G_2 and Spin(7) geometry. We collect together various facts about G_2 and Spin(7) geometry which are likely well known but which do not seem to have appeared explicitly in the literature before. These notes should be useful to graduate students and new researchers in G_2 and Spin(7) geometry. △ Less

Submitted 2 October, 2008; v1 submitted 24 August, 2006; originally announced August 2006.

Comments: 17 pages, no figures; expository notes. For version 2: Typos corrected, and added a new section on the curl and Dirac operator for G_2 structures. To appear in the Proceedings of the 2007 International Conference on Geometric Analysis. Version 3: Corrected three minor typos

MSC Class: 53C29; 53C38

Journal ref: Recent Advances in Geometric Analysis; Advanced Lectures in Mathematics, Vol. 11; International Press, 129-146 (2010)

Calibrated Sub-Bundles in Non-Compact Manifolds of Special Holonomy

Authors: Spiro Karigiannis, Maung Min-Oo

Abstract: This paper is a continuation of math.DG/0408005. We first construct special Lagrangian submanifolds of the Ricci-flat Stenzel metric (of holonomy SU(n)) on the cotangent bundle of S^n by looking at the conormal bundle of appropriate submanifolds of S^n. We find that the condition for the conormal bundle to be special Lagrangian is the same as that discovered by Harvey-Lawson for submanifolds in… ▽ More This paper is a continuation of math.DG/0408005. We first construct special Lagrangian submanifolds of the Ricci-flat Stenzel metric (of holonomy SU(n)) on the cotangent bundle of S^n by looking at the conormal bundle of appropriate submanifolds of S^n. We find that the condition for the conormal bundle to be special Lagrangian is the same as that discovered by Harvey-Lawson for submanifolds in R^n in their pioneering paper. We also construct calibrated submanifolds in complete metrics with special holonomy G_2 and Spin(7) discovered by Bryant and Salamon on the total spaces of appropriate bundles over self-dual Einstein four manifolds. The submanifolds are constructed as certain subbundles over immersed surfaces. We show that this construction requires the surface to be minimal in the associative and Cayley cases, and to be (properly oriented) real isotropic in the coassociative case. We also make some remarks about using these constructions as a possible local model for the intersection of compact calibrated submanifolds in a compact manifold with special holonomy. △ Less

Submitted 7 February, 2005; v1 submitted 15 December, 2004; originally announced December 2004.

Comments: 20 pages; for Revised Version: Minor cosmetic changes, some paragraphs rewritten for improved clarity

MSC Class: 53C38; 53C29

Journal ref: Annals of Global Analysis and Geometry 28, 371-394 (2005)

Bundle Constructions of Calibrated Submanifolds in R^7 and R^8

Authors: Marianty Ionel, Spiro Karigiannis, Maung Min-Oo

Abstract: We construct calibrated submanifolds of R^7 and R^8 by viewing them as total spaces of vector bundles and taking appropriate sub-bundles which are naturally defined using certain surfaces in R^4. We construct examples of associative and coassociative submanifolds of R^7 and of Cayley submanifolds of R^8. This construction is a generalization of the Harvey-Lawson bundle construction of special La… ▽ More We construct calibrated submanifolds of R^7 and R^8 by viewing them as total spaces of vector bundles and taking appropriate sub-bundles which are naturally defined using certain surfaces in R^4. We construct examples of associative and coassociative submanifolds of R^7 and of Cayley submanifolds of R^8. This construction is a generalization of the Harvey-Lawson bundle construction of special Lagrangian submanifolds of R^{2n}. △ Less

Submitted 7 February, 2005; v1 submitted 31 July, 2004; originally announced August 2004.

Comments: 22 pages; for Revised Version: Minor changes, improved notation, streamlined exposition

MSC Class: 53C38; 53C29

Journal ref: Mathematical Research Letters 12, 493-512 (2005)

Deformations of G_2 and Spin(7) Structures on Manifolds

Authors: Spiro Karigiannis

Abstract: We consider some infinitesmal and global deformations of G_2 structures on 7-manifolds. We discover a canonical way to deform a G_2 structure by a vector field in which the associated metric gets "twisted" in some way by the vector cross product. We present a system of partial differential equations for an unknown vector field whose solution would yield a manifold with holonomy G_2. Similarly we c… ▽ More We consider some infinitesmal and global deformations of G_2 structures on 7-manifolds. We discover a canonical way to deform a G_2 structure by a vector field in which the associated metric gets "twisted" in some way by the vector cross product. We present a system of partial differential equations for an unknown vector field whose solution would yield a manifold with holonomy G_2. Similarly we consider analogous constructions for Spin(7) structures on 8-manifolds. Some of the results carry over directly, while others do not because of the increased non-linearity of the Spin(7) case. △ Less

Submitted 14 May, 2019; v1 submitted 20 January, 2003; originally announced January 2003.

Comments: 51 pages, no figures, part of author's Ph.D. Thesis. Version 4: Changes made after publication: There were sign errors in equations (2.26) and (2.34) and in the proof of Lemma 2.4.3 that have now been corrected in this arXiv version. Also Remark 3.3.7 was incorrect and has been removed. Finally, hyperlinks now added

MSC Class: 53C10 (Primary) 53C07; 53C25 (Secondary)

Journal ref: Canadian Journal of Mathematics 57, 1012-1055 (2005)