Related papers: Second obstruction to pseudoisotopy I

We introduce a double complex that can be associated to certain Lie algebras, and show that its cohomology determines an obstruction to the existence of a half-flat SU(3)-structure. We obtain a classification of the 6-dimensional…

Structures of commuting semigroups of isometries under certain additional assumptions like double commutativity or dual double commutativity are found.

Let $X$ be a compact orientable non-Haken 3-manifold modeled on the Thurston geometry $\text{Nil}$. We show that the diffeomorphism group $\text{Diff}(X)$ deformation retracts to the isometry group $\text{Isom}(X)$. Combining this with…

Consider a connected manifold of dimension at least two and the group of compactly supported diffeomorphisms that are compactly supported isotopic to the identity. This group acts $n$-transitive: Any tuple of $n$ points can be moved to any…

We study the deformation theory of nearly $\mathrm{G}_2$ manifolds. These are seven dimensional manifolds admitting real Killing spinors. We show that the infinitesimal deformations of nearly $\mathrm{G}_2$ structures are obstructed in…

A smooth, compact 4-manifold with a Riemannian metric and b^(2+) > 0 has a non-trivial, closed, self-dual 2-form. If the metric is generic, then the zero set of this form is a disjoint union of circles. On the complement of this zero set,…

Let (M, {\pi} ) be a Poisson manifold. A Poisson submanifold $P \in M$ gives rise to an algebroid $AP \rightarrow P$, to which we associate certain chomology groups which control formal deformations of {\pi} around P . Assuming that these…

For any $1\le r\le \infty$, we show that every diffeomorphism of a manifold of the form $\mathbb{R}/\mathbb{Z} \times M$ is a total renormalization of a $C^r$-close to identity map. In other words, for every diffeomorphism $f$ of…

In the framework of deformation quantization, we obtain a deformation of Donaldson moment map on $\textrm{Diff}_0(M)$, the connected component of the group of diffeomorphisms of a symplectic manifold $(M,\omega)$ admitting another…

We present a classification theorem for closed smooth spin 2-connected 7-manifolds M. This builds on the almost-smooth classification from the first author's thesis. The main additional ingredient is an extension of the Eells-Kuiper…

Let $(M^4,g)$ be a smooth, closed, oriented anti-self-dual (ASD) four-manifold. $(M^4,g)$ is said to be unobstructed if the cokernel of the linearization of the self-dual Weyl tensor is trivial. This condition can also be characterized as…

Let M be a closed orientable Seifert fibered 3-manifold with a hyperbolic base 2-orbifold, or equivalently, admitting a geometry modeled on H^2 \times R or the universal cover of SL(2,R). Our main result is that the connected component of…

We introduce the concept of pseudo-trisections of smooth oriented compact 4-manifolds with boundary. The main feature of pseudo-trisections is that they have lower complexity than relative trisections for given 4-manifolds. We prove…

Let $E$ be a finite-dimensional real vector space and $M\subseteq E$ be a convex polytope with non-empty interior. We turn the group of all $C^\infty$-diffeomorphisms of $M$ into a regular Lie group.

This paper studies obstructions to preservation of return sets by episturmian morphisms. We show, by way of an explicit construction, that infinitely many obstructions exist. This generalizes and improves an earlier result about Sturmian…

This is the beginning of an obstruction theory for deciding whether a map f:S^2 --> X^4 is homotopic to a topologically flat embedding, in the presence of fundamental group and in the absence of dual spheres. The first obstruction is Wall's…

For r at least 3, p at least 2, we classify all actions of the groups Diff^r_c(R) and Diff^r_+(S1) by C^p -diffeomorphisms on the line and on the circle. This is the same as describing all nontrivial group homomorphisms between groups of…

We demonstrate that M-theory compactifications on 7-manifolds of G_2 holonomy, which yield 4d N=1 supersymmetric systems, often admit at special loci in their moduli space a description as type IIA orientifolds. In this way, we are able to…

In this paper we define two regular homotopy invariants c and i for immersions of oriented 3-manifolds into R^5 in a geometric manner. The pair (c(f),i(f)) completely describes the regular homotopy class of the immersion f. The invariant i…

Two smooth manifolds M and N are called R-diffeomorphic if their product with the real line are diffeomorphic. We consider the following simplification problem: does R-diffeomorphism imply diffeomorphism or homeomorphism? For compact…