arXiv subjects
Publications and source records attributed to Irina Bobkova.
We produce five 192-periodic infinite families of simple $η$-torsion elements in the stable homotopy groups of spheres with trivial image under the tmf-Hurewicz homomorphism. We also establish that several other 192-periodic families in the stable stems, which are in the tmf-Hurewicz image, consist of simple $η$-torsion elements.
We identify seven new $192$-periodic infinite families of elements in the $2$-primary stable homotopy groups of spheres. Although their Hurewicz image is trivial for topological modular forms, they remain nontrivial after $\mathrm{T}(2)$- as well as $\mathrm{K}(2)$-localization. We also obtain new information about $2$-torsion and $2$-divisibility of some of the previously known $192$-periodic infinite families in the stable stems.
We calculate the group $κ_2$ of exotic elements in the $K(2)$-local Picard group at the prime $2$ and find it is a group of order $2^9$ isomorphic to $(\mathbb{Z}/8)^2 \times (\mathbb{Z}/2)^3$. In order to do this we must define and exploit a variety of different ways of constructing elements in the Picard group, and this requires a significant exploration of the theory. The most innovative technique, which so far has worked best at the prime $2$, is the use of a $J$-homomorphism from the group of real representations of finite quotients of the Morava stabilizer group to the $K(n)$-local Picard group.
The exchange interaction at interfaces between superconductors (SCs) and ferromagnets (FMs) has been a central topic in condensed matter physics for many decades, starting with the prediction of exotic phases such as the Fulde-Ferrell-Larkin-Ovchinnikov states and leading to the discovery of triplet superconductivity. This review focuses on new phenomena in SC$|$FM heterostructures caused by the \textit{non-contact dipolar interaction} between magnons, i.e., the quanta of spin wave excitations in the ferromagnet, and the superconducting order. A universal non-relativistic spin-orbit coupling locks the polarization and momentum of their evanescent stray magnetic fields and leads to chiral screening by proximate superconductors. The interaction-induced hybrid quasiparticles are magnon-Meissner collective modes, magnon-cooparon, Josephson plasmonic modes, and nodal magnon-photon polaritons. Superconducting and normal metallic gates modulate and control the magnetodipolar interaction and thereby magnetization and energy transport at interfaces and in thin films.
Let $\operatorname{E}_2$ be the Morava E-theory of height 2 at the prime 2. In this paper, we compute the homotopy groups of $\operatorname{E}_2^{hC_6} \wedge \mathbb{R}P^2$ and $\operatorname{E}_2^{hC_6} \wedge \mathbb{R}P^2 \wedge \mathbb{C}P^2$ using the homotopy fixed point spectral sequences.
Working at the prime $2$ and chromatic height $2$, we construct a finite resolution of the homotopy fixed points of Morava $E$-theory with respect to the subgroup $\mathbb{G}_2^1$ of the Morava stabilizer group. This is an upgrade of the finite resolution of the homotopy fixed points of $E$-theory with respect to the subgroup $\mathbb{S}_2^1$ constructed in work of Goerss-Henn-Mahowald-Rezk, Beaudry and Bobkova-Goerss.
In this paper, we bound the descent filtration of the exotic Picard group $κ_n$, for a prime number p>3 and n=p-1. Our method involves a detailed comparison of the Picard spectral sequence, the homotopy fixed point spectral sequence, and an auxiliary $β$-inverted homotopy fixed point spectral sequence whose input is the Farrell-Tate cohomology of the Morava stabilizer group. Along the way, we deduce that the K(n)-local Adams-Novikov spectral sequence for the sphere has a horizontal vanishing line at $3n^2+1$ on the $E_{2n^2+2}$-page. The same analysis also allows us to express the exotic Picard group of $K(n)$-local modules over the homotopy fixed points spectrum $\mathrm{E}_n^{hN}$, where N is the normalizer in $\mathbb{G}_n$ of a finite cyclic subgroup of order p, as a subquotient of a single continuous cohomology group $H^{2n+1}(N,π_{2n}\mathrm{E}_n)$.
We compute the continuous cohomology of the Morava stabilizer group with coefficients in Morava $E$-theory, $H^*(\mathbb{G}_2, E_t)$, at $p=2$, for $0\leq t < 12$, using the Algebraic Duality Spectral Sequence. Furthermore, in that same range, we compute the $d_3$-differentials in the homotopy fixed point spectral sequence for the $K(2)$-local sphere spectrum. These cohomology groups and differentials play a central role in $K(2)$-local stable homotopy theory.
In this paper, we study the elliptic spectral sequence computing $tmf_*(\mathbb{R} P^2)$ and $tmf_* (\mathbb{R} P^2 \wedge \mathbb{C} P^2)$. Specifically, we compute all differentials and resolve exotic extensions by 2, $η$, and $ν$. For $tmf_* (\mathbb{R} P^2 \wedge \mathbb{C} P^2)$, we also compute the effect of the $v_1$-self maps of $\mathbb{R} P^2 \wedge \mathbb{C} P^2$ on $tmf$-homology.
The fixed point spectra of Morava E-theory $E_n$ under the action of finite subgroups of the Morava stabilizer group $\mathbb{G}_n$ and their K(n)-local Spanier--Whitehead duals can be used to approximate the K(n)-local sphere in certain cases. For any finite subgroup F of the height 2 Morava stabilizer group at p=2 we prove that the K(2)-local Spanier--Whitehead dual of the spectrum $E_2^{hF}$ is $Σ^{44}E_2^{hF}$. These results are analogous to the known results at height 2 and p=3. The main computational tool we use is the topological duality resolution spectral sequence for the spectrum $E_2^{h\mathbb{S}_2^1}$ at p=2.
We compute the Picard group of the category of $K(2)$-local module spectra over the ring spectrum $E^{hC_4}$, where $E$ is a height 2 Morava $E$-theory and $C_4$ is a subgroup of the associated Morava stabilizer group. This group can be identified with the Picard group of $K(2)$-local $E$-modules in genuine $C_4$-spectra. We show that in addition to a cyclic subgroup of order 32 generated by $ E\wedge S^1$ the Picard group contains a subgroup of order 2 generated by $E\wedge S^{7+σ}$, where $σ$ is the sign representation of the group $C_4$. In the process, we completely compute the $RO(C_4)$-graded Mackey functor homotopy fixed point spectral sequence for the $C_4$-spectrum $E$.
The element $P_2^1$ of the mod 2 Steenrod algebra has the property $(P_2^1)^2=0$. This property allows one to view $P_2^1$ as a differential on $H_*(X, \mathbb{F}_2)$ for any spectrum $X$. Homology with respect to this differential, $\mathcal{M}(X, P_2^1)$, is called the $P_2^1$ Margolis homology of $X$. In this paper we give a complete calculation of the $P_2^1$ Margolis homology of the 2-local spectrum of topological modular forms $tmf$ and identify its $\mathbb{F}_2$ basis via an iterated algorithm. We apply the same techniques to calculate $P_2^1$ Margolis homology for any smash power of $tmf$.
Tensoring finite pointed simplicial sets with commutative ring spectra yields important homology theories such as (higher) topological Hochschild homology and torus homology. We prove several structural properties of these constructions relating $X \otimes (-)$ to $ΣX \otimes (-)$ and we establish splitting results. This allows us, among other important examples, to determine $THH^{[n]}_*(\mathbb{Z}/p^m; \mathbb{Z}/p)$ for all $n \geq 1$ and for all $m \geq 2$.
We provide a topological duality resolution for the spectrum $E_2^{h\mathbb{S}_2^1}$, which itself can be used to build the $K(2)$-local sphere. The resolution is built from spectra of the form $E_2^{hF}$ where $E_2$ is the Morava spectrum for the formal group of a supersingular curve at the prime $2$ and $F$ is a finite subgroup of the automorphisms of that formal group. The results are in complete analogy with the resolutions of Goerss, Henn, Mahowald, and Rezk at the prime $3$, but the methods are of necessity very different. As in the prime $3$ case, the main difficulty is in identifying the top fiber; to do this, we make calculations using Henn's centralizer resolution.
We construct a localization for operads with respect to one-ary operations based on the Dwyer-Kan hammock localization. For an operad O and a sub-monoid of one-ary operations W we associate an operad LO and a canonical map O to LO which takes elements in W to homotopy invertible operations. Furthermore, we give a functor from the category of O-algebras to the category of LO-algebras satisfying an appropriate universal property.
Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space operads in the sense that the group completions of their algebras are infinite loop spaces. The recent, strong homological stability results of Galatius and Randal-Williams for moduli spaces of even dimensional manifolds can be used to construct examples of operads with homological stability. As a consequence the map to $K$-theory defined by the action of the diffeomorphisms on the middle dimensional homology can be shown to be a map of infinite loop spaces.
We extend Torleif Veen's calculation of higher topological Hochschild homology ${\sf THH}^{[n]}_*(\mathbb{F}_p)$ from $n\leq 2p$ to $n\leq 2p+2$ for $p$ odd, and from $n=2$ to $n\leq 3$ for $p=2$. We calculate higher Hochschild homology ${\sf HH}_*^{[n]}(k[x])$ over $k$ for any integral domain $k$, and ${\sf HH}_*^{[n]}(\mathbb{F}_p[x]/x^{p^\ell})$ for all $n>0$. We use this and étale descent to calculate ${\sf HH}_*^{[n]}(\mathbb{F}_p[G])$ for all $n>0$ for any cyclic group $G$, and therefore also for any finitely generated abelian group $G$. We show a splitting result for higher ${\sf THH}$ of commutative $\mathbb{F}_p$-group algebras and use this technique to calculate higher topological Hochschild homology of such group algebras for as large an $n$ as ${\sf THH}^{[n]}_*(\mathbb{F}_p) $ is known for.