arXiv research

New families of embeddings in 4-manifolds, topologically trivial but smoothly non-trivial.

The paper constructs non-trivial cocycles for long embeddings with more than one loop.

A surface in the 4-sphere is trivially embedded, if it bounds a 3-dimensional handle body in the 4-sphere. For a surface trivially embedded in the 4-sphere, a diffeomorphism over this surface is extensible if and only if this preserves the Rokhlin quadratic form of this embedded surface.

We say that a graph is intrinsically non-trivial if every spatial embedding of the graph contains a non-trivial spatial subgraph. We prove that an intrinsically non-trivial graph is intrinsically linked, namely every spatial embedding of the graph contains a non-splittable 2-component link. We also show that there exis…

Paper proves families of singularities can be topologically trivialized.

Trivial links are unique up to number of link components, but they can be hard to recognize from arbitrary diagrams. We define a new measure of the complexity of a link embedding, the crumple, and show how this may be used to measure progress toward a trivial embedding. In conjunction with a modified form of arc presen…

Paper detects non-trivial cycles in embedding spaces using graph integrals.

The abstract discusses embedding manifolds in open books and contact structures.

Study immersions and embeddings of manifolds with trivial normal bundles.

We prove two results on the classification of trivial Legendrian embeddings $g: G \rightarrow (S^3,ξ_{std})$ of planar graphs. First, the oriented Legendrian ribbon $R_g$ and rotation invariant $\text{rot}_g$ are a complete set of invariants. Second, if $G$ is 3-connected or contains $K_4$ as a minor, then the unique t…

If a class of finitely generated groups Curly(G) is closed under isometric amalgamations along free subgroups, then every G in Curly(G) can be quasi-isometrically embedded in a group Hat(G) in Curly(G) that has no proper subgroups of finite index. Every compact, connected, non-positively curved space X admits an isomet…

New constructions in Legendrian embeddings space yield novel invariants.

This paper considers *-graphs in which all vertices have degree 4 or 6, and studies the question of calculating the genus of nonorientable surfaces into which such graphs may be embedded. In a previous paper by the authors, the problem of calculating whether a given *-graph in which all vertices have degree 4 or 6 admi…

In contrast with knots, whose properties depend only on their extrinsic topology in $S^3$, there is a rich interplay between the intrinsic structure of a graph and the extrinsic topology of all embeddings of the graph in $S^3$ . For example, it was shown in [2] that every embedding of the complete graph $K_7$ in $S^3$ …

We prove that 2-dimensional simplicial complexes whose first homology group is trivial have topological embeddings in 3-space if and only if there are embeddings of their link graphs in the plane that are compatible at the edges and they are simply connected.

The paper embeds 4-manifolds into CP^2 x CP^1 using Lefschetz fibrations.

We work in the smooth category. Let N be a closed connected n-manifold and assume that m>n+2. Denote by E^m(N) the set of embeddings N -> R^m up to isotopy. The group E^m(S^n) acts on E^m(N) by embedded connected sum of a manifold and a sphere. If E^m(S^n) is non-zero (which often happens for 2m<3n+4) then no results o…

The study characterizes geometries of hypersurfaces in warped product and conformal manifolds.

We provide the first non-trivial examples of quasi-isometric embeddings between curve complexes. These are induced either by puncturing a closed surface or via orbifold coverings. As a corollary, we give new quasi-isometric embeddings between mapping class groups.

We generalize the idea of unknotting knots to Seifert surfaces. We define an operation called ribbon twist which serves as the equivalent of a crossing change for knots. A Seifert surface is considered untwisted, the equivalent to unknotted, if it is isotopic to a standardly embedded n-fold punctured torus. A Seifert s…

We reduce the embedding problem for hypo SU(2) and SU(3)-structures to the embedding problem for hypo G2-structures into parallel Spin(7)-manifolds. The latter will be described in terms of gauge deformations. This description involves the intrinsic torsion of the initial G2-structure and allows us to prove that the ev…

The book is devoted to constructing embedding finite-dimensional maps into trivial bundles and investigating the corresponding general position properties.

The paper constructs homotopically non-trivial spheres in complexified spaces.

New examples show immersions not homologous to embeddings.

We construct several families of embeddings of braid groups into mapping class groups of orientable and non-orientable surfaces and prove that they induce the trivial map in stable homology in the orientable case, but not so in the non-orientable case. We show that these embeddings are non-geometric in the sense that t…

