The product axiom is only interesting for infinite indexing sets, since the case of finite. The integral cohomology of the hilbert scheme of two points burt totaro for a complex manifold xand a natural number a, the hilbert scheme xa also called the douady space is the space of 0dimensional subschemes of degree ain x. In sections3and4we prove the main theoretical results underlying our method. Evendimensional projective space with coefficients in integers. Smirnov 1 mathematical notes volume 79, pages 440 445 2006 cite this article. The resulting computation is almost completely geometric. We offer a solution for the complex and quaternionic projective spaces pn, by utilising their rich geometrical structure. In this context, the infinite union of projective spaces direct limit, denoted cp. In particular, we can use and construct objects of homotopy theory and reason about them using higher inductive types. Cohomology of projective space let us calculate the cohomology of projective space. The inverse image of every point of pv consist of two.
Secondary steenrod operations in cohomology of infinite dimensional projective spaces v. The roggraded equivariant ordinary cohomology of complex. The goal of this paper is to compute the homology of these spaces for. On the symmetric squares of complex and quaternionic projective. Smith, on the characteristic zero cohomology of the free loop space, amer. Speaking roughly, cohomology operations are algebraic operations on the cohomology.
It is a compacti cation of the con guration space bx. From the above theorem, one way to compute local cohomology of l is considering its shea ed version, lf on projective space pn k. Odddimensional projective space with coefficients in integers. Quantum cohomology of complete intersegtiohs amaud beauville1 ura 752 du cnrs, mathematiquesbat. The real projective spaces in homotopy type theory arxiv.
In particular, is identified with a generator for the top cohomology, or a fundamental class in cohomology. Looking at the decomposition, we see that each of those classes is in fact the fundamental class of a projective subspace. The problem of computing the integral cohomology ring of the symmetric square of a topological space has long been of interest, but limited progress has been made on the general case until recently. The theorem of hurewicz tells us what the group cohomology is if there happens to be an aspherical space with the right fundamental group, but it does not say that there. Theyre a way to keep track of finer information than just homology or cohomology. These moduli spaces make the calculations more di cult. An exact sequence thats infinite in both directions is a long exact sequence. This is theorem 1 in the paper of kawasaki cohomology of twisted projective spaces and lens complexes. Then the only job is computing the sheaf cohomology of lf o xm for any integer m. Find materials for this course in the pages linked along the left. Hungthe cohomology of the steenrod algebra and representations of the general linear groups. Rather little is known about the relation between h. Homologyandcwcomplexes the grassmannian gr krn is the space of kdimensional linear sub spacesofrn.
We consider a variety x, a line bundle lon x, and a base. In topology, the complex projective space plays an important role as a classifying space for complex line bundles. A projective space is a topological space, as endowed with the quotient topology of the topology of a finite dimensional real vector space let s be the unit sphere in a normed vector space v, and consider the function. If m2n is a cohomology complex projective space and f2n. Homology of infinite dimensional real projective space. Consider the cw structure on the real projective space.
It is clear from the computations in the proof of lemma 30. A pencil in pn consists of all hyperplanes which contain a fixed n2dimensional projective sub space a, which is called the axis of the pencil. The homology of real projective space is as follows. Odddimensional projective space with coefficients in an abelian group. Since the first dolbeault cohomology group of any line bundle on infinite dimensional projective space vanishes we obtain local solutions of the. We use brownpeterson cohomology to obtain lower bounds for the higher topological complexity, tc kp rp2mq, of real projective spaces, which are often much stronger than those implied by ordinary mod2 cohomology. An action of g p on m2n is called an action of type ii0 if the. Cohomology of projective and grassmanian bundles 21. The multiplicative structure of the cohomology of complex projective spaces is. Characteristic classes of complex vector bundles 19. We start with the real projective spaces rpn, which we think of as ob. Pdf the bott inverted infinite projective space is.
Homology of infinite dimensional real projective space given by torfunctor. This includes hp n as well as s 2k and the cayley projective plane. Introduction and main results in 8, farber introduced the notion of topological complexity, tcp xq, of a topological space x. Borel construction, configuration space, integral cohomology ring. We overcome this di culty by using the excessive intersection theory. By general facts in representation theory, we have lf s xk o x1 where s is schur functor. Operations on vector bundles and their sections 17. It is thus easy to compute by hand even by picture. The important role of the steenrod operations sqi in the description of the cohomology of. Examples lines are hyperplanes of p2 and they form a projective space of dimension 2. This is a module over h g pt h bg if g s1 then the classifying space is the in nite dimensional complex projective. The only ring automorphisms of arising from selfhomeomorphisms of the complex projective space are the identity map and the automorphism that acts as the negation map on and induces corresponding. String homology of spheres and projective spaces math user.
Cohomology of the free loop space of a complex projective. Secondary steenrod operations in cohomology of infinite. The algebraic transfer for the real projective space. In particular, we show how singular cohomology classes yield explicit and computable maps to real and complex projective space. In contrast to previous examples, the relevant moduli spaces in our case frequently do not have the expected dimensions. The integral cohomology of the hilbert scheme of two points. Therefore it is difficult to formulate a generalization of our results.
1611 73 1258 212 40 838 32 167 1503 1192 1097 1156 1385 774 1038 11 881 1075 445 607 442 96 1428 169 1159 644 833 63 1042