arXiv research

A small projective 4-manifold created via Dehn filling.

Every 4-manifold can be smoothly embedded in complex projective 3-space.

Study shows non-spin 4-manifolds where smooth Nielsen realization fails.

New constraints on embedded spheres and projective planes in 4-manifolds from Seiberg-Witten theory.

New homotopy 4-spheres and real projective 4-spaces created.

An orientation preserving diffeomorphism over a surface embedded in a 4-manifold is called extendable, if this diffeomorphism is a restriction of an orientation preserving diffeomorphism on this 4-manifold. In this paper, we investigate conditions for extendability of diffeomorphisms over surfaces in the complex projec…

The study proves properties of 4D projective manifolds and builds non-hyperbolic examples.

We determine the contributions of isolated singularities of spin V 4-manifolds to the index of the Dirac operator over them. From these data we derive certain constraints on the intersection forms of spin 4-manifolds bounded by spherical 3-manifolds, and also on the embeddings of the real projective planes into 4-manif…

I present a construction of real or complex selfdual conformal 4-manifolds (of signature (2,2) in the real case) from a natural gauge field equation on a real or complex projective surface, the gauge group being the group of diffeomorphisms of a real or complex 2-manifold. The 4-manifolds obtained are characterized by …

We construct what we call a Kirby category, a monoidal category whose morphisms are smooth 4-manifolds, projecting down to another monoidal category whose morphisms are orientable 3-manifolds, the projection being induced by the boundary map on manifolds. We construct a higher categorical generalization of such concept…

Smooth 4-manifolds have simple horizontal decompositions.

In this paper, we exploit a subtle indeterminacy in the definition of the spherical Kervaire-Milnor invariant which was discovered by R. Stong to construct non-spin 4-manifolds with even intersection form and prescribed signature.

We study complex 4-manifolds with holomorphic self-dual conformal structures, and we obtain an interpretation of the Weyl tensor of such a manifold as the projective curvature of a field of cones on the ambitwistor space. In particular, its vanishing is implied by the existence of some compact, simply-connected, null-g…

We study a secondary invariant, called the Meyer function, on the fundamental group of the complement of the dual variety of a smooth projective variety. This invariant have played an important role when studying the local signatures of fibered 4-manifolds from topological point of view. As an application of our study,…

Study on lens spaces bounding 4-manifolds with specific Betti numbers.

New symplectic caps and embeddings found in complex projective plane.

First example of a hyperbolic 4-orbifold underlying $\mathbb{P}^2$.

Lecture notes on curves in complex projective plane from a topological viewpoint.

In this paper we first show that on projective manifolds (M, ω), there are holomorphic determinant bundles (in the sense of Knusden-Mumford used by Bismut, Gillet, Soule) which play the role of the geometric quantum bundle, namely one for each input data of a Hermitian holomorphic line bundle L of non-trivial Chern cla…

Elementary geometric arguments are used to compute the group of homotopy classes of maps from a 4-manifold X to the 3-sphere, and to enumerate the homotopy classes of maps from X to the 2-sphere. The former completes a project initiated by Steenrod in the 1940's, and the latter provides geometric arguments for and exte…

Paper examines 4-manifold structures using chord assignments.

We prove that a closed 4-manifold has shadow-complexity zero if and only if it is a kind of 4-dimensional graph manifold, which decomposes into some particular blocks along embedded copies of S^2 x S^1, plus some complex projective spaces. We deduce a classification of all 4-manifolds with finite fundamental group and …

For a closed 4-manifold X and closed 3-manifold M we investigate the smallest integer n (perhaps infinity) such that M embeds in the connected sum of n copies of X. It is proven that any lens space (or homology lens space) embeds topologically locally flatly in a connected sum of 8 copies of the complex projective plan…

Every lens space has a locally flat embedding in a connected sum of 8 copies of the complex projective plane and a smooth embedding in n copies of the complex projective plane for some positive integer n. We show that there is no n such that every lens space smoothly embeds in n copies of the complex projective plane.

New non-orientable 4-manifolds created via knotting operations.

Study finite group actions on symplectic Calabi-Yau 4-manifolds with non-zero first Betti number.

In this short note, we present a construction of new symplectic 4-manifolds with non-negative signature using the complex surfaces on Bogomolov-Miyaoka-Yau line $c_1^2 = 9χ_h$, the fake projective planes and Cartwright-Steger surfaces. Our construction yields an infinite family of fake rational homology $(2n-1)\CP#(2n-…

