arXiv subjects

Marisa Fernández

Publications and source records attributed to Marisa Fernández.

At least 19 recordsLinked to original sources

arXiv2023

Nearly parallel $G_2$-manifolds: formality and associative submanifolds

We construct new examples of non-formal simply connected compact Sasaki-Einstein 7-manifolds. We determine the minimal model of the total space of any fibre bundle over $CP^2$ with fibre $S^1\times S^2$ or $S^3/Z_p$ ($p>0$), and we apply this to conclude that the Aloff-Wallach spaces are formal. We also find examples of formal manifolds and non-formal manifolds, which are locally conformal parallel $Spin(7)$-manifolds. On the other hand, we construct associative minimal submanifolds in the Aloff-Wallach spaces and in any regular Sasaki-Einstein 7-manifold; in particular, in the space $Q(1,1,1)=(SU(2) \times SU(2) \times SU(2))/ (U(1) \times U(1))$ with the natural $S^1$-family of nearly parallel $G_2$-structures induced by the Sasaki-Einstein structure. In each of those cases, we obtain a family of non-trivial associative deformations.

math.DG↗

arXiv2022

A compact $G_2$-calibrated manifold with first Betti number $b_1=1$

We construct a compact formal 7-manifold with a closed $G_2$-structure and with first Betti number $b_1=1$, which does not admit any torsion-free $G_2$-structure, that is, it does not admit any $G_2$-structure such that the holonomy group of the associated metric is a subgroup of $G_2$. We also construct associative calibrated (hence volume-minimizing) 3-tori with respect to this closed $G_2$-structure and, for each of those 3-tori, we show a 3-dimensional family of non-trivial associative deformations. We also construct a fibration of our 7-manifold over $S^2\times S^1$ with generic fiber a (non-calibrated) coassociative 4-torus and some singular fibers.

math.DG↗

arXiv2020

A non Ricci-flat Einstein pseudo-Riemannian metric on a 7-dimensional nilmanifold

We answer in the affirmative the question posed by Conti and Rossi on the existence of nilpotent Lie algebras of dimension 7 with an Einstein pseudo-metric of nonzero scalar curvature. Indeed, we construct a left-invariant pseudo-Riemannian metric $g$ of signature $(3, 4)$ on a nilpotent Lie group of dimension 7, such that $g$ is Einstein and not Ricci-flat. We show that the pseudo-metric $g$ cannot be induced by any left-invariant closed $G_2^*$-structure on the Lie group. Moreover, some results on closed and harmonic $G_2^*$-structures on an arbitrary 7-manifold $M$ are given. In particular, we prove that the underlying pseudo-Riemannian metric of a closed and harmonic $G_2^*$-structure on $M$ is not necessarily Einstein, but if it is Einstein then it is Ricci-flat.

math.DG↗

arXiv2020

Exact $G_2$-structures on unimodular Lie algebras

We consider seven-dimensional unimodular Lie algebras $\mathfrak{g}$ admitting exact $G_2$-structures, focusing our attention on those with vanishing third Betti number $b_3(\mathfrak{g})$. We discuss some examples, both in the case when $b_2(\mathfrak{g})\neq0$, and in the case when the Lie algebra $\mathfrak{g}$ is (2,3)-trivial, i.e., when both $b_2(\mathfrak{g})$ and $b_3(\mathfrak{g})$ vanish. These examples are solvable, as $b_3(\mathfrak{g})=0$, but they are not strongly unimodular, a necessary condition for the existence of lattices on the simply connected Lie group corresponding to $\mathfrak{g}$. More generally, we prove that any seven-dimensional (2,3)-trivial strongly unimodular Lie algebra does not admit any exact $G_2$-structure. From this, it follows that there are no compact examples of the form $(Γ\backslash G,φ)$, where $G$ is a seven-dimensional simply connected Lie group with (2,3)-trivial Lie algebra, $Γ\subset G$ is a co-compact discrete subgroup, and $φ$ is an exact $G_2$-structure on $Γ\backslash G$ induced by a left-invariant one on $G$.

math.DG↗

arXiv2019

