arXiv research

Researchers debunk a generalized Property R conjecture for 2-component links.

The paper verifies stable handleslide triviality of some R-links and shows many are stably equivalent.

New framework for sutured manifolds using handleslides and Heegaard invariants.

A $g$-tuple of disjoint, linearly independent circles in a Riemann surface of genus $g$ determines a `Heegaard torus' in its $g$-fold symmetric product. Changing the circles by a handleslide produces a new torus. It is proved that, for symplectic forms with certain properties, these two tori are Hamiltonian-isotopic La…

We study embedded spheres in 4-manifolds (2-knots) via doubly pointed trisection diagrams, showing that such descriptions are unique up to stabilization and handleslides, and we describe how to obtain trisection diagrams for certain cut-and-paste operations along 2-knots directly from doubly pointed trisection diagrams…

In the author's earlier work there appeared a new way to specify any smooth closed 4-manifold by a surface diagram, which consists of an orientable surface decorated with simple closed curves. These curves are cyclically indexed, and each curve has a unique transverse intersection with the next. Each surface diagram co…

The purpose of this paper is to study geometrically simply-connected homotopy 4-spheres by analyzing $n$-component links with a Dehn surgery realizing $\#^n(S^1\times S^2)$. We call such links $n$R-links. Our main result is that a homotopy 4-sphere that can be built without 1-handles and with only two 2-handles is diff…

Paper solves equivalence problems for fifth-order differential operators using Cartan's method.

In this paper we discuss four problems regarding Markov equivalences for subclasses of loopless mixed graphs. We classify these four problems as finding conditions for internal Markov equivalence, which is Markov equivalence within a subclass, for external Markov equivalence, which is Markov equivalence between subclas…

We consider equivalence relations among smooth map germs with respect to geometry of G-structures on the target space germ. These equivalence relations are natural generalization of right-left equivalence (i.e., A-equivalence) in the sense of Thom-Mather depending on geometric structures on the target space germ. Unfor…

We examine an equivalence relation between free homotopy classes of closed curves on the pair of pants known as k-equivalence, a generalization of a concept previously defined by Leininger. We prove that two classes of closed curves on the pair of pants that are k-equivalent must also be 1-equivalent and 2-equivalent. …

This article is dedicated to solve the equivalence problem for two third order differential operators on the line under general fiber--preserving transformation using the Cartan method of equivalence. We will do three versions of the equivalence problems: first via the direct equivalence problem, second equivalence pro…

Equivalent bicategories constructed from action Lie groupoids.

In the context of finite type invariants, Stanford introduced a family of equivalence relations on knots defined by the lower central series of the pure braid groups and characterized the finite type invariants in terms of the structure of the braid groups. It is known that this equivalence and Ohyama's equivalence def…

Develops $L_\infty$ spaces over dg manifolds and establishes an equivalence with $L_\infty$ algebroids.

Two Riemannian manifolds are called eigenvalue equivalent when their sets of eigenvalues of the Laplace-Beltrami operator are equal (ignoring multiplicities). They are (primitive) length equivalent when the sets of lengths of their (primitive) closed geodesics are equal. We give a general construction of eigenvalue equ…

Paper refines braidoid equivalence for spherical knotoids.

The $ν^+$-equivalence is an equivalence relation on the knot concordance group. This relation can be seen as a certain stable equivalence on knot Floer complexes $CFK^{\infty}$, and many concordance invariants derived from Heegaard Floer theory are invariant under the equivalence. In this paper, we show that any genus …

In this paper, two sufficient conditions are provided for given two K-equivalent map-germs to be bi-Lipschitz A-equivalent. These are Lipschitz analogues of the known results on C^r-A-equivalence $(0 \leq r \leq \infty)$ for given two K-equivalent map-germs. As a corollary of one of our results, a Lipschitz version of …

By combining the ideas of Cartan's equivalence method and the method of the equivariant moving frame for pseudo-groups, we develop an efficient method for solving equivalence problems arising from horizontal Lie pseudo-group actions. The key is a pseudo-group analog of the classic result that characterizes congruence o…

New R-equivalence classes found for torus knot diagrams.

In present paper, the equivalence problem for fourth order differential operators with one variable under general fiber-preserving transformation using the Cartan method of equivalence is applied. Two versions of equivalence problems are considered. First, the direct equivalence problem and second equivalence problem i…

Link-homotopy and self Delta-equivalence are equivalence relations on links. It was shown by J. Milnor (resp. the last author) that Milnor invariants determine whether or not a link is link-homotopic (resp. self Delta-equivalent) to a trivial link. We study link-homotopy and self Delta-equivalence on a certain componen…

Paper defines curvature equivalence for Legendre curves in a plane.

Let $M$ and $N$ be Nash manifolds, and $f$ and $g$ Nash maps from $M$ to $N$. If $M$ and $N$ are compact and if $f$ and $g$ are analytically R-L equivalent, then they are Nash R-L equivalent. In the local case, $C^infty$ R-L equivalence of two Nash map germs implies Nash R-L equivalence. This shows a difference of Nash…

The equivalence (or weak equivalence) classes of orientation-preserving free actions of a finite group G on an orientable 3-dimensional handlebody of genus g can be enumerated in terms of sets of generators of G. They correspond to the equivalence classes of generating n-vectors of elements of G, where n=1+(g-1)/|G|, u…

Study stable equivalence relations on 4-manifolds, proving homotopy equivalent manifolds with abelian fundamental group are stably diffeomorphic.

Establishes equivalence between models of derived stacks.

Links in lens spaces may be defined to be equivalent by ambient isotopy or by diffeomorphism of pairs. In the first case, for all the combinatorial representations of links, there is a set of Reidemeister-type moves on diagrams connecting isotopy equivalent links. In this paper we provide a set of moves on disk, band a…

Complex equivalence classes found in graph homotopy.

Handlebody groups are rigid under measure equivalence.

Two metrics on a manifold are geodesically equivalent if sets of their unparameterized geodesics coincide. In this paper we show that if two left $G$-invariant metrics of arbitrary signature on homogenous space $G/H$ are geodesically equivalent, they are affinely equivalent, i.e. they have the same Levi-Civita connecti…

If the fundamental group of the complement of a smooth embedding f: S^2 \subset R^4 is a cyclic group, the map can be deformed to the standard embedding by a generic one-parameter family with at most cusp singularities. If two smooth embeddings are connected by such a deformation, they will be called cusp equivalent. W…

Characterizes Bayesian networks up to unconditional equivalence.

We study gauge transformations of Dirac structures and the relationship between gauge and Morita equivalences of Poisson manifolds. We describe how the symplectic structure of a symplectic groupoid is affected by a gauge transformation of the Poisson structure on its identity section, and prove that gauge-equivalent in…

The main approach to defining equivalence among acyclic directed causal graphical models is based on the conditional independence relationships in the distributions that the causal models can generate, in terms of the Markov equivalence. However, it is known that when cycles are allowed in the causal structure, conditi…

We study a family of polynomials in two variables having moduli up to bilipschitz equivalence: two distinct polynomials of this family are not bilipschitz equivalent. However any level curve of the first polynomial is bilipschitz equivalent to a level curve of the second.

System uses neural networks to prove program equivalence via rewrite rules.

Two Heegaard Floer knot complexes are called stably equivalent if an acyclic complex can be added to each complex to make them filtered chain homotopy equivalent. Hom showed that if two knots are concordant, then their knot complexes are stably equivalent. Invariants of stable equivalence include the concordance invari…

Equivalence proven between different Ricci curvature definitions.

A virtual link is a generalization of a classical link that is defined as an equivalence class of certain diagrams, called virtual link diagrams. It is further generalized to a twisted link. Twisted links are in one-to-one correspondence with stable equivalence classes of links in oriented thickenings of (possibly non-…

Smooth orbit equivalence proves metric equivalence for geodesic flows.

Leveraging an equivalence property in the state-space of a Markov Decision Process (MDP) has been investigated in several studies. This paper studies equivalence structure in the reinforcement learning (RL) setup, where transition distributions are no longer assumed to be known. We present a notion of similarity betwee…

Linearizability of singular foliations is preserved under a specific equivalence relation.

Equivalence proven for isocapacitary mass notions.

Establishes Morita equivalence for Nijenhuis structures and proves invariance of modular class.

This paper combines two classical theories, namely metric projective differential geometry and superintegrability. We study superintegrable systems on 2-dimensional geometries that share the same geodesics, viewed as unparametrized curves. We give a definition of projective equivalence of such systems, which may be con…

We study the classification of ultrametric spaces based on their small scale geometry (uniform homeomorphism), large scale geometry (coarse equivalence) and both (all scale uniform equivalences). We prove that these equivalences can be characterized with parallel constructions using a combinatoric tool called common zi…