arXiv research

The study determines lens spaces that can be obtained from surgeries on knots in the Poincaré homology sphere.

Study smooth embeddings of line configurations in complex projective plane.

We exhibit an infinite family of rational homology balls which embed smoothly but not symplectically in the complex projective plane. We also obtain a new lattice embedding obstruction from Donaldson's diagonalisation theorem, and use this to show that no two of our examples may be embedded disjointly.

The article classifies cubiquitous sublattices and applies them to branched covers.

Let L be a nonunimodular definite lattice. Using a theorem of Elkies we show that whether L embeds in the standard definite lattice of the same rank is completely determined by a collection of lattice correction terms, one for each metabolizing subgroup of the discriminant group. As a topological application this gives…

Study shows surgeries on certain knots bound rational homology 4-balls.

Fewer obstructions for small graphs in knotless embedding.

3028 obstructions found for embedding without knots.

New proof for symmetric spaces with rectangular lattices.

The paper shows examples of 2-complexes that can't be embedded in R^4, hiding obstructions in higher Milnor invariants.

The paper develops obstructions for embedding 2D complexes into 4D space.

Algorithm constructs surfaces with specific Veech groups in lattice strata.

This paper solves PDEs for embedding discrete lattices into smooth manifolds.

We give a complete obstruction to turning an immersion of an m-dimensional manifold M in Euclidean n-space into an embedding when 3n>4m+4. It is a secondary obstruction, and exists only when the primary obstruction, due to Haefliger, vanishes. The obstruction lives in a twisted cobordism group, and its vanishing implie…

Determines surgeries on chain links bounding rational homology balls using lattice-theoretic methods.

Embeds 3-manifolds in symplectic 4-manifolds with constraints.

This thesis is concerned with the question of when the double branched cover of an alternating knot can arise by Dehn surgery on a knot in $S^3$. We approach this problem using a surgery obstruction, first developed by Greene, which combines Donaldson's Diagonalization Theorem with the $d$-invariants of Ozsv{á}th and S…

New obstruction found for embedding Riemannian manifolds into Euclidean spaces.

We study quasi-isometric embeddings of symmetric spaces and non-uniform irreducible lattices in semisimple higher rank Lie groups. We show that any quasi-isometric embedding between symmetric spaces of the same rank can be decomposed into a product of quasi-isometric embeddings into irreducible symmetric spaces. We thu…

New symplectic embedding obstructions found for polydisks into half-integer ellipsoids.

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…

Knot lattice homology invariant is preserved under certain 3-manifold diffeomorphisms.

Smoothly approximates embeddings in Lorentzian manifolds.

We construct an obstruction for the existence of embeddings of homology $3$-sphere into homology $S^3\times S^1$ under some cohomological condition. The obstruction is defined as an element in the filtered version of the instanton Floer cohomology due to R.Fintushel-R.Stern. We make use of the $\mathbb{Z}$-fold coverin…

The lattice stick number of knots is defined to be the minimal number of straight sticks in the cubic lattice required to construct a lattice stick presentation of the knot. We similarly define the lattice stick number $s_{L}(G)$ of spatial graphs $G$ with vertices of degree at most six (necessary for embedding into th…

Consider a smooth $4$-manifold $X$ and a diffeomorphism $f : X \to X$. We give an obstruction in the form of an adjunction inequality for an embedded surface in $X$ to be isotopic to its image under $f$. It follows that the minimal genus of a surface representing a given homology class and which is isotopic to its imag…

A map $\varphi:K\to R^2$ of a graph $K$ is approximable by embeddings, if for each $\varepsilon>0$ there is an $\varepsilon$-close to $\varphi$ embedding $f:K\to R^2$. Analogous notions were studied in computer science under the names of cluster planarity and weak simplicity. This short survey is intended not only for …

New 3-manifolds bound rational 4-balls through specific operations.

Classifies fibered ribbon pretzels, except for a few cases.

We develop a new approach to the conformal geometry of embedded hypersurfaces by treating them as conformal infinities of conformally compact manifolds. This involves the Loewner--Nirenberg-type problem of finding on the interior a metric that is both conformally compact and of constant scalar curvature. Our first resu…

We use topological quantum field theory to derive an invariant of a three-manifold with boundary. We then show how to use this invariant as an obstruction to embedding one three-manifold in another.

Building on work of Kapouleas and Yang, we construct sequences of minimal surfaces embedded in the round 3-sphere which converge to the Clifford torus counted with multiplicity two and have second fundamental form blowing up at every point of the torus and genus tending to infinity. Each surface in a given sequence res…

Let $G$ and $G'$ be simple Lie groups of equal real rank and real rank at least $2$. Let $Γ<G$ and $Λ< G'$ be non-uniform lattices. We prove a theorem that often implies that any quasi-isometric embedding of $Γ$ into $Λ$ is at bounded distance from a homomorphism. For example, any quasi-isometric embedding of $SL(n,\ma…

We prove the existence of lattice isomorphic line arrangements having $π_1$-equivalent or homotopy-equivalent complements and non homeomorphic embeddings in the complex projective plane. We also provide two explicit examples, one is formed by real-complexified arrangements while the second is not.

Let $G$ be a simply connected, solvable Lie group and $Γ$ a lattice in $G$. The deformation space $\mathcal{D}(Γ,G)$ is the orbit space associated to the action of $\Aut(G)$ on the space $\mathcal{X}(Γ,G)$ of all lattice embeddings of $Γ$ into $G$. Our main result generalises the classical rigidity theorems of Mal'tsev…

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…

Generalizes Kauffman's clock theorem to surfaces.

Rigidity theorem for discrete metric spaces embedded in Riemannian surfaces.

A Riemannian symmetric space is a Riemannian manifold in which it is possible to reflect all geodesics through a point by an isometry of the space. On such spaces, we introduce the notion of a distributional lattice, generalizing the notion of lattice. Distributional lattices exist in any Riemannian symmetric space: th…

We demonstrate an obstruction to finding certain splittings of four-manifolds along sufficiently twisted circle bundles over Riemann surfaces, arising from Seiberg-Witten theory. These obstructions are used to show a non-splitting result for algebraic surfaces of general type.

Symplectic embeddings of balls into specific manifolds are studied, with restrictions and obstructions identified.

We prove that if $G$ is a non-uniform lattice in a rank-one semi-simple Lie group $\ne Isom(\H^2_\R)$ then $G$ is quasi-isometrically co-Hopf. This means that every quasi-isometric embedding $G\to G$ is coarsely onto and thus is a quasi-isometry.

The study connects ECH capacities to Anosov flows, proving infinite capacities and obstructions.

This paper introduces lattice representations for efficient discrete learning.

Simple branched coverings established between certain 4-manifolds.

The lattice stick number $s_L(L)$ of a link $L$ is defined to be the minimal number of straight line segments required to construct a stick presentation of $L$ in the cubic lattice. Hong, No and Oh found a general upper bound $s_L(K) \leq 3 c(K) +2$. A rational link can be represented by a lattice presentation with exa…

We extend harmonic map techniques to the setting of more general differential equations in conformal geometry. We obtain an extension of Siu's rigidity to Kahler-Weyl geometry and apply the latter to Vaisman's conjecture. Other applications include topological obstructions to the existence of Kahler-Weyl structures. Fo…

We propose learning deep models that are monotonic with respect to a user-specified set of inputs by alternating layers of linear embeddings, ensembles of lattices, and calibrators (piecewise linear functions), with appropriate constraints for monotonicity, and jointly training the resulting network. We implement the l…