arXiv research

4D theorem for disks, generalizing previous work.

This article is a survey article that gives detailed constructions and illustrations of some of the standard examples of non-orientable surfaces that are embedded and immersed in 4-dimensional space. The illustrations depend upon their 3-dimensional projections, and indeed the illustrations here depend upon a further p…

In this paper we introduce a representation of a embedded knotted (sometimes Lagrangian) tori in $\BR^4$ called a hypercube diagram, i.e., a 4-dimensional cube diagram. We prove the existence of hypercube homology that is invariant under 4-dimensional cube diagram moves, a homology that is based on knot Floer homology.…

The purpose of this paper is to present some results on the existence of homologous, nonisotopic symplectic or lagrangian surfaces embedded in a simply connected symplectic 4-dimensional manifold.

Proves a concordance version of a 4D light bulb theorem.

We define the concordance crosscap number of a knot as the minimum crosscap number among all the knots concordant to the knot. The four-dimensional crosscap number is the minimum first Betti number of non-orientable surfaces smoothly embedded in 4-dimensional ball, bounding the knot. Clearly the 4-dimensional crosscap …

Constructs a TQFT for 3-manifolds and extends it to 4-dimensional 2-handlebodies.

This paper gives a detailed construction of Seiberg-Witten-Floer homology for a closed oriented 3-manifold with a non-torsion $\spinc$ structure. Gluing formulae for certain 4-dimensional manifolds splitting along an embedded 3-manifold are obtained.

Study embedding of achiral Lefschetz fibrations in 6D manifolds.

Classifies knotted annuli in 4-space up to a specific equivalence.

For spacelike stationary (i.e. zero mean curvature) surfaces in 4-dimensional Lorentz space one can naturally introduce two Gauss maps and Weierstrass representation. In this paper we investigate their global geometry systematically. The total Gaussian curvature is related with the surface topology as well as the indic…

Study extends surface embedding theorems to non-orientable cases.

It is proved that the moduli space of all connected compact orientable embedded minimal affine Lagrangian submanifolds of a complex equiaffine space constitutes an infinite dimensional Frechet manifold (if it is not the empty set). The moduli space of all connected compact orientable metric Lagrangian embedded surfaces…

The vanishing of Van Kampen's obstruction is known to be necessary and sufficient for embeddability of a simplicial n-complex into $R^{2n}$ for $n\neq 2$, and it was recently shown to be incomplete for $n=2$. We use algebraic-topological invariants of four-manifolds with boundary to introduce a sequence of higher embed…

We define analogue of theta-functions on the Kodaira--Thurston manifold which is a compact 4-dimensional symplectic manifold and use them to construct canonical symplectic embedding of the Kodaira--Thurston manifold into the complex projective space (analogue of the Lefshetz theorem).

Study 4D analogues of Dehn's lemma in smooth and topological categories.

Enhances Hantzsche's theorem for 3-manifolds in 4D.

Modified proof constructs dual spheres for 4-manifolds.

Quantum invariants for surfaces in 4D 2-handlebodies.

We show that simple coverings of B^4 branched over ribbon surfaces up to certain local ribbon moves bijectively represent orientable 4-dimensional 2-handlebodies up to handle sliding and addition/deletion of cancelling handles. As a consequence, we obtain an equivalence theorem for simple coverings of S^3 branched over…

2D complexes can be almost-embedded in 4D space without self-intersections.

Study of torus surgeries on knot traces, finding exotic surfaces and traces.

Flat minimal hypersurfaces found in wedge-shaped domains.

Proves additivity of Casson-Seiberg-Witten invariant for a specific 4-manifold.

The study explores how 3-manifolds embed locally flatly in $S^4$.

We describe a complete system of invariants for 4-dimensional CR manifolds of CR dimension 1 and codimension 2 with Engel CR distribution by constructing an explicit canonical Cartan connection. We also investigate the relation between the Cartan connection and the normal form of the defining equation of an embedded En…

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 …

We construct an analogue of the classical theta-function on an Abelian variety for closed 4-dimensional symplectic manifolds which are T^2-bundles over T^2 with the zero Euler class. We use our theta-functions for a canonical symplectic embedding of these manifolds into complex projective spaces (an analogue of the Lef…

In this paper we show that in some important cases 4-dimensional data can be extracted from superstring theory such that a) the data are 4 Euclidean geometries embedded in standard $\mathbb{R}^{4}$, b) these data depend on NS and D brane charges of some string backgrounds, c) it is of potential relevance to 4-dimension…

Geometric models create fractional quantum anyons.

It is one of the most important facts in 4-dimensional topology that not every spherical homology class of a 4-manifold can be represented by an embedded sphere. In 1978, M. Freedman and R. Kirby showed that in the simply connected case, many of the obstructions to constructing such a sphere vanish if one modifies the …

We study the invariants of surfaces in 4-manifolds extracted from the Seiberg-Witten and the Ozsvath-Szabo invariants of their fiber sums with auxiliary Lefschetz fibrations. Such invariants involve relative Spin_c structures and can be treated as refinements of the usual Seiberg-Witten and Ozsvath-Szabo invariants. We…

New distances defined between surfaces in 4-manifolds, with a new inequality proved.

Techniques for constructing codimension 2 embeddings and immersions of the 2 and 3-fold branched covers of the 3 and 4-dimensional spheres are presented. These covers are in braided form, and it is in this sense that they are folded. More precisely the composition of the embedding (or immersion) and the canonical proje…

A theorem generalizes the light bulb trick to 4-dimensions.

A link in the 3-sphere is homotopically trivial, according to Milnor, if its components bound disjoint maps of disks in the 4-ball. This paper concerns the question of what spaces give rise to the same class of homotopically trivial links when used in place of disks in an analogous definition. We show that there are 4-…

Decomposition theory explores topological spaces and their quotient spaces.

The dual to a tetrahedron consists of a single vertex at which four edges and six faces are incident. Along each edge, three faces converge. A 2-foam is a compact topological space such that each point has a neighborhood homeomorphic to a neighborhood of that complex. Knotted foams in 4-dimensional space are to knotted…

The Jacobi identity is the key relation in the definition of a Lie algebra. In the last decade, it also appeared at the heart of the theory of finite type invariants of knots, links and 3-manifolds (and is there called the IHX-relation). In addition, this relation was recently found to arise naturally in a theory of em…

New 4D homeomorphism shows surprising similarities to 2D.

New knots found that are 4-genus minimal.

Proof outlined for 4D smooth Poincaré conjecture.

Study ribbon homology concordances using link Floer homology.

This paper calculates the non-orientable 4-genus for knots with 10 crossings.

4-ball can be tiled with knotted surfaces.

New invariant detects more elements in 4D diffeomorphism group.

The paper conjectures a 4D characterization of tight contact structures and proves it for certain cases.

The paper calculates transformation operators and proves a theorem on 4D manifolds.