arXiv research

New proof of Laudenbach and Poénaru's theorem on 4D 1-handlebodies.

Proves classification of 4D complete intersections up to diffeomorphism.

Algorithm constructs Kirby diagrams for 4D open books.

Study shows bounded cohomology vanishes for higher dimensional sphere diffeomorphisms.

New research finds 145 infinite families of CS spheres are standard.

It was shown by Seaman that if a compact, oriented 4-dimensional riemannian manifold (M, g) of positive sectional curvature admits a harmonic 2-form of constant length, its intersection form is definite and such a harmonic form is unique up to constant multiples. In this paper, we show that such a manifold is diffeomor…

It is well-known by the work of Hsiang and Kleiner that every closed oriented positively curved 4-dimensional manifold with an effective isometric S^1-action is homeomorphic to S^4 or CP^2. As stated, it is a topological classification. The primary goal of this paper is to show that it is indeed a diffeomorphism classi…

One can define what it means for a compact manifold with corners to be a "contractible manifold with contractible faces." Two combinatorially equivalent, contractible manifolds with contractible faces are diffeomorphic if and only if their 4-dimensional faces are diffeomorphic. It follows that two simple convex polytop…

We prove that semisimple 4-dimensional oriented topological field theories lead to stable diffeomorphism invariants and can therefore not distinguish homeomorphic closed oriented smooth 4-manifolds and homotopy equivalent simply connected closed oriented smooth 4-manifolds. We show that all currently known 4-dimensiona…

We list all analytic diffeomorphisms between an open subset of the 4-dimensional projective space and an open subset of the 4-dimensional sphere that take all line segments to arcs of round circles. These are the following: restrictions of the quaternionic Hopf fibrations and projections from a hyperplane to a sphere f…

New invariant detects more elements in 4D diffeomorphism group.

A compact 4-dimensional manifold is a non-singular graph-manifold if it can be obtained by the glueing T^2-bundles over compact surfaces (with boundary) of negative Euler characteristics. If none of glueing diffeomorphisms respect the bundle structures, the graph-structure is called reduced. We prove that any homotopy …

A standard fact about two incompressible surfaces in an irreducible 3-manifold is that one can move one of them by isotopy so that their intersection becomes $π_1$-injective. By extending it on the maps of some 3-dimensional $\mathbb{Z}_n$-manifolds into 4-manifolds, we prove that any homotopy equivalence of 4-dimensio…

A surface $Σ$ endowed with a Poisson tensor $π$ is known to admit a canonical integration $\mathcal{G}(π)$, which is a 4-dimensional manifold with a (symplectic) groupoid structure. In this short note we show that when $π$ is not an area form on the 2-sphere, then $\mathcal{G}(π)$ is diffeomorphic to the cotangent bund…

Using the new diffeomorphism invariants of Seiberg and Witten, a uniqueness theorem is proved for Einstein metrics on compact quotients of irreducible 4-dimensional symmetric spaces of non-compact type. The proof also yields a Riemannian version of the Miyaoka-Yau inequality.

4-manifolds can be broken down into pairs-of-pants and K3 surfaces.

New exotic 4-manifolds found with fiber bundles.

We provide a complete set of moves relating any two Lefschetz fibrations over the disk having as their total space the same 4-dimensional 2-handlebody up to 2-equivalence. As a consequence, we also obtain moves relating diffeomorphic 3-dimensional open books, providing a different approach to an analogous previous resu…

Functor connects 4D 2-handlebodies to ribbon categories, detecting non-deformation diffeomorphisms.

Bryant and Salamon gave a construction of metrics of G2 holonomy on the total space of the bundle of anti-self-dual (ASD) 2-forms over a 4-dimensional self-dual Einstein manifold. We generalise it by considering the total space of an SO(3) bundle (with fibers R^3) over a 4-dimensional base, with a connection on this bu…

A trisection of a smooth, closed, oriented 4-manifold is a decomposition into three 4-dimensional 1-handlebodies meeting pairwise in 3-dimensional 1-handlebodies, with triple intersection a closed surface. The fundamental groups of the surface, the 3-dimensional handlebodies, the 4-dimensional handlebodies, and the clo…

Using symplectic topology and the Radon transform, we prove that smooth 4-dimensional projective planes are diffeomorphic to $\mathbb{CP}^2$. We define the notion of a plane curve in a smooth projective plane, show that plane curves in high dimensional regular planes are lines, prove that homeomorphisms preserving plan…

The aim of this paper is to classify simply connected 6-dimensional torus manifolds with vanishing odd degree cohomology. It is shown that there is a one-to-one correspondence between equivariant diffeomorphism types of these manifolds and 3-valent labelled graphs, called torus graphs introduced by Maeda-Masuda-Panov. …

On a 4-dimensional compact symplectic manifold, we consider a smooth family of compatible almost-complex structures such that at time zero the induced metric is Hermite-Einstein almost-Kähler metric with zero or negative Hermitian scalar curvature. We prove, under certain hypothesis, the existence of a smooth family of…

