Related papers: The Simplicial EHP Sequence in A1-Algebraic Topolo…

To any Adams-type spectrum $E$, Pstr\k{a}gowski produced a symmetric monoidal stable $\infty$-category $Syn_E$ whose objects are, in a sense, ''formal Adams spectral sequences''. $Syn_E$ comes equipped with a lax symmetric monoidal functor…

Given a finite simplicial complex $X$ and a connected graph $T$ of diameter $1$, in \cite{anton} Dochtermann had conjectured that $\text{Hom}(T,G_{1,X})$ is homotopy equivalent to $X$. Here, $G_{1, X}$ is the reflexive graph obtained by…

We say that a topological space $X$ is selectively highly divergent (SHD) if for every sequence of non-empty open sets $\{U_n\mid n\in\omega \}$ of $X$, we can find $x_n\in U_n$ such that the sequence $(x_n)$ has no convergent subsequences.…

Discrete homotopy theory or A-homotopy theory is a combinatorial homotopy theory defined on graphs, simplicial complexes, and metric spaces, reflecting information about their connectivity. The present paper aims to further understand the…

The settings for homotopical algebra---categories such as simplicial groups, simplicial rings, $A_\infty$ spaces, $E_\infty$ ring spectra, etc.---are often equivalent to categories of algebras over some monad or triple $T$. In such cases,…

This mostly expository paper records some basic facts about towers of homotopy fiber sequences. We give a proof that a pairing of towers induces a pairing of associated spectral sequences, for towers of spaces and towers of spectra.

In this note, we present a new proof of the isomorphism $\pi_1(SO^+(p,q)) \cong \pi_1(SO(p))\times \pi_1(SO(q))$ using the long exact sequence associated to a fibration. While this formula is already known, the method of proof presented…

Consider the space of continuous functions on a geometric tree $X$ whose persistent homology gives rise to a finite generic barcode $D$. We show that there are exactly as many path connected components in this space as there are merge trees…

We continue the analysis, started by Abreu, McDuff and Anjos, of the topology of the group of symplectomorphisms of $S^2 \times S^2$ when the ratio of the areas of the two spheres lies in the interval (1,2]. We express the group, up to…

We show that the homotopy groups of a connective $E_k$-ring spectrum with an $E_k$-cell attached along a class $\alpha$ in degree $n$ are isomorphic to the homotopy groups of the cofiber of the self-map associated to $\alpha$ through degree…

Motivated by applications in Topological Data Analysis, we consider decompositions of a simplicial complex induced by a cover of its vertices. We study how the homotopy type of such decompositions approximates the homotopy of the simplicial…

For a transversal pair of closed Lagrangian submanifolds L, L' of a symplectic manifold M so that $\pi_{1}(L)=\pi_{1}(L')=0=c_{1}|_{\pi_{2}(M)}=\omega|_{\pi_{2}(M)}$ and a generic almost complex structure J we construct an invariant with a…

We discuss four off-shell N=4 D=1 supersymmetry transformations, their associated one-dimensional sigma-models and their mutual relations. They are given by I) the (4,4)_{lin} linear supermultiplet (supersymmetric extension of R^4), II) the…

The classical fiber product in algebraic geometry provides a powerful tool for studying loci where two morphisms to a base scheme, $\phi: X \to S$ and $\psi: Y \to S$, coincide exactly. This condition of strict equality, however, is…

We show that Ravenel's spectrum $X(2)$ is the versal $E_1$-$S$-algebra of characteristic $\eta$. This implies that every $E_1$-$S$-algebra $R$ of characteristic $\eta$ admits an $E_1$-ring map $X(2)\to R$, i.e. an $\mathbb{A}_\infty$…

Using techniques of A^1-homotopy theory, we produce motivic lifts of elements in classical homotopy groups of spheres; these lifts provide polynomial maps of spheres and allow us to construct ``low rank'' algebraic vector bundles on…

In this paper, we determine the homotopy groups \pi_4(\Sigma K(A,1)) and \pi_5(\Sigma K(A,1)) for abelian groups A by using different facts and methods from group theory and homotopy theory: derived functors, the Carlsson simplicial…

There is a local-to-global $\mathrm{Ext}$ spectral sequence $\mathrm{E}_2^{p,q} = \mathrm{H}^p(\mathrm{L}, \Omega^q_\mathrm{L}) \Rightarrow \mathrm{Ext}^{p+q}(i_*\mathscr{O}_\mathrm{L}, i_*\mathscr{O}_{\mathrm{L}})$ for a smooth Lagrangian…

Anick proved that every q-mild Hopf algebra up to homotopy is isomorphic to a primitively-generated chain Hopf algebra. We provide a new proof, that involves extensive use of the Bockstein spectral sequence.

We explain how to set up the homotopy spectral sequence of a (co)simplicial object in an $\infty$-category, with an emphasis on how to construct the differentials in a model-invariant manner.