Related papers: The Steenrod squares via unordered joins
In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings…
In the theory of configuration spaces, "splitting" usually refers to the phenomenon that the configuration spaces on a manifold and those on its punctured version are closely related cohomologically. We prove a splitting theorem that is…
In previous works, we have introduced the blown-up intersection cohomology and used it to extend Sullivan's minimal models theory to the framework of pseudomanifolds, and to give a positive answer to a conjecture of M. Goresky and W. Pardon…
This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give…
We establish a homotopy-theoretic description of the homology of stable moduli spaces of $(2n+1)$-dimensional manifold triads $(N, \partial^h N, \partial^v N)$ with fixed $\partial^v N$, whenever $n \geq 3$ and $(N, \partial^h N)$ is…
Working over the prime field F_p, the structure of the indecomposables Q^* for the action of the algebra of Steenrod reduced powers A(p) on the symmetric power functors S^* is studied by exploiting the theory of strict polynomial functors.…
In the paper "The Steenrod algebra and its dual", J.Milnor determined the structure of the dual Steenrod algebra which is a graded commutative Hopf algebra of finite type. We consider the affine group scheme $G_p$ represented by the dual…
The set of cochain multioperations defining Steenrod $\smile_i$-products in the bar construction is constructed in terms of surjection operad. This structure extends a Homotopy G-algebra structure which defines just the $\cup $ on the bar…
In this note, we examine the right action of the Steenrod algebra $\mathcal{A}$ on the homology groups $H_*(BV_s, \F_2)$, where $V_s = \F_2^s$. We find a relationship between the intersection of kernels of $Sq^{2^i}$ and the intersection of…
This paper is concerned with quantum cohomology and Fukaya categories of a closed monotone symplectic manifold X, where we use coefficients in a field k of characteristic p > 0. The main result of this paper is that the quantum Steenrod…
We study the cohomology ring of the configuration space of unordered points in the two dimensional torus. In particular, we compute the mixed Hodge structure on the cohomology, the action of the mapping class group, the structure of the…
This is an introductory paper about the category of regular oriented matroids (ROMs). We compare the homotopy types of the categories of regular and binary matroids. For example, in the unoriented case, they have the same fundamental group…
We generalize some of the fundamental results of algebraic topology from topological spaces to \v{C}ech's closure spaces, also known as pretopological spaces. Using simplicial sets and cubical sets with connections, we define three distinct…
Higher homotopies are nowadays playing a prominent role in mathematics as well as in certain branches of theoretical physics. We recall some of the connections between the past and the present developments. Higher homotopies were isolated…
This survey offers an overview of an on-going project on uniform symmetries in abstract stable homotopy theories. This project has calculational, foundational, and representation-theoretic aspects, and key features of this emerging field on…
The Brown Representability Theorem implies that cohomology operations can be represented by continuous maps between Eilenberg-Maclane spaces. These Eilenberg-Maclane spaces have explicit geometric models as spaces of cycles on round spheres…
Secondary homological stability is a recently discovered stability pattern for the homology of a sequence of spaces exhibiting homological stability in a range where homological stability does not hold. We prove secondary homological…
We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is…
We discuss links in thickened surfaces. We define the Khovanov-Lipshitz-Sarkar stable homotopy type and the Steenrod square for the homotopical Khovanov homology of links in thickened surfaces with genus$>1$. A surface means a closed…
A matroid is a combinatorial structure that captures and generalizes the algebraic concept of linear independence under a broader and more abstract framework. Matroids are closely related with many other topics in discrete mathematics, such…