<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of tel-05273265</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-25T04:47:37+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Obstruction theory to formality and homotopy equivalences</title>
            <title xml:lang="fr">Théorie de l'obstruction à la formalité et aux équivalences d'homotopie</title>
            <author role="aut">
              <persName>
                <forename type="first">Coline</forename>
                <surname>Emprin</surname>
              </persName>
              <idno type="idhal" notation="numeric">1352519</idno>
              <idno type="halauthorid" notation="string">3056295-1352519</idno>
              <idno type="ORCID">https://orcid.org/0009-0004-6604-1873</idno>
              <affiliation ref="#struct-66"/>
              <affiliation ref="#struct-581232"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Coline</forename>
                <surname>Emprin</surname>
              </persName>
              <email type="md5">d9c706a7982d299e9b974e6a35fb9c88</email>
              <email type="domain">math.su.se</email>
            </editor>
            <funder ref="#projanr-51891"/>
            <funder>Ecole Normale Supérieure de Paris</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-09-22 18:34:49</date>
              <date type="whenModified">2025-12-03 14:48:03</date>
              <date type="whenReleased">2025-09-22 18:42:20</date>
              <date type="whenProduced">2025-06-25</date>
              <date type="whenEndEmbargoed">2025-09-22</date>
              <ref type="file" target="https://hal.science/tel-05273265v1/document">
                <date notBefore="2025-09-22"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/tel-05273265v1/file/th%C3%A8se.pdf" id="file-5273265-4523512">
                <date notBefore="2025-09-22"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="1439650">
                <persName>
                  <forename>Coline</forename>
                  <surname>Emprin</surname>
                </persName>
                <email type="md5">d9c706a7982d299e9b974e6a35fb9c88</email>
                <email type="domain">math.su.se</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-05273265</idno>
            <idno type="halUri">https://hal.science/tel-05273265</idno>
            <idno type="halBibtex">emprin:tel-05273265</idno>
            <idno type="halRefHtml">Algebraic Topology [math.AT]. Université Sorbonne Paris Nord, 2025. English. &lt;a target="_blank" href="https://www.theses.fr/"&gt;&amp;#x27E8;NNT : &amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Algebraic Topology [math.AT]. Université Sorbonne Paris Nord, 2025. English. &amp;#x27E8;NNT : &amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-5273265-4523512"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </idno>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</idno>
            <idno type="stamp" n="UNIV-PARIS8" corresp="UNIV-PARIS-LUMIERES">Université Paris VIII Vincennes-Saint Denis</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LAGA" corresp="UNIV-PARIS13">Laboratoire d'Analyse, Géométrie et Applications</idno>
            <idno type="stamp" n="INSMI">CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions</idno>
            <idno type="stamp" n="THESES-ENS" corresp="ENS-PARIS">Thèses ENS</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="MATH_ENS_PARIS">Département des mathématiques et applications de l'ENS PARIS</idno>
            <idno type="stamp" n="UNIV-PARIS-LUMIERES"/>
            <idno type="stamp" n="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="UNIV-PARIS8-OA" corresp="UNIV-PARIS8">HAL UNIV-PARIS8 - open access</idno>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Obstruction theory to formality and homotopy equivalences</title>
                <title xml:lang="fr">Théorie de l'obstruction à la formalité et aux équivalences d'homotopie</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Coline</forename>
                    <surname>Emprin</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1352519</idno>
                  <idno type="halauthorid" notation="string">3056295-1352519</idno>
                  <idno type="ORCID">https://orcid.org/0009-0004-6604-1873</idno>
                  <affiliation ref="#struct-66"/>
                  <affiliation ref="#struct-581232"/>
                </author>
              </analytic>
              <monogr>
                <imprint>
                  <date type="dateDefended">2025-06-25</date>
                </imprint>
                <authority type="institution">Université Sorbonne Paris Nord</authority>
                <authority type="school">Galilée (ED 146)</authority>
                <authority type="supervisor">Bruno Vallette</authority>
                <authority type="supervisor">Geoffroy Horel</authority>
                <authority type="jury">Alexander Berglund [Rapporteur]</authority>
                <authority type="jury">Damien Calaque [Président]</authority>
                <authority type="jury">Joana Cirici</authority>
                <authority type="jury">Najib Idrissi</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Operads</term>
                <term xml:lang="en">Homotopy equivalence</term>
                <term xml:lang="en">Obstruction theory</term>
                <term xml:lang="en">Kaledin classes</term>
                <term xml:lang="en">Formality</term>
                <term xml:lang="fr">Théorie de l'obstruction</term>
                <term xml:lang="fr">Équivalences d'homotopie</term>
                <term xml:lang="fr">Opérades</term>
                <term xml:lang="fr">Classes de Kaledin</term>
                <term xml:lang="fr">Formalité</term>
              </keywords>
              <classCode scheme="classification">MSC: 18D50, 18G55, 17B60 16W25, 13D10</classCode>
              <classCode scheme="halDomain" n="math.math-at">Mathematics [math]/Algebraic Topology [math.AT]</classCode>
              <classCode scheme="halDomain" n="math.math-ag">Mathematics [math]/Algebraic Geometry [math.AG]</classCode>
              <classCode scheme="halDomain" n="math.math-qa">Mathematics [math]/Quantum Algebra [math.QA]</classCode>
              <classCode scheme="halTypology" n="THESE">Theses</classCode>
              <classCode scheme="halOldTypology" n="THESE">Theses</classCode>
              <classCode scheme="halTreeTypology" n="THESE">Theses</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Here are seemingly unrelated problems: computing rational homotopy groups of spheres in rational homotopy theory, purity in algebraic geometry, Koszul duality for the category of a reductive group in representation theory,  splitting Drinfeld space's de Rham complex in the p-adic Langlands program, deformation quantization of Poisson manifolds in mathematical physics. And yet, all of them boil down to the same question: formality. A differential graded algebraic structure A (e.g. an associative algebra, a Lie algebra, a Pre-Calabi-Yau algebra, etc.) is formal if it is related to its homology H(A) by a zig-zag of quasi-isomorphisms preserving the algebraic structure. This thesis develops obstruction classes allowing to prove formality results. On the one hand, it incorporates  aforementioned results into a single theory. On the other hand, it provides tools to study these questions in cases little studied hitherto: over any coefficient ring and for algebraic structures with several outputs: algebras encoded by properads.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Voici des problèmes apparemment sans rapport : le calcul des groupes d'homotopie rationnels des sphères en théorie de l'homotopie rationnelle, la pureté en géométrie algébrique, la dualité de Koszul pour la catégorie d'un groupe réductif en théorie des représentations, la décomposition du complexe de de Rham de l'espace de Drinfeld dans le programme de Langlands P-adique, et la quantification par déformation des variétés de Poisson en physique mathématique. Et pourtant, tous ces problèmes se ramènent à une même question : celle de la formalité. Une structure algébrique différentielle graduée A (par exemple une algèbre associative, une algèbre de Lie, une algèbre pré-Calabi-Yau, etc.) est dite formelle si elle est reliée à son homologie H(A) par un zigzag de quasi-isomorphismes préservant le type de structure algébrique.  Cette thèse développe des classes d'obstruction permettant de démontrer des résultats de formalité. D'une part, elle unifie les résultats mentionnés précédemment au sein d'une même théorie. D'autre part, elle fournit des outils pour étudier ces questions dans des cas peu explorés : sur tout anneau de coefficients et pour des structures algébriques à plusieurs sorties, les algèbres encodées par des propérades.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="regrouplaboratory" xml:id="struct-66" status="VALID">
          <idno type="IdRef">153697326</idno>
          <idno type="ISNI">0000000406244946</idno>
          <idno type="RNSR">199812881P</idno>
          <idno type="ROR">https://ror.org/03k9z2963</idno>
          <idno type="Wikidata">Q51784704</idno>
          <orgName>Département de Mathématiques et Applications - ENS-PSL (UMR8553)</orgName>
          <orgName type="acronym">DMA</orgName>
          <date type="start">1998-01-01</date>
          <desc>
            <address>
              <addrLine>45 rue d'Ulm75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.dma.ens.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation name="UMR8553" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-581232" status="VALID">
          <idno type="IdRef">086041142</idno>
          <idno type="ISNI">0000000106421613</idno>
          <idno type="RNSR">199712596J</idno>
          <idno type="ROR">https://ror.org/018nzqy79</idno>
          <orgName>Laboratoire Analyse, Géométrie et Applications</orgName>
          <orgName type="acronym">LAGA</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.math.univ-paris13.fr/laga/</ref>
          </desc>
          <listRelation>
            <relation name="UMR7539" active="#struct-11141" type="direct"/>
            <relation name="UMR7539" active="#struct-441569" type="direct"/>
            <relation name="UMR7539" active="#struct-581146" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-59704" status="VALID">
          <idno type="IdRef">031738419</idno>
          <idno type="ISNI">0000000123532622</idno>
          <idno type="ROR">https://ror.org/05a0dhs15</idno>
          <orgName>École normale supérieure - Paris</orgName>
          <orgName type="acronym">ENS-PSL</orgName>
          <date type="start">1985-07-24</date>
          <desc>
            <address>
              <addrLine>45, Rue d'Ulm - 75230 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-11141" status="VALID">
          <idno type="IdRef">026403552</idno>
          <idno type="ISNI">0000000121083026</idno>
          <idno type="ROR">https://ror.org/04wez5e68</idno>
          <orgName>Université Paris 8</orgName>
          <orgName type="acronym">UP8</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue de la Liberté - 93526 Saint-Denis cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris8.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-581146" status="VALID">
          <idno type="IdRef">02640463X</idno>
          <idno type="ISNI">0000000121496883</idno>
          <idno type="ROR">https://ror.org/0199hds37</idno>
          <orgName>Université Sorbonne Paris Nord</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>99, avenue Jean-Baptiste Clément, 93430 Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-paris13.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-51891" status="VALID">
          <idno type="anr">ANR-20-CE40-0016</idno>
          <orgName>HighAGT</orgName>
          <desc>Algèbre, Géométrie, et Topologie Supérieures</desc>
          <date type="start">2020</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>