Related papers: Espaces profinis et problemes de realisabilite
We show that the classical homology theory of Steenrod may be enriched with descriptive set-theoretic information. We prove that the resulting definable homology theory provides a strictly finer invariant than Steenrod homology for compact…
We present an argument due to Thom to formulate a priori cohomology obstructions for a projective variety to admit an embedded resolution of singularities, and generalize the argument to a field of characteristic $p > 0$. We show that these…
Let F be a field, let G be its absolute Galois group, and let R(G, k) be the representation ring of G over a suitable field k. In this preprint we construct a ring homomorphism from the mod 2 Milnor K-theory k_*(F) to the graded ring gr…
We use the newly developed stacky prismatic technology of Drinfeld and Bhatt-Lurie to give a uniform, group-theoretic construction of smooth stacks $\mathrm{BT}^{G,\mu}_{n}$ attached to a smooth affine group scheme $G$ over $\mathbb{Z}_p$…
We prove an effective stabilization result for the sheaf cohomology groups of line bundles on flag varieties parametrizing complete flags in k^n, as well as for the sheaf cohomology groups of polynomial functors applied to the cotangent…
We investigate the particular properties of the stable category of modules over a finite dimensional cocommutative graded connected Hopf algebra $A$, via tensor-triangulated geometry. This study requires some mild conditions on the Hopf…
Given a finite dimensional algebra $\Lambda$, we show that a frequently satisfied finiteness condition for the category ${\cal P}^{\infty}(\Lambda\rm{-mod})$ of all finitely generated (left) $\Lambda$-modules of finite projective dimension,…
Let $G$ be a finite $p$-group. The Eilenberg-Maclane spectrum of the constant Mackey functor $\underline{\mathbb{F}}_p$, denoted $H\underline{\mathbb{F}}_p$, is modeled by the free $\mathbb{F}_p$-module on the $G$-equivariant sphere…
We prove several results about p-divisible groups and Rapoport-Zink spaces. Our main goal is to prove that Rapoport-Zink spaces at infinite level are naturally perfectoid spaces, and to give a description of these spaces purely in terms of…
The homology groups introduced by A. Brumer can be used to establish a criterion ensuring that a profinite $\mathbb{F}_p[[G]]$-module of a pro-$p$ group $G$ has projective dimension $d<\infty$ (cf. Thm. A). This criterion yields a new…
We show that H-spaces with finitely generated cohomology, as an algebra or as an algebra over the Steenrod algebra, have homotopy exponents at all primes. This provides a positive answer to a question of Stanley.
Let V be a finite dimensional representation of the connected complex reductive group H. Denote by G the derived subgroup of H and assume that the categorical quotient of V by G is one dimensional. In this situation there exists a…
Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and…
We say that a space X admits a homology exponent if there exists an exponent for the torsion subgroup of the integral homology. Our main result states if an H-space of finite type admits a homology exponent, then either it is, up to…
Let f:E-->B be a fibration of fiber F. Eilenberg and Moore have proved that there is a natural isomorphism of vector spaces between H^*(F;F_p) and Tor^{C^*(B)}(C^*(E),F_p). Generalizing the rational case proved by Sullivan, Anick [Hopf…
Profinite etale cobordism is a cohomology theory for smooth schemes of finite type over a field. Using an idea of Friedlander, it is constructed as an etale topological analog of the algebraic cobordism theories of Voevodsky and…
We study the mod $p$ motivic cohomology of homogeneous varieties such as $GL_{n}/GL_{r}$ or $Sp_{2n}/Sp_{2n-2}$ along with the action of the Steenrod operations, without restrictions on the characteristic of the base field. In particular,…
It is proved, as was conjectured by Eisenbud-Koh-Stillman, that for a finitely generated graded module $M$ over the symmetric algebra $S(V)$, if the Koszul group ${\cal K}_{p,0}(M,V)\ne 0$, then the set of rank 1 relations in $M_0\otimes V$…
We formulate and prove a Bott periodicity theorem for an $\ell^p$-space ($1\leq p<\infty$). For a proper metric space $X$ with bounded geometry, we introduce a version of $K$-homology at infinity, denoted by $K_*^{\infty}(X)$, and the Roe…
The main results of this article concern the definition of a compactly supported cohomology class for the congruence group $\Gamma_0(p^n)$ with values in the second Milnor $K$-group (modulo 2-torsion) of the ring of $p$-integers of the…