We propose an explicit formula connecting Donaldson invariants and Seiberg-Witten invariants of a 4-manifold of simple type via Nekrasov's deformed partition function for the N=2 SUSY gauge theory with a single fundamental matter. This formula is derived from Mochizuki's formula, which makes sense and was proved when t…

We find conditions under which a non-orientable closed surface S embedded into an orientable closed 4-manifold X can be represented by a connected sum of an embedded closed surface in X and an unknotted projective plane in a 4-sphere. This allows us to extend the Gabai 4-dimensional light bulb theorem and the Auckly-Ki…

Nonorientable 4-manifolds can be fibred over 2-disks with nonorientable fibers.

The possibilities for new or unusual kinds of topological, locally linear periodic maps of non-prime order on closed, simply connected 4-manifolds with positive definite intersection pairings are explored. On the one hand, certain permutation representations on homology are ruled out under appropriate hypotheses. On th…

Develops obstruction theory for a specific 4-manifold index.

Classifies 4-manifolds with genus one horizontal handlebody decomposition.

We show that closed, connected 4-manifolds up to connected sum with copies of the complex projective plane are classified in terms of the fundamental group, the orientation character and an extension class involving the second homotopy group. For fundamental groups that are torsion free or have one end, we reduce this …

Theory of link projections to 3-manifold spines, proving combinatorial moves for isotopic links.

We completely determine, up to homeomorphism, which simply connected compact oriented 4-manifolds admit scalar-flat, anti-self-dual Riemannian metrics. The key new ingredient is a proof that the connected sum of five reverse-oriented complex projective planes admits such metrics.

This paper classifies fibrations of flat orbifolds, advancing flat 4-manifold classification.

This work is a continuation of the former paper in which principal bundles are given by compact spin toric manifolds and compact connected semisimple Lie groups. In this paper, ambient manifolds are assumed to be compact toric manifolds and Lie groups are compact connected. The main result is that locally smooth manifo…

Using the idea of a generalized Kaehler structure, which is a pair of commuting generalized complex structures, we construct bihermitian metrics on the projective plane and the product of two projective lines, and show that any such structure on a compact 4-manifold M defines one on the moduli space of anti-self-dual c…

In this paper we will prove that the only compact 4-manifold M with an Einstein metric of positive sectional curvature which is also hermitian with respect to some complex structure on M, is the complex projective plane CP^2, with its Fubini-Study metric.

We prove that a simpy connected Hermitian Einstein 4-manifold with non-negative sectional curvature is isometric to complex projective space $\mathbb{C}\mathbb{P}^{2}$ with the Fubini-Study metric or isometric to the product $\mathbb{S}^{2}\times \mathbb{S}^{2}$ with the canonical metric.

We define a new 4-dimensional symplectic cut and paste operation which is analogous to Fintushel and Stern's rational blow-down. We use this operation to produce multiple constructions of symplectic smoothly exotic complex projective space blown-up eight times, seven times, and six times. We also show how this operatio…

The purpose of this article is to review some recent results on the geometry of neutral signature metrics in dimension four and their twistor spaces. The following topics are considered: Neutral Kähler and hyperkähler surfaces, Walker metrics, Neutral anti-self-dual 4-manifolds and projective structures, Twistor spaces…

A simple method to create new 4-manifolds by altering fundamental groups.

Study shows how any group can be fundamental of a non-orientable 4-manifold with exotic structure.

We provide a simple algebraic construction of the twistor spaces of arbitrary Joyce's self-dual metrics on the 4-manifold H^2 x T^2 that extend smoothly to nCP^2, the connected sum of complex projective planes. Indeed, we explicitly realize projective models of the twistor spaces of arbitrary Joyce metrics on nCP^2 in …

Introducing the notion of stabilized fundamental group for the complement of a branch curve in $CP^2$, we define effectively computable invariants of symplectic 4-manifolds that generalize those previously introduced by Moishezon and Teicher for complex projective surfaces. Moreover, we study the structure of these inv…

Quasitoric manifolds, introduced by M. Davis and T. Januskiewicz in 1991, are topological generalizations of smooth complex projective spaces. In 1992, Banchoff and Kühnel constructed a 10-vertex equilibrium triangulations of $\CP^2$. We generalize this construction for quasitoric manifolds and construct some equilibri…