Related papers: Homotopy classification of knotted defects in orde…
Let $\mathcal{E}(X)$ be the group of homotopy classes of self homotopy equivalences for a connected CW complex $X$. We observe two classes of maps $\mathcal{E}$-maps and co-$\mathcal{E}$-maps. They are defined as the maps $X\to Y$ that…
The motivation of this work is to define cohomology classes in the space of knots that are both easy to find and to evaluate, by reducing the problem to simple linear algebra. We achieve this goal by defining a combinatorial graded cochain…
We work with combinatorial maps to represent graph embeddings into surfaces up to isotopy. The surface in which the graph is embedded is left implicit in this approach. The constructions herein are proof-relevant and stated with a subset of…
Locally convex (or nondegenerate) curves in the sphere $S^n$ have been studied for several reasons, including the study of linear ordinary differential equations of order $n+1$. Taking Frenet frames allows us to obtain corresponding curves…
The class of all quasigroups is covered by six classes: the class of all asymmetric quasigroups and five varieties of quasigroups (commutative, left symmetric, right symmetric, semi-symmetric and totally symmetric). Each of these classes is…
In this paper we study homotopy type of certain moduli spaces of metric graphs. More precisely, we show that the spaces $MG_{1,n}^v$, which parametrize the isometry classes of metric graphs of genus 1 with $n$ marks on vertices are homotopy…
This paper is a generalization of arXiv:0810.0808. We develop the de Rham homotopy theory of not necessarily nilpotent spaces, using closed dg-categories and equivariant dg-algebras. We see these two algebraic objects correspond in a…
Parameterized stable homotopy theory organizes local systems of spectra over homotopy types, governed by a "yoga" of six functors. To provide semantics for the recently developed Linear Homotopy Type Theory (LHoTT), good model categories of…
We classify topological defects in non-Hermitian systems with point gap, real gap and imaginary gap for all the Bernard-LeClair classes or generalized Bernard-LeClair classes in all dimensions. The defect Hamiltonian $H(\bf{k}, {\bf r})$ is…
We classify nonnegatively curved simply connected 4-manifolds with circle symmetry up to equivariant diffeomorphisms. The main problem is rule out knotted curves in the singular set of the orbit space. As an extension of this work we…
The paper containes a proof that the mapping class group of the manifold $S^3\times S^3$ is isomorphic to a central extension of the (full) Jacobi group $\Gamma^J$ by the group of 7-dimensional homotopy spheres. Using a presentation of the…
Many physical systems involve two types of orientational order, which are coupled together. For example, ferroelectric nematic liquid crystals have coupled polar and nematic order, and tilted hexatic phases have coupled polar and hexatic…
We show that the homotopy category of unpointed spaces admits no set of objects jointly reflecting isomorphisms by giving an explicit counterexample involving large symmetric groups. We also show that, in contrast, the spheres jointly…
Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of…
In this paper, we classify the homotopy types of the total spaces of $S^{2k-1}$-bundles (or fibrations) over $S^{2k}$ for $2\leq k\leq 6$. One of the two key new ingredients in the argument is the new necessary and sufficient conditions for…
We classify the normal CR structures on $S^3$ and their automorphism groups. Together with [3], this closes the classification of normal CR structures on contact 3-manifolds. We give a criterion to compare 2 normal CR structures, and we…
We study Verdier quotients of diverse homotopy categories of a full additive subcategory $\mathcal E$ of an abelian category. In particular, we consider the categories $K^{x,y}({\mathcal E})$ for $x\in\{\infty, +,-,b\}$, and…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
Given a grid diagram for a knot or link K in $S^3$, we construct a filtered spectrum whose homology is the knot Floer homology of K. We conjecture that the filtered homotopy type of the spectrum is an invariant of K. Our construction does…
We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of…