Algebraic Topology Pdf

This is a glossary of properties and concepts in algebraic topology in mathematics.

If there are added fees for a chosen payment system, do not forget to include those as well. For instance, you’ll need to include your email address if you use an online payment system. Make sure it states the payment methods you accept and has the details they need to pay using that method. For instance, if you provide hourly assistance, you’ll include how many hours you worked on the project, your hourly rate, and the total for that project or part of the project.You’ll also want to include. Freelancer simulator apk free download.

Algebraic topology is to map topological spaces into groups (or other algebraic structures) in such a way that continuous functions between topological spaces map to homomorphisms between their associated groups.1 In Sections 2, 3 and 4, this chapter covers the three basic constructions of algebraic topology: homotopy, homology and cohomology. Algebraic Topology I. Course Home Syllabus Calendar Lecture Notes Assignments Download Course Materials; The Hopf fibration shows how the three-sphere can be built by a collection of circles arranged like points on a two-sphere. This is a frame from an animation of.

See also: glossary of topology, list of algebraic topology topics, glossary of category theory, glossary of differential geometry and topology, Timeline of manifolds.

  • Convention: Throughout the article, I denotes the unit interval, Sn the n-sphere and Dn the n-disk. Also, throughout the article, spaces are assumed to be reasonable; this can be taken to mean for example, a space is a CW complex or compactly generatedweakly Hausdorff space. Similarly, no attempt is made to be definitive about the definition of a spectrum. A simplicial set is not thought of as a space; i.e., we generally distinguish between simplicial sets and their geometric realizations.
  • Inclusion criterion: As there is no glossary of homological algebra in Wikipedia right now, this glossary also includes some few concepts in homological algebra (e.g., chain homotopy); some concepts in geometric topology are also fair game. On the other hand, the items that appear in glossary of topology are generally omitted. Abstract homotopy theory and motivic homotopy theory are also outside the scope. Glossary of category theory covers (or will cover) concepts in theory of model categories.

!$@[edit]

*
The base point of a based space.
X+{displaystyle X_{+}}
For an unbased space X, X+ is the based space obtained by adjoining a disjoint base point.

A[edit]

absolute neighborhood retract
abstract
1. Abstract homotopy theory
Adams
1. John Frank Adams.
2. The Adams spectral sequence.
3. The Adams conjecture.
4. The Adams e-invariant.
5. The Adams operations.
Alexander duality
Alexander trick
The Alexander trick produces a section of the restriction map Top(Dn+1)Top(Sn){displaystyle operatorname {Top} (D^{n+1})to operatorname {Top} (S^{n})}, Top denoting a homeomorphism group; namely, the section is given by sending a homeomorphism f:SnSn{displaystyle f:S^{n}to S^{n}} to the homeomorphism
f~:Dn+1Dn+1,00,0xxf(x/x){displaystyle {widetilde {f}}:D^{n+1}to D^{n+1},0mapsto 0,0neq xmapsto x f(x/ x )}.
This section is in fact a homotopy inverse.[1]
Analysis Situs
aspherical space
assembly map
Atiyah
1. Michael Atiyah.
2. Atiyah duality.
3. The Atiyah–Hirzebruch spectral sequence.

B[edit]

bar construction
based space
A pair (X, x0) consisting of a space X and a point x0 in X.
Betti number
Bockstein homomorphism
Borel–Moore homology
Borsuk's theorem
Bott
1. Raoul Bott.
2. The Bott periodicity theorem for unitary groups say: πqU=πq+2U,q0{displaystyle pi _{q}U=pi _{q+2}U,qgeq 0}.
3. The Bott periodicity theorem for orthogonal groups say: πqO=πq+8O,q0{displaystyle pi _{q}O=pi _{q+8}O,qgeq 0}.
Brouwer fixed point theorem
The Brouwer fixed-point theorem says that any map f:DnDn{displaystyle f:D^{n}to D^{n}} has a fixed point.

C[edit]

