arXiv research

Infinite Klein bottles with 4-fold meridians found.

First steps towards a classification of irreducible symplectic 4-folds whose integral 2-cohomology with 4-tuple cup product is isomorphic to that of Hilb^2(K3). We prove that any such 4-fold deforms to an irreducible symplectic 4-fold of Type A or Type B. A 4-fold of Type A is a double cover of a (singular) sextic hype…

The study examines K-polystability on Fano 4-folds with specific Lefschetz defects.

New formulas for mean curvature of submanifolds in geometries with torsion.

Given a coassociative 4-fold N with a conical singularity in a varphi-closed 7-manifold M (a manifold endowed with a distinguished closed 3-form varphi), we construct a smooth family, {N'(t): t\in(0,tau)} for some tau>0, of (smooth, nonsingular,) compact coassociative 4-folds in M which converge to N in the sense of cu…

Given a complex 4-fold $X$ with an (Calabi-Yau 3-fold) anti-canonical divisor $Y$, we study relative Donaldson-Thomas invariants for this pair, which are elements in the Donaldson-Thomas cohomologies of $Y$. We also discuss gluing formulas which relate relative invariants and $DT_{4}$ invariants for Calabi-Yau 4-folds.

Let $X$ be a compact complex Calabi-Yau 4-fold. Under certain assumptions, we define Donaldson-Thomas type deformation invariants ($DT_{4}$ invariants) by studying moduli spaces of solutions to the Donaldson-Thomas equations on $X$. We also study sheaves counting problems on local Calabi-Yau 4-folds. We relate $DT_{4}$…

We study the problem of desingularizing coassociative conical singularities via gluing, allowing for topological and analytic obstructions, and discuss applications. This extends the author's earlier work on the unobstructed case. We interpret the analytic obstructions geometrically via the obstruction theory for defor…

In this paper we introduce the area of 2-ruled 4-folds in R^n (n=7 or 8), that is, submanifolds M of R^n that admit a fibration over some 2-fold Sigma such that each fibre is an affine 2-plane in R^n. This is motivated by the paper math.DG/0012060 by Joyce on ruled special Lagrangian 3-folds in C^3 and the work of the …

Meridian surfaces in the Euclidean 4-space are two-dimensional surfaces which are one-parameter systems of meridians of a standard rotational hypersurface. On the base of our invariant theory of surfaces we study meridian surfaces with special invariants. In the present paper we give the complete classification of Chen…

Invariant obstructs separating coassociative 4-folds.

Study positive characteristic Fano 4-folds with nef tangent bundles.

We consider a special class of spacelike surfaces in the Minkowski 4-space which are one-parameter systems of meridians of the rotational hypersurface with timelike or spacelike axis. We call these surfaces meridian surfaces of elliptic or hyperbolic type, respectively. On the base of our invariant theory of surfaces w…

The study classifies timelike meridian surfaces in Minkowski 4-space.

We construct a special class of spacelike surfaces in the Minkowski 4-space which are one-parameter systems of meridians of the rotational hypersurface with lightlike axis and call these surfaces meridian surfaces of parabolic type. They are analogous to the meridian surfaces of elliptic or hyperbolic type. Using the i…

Meridian lemma extended to fully alternating links in thickened surfaces.

In the present article we study a special class of surfaces in the four-dimensional Euclidean space, which are one-parameter systems of meridians of the standard rotational hypersurface. They are called meridian surfaces. We show that a meridian surface has a harmonic Gauss map if and only if it is part of a plane. Fur…

Motivated by Strominger-Yau-Zaslow's mirror symmetry proposal and Kontsevich's homological mirror symmetry conjecture, we study mirror phenomena (in A-model) of certain results from Donaldson-Thomas theory for Calabi-Yau 4-folds.

We construct a special class of Lorentz surfaces in the pseudo-Euclidean 4-space with neutral metric which are one-parameter systems of meridians of rotational hypersurfaces with lightlike axis and call them meridian surfaces. We give the complete classification of the meridian surfaces with constant Gauss curvature an…

In the present paper we consider a special class of Lorentz surfaces in the four-dimensional pseudo-Euclidean space with neutral metric which are one-parameter systems of meridians of rotational hypersurfaces with timelike or spacelike axis and call them meridian surfaces. We give the complete classification of minimal…

In the present article we study a special class of surfaces in the four-dimensional Euclidean space, which are one-parameter systems of meridians of the standard rotational hypersurface. They are called meridian surfaces. We classified semi-parallel meridian surface in 4-dimensional Euclidean space $E^4$.

We construct a special class of Lorentz surfaces in the pseudo-Euclidean 4-space with neutral metric which are one-parameter systems of meridians of rotational hypersurfaces with timelike or spacelike axis and call them meridian surfaces. We give the complete classification of the meridian surfaces with parallel mean c…

We address the problem of classification of hyper-Kähler fourfolds with $b_2=23$. In particular we prove some special cases of the Conjecture of O'Grady about hyper-Kähler $4$-folds numerically equivalent to the Hilbert scheme of two points on a $K3$ surface.

In the present paper we consider a special class of spacelike surfaces in the Minkowski 4-space which are one-parameter systems of meridians of the rotational hypersurface with timelike or spacelike axis. They are called meridian surfaces of elliptic or hyperbolic type, respectively. We study these surfaces with respec…

For a handlebody of genus $g\geq6$ it is shown that every automorphism of the complex of separating meridians can be extended to an automorphism on the complex of all meridians and, in consequence, it is geometric.

In this paper, we study meridian surfaces of Weingarten type in Euclidean 4-space E^4. We give the neccessary and sufficient conditions for a meridian surface in E^4 to become Weingarten type.

We study coassociative 4-folds N in R^7 which are asymptotically conical to a cone C with rate lambda<1. If lambda is in the interval [-2,1) and generic, we show that the moduli space of coassociative deformations of N which are also asymptotically conical to C with rate lambda is a smooth manifold, and we calculate it…

A marginally trapped surface in the four-dimensional Minkowski space is a spacelike surface whose mean curvature vector is lightlike at each point. We introduce meridian surfaces of parabolic type as one-parameter systems of meridians of a rotational hypersurface with lightlike axis in Minkowski 4-space and find their …

The paper extends orientability results for DT invariants on Calabi-Yau 4-folds.

Examines how meridians and parallels help in map drawing.

Suppose a genus two handlebody is removed from a 3-manifold M and then a single meridian of the handlebody is restored. The result is a knot or link complement in M and it is natural to ask whether geometric properties of the link complement say something about the meridian that was restored. Here we consider what the …

Having fixed a Kaehler class and the unique corresponding hyperkaehler metric, we prove that all special Lagrangian submanifolds of an irreducible symplectic 4-fold X are bi-Lagrangian and that they are obtained by complex submanifolds via a sort of "hyperkaehler rotation trick"; thus they retain part of the rigidity o…

We derive bounds on the length of the meridian and the cusp volume of hyperbolic knots in terms of the topology of essential surfaces spanned by the knot. We provide an algorithmically checkable criterion that guarantees that the meridian length of a hyperbolic knot is below a given bound. As applications we find knot …

Study timelike meridian surfaces in Minkowski 4-space with specific properties.

Prove integrality of genus-$g$ indices with adjoint Reidemeister torsions for twist knots and meridians.

We prove the existence of a finite set of moves sufficient to relate any two representations of the same 3-manifold as a 4-fold simple branched covering of S^3. We also prove a stabilization result: after adding a fifth trivial sheet two local moves suffice. These results are analogous to results of Piergallini in degr…

The paper extends the Hopf differential concept to associative submanifolds in G2-manifolds.

Eisenbud Popescu and Walter have constructed certain special 4-dimensional sextic hypersurfaces as Lagrangian degeneracy loci. We prove that the natural double cover of a generic EPW-sextic is a deformation of the Hilbert square of a K3-surface and that the family of such varieties is locally complete for deformations …

New foliations show knot meridians are detectable.

This paper extends to dimension 4 the results in the article "Second Order Families of Special Lagrangian 3-folds" by Robert Bryant. We consider the problem of classifying the special Lagrangian 4-folds in C^4 whose fundamental cubic at each point has a nontrivial stabilizer in SO(4). Points on special Lagrangian 4-fol…

In the literature of the study of knot group epimorphisms, the existence of an epimorphism between two given knot groups is mostly (if not always) shown by giving an epimorphism which preserves meridians. A natural question arises: is there an epimorphism preserving meridians whenever a knot group is a homomorphic imag…

Khovanov homology detects specific links.

We apply the invariant theory of surfaces in the four-dimensional Euclidean space to the class of general rotational surfaces with meridians lying in two-dimensional planes. We find all minimal super-conformal surfaces of this class.

For a generic anti-canonical hypersurface in each smooth toric Fano 4-fold with rank 2 Picard group, we prove there exist three isolated rational curves in it. Moreover, for all these 4-folds except one, the contractions of generic anti-canonical hypersurfaces along the three rational curves can be deformed to smooth t…

A marginally trapped surface in the four-dimensional Minkowski space is a spacelike surface whose mean curvature vector is lightlike at each point. We associate a geometrically determined moving frame field to such a surface and using the derivative formulas for this frame field we obtain seven invariant functions. Our…

It is proved that every disconnected surface-link with meridian-based free fundamental group is a trivial (i.e., an unknotted-unlinked) surface-link. This result is a surface-link version of the author's recent announcement result on smooth unknotting of a surface-knot.

The goal of this paper is to offer a comprehensive exposition of the current knowledge about Heegaard splittings of exteriors of knots in the 3-sphere. The exposition is done with a historical perspective as to how ideas developed and by whom. Several new notions are introduced and some facts about them are proved. In …

Link groups can only have certain SU(2) representations.