Related papers: Compact holonomy $\mathrm{G}_2$ manifolds need not…

It is known since 1954 that every 3-manifold bounds a 4-manifold. Thus, for instance, every 3-manifold has a surgery diagram. There are several proofs of this fact, including constructive proofs, but there has been little attention to the…

The third real de Rham cohomology of compact homogeneous spaces is studied. Given $M=G/K$ with $G$ compact semisimple, we first show that each bi-invariant symmetric bilinear form $Q$ on $\mathfrak{g}$ such that…

Open, connected, saturated sets W without holonomy in codimension one foliations play key roles as fundamental building blocks. Here, for the case of foliated 3-manifolds, we produce a finite system of closed, convex, non-overlapping…

A class of examples of Riemannian metrics with holonomy G_2 on compact 7-manifolds was constructed by the author in arXiv:math.DG/0012189 and later in a joint work with N.-H. Lee in arXiv:0810.0957, using a certain `generalized connected…

Let $M^{(k)}_{d}(n)$ be the manifold of $n$-tuples $(x_1,\ldots,x_n)\in(\mathbb{R}^d)^n$ having non-$k$-equal coordinates. We show that, for $d\geq2$, $M^{(3)}_{d}(n)$ is rationally formal if and only if $n\leq 6$. This stands in sharp…

We study mirror symmetry of type II strings on manifolds with the exceptional holonomy groups $G_2$ and Spin(7). Our central result is a construction of mirrors of Spin(7) manifolds realized as generalized connected sums. In parallel to…

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…

It is well known that for any exotic pair of simply connected closed oriented 4-manifolds, one is obtained from the other by twisting a compact contractible submanifold via an involution on the boundary. By contrast, here we show that for…

We give a new method for manufacturing complete minimal submanifolds of compact Lie groups and their homogeneous quotient spaces. For this we make use of harmonic morphisms and basic representation theory of Lie groups. We then apply our…

Let $M$ be a simply connected pseudo-Riemannian homogeneous space of finite volume with isometry group $G$. We show that $M$ is compact and that the solvable radical of $G$ is abelian and the Levi factor is a compact semisimple Lie group…

We define the Bianchi-Massey tensor of a topological space X to be a linear map from a subquotient of the fourth tensor power of H*(X). We then prove that if M is a closed (n-1)-connected manifold of dimension at most 5n-3 (and n > 1) then…

We construct a hyperbolic 3-manifold $M$ (with $\partial M$ totally geodesic) which contains no essential closed surfaces, but for any even integer $g> 0$ there are infinitely many separating slopes $r$ on $\partial M$ so that $M[r]$, the…

We consider the geometry determined by a torsion-free affine connection whose holonomy lies in the subgroup U*(2m), a real form of GL(2m,C), otherwise denoted by SL(m,H).U(1). We show in particular how examples may be generated from…

We show that the realization theorem of Fern\'andez de Bobadilla, which identifies the Milnor fiber of a weighted-homogeneous polynomial with the complement of a germ of analytic set, can be combined with the systematic Massey product…

Let $ \mathfrak{M}$ be the moduli space of torsion free $ G_2$ structures on a compact 7-manifold $ M$, and let $ \mathfrak{M}_1 \subset \mathfrak{M}$ be the $ G_2$ structures with volume($M$) $=1$. The cohomology map $ \pi^3: \mathfrak{M}…

For several instances of metric largeness like enlargeability or having hyperspherical universal covers, we construct non-large vector subspaces in the rational homology of finitely generated groups. The functorial properties of this…

We obtain Margulis-type asymptotic estimates for the number of free homotopy classes of closed geodesics on certain manifolds without conjugate points. Our results cover all compact surfaces of genus at least 2 without conjugate points.

For a closed K\"{a}hler manifold with a Hamiltonian action of a connected compact Lie group by holomorphic isometries, we construct a formal Frobenius manifold structure on the equivariant cohomology by exploiting a natural DGBV algebra…

We compute the moduli Kahler potential for M-theory on a compact manifold of G_2 holonomy in a large radius approximation. Our method relies on an explicit G_2 structure with small torsion, its periods and the calculation of the approximate…

M-theory compactified on $G_2$-holonomy manifolds results in 4d $\mathcal{N}=1$ supersymmetric gauge theories coupled to gravity. In this paper we focus on the gauge sector of such compactifications by studying the Higgs bundle obtained…