21
Δ-complexes Simplicial homology and cohomology Simplicial homology with closed support Poincar´ e Duality Long exact sequences Introduction to Algebraic Topology Nir Avni and Jes´ us Mart´ ınez Garc´ ıa Sheaves in Representation Theory, Skye 24 May, 2010 Nir Avni and Jes´ us Mart´ ınez Garc´ ıa Introduction to Algebraic Topology

Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

  • Upload
    others

  • View
    6

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

Introduction to Algebraic Topology

Nir Avni and Jesus Martınez Garcıa

Sheaves in Representation Theory, Skye

24 May, 2010

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 2: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

Motivation (I)

Simplicial homology groups “measure” n-dimensional holes intopological spaces.

It provides “global” information.

It is a topological tool, mainly used in topology, but also ingeometry and algebra.

There are other definitions for (co)homology (Morse, singular,deRham, quantum, sheaf...) and (often) isomorphisms amongthem.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 3: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

Motivation (II)

Simplicial homology is easy to compute (for easy examples).

’Abelianising’ the fundamental group of a space π1(X ) givesthe first homology group of X .

An orientation-free approach requires more computations(triangulations [Mun84]).

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 4: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

∆-complexes

Definition

Let {a0, . . . , an} be a geometrically independent set in Rn. The

n-simplex ∆n spanned by a0, . . . , an is:

∆n = {x =n

i=0

tiai |n

i=0

ti = 1}.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 5: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

The subsimplices obtained by removing one single vertex are calledfaces (there are n + 1 of them). The union of all faces is ∂∆n.∆n has a topology induced by the usual topology of Rn. The open

simplex of ∆n is◦

∆n:= ∆n \ ∂∆.

Definition

A ∆-complex structure on a topological space X is a collection ofmaps ∆X = {σα : ∆n −→ X, n depending on α}, such that:

(i) σα| ◦

∆nis injective ∀α, and all x ∈ X is in the image of one and

only one such restriction.

(ii) Each restriction of σα to a face of ∆n is a mapσβ : ∆n−1 −→ X , σβ ∈ ∆X .

(iii) A set A ⊆ X is open iff σ−1α (A) is open ∀σα.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 6: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

Examples of ∆-complexes: RP2 and S1

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 7: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

DefinitionsComputations

Simplicial chain complex

Definition

Let Cn(X ) be the free abelian group with basis the openn-simplices enα of X . Its elements σα =

α nαenα, are called

n-chains.The boundary homomorphism ∂n : Cn(X ) −→ Cn−1(X ) is definedon basis elements as:

∂n(σα) =∑

i

(−1)iσα|[v0,...,vi ,...,vn].

Lemma ([Hat02]: lemma 2.1)

The composition Cn+1(X )∂n+1−→ Cn(X )

∂n−→ Cn−1(X ) is zero.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 8: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

DefinitionsComputations

Figure: Boundaries of the standard simplices. [Hat02]

Definition

If for σ ∈ Cn(X ), ∂n(σ) = 0, then σ is a cycle. If σ = ∂n+1(σ),then σ is a boundary.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 9: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

DefinitionsComputations

Definition

The n-th simplicial homology group of X is:

Hn(X ) =Ker ∂n

Im ∂n+1.

The n-th betti number of X is the rank of Hn as a Z-module:

bn(X ) = rkZ(Hn(X )).

Lemma

The definition does not depend on the ∆-complex structure chosenfor X .

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 10: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

DefinitionsComputations

Cohomology

Definition

Consider the dual, cochain group Cn(X ) := Hom(Cn(X ),Z). Wealso have a coboundary homomorphism δn : Cn−1 −→ Cn defined,for γ : Cn(X ) −→ Z, by its action:

δ(γ)(σ) := γ(∂(σ)).

Now, we have cocycles (δ(σ) = 0) and coboundaries (σ = δσ) and,since δ2 = 0, the cohomology groups:

Hn(X ) =Ker δn

Im δn+1.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 11: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

DefinitionsComputations

Affine space

If f : X −→ Y is continous, we get a f♯ : Cn(X ) −→ Cn(Y ) and∂ ◦ f = f ◦ ∂. Therefore we have f∗ : Hn(X ) −→ Hn(Y ).

