代数拓扑
Let $p$ be a prime and let $\pi^n(X;\mathbb{Z}/p^r)=[X,M_n(\mathbb{Z}/p^r)]$ be the set of homotopy classes of based maps from CW-complexes $X$ into the mod $p^r$ Moore spaces $M_n(\mathbb{Z}/p^r)$ of degree $n$, where $\mathbb{Z}/p^r$…
Kitchloo and Morava give a strikingly simple picture of elliptic cohomology at the Tate curve by studying a completed version of $S^1$-equivariant $K$-theory for spaces. Several authors (cf [ABG],[KM],[L]) have suggested that an equivariant…
We show that Lubin--Tate theories attached to algebraically closed fields are characterized among $T(n)$-local $\mathbb{E}_{\infty}$-rings as those that satisfy an analogue of Hilbert's Nullstellensatz. Furthermore, we show that for every…
Round fold maps are smooth maps on closed manifolds which are locally represented as the product maps of Morse functions and identity maps on open disks and whose singularity is realized as concentrically embedded spheres. The author…
Metrics of interest in topological data analysis (TDA) are often explicitly or implicitly in the form of an interleaving distance $d_{\mathrm{I}}$ between poset maps (i.e. order-preserving maps), e.g. the Gromov-Hausdorff distance between…
We prove that any K(n)-acyclic, $D_p$-ring spectrum is K(n+1)-acyclic, affirming an old conjecture of Mark Hovey.
In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…
The investigation of dynamical processes on networks has been one focus for the study of contagion processes. It has been demonstrated that contagions can be used to obtain information about the embedding of nodes in a Euclidean space.…
We show that the odd-primary Brown-Peterson spectrum $\mathrm{BP}$ does not admit the structure of an $\mathbb{E}_{2(p^2+2)}$ ring spectrum and that there can be no map $\mathrm{MU} \to \mathrm{BP}$ of $\mathbb{E}_{2p+3}$ ring spectra. We…
A $configuration$ of a linkage $\Gamma$ is a possible positioning of $\Gamma$ in $\mathbb{R}^d$ and the collection of all such forms the configuration space $\mathcal{C}(\Gamma)$ of $\Gamma$. We here introduce the notion of the $symmetric…
We prove that each of the model structures for ($n$-trivial, saturated) comical sets on the category of marked cubical sets having only faces and degeneracies (without connections) is Quillen equivalent to the corresponding model structure…
In this paper, we generalize the tools that were introduced in [Dar19b] in order to study the Andreadakis problem for subgroups of IAn. In particular, we study the behaviour of the Andreadakis problem when we add inner automorphisms to a…
This note provides certain computations with transfer associated with projective bundles of Spin vector bundles. One aspect is to revise the proof of the main result of \cite{B} which says that all fourfold products of the Ray classes are…
This paper provides some explicit formulas related to addition theorems for elliptic integrals $\int_0^x dt/R(t)$, where $R(t)$ is the square root from a polynomial of degree 4. These integrals are related to complex elliptic genera and are…
Let $C_{m} $ be a cyclic group of order $m$. We prove that if the group $G$ fits into an extension $1\to C_{2^{n+1}}^2\to G\to C_2\to 1$ then $G$ is good in the sense of Hopkins-Kuhn-Ravenel, i.e., $K(s)^*(BG)$ is evenly generated by…
This note provides the calculation of the formal group law $F(x,y)$ in modulo $p$ Morava $K$-theory at prime $p$ and $s>1$ as an element in $K(s)^*[x][[y]]$ and one application to relevant examples.
In \cite{SCH1} Schuster proved that $mod$ 2 Morava $K$-theory $K(s)^*(BG)$ is evenly generated for all groups $G$ of order 32. There exist 51 non-isomorphic groups of order 32. In \cite{H}, these groups are numbered by $1, \cdots ,51$. For…
This paper provides some explicit expressions concerning the formal group laws of the Brown-Peterson cohomology, the cohomology theory obtained from Brown-Peterson theory by killing all but one Witt symbol, the Morava $K$-theory and the…
Let $\psi$ denote the genus that corresponds to the formal group law having invariant differential $\omega(t)$ equal to $\sqrt{1+p_1t+p_2t^2+p_3t^3+p_4t^4}$ and let $\kappa$ classify the formal group law strictly isomorphic to the universal…
For a finite group $G$ not of prime power order, Oliver (1996) has answered the question which manifolds occur as the fixed point sets of smooth actions of $G$ on disks (resp., Euclidean spaces). We extend Oliver's result to compact (resp.,…