Keep in touch with English

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

Hatcher's barycentric subdivision of chains

20/12/2021, 19:42

Hi, I am having trouble understanding the following part:

A. Hatcher here at pages 122-123 ha scritto:Barycentric Subdivision of General Chains. Define \(S : C_n(X) \to C_n(X)\) by setting \(S\sigma = \sigma_\sharp S\Delta^n\) for a singular \(n\)-simplex \(\sigma : \Delta^n \to X\). [...]


In particular: how shall I parse the piece \(S\Delta^n\)? By a quick type analysis, \(S\) expects a linear chain, so how do I have to interpret \(\Delta^n\)? In the calculations below it seems that it is used as an actual identity map \(\Delta^n \to \Delta^n\).

Re: Hatcher's barycentric subdivision of chains

20/12/2021, 20:43

$S$ is not a random family of maps, it must be natural in $X$ (this means that it has to be a natural transformation of the functor \(C_n\)): so, by Yoneda lemma, it is completely determined by its action on the universal element of \(\Delta^n\), i.e. the identity simplex \(1 : \Delta^n \to \Delta^n \).

adiaŭ!

Re: Hatcher's barycentric subdivision of chains

20/12/2021, 21:21

Yes, there is some scent of such things. ^-^

Thanks.

Re: Hatcher's barycentric subdivision of chains

20/12/2021, 22:00

Immagine
Rispondi al messaggio


Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.