Related papers: A Z-set unknotting theorem for Nobeling spaces

Let $G$ be a finite almost simple group of Lie type acting faithfully and primitively on a set $\Omega$. We prove an analogue of the Boston--Shalev conjecture for conjugacy classes: the proportion of conjugacy classes of $G$ consisting of…

These notes present two normal surface theory algorithms to detect the unknot and use the split-link algorithm to prove that the figure-eight knot is knotted.

A knot is an an embedding of a circle into three-dimensional space. We say that a knot is unknotted if there is an ambient isotopy of the embedding to a standard circle. By representing knots via planar diagrams, we discuss the problem of…

Order types are a well known abstraction of combinatorial properties of a point set. By Mn\"ev's universality theorem for each semi-algebraic set $V$ there is an order type with a realization space that is \emph{stably equivalent} to $V$.…

We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Baire space, by constructing sheaf models and using their…

We provide three 3-dimensional characterizations of the Z-slice genus of a knot, the minimal genus of a locally-flat surface in 4-space cobounding the knot whose complement has cyclic fundamental group: in terms of balanced algebraic…

In this paper we prove the universal property of skew $PBW$ extensions generalizing this way the well known universal property of skew polynomial rings. For this, we will show first a result about the existence of this class of…

We study algebras on which the Berenstein-Zelevinsky conjecture is true. In particular, we prove that this conjecture is true "up to localization".

We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable $\infty$-categories. The formula behaves much better…

We develop Morse-Bott theory on posets, generalizing both discrete Morse-Bott theory for regular complexes and Morse theory on posets. Moreover, we prove a Lusternik-Schnirelmann theorem for general matchings on posets, in particular, for…

In this note we give a detailed proof of a theorem of Aubin.

The aim of this paper is to present some fixed point theorems for generalized contractions by altering distance functions in a complete cone metric spaces endowed with a partial order. We also generalize fixed point theorems of J. Harjani,…

In this article we discuss applications of neural networks to recognising knots and, in particular, to the unknotting problem. One of motivations for this study is to understand how neural networks work on the example of a problem for which…

In this short note, we prove a Tamarkin-type separation theorem for possibly non-compact subsets in cotangent bundles.

I give a proof of Zel'manov's theorem that if $L$ is an $n$-Engel Lie algebra over a field $F$ of characteristic zero then $L$ is (globally) nilpotent. This is a very important result which extends Kostrikin's theorem that $L$ is locally…

We prove some Bernstein theorems for entire space-like submanifolds in pseudo-Euclidean spaces and, as a corollary, we obtain a new proof of the Calabi-Pogorelov theorem on global solutions of Monge-Ampere equations.

Results concerning recurrence and ergodicity are proved in an abstract Hilbert space setting based on the proof of Khintchine's recurrence theorem for sets, and on the Hilbert space characterization of ergodicity. These results are carried…

We derive a generalized Stokes' theorem, valid in any dimension and for arbitrary loops, even if self intersecting or knotted. The generalized theorem does not involve an auxiliary surface, but inherits a higher rank gauge symmetry from the…

We show explicitly a generalised Lie algebra embedded in the positive and negative parts of the Drinfeld-Jimbo quantum groups of type A_n. Such a generalised Lie algebra satisfy axioms closely related to the ones found by S.L. Woronowicz.…

We prove a general factorization theorem for Lipschitz summing operators in the context of metric spaces which recovers several linear and nonlinear factorization theorems that have been proved recently in different environments. New…