cap product
Čech cohomology
cellular
1. A map ƒ:XY between CW complexes is cellular if f(Xn)Yn{displaystyle f(X^{n})subset Y^{n}} for all n.
2. The cellular approximation theorem says that every map between CW complexes is homotopic to a cellular map between them.
3. The cellular homology is the (canonical) homology of a CW complex. Note it applies to CW complexes and not to spaces in general. A cellular homology is highly computable; it is especially useful for spaces with natural cell decompositions like projective spaces or Grassmannian.
chain homotopy
Given chain maps f,g:(C,dC)(D,dD){displaystyle f,g:(C,d_{C})to (D,d_{D})} between chain complexes of modules, a chain homotopys from f to g is a sequence of module homomorphisms si:CiDi+1{displaystyle s_{i}:C_{i}to D_{i+1}} satisfying figi=dDsi+si1dC{displaystyle f_{i}-g_{i}=d_{D}circ s_{i}+s_{i-1}circ d_{C}}.
chain map
A chain map f:(C,dC)(D,dD){displaystyle f:(C,d_{C})to (D,d_{D})} between chain complexes of modules is a sequence of module homomorphisms fi:CiDi{displaystyle f_{i}:C_{i}to D_{i}} that commutes with the differentials; i.e., dDfi=fi1dC{displaystyle d_{D}circ f_{i}=f_{i-1}circ d_{C}}.
chain homotopy equivalence
A chain map that is an isomorphism up to chain homotopy; that is, if ƒ:CD is a chain map, then it is a chain homotopy equivalence if there is a chain map g:DC such that gƒ and ƒg are chain homotopic to the identity homomorphisms on C and D, respectively.
change of fiber
The change of fiber of a fibration p is a homotopy equivalence, up to homotopy, between the fibers of p induced by a path in the base.
character variety
The character variety[2] of a group π and an algebraic group G (e.g., a reductive complex Lie group) is the geometric invariant theory quotient by G:
X(π,G)=Hom(π,G)//G{displaystyle {mathcal {X}}(pi ,G)=operatorname {Hom} (pi ,G)/!/G}.
characteristic class
Let Vect(X) be the set of isomorphism classes of vector bundles on X. We can view XVect(X){displaystyle Xmapsto operatorname {Vect} (X)} as a contravariant functor from Top to Set by sending a map ƒ:XY to the pullback ƒ* along it. Then a characteristic class is a natural transformation from Vect to the cohomology functor H*. Explicitly, to each vector bundle E we assign a cohomology class, say, c(E). The assignment is natural in the sense that ƒ*c(E) = c(ƒ*E).
chromatic homotopy theory
chromatic homotopy theory.
class
1. Chern class.
2. Stiefel–Whitney class.
classifying space
Loosely speaking, a classifying space is a space representing some contravariant functor defined on the category of spaces; for example, BU{displaystyle BU} is the classifying space in the sense [,BU]{displaystyle [-,BU]} is the functor XVectR(X){displaystyle Xmapsto operatorname {Vect} ^{mathbb {R} }(X)} that sends a space to the set of isomorphism classes of real vector bundles on the space.
clutching
cobar spectral sequence
cobordism
1. See cobordism.
2. A cobordism ring is a ring whose elements are cobordism classes.
3. See also h-cobordism theorem, s-cobordism theorem.
coefficient ring
If E is a ring spectrum, then the coefficient ring of it is the ring πE{displaystyle pi _{*}E}.
cofiber sequence
A cofiber sequence is any sequence that is equivalent to the sequence XfYCf{displaystyle X{overset {f}{to }}Yto C_{f}} for some ƒ where Cf{displaystyle C_{f}} is the reduced mapping cone of ƒ (called the cofiber of ƒ).
cofibrant approximation
cofibration
A map i:AB{displaystyle i:Ato B} is a cofibration if it satisfies the property: given h0:BX{displaystyle h_{0}:Bto X} and homotopy gt:AX{displaystyle g_{t}:Ato X} such that g0=h0i{displaystyle g_{0}=h_{0}circ i}, there is a homotopy ht:BX{displaystyle h_{t}:Bto X} such that hti=gt{displaystyle h_{t}circ i=g_{t}}.[3] A cofibration is injective and is a homeomorphism onto its image.
coherent homotopy
coherency
See coherency (homotopy theory)

Munkres Algebraic Topology Pdf

