No Arabic abstract
A Lie group is called $p$-regular if it has the $p$-local homotopy type of a product of spheres. (Non)triviality of the Samelson products of the inclusions of the factor spheres into $p$-regular $mathrm{SO}(2n)_{(p)}$ is determined, which completes the list of (non)triviality of such Samelson products in $p$-regular simple Lie groups. As an application, we determine the homotopy normality of the inclusion $mathrm{SO}(2n-1)tomathrm{SO}(2n)$ in the sense of James at any prime $p$.
The (non)triviality of Samelson products of the inclusions of the spheres into p-regular exceptional Lie groups is completely determined, where a connected Lie group is called p-regular if it has the p-local homotopy type of a product of spheres.
There is a product decomposition of a compact connected Lie group $G$ at the prime $p$, called the mod $p$ decomposition, when $G$ has no $p$-torsion in homology. Then in studying the multiplicative structure of the $p$-localization of $G$, the Samelson products of the factor space inclusions of the mod $p$ decomposition are fundamental. This paper determines (non-)triviality of these fundamental Samelson products in the $p$-localized exceptional Lie groups when the factor spaces are of rank $le 2$, that is, $G$ is quasi-$p$-regular.
We show that the tensor product of two cyclic $A_infty$-algebras is, in general, not a cyclic $A_infty$-algebra, but an $A_infty$-algebra with homotopy inner product. More precisely, we construct an explicit combinatorial diagonal on the pairahedra, which are contractible polytopes controlling the combinatorial structure of an $A_infty$-algebra with homotopy inner products, and use it to define a categorically closed tensor product. A cyclic $A_infty$-algebra can be thought of as an $A_infty$-algebra with homotopy inner products whose higher inner products are trivial. However, the higher inner products on the tensor product of cyclic $A_infty$-algebras are not necessarily trivial.
A p-compact group is a mod p homotopy theoretical analogue of a compact Lie group. It is determined the homotopy nilpotency class of a p-compact group having the homotopy type of the $p$-completion of the direct product of spheres.
The primary goal of this paper is to study Spanier-Whitehead duality in the $K(n)$-local category. One of the key players in the $K(n)$-local category is the Lubin-Tate spectrum $E_n$, whose homotopy groups classify deformations of a formal group law of height $n$, in the implicit characteristic $p$. It is known that $E_n$ is self-dual up to a shift; however, that does not fully take into account the action of the Morava stabilizer group $mathbb{G}_n$, or even its subgroup of automorphisms of the formal group in question. In this paper we find that the $mathbb{G}_n$-equivariant dual of $E_n$ is in fact $E_n$ twisted by a sphere with a non-trivial (when $n>1$) action by $mathbb{G}_n$. This sphere is a dualizing module for the group $mathbb{G}_n$, and we construct and study such an object $I_{mathcal{G}}$ for any compact $p$-adic analytic group $mathcal{G}$. If we restrict the action of $mathcal{G}$ on $I_{mathcal{G}}$ to certain type of small subgroups, we identify $I_{mathcal{G}}$ with a specific representation sphere coming from the Lie algebra of $mathcal{G}$. This is done by a classification of $p$-complete sphere spectra with an action by an elementary abelian $p$-group in terms of characteristic classes, and then a specific comparison of the characteristic classes in question. The setup makes the theory quite accessible for computations, as we demonstrate in the later sections of this paper, determining the $K(n)$-local Spanier-Whitehead duals of $E_n^{hH}$ for select choices of $p$ and $n$ and finite subgroups $H$ of $mathbb{G}_n$.