Related papers: Steenrod squares on conjugation spaces
The notion of quadratic self-duality for coalgebras is developed with applications to algebraic structures which arise naturally in algebraic topology, related to the universal Steenrod algebra via an appropriate form of duality. This…
We prove a conjecture raised by M. Goresky and W. Pardon, concerning the range of validity of the perverse degree of Steenrod squares in intersection cohomology. This answer turns out of importance for the definition of characteristic…
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.
The Steenrod squares are cohomology operations with important applications in algebraic topology. While these operations are well-understood classically, little is known about them in the setting of homotopy type theory. Although a…
The study of the action of the Steenrod algebra on the mod $p$ cohomology of spaces has many applications to the topological structure of those spaces. In this paper we present combinatorial formulas for the action of Steenrod operations on…
We present here a combinatorial method for computing cup-$i$ products and Steenrod squares of a simplicial set $X$. This method is essentially based on the determination of explicit formulae for the component morphisms of a higher diagonal…
We characterize H-spaces which are p-torsion Postnikov pieces of finite type by a cohomological property together with a necessary acyclicity condition. When the mod p cohomology of an H-space is finitely generated as an algebra over the…
The mod p cohomology of a space comes with an action of the Steenrod Algebra. L. Schwartz [A propos de la conjecture de non realisation due a N. Kuhn, Invent. Math. 134, No 1, (1998) 211--227] proved a conjecture due to N. Kuhn [On…
Operations on the cohomology of spaces are important tools enhancing the descriptive power of this computable invariant. For cohomology with mod 2 coefficients, Steenrod squares are the most significant of these operations. Their effective…
For an arbitrary link $L \subset S^3$ , Sarkar-Scaduto-Stoffregen construct a family of spatial refinements of even and odd Khovanov homology. We give a computation of $\text{Sq}^2$ on these spaces, determining their stable homotopy types…
Let Y be a hypersurface in projective space having only ordinary double points as singularities. We prove a variant of a conjecture of L. Wotzlaw on an algebraic description of the graded quotients of the Hodge filtration on the top…
Stembridge introduced the notion of stability for Kronecker triples which generalize Murnaghan's classical stability result for Kronecker coefficients. Sam and Snowden proved a conjecture of Stembridge concerning stable Kronecker triple,…
We prove a conjecture of Stembridge concerning stability of Kronecker coefficients that vastly generalizes Murnaghan's theorem. The main idea is to identify the sequences of Kronecker coefficients in question with Hilbert functions of…
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…
In 1947, N.E. Steenrod defined the Steenrod Squares, which are mod 2 cohomology operations, using explicit cochain formulae for cup-i products of cocycles. He later recast the construction in more general homological terms, using group…
This paper shows that a functorial version of the "higher diagonal" of a space used to compute Steenrod squares actually contains far more topological information --- including (in some cases) the space's integral homotopy type.
The Steenrod problem for closed orientable manifolds was solved completely by Thom. Following this approach, we solve the Steenrod problem for closed orientable orbifolds, proving that the rational homology groups of a closed orientable…
We prove that for almost square tensor product grids and certain sets of bivariate polynomials the Vandermonde determinant can be factored into a product of univariate Vandermonde determinants. This result generalizes the conjecture [Lemma…
Two measurable sets $S, \Lambda \subseteq \mathcal{R}^d$ form a Heisenberg uniqueness pair, if every bounded measure $\mu$ with support in S whose Fourier transform vanishes on {\Lambda} must be zero. We show that a quadratic hypersurface…
Lipshitz and Sarkar recently introduced a space-level refinement of Khovanov homology. This refinement induces a Steenrod square operation $\Sq^2$ on Khovanov homology which they describe explicitly. This paper presents some computations of…