Laplacian coflow on the 7-dimensional Heisenberg group

We study the Laplacian coflow and the modified Laplacian coflow of $G_2$-structures on the $7$-dimensional Heisenberg group. For the Laplacian coflow we show that the solution is always ancient, that is it is defined in some interval $(-\infty,T)$, with $0<T<+\infty$. However, for the modified Laplacian coflow, we prove that in some cases the solution is defined only on a finite interval while in other cases the solution is ancient or eternal, that is it is defined on $(-\infty, \infty)$.

math.DG↗

arXiv2018

On $G_2$-structures, special metrics and related flows

We review results about $G_2$-structures in relation to the existence of special metrics, such as Einstein metrics and Ricci solitons, and the evolution under the Laplacian flow on non-compact homogeneous spaces. We also discuss some examples in detail.

math.DG↗

arXiv2017

On SO(3)-bundles over the Wolf spaces

We study the formality of the total space of principal SU(2) and SO(3)-bundles over a Wolf space, that is a symmetric positive quaternionic Kähker manifold. We apply this to conclude that all the 3-Sasakian homogeneous spaces are formal. We also determine the principal SU(2) and SO(3)-bundles over the Wolf spaces whose total space is non-formal.

math.DG↗

arXiv2017

Coclosed $G_2$-structures inducing nilsolitons

We show obstructions to the existence of a coclosed $G_2$-structure on a Lie algebra $\mathfrak g$ of dimension seven with non-trivial center. In particular, we prove that if there exist a Lie algebra epimorphism from $\mathfrak g$ to a six-dimensional Lie algebra $\mathfrak h$, with kernel contained in the center of $\mathfrak g$, then any coclosed $G_2$-structure on $\mathfrak g$ induces a closed and stable three form on $\mathfrak h$ that defines an almost complex structure on $\mathfrak h$. As a consequence, we obtain a classification of the 2-step nilpotent Lie algebras which carry coclosed $G_2$-structures. We also prove that each one of these Lie algebras has a coclosed $G_2$-structure inducing a nilsoliton metric, but this is not true for 3-step nilpotent Lie algebras with coclosed $G_2$-structures. The existence of contact metric structures is also studied.

math.DG↗

arXiv2016

Homotopic properties of Kähler orbifolds

We prove the formality and the evenness of odd-degree Betti numbers for compact Kähler orbifolds, by adapting the classical proofs for Kähler manifolds. As a consequence, we obtain examples of symplectic orbifolds not admitting any Kähler orbifold structure. We also review the known examples of non-formal simply connected Sasakian manifolds, and produce an example of a non-formal quasi-regular Sasakian manifold with Betti numbers $b_1=0$ and $b_2\,> 1$.

math.DG↗

arXiv2016

Einstein almost cokähler manifolds

We study an odd-dimensional analogue of the Goldberg conjecture for compact Einstein almost Kähler manifolds. We give an explicit non-compact example of an Einstein almost cokähler manifold that is not cokähler. We prove that compact Einstein almost cokähler manifolds with non-negative $*$-scalar curvature are cokähler (indeed, transversely Calabi-Yau); more generally, we give a lower and upper bound for the $*$-scalar curvature in the case that the structure is not cokähler. We prove similar bounds for almost Kähler Einstein manifolds that are not Kähler.

math.DG↗

arXiv2015

Formality of 7-dimensional 3-Sasakian manifolds

We prove that any simply connected compact 3-Sasakian manifold, of dimension seven, is formal if and only if its second Betti number is $b_2<2$. In the opposite, we show an example of a 7-dimensional Sasaki-Einstein manifold, with second Betti number $b_2\geq 2$, which is formal. Therefore, such an example does not admit any 3-Sasakian structure. Examples of 7-dimensional simply connected compact formal Sasakian manifolds, with $b_2\geq 2$, are also given.

math.DG↗

arXiv2015

On formality of Sasakian manifolds