Consider a bundle of circles passing through 0 in 4-dimensional space. It is said to be rectifiable if there is a germ of diffeomorphism at 0 that takes all circles from our bundle to straight lines. We will give a classification of all rectifiable bundles of circles containing sufficiently many circles in general posi…

The goal of this paper is to construct distinct trisections of the same genus on a fixed 4-manifold. For every $k \geq 2$, we construct $2^{k}-1$ non-diffeomorphic $(3k,k)$-trisections on infinitely many 4-manifolds. Here, the manifolds are spun Seifert fiber spaces and the trisections come from Meier's spun trisection…

We work on a 4-manifold equipped with Lorentzian metric $g$ and consider a volume-preserving diffeomorphism which is the unknown quantity of our mathematical model. The diffeomorphism defines a second Lorentzian metric $h$, the pullback of $g$. Motivated by elasticity theory, we introduce a Lagrangian expressed algebra…

Study K-theory of Etesi $C^*$-algebras to understand smooth manifolds.

The purpose of this article is to view Penrose rhombus tilings from the perspective of symplectic geometry. We show that each thick rhombus in such a tiling can be naturally associated to a highly singular 4-dimensional compact symplectic space, while each thin rhombus can be associated to another such space; both spac…

In this paper, we show that for any closed 4-dimensional simply-connected Riemannian manifold $M$ with Ricci curvature $|Ric|\leq 3$, volume $vol(M)>v>0$, and diameter $diam(M)<D$, the length of a shortest closed geodesic is bounded by a function $F(v,D)$ which only depends on $v$ and $D$. The proofs of our result are …

We give an explicit description of rational curves in the product of three copies of complex projective lines, which are transformed into twistor lines in M. Nagata's example of non-projective complete algebraic variety, viewed as the twistor space of Eguchi-Hanson metric. In particular, we show that there exist two fa…

New modules derived from Khovanov homology for links.

The main aim of this paper is to study existence and stability properties of rotationally symmetric proper biharmonic maps between two $m$-dimensional models (in the sense of Greene and Wu). We obtain a complete classification of rotationally symmetric, proper biharmonic conformal diffeomorphisms in the special case th…

Calegari's 4-spheres from fibered knots are proven standard.

Lipshitz, Ozsváth and Thurston defined a bordered Heegaard Floer invariant CFDA for 3-manifolds with two boundary components, including mapping cylinders for surface diffeomorphisms. We define a related invariant for certain 4-dimensional cobordisms with corners, by associating a morphism F from CFDA(f) to CFDA(g) to e…

New Spin(7) manifolds created from Calabi-Yau bundles.

In this paper, we obtain several new intrinsic and extrinsic differential sphere theorems via Ricci flow. For intrinsic case, we show that a closed simply connected $n(\ge 4)$-dimensional Riemannian manifold $M$ is diffeomorphic to $S^n$ if one of the following conditions holds pointwisely: $$ (i)\ R_0>\left(1-\frac{24…

We present a definition of null G-structures on Lorentzian manifolds and investigate their geometric properties. This definition includes the Robinson structure on 4-dimensional black holes as well as the null structures that appear in all supersymmetric solutions of supergravity theories. We also identify the induced …

Study Lefschetz fibrations with 4D fibers using Seiberg-Witten theory.

Classification of homogeneous almost complex 4-manifolds with non-degenerate torsion bundle

We extend the theory of relative trisections of smooth, compact, oriented $4$-manifolds with connected boundary given by Gay and Kirby to include $4$-manifolds with an arbitrary number of boundary components. Additionally, we provide sufficient conditions under which relatively trisected $4$-manifolds can be glued to o…

We prove a surgery formula of the Casson-Seiberg-Witten invariant of integral homology $S^1 \times S^3$ along an embedded torus, which could either be regarded as an extension of the product formula for Seiberg-Witten invariants or a manifestation of the surgery exact triangle in $4$-dimensional Seiberg-Witten theory o…

Trisections are obtained by regluing surface-knots in 4-manifolds.

The paper classifies hypercomplex Lie algebras and solvmanifolds using quaternionic Jordan form.

New flow connects symplectic maps to hyperKähler geometry.

We study the geometry of Engel structures, which are 2-plane fields on 4-manifolds satisfying a generic condition, that are compatible with other geometric structures. A \em{Lagrangian} Engel structure is an Engel 2-plane field on a symplectic 4-manifold for which the 2-planes are Lagrangian with respect to the symplec…

This paper studies the rational homotopy groups of the group $\mathrm{Diff}(S^4)$ of self-diffeomorphisms of $S^4$ with the $C^\infty$-topology. We present a method to prove that there are many `exotic' non-trivial elements in $π_*\mathrm{Diff}(S^4)\otimes \mathbb{Q}$ parametrized by trivalent graphs. As a corollary of…

In this paper, we generalize the defining equation for de Sitter space by replacing the de Sitter radius with a function $f$ satisfying certain conditions; each resulting hypersurface is diffeomorphic to de Sitter space, and has a geometry (and causal character) which is controlled by the choice of $f$. Necessary and s…