Related papers: Ren{\'e} Thom and an anticipated h-principle
This thesis introduces the idea of two-level type theory, an extension of Martin-L\"of type theory that adds a notion of strict equality as an internal primitive. A type theory with a strict equality alongside the more conventional form of…
For an integer $r\ge 2$, the space of $r$-immersions of $M$ in $\R^n$ is defined to be the space of immersions of $M$ in $\R^n$ such that at most $r-1$ points of $M$ are mapped to the same point in $\R^n$. The space of $r$-immersions lies…
Higher homotopies are nowadays playing a prominent role in mathematics as well as in certain branches of theoretical physics. We recall some of the connections between the past and the present developments. Higher homotopies were isolated…
The paper is the survey of the modern results and applications of the theory of homotopes. The notion of a well-tempered element in an associative algebra is introduced and it is proven that the category of representations of the homotope…
A classical result of A.D. Alexandrov states that a connected compact smooth $n-$dimensional manifold without boundary, embedded in $\Bbb R^{n+1}$, and such that its mean curvature is constant, is a sphere. Here we study the problem of…
Let $f:G\to \mathrm{Pic}(R)$ be a map of $E_\infty$-groups, where $\mathrm{Pic}(R)$ denotes the Picard space of an $E_\infty$-ring spectrum $R$. We determine the tensor $X\otimes_R Mf$ of the Thom $E_\infty$-$R$-algebra $Mf$ with a space…
In this manuscript, we show that three fundamental building blocks are supporting the Cosmological Principle. The first of them states that there is a special frame in the universe where the spatial geometry is intrinsically homogeneous and…
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
We classify immersions $f$ of $S^1$ in a $2$-manifold $M$ in terms of elementary invariants: the parity $S(f)$ of the number of double points of a self-transverse $C^1$-approximation of $f$, and the turning number $T(e\bar f)$ of the…
Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…
This article is concerned with homological properties of local or graded rings whose defining relations are monomials on some regular sequence. The main result of the article positively answers a question of Avramov for such a ring $R$.…
While the topology of the space of all smooth immersed curves on the $2$-sphere $\mathbb{S}^2$ that start and end at given points in given directions is well known, it is an open problem to understand the homotopy type of its subspaces…
A key result in four dimensional black hole physics, since the early 1970s, is Hawking's topology theorem asserting that the cross-sections of an "apparent horizon", separating the black hole region from the rest of the spacetime, are…
In the mid-1980's, M. Gromov used his machinery of the $h$-principle to prove that there exists totally real embeddings of $S^3$ into $\mathbb{C}^3$. Subsequently, Patrick Ahern and Walter Rudin explicitly demonstrated such a totally real…
The study of differential forms that are closed but not exact reveals important information about the global topology of a manifold, encoded in the de Rham cohomology groups $H^k(M)$, named after Georges de Rham (1903-1990). This expository…
In this paper, we suggest a mathematical representation to the holographic principle through the theory topological retracts. We found that the topological retraction is the mathematical analogs of the hologram idea in modern quantum…
We propose a general quantum Hamiltonian formalism of a renormalization group (RG) flow with an emphasis on generalized symmetry by interpreting the elementary relationship between homomorphism, quotient ring, and projection. In our…
We formalize Pick's theorem for finding the area of a simple polygon whose vertices are integral lattice points. We are inspired by John Harrison's formalization of Pick's theorem in HOL Light, but tailor our proof approach to avoid a…
This paper is an exposition of the new subject of String Topology. We present an introduction to this exciting new area, as well as a survey of some of the latest developments, and our views about future directions of research. We begin…
This article is one of three highly influential articles on the topology of manifolds written by Robert D. Edwards in the 1970's but never published. It presents the initial solutions of the fabled Double Suspension Conjecture. (The other…