Theorem

If f , g : X −→ Y are homotopic then f∗ = g∗ and therefore if X ,Yare homotopic, H∗(X ) = H∗(Y ).

Hence, since ∆0 ∼= Rk , H∗(R

k) = H∗(∆0). Its chain complex is:

0 → 0 → · · · → C0 = Z → 0.

And:

Hn(Rk) =

{

Z n = 0;0 n 6= 0.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 12: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

Borel–Moore Homology

Simplicial Homology With Closed Support is defined similarlyto homology with compact support, but allowing the chains to beinfinite combinations of simplices.

There are both more cycles and more boundaries.

In the case where X has a finite triangulation, HBM

k(X ) = Hk(X ).

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 13: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

Affine space

Suppose that σ =∑

an[n] is a cycle in R.

Define τ =∑

bn[n, n+1] by setting b0 = 0, and setting bn so thatthe coefficient of [n − 1] in ∂τ is 0. We get that σ is a boundary.

⇒ HBM

0 (R) = 0

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 14: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

Affine space

The chain σ =∑

[n, n + 1] is a cycle. Conversely, any 1-cycle is amultiple of σ.

HBM

1 (R) = K

Similarly, one shows

HBM

k(Rn) =

{

0 k 6= nK k = n

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 15: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

Poincare Duality

If X is a smooth, n-dimensional, orientable manifold, then anyfine-enough triangulation has a dual

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 16: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

Poincare Duality

The vertices of the dual correspond to the top simplices of theoriginal triangulation.

The edges of the dual correspond to the facets of the originaltriangulation....

The top cells of the dual correspond to the vertices of theoriginal triangulation.

⇒ CBM

i (X ) = Cn−i (X )∨

In fact, HBM

i(X ) = Hn−i (X )∨.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 17: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

LES for a closed set and its complementComputation: Complex Projective Space

LES for a closed set and its complement

Suppose that X is a triangulated space, and let F ⊂ X be asub-complex. Let U = X \ F , and triangulate it by dividing eachopen simplex into (infinitly many) sub-simplices.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 18: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

LES for a closed set and its complementComputation: Complex Projective Space

LES for a closed set and its complement

If σ is a k-cycle in F , then it is a k-cycle in X . We get a mapBMk(F ) → BMk(X ).

If τ is a k-cycle in X , then its restriction to U can be presented asa cycle. We get a map BMk(X ) → BMk(U).

If ξ is a k-cycle in U, then its boundary in X is a cycle in F . Weget a map BMk(U) → BMk−1(F )

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 19: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

LES for a closed set and its complementComputation: Complex Projective Space

LES for a closed set and its complement

We get a sequence

· · · → HBM

k(F ) → HBM

k(X ) → HBM

k(U) → HBM

k−1(F ) → HBM

k−1(X ) → · · ·

which is exact.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 20: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

LES for a closed set and its complementComputation: Complex Projective Space

Computation: Complex Projective Space

Pn = C

n ⊔ Pn−1. Looking at the LES of open/closed subsets, we

get

→ HBM

k+1(Cn) → HBM

k(Pn−1) → HBM

k(Pn) → HBM

k(Cn) → HBM

k−1(Pn−1) →

If k 6= 2n, 2n − 1 then BMk(Pn) = BMk(P

n−1). By induction,

BM2n(Pn−1) = BM2n−1(P

n−1) = 0. So if k = 2n, thenBM2n(P

n) = BM2n(Cn) = K , Whereas if k = 2n − 1, then

BM2n−1(Pn) = 0.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology

Page 21: Introduction to Algebraic Topology · Simplicial homology is easy to compute (for easy examples). ’Abelianising’ the fundamental group of a space π1(X) gives the first homology

∆-complexesSimplicial homology and cohomology

Simplicial homology with closed supportPoincare Duality

Long exact sequences

LES for a closed set and its complementComputation: Complex Projective Space

References I

Allen Hatcher.Algebraic topology.Cambridge University Press, Cambridge, 2002.

James R. Munkres.Elements of algebraic topology.Addison-Wesley Publishing Company, Menlo Park, CA, 1984.

Nir Avni and Jesus Martınez Garcıa Introduction to Algebraic Topology