We investigate some topological properties, in particular formality, of compact Sasakian manifolds. Answering some questions raised by Boyer and Galicki, we prove that all higher (than three) Massey products on any compact Sasakian manifold vanish. Hence, higher Massey products do obstruct Sasakian structures. Using this we produce a method of constructing simply connected K-contact non-Sasakian manifolds. On the other hand, for every $n \geq 3$, we exhibit the first examples of simply connected compact Sasakian manifolds of dimension $2n + 1$ which are non-formal. They are non-formal because they have a non-zero triple Massey product. We also prove that arithmetic lattices in some simple Lie groups cannot be the fundamental group of a compact Sasakian manifold.

math.DG↗

arXiv2015

Locally conformal calibrated $G_2$-manifolds

We study conditions for which the mapping torus of a 6-manifold endowed with an $SU(3)$-structure is a locally conformal calibrated $G_2$-manifold, that is, a 7-manifold endowed with a $G_2$-structure $φ$ such that $d φ= - θ\wedge φ$ for a closed non-vanishing 1-form $θ$. Moreover, we show that if $(M, φ)$ is a compact locally conformal calibrated $G_2$-manifold with $\mathcal{L}_{θ^{\#}} φ=0$, where ${θ^{\#}}$ is the dual of $θ$ with respect to the Riemannian metric $g_φ$ induced by $φ$, then $M$ is a fiber bundle over $S^1$ with a coupled $SU(3)$-manifold as fiber.

math.DG↗

arXiv2015

Formality and the Lefschetz property in symplectic and cosymplectic geometry

We review topological properties of Kähler and symplectic manifolds, and of their odd-dimensional counterparts, coKähler and cosymplectic manifolds. We focus on formality, Lefschetz property and parity of Betti numbers, also distinguishing the simply-connected case (in the Kähler/symplectic situation) and the $b_1=1$ case (in the coKähler/cosymplectic situation).

math.SG↗

arXiv2015

Laplacian flow of closed $G_2$-structures inducing nilsolitons

We study the existence of left invariant closed $G_2$-structures defining a Ricci soliton metric on simply connected nonabelian nilpotent Lie groups. For each one of these $G_2$-structures, we show long time existence and uniqueness of solution for the Laplacian flow on the noncompact manifold. Moreover, considering the Laplacian flow on the associated Lie algebra as a bracket flow on $\R^7$ in a similar way as in [23] we prove that the underlying metrics $g(t)$ of the solution converge smoothly, up to pull-back by time-dependent diffeomorphisms, to a flat metric, uniformly on compact sets in the nilpotent Lie group, as $t$ goes to infinity.

math.DG↗

arXiv2014

A $6$-dimensional simply connected complex and symplectic manifold with no Kähler metric

We construct a simply connected compact manifold which has complex and symplectic structures but does not admit Kähler metrics, in the lowest possible dimension where this can happen, that is, dimension 6. Such a manifold is automatically formal and has even odd-degree Betti numbers but it does not satisfy the Lefschetz property for any symplectic form.

math.SG↗

arXiv2014

Non-formal co-symplectic manifolds

We study the formality of the mapping torus of an orientation-preserving diffeomorphism of a manifold. In particular, we give conditions under which a mapping torus has a non-zero Massey product. As an application we prove that there are non-formal compact co-symplectic manifolds of dimension $m$ and with first Betti number $b$ if and only if $m=3$ and $b \geq 2$, or $m \geq 5$ and $b \geq 1$. Explicit examples for each one of these cases are given.

math.AT↗

arXiv2013

G_2-structures on Einstein solvmanifolds

We study the $G_2$ analogue of the Goldberg conjecture on non-compact solvmanifolds. In contrast to the almost-Kähler case we prove that a 7-dimensional solvmanifold cannot admit any left-invariant calibrated $G_2$-structure $φ$ such that the induced metric $g_φ$ is Einstein, unless $g_φ$ is flat. We give an example of 7-dimensional solvmanifold admitting a left-invariant calibrated $G_2$-structure $φ$ such that $g_φ$ is Ricci-soliton. Moreover, we show that a 7-dimensional (non-flat) Einstein solvmanifold $(S,g)$ cannot admit any left-invariant cocalibrated $G_2$-structure $φ$ such that the induced metric $g_φ = g$.

math.DG↗