Related papers: Homotopical Intersection Theory, I

For suitable subgroups of a finitely generated group, we define the intersection number of one subgroup with another subgroup and show that this number is symmetric. We also give an interpretation of this number.

Given a homotopy equivalence f between two topological spaces we assemble well known pieces and unfold them into an explicit formula for a strong deformation retraction of the mapping cylinder of f onto its top.

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our…

This text is an introduction to equivariant cohomology, a classical tool for topological transformation groups, and to equivariant intersection theory, a much more recent topic initiated by D. Edidin and W. Graham. It is based on lectures…

We suggest a homotopical description of the Poisson bracket invariants for tuples of closed sets in symplectic manifolds. It implies that these invariants depend only on the union of the sets along with topological data.

In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…

We investigate Whitehead's asphericity question from a new perspective, using results and techniques of the homotopy theory of finite topological spaces. We also introduce a method of reduction to investigate asphericity based on the…

We show that the space of chains of smooth maps from spheres into a fixed compact oriented manifold has a natural structure of a transversal $d$-algebra. We construct a structure of transversal 1-category on the space of chains of maps from…

Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…

This is a survey paper on spaces of automorphisms of manifolds and spaces of manifolds in a fixed homotopy type. It describes the main theorems of traditional surgery theory, but also the main theorems of pseudoisotopy theory, alias…

We study the intersection numbers defined on twisted homology or cohomology groups that are associated with hypergeometric integrals corresponding to degenerate hyperplane arrangements in the projective $k$-space. We present formulas to…

Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

This is an introduction to the study of abstract homotopy theory by means of model categories and $(\infty,1)$-categories. The only prerequisites are very basic general topology and abstract algebra. None categorical background is needed.…

We prove that the d\'evissage property holds for periodic cyclic homology for a local complete intersection embedding into a smooth scheme. As a consequence, we show that the complexified topological Chern character maps for the bounded…

This paper identifies the homotopy theories of topological stacks and orbispaces with unstable global homotopy theory. At the same time, we provide a new perspective by interpreting it as the homotopy theory of `spaces with an action of the…

We study intersection theory and Chern classes of reflexive sheaves on normal varieties. In particular, we define generalization of Mumford's intersection theory on normal surfaces to higher dimensions. We also define and study the second…

In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on…

We define and study homotopy groups of cubical sets. To this end, we give four definitions of homotopy groups of a cubical set, prove that they are equivalent, and further that they agree with their topological analogues via the geometric…

This survey contains the main results in rational homotopy, from the beginning to the most recent ones. It makes the status of the art, gives a short presentation of some areas where rational homotopy has been used, and contains a lot of…