Related papers: Uniqueness of BP<n>
We prove asymptotic formulae for small weighted solutions of quadratic congruences of the form $\lambda_1x_1^2+\cdots +\lambda_nx_n^2\equiv \lambda_{n+1}\bmod{p^m}$, where $p$ is a fixed odd prime, $\lambda_1,...,\lambda_{n+1}$ are integer…
Let $BPU(n)$ be the classifying space of the projective unitary group $PU(n)$. We determine the integral cohomology ring of $BPU(4)$, and the Steenrod algebra structure of its mod $2$ cohomology.
Given a morphism $X \to S$ of log schemes of characteristic $p > 0$ and a lifting of $X'$ over $S$ modulo $p^2$, we use Lorenzon's indexed algebras $A_X^{gp}$ and $B_{X/S}$ to construct an equivalence between $O_X$-modules with nilpotent…
N Kuhn has given several conjectures on the special features satisfied by the singular cohomology of topological spaces with coefficients in a finite prime field, as modules over the Steenrod algebra. The so-called realization conjecture…
The (co)homology self-closeness number of a simply-connected based CW-complexes $X$ is the minimal number $k$ such that any self-map $f$ of $X$ inducing an automorphism of the (co)homology groups for dimensions$\leq k$ is a self-homotopy…
Let $(X,\omega)$ be a compact Hermitian manifold and let $\{\beta\}\in H^{1,1}(X,\mathbb R)$ be a real $(1,1)$-class with a smooth representative $\beta$, such that $\int_X\beta^n>0$. Assume that there is a bounded $\beta$-plurisubharmonic…
In this paper, we define the asymptotic stable division property for submodules of the Bergman module. We show that under a mild condition, a submodule with the asymptotic stable division property is p-essentially normal for all p>n. A new…
We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees…
Let p be an odd regular prime, and assume that the Lichtenbaum-Quillen conjecture holds for K(Z[1/p]) at p. Then the p-primary homotopy type of the smooth Whitehead spectrum Wh(*) is described. A suspended copy of the cokernel-of-J spectrum…
Fix a prime $p$ and a chromatic height $h$. We prove that the homotopy $(k,1)$-category of $L_h$-local spectra $\mathrm{h}_k\big(\mathrm{Sp}_{p,h}\big)$ is algebraic as a symmetric monoidal category when $p > O(h^2+kh)$. To achieve this, we…
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…
We calculate the mod (p, v_1, v_2) homotopy V(2)_* TC(BP<2>) of the topological cyclic homology of the truncated Brown--Peterson spectrum BP<2>, at all primes p\ge7, and show that it is a finitely generated and free F_p[v_3]-module on 12p+4…
We investigate an analogue of the Grothendieck $p$-curvature conjecture, where the vanishing of the $p$-curvature is replaced by the stronger condition, that the module with connection mod $p$ underlies a $\mathcal{D}_X$-module structure.…
In this paper, we show that for almost all primes p there is an integer solution x in [2,p-1] to the congruence x^x == x mod p. The solutions can be interpretated as fixed points of the map x -> x^x mod p, and we study numerically and…
We use modular invariant theory to establish a complete set of relations of the mod $p$ homology of $\{QS^k\}_{k\geq0}$, for $p$ odd, as a ring object in the category of coalgebras (also known as a coalgebraic ring or a Hopf ring). We also…
This work concerns the representation theory and cohomology of a finite unipotent supergroup scheme $G$ over a perfect field $k$ of positive characteristic $p\ge 3$. It is proved that an element $x$ in the cohomology of $G$ is nilpotent if…
Let p be a prime number and G a finite group of order divisible by p. Quillen showed that the Brown poset of nonidentity p-subgroups of G is homotopy equivalent to its subposet of nonidentity elementary abelian subgroups. We show here that…
Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…
The structure of the BP<n>-cohomology of elementary abelian p-groups is studied, obtaining a presentation expressed in terms of BP-cohomology and mod-p singular cohomology, using the Milnor derivations. The arguments are based on a result…
Let $p$ be an odd prime, and let $\sum_{n=0}^{\infty} a_{n}X^{n}\in\mathbb{F}_p[[X]]$ be the reduction modulo $p$ of the Artin-Hasse exponential. We obtain a polynomial expression for $a_{kp}$ in terms of those $a_{rp}$ with $r<k$, for even…