Related papers: The Cayley-Dickson Construction in Homotopy Type T…
We study geometric structures of $\mathcal{W}_4$-type in the sense of A. Gray on a Riemannian manifold. If the structure group $\mathrm{G} \subset \SO(n)$ preserves a spinor or a non-degenerate differential form, its intrinsic torsion…
It is shown that analytic conformal submersions of $S^3$ are given by intersections of (not necessary closed) complex surfaces with a quadratic real hyper-surface in $\mathbb{C}P^3.$ A new description of the space of circles in the 3-sphere…
A remarkable discovery in recent years is that there exist various kinds of topological insulators and superconductors characterized by a periodic table according to the system symmetry and dimensionality. To physically realize these…
A hyperk\"ahler manifold is defined as a Riemannian manifold endowed with three covariantly constant complex structures that are quaternionically related. A twistor space is characterized as a holomorphic fiber bundle $p: \mathcal{Z}…
Here we study geodesics connecting two given points on odd-dimensional spheres respecting the Hopf fibration. This geodesic boundary value problem is completely solved in the case of 3-dimensional sphere and some partial results are…
We give a classification of quadratic harmonic morphisms between Euclidean spaces (Theorem 2.4) after proving a Rank Lemma. We also find a correspondence between umbilical (Definition 2.7) quadratic harmonic morphisms and Clifford systems.…
This paper aims to help the development of new models of homotopy type theory, in particular with models that are based on realizability toposes. For this purpose it develops the foundations of an internal simplicial homotopy that does not…
An n-truncated model structure on simplicial (pre-)sheaves is described having as weak equivalences maps that induce isomorphisms on certain homotopy sheaves only up to degree n. Starting from one of Jardine's intermediate model structures…
For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor,…
We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory as developed in univalent…
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for…
With the help of a new type of functionals we study manifolds diffeomorphic to $S^2\times S^2$ and establish, in particular, the Hopf conjecture.
We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…
The quaternionic Hopf surface, HL, is associated with a non-compact moduli space, ML, of stable holomorphic SL(2,C) bundles. ML is open in MLc, the corresponding compact moduli space of holomorphic SL(2,C) bundles, and naturally fibers over…
The Anick spaces play a key role in an unstable filtration of the stable homotopy of V(0) to produce secondary EHP sequences. This work establishes that the Anick spaces are homotopy associative and homotopy commutative H-spaces, and that…
Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining…
We present an overview of pattern formation analysis for an analogue of the Swift-Hohenberg equation posed on the real hyperbolic space of dimension two, which we identify with the Poincar\'e disc D. Different types of patterns are…
We prove a version of Quillen's theorems for a map of semi-Segal spaces. We construct a bi-semi-simplicial resolution similar to the one associated to a functor of non-unital topological categories. As a consequence we can represent the…
A fibration of a Riemannian manifold is fiberwise homogeneous if there are isometries of the manifold onto itself, taking any given fiber to any other one, and preserving fibers. Examples are fibrations of Euclidean n-space by parallel…
We prove that the homotopy theory of cofibration categories is equivalent to the homotopy theory of cocomplete quasicategories. This is achieved by presenting both homotopy theories as fibration categories and constructing an explicit…