Related papers: On Mimura's extension problem

In this paper, we study the length of the $2$-class field towers and the structure of the Galois groups $\mathrm{Gal}(\mathcal{L}(K_n)/K_n)$ of the maximal unramified $2$-extensions of the layers $K_n$ of the cyclotomic…

Group structures of the 2-primary components of the 31-stem homotopy groups of spheres were studied by Oda in 1979. There are, however, two incompletely determined groups. In this paper, our investigation with Toda's composition method…

We deal with the symmetries of a (2-term) graded vector space or bundle. Our first theorem shows that they define a (strict) Lie 2-groupoid in a natural way. Our second theorem explores the construction of nerves for Lie 2-categories,…

It is known that a single mapping defined on one term of a differential graded vector space extends to a strongly homotopy Lie algebra structure on the graded space when that mapping satisfies two conditions. This strongly homotopy Lie…

Let $A$ be a commutative noetherian ring, containing a field $k$, with $1/2\in k$, $\dim A=d$, and let $P$ be a projective $A$-module or $rank(P)=n$. In continuation of \cite{MM}, we study Homotopy obstructions for $P$ to split off a free…

We classify strongly homotopy Lie algebras - also called L-infinity algebras - of one even and two odd dimensions, which are related to $2|1$-dimensional $Z_2$-graded Lie algebras. What makes this case interesting is that there are many…

We define the Homomorphism Extension (HomExt) problem: given a group $G$, a subgroup $M \leq G$ and a homomorphism $\varphi: M \to H$, decide whether or not there exists a homomorphism $\widetilde{\varphi}: G\to H$ extending $\varphi$,…

The present survey aims at being a list of Conjectures and Problems in an area of model-theoretic algebra wide open for research, not a list of known results. To keep the text compact, it focuses on structures of finite Morley rank,…

In order to define the exceptional compact Lie groups $G_2,F_4,E_6,E_7,E_8$, we usually use the Cayley algebra $\mathfrak{C}$ or its complexification $\mathfrak{C}^C$. In the present article, we consider replacing the Cayley algebra…

We show the vanishing of the second homotopy group of the \'etale homotopy type of a smooth connected algebraic group over a separably closed field, completed away from the characteristic. This is an algebraic analogue of a classical…

We argue for the presence of a ${\bf Z}_2$ topological structure in the space of static gauge-Higgs field configurations of $SU(2n)$ and $SO(2n)$ Yang-Mills theories. We rigorously prove the existence of a ${\bf Z}_2$ homotopy group of…

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…

Let $(G,H)=(SU(2n+1),SO(2n+1)),\,(SU(2n),Sp(n)),\,(SO(2n),SO(2n-1)),\,(E_6,F_4),\,(Spin(8),G_2)$, and let $p$ be any prime $\ge 5$ for $(G,H)=(E_6,F_4)$, any prime $p\ne 3$ for $(G,H)=(Spin(8),G_2)$, and any odd prime otherwise. The…

We develop pivotal and spherical versions of graded extension theory. We define the corresponding analogues of Brauer-Picard $2$-categorical groups and realize them as fixed points of natural $\mathbb{Z}$ and $\mathbb{Z}/2\mathbb{Z}$…

We study three exceptional theta correspondences for p-adic groups, where one member of the dual pair is the exceptional group G2. We prove the Howe duality conjecture for these dual pairs and a dichotomy theorem, and determine explicitly…

We study the irreducible components of special loci of curves whose group of symmetries is given as certain group extension. We introduce some relative Hurwitz data, which we show by using mixed \'etale cohomology theory, identifies some…

We establish a bridge between homotopy groups of spheres and commutator calculus in groups, and solve in this manner the "dimension problem" by providing a converse to Sjogren's theorem: every abelian group of bounded exponent can be…

We study the stable motivic homotopy groups $\pi_{s,w}$ of the 2-completion of the motivic sphere spectrum over $\mathbb{C}$. When arranged in the $(s,w)$-plane, these groups break into four different regions: a vanishing region, an…

Let $Y$ be a pointed space and let $\mathcal E(Y^r)$ be the group of based self-equivalences of $Y^r$, $r\geq 2$. For $Y$ a homotopy commutative $H$-group we construct a subgroup $\mathcal E_{\mathrm{Mat}}(Y^r)$ of $\mathcal E(Y^r)$ which…

Extending our method for investigating Real cobordism (which was recently used by Hill, Hopkins and Ravenel in their solution of the Kervaire invariant 1 problem), we investigate the $RO(G)$-graded homotopy groups of a (non-complete)…