ترغب بنشر مسار تعليمي؟ اضغط هنا

Natural operations in Intersection Cohomology

98   0   0.0 ( 0 )
 نشر من قبل Daniel Tanr\\'e
 تاريخ النشر 2020
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

Eilenberg-MacLane spaces, that classify the singular cohomology groups of topological spaces, admit natural constructions in the framework of simplicial sets. The existence of similar spaces for the intersection cohomology groups of a stratified space is a long-standing open problem asked by M. Goresky and R. MacPherson. One feature of this work is a construction of such simplicial sets. From works of R. MacPherson, J. Lurie and others, it is now commonly accepted that the simplicial set of singular simplices associated to a topological space has to be replaced by the simplicial set of singular simplices that respect the stratification. This is encoded in the category of simplicial sets over the nerve of the poset of strata. For each perversity, we define a functor from it, with values in the category of cochain complexes over a commutative ring. This construction is based upon a simplicial blow up and the associated cohomology is the intersection cohomology as it was defined by M. Goresky and R. MacPherson in terms of hypercohomology of Deligness sheaves. This functor admits an adjoint and we use it to get classifying spaces for intersection cohomology. Natural intersection cohomology operations are understood in terms of intersection cohomology of these classifying spaces. As in the classical case, they form infinite loop spaces. In the last section, we examine the depth one case of stratified spaces with only one singular stratum. We observe that the classifying spaces are Joyals projective cones over classical Eilenberg-MacLane spaces. We establish some of their properties and conjecture that, for Goresky and MacPherson perversities, all intersection cohomology operations are induced by classical ones.



قيم البحث

اقرأ أيضاً

We explain how higher homotopy operations, defined topologically, may be identified under mild assumptions with (the last of) the Dwyer-Kan-Smith cohomological obstructions to rectifying homotopy-commutative diagrams.
491 - David Blanc 2011
There are two main approaches to the problem of realizing a $Pi$-algebra (a graded group $Lambda$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an algebraic free simp licial resolution $G_bullet$ of $Lambda$ by a simplicial space $W_bullet$ and proceed by induction on the simplicial dimension. The first provides a sequence of Andr{e}-Quillen cohomology classes in $H_{AQ}^{n+2}(Lambda;Omega^{n}Lambda)$ for $n geq 1$ as obstructions to the existence of successive Postnikov sections for $W_bullet$ by work of Dwyer, Kan and Stover. The second gives a sequence of geometrically defined higher homotopy operations as the obstructions by earlier work of Blanc; these were identified with the obstruction theory of Dwyer, Kan and Smith in earlier work of the current authors. There are also (algebraic and geometric) obstructions for distinguishing between different realizations of $Lambda$. In this paper we 1) provide an explicit construction of the cocycles representing the cohomology obstructions; 2) provide a similar explicit construction of certain minimal values of the higher homotopy operations (which reduce to long Toda brackets), and 3) show that these two constructions correspond under an evident map.
171 - Anssi Lahtinen 2007
This note explores the interaction between cohomology operations in a generalized cohomology theory and a string topology loop coproduct dual to the Chas--Sullivan loop product. More precisely, we ask for a description for the failure of a given oper ation to commute with the loop coproduct, and will obtain a satisfactory answer in the case where the operation preserves both sums and products. Examples of such operations include the total Steenrod square in ordinary mod 2 cohomology and the Adams operations in K-theory.
Let $X^{2n}subseteq mathbb{P} ^N$ be a smooth projective variety. Consider the intersection cohomology complex of the local system $R^{2n-1}pi{_*}mathbb{Q}$, where $pi$ denotes the projection from the universal hyperplane family of $X^{2n}$ to ${(mat hbb{P} ^N)}^{vee}$. We investigate the cohomology of the intersection cohomology complex $IC(R^{2n-1}pi{_*}mathbb{Q})$ over the points of a Severis variety, parametrizing nodal hypersurfaces, whose nodes impose independent conditions on the very ample linear system giving the embedding in $mathbb{P} ^N$.
Building on work of Livernet and Richter, we prove that E_n-homology and E_n-cohomology of a commutative algebra with coefficients in a symmetric bimodule can be interpreted as functor homology and cohomology. Furthermore we show that the associated Yoneda algebra is trivial.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا