Related papers: On ${\rm mod}~p$ $A_p$-spaces

We study the homotopy types of certain spaces closely related to the spaces of algebraic (rational) maps from the $m$ dimensional real projective space into the $n$ dimensional complex projective space for $2\leq m\leq 2n$ (we conjecture…

Let $\mathcal{H}_g$ denote the moduli space of smooth hyperelliptic curves of genus $g$ in characteristic $p\geq 3$, and let $\mathcal{H}_g^f$ denote the $p$-rank $f$ stratum of $\mathcal{H}_g$ for $0 \leq f \leq g$. Achter and Pries note…

Let $p>3$ be a prime. We show that if $G$ is a finite group with $p$-rank equal to 2, then $G$ involves $Qd(p)$ if and only if $G$ $p'$-involves $Qd(p)$. This allows us to use a version of Glauberman's ZJ-theorem to give a more direct…

We compute the homotopy groups of the spaces of self maps of Lie groups of rank 2, SU(3), Sp(2), and G_2. We use the cell structures of these Lie groups and the standard methods of homotopy theory.

We prove affirmatively the conjecture raised by J. Mostovoy; the space of short ropes is weakly homotopy equivalent to the classifying space of the topological monoid (or category) of long knots in $\mathbb{R}^3$. We make use of techniques…

We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses…

Let $F/F^+$ be a CM extension and $H_{/F^+}$ a definite unitary group in three variables that splits over $F$. We describe Hecke isotypic components of mod $p$ algebraic modular forms on $H$ at first principal congruence level at $p$ and…

Let $f: X \rightarrow S$ be a family of non singular projective varieties parametrized by a complex algebraic variety $S$. Fix $s \in S$, an integer $p$, and a class $h \in {\rm H}^{2p}(X_s,\Z)$ of Hodge type $(p,p)$. We show that the…

Let $X$ be a compact toric variety. Let $Hol$ denote the space of based holomorphic maps from $CP^1$ to $X$ which lie in a fixed homotopy class. Let $Map$ denote the corresponding space of continuous maps. We show that $Hol$ has the same…

This paper investigates sufficient and necessary conditions for the existence of a homotopy equivalence between two finite simplicial complexes from an algorithmic point of view. As a result, the conditions are formulated in terms of the…

We study notions of homotopy in the Newtonian space $N^{1,p}(X;Y)$ of Sobolev type maps between metric spaces. After studying the properties and relations of two different notions we prove a compactness result for sequences in homotopy…

Let p be an odd prime. Let K_p = \Q(zeta_p) be the p-cyclotomic field. We apply a Kummer and Stickelberger relation of K_p to some singular not primary numbers A of K_p connected to p-class group of K_p and prove they verify the congruence…

Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent…

We provide a family of spaces localized at 2, whose stable homotopy groups are summands of their unstable homotopy groups. Application to mod 2 Moore spaces are given.

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$…

The total homology of the loop space of the configuration space of ordered distinct n points in R^m has a structure of a Hopf algebra defined by the 4-term relations if m>2. We describe a relation of between the cohomology of this loop…

In this paper, we compute ${\rm Ext}_{A}^{s}(\widetilde{H}^*(B\mathbb{Z}/p),\mathbb{F}_p)$ for $s\leq 1$. Using this result, we investigate the behavior of $\varphi_3^{\mathbb{F}_p}$ and $\varphi_s^{\widetilde{H}^*(B\mathbb{Z}/p)}\…

We construct a degree-type otopy invariant for equivariant gradient local maps in the case of a real finite dimensional orthogonal representation of a compact Lie group. We prove that the invariant establishes a bijection between the set of…

We survey discrete and continuous model-theoretic notions which have important connections to general topology. We present a self-contained exposition of several interactions between continuous logic and $C_p$-theory which have applications…

We obtain an equivalent implicit characterization of $L^p$ Banach spaces that is amenable to a logical treatment. Using that, we obtain an axiomatization for such spaces into a higher-order logical system, the kind of which is used in proof…