This is theorem 1 in the paper of kawasaki cohomology of twisted projective spaces and lens complexes. In contrast to previous examples, the relevant moduli spaces in our case frequently do not have the expected dimensions. Quantum cohomology of weighted projective spaces 5 the small jfunction of pw, a function of t. In this context, the infinite union of projective spaces direct limit, denoted cp. An exact sequence thats infinite in both directions is a long exact sequence. It is thus easy to compute by hand even by picture. The integral cohomology of the hilbert scheme of two points. In particular, is identified with a generator for the top cohomology, or a fundamental class in cohomology. Cohomology of projective and grassmanian bundles 21. Characteristic classes of complex vector bundles 19. Cohomology of arithmetic groups with infinite dimensional. The inverse image of every point of pv consist of two. The real projective spaces in homotopy type theory arxiv.
Find materials for this course in the pages linked along the left. The hyperplanes of pn are the points of the dual projective space p. Consider the cw structure on the real projective space. Cohomology of projective space let us calculate the cohomology of projective space.
Then the only job is computing the sheaf cohomology of lf o xm for any integer m. In this article, we construct the real projective spaces, key players in homotopy theory, as certain higher inductive types in. 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. The roggraded equivariant ordinary cohomology of complex. This includes hp n as well as s 2k and the cayley projective plane. 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.
An action of g p on m2n is called an action of type ii0 if the. We overcome this di culty by using the excessive intersection theory. Evendimensional projective space with coefficients in integers. We offer a solution for the complex and quaternionic projective spaces pn, by utilising their rich geometrical structure. Examples lines are hyperplanes of p2 and they form a projective space of dimension 2. Looking at the decomposition, we see that each of those classes is in fact the fundamental class of a projective subspace. In particular, we show how singular cohomology classes yield explicit and computable maps to real and complex projective space. It is clear from the computations in the proof of lemma 30. From the above theorem, one way to compute local cohomology of l is considering its shea ed version, lf on projective space pn k. Hungthe cohomology of the steenrod algebra and representations of the general linear groups. String homology of spheres and projective spaces math user. The resulting computation is almost completely geometric.
The important role of the steenrod operations sqi in the description of the cohomology of. Homology of infinite dimensional real projective space. It is a compacti cation of the con guration space bx. The multiplicative structure of the cohomology of complex projective spaces is. This is a module over h g pt h bg if g s1 then the classifying space is the in nite dimensional complex projective.
Therefore it is difficult to formulate a generalization of our results. Theyre a way to keep track of finer information than just homology or cohomology. If m2n is a cohomology complex projective space and f2n. Operations on vector bundles and their sections 17. These moduli spaces make the calculations more di cult. 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. An infinite dimensional cw complex always has infinitely many non. 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. In particular, we can use and construct objects of homotopy theory and reason about them using higher inductive types.
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. 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. In sections3and4we prove the main theoretical results underlying our method. We start with the real projective spaces rpn, which we think of as ob. Quantum cohomology of complete intersegtiohs amaud beauville1 ura 752 du cnrs, mathematiquesbat. In topology, the complex projective space plays an important role as a classifying space for complex line bundles. The algebraic transfer for the real projective space. 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. Secondary steenrod operations in cohomology of infinite. Secondary steenrod operations in cohomology of infinite dimensional projective spaces v.
On the symmetric squares of complex and quaternionic projective. Smirnov 1 mathematical notes volume 79, pages 440 445 2006 cite this article. Borel construction, configuration space, integral cohomology ring. The product axiom is only interesting for infinite indexing sets, since the case of finite. We consider a variety x, a line bundle lon x, and a base.
Odddimensional projective space with coefficients in an abelian group. Smith, on the characteristic zero cohomology of the free loop space, amer. Homology of infinite dimensional real projective space given by torfunctor. Speaking roughly, cohomology operations are algebraic operations on the cohomology. The goal of this paper is to compute the homology of these spaces for.
Introduction and main results in 8, farber introduced the notion of topological complexity, tcp xq, of a topological space x. Cohomology of the free loop space of a complex projective. Rather little is known about the relation between h. The homology of real projective space is as follows. Odddimensional projective space with coefficients in integers.
Finally, the cohomology ring of the infinitedimensional complex projective space is the formal power series ring in one generator. 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. Pdf the bott inverted infinite projective space is. By general facts in representation theory, we have lf s xk o x1 where s is schur functor.
827 1640 151 1613 1573 898 1424 456 336 953 1486 1593 892 1439 297 1584 615 952 1604 498 1207 823 1416 805 108 1128 1339 1309 1499 1500 1386 613 1295 621 661 913 1188 526 590 828 46 1182 1498 866 365