We construct examples of spherical space forms $(S^3/Γ,g)$ with positive scalar curvature and containing no stable embedded minimal surfaces, such that the following happens along the Ricci flow starting at $(S^3/Γ,g)$: a stable embedded minimal two-sphere appears and a non-trivial singularity occurs. We also give in d…

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-…

Generalizes embedding formalism for CFTs on curved backgrounds.

In this paper we exhibit infinite families of embedded tori in 4-manifolds that are topologically isotopic but smoothly distinct. The interesting thing about these tori is that they are topologically trivial in the sense that each bounds a topologically embedded solid handlebody. This implies that there are stably ribb…

Study knotted surfaces in simply-connected 4-manifolds with trivial boundary.

For an integral homology 3-sphere embedded asymptotically flatly in an Euclidean space, we find a natural framing extending the standard trivialization on the asymptotically flat part.

Given a compact Riemannian manifold with boundary, we prove that the limit of a sequence of embedded, almost properly embedded free boundary minimal hypersurfaces, with uniform area and Morse index upper bound, always inherits a non-trivial Jacobi field. To approach this, we prove a one-sided Harnack inequality for min…

An embedding of the m-times punctured disc into the n-times punctured disc, for n>m, yields an embedding of the braid group on m strands B_m into the braid group on n strands B_n, called a geometric embedding. The main example consists of adding n-m trivial strands to the right of each braid on m strands. We show that …

The paper deals with topologically trivial Legendrian knots in tight and overtwisted contact 3-manifolds. The first part contains a thorough exposition of the proof of the classification of topologically trivial Legendrian knots (i.e. Legendrian knots bounding embedded 2-disks) in tight contact 3-manifolds. This part w…

Groups can be embedded in larger, simpler groups with special properties.

For a lattice $Γ$ of a simply connected solvable Lie group $G$, we describe the analytic germ in the variety of representations of $Γ$ at the trivial representation as an analytic germ which is linearly embedded in the analytic germ associated with the nilpotent Lie algebra determined by $G$. By this description, under…

This thesis constructs families of arcs in 4-manifolds and analyzes their homotopy properties.

Using the Cartan-Kahler theory, and results on real algebraic structures, we prove two embedding theorems. First, the interior of a smooth, compact 3-manifold may be isometrically embedded into a G_2-manifold as an associative submanifold. Second, the interior of a smooth, compact 4-manifold K, whose double has a trivi…

New obstruction found for embedding Riemannian manifolds into Euclidean spaces.

(1) We show that if a presentation of the trivial group is "hard to trivialize", in the sense that lots of Tietze moves are necessary to transform it into the trivial presentation, then the associated presentation complex (which is a contractible 2-dimensional cell complex) is "hard to embed in $\mathbb{R}^3$", in the …

New infinite family of 2-complexes intrinsically linked in 4D.

Informally, ${\mathbb Z}_2^n$-manifolds are 'manifolds' with ${\mathbb Z}_2^n$-graded coordinates and a sign rule determined by the standard scalar product of their ${\mathbb Z}_2^n$-degrees. Such manifolds can be understood in a sheaf-theoretic framework, as supermanifolds can, but with significant differences, in par…

Lickorish has constructed large families of contractible 4--manifolds that have knotted embeddings in the 4--sphere and has also shown that every finitely presented perfect group with balanced presentation occurs as the fundamental group of the complement of a knotted contractible manifold. Here we make a few observati…

Existence of balanced embedding proved for complex manifold into infinite-dimensional space.

The unknot U in S^4 has non-unique smooth spanning 3-balls up to isotopy fixing U. Equivalently there are properly embedded non-separating 3-balls in S^1xB^3 not properly isotopic to 1xB^3. More generally there exist non-separating 3-spheres in S^1xS^3 not isotopic to 1xS^3 and non trivial elements of π_0 Diff_0(S^1xS^…

We prove the vanishing of the first Chern class of a codimension 2 closed contact submanifold of a cooriented contact manifold with trivial integral 2-dimensional cohomology group. Hence the first Chern class is an obstruction for the existence of codimension 2 contact embeddings in a Darboux chart. For the existence o…

Compact groups with polynomial growth have specific embeddings.

We show an example providing a significance in geometric control theory of the existence of the dependence locus of a system of vector fields in particular, the generic appearance of non-trivial singular trajectories embedded in the dependence locus.