The goal of this paper is to compute the homology of these spaces for. This includes hp n as well as s 2k and the cayley projective plane. Smith, on the characteristic zero cohomology of the free loop space, amer. An action of g p on m2n is called an action of type ii0 if the. If the cohomology of the monad 1 is a vector bundle of rank 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 inverse image of every point of pv consist of two. Homology of infinite dimensional real projective space.
It is clear from the computations in the proof of lemma 30. The multiplicative structure of the cohomology of complex projective spaces is. Smirnov 1 mathematical notes volume 79, pages 440 445 2006 cite this article. In topology, the complex projective space plays an important role as a classifying space for complex line bundles.
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. The real projective spaces in homotopy type theory arxiv. An exact sequence thats infinite in both directions is a long exact sequence. Homology of infinite dimensional real projective space given by torfunctor. Hungthe cohomology of the steenrod algebra and representations of the general linear groups.
In sections3and4we prove the main theoretical results underlying our method. Characteristic classes of complex vector bundles 19. Theyre a way to keep track of finer information than just homology or cohomology. Find materials for this course in the pages linked along the left.
We consider a variety x, a line bundle lon x, and a base. The important role of the steenrod operations sqi in the description of the cohomology of. We overcome this di culty by using the excessive intersection theory. We offer a solution for the complex and quaternionic projective spaces pn, by utilising their rich geometrical structure. 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. We start with the real projective spaces rpn, which we think of as ob. In this article, we construct the real projective spaces, key players in homotopy theory, as certain higher inductive types in.
If m2n is a cohomology complex projective space and f2n. Then the only job is computing the sheaf cohomology of lf o xm for any integer m. Since the first dolbeault cohomology group of any line bundle on infinite dimensional projective space vanishes we obtain local solutions of the. This is theorem 1 in the paper of kawasaki cohomology of twisted projective spaces and lens complexes. 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. Therefore it is difficult to formulate a generalization of our results. 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. 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. Evendimensional projective space with coefficients in integers. In particular, we can use and construct objects of homotopy theory and reason about them using higher inductive types. 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.
Odddimensional projective space with coefficients in an abelian group. Examples lines are hyperplanes of p2 and they form a projective space of dimension 2. In contrast to previous examples, the relevant moduli spaces in our case frequently do not have the expected dimensions. The roggraded equivariant ordinary cohomology of complex. The homology of real projective space is as follows. This is a module over h g pt h bg if g s1 then the classifying space is the in nite dimensional complex projective. Pdf the bott inverted infinite projective space is. Cohomology of projective and grassmanian bundles 21. Quantum cohomology of complete intersegtiohs amaud beauville1 ura 752 du cnrs, mathematiquesbat. Cohomology of projective space let us calculate the cohomology of projective space. Speaking roughly, cohomology operations are algebraic operations on the cohomology.
Borel construction, configuration space, integral cohomology ring. Secondary steenrod operations in cohomology of infinite. The hyperplanes of pn are the points of the dual projective space p. 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. The integral cohomology of the hilbert scheme of two points. 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. Rather little is known about the relation between h. It is thus easy to compute by hand even by picture. On the symmetric squares of complex and quaternionic projective. In this context, the infinite union of projective spaces direct limit, denoted cp.
Odddimensional projective space with coefficients in integers. Quantum cohomology of weighted projective spaces 5 the small jfunction of pw, a function of t. Finally, the cohomology ring of the infinitedimensional complex projective space is the formal power series ring in one generator. From the above theorem, one way to compute local cohomology of l is considering its shea ed version, lf on projective space pn k. In particular, we show how singular cohomology classes yield explicit and computable maps to real and complex projective space. Consider the cw structure on the real projective space. The algebraic transfer for the real projective space. Cohomology of arithmetic groups with infinite dimensional. Secondary steenrod operations in cohomology of infinite dimensional projective spaces v.
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. An infinite dimensional cw complex always has infinitely many non. These moduli spaces make the calculations more di cult. Introduction and main results in 8, farber introduced the notion of topological complexity, tcp xq, of a topological space x. The resulting computation is almost completely geometric. Cohomology of the free loop space of a complex projective.