cohomotopy group
For a based space X, the set of homotopy classes [X,Sn]{displaystyle [X,S^{n}]} is called the n-th cohomotopy group of X.
cohomology operation
completion
complex bordism
complex-oriented
A multiplicative cohomology theory E is complex-oriented if the restriction map E2(CP) → E2(CP1) is surjective.
cone
The cone over a space X is CX=X×I/X×{0}{displaystyle CX=Xtimes I/Xtimes {0}}. The reduced cone is obtained from the reduced cylinderXI+{displaystyle Xwedge I_{+}} by collapsing the top.
connective
A spectrum E is connective if πqE=0{displaystyle pi _{q}E=0} for all negative integers q.
configuration space
constant
A constant sheaf on a space X is a sheaf F{displaystyle {mathcal {F}}} on X such that for some set A and some map AF(X){displaystyle Ato {mathcal {F}}(X)}, the natural map AF(X)Fx{displaystyle Ato {mathcal {F}}(X)to {mathcal {F}}_{x}} is bijective for any x in X.
contractible space
Algebraic
A space is contractible if the identity map on the space is homotopic to the constant map.
covering
1. A map p: YX is a covering or a covering map if each point of x has a neighborhood N that is evenly covered by p; this means that the pre-image of N is a disjoint union of open sets, each of which maps to N homeomorphically.
2. It is n-sheeted if each fiber p−1(x) has exactly n elements.
3. It is universal if Y is simply connected.
4. A morphism of a covering is a map over X. In particular, an automorphism of a covering p:YX (also called a deck transformation) is a map YY over X that has inverse; i.e., a homeomorphism over X.
5. A G-covering is a covering arising from a group action on a space X by a group G, the covering map being the quotient map from X to the orbit spaceX/G. The notion is used to state the universal property: if X admits a universal covering (in particular connected), then
Hom(π1(X,x0),G){displaystyle operatorname {Hom} (pi _{1}(X,x_{0}),G)} is the set of isomorphism classes of G-coverings.
In particular, if G is abelian, then the left-hand side is Hom(π1(X,x0),G)=H1(X;G){displaystyle operatorname {Hom} (pi _{1}(X,x_{0}),G)=operatorname {H} ^{1}(X;G)} (cf. nonabelian cohomology.)
cup product
CW complex
A CW complex is a space X equipped with a CW structure; i.e., a filtration
X0X1X2X{displaystyle X^{0}subset X^{1}subset X^{2}subset cdots subset X}
such that (1) X0 is discrete and (2) Xn is obtained from Xn-1 by attaching n-cells.
cyclic homology

D[edit]

deck transformation
Another term for an automorphism of a covering.
delooping
degeneracy cycle
degree

E[edit]

