We give an explicit simplicial model for the Hopf map S^3 -> S^2. For this purpose, we construct a model of S^3 as a principal twisted cartesian product K x_{eta} S^2, where K is a simplicial model for S^1 acting by left multiplication on itself, S^2 is given the simplest simplicial model and the twisting map is eta:(S^2)_n -> (K)_{n-1}. We construct a Kan complex for the simplicial model K of S^1. The simplicial model for the Hopf map is then the projection K x_{eta} S^2 -> S^2.
We use combinatorial group theory methods to extend the definition of a classical James-Hopf invariant to a simplicial group setting. This allow us to realize certain coalgebra idempotents at sSet -level and obtain a functorial decomposition of the spectral sequence, associated with the lower p-central series filtration on the free simplicial group.
We define a simplicial enrichment on the category of differential graded Hopf cooperads (the category of dg Hopf cooperads for short). We prove that our simplicial enrichment satisfies, in part, the axioms of a simplicial model category structure on the category of dg Hopf cooperads. We use this simplicial model structure to define a model of mapping spaces in the category of dg Hopf cooperads and to upgrade results of the literature about the homotopy automorphism spaces of dg Hopf cooperads by dealing with simplicial monoid structures. The rational homotopy theory of operads implies that the…
We study the Moore complex of a simplicial cocommutative Hopf algebra through Hopf kernels. The most striking result to emerge from this construction is the coherent definition of 2-crossed modules of cocommutative Hopf algebras. This unifies the 2-crossed module theory of groups and of Lie algebras when we take the group-like and primitive functors into consideration.
Any simplicial Hopf algebra involves $2n$ different projections between the Hopf algebras $H_n,H_{n-1}$ for each $n \geq 1$. The word projection, here meaning a tuple $\partial \colon H_{n} \to H_{n-1}$ and $i \colon H_{n-1} \to H_{n}$ of Hopf algebra morphisms, such that $\partial \, i = \mathrm{id}$. Given a Hopf algebra projection $(\partial \colon I \to H,i)$ in a braided monoidal category $\mathfrak{C}$, one can obtain a new Hopf algebra structure living in the category of Yetter-Drinfeld modules over $H$, due to Radford's theorem. The underlying set of this Hopf algebra is obtained by an…
On essential simplicial maps $S^3 \rightarrow S^2$
Moscow Institute of Physics and Technology（莫斯科物理技术学院）；Saint Petersburg Leonhard Euler International Mathematical Institute at PDMI RAS（圣彼得堡列昂哈德·欧拉数学研究所（PDMI俄罗斯科学院））；University of Texas Rio Grande Valley, School of Mathematical and Statistical Sciences（德克萨斯大学里奥格兰德河谷分校数学与统计科学学院）
In this paper, we study the Lusternik-Schnirelmann category of a simplicial map between simplicial complexes, generalizing the simplicial category of a complex to that of a map. Several properties of this new invariant are shown, including its relevance to products and fibrations. We relate this category of a map to the classical Lusternik-Schnirelmann category of a map between finite topological spaces. Finally, we show how the simplicial category of a map may be used to define and study a simplicial version of the essential category weight of J. Strom.
The Leray spectral sequence of a map $f$ computes the homology of the domain of $f$ from the fibers of $f$. In this expository paper, we relate in full detail the Leray spectral sequence associated to a simplicial map $f$ to the Leray cosheaves of $f$. We then give applications to level set persistent homology and Reeb spaces.
Given a map of simplicial topological spaces, mild conditions on degeneracies and the levelwise maps imply that the geometric realization of the simplicial map is a cofibration. These conditions are not formal consequences of model category theory, but depend on properties of spaces, and similar results have not been available for any model for the stable homotopy category. In this paper we prove such results for symmetric spectra. Consequently, we get a set of conditions which ensure that the geometric realization of a map of simplicial symmetric spectra is a cofibration. These conditions are…
The canonical map from the Kan subdivision of a product of finite simplicial sets to the product of the Kan subdivisions is a simple map, in the sense that its geometric realization has contractible point inverses.
In this work, we compare the two approximations of a path-connected space $X$, by the Ganea spaces $G_n(X)$ and by the realizations $\|Λ_\bullet X\|_{n}$ of the truncated simplicial resolutions emerging from the loop-suspension cotriple $ΣΩ$. For a simply connected space $X$, we construct maps $\|Λ_\bullet X\|_{n-1}\to G_n(X)\to \|Λ_\bullet X\|_{n}$ over $X$, up to homotopy. In the case $n=2$, we prove the existence of a map $G_2(X)\to\|Λ_\bullet X\|_{1}$ over $X$ (up to homotopy) and conjecture that this map exists for any $n$.
We undertake a systematic study of the notion of fibration in the setting of abstract simplicial complexes, where the concept of `homotopy' has been replaced by that of `contiguity'. Then a fibration will be a simplicial map satisfying the `contiguity lifting property'. This definition turns out to be equivalent to a known notion introduced by G. Minian, established in terms of a cylinder construction $K \times I_m$. This allows us to prove several properties of simplicial fibrations which are analogous to the classical ones in the topological setting, for instance: all the fibers of a fibrati…
As a higher dimensional version of the theory of Morse functions, there have been various studies of smooth manifolds using generic smooth maps. As fundamental results, in these studies, they have found that inverse images of such maps often restrict the types of the source manifolds. For example, if a generic map such that the inverse image of a regular value is not null-cobordant, then the homology group of its {\it Reeb} space, which is defined as the space of all the connected components of inverse images of the map and a fundamental tool in the theory of generic smooth maps, is known to b…
We study the inverse problem for persistent homology: For a fixed simplicial complex $K$, we analyse the fiber of the continuous map $\mathrm{PH}$ on the space of filters that assigns to a filter $f: K \to \mathbb R$ the total barcode of its associated sublevel set filtration of $K$. We find that $\mathrm{PH}$ is best understood as a map of stratified spaces. Over each stratum of the barcode space, the map $\mathrm{PH}$ restricts to a (trivial) fiber bundle with fiber a polyhedral complex. Amongst other we derive a bound for the dimension of the fiber depending on the number of distinct endpoi…
We construct a degree-type otopy invariant for equivariant gradient local maps in the case of a real finite dimensional orthogonal representation of a compact Lie group. We prove that the invariant establishes a bijection between the set of equivariant gradient otopy classes and the direct sum of countably many copies of $\mathbb{Z}$.
We study the questions of how to recognize when a simplicial set X is of the form X=map(Y,A) for a given space A, and how to recover Y from X, if so. A full answer is provided when A=K(R,n), for $R=\mathbb{F}_p$ or $\mathbb{Q}$, in terms of a mapping algebra structure on X (defined in terms of product-preserving simplicial functors out of a certain simplicially-enriched sketch). In addition, when A is a suitable infinite loop space for a suitable connective ring spectrum, we can recover Y from map(Y,A) given such a mapping algebra structure. Most importantly, our methods provide a new way of l…
Let $X$ be a two-cell complex with attaching map $α\colon S^q\to S^p$, and let $C_X$ be the cofiber of the diagonal inclusion $X\to X\times X$. It is shown that the topological complexity (${\rm TC}$) of $X$ agrees with the Lusternik-Schnirelmann category (${\rm cat}$) of $C_X$ in the (almost stable) range $q\leq2p-1$. In addition, the equality ${\rm TC}(X)={\rm cat}(C_X)$ is proved in the (strict) metastable range $2p-1<q\leq3(p-1)$ under fairly mild conditions by making use of the Hopf invariant techniques recently developed by the authors in their study of the sectional category of arbitrar…
A simplicial set is non-singular if the representing map of each non-degenerate simplex is degreewise injective. The simplicial mapping set $X^K$ has $n$-simplices given by the simplicial maps $Δ[n] \times K \to X$. We prove that $X^K$ is non-singular whenever $X$ is non-singular. It follows that non-singular simplicial sets form a cartesian closed category with all limits and colimits, but it is not a topos.
We define a map of simplicial presheaves, the Chern character, that assigns to every sequence of composable non connection preserving isomorphisms of vector bundles with holomorphic connections an appropriate sequence of holomorphic forms. We apply this Chern character map to the Cech nerve of a good cover of a complex manifold and assemble the data by passing to the totalization to obtain a map of simplicial sets. In simplicial degree 0, this map gives a formula for the Chern character of a bundle in terms of the clutching functions. In simplicial degree 1, this map gives a formula for the Ch…
Given a bisimplicial set, there are two ways to extract from it a simplicial set: the diagonal simplicial set and the less well known total simplicial set of Artin and Mazur. There is a natural comparison map between these two simplicial sets, and it is a theorem due to Cegarra and Remedios and independently Joyal and Tierney, that this comparison map is a weak equivalence for any bisimplicial set. In this paper we will give a new, elementary proof of this result. As an application, we will revisit Kan's simplicial loop group functor G. We will give a simple formula for this functor, which is …
The Image-Computing Spectral Sequence computes the homology of the image of a finite map from the alternating homology of the multiple point spaces of the map. A related spectral sequence was obtained by Gabrielov, Vorobjob and Zell which computes the homology of the image of a closed map from the homology of $k$-fold fibred products of the map. We give new proofs of these results, in case the map can be triangulated. Thanks to work of Hardt, this holds for a very wide range of maps, and in particular for most of the finite maps of interest in singularity theory. The proof seems conceptually s…
In this paper, we study the zero set of the Hopf construction map F_n : A_n_ x A_n --> A_n x A_0 given by F_n (x, y) = (2xy, | y|^2 - |x|^2) for n >3 where A_n is the Cayley-Dickson algebra of dimension 2^n over the real numbers.
We show that the Strong Novikov Conjecture for the maximal C*-algebra C*(G) of a discrete group G is equivalent to a statement in topological K-theory for which the corresponding statement in algebraic K-theory is always true. We also show that for any group G, rational injectivity of the full assembly map for the topological K-theory of C*(G) follows from rational injectivity of the restricted assembly map.
The geometric Hopf invariant of a stable map F is a stable Z_2-equivariant map h(F) such that the stable Z_2-equivariant homotopy class of h(F) is the primary obstruction to F being homotopic to an unstable map. In this paper we express the geometric Hopf invariant of the Umkehr map F of an immersion f:M^m \to N^n in terms of the double point set of f. We interpret the Smale-Hirsch-Haefliger regular homotopy classification of immersions f in the metastable dimension range 3m<2n-1 (when a generic f has no triple points) in terms of the geometric Hopf invariant.
In this paper we prove that a simplicial map of finite-dimensional locally finite simplicial complexes has contractible point inverses if and only if it is an $ε$-controlled homotopy equivalence for all $ε>0$ if and only if $f\times \mathrm{id}_\mathbb{R}$ is a bounded homotopy equivalence measured in the open cone over the target. This confirms for such a space $X$ the slogan that arbitrarily fine control over $X$ corresponds to bounded control over the open cone $O(X_+)$. For the proof a one parameter family of cellulations $\{X_ε^\prime\}_{0<ε<ε(X)}$ is constructed which provides a retracti…
