sai0t2021 Curso topotogia des Variedadas, Margo-Junho 2020, Perguntas e Resposlas Perguntas Curso de Toplogia das variedades 2020 Pergunta/Comentario 1 Thadeu Henrique. Caro Hossein, Enquanto ainda medito um pouco no material da segunda semana, algumas coisas da I*andam me deixando perturbedo, Eu nfo chamaria de lives, sio mais dores do eabegadesconforcs espiritusis gue qualquer outa coisa: + Vocé define homologia com coeficienes em grupos abelianos, enquanto outros lugares (como o livro do Elon, Homologia Bisica, oua pigina do nLab nLab depois do remark 2S definem com coeficientes em um ane o que permite usar mais claramente & linguagem de R. :mdulos. Estive pensando, e bem, dado que grupos abelianos slo s6 Z-midulos, um jeito de naturlizar as duas nogGes € tomando os ‘coeficientes em R-madulos. Além disso, me parece que trfamos O.(X, A M) ~ 04(X, As R) Oe M ‘ que parece um pouco complexo de Koszul (0 que é bom, gosto quando as eoisas se parecem). Olli rapidamente olivro de Spainer e parece que € isso que ele faz na segdo 5.1, A divida &entfo: por que a escolha de tomar apenas coeficientes em grupos abelian0s? ‘Compreendo que 0 teorema de cocficientes universas vai acabar relacionando a homologia com coeficientes er um R-mdulo M com a ‘com coeficientes ema R numa seq exata de R-médulos ¢talvez isso seja motivo para tratars6 em anéis (ainda que a poster, e ainda que eu rio ache! Ié um bom motivo: ). RResposta do Hossein Caro Thadew ‘A definigdo de homologia ulizando um anel R no lugar de um grupo abeliano segue igual, como que ve mencionou teremos R-modulos de Ihomologia. A utlizagdo de grupos abelianos foi feito por simplicidade. Em particular no futuro previsaremos falar homologia com coeficientes em um compo como corpo de numeros reais, complexas ou racionais, © que nos faz ulizar coeleientes em um anel Pessolmente eu pretito evitar a wilizagio de um R-modulo M como coefficients, No conhego um contexto natural que este aparesa! Pelo ‘menos na minha pesquisa isto nfo aparece: "Na minha mente dois exemplos importantes de ancl de cocficientes sB0 Ze Z/nZ. A importancia do primeira cocficientes universaise o segundo resulta em cohomogia éale na geometri alggbricaartmética, i ser claro no teorema de ‘+ Bem, na construgdo da homologia relativa de um par A C X, no me parece que usamos que de fato A € subespayo de X, mas apenas o ‘mapa de inclusdo i: A —» X. Se tivermos um mapa continue f : A —> X, temos ainda homomorfismo induzidos nos eomplexos de cadeias fi .Cx(A) > 0.1%) ‘© podemos tomar os complexos Ker fy © coker fy. c tera sequéncia cxata de complexos S(f) <0 kerf > Cx(A) > O.(X) > coker fa > 0 ‘Se temos mapas continuos f : A> X eg: B—> Y emorfismo h entre fe g, ou sea, aplicagdes hy : A> Bey : X + ¥ tals que ‘gh; = hf, induzimos morfismos entre as sequéncias exatas de complexas h. : S(f) > $(g), em especial temos mapas hye ker fy > keray e has: coker fy > cokeray. ‘que vdo dar em morfismos nas homologias associadas. Assim, me parece que temos functor LH, : Top? > Gr( Ab), conde Top! &a categoria de seta em Top, eno sina categoria de pares. Também me pareve que na categoria de mapas continues Top tem nela uma nogdo natural de homotopiae TALVEZ.ocrta uma invarnciahomotGpia (lve, salve, ainda nem tate porque to isso €claramente um delitio) ‘A homologiarelativa¢ exatamente @ homologia de complexo coker ig, com i: A —> X inclusio, O que acontece nesse caso & que keris & rlo e lemos ume sequénciaexatacuta de complexos, que vai dar uma soquéncia exata longa nas homologias sso & bem bora omputacionalmente- Com as incluses amibém no prevsamos falar de morfismos entre mapas, pois 0 hy que aparece no pardgrafo anterior €somente a resugHo dehy ao subespayo A eno basta falar de mafismos ene espagos, o que "simpliica” as coisas. Sbretudo, dado C.(A) & subcomplexo de C,(X), nada mais natural qu tomar o complexo quciente. Chepames ento no meu desconfrt:j que falamos de homologiarelativa cha ntressenelas, exist algum ineresse nesses homologias que surgem das complexos ker fz e coker fa? (antes mesmo de pensar se estas so computiveis) Resposta do Hossein A substtuigao do mapa de inelusfo por um morfismo ¢ um procedimento tipico na teoria de categoras. O exemplo tipico que eu conhego sio topologias de Grothendieck , onde a inelusio de um aberto em X 6 substutuido por um morfismo. Voltand para ‘sua pergunta, no conhego muita literatura ¢ pode ser que foi estadado puoco. Sugiro que ve primero pegue fsurjetivo sem pontos citicos (ibragio localmente trivial), c depois com pontos erticos. Minha intuigd0 me disse que esta nova homolologia tem que ter relgo com 0 tipo das singularidades do f Bom todo esto no entra no nosso curso. Lembro que 0 curso tem q ser til para quem vai fazer geometria ‘Riemannian, diferencia, simplética, complexa, algébrica,teoria de Hodge et. Entio temos que manter 0 nivel num padario razodvel Pergunta/Comentirio 2 Brayan Ferreira + Neaula2 prov invariecahometipic da homalopa singular constundo una aplicsf P qu eumpre «propiedad bordo(P) + P(bordo) anh Alguns livros nomelam P uma "homotopia de cadeias entre fe g". A minha primeira pergunta € uma curiosidade: existe algum exemplo em {que temos P homotopia de cadeias entre fe g sem termos os mapas fe g sendo homot6picos? \w3.impa.bri-hosseir/courses/material/2020TopologiaDasVariedadestay-p html mtsai0t2021 Curso topologa des Variedades, Margo-Junho 2020, Pergunias @ Respostas Resposta do Hossein J4-vimos tal exemplo na demonstragdo do teorema de excisio, O mapa'T dé uma homotopia de eadcias entre Se @ ‘dentidade sem existencia de objetos geométricos. + Ainda nesta aula, estudamos o grupo H1_O(X,G) para X nio vazio e conexo por caminhos. A minha divida parece ser bem baba. Como Coneluir to fil, defnindo 2 aplicagio que leva um I-simplexo singular sigma na diferenga sigma(|)-sigma(0), que H_O(X) ~ G.p para um ponto fixado p? Estou acompanhiando,principalmente, as suas nots eo livre do Hatcher. A demonstraao do Hatchet ficou mais clara para mim (ele define o homomortismo que leva o O-simplexo sigma na soma de seus coelicientes em). Resposta da Hossein Pode fiear com versdo de Hatcher que est bem feta, Nas minhas notas,escrevo que para dois pontos p eq em um «espago simplismente conexo temos p-q=0 em H_O(X). Portanto tudo se reduz a um multiplo de p! Pergunta/Comentario 3 Felipe Espreafico «1 -Ne denis de homolog, voot sa mapas aves ove dsar maps cones que 60 mais comum, Etendo usm mio dos {aso vamos tabular nu conte ere Po su ho peeates consid as de spy pune omg Mas Ho Sno cmenrprgu ode tm mapas aves oar homolog acid ge toe menor map one Jose Sontierscmos pape oman) Sci paue pros eponrar ane ona por unex rover Repos do lost None da tule devcoama er oma X um espe eplgceensnpiexos comin Mas dade q vos apc {bis extn vedas suave tomas ungbe tutes mem, Unica aa ue vo memes en par so ustedes Tomelopas lo starr anima dchomlogiae potato ods slo omuarias Mes no nico pre um problema nv go omulogiadtnida por anges suvesecominaa do oor + Outacoise que que comenar sobre orem da Exc Na sua demons, nfo empresa muito bem come uncon o operadar umes voc eniou uma ceyao ta ule De faa, n ode Greenbrae ooperaorB& dfs epenus par simpoxor {Sjugs colons, de fore gus poemos"lizar os orto «3. Em cto ada no conse ear um lg oud operas ST Derumaatind wo vo do Wao, qe cm agus denny mes and sino me esclarera completamente Acted qes’S sv aa somos smplnes menaes each Suis com bsnl aden sand decom Vl ‘peor mut bom Resp do Hosen Come quevemencionou fae soma ds simples monees ue aaresem na sbi, Do ou ad agente {emus nyo que Sra denidad nrc a ema fang em homaoga Nes stages sempre om us Pus poo ese fomotoia decade (Neste caoT) De nope srs bom gece defi de lena car por coe ropa Teo ata gue depois de viriastentativas iamos chegar « mesma definigdo! De repente seria bom pensar se dais maps de homotopia T_{ e 2, isto Of, +18 = $~Id, i= 1,2 «e caracterisar T_1-TL_2. Me parece um bom exercicio nos tempos de confinamento. + Sobre o exercico 5:"Até que ponto podemos alterar os simplexos? Na minha ideia para demonstra exercicio, nfo consegui achar um ‘somorfismo entre os complexos, apenas entre as homologias (subdividindo os eubos em simplexos, no sei se esti certo). Pergunto se os ‘complexos so isomorfos (mesmo cu nio tendo conseguido achar esse isomorfismo) e em geal, quis outros espagos podem ser usados além das eubos e dos simplexos? Resposta do Hossein Bom este € um dos exereios que & mais para exercita os neuronios do que relamente solucionar! A isomorfia entre as ‘homologias obtidas vamos mencionar quando tenis demonstrado ‘ads 0s teoremas necesérias para introduzit os axiomas da homologia, ‘Mais a ideia do exercicio & pensar sobre isto antes de chegar Ii, Sobre a iltima pergunta: No caso de superfices paderiamos utlizar bexagono «alguma generalizagio deste em dimensio alta! Ver por exempla casa de abel =) + Sobre o exercicio 6: Que tipo de subdivisio deve ser considerada? Eu considerei subdivisbes quaisquer (desde que 0s simplexos se intersectam apenas em faces) mas podendo inclu pontos interiors como vértces dos simplexos novos. Acredito que encontei uma que funciona, semelhante a uma subdivsio baricéntrica, mas ainda no escrevi os dtalhes para conficmar, Em todo caso, nfo consegui entender se existe uma condigdo geral sobre a subdivisbes. Vou tentar pensar um pouco isso. Voc® sabe se existe tal condigo? Resposta do Hossein Muito bem. A ideia deste para ndo s6 seguir os livros, mais cada vez fazer perguntas que parecem naturas! Falando sério, eu mesmo tenho que pensar neste problema, mais com lantos proelos de artigos livros... Espero que ves me ajudam responder «estas perguntas naturia! Pergunta/Comentario 4 Gabriel Fazoli Domingos ‘+ Of Hossein! Estou te mandando o bloco de notas que fiz enquanto fui estudando, Estou te mandando vidio por lectures, Estou fazendo ‘9s exercicios do Hatcher também, Posso te mandar perguntas dele se aparecer alguma divida? Resposta do Hasscin Pade sim. Na verdade de qualquer material relacionado pode fazer perguntas, mas néo esté garantide que eu sei as respostas + Lecture 1 Pengunta: qual o minimo de n-simplex para construir $S°n$? Consigo sempre construircom 2 n-simplex: cada hemisferio de $8°n$ & homeomorfo a SD"nS, que por sua vez é homeomorfo uo $\Delta’nS. As faces de $\Delta'n§ séo levadasjustamente no equador da cesfera. Nio consegui ainda provar se é ou nio é possivel construir com um n-simmplen 86, Homologias determinam o espaco topoligico e vice-versa? Fu sei que espagos topoldgicas ndo homot6picos podem ter o mesmo grupo de ‘homologia. Tem algum resultado parcial sobre isso? Também ndo sei se, dados grupos SH_iS, existe um espaye topolégico que tem cexatamente esses grupos de homologie ‘Resposta do Hossein Homologias em geral nfo determinam o espago topolégico, O exemple tevial seria B® e 2” com nem diferente, Mas poderiamos fazer a mesma perguota numa clase restita. Por exempio, dentro de superfices orientéveis ¢ compacta, as homologias determinam a variedade, Neste caso H_1 é de dimensio 2g ¢ g 60 genero (numero de buracos), Ne geomettia complexa eteoria de Hodge aparece uma generalizaglo desta poguiachamado Tearema de Torelli. No final da contas esta pergunta dentro de certa clase de variedades ‘pode ser dificiel de responder! ‘+ Lecture 2: Relagdo do grupo de homologia do recobrimento universal: por exemplo, se $X$ € um espago topolégico razodvel(conexo, Tocalmente conexo por eaminhos, semi-localmente simplesmente conexo), existe SYS seu ecobrimento universal. Tereros SH_O(Y}= imathbb{Z}S, SH_I(¥) = 0S, eobviamente a projeyio mY ox induz me Hy(¥) Hal) \w3.impa.bri-hosseir/courses/material2020TopologiaDasVariedadesitay-p html amsai0t2021 Curso topologa des Variedades, Margo-Junho 2020, Pergunias @ Respostas Mas tem algo a mais? A mesma pergunta pode ser feita pra qualquer outro recobrimento, mas nlo consigo acharrelagdes mesmo com o recobrimento universal. Resposta do Hossein Pelo menos esi claro que H_1 € igual a zero, Para Hn > 2 tem que ver a literatura, No sei como responder. + Lecture3 Sobre a sequéneia exata longa que voe® Constréina pagina 4. Voct aplica essa proposigdo diretamente para a cadeia SD \rightarow C_BIA.) rightarrow C_n(X.B) \ighlarrow C_n(X.A) \rightarzow 0S, eeu concordo que ela & exata, Mas olhando o Brendon,ele posterga iso para 9 pigina 188, ¢usa um lema sobre didgramas trangados. A demonstragdo dele estécorreta também, mas no entendi porque ele faz assim e nfo como corolrio do que ele tinha feito antes, Resposta do Hasscin & que Bredon a partir da pagina 182 quer deduzir todo a partir de axiomas. Entto ja no exist te. ‘Lecture 4: Tanto no seu material, quanto no Hatcher e no Bredon, o teorema da excisio nio pede que U sejaaberto, Mas ainda no Bredon, {quando cle dé os axiomas de homologia na se5do 6, no axioma da exeisio ele s6 enuncia para U aberto, Nés usamos em algum momento ne ‘demonstragao U aberto? Eu pelo menos no achei, acho que néo precisa ser aberto mesmo, cadeia de n-complexos Resposta do Hossein U mio precisa ser aberto mesmo. Mas nos aximas de homologia U asumimos que U esti aberto, Para deduziro teorema de exisio para U ado aberto, encontramos uma sequencia de abertos Uyn € NeomU CU yy On Un =U «tal que possamos eplicar 0 teorema de excisio para U_n, Depois tom q argumentar q este dé o teorema de excisgdo para U. Tenta encher detales deste argumento! Pergunta/Comentario 5 Francisco Gabriel de Moura Orlando + 1-A‘minba primeira pergunta& wm poucoabstata e precisa de um pouco de contexto. Eu tenho difculdade de estudar um assunto sera entender bem qual € 0 "posto" de estudilo. Eu preciso sempre trem vista unde cu quero chegar com uma dada lina de raciocinio. NSo onsig estudar se eu semi que s6 estou fazendocoatas eimplicayes ao aaso e vendo no que di Vendo os videos do canal do ipa Tendo os livros, principalmente Elon e Hatcher, aimpresso que te € que o pont de estudar homolog ¢ aprender a ealeular os grupos de Jhomologiae que eadsteorema tem apenas o abjetve de facia a conta. se 60 meu primeirocontto com homologia ou mesmo com copoogia algeria e pease que eu seria capaz de fazer deduges sobre um «spago ou uma variedade a partir dos grupos de horlogia ou cohomologia, assim como podemos calcula a determinante de um operador temum espago de dimensfo finta para saber se ele ivertvel, Ou como podem determinar se uma forma hermiiana épostva-detnida a parr dos determinantes dos menores pincipas de sua maz em uma base. Mas ao menos nas fonts qe i enos videos, pareve que no &0 aso. No maximo, tem teoremas sobre expagos super especiicos, como qualgurfungdo continua em Dn ter um ponto fixe, mas nenkum teorema sabre expasos topoldgicos ou variedades genéricas ou polo menos com algumas especficagdes como conexa ou compacta Eu no tera um problema com o ponta do eso ser apenss calcul os grupos, se eles forem usados futramente em demonstragSes 0 consrugBes qu cu va estar, come polinémios, por exempo,sio usados para define os polindmioscaraclrsticoe minimo de um {operador ou come produtostensorais de espagos Vtorias aparece na demonstra do teorema especial para em espags vera reais de Pa) =0 « temos um absurdo, ‘Sem embargo o Elon afima que no caso em que os complexos so livres entdo vale a reiproca, o qual nBo consigo ver ainda, alguma sugeréncia? Resposta do Hossein Nao tenho pensado neste problema, Alguem da turms quer investiga este? ‘Um outro exereicio que gostaria compartthar & que se os morfismos S{.gS sio homot6picos algebricamentee fo. qualquer n € N os mapas f* e 9° também sio homotdpicos algebricamente. De fato sabemos que existe D til cue Sp — 9p = Ap) :Dp + Dp. 186 90 f entio para «vale também que BT Hop te + Np — 96) Defina entio os homomerfismos i a + logo, como f © g comutam com 0 operador horde S\partials se verifica finalmente que: Opry + lp 1p = (ff +0 +98 OperDy + (+ + 98 "Dy rd = $8 — 9F Se tver algum erro no meu argumento me fala que eu tento consertar:). Muito obrigado! Resposta do Hossein Esti certo Isso ¢ uma das rades porque algebra homoligica foi eriado, Os argumentos topologicos, meio intuicional «| ‘vaga, fam substituidos por argumentos algé>ricos que sio mais rigorosos. Pergunta/Comentario 7 Aline Leite Vilela D'Oliveira ‘Comentrins Resposta do Hossein Isto vamos colocar um ane! no lugar de um grup abeliano, Masa discusio com um grupo abeliano & valido, Neste caso ‘vamos sempre falar de n-simplexos com algum cocficiente em G. Nas minke apresntagio nao muda muita coisa! Comentiio sobre gz est cenissimo, Tenho que confessar este hibit de no cuidar muito da rigorosidade passou para mim dos meus coautoresfisicos ‘Obrigado pela corregdo de o fecho de U estar dentro do interior de A. Esté certo, Iso ft stlizado na demonstragao!!!! Pergunta/Comentario 8 Eddy Santiago Achig Andrango \w3.impa.bri-hosseir/courses/material/2020TopologiaDasVariedadestay-p html amtsai0t2021 Curso topotogia des Variedadas, Margo-Junho 2020, Perguntas e Resposlas + LA minha primeira pergunta é uma curiasidade quando eu i o Hatcher, Ao momento de definir homologia redurida, Ele diz: Here we had better require $ X § to be nonempty to avoid having @ nontrivial homology group in dimension ~1. Pagina 110. claro que c Tages Faw « se e somente se X é vazio, Minhas perguntas so: Tem alguma importinci esludar o caso X vazio? Pra mim parece que simplesmente a ‘gente poderianio considerar esse caso. Tem algum problema em ter homologia em dimensio 1 ndo vazio? A principio parece que alo {veri ter problema, mas o jito no qual ele esereveu pareve que tem alguma coisa acontecende, Resposta do Hossein O vezi aparece por questdoes de generalidae, Por exemplo escrevesequencia longa de X, A com A vazo. Iso nos fore dainr H_n do vazio{0}) assim vai! agora me diga a dimensto do vazio. nos meu rigs é mats consistent dfiilo 1!!! + 2 Bupereebi que na prova do teorema de excisio, a definigdo no Hatcher & T(on) ~ (Bu ~ BuT0\(on) «© satisfaz a mesma propriedade $\partial TT partial = 1-8 S. Quero saber se existe uma forma geomtica de ver que os dois mapas server para a prova dest tcorema. Isto também tema ver com a petgunta do Felipe Espreafico jf que neste caso conseguimos dois Ti diferentes que eumprem. Ache que na sua resposte para ele voe® quer dizer: 67, + T,8 = S —Id, i= 1,2. que €assituagio que ed Respasta do Hossein A corregdo esta ceta! Aceito qualquer escrita nesta direglo como parte dos exercéios, Na verdade vamos ter outros ‘mapas de homotopia, onde eu no conieso geometra!!! ‘+ 3 Seja uma permutagdo de {0,1,...,}. Minha pergunta € se Flier ote = Aiea se Respost do Hossein Os dis m-simplexos [t,---, Ya] € [Pos ---1 an) Some conjunts so igus. Mais um n-simplexo vem junto com order de seus vertices. Por st, para umf efnido em al conjunt, ax dass fuengSoesacima podem sr diferentes! Melhor uslizar a idenifcagzo de um resmplexo com n-simplexo standard, ver pagina 169 de Bredon.E engrayado que no inicio pends qu fla 0 signo de ‘7na igualdade acima! Depois de tantos anos de ulizar a homolog, volando para os fandamentos, lé eu confundo, Pergunta/Comentario 9 Mitul Verma + LEX isa topological space of dimension _n_(a CW complex or a topological manifold), i thee a quick way to see thatthe singular homology groups H_m(X) for m > n are e%0? Tt seems that we conclude this using the isomorphism of singular homology with simplicia ‘homology, but I was wondering ifthere was a more direct way. -Resposta do Hossein Later inthe course we will se tis. For now in my mind the most ditect proof is by the isomorphism of singular cohomology with Ceck cohomology. Ceck cohomology is traditionally done inthe Complex Geometry cours. ‘+ 2. Given sequence of \Z-modiules H_n, is there away to construct a space X with prescribed singular homology groups H_n? Can we put ‘some conditions on X (for example, raquire X to bea topological manifold)? Resposta do Hossein One ean even refine the question by considering the whole ring of homologies H_* with the intersection pairing. In the category of smooth complex projective varieties, the dimension of H_n n odd, must be even. This follows from the Hodge decomposition. In ‘general, Ido not know have answer to you question, Pergunta/Comentario 10 Joao Aloisio Pering Junior + 1) Vimos que a homotogia singular de espayos topol6gicas € um invariante homot6pico. Mas até que ponte a homolog singular & capaz de dlistinguir entre classes de homotopia de espagos topoldgivos? Seré que se f : X —> ¥ & uma apicasdo continua que induz isomorfismmos snire H,(X) © Hi(Y), Vi enti f € uma equivaléncia homot6pica? (mesmo se forem espagos mais hem comportados como vatiedades suaves?) No contexto de complexos CW, vi que a pergunta cima tem respostapostiva tocando a homologia pelos grupos de homotopia (Feorema de Whitehead), ras ndo sei como relacionar esses dois tpos de estrtur Resposta do Hossein Voce me pegou! Eu mesmo tenho que ficar olhande a literatura, Algum de ves com mais habilidade no tempo de ‘google pode responder este!!? + 2) Outea questio que me veio em mente ¢ sobre diferentes teorias de homologia. Seré que toda teria de homologia associada a espagos {opotdgicos deve ser homotopicamente invariante? No caso da homologia singular, essa propriedade se apois fortemente sobre a possibilidade de podermos dividir um prisma em novos "teiagulos" que intepolam a homotopiatopoldzica para o nivel de complexos. Mas ‘na homolagia de Morse, que & construda de maneira mais dindmica esse propriedade ainda se vertica pelo fato dessa homologia ser ‘somorfa a homologia singular, apesar de ndo ser claro o fendmeno que esté ocorrendo no lado dindmico, Ainda nesse sentido, &conhecido alguma tearia de homologia sensivel a propriedades mais finas que a homotopia no contexto topolégico? Resposta do Hossein Nao entendi o context. + 3)Por fim, aparentemente homologia singular é um invariant iil por termos muitas ferramentas pars celeula. Naturalmente, o eéleulo {deve ser mais simples em espagos que possuem somente ws informagdes rlevantes aos olhos da homologia, como acredita que seja caso {de complexos CW, et, Nesse sentido, que classes de variedades adenitem estruluras semelhantes a essa? Resposta do Hossein Sem comentirio Pergunta/Comentario 11 Danielle Nunes ‘+ Vina pigina que voeé pediu que mandéssemos dlividas, mas por hore nfo tive muitas e as que tive procure por referéncias variadas Inclusive, estou te enviando por aqui um material que me parsceu muito bom at’ agora, um texto leve, que conversa com letore ajudaria a \w3.impa.bri-hosseir/courses/materal2020TopologiaDasVariedadesitay-p html sitsai0t2021 Curso topologa des Variedades, Margo-Junho 2020, Pergunias @ Respostas Pergunta 5 Francisco Gabriel de Moura Orlando pois a cada parte tem um pouco de motivacional Sobre a pergunta "FungSes que induzem equivaléncias na homologia induzem equivaléncias homotdpicas ”. Minha opinido & que nlo, de fato basta construir uma fungdo entre dois espagos onde um tem grupo fundamental abeliano e outro ndo (Mas que abelinizados seam os ‘mestos). Como HI & a abelianizagio de =, a fungi ir indusir um isomorfismo de homologia, mas nio uma equivaléneia homolopica, Visto que comegamos com espagos com homotopiadistnt, Para embasar minha resposta, pesquisei e encontre na pagina do wikipedi, como consequéncia do teorema que o Pergunta 10 Jo ering Junior eitou na pergunta 10.1 e o teorema de Hurewiez afirma que o resultado é vilido para complexos CW simplesmente ci Procurando no Hatcher 0 Covollary 4.33 & exatamente o resultado que acabo de comenta Pergunta/Comentario 12 Eddy Santiago Achig Andrango Bos noite, Bu jéenviei minhas persuntas no email anterior. Agora vou me focar nas erticas ¢ comentirios, Fu estou estudando principalmente do Hatcher © me judo das suas notase dos videos do curso que foi dado pelo Vinicius no ano pasado ‘A primeira aula, que foi dada presencial, foi muito clara e acho muito interessantes os seus comentirios com respeto ds origens da hhomologia eas referéncias que vocé deu para ler. Também acho muito legal que vooé aproveitou para definir cohomologia junto com ‘homologia com uma construrdo muito natural. Uma coisa que eu nao gostei, foi que da primeira para a segunda aula vocé mudou de notagdo para as faces e para os simplexos, Para a segunda aula, eu teve que dar uma lida nas definigdes do Matcher pare os simplexos eas faces jd que a parti dagui voe® comegou a utilizar a notagdo dele. Gostei muito de que voce deu uma ideia da prova antes de entrar nela. Ter uma ideia do que @ gente quer do mapa P ajudou muito, No Hatcher e nos videos do YouTube apresentam a prova ditetamente,e parece uma coisa muita estranha o mapa P. Acho ‘muito interessante também o desafio de eriar 0 nosso préprio mapa P para a prova, ajuda muito para ter uma melhor ideia do que ests acontscendo, ‘A aula 3 jd era um tema mais conocido para mim, sequéncias exatas aparecem em muites partes da matematica. Fiz exercicio de mostrar ‘sexattude, sempre interessante voltara fazer diagram chasing. A construgdo da sequéncia exata longa em homologia partir da sequéncia ‘exata cura ficou muito claro. E os exermplos(sequéncia do par (X,A)e do trplo (X,A,B)) sio muito ites nas aulas seguinte. Para a aula 4, ea vi que a Aline jé fer corregao no enunciado do teorema, j que o Fecho de U tem que estar comida no interior de A. Vo ‘mostrou uma das verses do teorema e o Hatcher fez @oulr, isso foi muito instrutive para encontrar semelhancas e diferencas. Como eu ja ‘eserevi no anterior email, foi legal pereeber que da para mudar a definigdo do T. Matos passos na demonstragdo fearam como exercicios, 0 «que foi bom para exercitar nos edleulos. Também como a prova é bem parecida& do Hatcher, dé para dar uma olhada em caso de dividas. Em geral, estou senfindo que estou aprendendo muito neste euro. E ruim ndo ter aulas, mas est sendo um bom desafioo procurar entender fo livzo eos videos sozinho. Obrigado por ficaratento da gente e responder as nossas divides. Pergunta/Comentario 13 Danielle Nunes (29/03/2020) Prossegui com a matéria, mas aquela pergunta ficou ccoando na minha mente ! Tentei mais uma vez pesquisar e achei algo Muito interessante! De fato, meu palpite estava certo! Além disso uma das possiveis respostas pergunta,estérelacionada a conjectara de Poincaré ("Every simply connected, closed 3-manifold is homeomorphic to the 3-spere. © ‘ntpsen wikipedia orewiki-Poinear¥4C2%A9_conjecture )ndo poder ser reescrita em termos da homologia phere) Felizmente encontre algumas construgBes aqui omoto Pergunta/Comentario 14 Carol Mangur Daivida 1 Resposta do Hossein Este foi da lista de exereicio! Ve tem quem primeiro entender @ que & a. Assim que ve entender a construgdo de oo cleo do bordo de ¢ é imediato, Tem que perceber que as duas demonstragdes de Hatcher e Bredon sio identices,s6 com blabla diferentes >). As linha parelelas num vem da projegao no outro, Alguem quer escrever umas linhas neste respeito? (vai melhorando notas) Diivida 2 Resposta do Hossein Por isso seria bom que ve desse uma olhada nas minha notas que sio baseadas no livro de Greenberg-Harper. Tente seguir esta demonstracio. Pergunta/Comentario 15 Pedro Silva ‘A minha quest~20\' sobre o eYalculo ds homologs da estera, Logo no inicio da demonstrale inclus\-a0 a0 ve faz a afirmate e\-ao que @ B's") 3 (8B) {nduz um isomorfismo em komologia. Primeiro, uilizando o teorema da excisao, ve retira V de (S", E~) e obt'em "\ WEY Depois ve arma que B~, $"-1 Ve retal d-ao de $" \ V, E~ \ V. Bem, foi aqui que eu me confund um pouco , por isso, gostaria 30 Ve dif ver que $"-! Ye um retato por deformaie ao de BV, ou sea, podemos definr un mapa de B \ V para $°-1 (este mapa seria simplesmente era a ultima coordenada ¢ ormalizar) tal que acomposta com # incls\-ap (de $** em B \ V )\'ehomotopicaaidenidade de \ V.utilzando esse mapa podemos considera um mapa de pares $" \ V, B- \V vightarow #', 5" * gue, poo teorema ds invaiancia homotopica de esclarecer: ‘ que ew interpret dessa afirmale e\-ao esta correto, Eu pense o seginte:n \w3.impa.bri-hosseir/courses/material2020TopologiaDasVariedadestay-p html emsai0t2021 Curso topotogia des Variedadas, Margo-Junho 2020, Perguntas e Resposlas versa relativa, induz isomorfismo em homalogia. Sera isso, mesmo, ou cu estou confundindo as coisas? Resposte do Hossein Isto mesmo, Ve ealocott mais detales na demonstragio! ‘+ No final da aula 5, hi um corolario sobre @ homofogia de B” com relae\~ao a $"-". Para mostrar que H_0 vai ser zero neste ease, eu precise usar o fato de que a hommologia relativa reduzida coincide com a homologia relativa (pg 118 do Hatcher). Di para fazer de outra forma? E para demonstrat este fato de que a homologia relative reduzida coincide com a homlogia relativa!? Para n maior do que 2210 0 {ato 'e trivial, Mas para n = 0 tlver nao seja, Ent~-20, eu pensei que, alvem de considerar a sequencia exata longa associada a0 complexo «stendide que ¢ Hatcher menciona na pagina 118, tambem seja preciso considerar oa sequencia exata longa associada a sequencia exata de ccomplexos estendida por 0 > Z > Z >> Z ->... dessa forma, dé para coneluir ofato pars H_O uilizando as duas sequencias exatas Jonge eo five lemma, por exemplo. [Resposta do Hossein Para ealculo de H1_O de qualque par (X, A) utlizadiretamente a definigio de H_0, Se X € coneno et o(X, A) © Ando vario Go(XY/Co( A), Tmage(d : Ox(X, A) + Co(X, A))) G-moduilo gerado pela diferenga de qualquer dois pontos de X rreira Pergunta/Comentario 16 Brayan + O motivo de eu estar “quieto” & que estava estudando outras coisas nos iltimos dias. Hoje foquei totalmente em nossa diseiplina ¢ finalmente acabei de fazer os exerciios de Tor e Ext. Agora sim estou pronto para estudar sobre o teorema de coefiientes universas ma ‘homologia. Tenho dois comentirios inocentes: 1) Ndo se se € sé impressio minha ou gosto particular mas, a prinelpio, lidar com eohomologia parece ser mais simples do que homologia ‘haha. Inclusive na hora de demonsiar propriedades, como por exemplo, do grupo Ext quando comparado ao grupo Tor. Opinido: pode ser {que isso se deve ao fato de estudarmos anteriormente Cohomotogia de De Rham (anise em variedades, ete) ¢ os espacos duas (Slgebra linear, andlise funcional, ete) Resposta da Hossein Voce tem chegado & uma conclusio muito importante, Pessoal que faz gcometriaalgébrica no gostam muito de Jhomologia preferem cohomologia, Razdo: A cohomologia que tem muita outras generalizayaoe (cohomotogia de Ram algcbrica, ‘cohomologia étale, cohomologia cistalina etc.) Uma vez nas minhas comunicagSes com P, Deligne, Professor de IAS, ele comegou sua cata ‘com’ dislike homology". Fu pessolamente gosto da homologia, pois nela cu tenho uma intuigo e mais importante integramos formas differencial em cima de elementos da homolog + 2) Para resolver os exerccios da aula 7, acabet pesquisando definigdes como grupo divisivel, grupo livre de torso, ete. Nio tive tempo para ‘ver em detales mas enguatto lia sobre esta parte de Tor e Ext, encontrei uma rferéneia que parece ser interessante. Existe in livro chamado "Homologieal Algebra” de Henri Cartan e Samuel Eilenberg. Seria interessante comentar com os outros alunos, caso alguém se interessa pelo assunto. Pergunta/Comentario 17 Pedro Silva + Poli éemonstragio do torems de coefcientesunversais em homolog no Hatcher. Eu enfendi que a demonstra depend «ssencalmente do fato do produto tensorial ser exat a direta ede que Tor nao depende da resolug lve... Porém, eu figuci com a Seguite dv Por que 0 mapa entre Hy(C,@) © By-1 © G na sequensiaexat longe (i) (pg 262 do Hatcher) no ¢identicamentenulo? Até onde eu entendo este mapa € indi pela aplicasdo de eadeias 9, © 1 entre C. & CG e B.-1 & G (diaprama i pg 262), mas esse Qy @ 1 éambém © bordo do complexo C. © G... Ent, por isso, eu pensi que o induedo em homologa deveria ser idesticamente nul, o que provavelmente nda & verdade porque, se fosse,o restante da demosntragao nio faria mito sentido Resposta do Hossein Se temas inelusio de grup abeliano A em B e G soja auto grupo abeliano,tensorivando AC B com G no emos inelasf, vera defnigo de Tor. Conclaséo: Mesmo que Ker{in-1) = 0, Ker(in-s ® 1) pode ser que no € 2210 Contra respota do Per Silva Aguilo que voe esereveu lina pagina eu hava notado antes. Inclusive, fo exatamenteagulo que fz com «que eu pensase na pergunta qu fz. Mas agora eu entend rao da mina divide... O meu problema era qe pareca que os mapas ne Lente C, 2 @ eB. 1 2 G co obonlo do complexo C, & G eram o mesmo mapa. Acuntece que fu enganado pela nota. Mas, agora, eu entendi que estes mapas no sio exatamente iguais...o primo &obido tensorizando uma era esrigdo (20 codominio) do mapa 4, enquano o segundo pode ser obtido como uma composigdo deste com j@ 1, onde j By-1 > Cn-1 €a.inclusio...Com essa interpretado, fea clare que o mapa entte Hy(C,@) e By 1 ® G na sequenciaexata longe no necessriamente nul, Pergunta/Comentirio 18 Felipe Espreafico nda no ‘+ Apesar de conseguir calcular Tor para alguns casos simples e provaralgumas das propriedades que foram deixadas de exerci consegui mostrar que ele & independente da escolha da resolusdo livre. Se temos duas sequéncias 0 —> Fi > F) > A De 0 Gi > Gy > A> 0, consiga construe mapas Fy > Gio usando que os grupos so lives, e induzir mapas Fi > Gy e depois nos produtos tensorsis. Da mesma forma, obtenio uma mapa entre os dois funtores Tor. Porém ndo eonsigo mostrar que esse mapa é um ‘somortismo. Tem alguma diea? Estou com o mesmo problema para mostrar que 0 funtor Tor "comutativo". Sei que A B= B® Ae .consigo os mapas como acima, mas nfo sci mostrar que 0 mapa entre os funtores Tor seré um isomorfsmo. Resposta do Hossein Dé uma olhada no livo de Hatcher Lemma 3.2, pgina 263, Proposition 34.5 pagina 26S. Pergunta/Comentario 19 Gabriel Fazoli Hossein, me corrja se estiver errado, mas sua definigio de I-formas nio coincide com a definigdo usual, correto? Ache! uma discuss interesante sobre isso aqui: hipsligolem ps utexas.edu/category/2009/12/this_wocks finds_in_mathematic_48 himlc030464 Confesso «que ainda no Ii tudo, mas parece uma boa fonte de observagdes. Com isso em inente, Fico ei divida quanto/as afirmagies 4,5, e 6 \w3.impa.bri-hosseir/courses/material2020TopologiaDasVariedadesitay-p html 7msai0t2021 Curso topotogia des Variedadas, Margo-Junho 2020, Perguntas e Resposlas Afirmagio 4: Por exemplo, para i-1, Coma observado, previsaria provar que df = > day, que vale para I-formas usuais. Até estou tentando usar afrmula de Taylor, mas nfo consigo seguir. E nese frum os comenléros slo que isso pode nose verdade. Tarabém aqui Intp:mathoverflow ne/guestons6074kabler-differentals-and-rdinary-differential/9723#9725 tem um esboso de prova que de! edt -Afrmagio 5: Se eu consegusse fazer a afirmasio 4, afrmago 5 ssiria sem muito problema: uma m-forma, com m > n, teria d2, repetios e portato se anulari, Mas de novo, no comentario aims ele prova que de edt sio "independents, eno no vejo motive para aque de! dt = ‘Afimagio 6: 0 mesmo exemplo de cima, a repra da cadsia nos daria que de! = ed ‘agora, eeu puderrabaltar apenas com fangbes regularex(polinomais), todas esas afmagBes saem GGostria de una liz sobre inhas dGvidas Resposta do Hossein Critica bem feita para a primeira versdo da aula 10 a coloquei a regra da cadeia na definigdo de uma forma diferencal Resposta do Hossein Pergunta/Comentario 20 Aline Leite «ne qué tulsa semana pasa (ago rsd) deci de Szer sme ot execs 5,67 €13 qu sida tend ft [ikmpobana to exo, sant dls dees 0 07,06 seam oc a menor in. Joe cl det RP ar carts de fra ue ea ha xt iterenclvel ae a glo ero mine de cats quand adit Resposte do Hosea Como que hia mensionad sours emails alg exert a te enum la com aordl ale fae ssubstituigdo com outro. Mas melhor escrever o que ve pensou e até onde seu pensamento anadou! Tenta ver RP" como uma uniao de RP*"" Roles pd ntver cracls de RP, eemover un ber, qui pnts am dst ‘+ Outra coisa: 0 exercicio 13 ¢ imediato ou cu to muito maluca? Talvez eu nio tenha entendido como vocé define H™(X, A). (A) = 22 on oH(x, 4) = 22 perp fz lg seit Respond Hosa que C(A) ou uj de C¥(X), Endo o prin tm snd © exes i vi ta ‘emus pega clemson Ks °7'Na mina eabepa faz sentido sera primeira, e dat o exercieio 13 para mim parece trivial. Essa Pergunta/Comentario 21 Carol Mangur ‘+ Evestou com uma divida meio idiota, Queria achar um exemplo onde a cohomologia fosse nfo aula mas ¢ homologiafosse mula, Peguei a sequéncia C_2 = Z indo em C_I := Z por multiplicagao por 2 e depois C_I: = Z indo em C_0:= Z_2, a qual € uma sequéncia exata logo @ hhomologia HT? € zero. Como &sa sequéncia ndo € split, imagino que a cohomologia H°2 nao vai set zer0, mas nfo consegui caleular a ‘cohomologia Resposta do Hossein (© dual de tex complexo 6 Zezeo gue tom clemntos nio trivias em H°2, Resposta do Hossein Pergunta/Comentario 22 Thadeu Henrique Cardoso ‘Vie pergunta recente do Gabriel, que também era ursa divideinsOnia minha hi um sempo: quais as relagBes ente a diferencial de Kabler (que & a definigao sem a condigao 4 que voe® adicionou) eas 1 formas (com a condisao 4). Ou de modo mais geral: como codifear as 1- formas em uma propriedade universal razoave” Bem, parece que eu achei lgumas respostas no lab ‘nps:/neatlaborgnlabshow/K%C3%A dhler+differential Ainda estou tentando entender, mas parece que 0 médulo de I-formas € universal Adicionando a condigio "sem torgdo", o que na minha cabesa soa quase como um presente: médulos projetivos sio sem torgio, © definitivamente eu gostaria que seja Ii qual fora propriedade universal, médulos projtivosfinitamente gerados deveriam aparecernela, Jnups:len wikipedia org'viki/Torsionless_module A par de tudo iso, parece que a nivel de cohomologia, tudo & isomorfa (ao menos para vvaredades complexas, estou procurando 8 caso real). -itp:/en wikipedia orgwiki/K%4C3%4A dhler_differentialWGrothendieck’s_ comparison_theorer Pergunta/Comentario 23 Joao A. Pering Jr ‘+ Seguem algumas dividasipeoblemas que tenho sobre alguns asuntos estudados. 1 Sobre o sping da sequéncia no teotema dos coeticientes universais em homvologia, Acompanhe o Hatcher, teorema 3A.3. Comegamos com a sequéncia exata 09 Zn Oy > But \w3.impa.bri-hosseir/courses/material2020TopologiaDasVariedadesitay-p html antsai0t2021 Curso topotogia des Variedadas, Margo-Junho 2020, Perguntas e Resposlas «ue split (pois B (net 6 live) e nto tomamos ums projeo p : Cy —> Zq gue usamos pura estender a aplcagio quociente de Zn > HelC) para > Ha(C) Munindo 14C) do opetadorbordo alo, temos aplicasdo de cadias osm) que tonsoralza para CeGrHCjec « induz eplicagdo de homologia HalC5@) > Hy(C) 8G pois operador bordo no timo espago trivial, A afirmasio & que esse mapa & um splitting da sequéncia do teorema do coef universal pois ‘em nivel de cadeias a identidade nos cclos. Mas nfo consegui entender 0 que ocorre nos ciclos de C ® G seguindo os mapas acima. [Resposta do Hossein Nao entendo ber que ve quet dizer com altima frase. Ve e o comentrio 17 nesta pigina te ajuda, Pestolamente nfo gosto da demonstragdo do Hatcher. Tem que ler virias vezes para q a demonstragdo fique naturale sem mistério, Por isso nio segui esta demonstragio. + 2) No exercivio 32, parte 4, pede para mostrar que o mbdulo das i-ormas em $R°aS & 0 médulo livre gerado por $ dx_kI}wedge...wedge ‘dx_ki S para o sistema de coordenadas caOnico. Nao consigo ver como isso acontece a pati da definigao dads. Para ST\in O_(Rn)$ eu deveria conseguir relacionar SdfS com Sdx_{$ de alguma manera, mas nBo vejo como fazer isso Além disso, voe€ tem alguma reeréacia em mente que faa uma abordagem na dreg3o do que vimos na aula 10? Resposta do Hossein Para esta pergunia ver comentario 19 feito por Gabriel, Na nova versio da aula 10, foi colocado a regra de cadeia na defingao de formas diferenciis, As referencias slo no contexto de geometria algébrica que podem ser aiém do nivel do nosso curso, Ver também os links encontrados por Gabriel Pergunta/Comentario 24 Felipe Espreafico Guelerman Ramos + Estou lendo suas notas da aula 12 para me preparar para o encontro online de hoje e, enquante lia a demonstragio do Teoreme de De Rham, pensei que talvez aja uma outa forma de demoastrar que & ineressane, Durante minhe ineiagdo cientifica, na greduagdo, eu estudei um poueo de Homologia de Intersecgdo, usando o Livro de Friedman (ver Gree ‘Edman, Singular intersection homology). Apesar de o assunto principal do livro ser Homologia de Intersecgo, no capitulo 5 ele faz.0 {gue ele chama de "argumentos Mayer-Vietoris", que usa para relacionar funtares que tem ma sequéncia de Mayer-Vietors associada (como 0 caso da cohomologia de de Rham, da cohomologia singular e da homologia de interseeg0). Mais especificament, acredito que o teorema 5.1.1 na pigina 183 do Friedman pode ser usado para demonstraro teorema de de Rham, A demonstragdo desse tcorema ndo € complicads ¢ s6 utiliza um fatorelativamente no trivial que € que todo aberto convexo de R" & difeomorfo « R®, Contudo, em nosso caso, nem precisemos usar isso, uma vez que temas o teorema de de Rham para os abertos convexos. ‘Quando for eserever a demonstragdo do teorema de de Rham, vou dealhar essa ideia. De qualquer forma, talvez seria interessante ‘comparilhar com os outros alunos que iverem interes. Pergunta/Comentario 25 Jodo Aloisio Pering Junior 0, Prof, Hossein, Sobre divide levantada em aula quanto & cohomologa de de Rham com suporte compacta ser isomers a cohomologia singular com suporte compact. Enconte\algumas referencias ede fao sdo isomorfas. Pensci em um argumento para easo particular de «quando a varidade §M°nS&orienivel eadite uma cobertara boa Fina (esta eondigio € mas gerald gue M ser compact, c portato 0 {rgumento a seguir io & completamente redundant, mas &resvtva pois implica, em particular, que os as cohomologis tem dimersi0 fia) i) SU" (A) {e}(MER) ~ H_{n-k) (MER) pela dualdade de Poincaré. it) Trabalando com a cobomologia de de Rham e usando um argumento de Majer-Vitori (siflar a que sams na demonstra do teorema de Kieth) temos §(*(k)_(UR,e}(M0)** = Hae 4) {dR}(M0S que € uma duaidade de Poincaré, onde $8 &o dual altbrico do R-espago vetoral A demonstagio é mais simples que pafacohomologia singular e pode ser eacongada no primero cap. do liv do Bot-Tu i) SHMak)_{dR}(MER) ~ Nak) MER) = Hom(H_nck)(M:Z).8)~ (H_[t-k) (MER))"*8 onde usamos o teoema de de Rham eo eorems dos Goefcienes univers. iv) As cohomTogas de M tem dimeisio fn, pel hpotese da exstacia da cobertur ita portanto podemes “inverter” a dualizayao do isomortismo dei) ei, ejutando cons) di o resultado, 0 isomorfismo acima néo € candnico, ¢ & prova € um tanto “Torgada” pela hipéteseadicional. Entendendo sobre cohomologia de Cece relagbes com cohomologia de Rhem, sparentemente&possivel prova tal {somorismo em toda sua gencralidads. Algumas referéncas: tp: /www-fouricr.uf-grenoblef-demaily/manuserpt/sgbook pt - na pe 217 menciona oisomortism.htps:/math stackexchange.com questions/359242 /ponear%C39%A9-ialty-for-de-tham-cohomology-on- ‘non-compact-manfolds ~ uma diseussio com algumasabordagens para o problema, Resposta do Hossein Resposta do Hossein \w3.impa.bri-hosseir/courses/material2020TopologiaDasVariedadesitay-p html ontsai0t2021 Pergunta/Comentario ?? Nome do Aluno Resposta do Hossein Resposta do Hossein Pergunta/Comentario 2? Nome do Aluno Resposta do Hossein Resposta do Hossein Pergunta/Comentario ?? Nome do Aluno Respasta do Hossein Resposta do Hossein Pergunta/Comentario ?? Nome do Aluno Resposta do Hossein Resposta do Hossein Pergunta/Comentario ?? Nome do Aluno Resposta do Hossein Resposta do Hossein Pergunta/Comentario 2? Nome do Aluno Resposta do Hossein Resposta do Hossein Pergunta/Comentario ?? Nome do Aluno Resposta do Hossein Resposta do Hossein \w3.impa.bri-hosseir/courses/material2020TopologiaDasVariedadesitay-p html Curso topotogia des Variedadas, Margo-Junho 2020, Perguntas e Resposlas tomsai0t2021 Curso topologa des Variedades, Margo-Junho 2020, Pergunias @ Respostas Pergunta/Comentario ?? Nome do Aluno Resposta do Hossein Resposta do Hossein \w3.impa.bri-hosseir/courses/material/2020TopologiaDasVariedadestay-p html wnt