Eckmann–Hilton argument
The Eckmann–Hilton argument.
Eckmann–Hilton duality
Eilenberg–MacLane spaces
Given an abelian group π, the Eilenberg–MacLane spacesK(π,n){displaystyle K(pi ,n)} are characterized by
πqK(π,n)={πif q=n0otherwise{displaystyle pi _{q}K(pi ,n)={begin{cases}pi &{text{if }}q=n0&{text{otherwise}}end{cases}}}.
Eilenberg–Steenrod axioms
The Eilenberg–Steenrod axioms are the set of axioms that any cohomology theory (singular, cellular, etc.) must satisfy. Weakening the axioms (namely dropping the dimension axiom) leads to a generalized cohomology theory.
Eilenberg–Zilber theorem
En-algebra
equivariant algebraic topology
Equivariant algebraic topoloy is the study of spaces with (continuous) group action.
exact
A sequence of pointed sets XfYgZ{displaystyle X{overset {f}{to }}Y{overset {g}{to }}Z} is exact if the image of f coincides with the pre-image of the chosen point of Z.
excision
The excision axiom for homology says: if UX{displaystyle Usubset X} and U¯int(A){displaystyle {overline {U}}subset operatorname {int} (A)}, then for each q,
Hq(XU,AU)Hq(X,A){displaystyle operatorname {H} _{q}(X-U,A-U)to operatorname {H} _{q}(X,A)}
is an isomorphism.
excisive pair/triad

F[edit]

factorization homology
fiber-homotopy equivalence
Given DB, EB, a map ƒ:DE over B is a fiber-homotopy equivalence if it is invertible up to homotopy over B. The basic fact is that if DB, EB are fibrations, then a homotopy equivalence from D to E is a fiber-homotopy equivalence.
fibration
A map p:EB is a fibration if for any given homotopy gt:XB{displaystyle g_{t}:Xto B} and a map h0:XE{displaystyle h_{0}:Xto E} such that ph0=g0{displaystyle pcirc h_{0}=g_{0}}, there exists a homotopy ht:XE{displaystyle h_{t}:Xto E} such that pht=gt{displaystyle pcirc h_{t}=g_{t}}. (The above property is called the homotopy lifting property.) A covering map is a basic example of a fibration.
fibration sequence
One says FXpB{displaystyle Fto X{overset {p}{to }}B} is a fibration sequence to mean that p is a fibration and that F is homotopy equivalent to the homotopy fiber of p, with some understanding of base points.
finitely dominated
fundamental class
fundamental group
The fundamental group of a space X with base point x0 is the group of homotopy classes of loops at x0. It is precisely the first homotopy group of (X, x0) and is thus denoted by π1(X,x0){displaystyle pi _{1}(X,x_{0})}.
fundamental groupoid
The fundamental groupoid of a space X is the category whose objects are the points of X and whose morphisms xy are the homotopy classes of paths from x to y; thus, the set of all morphisms from an object x0 to itself is, by definition, the fundament group π1(X,x0){displaystyle pi _{1}(X,x_{0})}.
free
Synonymous with unbased. For example, the free path space of a space X refers to the space of all maps from I to X; i.e., XI{displaystyle X^{I}} while the path space of a based space X consists of such map that preserve the base point (i.e., 0 goes to the base point of X).
Freudenthal suspension theorem
For a nondegenerately based space X, the Freudenthal suspension theorem says: if X is (n-1)-connected, then the suspension homomorphism
πqXπq+1ΣX{displaystyle pi _{q}Xto pi _{q+1}Sigma X}
is bijective for q < 2n - 1 and is surjective if q = 2n - 1.

G[edit]

G-fibration
A G-fibration with some topological monoidG. An example is Moore's path space fibration.
Γ-space
generalized cohomology theory
A generalized cohomology theory is a contravariant functor from the category of pairs of spaces to the category of abelian groups that satisfies all of the Eilenberg–Steenrod axioms except the dimension axiom.
genus
group completion
grouplike
An H-space X is said to be group-like or grouplike if π0X{displaystyle pi _{0}X} is a group; i.e., X satisfies the group axioms up to homotopy.
Gysin sequence

H[edit]

Hilton–Milnor theorem
The Hilton–Milnor theorem.
H-space
An H-space is a based space that is a unital magma up to homotopy.
homologus
Two cycles are homologus if they belong to the same homology class.
homotopy category
Let C be a subcategory of the category of all spaces. Then the homotopy category of C is the category whose class of objects is the same as the class of objects of C but the set of morphisms from an object x to an object y is the set of the homotopy classes of morphisms from x to y in C. For example, a map is a homotopy equivalence if and only if it is an isomorphism in the homotopy category.
homotopy colimit
homotopy over a space B
A homotopy ht such that for each fixed t, ht is a map over B.
homotopy equivalence
1. A map ƒ:XY is a homotopy equivalence if it is invertible up to homotopy; that is, there exists a map g: YX such that g ∘ ƒ is homotopic to th identity map on X and ƒ ∘ g is homotopic to the identity map on Y.
2. Two spaces are said to be homotopy equivalent if there is a homotopy equivalence between the two. For example, by definition, a space is contractible if it is homotopy equivalent to a point space.
homotopy excision theorem
The homotopy excision theorem is a substitute for the failure of excision for homotopy groups.
homotopy fiber
The homotopy fiber of a based map ƒ:XY, denoted by Fƒ, is the pullback of PYY,χχ(1){displaystyle PYto Y,chi mapsto chi (1)} along f.
homotopy fiber product
A fiber product is a particular kind of a limit. Replacing this limit lim with a homotopy limit holim yields a homotopy fiber product.
homotopy group
1. For a based space X, let πnX=[Sn,X]{displaystyle pi _{n}X=[S^{n},X]}, the set of homotopy classes of based maps. Then π0X{displaystyle pi _{0}X} is the set of path-connected components of X, π1X{displaystyle pi _{1}X} is the fundamental group of X and πnX,n2{displaystyle pi _{n}X,ngeq 2} are the (higher) n-th homotopy groups of X.
2. For based spaces AX{displaystyle Asubset X}, the relative homotopy groupπn(X,A){displaystyle pi _{n}(X,A)} is defined as πn1{displaystyle pi _{n-1}} of the space of paths that all start at the base point of X and end somewhere in A. Equivalently, it is the πn1{displaystyle pi _{n-1}} of the homotopy fiber of AX{displaystyle Ahookrightarrow X}.
3. If E is a spectrum, then πkE=limnπk+nEn.{displaystyle pi _{k}E=varinjlim _{n}pi _{k+n}E_{n}.}
4. If X is a based space, then the stable k-th homotopy group of X is πksX=limnπk+nΣnX{displaystyle pi _{k}^{s}X=varinjlim _{n}pi _{k+n}Sigma ^{n}X}. In other words, it is the k-th homotopy group of the suspension spectrum of X.
homotopy quotient
If G is a Lie group acting on a manifold X, then the quotient space (EG×X)/G{displaystyle (EGtimes X)/G} is called the homotopy quotient (or Borel construction) of X by G, where EG is the universal bundle of G.
homotopy spectral sequence
homotopy sphere
Hopf
1. Heinz Hopf.
2. Hopf invariant.
3. The Hopf index theorem.
4. Hopf construction.
Hurewicz
The Hurewicz theorem establishes a relationship between homotopy groups and homology groups.

I[edit]

infinite loop space
infinite loop space machine
infinite mapping telescope
integration along the fiber
isotopy

J[edit]

J-homomorphism
See J-homomorphism.
join
The join of based spaces X, Y is XY=Σ(XY).{displaystyle Xstar Y=Sigma (Xwedge Y).}

K[edit]

k-invariant
Kan complex
See Kan complex.
Kervaire invariant
The Kervaire invariant.
Koszul duality
Koszul duality.
Künneth formula

L[edit]

Lazard ring
The Lazard ringL is the (huge) commutative ring together with the formal group law ƒ that is universal among all the formal group laws in the sense that any formal group law g over a commutative ring R is obtained via a ring homomorphism LR mapping ƒ to g. According to Quillen's theorem, it is also the coefficient ring of the complex bordism MU. The Spec of L is called the moduli space of formal group laws.
Lefschetz fixed point theorem
The Lefschetz fixed point theorem says: given a finite simplicial complex K and its geometric realization X, if a map f:XX{displaystyle f:Xto X} has no fixed point, then the Lefschetz number of f; that is,
0(1)qtr(f:Hq(X)Hq(X)){displaystyle sum _{0}^{infty }(-1)^{q}operatorname {tr} (f_{*}:operatorname {H} _{q}(X)to operatorname {H} _{q}(X))}
is zero. For example, it implies the Brouwer fixed-point theorem since the Lefschetz number of f:DnDn{displaystyle f:D^{n}to D^{n}} is, as higher homologies vanish, one.
lens space
The lens space is the quotient space {zCnz=1}/μp{displaystyle {zin mathbb {C} ^{n} z =1}/mu _{p}} where μp{displaystyle mu _{p}} is the group of p-th roots of unity acting on the unit sphere by ζ(z1,,zn)=(ζz1,,ζzn){displaystyle zeta cdot (z_{1},dots ,z_{n})=(zeta z_{1},dots ,zeta z_{n})}.
Leray spectral sequence
local coefficient
1. A module over the group ringZ[π1B]{displaystyle mathbb {Z} [pi _{1}B]} for some based space B; in other words, an abelian group together with a homomorphism π1BAut(A){displaystyle pi _{1}Bto operatorname {Aut} (A)}.
2. The local coefficient system over a based space B with an abelian group A is a fiber bundle over B with discrete fiber A. If B admits a universal covering B~{displaystyle {widetilde {B}}}, then this meaning coincides with that of 1. in the sense: every local coefficient system over B can be given as the associated bundleB~×π1BA{displaystyle {widetilde {B}}times _{pi _{1}B}A}.
local sphere
The localization of a sphere at some prime number
localization
locally constant sheaf
A locally constant sheaf on a space X is a sheaf such that each point of X has an open neighborhood on which the sheaf is constant.
loop space
The loop spaceΩX{displaystyle Omega X} of a based space X is the space of all loops starting and ending at the base point of X.

M[edit]

Madsen–Weiss theorem
mapping
1.
The mapping cone of a map ƒ:XY is obtained by gluing the cone over X to Y.
The mapping cone (or cofiber) of a map ƒ:XY is Cf=YfCX{displaystyle C_{f}=Ycup _{f}CX}.
2. The mapping cylinder of a map ƒ:XY is Mf=Yf(X×I){displaystyle M_{f}=Ycup _{f}(Xtimes I)}. Note: Cf=Mf/(X×{0}){displaystyle C_{f}=M_{f}/(Xtimes {0})}.
3. The reduced versions of the above are obtained by using reduced cone and reduced cylinder.
4. The mapping path spacePp of a map p:EB is the pullback of BIB{displaystyle B^{I}to B} along p. If p is fibration, then the natural map EPp is a fiber-homotopy equivalence; thus, roughly speaking, one can replace E by the mapping path space without changing the homotopy type of the fiber.
Mayer–Vietoris sequence
model category
A presentation of an ∞-category.[4] See also model category.
Moore space
multiplicative
A generalized cohomology theoryE is multiplicative if E*(X) is a graded ring. For example, the ordinary cohomology theory and the complex K-theory are multiplicative (in fact, cohomology theories defined by E-rings are multiplicative.)

N[edit]

n-cell
Another term for an n-disk.
n-connected
A based space X is n-connected if πqX=0{displaystyle pi _{q}X=0} for all integers qn. For example, '1-connected' is the same thing as 'simply connected'.
n-equivalent
NDR-pair
A pair of spaces AX{displaystyle Asubset X} is said to be an NDR-pair (=neighborhood deformation retract pair) if there is a map u:XI{displaystyle u:Xto I} and a homotopy ht:XX{displaystyle h_{t}:Xto X} such that A=u1(0){displaystyle A=u^{-1}(0)}, h0=idX{displaystyle h_{0}=operatorname {id} _{X}}, htA=idA{displaystyle h_{t} _{A}=operatorname {id} _{A}} and h1({xu(x)<1})A{displaystyle h_{1}({x u(x)<1})subset A}.
If A is a closed subspace of X, then the pair AX{displaystyle Asubset X} is an NDR-pair if and only if AX{displaystyle Ahookrightarrow X} is a cofibration.
nilpotent
1. nilpotent space; for example, a simply connected space is nilpotent.
2. The nilpotent theorem.
nonabelian
1. nonabelian cohomology
2. nonabelian algebraic topology
normalized
Given a simplicial groupG, the normalized chain complexNG of G is given by (NG)n=1kerdin{displaystyle (NG)_{n}=cap _{1}^{infty }operatorname {ker} d_{i}^{n}} with the n-th differential given by d0n{displaystyle d_{0}^{n}}; intuitively, one throws out degenerate chains.[5] It is also called the Moore complex.

O[edit]

obstruction cocycle
obstruction theory
Obstruction theory is the collection of constructions and calculations indicating when some map on a submanifold (subcomplex) can or cannot be extended to the full manifold. These typically involve the Postnikov tower, killing homotopy groups, obstruction cocycles, etc.
of finite type
A CW complex is of finite type if there are only finitely many cells in each dimension.
operad
The portmanteau of “operations” and “monad”. See operad.
orbit category
orientation
1. The orientation covering (or orientation double cover) of a manifold is a two-sheeted covering so that each fiber over x corresponds to two different ways of orienting a neighborhood of x.
2. An orientation of a manifold is a section of an orientation covering; i.e., a consistent choice of a point in each fiber.
3. An orientation character (also called the first Stiefel–Whitney class) is a group homomorphism π1(X,x0){±1}{displaystyle pi _{1}(X,x_{0})to {pm 1}} that corresponds to an orientation covering of a manifold X (cf. #covering.)
4. See also orientation of a vector bundle as well as orientation sheaf.

P[edit]

p-adic homotopy theory
The p-adic homotopy theory.
path class
An equivalence class of paths (two paths are equivalent if they are homotopic to each other).
path lifting
A path lifting function for a map p: EB is a section of EIPp{displaystyle E^{I}to P_{p}} where Pp{displaystyle P_{p}} is the mapping path space of p. For example, a covering is a fibration with a unique path lifting function. By formal consideration, a map is a fibration if and only if there is a path lifting function for it.
path space
The path space of a based space X is PX=Map(I,X){displaystyle PX=operatorname {Map} (I,X)}, the space of based maps, where the base point of I is 0. Put in another way, it is the (set-theoretic) fiber of XIX,χχ(0){displaystyle X^{I}to X,chi mapsto chi (0)} over the base point of X. The projection PXX,χχ(1){displaystyle PXto X,chi mapsto chi (1)} is called the path space fibration, whose fiber over the base point of X is the loop space ΩX{displaystyle Omega X}. See also mapping path space.
phantom map
Poincaré
The Poincaré duality theorem says: given a manifold M of dimension n and an abelian group A, there is a natural isomorphism
Hc(M;A)Hn(M;A){displaystyle operatorname {H} _{c}^{*}(M;A)simeq operatorname {H} _{n-*}(M;A)}.
Pontrjagin–Thom construction
Postnikov system
A Postnikov system is a sequence of fibrations, such that all preceding manifolds have vanishing homotopy groups below a given dimension.
principal fibration
Usually synonymous with G-fibration.
profinite
profinite homotopy theory; it studies profinite spaces.
properly discontinuous
Not particularly a precise term. But it could mean, for example, that G is discrete and each point of the G-space has a neighborhood V such that for each g in G that is not the identity element, gV intersects V at finitely many points.
pullback
Given a map p:EB, the pullback of p along ƒ:XB is the space fE={(e,x)E×Xp(e)=f(x)}{displaystyle f^{*}E={(e,x)in Etimes X p(e)=f(x)}} (succinctly it is the equalizer of p and f). It is a space over X through a projection.
Puppe sequence
The Puppe sequence refers ro either of the sequences
XfYCfΣXΣY,{displaystyle X{overset {f}{to }}Yto C_{f}to Sigma Xto Sigma Yto cdots ,}
ΩXΩYFfXfY{displaystyle cdots to Omega Xto Omega Yto F_{f}to X{overset {f}{to }}Y}
where Cf,Ff{displaystyle C_{f},F_{f}} are homotopy cofiber and homotopy fiber of f.
pushout
Given AB{displaystyle Asubset B} and a map f:AX{displaystyle f:Ato X}, the pushout of X and B along f is
XfB=XB/(af(a)){displaystyle Xcup _{f}B=Xsqcup B/(asim f(a))};
that is X and B are glued together along A through f. The map f is usually called the attaching map.
The important example is when B = Dn, A = Sn-1; in that case, forming such a pushout is called attaching an n-cell (meaning an n-disk) to X.

Q[edit]

quasi-fibration
A quasi-fibration is a map such that the fibers are homotopy equivalent to each other.
Quillen
1. Daniel Quillen
2. Quillen’s theorem says that πMU{displaystyle pi _{*}MU} is the Lazard ring.

R[edit]

rational
1. The rational homotopy theory.
2. The rationalization of a space X is, roughly, the localization of X at zero. More precisely, X0 together with j: XX0 is a rationalization of X if the map πXQπX0Q{displaystyle pi _{*}Xotimes mathbb {Q} to pi _{*}X_{0}otimes mathbb {Q} } induced by j is an isomorphism of vector spaces and πX0QπX0{displaystyle pi _{*}X_{0}otimes mathbb {Q} simeq pi _{*}X_{0}}.
3. The rational homotopy type of X is the weak homotopy type of X0.
Reidemeister
Reidemeister torsion.
reduced
The reduced suspension of a based space X is the smash product ΣX=XS1{displaystyle Sigma X=Xwedge S^{1}}. It is related to the loop functor by Map(ΣX,Y)=Map(X,ΩY){displaystyle operatorname {Map} (Sigma X,Y)=operatorname {Map} (X,Omega Y)} where ΩY=Map(S1,Y){displaystyle Omega Y=operatorname {Map} (S^{1},Y)} is the loop space.
ring spectrum
A ring spectrum is a spectrum that satisfying the ring axioms, either on nose or up to homotopy. For example, a complex K-theory is a ring spectrum.

S[edit]

Samelson product
Serre
1. Jean-Pierre Serre.
2. Serre class.
3. Serre spectral sequence.
simple
simple-homotopy equivalence
A map ƒ:XY between finite simplicial complexes (e.g., manifolds) is a simple-homotopy equivalence if it is homotopic to a composition of finitely many elementary expansions and elementary collapses. A homotopy equivalence is a simple-homotopy equivalence if and only if its Whitehead torsion vanishes.
simplicial approximation
See simplicial approximation theorem.
simplicial complex
See simplicial complex; the basic example is a triangulation of a manifold.
simplicial homology
A simplicial homology is the (canonical) homology of a simplicial complex. Note it applies to simplicial complexes and not to spaces; cf. #singular homology.
signature invariant
singular
1. Given a space X and an abelian group π, the singular homology group of X with coefficients in π is
H(X;π)=H(C(X)π){displaystyle operatorname {H} _{*}(X;pi )=operatorname {H} _{*}(C_{*}(X)otimes pi )}
where C(X){displaystyle C_{*}(X)} is the singular chain complex of X; i.e., the n-th degree piece is the free abelian group generated by all the maps nX{displaystyle triangle ^{n}to X} from the standard n-simplex to X. A singular homology is a special case of a simplicial homology; indeed, for each space X, there is the singular simplicial complex of X[6] whose homology is the singular homology of X.
2. The singular simplices functor is the functor TopsSet{displaystyle mathbf {Top} to smathbf {Set} } from the category of all spaces to the category of simplicial sets, that is the right adjoint to the geometric realization functor.
3. The singular simplicial complex of a space X is the normalized chain complex of the singular simplex of X.
slant product
small object argument
smash product
The smash product of based spaces X, Y is XY=X×Y/XY{displaystyle Xwedge Y=Xtimes Y/Xvee Y}. It is characterized by the adjoint relation
Map(XY,Z)=Map(X,Map(Y,Z)){displaystyle operatorname {Map} (Xwedge Y,Z)=operatorname {Map} (X,operatorname {Map} (Y,Z))}.
Spanier–Whitehead
The Spanier–Whitehead duality.
spectrum
Roughly a sequence of spaces together with the maps (called the structure maps) between the consecutive terms; see spectrum (topology).
sphere bundle
A sphere bundle is a fiber bundle whose fibers are spheres.
sphere spectrum
The sphere spectrum is a spectrum consisting of a sequence of spheres S0,S1,S2,S3,{displaystyle S^{0},S^{1},S^{2},S^{3},dots } together with the maps between the spheres given by suspensions. In short, it is the suspension spectrum of S0{displaystyle S^{0}}.
stable homotopy group
See #homotopy group.
Steenrod homology
Steenrod homology.
Steenrod operation
Sullivan
1. Dennis Sullivan.
2. The Sullivan conjecture.
3. Infinitesimal computations in topology, 1977 - introduces rational homotopy theory (along with Quillen's paper).

Allen Hatcher Algebraic Topology Pdf

4. The Sullivan algebra in the rational homotopy theory.
Algebraic Topology Pdf
suspension spectrum
The suspension spectrum of a based space X is the spectrum given by Xn=ΣnX{displaystyle X_{n}=Sigma ^{n}X}.
symmetric spectrum
See symmetric spectrum.

T[edit]

Thom
1. René Thom.
2. If E is a vector bundle on a paracompact space X, then the Thom spaceTh(E){displaystyle {text{Th}}(E)} of E is obtained by first replacing each fiber by its compactification and then collapsing the base X.
3. The Thom isomorphism says: for each orientable vector bundleE of rank n on a manifold X, a choice of an orientation (the Thom class of E) induces an isomorphism
H~+n(Th(E);Z)H(X;Z){displaystyle {widetilde {operatorname {H} }}^{*+n}({text{Th}}(E);mathbb {Z} )simeq operatorname {H} ^{*}(X;mathbb {Z} )}.

Topology Mathematics Pdf

topological chiral homology
transfer
transgression

U[edit]

universal coefficient
The universal coefficient theorem.
up to homotopy
A statement holds in the homotopy category as opposed to the category of spaces.

V[edit]

Algebraic Topology Hatcher Pdf

van Kampen
The van Kampen theorem says: if a space X is path-connected and if x0 is a point in X, then
π1(X,x0)=limπ1(U,x0){displaystyle pi _{1}(X,x_{0})=varinjlim pi _{1}(U,x_{0})}
where the colimit runs over some open cover of X consisting of path-connected open subsets containing x0 such that the cover is closed under finite intersections.

Bredon Algebraic Topology Pdf

W[edit]

Switzer Algebraic Topology Pdf

Waldhausen S-construction
Waldhausen S-construction.
Wall's finiteness obstruction
weak equivalence
A map ƒ:XY of based spaces is a weak equivalence if for each q, the induced map f:πqXπqY{displaystyle f_{*}:pi _{q}Xto pi _{q}Y} is bijective.
wedge
For based spaces X, Y, the wedge productXY{displaystyle Xwedge Y} of X and Y is the coproduct of X and Y; concretely, it is obtained by taking their disjoint union and then identifying the respective base points.
well pointed
A based space is well pointed (or non-degenerately based) if the inclusion of the base point is a cofibration.
Whitehead
1. J. H. C. Whitehead.
2. Whitehead's theorem says that for CW complexes, the homotopy equivalence is the same thing as the weak equivalence.
3. Whitehead group.
4. Whitehead product.
winding number

Notes[edit]

  1. ^Let r, s denote the restriction and the section. For each f in Top(Dn+1){displaystyle operatorname {Top} (D^{n+1})}, define ht(f)(x)=tf(x/t),xt,ht(f)(x)=xf(x/x),x>t{displaystyle h_{t}(f)(x)=tf(x/t), x leq t,h_{t}(f)(x)= x f(x/ x ), x >t}. Then ht:srid{displaystyle h_{t}:scirc rsim operatorname {id} }.
  2. ^Despite the name, it may not be an algebraic variety in the strict sense; for example, it may not be irreducible. Also, without some finiteness assumption on G, it is only a scheme.
  3. ^Hatcher, Ch. 4. H.
  4. ^How to think about model categories?
  5. ^https://ncatlab.org/nlab/show/Moore+complex
  6. ^http://ncatlab.org/nlab/show/singular+simplicial+complex

References[edit]

  • J.F. Adams, Stable Homotopy and Generalized Homology, Chicago Lectures in Mathematics, The University of Chicago Press, 1974.
  • Adams, J. (1978), Infinite loop spaces, Princeton University Press, Princeton, New Jersey.
  • Bott, Raoul; Tu, Loring (1982), Differential Forms in Algebraic Topology, New York: Springer, ISBN0-387-90613-4
  • Bousfield, A. K.; Kan, D. M. (1987), Homotopy Limits, Completions and Localizations, Lecture Notes in Mathematics, 304, Springer, ISBN9783540061052
  • James F. Davis, Paul Kirk, Lecture Notes in Algebraic Topology
  • Fulton, William, Algebraic Topology
  • Allen Hatcher, Algebraic topology.
  • Hess, Kathryn (2006-04-28). 'Rational homotopy theory: a brief introduction'. arXiv:math/0604626. Bibcode:2006math...4626H.Cite journal requires journal= (help)
  • algebraic topology, Lectures delivered by Michael Hopkins and Notes by Akhil Mathew, Fall 2010, Harvard
  • Lurie, J. Algebraic K-Theory and Manifold Topology (Math 281)
  • Lurie, J. Chromatic Homotopy Theory (252x)
  • May, J. A Concise Course in Algebraic Topology
  • May, J. (with K. Ponto) More concise algebraic topology: localization, completion, and model categories
  • May and Sigurdsson, Parametrized homotopy theory (despite the title, it contains a significant amount of general results.)
  • Dennis Sullivan, Geometric Topology, the 1970 MIT notes
  • George William Whitehead (1978). Elements of homotopy theory. Graduate Texts in Mathematics. 61 (3rd ed.). New York-Berlin: Springer-Verlag. pp. xxi+744. ISBN978-0-387-90336-1. MR0516508. Retrieved September 6, 2011.
  • Kirsten Graham Wickelgren, 8803 Stable Homotopy Theory

Munkres Elements Of Algebraic Topology Pdf

External links[edit]

Algebraic Topology Pdf Download

Retrieved from 'https://en.wikipedia.org/w/index.php?title=Glossary_of_algebraic_topology&oldid=918934920'