اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدReal Wilson Spaces I
75
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
This is the first part in a series of papers establishing an equivariant analogue of Steve Wilsons theory of even spaces, including the fact that the spaces in the loop spectrum for complex cobordism are even.
قيم البحث
اقرأ أيضاً
We prove that the Real Johnson-Wilson theories ER(n) are homotopy associative and commutative ring spectra up to phantom maps. We further show that ER(n) represents an associatively and commutatively multiplicative cohomology theory on the category of (possibly non-compact) spaces.
We show that the Hopf elements, the Kervaire classes, and the $bar{kappa}$-family in the stable homotopy groups of spheres are detected by the Hurewicz map from the sphere spectrum to the $C_2$-fixed points of the Real Brown-Peterson spectrum. A subs
et of these families is detected by the $C_2$-fixed points of Real Johnson-Wilson theory $Emathbb{R}(n)$, depending on $n$.
Homotopy type theory is a version of Martin-Lof type theory taking advantage of its homotopical models. In particular, we can use and construct objects of homotopy theory and reason about them using higher inductive types. In this article, we constru
ct the real projective spaces, key players in homotopy theory, as certain higher inductive types in homotopy type theory. The classical definition of RP(n), as the quotient space identifying antipodal points of the n-sphere, does not translate directly to homotopy type theory. Instead, we define RP(n) by induction on n simultaneously with its tautological bundle of 2-element sets. As the base case, we take RP(-1) to be the empty type. In the inductive step, we take RP(n+1) to be the mapping cone of the projection map of the tautological bundle of RP(n), and we use its universal property and the univalence axiom to define the tautological bundle on RP(n+1). By showing that the total space of the tautological bundle of RP(n) is the n-sphere, we retrieve the classical description of RP(n+1) as RP(n) with an (n+1)-cell attached to it. The infinite dimensional real projective space, defined as the sequential colimit of the RP(n) with the canonical inclusion maps, is equivalent to the Eilenberg-MacLane space K(Z/2Z,1), which here arises as the subtype of the universe consisting of 2-element types. Indeed, the infinite dimensional projective space classifies the 0-sphere bundles, which one can think of as synthetic line bundles. These constructions in homotopy type theory further illustrate the utility of homotopy type theory, including the interplay of type theoretic and homotopy theoretic ideas.
We denote the $n$-th projective space of a topological monoid $G$ by $B_nG$ and the classifying space by $BG$. Let $G$ be a well-pointed topological monoid of the homotopy type of a CW complex and $G$ a well-pointed grouplike topological monoid. We p
rove the weak equivalence between the pointed mapping space $mathrm{Map}_0(B_nG,BG)$ and the space of all $A_n$-maps from $G$ to $G$. This fact has several applications. As the first application, we show that the connecting map $Grightarrowmathrm{Map}_0(B_nG,BG)$ of the evaluation fiber sequence $mathrm{Map}_0(B_nG,BG)rightarrowmathrm{Map}(B_nG,BG)rightarrow BG$ is delooped. As other applications, we consider higher homotopy commutativity, $A_n$-types of gauge groups, $T_k^f$-spaces by Iwase--Mimura--Oda--Yoon and homotopy pullback of $A_n$-maps. In particular, we show that the $T_k^f$-space and the $C_k^f$-space are exactly the same concept and give some new examples of $T_k^f$-spaces.
We offer a complete description of $THH(E(2))$ under the assumption that the Johnson-Wilson spectrum $E(2)$ at a chosen odd prime carries an $E_infty$-structure. We also place $THH(E(2))$ in a cofiber sequence $E(2) rightarrow THH(E(2))rightarrow ove
rline{THH}(E(2))$ and describe $overline{THH}(E(2))$ under the assumption that $E(2)$ is an $E_3$-ring spectrum. We state general results about the $K(i)$-local behaviour of $THH(E(n))$ for all $n$ and $0 leq i leq n$. In particular, we compute $K(i)_*THH(E(n))$.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
